Showing 1–24 of 24 results for author: Yacobi, O

Periodic elements in finite type Artin-Tits groups and stability conditions

Authors: Edmund Heng, Anthony M. Licata, Oded Yacobi

Abstract: Periodic elements in finite type Artin--Tits groups are elements some positive power of which is central. We give a dynamical characterisation of periodic elements via their action on the corresponding 2-Calabi--Yau category and on its space of (fusion equivariant) Bridgeland stability conditions. The main theorem is that an element $β$ is periodic if and only if $β$ has a fixed point in the stabi… ▽ More Periodic elements in finite type Artin--Tits groups are elements some positive power of which is central. We give a dynamical characterisation of periodic elements via their action on the corresponding 2-Calabi--Yau category and on its space of (fusion equivariant) Bridgeland stability conditions. The main theorem is that an element $β$ is periodic if and only if $β$ has a fixed point in the stability manifold. △ Less

Submitted 27 February, 2025; originally announced February 2025.

Comments: 11 pages

Report number: MPIM-Bonn-2024

Relations between generalised Gelfand-Tsetlin and Kazhdan-Lusztig bases of $S_n$

Authors: Ali Haidar, Oded Yacobi

Abstract: We prove that the Kazhdan-Lusztig basis of Specht modules is upper triangular with respect to all generalized Gelfand-Tsetlin bases constructed from any multiplicity-free tower of standard parabolic subgroups. We prove that the Kazhdan-Lusztig basis of Specht modules is upper triangular with respect to all generalized Gelfand-Tsetlin bases constructed from any multiplicity-free tower of standard parabolic subgroups. △ Less

Submitted 6 November, 2024; originally announced November 2024.

Comments: 10 pages, extended abstract for submission to FPSAC 2025

Report number: MPIM-Bonn-2024

4-Strand Burau is Unfaithful Modulo 5

Authors: Joel Gibson, Geordie Williamson, Oded Yacobi

Abstract: We introduce a new algorithm for finding kernel elements in the Burau representation. Our algorithm applies reservoir sampling to a statistic on matrices which is closely correlated with Garside length. Using this we exhibit an explicit kernel element in the Burau representation on 4-strands reduced modulo 5. We introduce a new algorithm for finding kernel elements in the Burau representation. Our algorithm applies reservoir sampling to a statistic on matrices which is closely correlated with Garside length. Using this we exhibit an explicit kernel element in the Burau representation on 4-strands reduced modulo 5. △ Less

Submitted 3 October, 2023; originally announced October 2023.

Comments: 10 pages, 5 figures

On the action of the Weyl group on canonical bases

Authors: Fern Gossow, Oded Yacobi

Abstract: We study representations of simply-laced Weyl groups which are equipped with canonical bases. Our main result is that for a large class of representations, the separable elements of the Weyl group $W$ act on these canonical bases by bijections up to lower-order terms. Examples of this phenomenon include the action of separable permutations on the Kazhdan--Lusztig basis of irreducible representatio… ▽ More We study representations of simply-laced Weyl groups which are equipped with canonical bases. Our main result is that for a large class of representations, the separable elements of the Weyl group $W$ act on these canonical bases by bijections up to lower-order terms. Examples of this phenomenon include the action of separable permutations on the Kazhdan--Lusztig basis of irreducible representations for the symmetric group, and the action of separable elements of $W$ on dual canonical bases of weight zero in tensor product representations of a Lie algebra. Our methods arise from categorical representation theory, and in particular the study of the perversity of Rickard complexes acting on triangulated categories. △ Less

Submitted 24 February, 2025; v1 submitted 15 June, 2023; originally announced June 2023.

Comments: 32 pages, for publication in Mathematische Zeitschrift

MSC Class: 05E10 (Primary); 18N25 (Secondary)

Lie algebra actions on module categories for truncated shifted Yangians

Authors: Joel Kamnitzer, Ben Webster, Alex Weekes, Oded Yacobi

