Showing 1–11 of 11 results for author: Lachowska, A

Tensor powers of vector representation of $U_q(\mathfrak{sl}_2)$ at even roots of unity

Authors: Anna Lachowska, Olga Postnova, Nicolai Reshetikhin, Dmitry Solovyev

Abstract: We study the decomposition of tensor powers of two dimensional irreducible representations of quantum $\mathfrak{sl}_2$ at even roots of unity into direct sums of tilting modules. We derive a combinatorial formula for multiplicity of tilting modules in the $N$-th tensor power of two dimensional irreducible representations, interpret it in terms of lattice paths and find its asymptotic behavior whe… ▽ More We study the decomposition of tensor powers of two dimensional irreducible representations of quantum $\mathfrak{sl}_2$ at even roots of unity into direct sums of tilting modules. We derive a combinatorial formula for multiplicity of tilting modules in the $N$-th tensor power of two dimensional irreducible representations, interpret it in terms of lattice paths and find its asymptotic behavior when $N\to\infty$. We also describe the limit of character and Plancherel measures when $N\to\infty$. We consider both $U_q(\mathfrak{sl}_2)$ with divided powers and the small quantum $sl_2$. △ Less

Submitted 5 April, 2024; originally announced April 2024.

Comments: 43 pages

On the affine Springer fibers inside the invariant center of the small quantum group

Authors: Nicolas Hemelsoet, Oscar Kivinen, Anna Lachowska

Abstract: Let $\mathfrak{u}_ζ^\vee$ denote the small quantum group associated with a simple Lie algebra $\mathfrak{g}^\vee$ and a root of unity $ζ$. Based on the geometric realization of the center of $\mathfrak{u}_ζ^\vee$ in [8], we use a combinatorial method to derive a formula for the dimension of a subalgebra in the $G^\vee$-invariant part of the center $Z(\mathfrak{u}_ζ^\vee)^{G^\vee}$ of… ▽ More Let $\mathfrak{u}_ζ^\vee$ denote the small quantum group associated with a simple Lie algebra $\mathfrak{g}^\vee$ and a root of unity $ζ$. Based on the geometric realization of the center of $\mathfrak{u}_ζ^\vee$ in [8], we use a combinatorial method to derive a formula for the dimension of a subalgebra in the $G^\vee$-invariant part of the center $Z(\mathfrak{u}_ζ^\vee)^{G^\vee}$ of $\mathfrak{u}_ζ^\vee$, that conjecturally coincides with the whole $G^\vee$-invariant center. In case $G=SL_n$ we study a refinement of the obtained dimension formula provided by two geometrically defined gradings. △ Less

Submitted 19 May, 2022; originally announced May 2022.

Comments: 26 pages

Remarks on the derived center of small quantum groups

Authors: Anna Lachowska, You Qi

Abstract: Let $\mathsf{u}_q(\mathfrak{g})$ be the small quantum group associated with a complex semisimple Lie algebra $\mathfrak{g}$ and a primitive root of unity q, satisfying certain restrictions. We establish the equivalence between three different actions of $\mathfrak{g}$ on the center of $\mathsf{u}_q(\mathfrak{g})$ and on the higher derived center of $\mathsf{u}_q(\mathfrak{g})$. Based on the trivia… ▽ More Let $\mathsf{u}_q(\mathfrak{g})$ be the small quantum group associated with a complex semisimple Lie algebra $\mathfrak{g}$ and a primitive root of unity q, satisfying certain restrictions. We establish the equivalence between three different actions of $\mathfrak{g}$ on the center of $\mathsf{u}_q(\mathfrak{g})$ and on the higher derived center of $\mathsf{u}_q(\mathfrak{g})$. Based on the triviality of this action for $\mathfrak{g} = \mathfrak{sl}_2, \mathfrak{sl}_3, \mathfrak{sl}_4$, we conjecture that, in finite type A, central elements of the small quantum group $\mathsf{u}_q(\mathfrak{sl}_n)$ arise as the restriction of central elements in the big quantum group $\mathsf{U}_q(\mathfrak{sl}_n)$. We also study the role of an ideal $\mathsf{z}_{\mathrm{Hig}}$ known as the Higman ideal in the center of $\mathsf{u}_q(\mathfrak{g})$. We show that it coincides with the intersection of the Harish-Chandra center and its Fourier transform, and compute the dimension of $\mathsf{z}_{\mathrm{Hig}}$ in type A. As an illustration we provide a detailed explicit description of the derived center of $\mathsf{u}_q(\mathfrak{sl}_2)$ and its various symmetries. △ Less

Submitted 10 July, 2021; v1 submitted 18 December, 2019; originally announced December 2019.

Comments: 36 pages. 2 figures. Version 2 contains minor corrections from referee report. To appear in Selecta Mathematica. Comments welcome

