Hall Lie algebras of toric monoid schemes

DOI10.1007/S00029-023-00913-3arXiv2008.11302OpenAlexW4391664938WikidataQ128570278 ScholiaQ128570278MaRDI QIDQ6201775FDOQ6201775

Matt Szczesny, Jaiung Jun

Publication date: 21 February 2024

Published in: Selecta Mathematica. New Series (Search for Journal in Brave)

Abstract: We associate to a projective $n$-dimensional toric variety $X_{Delta}$ a pair of co-commutative (but generally non-commutative) Hopf algebras $H_X^{alpha},H_X^T$. These arise as Hall algebras of certain categories $Co{h}^{alpha}(X),Co{h}^T(X)$ of coherent sheaves on $X_{Delta}$ viewed as a monoid scheme - i.e. a scheme obtained by gluing together spectra of commutative monoids rather than rings. When $X_{Delta}$ is smooth, the category $Co{h}^T(X)$ has an explicit combinatorial description as sheaves whose restriction to each $mathbb{A}^n$ corresponding to a maximal cone $sigmainDelta$ is determined by an $n$-dimensional generalized skew shape. The (non-additive) categories $Co{h}^{alpha}(X),Co{h}^T(X)$ are treated via the formalism of proto-exact/proto-abelian categories developed by Dyckerhoff-Kapranov. The Hall algebras $H_X^{alpha},H_X^T$ are graded and connected, and so enveloping algebras $H_X^{alpha}simeqU{(}_X^{alpha})$, $H_X^{T}simeqU{(}_X^T)$, where the Lie algebras ${}_X^{alpha}{,}_X^T$ are spanned by the indecomposable coherent sheaves in their respective categories. We explicitly work out several examples, and in some cases are able to relate ${}_X^T$ to known Lie algebras. In particular, when $X=mathbb{P}^1$, ${}_X^T$ is isomorphic to a non-standard Borel in $mathfrak{gl}_2[t,t^{-1}]$. When $X$ is the second infinitesimal neighborhood of the origin inside $mathbb{A}^2$, ${}_X^T$ is isomorphic to a subalgebra of $mathfrak{gl}_2[t]$. We also consider the case $X=mathbb{P}^2$, where we give a basis for ${}_X^T$ by describing all indecomposable sheaves in $Co{h}^T(X)$.

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

zbMATH Keywords

Hall algebrainfinite-dimensional Lie algebraloop algebramonoid schemeskew shapeproto-abelianproto-exact

Mathematics Subject Classification ID

Toric varieties, Newton polyhedra, Okounkov bodies (14M25) Combinatorial aspects of representation theory (05E10) Universal enveloping algebras of Lie algebras (16S30) Hopf algebras and their applications (16T05) (Co)homology theory in algebraic geometry (14F99) Combinatorial aspects of algebraic geometry (05E14) Geometry over the field with one element (14A23)

Cites Work

• Hall algebras and quantum groups
• Toric varieties
• Hall algebras, hereditary algebras and quantum groups
• On the Hall algebra of an elliptic curve. I.
• Toric varieties, monoid schemes and cdh descent
• On the notion of geometry over 𝔽₁
• The elliptic Hall algebra, Cherednik Hecke algebras and Macdonald polynomials
• Title not available (Why is that?)
• Au-dessous de Specℤ
• Hopf algebras, renormalization and noncommutative geometry
• Incidence Hopf algebras
• On the Hall algebra of an elliptic curve. II
• Free Hopf algebras generated by coalgebras
• Schemes over 𝔽₁and zeta functions
• Kleinian singularities, derived categories and Hall algebras
• Combinatorial Hopf algebras
• \(\mathbb F_1\)-schemes and toric varieties
• Eisenstein series and quantum affine algebras
• Toric Singularities
• Title not available (Why is that?)
• Remarks on zeta functions and \(K\)-theory over \({\mathbb F}_1\)
• Representations of quivers over \(\mathbb F_{1}\) and Hall algebras
• On the Hall algebra of coherent sheaves on \(\mathbb P^1\) over \(\mathbb F^1\)
• Vector bundles over projective spaces. The case \({\mathbb F_1}\)
• Sheaves and \(K\)-theory for \(\mathbb F_1\)-schemes
• Fun with \(\mathbb F_1\)
• The Hall algebra of the category of coherent sheaves on the projective line
• From triangulated categories to Lie algebras: a theorem of Peng and Xiao.
• Quasicoherent sheaves on projective schemes over \(\mathbb{F}_1\)
• Feynman graphs, rooted trees, and Ringel-Hall algebras
• Higher Segal Spaces
• Quantum \(\mathbb{F}_{\mathrm{un}}\): the \(q = 1\) limit of Galois field quantum mechanics, projective geometry and the field with one element
• The Hall algebra of a curve
• Incidence categories
• On the Hall algebra of semigroup representations over \(\mathbb F_1\).
• Number fields and function fields -- two parallel worlds
• The Hopf algebra of skew shapes, torsion sheaves on \(\mathbb{A}_{/ \mathbb{F}_1}^n\), and ideals in Hall algebras of monoid representations
• \(\mathbb{F}_{1}\) for everyone
• Higher Categorical Aspects of Hall Algebras
• The $K’$–theory of monoid sets
• On cohomology and vector bundles over monoid schemes

This page was built for publication: Hall Lie algebras of toric monoid schemes

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