Abstract: We develop a theory of parabolic induction and restriction functors relating modules over Coulomb branch algebras, in the sense of Braverman-Finkelberg-Nakajima. Our functors generalize Bezrukavnikov-Etingof's induction and restriction functors for Cherednik algebras, but their definition uses different tools. After this general definition, we focus on quiver gauge theories attached to a quiver… ▽ More We develop a theory of parabolic induction and restriction functors relating modules over Coulomb branch algebras, in the sense of Braverman-Finkelberg-Nakajima. Our functors generalize Bezrukavnikov-Etingof's induction and restriction functors for Cherednik algebras, but their definition uses different tools. After this general definition, we focus on quiver gauge theories attached to a quiver $Γ$. The induction and restriction functors allow us to define a categorical action of the corresponding symmetric Kac-Moody algebra $\mathfrak{g}_Γ$ on category $ \mathcal O $ for these Coulomb branch algebras. When $ Γ$ is of Dynkin type, the Coulomb branch algebras are truncated shifted Yangians and quantize generalized affine Grassmannian slices. Thus, we regard our action as a categorification of the geometric Satake correspondence. To establish this categorical action, we define a new class of "flavoured" KLRW algebras, which are similar to the diagrammatic algebras originally constructed by the second author for the purpose of tensor product categorification. We prove an equivalence between the category of Gelfand-Tsetlin modules over a Coulomb branch algebra and the modules over a flavoured KLRW algebra. This equivalence relates the categorical action by induction and restriction functors to the usual categorical action on modules over a KLRW algebra. △ Less

Submitted 13 October, 2023; v1 submitted 23 March, 2022; originally announced March 2022.

Comments: 66 pages, version 2: many corrections, improved treatment of GK dimension, 71 pages

On the action of the long cycle on the Kazhdan-Lusztig basis

Authors: Fern Gossow, Oded Yacobi

Abstract: The complex irreducible representations of the symmetric group carry an important canonical basis called the Kazhdan-Lusztig basis. Although it is difficult to express how general permutations act on this basis, some distinguished permutations have beautiful descriptions. In 2010 Rhoades showed that the long cycle $(1, 2,..., n)$ acts by the jeu-de-taquin promotion operator in the case when the ir… ▽ More The complex irreducible representations of the symmetric group carry an important canonical basis called the Kazhdan-Lusztig basis. Although it is difficult to express how general permutations act on this basis, some distinguished permutations have beautiful descriptions. In 2010 Rhoades showed that the long cycle $(1, 2,..., n)$ acts by the jeu-de-taquin promotion operator in the case when the irreducible representation is indexed by a rectangular partition. We prove a generalisation of this theorem in two directions: on the one hand we lift the restriction on the shape of the partition, and on the other hand we enlarge the result to the collection of all separable permutations. △ Less

Submitted 10 June, 2022; v1 submitted 17 November, 2021; originally announced November 2021.

Comments: 12 pages, extended abstract to appear in proceedings of FPSAC 2022

MSC Class: 20C30; 05E10

On Schützenberger modules of the cactus group

Authors: Jongmin Lim, Oded Yacobi

Abstract: The cactus group acts on the set of standard Young tableau of a given shape by (partial) Schützenberger involutions. It is natural to extend this action to the corresponding Specht module by identifying standard Young tableau with the Kazhdan-Lusztig basis. We term these representations of the cactus group "Schützenberger modules", denoted $S^λ_{\mathsf{Sch}}$, and in this paper we investigate the… ▽ More The cactus group acts on the set of standard Young tableau of a given shape by (partial) Schützenberger involutions. It is natural to extend this action to the corresponding Specht module by identifying standard Young tableau with the Kazhdan-Lusztig basis. We term these representations of the cactus group "Schützenberger modules", denoted $S^λ_{\mathsf{Sch}}$, and in this paper we investigate their decomposition into irreducible components. We prove that when $λ$ is a hook shape, the cactus group action on $S^λ_{\mathsf{Sch}}$ factors through $S_{n-1}$ and the resulting multiplicities are given by Kostka coefficients. Our proof relies on results of Berenstein and Kirillov and Chmutov, Glick, and Pylyavskyy. △ Less

Submitted 14 April, 2023; v1 submitted 20 September, 2021; originally announced September 2021.

Comments: v2: 15 pages, final version to appear in Algebraic Combinatorics

