Geometric realisations of the unipotent enveloping algebra of a quiver

DOI10.1016/J.AIM.2024.109536arXiv2209.06552OpenAlexW4392123876MaRDI QIDQ6200731FDOQ6200731

Authors: Lucien Hennecart 

Publication date: 25 March 2024

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: We compare and generalise the various geometric constructions (due to Ringel, Lusztig, Schofield, Bozec, Davison...) of the unipotent generalised Kac-Moody algebra associated with an arbitrary quiver. These constructions are interconnected through several geometric operations, including the stalk Euler characteristic of constructible complexes, the characteristic cycle, the Euler obstruction map, and the intersection multiplicities of Lagrangian subvarieties. We provide a proof that these geometric realisations hold for the integral form of the Lie algebra. Furthermore, by modifying the generators of the enveloping algebra, we ensure compatibility with the natural coproducts that can be defined in terms of restriction diagrams. As a result, we establish that the top cohomological Hall algebra of the strictly seminilpotent stack is isomorphic to the positive part of the enveloping algebra of the generalised Kac-Moody algebra associated with the quiver. This appears to be one of the cornerstones needed to describe the BPS algebra of very general $2$-Calabi-Yau categories, which is the subject of the author's work on BPS Lie algebras for $2$-Calabi-Yau categories with Davison and Schlegel Mejia.

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

zbMATH Keywords

characteristic cyclecanonical basesquivercohomological Hall algebra

Mathematics Subject Classification ID

Kac-Moody (super)algebras; extended affine Lie algebras; toroidal Lie algebras (17B67) Linear algebraic groups and related topics (20G99)

Cites Work

• Hall algebras and quantum groups
• Chern classes for singular algebraic varieties
• Constructible sheaves are holonomic
• Canonical Bases Arising from Quantized Enveloping Algebras
• Quivers, Perverse Sheaves, and Quantized Enveloping Algebras
• Title not available (Why is that?)
• Introduction to quantum groups
• Sheaves in topology
• Noncommutative symmetric functions
• Graded Calabi Yau algebras of dimension 3.
• Title not available (Why is that?)
• Equivariant sheaves and functors
• Global crystal bases of quantum groups
• Semicanonical bases arising from enveloping algebras
• Quivers with loops and perverse sheaves
• Semicanonical bases and preprojective algebras
• Characteristic varieties and vanishing cycles
• Crystalizing the q-analogue of universal enveloping algebras
• Geometric construction of crystal bases
• Noncommutative projective curves and quantum loop algebras
• Cohomological Hall algebras for Higgs torsion sheaves, moduli of triples and sheaves on surfaces
• Title not available (Why is that?)
• Cohomological Hall algebra of Higgs sheaves on a curve
• Canonical bases and moduli spaces of sheaves on curves
• Hall algebras of curves, commuting varieties and Langlands duality
• On cohomological Hall algebras of quivers: generators
• The characteristic cycle and the singular support of a constructible sheaf
• Characteristic cycles of constructible sheaves
• Counting absolutely cuspidals for quivers
• Quivers with loops and generalized crystals
• Singularities of moduli spaces of sheaves on $K3$ surfaces and Nakajima quiver varieties
• On the number of points of nilpotent quiver varieties over finite fields
• Lectures on canonical and crystal bases of Hall algebras

This page was built for publication: Geometric realisations of the unipotent enveloping algebra of a quiver

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