BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Catharina Stroppel

Catharina Stroppel appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.RTmath.RAmath.QAmath.COmath.GTmath-phmath.MPmath.CTmath.GNmath.GRmath.SGnlin.SI

Catalog footprint

What is connected

30works
12topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

30 published item(s)

preprint2022arXiv

Categorification: tangle invariants and TQFTs

Based on different views on the Jones polynomial we review representation theoretic categorified link and tangle invariants. We unify them in a common combinatorial framework and connect them via the theory of Soergel bimodules. The influence of these categorifications on the development of 2-representation theory and the interaction between topological invariants and 2-categorical structures is discussed. Finally, we indicate how categorified representations of quantum groups on the one hand and monoidal 2-categories of Soergel bimodules on the other hand might lead to new interesting 4-dimensional TQFTs.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Higher level affine Schur and Hecke algebras

We define a higher level version of the affine Hecke algebra and prove that, after completion, this algebra is isomorphic to a completion of Webster's tensor product algebra of type A. We then introduce a higher level version of the affine Schur algebra and establish, again after completion, an isomorphism with the quiver Schur algebra. An important observation is that the higher level affine Schur algebra surjects to the Dipper-James-Mathas cyclotomic q-Schur algebra. Moreover, we give nice diagrammatic presentations for all the algebras introduced in this paper.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Categorification of tensor product representations of sl(k) and category O

We construct categorifications of tensor products of arbitrary finite-dimensional irreducible representations of $\mathfrak{sl}_k$ with subquotient categories of the BGG category $\mathcal{O}$, generalizing previous work of Sussan and Mazorchuk-Stroppel. Using Lie theoretical methods, we prove in detail that they are tensor product categorifications according to the recent definition of Losev and Webster. As an application we deduce an equivalence of categories between certain versions of category $\mathcal{O}$ and Webster's tensor product categories. Finally we indicate how the categorifications of tensor products of the natural representation of $\mathfrak{gl}(1|1)$ fit into this framework.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Walled Brauer algebras as idempotent truncations of level 2 cyclotomic quotients

We realize (via an explicit isomorphism) the walled Brauer algebra for an arbitrary integral parameter delta as an idempotent truncation of a level two cyclotomic degenerate affine walled Brauer algebra. The latter arises naturally in Lie theory as the endomorphism ring of so-called mixed tensor products, i.e. of a parabolic Verma module tensored with some copies of the natural representation and its dual. This provides us a method to construct central elements in the walled Brauer algebras and can be applied to establish the Koszulity of the walled Brauer algebra if delta is not zero.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Fusion rings for quantum groups

We study the fusion rings of tilting modules for a quantum group at a root of unity modulo the tensor ideal of negligible tilting modules. We identify them in type A with the combinatorial rings from [KS] and give a similar description of the sp(2n)-fusion ring in terms of noncommutative symmetric functions. Moreover we give a presentation of all fusion rings in classical types as quotients of polynomial rings extending known results in special cases. Finally we also compute the fusion rings for type G2.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Quiver Schur algebras and q-Fock space

We develop a graded version of the theory of cyclotomic q-Schur algebras, in the spirit of the work of Brundan-Kleshchev on Hecke algebras and of Ariki on q-Schur algebras. As an application, we identify the coefficients of the canonical basis on a higher level Fock space with q-analogues of the decomposition numbers of cyclotomic q-Schur algebras. We present cyclotomic q-Schur algebras as a quotient of a convolution algebra arising in the geometry of quivers; hence we call these quiver Schur algebras. These algebras are also presented diagrammatically, similar in flavor to a recent construction of Khovanov and Lauda. They are also manifestly graded and so equip the cyclotomic q-Schur algebra with a non-obvious grading. On the way we construct a graded cellular basis of this algebra, resembling the constructions for cyclotomic Hecke algebras by Mathas, Hu, Brundan and the first author. The quiver Schur algebra is also interesting from the perspective of higher representation theory. The sum of Grothendieck groups of certain cyclotomic quotients is known to agree with a higher level Fock space. We show that our graded version defines a higher q-Fock space (defined as a tensor product of level 1 q-deformed Fock spaces). Under this identification, the indecomposable projective modules are identified with the canonical basis and the Weyl modules with the standard basis. This allows us to prove the already described relation between decomposition numbers and canonical bases.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A graphical description of $(D_n,A_{n-1})$ Kazhdan-Lusztig polynomials

We give an easy diagrammatical description of the parabolic Kazhdan-Lusztig polynomials for the Weyl group $W_n$ of type $D_n$ with parabolic subgroup of type $A_n$ and consequently an explicit counting formula for the dimension of the morphism spaces between indecomposable projective objects in the corresponding category $Ø_0^\p$. As a byproduct we categorify irreducible $W_n$-modules corresponding to pairs of one-line partitions. Finally we indicate the motivation for introducing the combinatorics by connections to Springer theory, the category of perverse sheaves on isotropic Grassmannians and to Brauer algebras which will be treated in \cite{ES}.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Goldie rank of primitive quotients via lattice point enumeration