Categorical braid group actions and cactus groups

Authors: Iva Halacheva, Anthony Licata, Ivan Losev, Oded Yacobi

Abstract: Let $\mathfrak{g}$ be a semisimple simply-laced Lie algebra of finite type. Let $\mathcal{C}$ be an abelian categorical representation of the quantum group $U_q(\mathfrak{g})$ categorifying an integrable representation $V$. The Artin braid group $B$ of $\mathfrak{g}$ acts on $D^b(\mathcal{C})$ by Rickard complexes, providing a triangulated equivalence… ▽ More Let $\mathfrak{g}$ be a semisimple simply-laced Lie algebra of finite type. Let $\mathcal{C}$ be an abelian categorical representation of the quantum group $U_q(\mathfrak{g})$ categorifying an integrable representation $V$. The Artin braid group $B$ of $\mathfrak{g}$ acts on $D^b(\mathcal{C})$ by Rickard complexes, providing a triangulated equivalence $Θ_{w_0}:D^b(\mathcal{C}_μ) \to D^b(\mathcal{C}_{w_0(μ)})$, where $μ$ is a weight of $V$ and $Θ_{w_0}$ is a positive lift of the longest element of the Weyl group. We prove that this equivalence is t-exact up to shift when $V$ is isotypic, generalising a fundamental result of Chuang and Rouquier in the case $\mathfrak{g}=\mathfrak{sl}_2$. For general $V$, we prove that $Θ_{w_0}$ is a perverse equivalence with respect to a Jordan-Hölder filtration of $\mathcal{C}$. Using these results we construct, from the action of $B$ on $V$, an action of the cactus group on the crystal of $V$. This recovers the cactus group action on $V$ defined via generalised Schützenberger involutions, and provides a new connection between categorical representation theory and crystal bases. We also use these results to give new proofs of theorems of Berenstein-Zelevinsky, Rhoades, and Stembridge regarding the action of symmetric group on the Kazhdan-Lusztig basis of its Specht modules. △ Less

Submitted 14 June, 2023; v1 submitted 14 January, 2021; originally announced January 2021.

Comments: v3: 26 pages, fixed a mistake in Theorem 3.6. v2: 26 pages, revision based on referee comments. v1: 23 pages

On a conjecture of Pappas and Rapoport about the standard local model for $GL_d$

Authors: Dinakar Muthiah, Alex Weekes, Oded Yacobi

Abstract: In their study of local models of Shimura varieties for totally ramified extensions, Pappas and Rapoport posed a conjecture about the reducedness of a certain subscheme of $n \times n$ matrices. We give a positive answer to their conjecture in full generality. Our main ideas follow naturally from two of our previous works. The first is our proof of a conjecture of Kreiman, Lakshmibai, Magyar, and… ▽ More In their study of local models of Shimura varieties for totally ramified extensions, Pappas and Rapoport posed a conjecture about the reducedness of a certain subscheme of $n \times n$ matrices. We give a positive answer to their conjecture in full generality. Our main ideas follow naturally from two of our previous works. The first is our proof of a conjecture of Kreiman, Lakshmibai, Magyar, and Weyman on the equations defining type A affine Grassmannians. The second is the work of the first two authors and Kamnitzer on affine Grassmannian slices and their reduced scheme structure. We also present a version of our argument that is almost completely elementary: the only non-elementary ingredient is the Frobenius splitting of Schubert varieties. △ Less

Submitted 14 December, 2019; originally announced December 2019.

Comments: 10 pages, comments welcome

On category $\mathcal{O}$ for affine Grassmannian slices and categorified tensor products

Authors: Joel Kamnitzer, Peter Tingley, Ben Webster, Alex Weekes, Oded Yacobi

