Homological Lie brackets on moduli spaces and pushforward operations in twisted K-theory

Upmeier, Markus

doi:10.48550/arxiv.2101.10990

Cited by 2 publications

(2 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [106] the author outlined a construction of [ , ] using a conjectural characteristic class type operation on principal [ * /G m ]-bundles such as Π pl : M M pl , called the 'projective Euler class'. These conjectures have now been proved by Upmeier [188], giving an alternative definition of [ , ].…”

Section: Lie Algebras From the Vertex Algebras Of §42mentioning

confidence: 99%

Enumerative invariants and wall-crossing formulae in abelian categories

Joyce¹

2021

Preprint

View full text Add to dashboard Cite

An enumerative invariant theory in Algebraic Geometry is the study of invariants which 'count' τ -(semi)stable objects E with fixed topological invariants E = α in some geometric problem, by means of a virtual class [M ss α (τ )]virt in some homology theory, for the moduli spacesWe can obtain numbers by taking integrals [M ss α (τ )] virt Υ for suitable universal cohomology classes Υ. Examples include Mochizuki's invariants for coherent sheaves on surfaces [146], and Donaldson-Thomas type invariants for coherent sheaves on Calabi-Yau 3-and 4-folds and Fano 3-folds, [28,108,118,152,176].Let A be a C-linear abelian category coming from Algebraic Geometry. There are two moduli stacks of objects E in A: the usual moduli stack M, and the 'projective linear' moduli stack M pl modulo projective linear isomorphisms, that is, we quotient out by λ idE : E E for λ ∈ Gm. Both are Artin C-stacks. Previous work by the author [106] gives H * (M) the structure of a graded vertex algebra, and H * (M pl ) a graded Lie algebra, closely related to H * (M). Virtual classes [M ss α (τ )]virt lie in H * (M pl ). We develop a universal theory of enumerative invariants in such categories A, which includes and extends many cases of interest. Virtual classes [M ss α (τ )]virt are only defined when M st α (τ ) = M ss α (τ ). We give a systematic way to define invariants [M ss α (τ )]inv in H * (M pl ) for all classes α ∈ C(A), with [M ss α (τ )]inv = [M ss α (τ )]virt when M st α (τ ) = M ss α (τ ). If (τ, T, ) and (τ , T , ) are two suitable (weak) stability conditions on A, we prove a wall-crossing formula which expresses [M ss α (τ )]inv in terms of the [M ss β (τ )]inv, using the Lie bracket on H * (M pl ). We apply our results when A is a category mod-CQ or mod-CQ/I of representations of a quiver Q or quiver with relations (Q, I), and when A = coh(X) for X a curve, surface, or Fano 3-fold, and when A is a category of 'pairs' ρ : V ⊗ C L E in coh(X) for X a curve or surface, where V is a vector space, L X is a fixed line bundle, and E ∈ coh(X). We also speculate on extensions of our theory to 3-Calabi-Yau categories, which would give an alternative approach to Donaldson-Thomas theory to [108,176], and to 4-Calabi-Yau categories, which would give a theory of Donaldson-Thomas type invariants of Calabi-Yau 4-folds.Our results prove conjectures made in Gross-Joyce-Tanaka [81].

show abstract

Section: Lie Algebras From the Vertex Algebras Of §42mentioning

confidence: 99%

Enumerative invariants and wall-crossing formulae in abelian categories

Joyce¹

2021

Preprint

View full text Add to dashboard Cite

show abstract

“…Proving a conjecture in [58], Upmeier [107] Vertex algebras were originally introduced in mathematics by Borcherds [10] to better understand the construction of Kac-Moody-type Lie algebras.…”

Section: Lie Algebras From the Vertex Algebras Of Section 23mentioning

confidence: 99%

Universal Structures in C-Linear Enumerative Invariant Theories

Gross¹,

Joyce²,

Tanaka³

2022

SIGMA

View full text Add to dashboard Cite

An enumerative invariant theory in algebraic geometry, differential geometry, or representation theory, is the study of invariants which 'count' τ -(semi)stable objects E with fixed topological invariants E = α in some geometric problem, by means of a virtual class [M ss α (τ )] virt in some homology theory for the moduli spaces M st α (τ ) ⊆ M ss α (τ ) of τ -(semi)stable objects. Examples include Mochizuki's invariants counting coherent sheaves on surfaces, Donaldson-Thomas type invariants counting coherent sheaves on Calabi-Yau 3and 4-folds and Fano 3-folds, and Donaldson invariants of 4-manifolds. We make conjectures on new universal structures common to many enumerative invariant theories. Any such theory has two moduli spaces M, M pl , where the second author (see https://people. maths.ox.ac.uk/ ~joyce/hall.pdf) gives H * (M) the structure of a graded vertex algebra, and H * M pl a graded Lie algebra, closely related to H * (M). The virtual classes [M ss α (τ )] virt take values in H * M pl . In most such theories, defining [M ss α (τ )] virt when M st α (τ ) ̸ = M ss α (τ ) (in gauge theory, when the moduli space contains reducibles) is a difficult problem. We conjecture that there is a natural way to define invariants [M ss α (τ )] inv in homology over Q, with [M ss α (τ )] inv = [M ss α (τ )] virt when M st α (τ ) = M ss α (τ ), and that these invariants satisfy a universal wall-crossing formula under change of stability condition τ , written using the Lie bracket on H * M pl . We prove our conjectures for moduli spaces of representations of quivers without oriented cycles. Versions of our conjectures in algebraic geometry using Behrend-Fantechi virtual classes are proved in the sequel [arXiv:2111.04694].

show abstract

Homological Lie brackets on moduli spaces and pushforward operations in twisted K-theory

Cited by 2 publications

References 14 publications

Enumerative invariants and wall-crossing formulae in abelian categories

Enumerative invariants and wall-crossing formulae in abelian categories

Universal Structures in C-Linear Enumerative Invariant Theories

Contact Info

Product

Resources

About