Let k be an algebraically closed field of characteristic 0. Musson and vandenBergh classified primitive ideals for rings of torus invariant differential operators. This classification applies in particular to subquotients of localized extended Weyl algebras where it can be made explicit in terms of convex geometry. We recall these result and then turn to the corresponding primitive quotients and study their Goldie ranks. We prove that the primitive quotients fall into finitely many families whose Goldie ranks are given by a common quasi-polynomial and then realize these quasi-polynomials as Ehrhart quasi-polynomials arising from convex geometry.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Categorifying fractional Euler characteristics, Jones-Wenzl projector and $3j$-symbols

We study the representation theory of the smallest quantum group and its categorification. The first part of the paper contains an easy visualization of the 3j-symbols in terms of weighted signed line arrangements in a fixed triangle and new binomial expressions for the 3j-symbols. All these formulas are realized as graded Euler characteristics. The 3j-symbols appear as new generalizations of Kazhdan-Lusztig polynomials. A crucial result of the paper is that complete intersection rings can be employed to obtain rational Euler characteristics, hence to categorify rational quantum numbers. This is the main tool for our categorification of the Jones-Wenzl projector, Theta-networks and tetrahedron networks. Networks and their evaluations play an important role in the Turaev-Viro construction of 3-manifold invariants, \cite{TV}. We categorify these evaluations by Ext-algebras of certain simple Harish-Chandra bimodules. The relevance of this construction to categorified colored Jones invariants and invariants of 3-manifolds will be studied in detail in subsequent papers.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Completions of Grothendieck groups

For a certain class of abelian categories, we show how to make sense of the "Euler characteristic" of an infinite projective resolution (or, more generally, certain chain complexes that are only bounded above), by passing to a suitable completion of the Grothendieck group. We also show that right-exact functors (or their left-derived functors) induce continuous homomorphisms of these completed Grothendieck groups, and we discuss examples and applications coming from categorification.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Gradings on walled Brauer algebras and Khovanov's arc algebra

We introduce some graded versions of the walled Brauer algebra, working over a field of characteristic zero. This allows us to prove that the walled Brauer algebra is Morita equivalent to an idempotent truncation of a certain infinite dimensional version of Khovanov's arc algebra, as suggested by recent work of Cox and De Visscher. We deduce that the walled Brauer algebra is Koszul whenever its defining parameter is non-zero.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On the Ext algebras of parabolic Verma modules and A infinity-structures

We study the Ext-algebra of the direct sum of all parabolic Verma modules in the principal block of the Bernstein-Gelfand-Gelfand category O for the hermitian symmetric pair $(\mathfrak{gl}_{n+m}, \mathfrak{gl}_{n} \oplus \mathfrak{gl}_m)$ and present the corresponding quiver with relations for the cases n=1, 2. The Kazhdan-Lusztig combinatorics is used to deduce a general vanishing result for the higher multiplications in the A infinity-structure of a minimal model. An explicit example of the higher multiplications with non-vanishing $m_3$ is included.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Cuspidal $\mathfrak{sl}_n$-modules and deformations of certain Brauer tree algebras

We show that the algebras describing blocks of the category of cuspidal weight (respectively generalized weight) $\mathfrak{sl}_n$-modules are one-parameter (respectively multi-parameter) deformations of certain Brauer tree algebras. We explicitly determine these deformations both graded and ungraded. The algebras we deform also appear as special centralizer subalgebras of Temperley-Lieb algebras or as generalized Khovanov algebras. They show up in the context of highest weight representations of the Virasoro algebra, in the context of rational representations of the general linear group and Schur algebras and in the study of the Milnor fiber of Kleinian singularities.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Highest weight categories arising from Khovanov's diagram algebra I: cellularity

This is the first of four articles studying some slight generalisations H(n,m) of Khovanov's diagram algebra, as well as quasi-hereditary covers K(n,m) of these algebras in the sense of Rouquier, and certain infinite dimensional limiting versions. In this article we prove that H(n,m) is a cellular symmetric algebra and that K(n,m) is a cellular quasi-hereditary algebra. In subsequent articles, we relate these algebras to level two blocks of degenerate cyclotomic Hecke algebras, parabolic category O and the general linear supergroup, respectively.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Highest weight categories arising from Khovanov's diagram algebra III: category O

We prove that integral blocks of parabolic category O associated to the subalgebra gl(m) x gl(n) of gl(m+n) are Morita equivalent to quasi-hereditary covers of generalised Khovanov algebras. Although this result is in principle known, the existing proof is quite indirect, going via perverse sheaves on Grassmannians. Our new approach is completely algebraic, exploiting Schur-Weyl duality for higher levels. As a by-product we get a concrete combinatorial construction of 2-Kac-Moody representations in the sense of Rouquier corresponding to level two weights in finite type A.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The sl(n)-WZNW Fusion Ring: a combinatorial construction and a realisation as quotient of quantum cohomology