Abstract: Truncated shifted Yangians are a family of algebras which naturally quantize slices in the affine Grassmannian. These algebras depend on a choice of two weights $λ$ and $μ$ for a Lie algebra $\mathfrak{g}$, which we will assume is simply-laced. In this paper, we relate the category $\mathcal{O}$ over truncated shifted Yangians to categorified tensor products: for a generic integral choice of param… ▽ More Truncated shifted Yangians are a family of algebras which naturally quantize slices in the affine Grassmannian. These algebras depend on a choice of two weights $λ$ and $μ$ for a Lie algebra $\mathfrak{g}$, which we will assume is simply-laced. In this paper, we relate the category $\mathcal{O}$ over truncated shifted Yangians to categorified tensor products: for a generic integral choice of parameters, category $\mathcal{O}$ is equivalent to a weight space in the categorification of a tensor product of fundamental representations defined by the third author using KLRW algebras. We also give a precise description of category $\mathcal{O}$ for arbitrary parameters using a new algebra which we call the parity KLRW algebra. In particular, we confirm the conjecture of the authors that the highest weights of category $\mathcal{O}$ are in canonical bijection with a product monomial crystal depending on the choice of parameters. This work also has interesting applications to classical representation theory. In particular, it allows us to give a classification of simple Gelfand-Tsetlin modules of $U(\mathfrak{gl}_n)$ and its associated W-algebras. △ Less

Submitted 18 November, 2019; v1 submitted 19 June, 2018; originally announced June 2018.

Comments: v3: final version for publication in Proceedings of the LMS

Journal ref: Proceedings of the LMS, Volume 119, Issue 5, November 2019, Pages 1179-1233

The equations defining affine Grassmannians in type A and a conjecture of Kreiman, Lakshmibai, Magyar, and Weyman

Authors: Dinakar Muthiah, Alex Weekes, Oded Yacobi

Abstract: The affine Grassmannian of $SL_n$ admits an embedding into the Sato Grassmannian, which further admits a Plücker embedding into the projectivization of Fermion Fock space. Kreiman, Lakshmibai, Magyar, and Weyman describe the linear part of the ideal defining this embedding in terms of certain elements of the dual of Fock space called "shuffles", and they conjecture that these elements together wit… ▽ More The affine Grassmannian of $SL_n$ admits an embedding into the Sato Grassmannian, which further admits a Plücker embedding into the projectivization of Fermion Fock space. Kreiman, Lakshmibai, Magyar, and Weyman describe the linear part of the ideal defining this embedding in terms of certain elements of the dual of Fock space called "shuffles", and they conjecture that these elements together with the Plücker relations suffice to cut out the affine Grassmannian. We give a proof of this conjecture in two steps: first we reinterpret the shuffles equations in terms of Frobenius twists of symmetric functions. Using this, we reduce to a finite dimensional-problem, which we solve. For the second step we introduce a finite-dimensional analogue of the affine Grassmannians of $SL_n$, which we conjecture to be precisely the reduced subscheme of a finite-dimensional Grassmannian consisting of subspaces invariant under a nilpotent operator. △ Less

Submitted 14 June, 2018; v1 submitted 20 August, 2017; originally announced August 2017.

Comments: 33 pages, comments welcome; (v2) corrected typos, revised Sections 1.1, 3.1.5, 4.3 and argument in proof of Theorem 5.10, results unchanged

A quantum Mirković-Vybornov isomorphism

Authors: Ben Webster, Alex Weekes, Oded Yacobi

Abstract: We present a quantization of an isomorphism of Mirković and Vybornov which relates the intersection of a Slodowy slice and a nilpotent orbit closure in $\mathfrak{gl}_N$ , to a slice between spherical Schubert varieties in the affine Grassmannian of $PGL_n$ (with weights encoded by the Jordan types of the nilpotent orbits). A quantization of the former variety is provided by a parabolic W-algebra… ▽ More We present a quantization of an isomorphism of Mirković and Vybornov which relates the intersection of a Slodowy slice and a nilpotent orbit closure in $\mathfrak{gl}_N$ , to a slice between spherical Schubert varieties in the affine Grassmannian of $PGL_n$ (with weights encoded by the Jordan types of the nilpotent orbits). A quantization of the former variety is provided by a parabolic W-algebra and of the latter by a truncated shifted Yangian. Building on earlier work of Brundan and Kleshchev, we define an explicit isomorphism between these non-commutative algebras, and show that its classical limit is a variation of the original isomorphism of Mirković and Vybornov. As a corollary, we deduce that the W-algebra is free as a left (or right) module over its Gelfand-Tsetlin subalgebra, as conjectured by Futorny, Molev, and Ovsienko. △ Less

