arXiv Science⌕ Search

arXiv subjects

Michael Ehrig

Publications and source records attributed to Michael Ehrig.

17 recordsLinked to original sources
arXiv2023

Combinatorial Fock spaces and quantum symmetric pairs

The natural representation of the quantized affine algebra of type A can be defined via the deformed Fock space by Misra and Miwa. This relates the classes of Weyl modules for a type A quantum group at a root of unity to the action of the quantized affine algebra as the rank tends towards infinity. In this paper we investigate the situation outside of type A. In classical types, we construct embeddings of the Grothendieck group of finite dimensional modules for the corresponding quatum group at a root of unity into Fock spaces of different charges and define an action of an affine quantum symmetric pair that plays the role of the quantized affine algebra. We describe how the action is related to the linkage principal for quantum groups at a root of unity and tensor product multiplicities.

math.QA↗
arXiv2018

Algebraic properties of zigzag algebras

We give necessary and sufficient conditions for zigzag algebras and certain generalizations of them to be (relative) cellular, quasi-hereditary or Koszul.

math.RA↗
arXiv2017

Relative cellular algebras

In this paper we generalize cellular algebras by allowing different partial orderings relative to fixed idempotents. For these relative cellular algebras we classify and construct simple modules, and we obtain other characterizations in analogy to cellular algebras. We also give several examples of algebras that are relative cellular, but not cellular. Most prominently, the restricted enveloping algebra and the small quantum group for $\mathfrak{sl}_{2}$, and an annular version of arc algebras.

math.RT↗
arXiv2017

The periplectic Brauer algebra III: The Deligne category

We construct a faithful categorical representation of an infinite Temperley-Lieb algebra on the periplectic analogue of Deligne's category. We use the corresponding combinatorics to classify thick tensor ideals in this periplectic Deligne category. This allows to determine the objects in the kernel of the monoidal functor going to the module category of the periplectic Lie supergroup. We use this to classify indecomposable direct summands in the tensor powers of the natural representation, determine which are projective and determine their simple top.

math.RT↗
arXiv2017

The periplectic Brauer algebra II: decomposition multiplicities

We determine the Jordan-Holder decomposition multiplicities of projective and cell modules over periplectic Brauer algebras in characteristic zero. These are obtained by developing the combinatorics of certain skew Young diagrams. We also establish a useful relationship with the Kazhdan-Lusztig multiplicities of the periplectic Lie superalgebra.

math.RT↗
arXiv2016

Singular TQFTs, foams and type D arc algebras

We combinatorially describe the $2$-category of singular cobordisms, called (rank one) foams, which governs the functorial version of Khovanov homology. As an application we topologically realize the type $\mathrm{D}$ arc algebra using this singular cobordism construction.

math.GT↗
arXiv2016

On the category of finite-dimensional representations of $\OSPrn$: Part I

We study the combinatorics of the category F of finite-dimensional modules for the orthosymplectic Lie supergroup OSP(r|2n). In particular we present a positive counting formula for the dimension of the space of homomorphism between two projective modules. This refines earlier results of Gruson and Serganova. Moreover, for each block B of F we construct an algebra A(B) whose module category shares the combinatorics with B. It arises as a subquotient of a suitable limit of type D Khovanov algebras. It will turn out that A(B) is isomorphic to the endomorphism algebra of a minimal projective generator of B. This provides a direct link from F to parabolic categories O of type B or D, with maximal parabolic of type A, to the geometry of isotropic Grassmannians of types B/D and to Springer fibres of types C/D. We also indicate why F is not highest weight in general.

math.RT↗
arXiv2016

Generic $\mathfrak{gl}_2$-foams, web and arc algebras

We define parameter dependent $\mathfrak{gl}_2$-foams and their associated web and arc algebras, and verify that they specialize to several known $\mathfrak{sl}_2$ or $\mathfrak{gl}_2$ constructions related to higher link and tangle invariants. Moreover, we show that all these specializations are equivalent, and we deduce several applications, e.g. we discuss the consequences for the associated link and tangle invariants, and their functoriality.

math.GT↗
arXiv2015

Diagrammatic description for the categories of perverse sheaves on isotropic Grassmannians