The center of the small quantum group II: singular blocks

Authors: Anna Lachowska, You Qi

Abstract: We generalize to the case of singular blocks the result in \cite{BeLa} that describes the center of the principal block of a small quantum group in terms of sheaf cohomology over the Springer resolution. Then using the method developed in \cite{LQ1}, we present a linear algebro-geometric approach to compute the dimensions of the singular blocks and of the entire center of the small quantum group a… ▽ More We generalize to the case of singular blocks the result in \cite{BeLa} that describes the center of the principal block of a small quantum group in terms of sheaf cohomology over the Springer resolution. Then using the method developed in \cite{LQ1}, we present a linear algebro-geometric approach to compute the dimensions of the singular blocks and of the entire center of the small quantum group associated with a complex semisimple Lie algebra. A conjectural formula for the dimension of the center of the small quantum group at an $l$th root of unity is formulated in type A. △ Less

Submitted 12 September, 2018; v1 submitted 7 March, 2017; originally announced March 2017.

Comments: 36 pages, 3 figures, comments welcome. Minor corrections and updated references

MSC Class: 17B37; 14L99; 20G05

Journal ref: Proc. Lond. Math. Soc. (3) 118 (2019), no. 3, 513-544

The center of the small quantum group u_q(sl_3) for l=5: a numerical computation

Authors: Steven Glenn Jackson, Anna Lachowska

Abstract: This is a brief note on a numerical computation of the dimension of the center of the small quantum group u_q(sl_3) at the 5th root of unity. The obtained dimension is 57. Using the description of the regular block of the center for u_q(sl_3), given in arXiv:1604.07380, we conclude that the dimension of the singular parabolic block of the center for u_q(sl_3) is 6, and obtain a complete block deco… ▽ More This is a brief note on a numerical computation of the dimension of the center of the small quantum group u_q(sl_3) at the 5th root of unity. The obtained dimension is 57. Using the description of the regular block of the center for u_q(sl_3), given in arXiv:1604.07380, we conclude that the dimension of the singular parabolic block of the center for u_q(sl_3) is 6, and obtain a complete block decomposition of the center in this case. △ Less

Submitted 27 November, 2016; originally announced November 2016.

Comments: 5 pages

MSC Class: 17B37

The center of small quantum groups I: the principal block in type A

Authors: Anna Lachowska, You Qi

Abstract: We develop an elementary algebraic method to compute the center of the principal block of a small quantum group associated with a complex semisimple Lie algebra at a root of unity. The exemplary case of $\mathfrak{sl}_3$ is computed explicitly, and further evidence of $\mathfrak{sl}_4$ is sketched. This allows us to formulate the conjecture that, as a bigraded vector space, the center of a regular… ▽ More We develop an elementary algebraic method to compute the center of the principal block of a small quantum group associated with a complex semisimple Lie algebra at a root of unity. The exemplary case of $\mathfrak{sl}_3$ is computed explicitly, and further evidence of $\mathfrak{sl}_4$ is sketched. This allows us to formulate the conjecture that, as a bigraded vector space, the center of a regular block of the small quantum $\mathfrak{sl}_m$ at a root of unity is isomorphic to Haiman's diagonal coinvariant algebra for the symmetric group $S_{m}$. △ Less

Submitted 21 April, 2017; v1 submitted 25 April, 2016; originally announced April 2016.

Comments: 44 pages, V3 contains corrections from the referee and updated references, comments welcome, International Mathematics Research Notices 2017

MSC Class: 17B37; 14L99; 20G05

Journal ref: Int. Math. Res. Not. IMRN 2018, no. 20, 6349-6405

Divergence and q-divergence in depth 2

Authors: Anton Alekseev, Anna Lachowska, Elise Raphael

Abstract: The Kashiwara-Vergne Lie algebra $\mathfrak{krv}$ encodes symmetries of the Kashiwara-Vergne problem on the properties of the Campbell-Hausdorff series. It is conjectures that $\mathfrak{krv} \cong \mathbb{K}t \oplus \mathfrak{grt}_1$, where $t$ is a generator of degree 1 and $\mathfrak{grt}_1$ is the Grothendieck-Teichmüller Lie algebra. In the paper, we prove this conjecture in depth 2. The main… ▽ More The Kashiwara-Vergne Lie algebra $\mathfrak{krv}$ encodes symmetries of the Kashiwara-Vergne problem on the properties of the Campbell-Hausdorff series. It is conjectures that $\mathfrak{krv} \cong \mathbb{K}t \oplus \mathfrak{grt}_1$, where $t$ is a generator of degree 1 and $\mathfrak{grt}_1$ is the Grothendieck-Teichmüller Lie algebra. In the paper, we prove this conjecture in depth 2. The main tools in the proof are the divergence cocycle and the representation theory of the dihedral group $D_{12}$. Our calculation is similar to the calculation by Zagier of the graded dimensions of the double shuffle Lie algebra in depth 2. In analogy to the divergence cocycle, we define the super-divergence and $q$-divergence cocycles (here $q^l=1$) on Lie subalgebras of $\mathfrak{grt}_1$ which consist of elements with weight divisible by $l$. We show that in depth $2$ these cocycles have no kernel. This result is in sharp contrast with the fact that the divergence cocycle vanishes on $[\mathfrak{grt}_1, \mathfrak{grt}_1]$. △ Less