Submitted 14 January, 2019; v1 submitted 12 June, 2017; originally announced June 2017.

Comments: v2: 48 pages. Major rewrite following referee comments. Added proof of a conjecture of Futorny, Molev, and Ovsienko that the finite W-algebra is free over its Gelfand-Tsetlin subalgebra

Journal ref: Represent. Theory 24 (2020), 38-84

An equivalence between truncations of categorified quantum groups and Heisenberg categories

Authors: Hoel Queffelec, Alistair Savage, Oded Yacobi

Abstract: We introduce a simple diagrammatic 2-category $\mathscr{A}$ that categorifies the image of the Fock space representation of the Heisenberg algebra and the basic representation of $\mathfrak{sl}_\infty$. We show that $\mathscr{A}$ is equivalent to a truncation of the Khovanov--Lauda categorified quantum group $\mathscr{U}$ of type $A_\infty$, and also to a truncation of Khovanov's Heisenberg 2-cate… ▽ More We introduce a simple diagrammatic 2-category $\mathscr{A}$ that categorifies the image of the Fock space representation of the Heisenberg algebra and the basic representation of $\mathfrak{sl}_\infty$. We show that $\mathscr{A}$ is equivalent to a truncation of the Khovanov--Lauda categorified quantum group $\mathscr{U}$ of type $A_\infty$, and also to a truncation of Khovanov's Heisenberg 2-category $\mathscr{H}$. This equivalence is a categorification of the principal realization of the basic representation of $\mathfrak{sl}_\infty$. As a result of the categorical equivalences described above, certain actions of $\mathscr{H}$ induce actions of $\mathscr{U}$, and vice versa. In particular, we obtain an explicit action of $\mathscr{U}$ on representations of symmetric groups. We also explicitly compute the Grothendieck group of the truncation of $\mathscr{H}$. The 2-category $\mathscr{A}$ can be viewed as a graphical calculus describing the functors of $i$-induction and $i$-restriction for symmetric groups, together with the natural transformations between their compositions. The resulting computational tool is used to give simple diagrammatic proofs of (apparently new) representation theoretic identities. △ Less

Submitted 11 December, 2017; v1 submitted 30 January, 2017; originally announced January 2017.

Comments: 36 pages. v2: Minor corrections, published version

MSC Class: 17B10 (Primary); 17B65; 20C30; 16D90 (Secondary)

Journal ref: Journal de l'École polytechnique - Mathématiques, 5 (2018), p. 197-238

Reducedness of affine Grassmannian slices in type A

Authors: Joel Kamnitzer, Dinakar Muthiah, Alex Weekes, Oded Yacobi

Abstract: We prove in type A a conjecture which describes the ideal of transversal slices to spherical Schubert varieties in the affine Grassmannian. As a corollary, we prove a modular description (due to Finkelberg-Mirković) of the spherical Schubert varieties. We prove in type A a conjecture which describes the ideal of transversal slices to spherical Schubert varieties in the affine Grassmannian. As a corollary, we prove a modular description (due to Finkelberg-Mirković) of the spherical Schubert varieties. △ Less

Submitted 21 November, 2016; originally announced November 2016.

Comments: 12 pages, comments welcome

Highest weights for truncated shifted Yangians and product monomial crystals

Authors: Joel Kamnitzer, Peter Tingley, Ben Webster, Alex Weekes, Oded Yacobi

Abstract: Truncated shifted Yangians are a family of algebras which are natural quantizations of slices in the affine Grassmannian. We study the highest weight representations of these algebras. In particular, we conjecture that the possible highest weights for these algebras are described by product monomial crystals, certain natural subcrystals of Nakajima's monomials. We prove this conjecture in type A.… ▽ More Truncated shifted Yangians are a family of algebras which are natural quantizations of slices in the affine Grassmannian. We study the highest weight representations of these algebras. In particular, we conjecture that the possible highest weights for these algebras are described by product monomial crystals, certain natural subcrystals of Nakajima's monomials. We prove this conjecture in type A. We also place our results in the context of symplectic duality and prove a conjecture of Hikita in this situation. △ Less

