Towards functor exponentiation

DOI10.1016/J.JALGEBRA.2018.02.030MaRDI QIDQ1644995zbMATH OpenOpenAlexFDO

Authors Yin Tian, Mikhail Khovanov

Publication date 22 June 2018

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1712.02208

zbMATH Keywords

categorificationdiagrammatic categoryexponentiationquantum \(\mathfrak{sl}_2\)

Mathematics Subject Classification ID

Grothendieck groups, (K)-theory, etc. (16E20) Quantum groups (quantized enveloping algebras) and related deformations (17B37)

Abstract: We consider a possible framework to categorify the exponential map exp(-f) given the categorification of a generator f of $frak{sl}_2$ by Lauda. In this setup the Taylor expansions of exp(-f) and exp(f) turn into complexes built out of categorified divided powers of f. Hom spaces between tensor powers of categorified f are given by diagrammatics combining nilHecke algebra relations with those for a additional "short strand" generator. The proposed framework is only an approximation to categorification of exponentiation, because the functors categorifying exp(f) and exp(-f) are not invertible.

Review text

In Lie theory, the exponential map connects a Lie algebra and its Lie group. Idempotented version of quantized universal enveloping algebras of simple Lie algebras have been categorified by \textit{M. Khovanov} and \textit{A. D. Lauda} [Represent. Theory 13, 309--347 (2009; Zbl 1188.81117); Quantum Topol. 1, No. 1, 1--92 (2010; Zbl 1206.17015)] and \textit{R. Rouquier} [``\(2\)-Kac-Moody algebras, Preprint, \url{arXiv:0812.5023}]. This paper can be viewed as a small step towards lifting the exponential map to the categorical level. The authors focus on the case of \(\mathfrak{sl}_2\) and consider a possible framework to categorify the exponential map \(\exp(-f)\) given the categorification of a generator \(f\) of \(\mathfrak{sl}_2\) by \textit{A. D. Lauda} [Adv. Math. 225, No. 6, 3327--3424 (2010; Zbl 1219.17012)]. In this setup the Taylor expansions of \(\exp(-f)\) and \(\exp(f)\) turn into complexes built out of categorified divided powers of \(f\). The proposed framework is only an approximation to categorification of exponentiation, because the functors categorifying \(\exp(f)\) and \(\exp(-f)\) are not invertible. One possible application of categorified exponentiation would be the categorification of integral forms of Lie groups and the exponential map between a Lie algebra and its Lie group.

Recommendations

• The categorification of fermions
• On the Structure of Graded Commutative Exponential functors
• Categorical aspects of generating functions. I: Exponential formulas and Krull-Schmidt categories
• An invitation to categorification
• Algebraic exponentiation in general categories

Cites work

• A categorification of quantum \(\mathfrak{sl}(2)\)
• A categorification of quantum \(\text{sl}(n)\)
• A diagrammatic approach to categorification of quantum groups. I
• Categorifications of the polynomial ring.
• FI-modules and stability for representations of symmetric groups
• Heisenberg algebra and a graphical calculus
• How to categorify the ring of integers localized at two
• Towards a categorical boson-fermion correspondence

Cited in

(1)

• Decomposable functors and the exponential principle. II.

This page was built for publication: Towards functor exponentiation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1644995)