Submitted 22 April, 2015; v1 submitted 10 December, 2014; originally announced December 2014.

Comments: 20 pages

The small quantum group and the Springer resolution

Authors: Roman Bezrukavnikov, Anna Lachowska

Abstract: In math.RT/0304173 the derived category of the principal block in modules over the Lusztig quantum algebra at a root of unity is related to the derived category of equivariant coherent sheaves on the Springer resolution. In the present paper we deduce a similar relation between the derived category of the principal block for the {\em small (reduced) quantum algebra} and the derived category of (… ▽ More In math.RT/0304173 the derived category of the principal block in modules over the Lusztig quantum algebra at a root of unity is related to the derived category of equivariant coherent sheaves on the Springer resolution. In the present paper we deduce a similar relation between the derived category of the principal block for the {\em small (reduced) quantum algebra} and the derived category of (non-equivariant) coherent sheaves on the Springer resolution. As an application we get a geometric description of Hochschild cohomology (in particular, the center) of the regular block for the small quantum group, and use it to give an explicit description of a certain subalgebra in the center (obtained previously by another method and under more restrictive assumptions in math.QA/0107098. We also briefly explain the relation of our result to the geometric description math.RT/0407048 of the derived category of modules over the De Concini -- Kac quantum algebra. △ Less

Submitted 29 January, 2007; v1 submitted 28 September, 2006; originally announced September 2006.

Comments: MPIM preprint, to appear in Proceedings of Haifa Conference on Quantum Groups; the second version contains minor corrections

Invariant *-products on coadjoint orbits and the Shapovalov pairing

Authors: A. Alekseev, A. Lachowska

Abstract: We give an explicit formula for invariant *-products on a wide class of coadjoint orbits. The answer is expressed in terms of the Shapovalov pairing for generalized Verma modules. We give an explicit formula for invariant *-products on a wide class of coadjoint orbits. The answer is expressed in terms of the Shapovalov pairing for generalized Verma modules. △ Less

Submitted 11 August, 2003; originally announced August 2003.

Comments: 12 pages, AMS LaTex

A counterpart of the Verlinde algebra for the small quantum group

Authors: Anna Lachowska

Abstract: Let $\bar{Pr}$ denote the ideal spanned by the characters of projective modules in the Grothendieck ring of the category of finite dimensional modules over the small quantum group $u_l$. We show that $\bar{Pr}$ admits a description completely parallel to that of the Verlinde algebra of the fusion category, restricted over $u_l$, with the character of the Steinberg module playing the role of the… ▽ More Let $\bar{Pr}$ denote the ideal spanned by the characters of projective modules in the Grothendieck ring of the category of finite dimensional modules over the small quantum group $u_l$. We show that $\bar{Pr}$ admits a description completely parallel to that of the Verlinde algebra of the fusion category, restricted over $u_l$, with the character of the Steinberg module playing the role of the identity. △ Less

Submitted 7 May, 2002; v1 submitted 19 July, 2001; originally announced July 2001.

Comments: 18 pages, ams-latex

MSC Class: 20Gxx; 17Bxx

On the center of the small quantum group

Authors: Anna Lachowska

Abstract: Using the quantum Fourier transform F, we describe the block decomposition and multiplicative structure of a subalgebra Z + F(Z) in the center of the small quantum group u_l at a root of unity. It contains the previously known subalgebra Z, which is isomorphic to the algebra of characters of finite dimensional modules over u_l. We prove that the intersection $Z \cap F(Z)$ coincides with the anni… ▽ More Using the quantum Fourier transform F, we describe the block decomposition and multiplicative structure of a subalgebra Z + F(Z) in the center of the small quantum group u_l at a root of unity. It contains the previously known subalgebra Z, which is isomorphic to the algebra of characters of finite dimensional modules over u_l. We prove that the intersection $Z \cap F(Z)$ coincides with the annihilator of the radical of Z. The whole center of u_l coincides with the obtained subalgebra Z + F(Z) in case of sl_2, and is bigger than that in general. △ Less

Submitted 25 July, 2002; v1 submitted 13 July, 2001; originally announced July 2001.

Comments: 16 pages

MSC Class: 20G; 17B