Submitted 17 May, 2019; v1 submitted 29 November, 2015; originally announced November 2015.

Comments: 57 pages

Journal ref: J. Comb. Algebra 3 (2019), no. 3, 237-303

Quantum Polynomial Functors

Authors: Jiuzu Hong, Oded Yacobi

Abstract: We construct a category of quantum polynomial functors which deforms Friedlander and Suslin's category of strict polynomial functors. The main aim of this paper is to develop from first principles the basic structural properties of this category (duality, projective generators, braiding etc.) in analogy with classical strict polynomial functors. We then apply the work of Hashimoto and Hayashi in t… ▽ More We construct a category of quantum polynomial functors which deforms Friedlander and Suslin's category of strict polynomial functors. The main aim of this paper is to develop from first principles the basic structural properties of this category (duality, projective generators, braiding etc.) in analogy with classical strict polynomial functors. We then apply the work of Hashimoto and Hayashi in this context to construct quantum Schur/Weyl functors, and use this to provide new and easy derivations of quantum $(GL_m,GL_n)$ duality, along with other results in quantum invariant theory. △ Less

Submitted 27 January, 2017; v1 submitted 5 April, 2015; originally announced April 2015.

Comments: 34 pages, final version to appear in Journal of Algebra

MSC Class: 18D10 (Primary) 19A22; 20C08 (Secondary)

Categorification and Heisenberg doubles arising from towers of algebras

Authors: Alistair Savage, Oded Yacobi

Abstract: The Grothendieck groups of the categories of finitely generated modules and finitely generated projective modules over a tower of algebras can be endowed with (co)algebra structures that, in many cases of interest, give rise to a dual pair of Hopf algebras. Moreover, given a dual pair of Hopf algebras, one can construct an algebra called the Heisenberg double, which is a generalization of the clas… ▽ More The Grothendieck groups of the categories of finitely generated modules and finitely generated projective modules over a tower of algebras can be endowed with (co)algebra structures that, in many cases of interest, give rise to a dual pair of Hopf algebras. Moreover, given a dual pair of Hopf algebras, one can construct an algebra called the Heisenberg double, which is a generalization of the classical Heisenberg algebra. The aim of this paper is to study Heisenberg doubles arising from towers of algebras in this manner. First, we develop the basic representation theory of such Heisenberg doubles and show that if induction and restriction satisfy Mackey-like isomorphisms then the Fock space representation of the Heisenberg double has a natural categorification. This unifies the existing categorifications of the polynomial representation of the Weyl algebra and the Fock space representation of the Heisenberg algebra. Second, we develop in detail the theory applied to the tower of 0-Hecke algebras, obtaining new Heisenberg-like algebras that we call quasi-Heisenberg algebras. As an application of a generalized Stone--von Neumann Theorem, we give a new proof of the fact that the ring of quasisymmetric functions is free over the ring of symmetric functions. △ Less

Submitted 25 September, 2014; v1 submitted 10 September, 2013; originally announced September 2013.

Comments: 30 pages. v2: Minor changes. References added

MSC Class: 16D90; 16G10; 16T05

Journal ref: J. Combin. Theory Ser. A 129 (2015), pp. 19-56

Yangians and quantizations of slices in the affine Grassmannian

Authors: Joel Kamnitzer, Ben Webster, Alex Weekes, Oded Yacobi

Abstract: We study quantizations of transverse slices to Schubert varieties in the affine Grassmannian. The quantization is constructed using quantum groups called shifted Yangians --- these are subalgebras of the Yangian we introduce which generalize the Brundan-Kleshchev shifted Yangian to arbitrary type. Building on ideas of Gerasimov-Kharchev-Lebedev-Oblezin, we prove that a quotient of the shifted Yang… ▽ More We study quantizations of transverse slices to Schubert varieties in the affine Grassmannian. The quantization is constructed using quantum groups called shifted Yangians --- these are subalgebras of the Yangian we introduce which generalize the Brundan-Kleshchev shifted Yangian to arbitrary type. Building on ideas of Gerasimov-Kharchev-Lebedev-Oblezin, we prove that a quotient of the shifted Yangian quantizes a scheme supported on the transverse slices, and we formulate a conjectural description of the defining ideal of these slices which implies that the scheme is reduced. This conjecture also implies the conjectural quantization of the Zastava spaces for PGL(n) of Finkelberg-Rybnykov. △ Less