For each integer $k\geq 4$ we describe diagrammatically a positively graded Koszul algebra $\mathbb{D}_k$ such that the category of finite dimensional $\mathbb{D}_k$-modules is equivalent to the category of perverse sheaves on the isotropic Grassmannian of type ${\rm D}_k$ or ${\rm B}_{k-1}$, constructible with respect to the Schubert stratification. The algebra is obtained by a (non-trivial) ``folding'' procedure from a generalized Khovanov arc algebra. Properties like graded cellularity and explicit closed formulas for graded decomposition numbers are established by elementary tools.

math.RT↗
arXiv2015

Koszul gradings on Brauer algebras

We show that the Brauer algebra over the complex numbers for an integral parameter delta can be equipped with a grading, in the case of delta being non-zero turning it into a graded quasi-hereditary algebra. In which case it is Morita equivalent to a Koszul algebra. This is done by realizing the Brauer algebra as an idempotent truncation of a certain level two VW-algebra for some large positive integral parameter N. The parameter delta appears then in the choice of a cyclotomic quotient. This cyclotomic VW-algebra arises naturally as an endomorphism algebra of a certain projective module in parabolic category O for an even special orthogonal Lie algebra. In particular, the graded decomposition numbers are given by the associated parabolic Kazhdan-Lusztig polynomials.

math.RT↗
arXiv2013

Nazarov-Wenzl algebras, coideal subalgebras and categorified skew Howe duality

We describe how certain cyclotomic Nazarov-Wenzl algebras occur as endomorphism rings of projective modules in a parabolic version of BGG category O of type $D$. Furthermore we study a family of subalgebras of these endomorphism rings which exhibit similar behaviour to the family of Brauer algebras even when they are not semisimple. The translation functors on this parabolic category O are studied and proven to yield a categorification of a coideal subalgebra of the general linear Lie algebra. Finally this is put into the context of categorifying skew Howe duality for these subalgebras.

math.RT↗
arXiv2013

Diagrams for perverse sheaves on isotropic Grassmannians and the supergroup SOSP(m|2n)

We describe diagrammatically a positively graded Koszul algebra \mathbb{D}_k such that the category of finite dimensional \mathbb{D}_k-modules is equivalent to the category of perverse sheaves on the isotropic Grassmannian of type D_k constructible with respect to the Schubert stratification. The connection is given by an explicit isomorphism to the endomorphism algebra of a projective generator described in by Braden. The algebra is obtained by a "folding" procedure from the generalized Khovanov arc algebras. We relate this algebra to the category of finite dimensional representations of the orthosymplectic supergroups. The proposed equivalence of categories gives a concrete description of the categories of finite dimensional SOSP(m|2n)-modules.

math.RT↗
arXiv2012

2-row Springer fibres and Khovanov diagram algebras for type D

We study in detail two row Springer fibres of even orthogonal type from an algebraic as well as topological point of view. We show that the irreducible components and their pairwise intersections are iterated P^1-bundles. Using results of Kumar and Procesi we compute the cohomology ring with its action of the Weyl group. The main tool is a type D diagram calculus labelling the irreducible components in an convenient way which relates to a diagrammatical algebra describing the category of perverse sheaves on isotropic Grassmannians based on work of Braden. The diagram calculus generalizes Khovanov's arc algebra to the type D setting and should be seen as setting the framework for generalizing well-known connections of these algebras in type A to other types. The results will be connected to Brauer algebras at non-generic parameters in a subsequent paper.

math.RT↗
arXiv2009

MV-Polytopes via affine buildings

We give a construction of MV-polytopes of a complex semisimple algebraic group G in terms of the geometry of the Bott-Samelson variety and the affine building. This is done by using the construction of dense subsets of MV-cycles by Gaussent and Littelmann. They used LS-gallery to define subsets in the Bott-Samelson variety that map to subsets of the affine Grassmannian, whose closure are MV-cycles. Since points in the Bott-Samelson variety correspond to galleries in the affine building one can look at the image of a point in such a special subset under all retractions at infinity. We prove that these images can be used to construct the corresponding MV-polytope in an explicit way, by using the GGMS strata. Furthermore we give a combinatorial construction for these images by using the crystal structure of LS-galleries and the action of the ordinary Weyl group on the coweight lattice.

math.RT↗