A simple, combinatorial construction of the sl(n)-WZNW fusion ring, also known as Verlinde algebra, is given. As a byproduct of the construction one obtains an isomorphism between the fusion ring and a particular quotient of the small quantum cohomology ring of the Grassmannian Gr(k,k+n). We explain how our approach naturally fits into known combinatorial descriptions of the quantum cohomology ring, by establishing what one could call a `Boson-Fermion-correspondence' between the two rings. We also present new recursion formulae for the structure constants of both rings, the fusion coefficients and the Gromov-Witten invariants.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Highest weight categories arising from Khovanov's diagram algebra II: Koszulity

This is the second of a series of four articles studying various generalisations of Khovanov's diagram algebra. In this article we develop the general theory of Khovanov's diagrammatically defined "projective functors" in our setting. As an application, we give a direct proof of the fact that the quasi-hereditary covers of generalised Khovanov algebras are Koszul.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Categorification of Wedderburn's basis for \mathbb{C}[S_n]

M. Neunh{ö}ffer studies in \cite{Ne} a certain basis of $\mathbb{C}[S_n]$ with the origins in \cite{Lu} and shows that this basis is in fact Wedderburn's basis. In particular, in this basis the right regular representation of $S_n$ decomposes into a direct sum of irreducible representations (i.e. Specht or cell modules). In the present paper we rediscover essentially the same basis with a categorical origin coming from projective-injective modules in certain subcategories of the BGG-category $\mathcal{O}$. An important role in our arguments is played by the dominant projective module in each of these categories. As a biproduct of the study of this dominant projective module we show that {\it Kostant's problem} (\cite{Jo}) has a negative answer for some simple highest weight module over the Lie algebra $\mathfrak{sl}_4$, which disproves the general belief that Kostant's problem should have a positive answer for all simple highest weight modules in type $A$.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Parabolic category O, perverse sheaves on Grassmannians, Springer fibres and Khovanov homology

For a fixed parabolic subalgebra p of gl(n,C) we prove that the centre of the principal block O(p) of the parabolic category O is naturally isomorphic to the cohomology ring of the corresponding Springer fibre. We give a diagrammatic description of O(p) for maximal parabolic p and give an explicit isomorphism to Braden's description of the category Perv_B(G(n,n)) of perverse sheaves on Grassmannians. As a consequence Khovanov's algebra H^n is realised as the endomorphism ring of some object from Perv_B(G(n,n)) which corresponds under localisation and the Riemann-Hilbert correspondence to a full projective-injective module in the corresponding category $O(p)$. From there one can deduce that Khovanov's tangle invariants are obtained from the more general functorial invariants involving category O by restriction.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Quadratic duals, Koszul dual functors, and applications

The paper studies quadratic and Koszul duality for modules over positively graded categories. Typical examples are modules over a path algebra, which is graded by the path length, of a not necessarily finite quiver with relations. We present a very general definition of quadratic and Koszul duality functors backed up by explicit examples. This generalises previous results in two substantial ways: We work in the setup of graded categories, i.e. we allow infinitely many idempotents and also define a ``Koszul'' duality functor for not necessarily Koszul categories. As an illustration of the techniques we reprove the Koszul duality of translation and Zuckerman functors for the classical category O in a quite elementary and explicit way. As applications we propose a definition of a "Koszul" dual category for integral blocks of Harish-Chandra bimodules and for blocks outside the critical hyperplanes for the Kac-Moody category O.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

A combinatorial approach to functorial quantum sl(k) knot invariants

This paper contains a categorification of the sl(k) link invariant using parabolic singular blocks of category O. Our approach is intended to be as elementary as possible, providing combinatorial proofs of the main results of Sussan. We first construct an exact functor valued invariant of webs or 'special' trivalent graphs labelled with 1, 2, k-1, k satisfying the MOY relations. Afterwards we extend it to the sl(k)-invariant of links by passing to the derived categories. The approach using foams appears naturally in this context. More generally, we expect that our approach provides a representation theoretic interpretation of the sl(k)-homology, based on foams and the Kapustin-Lie formula. Conjecturally this implies that the Khovanov-Rozansky link homology is obtained from our invariant by restriction.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Categorification of (induced) cell modules and the rough structure of generalized Verma modules

This paper presents categorifications of (right) cell modules and induced cell modules for Hecke algebras of finite Weyl groups. In type $A$ we show that these categorifications depend only on the isomorphism class of the cell module, not on the cell itself. Our main application is multiplicity formulas for parabolically induced modules over a reductive Lie algebra of type $A$, which finally determines the so-called rough structure of generalized Verma modules. On the way we present several categorification results and give the positive answer to Kostant's problem from \cite{Jo} in many cases. We also give a general setup of decategorification, precategorification and categorification.

0 citations0 reviewsNo code linkedOpen access