Submitted 21 February, 2013; v1 submitted 3 September, 2012; originally announced September 2012.

Comments: 37 pages; v2, slightly strengthened Theorem 2.9

Journal ref: Algebra Number Theory 8 (2014), no. 4, 857-893

Polynomial functors and categorifications of Fock space II

Authors: Jiuzu Hong, Oded Yacobi

Abstract: We categorify various Fock space representations on the algebra of symmetric functions via the category of polynomial functors. In a prequel, we used polynomial functors to categorify the Fock space representations of type A affine Lie algebras. In the current work we continue the study of polynomial functors from the point of view of higher representation theory. Firstly, we categorify the Fock s… ▽ More We categorify various Fock space representations on the algebra of symmetric functions via the category of polynomial functors. In a prequel, we used polynomial functors to categorify the Fock space representations of type A affine Lie algebras. In the current work we continue the study of polynomial functors from the point of view of higher representation theory. Firstly, we categorify the Fock space representation of the Heisenberg algebra on the category of polynomial functors. Secondly, we construct commuting actions of the affine Lie algebra and the level p action of the Heisenberg algebra on the derived category of polynomial functors over a field of characteristic p > 0, thus weakly categorifying the Fock space representation of $\hat{gl}_p$. Moreover, we study the relationship between these categorifications and Schur-Weyl duality. The duality is formulated as a functor from the category of polynomial functors to the category of linear species. The category of linear species is known to carry actions of the Kac-Moody algebra and the Heisenberg algebra. We prove that Schur-Weyl duality is a morphism of these categorification structures. △ Less

Submitted 29 August, 2012; v1 submitted 22 November, 2011; originally announced November 2011.

Comments: 47 pages

Journal ref: Advances in Math. Volume 237, 360-403 (2013)

Polynomial functors and categorifications of Fock space

Authors: Jiuzu Hong, Antoine Touzé, Oded Yacobi

Abstract: Fix an infinite field $k$ of characteristic $p$, and let $\g$ be the Kac-Moody algebra $\mathfrak{sl}_{\infty}$ if $p=0$ and $\hat{\mathfrak{sl}}_p$ otherwise. Let $\PP$ denote the category of strict polynomial functors defined over $k$. We describe a $\g$-action on $\PP$ (in the sense of Chuang and Rouquier) categorifying the Fock space representation of $\g$. Fix an infinite field $k$ of characteristic $p$, and let $\g$ be the Kac-Moody algebra $\mathfrak{sl}_{\infty}$ if $p=0$ and $\hat{\mathfrak{sl}}_p$ otherwise. Let $\PP$ denote the category of strict polynomial functors defined over $k$. We describe a $\g$-action on $\PP$ (in the sense of Chuang and Rouquier) categorifying the Fock space representation of $\g$. △ Less

Submitted 22 November, 2011; originally announced November 2011.

Comments: 23 pages

Polynomial representations and categorifications of Fock Space

Authors: Jiuzu Hong, Oded Yacobi

Abstract: The rings of symmetric polynomials form an inverse system whose limit, the ring of symmetric functions, is the model for the bosonic Fock space representation of the affine Lie algebra. We categorify this construction by considering an inverse limit of categories of polynomial representation of general linear groups. We show that this limit naturally carries an action of the affine Lie algebra (in… ▽ More The rings of symmetric polynomials form an inverse system whose limit, the ring of symmetric functions, is the model for the bosonic Fock space representation of the affine Lie algebra. We categorify this construction by considering an inverse limit of categories of polynomial representation of general linear groups. We show that this limit naturally carries an action of the affine Lie algebra (in the sense of Rouquier), thereby obtaining a famiy of categorifications of the bosonic Fock space representation. △ Less

Submitted 29 August, 2012; v1 submitted 12 January, 2011; originally announced January 2011.

Comments: 32 pages, to appear in Algebras and Representation Theory

MSC Class: 18D05; 18F30; 20C20; 20C30

Journal ref: Algebras and Representation Theory 16 (2013), no.5, 1273-1311

A quantum analogue of Kostant's theorem for the general linear group

Authors: Avraham Aizenbud, Oded Yacobi

Abstract: A fundamental result in representation theory is Kostant's theorem which describes the algebra of polynomials on a reductive Lie algebra as a module over its invariants. We prove a quantum analogue of this theorem for the general linear group, and from this deduce the analogous result for reflection equation algebras. A fundamental result in representation theory is Kostant's theorem which describes the algebra of polynomials on a reductive Lie algebra as a module over its invariants. We prove a quantum analogue of this theorem for the general linear group, and from this deduce the analogous result for reflection equation algebras. △ Less

Submitted 1 July, 2010; originally announced July 2010.

Comments: 13 pages

MSC Class: 16T20; 17B37; 20G42; 81R50

Journal ref: Journal of Algebra 343 (2011), pp. 183-194

A Basis for the Symplectic Group Branching Algebra

Authors: Sangjib Kim, Oded Yacobi

Abstract: The symplectic group branching algebra, B, is a graded algebra whose components encode the multiplicities of irreducible representations of Sp(2n-2,C) in each irreducible representation of Sp(2n,C). By describing on B an ASL structure, we construct an explicit standard monomial basis of B consisting of Sp(2n-2,C) highest weight vectors. Moreover, B is known to carry a canonical action of the n-fol… ▽ More The symplectic group branching algebra, B, is a graded algebra whose components encode the multiplicities of irreducible representations of Sp(2n-2,C) in each irreducible representation of Sp(2n,C). By describing on B an ASL structure, we construct an explicit standard monomial basis of B consisting of Sp(2n-2,C) highest weight vectors. Moreover, B is known to carry a canonical action of the n-fold product SL(2) \times ... \times SL(2), and we show that the standard monomial basis is the unique (up to scalar) weight basis associated to this representation. Finally, using the theory of Hibi algebras we describe a deformation of Spec(B) into an explicit toric variety. △ Less

Submitted 15 June, 2011; v1 submitted 13 May, 2010; originally announced May 2010.

Comments: 20 pages, v2

MSC Class: 20G05; 05E15

Journal ref: J. Algebraic Combin. 35 (2012) no. 2. 269-290

An Analysis of the Multiplicity Spaces in Branching of Symplectic Groups

Authors: Oded Yacobi

Abstract: Branching of symplectic groups is not multiplicity-free. We describe a new approach to resolving these multiplicities that is based on studying the associated branching algebra $B$. The algebra $B$ is a graded algebra whose components encode the multiplicities of irreducible representations of $Sp_{2n-2}$ in irreducible representations of $Sp_{2n}$. Our first theorem states that the map taking a… ▽ More Branching of symplectic groups is not multiplicity-free. We describe a new approach to resolving these multiplicities that is based on studying the associated branching algebra $B$. The algebra $B$ is a graded algebra whose components encode the multiplicities of irreducible representations of $Sp_{2n-2}$ in irreducible representations of $Sp_{2n}$. Our first theorem states that the map taking an element of $Sp_{2n}$ to its principal $n \times (n+1)$ submatrix induces an isomorphism of $\B$ to a different branching algebra $\B'$. The algebra $\B'$ encodes multiplicities of irreducible representations of $GL_{n-1}$ in certain irreducible representations of $GL_{n+1}$. Our second theorem is that each multiplicity space that arises in the restriction of an irreducible representation of $Sp_{2n}$ to $Sp_{2n-2}$ is canonically an irreducible module for the $n$-fold product of $SL_{2}$. In particular, this induces a canonical decomposition of the multiplicity spaces into one dimensional spaces, thereby resolving the multiplicities. △ Less

Submitted 12 May, 2010; v1 submitted 18 July, 2009; originally announced July 2009.

Comments: 32 pages, revised abstract and introduction, and reorganized the structure of the paper

MSC Class: 22E02

Journal ref: Selecta Math N.S., 16 (2010), no. 4, 819-855