Fixed point locus of Moduli spaces of Sheaves on Toric DM stacks
Pith reviewed 2026-05-09 17:16 UTC · model grok-4.3
The pith
The torus fixed point locus in the moduli space of stable sheaves on a smooth toric DM stack is described explicitly by characteristic functions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Extending work of Klyachko, Perling and Kool we develop a combinatorial description of torsion free toric sheaves in any dimension on smooth toric DM stacks. We investigate their basic properties and under certain conditions recover some known results on smooth toric varieties. The action of the torus lifts to the moduli of torsion free modified Gieseker stable sheaves on the smooth DM stack, and we express its fixed point locus explicitly in terms of certain finer invariants called characteristic functions. These techniques will be exploited to compute topological invariants of the moduli of modified stable torsion free sheaves on smooth toric DM stacks.
What carries the argument
Characteristic functions, the combinatorial invariants attached to torsion-free toric sheaves that parametrize the torus-fixed points inside the moduli space.
If this is right
- The fixed point locus can be used to compute topological invariants such as Euler characteristics of the moduli spaces via localization.
- Known results on smooth toric varieties are recovered as special cases of the stacky description.
- The combinatorial data of characteristic functions applies uniformly in any dimension for smooth toric DM stacks.
- Basic properties of torsion-free toric sheaves on these stacks are established through their combinatorial presentation.
Where Pith is reading between the lines
- The explicit fixed-locus description may make it feasible to calculate previously inaccessible invariants for specific stacky examples.
- The lifting of the torus action to the moduli space suggests analogous fixed-point techniques could apply to other moduli problems involving sheaves or complexes on toric stacks.
- Connections between combinatorial sheaf data and enumerative invariants on orbifolds become more direct when the fixed loci are parametrized this way.
Load-bearing premise
A combinatorial description of torsion-free toric sheaves exists in any dimension on smooth toric DM stacks and the torus action lifts to the moduli space under the stated stability conditions.
What would settle it
An explicit enumeration of torus-fixed stable sheaves on a concrete low-dimensional smooth toric DM stack that fails to match the set of characteristic functions predicted by the combinatorial description.
read the original abstract
Extending work of Klyachko, Perling and Kool we develop a combinatorial description of torsion free toric sheaves in any dimension on smooth toric DM stacks. We investigate their basic properties and under certain conditions recover some known results on smooth toric varieties. The action of the torus lifts to the moduli of torsion free modified Gieseker stable sheaves on the smooth DM stack, and we express its fixed point locus explicitly in terms of certain finer invariants called characteristic functions. These techniques will be exploited to compute topological invariants of the moduli of modified stable torsion free sheaves on smooth toric DM stacks.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript extends the combinatorial description of torsion-free toric sheaves, previously developed by Klyachko, Perling, and Kool for smooth toric varieties, to smooth toric Deligne-Mumford stacks in arbitrary dimension. It studies basic properties of these sheaves, recovers known results for varieties under suitable conditions, asserts that the torus action lifts to the moduli space of torsion-free modified Gieseker stable sheaves, and expresses the fixed-point locus explicitly via characteristic functions. The techniques are positioned to compute topological invariants of these moduli spaces.
Significance. If the combinatorial description is complete and the lifting of the torus action is rigorously justified, the work would provide a concrete combinatorial handle on fixed loci and invariants for moduli spaces on toric DM stacks, extending classical results to a setting that includes orbifold singularities. The introduction of characteristic functions as finer invariants could facilitate explicit calculations that are otherwise inaccessible.
major comments (1)
- [section on lifting of the torus action and fixed-locus description] The central claim that the torus action lifts to the moduli space of modified Gieseker stable sheaves (abstract and the section introducing the fixed-locus description) requires that modified Gieseker stability be invariant under pullback by torus elements. The manuscript does not supply an explicit verification that the Hilbert polynomial comparisons and subsheaf stability conditions remain unchanged when the multi-filtration data of the characteristic functions are transformed by the torus action on a higher-dimensional DM stack; this invariance is load-bearing for the subsequent explicit description of the fixed locus.
minor comments (2)
- [abstract and introduction] The abstract states that known results on smooth toric varieties are recovered 'under certain conditions' but does not list the precise conditions or recovered statements; this should be made explicit in the introduction or a dedicated subsection.
- Notation for the characteristic functions and the modified Gieseker stability condition should be introduced with a clear comparison table to the classical Klyachko/Perling data to aid readability.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for highlighting the importance of rigorously justifying the lifting of the torus action. We address the major comment below and will incorporate the suggested clarification in the revised version.
read point-by-point responses
-
Referee: [section on lifting of the torus action and fixed-locus description] The central claim that the torus action lifts to the moduli space of modified Gieseker stable sheaves (abstract and the section introducing the fixed-locus description) requires that modified Gieseker stability be invariant under pullback by torus elements. The manuscript does not supply an explicit verification that the Hilbert polynomial comparisons and subsheaf stability conditions remain unchanged when the multi-filtration data of the characteristic functions are transformed by the torus action on a higher-dimensional DM stack; this invariance is load-bearing for the subsequent explicit description of the fixed locus.
Authors: We agree that an explicit verification of the invariance of modified Gieseker stability under torus pullbacks is necessary to support the lifting claim and the subsequent fixed-locus description, especially in the higher-dimensional DM stack setting where the multi-filtration data of the characteristic functions becomes more intricate. While the combinatorial description in the manuscript (extending Klyachko-Perling-Kool) provides the framework for how torus elements act on the filtrations, we acknowledge that a direct check of the stability conditions was not spelled out. In the revised manuscript we will add a dedicated paragraph or short subsection immediately preceding the fixed-locus theorem. This addition will: (i) recall the precise definition of modified Gieseker stability via Hilbert polynomials and subsheaf inequalities; (ii) describe the explicit transformation rule for the multi-filtration data (characteristic functions) induced by a torus element; and (iii) verify that the transformed data preserve both the Hilbert polynomial comparisons and the stability inequalities for subsheaves. The argument will rely only on the already-established properties of the combinatorial description and will not require new results. We believe this clarification will make the lifting statement fully rigorous while leaving the main theorems unchanged. revision: yes
Circularity Check
No significant circularity; derivation extends external literature independently
full rationale
The paper extends combinatorial descriptions from Klyachko, Perling, and Kool to smooth toric DM stacks, introducing characteristic functions as new invariants to describe the fixed locus of the torus action on moduli of modified Gieseker stable sheaves. No steps reduce by construction to self-definitions, fitted inputs renamed as predictions, or load-bearing self-citations; the lifting of the action and explicit expression via invariants follow from the developed combinatorial setup under the stated stability conditions, remaining self-contained against external benchmarks without tautological reductions.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Smooth toric DM stacks admit a combinatorial description of their torsion-free toric sheaves
- domain assumption The torus action lifts to the moduli space of modified Gieseker stable sheaves
Reference graph
Works this paper leans on
-
[1]
L. Borisov, L. Chen, and G. Smith, The orbifold Chow ring of toric Deligne-Mumford stacks, Journal of the American Mathematical Society, vol. 18(1):193–215, 2005
work page 2005
- [2]
-
[3]
Dolgachev, Lectures on invariant theory, vol
I. Dolgachev, Lectures on invariant theory, vol. 296, Cambridge University Press, 2003. 32 PROMIT KUNDU
work page 2003
-
[4]
D. Edidin, Riemann-Roch for Deligne-Mumford Stacks, Proceedings of the Harris 60 conference, arXiv:1205.4742
- [5]
-
[6]
B. Fantechi, E. Mann, and F. Nironi, Smooth toric DeligneMumford stacks, Journal f¨ur die reine und angewandte Mathematik (Crelle’s Journal), vol. 2010(648):201–244, 2010
work page 2010
-
[7]
A. Gholampour, Y. Jiang, and M. Kool, Toric sheaves on weighted projective planes, Advances in Theoretical and Mathematical Physics, vol. 21(6):1455-1524, 2017
work page 2017
-
[8]
L. G¨ ottsche, The Betti numbers of the Hilbert scheme of points on a smooth projective surface, Mathematische Annalen, vol. 286(1):193–207, 1990
work page 1990
-
[9]
L. G¨ ottsche, Theta functions and Hodge numbers of moduli spaces of sheaves on rational surfaces, Communications in Mathematical Physics, vol. 206(1):105–136, 1999
work page 1999
-
[10]
D. Huybrechts and M. Lehn, The geometry of moduli spaces of sheaves, Cambridge University Press, 2010
work page 2010
-
[11]
Y. Jiang, The orbifold cohomology ring of simplicial toric stack bundles, Illinois Journal of Mathematics, vol. 52(2):493–514, 2008
work page 2008
- [12]
-
[13]
A. A. Klyachko, Equivariant bundles on toral varieties, Mathematics of the USSR-Izvestiya, vol. 35(2):337–375, 1990
work page 1990
-
[14]
Kool, Moduli spaces of sheaves on toric varieties, Ph.D
M. Kool, Moduli spaces of sheaves on toric varieties, Ph.D. thesis, Oxford University, 2010
work page 2010
-
[15]
Kool, Fixed point loci of moduli spaces of sheaves on toric varieties, Advances in Mathematics, vol
M. Kool, Fixed point loci of moduli spaces of sheaves on toric varieties, Advances in Mathematics, vol. 227(4):1700–1755, 2011
work page 2011
-
[16]
M. Kool, Euler characteristics of moduli spaces of torsion free sheaves on toric surfaces, Geometriae Dedicata, vol. 176(1):241– 269, 2015
work page 2015
-
[17]
F. Nironi, Moduli spaces of semistable sheaves on projective DeligneMumford stacks, arXiv:0811.1949, 2008
-
[18]
M. Olsson and J. Starr, Quot functors for Deligne-Mumford stacks, Communications in Algebra, vol. 31(8):4069–4096, 2003
work page 2003
-
[19]
Perling, Graded rings and equivariant sheaves on toric varieties, Mathematische Nachrichten, vol
M. Perling, Graded rings and equivariant sheaves on toric varieties, Mathematische Nachrichten, vol. 263(1):181–197, 2004
work page 2004
-
[20]
Toen, Th´eor‘emes de Riemann–Roch pour les champs de Deligne–Mumford, K-Theory, vol
B. Toen, Th´eor‘emes de Riemann–Roch pour les champs de Deligne–Mumford, K-Theory, vol. 18(1):33–76, 1999
work page 1999
-
[21]
Tseng, Orbifold quantum Riemann–Roch, Lefschetz and Serre, Geometry & Topology, vol
H.-H. Tseng, Orbifold quantum Riemann–Roch, Lefschetz and Serre, Geometry & Topology, vol. 14(1):1–81, 2010
work page 2010
-
[22]
Wang, Toric Sheaves on Hirzebruch Orbifolds
W. Wang, Toric Sheaves on Hirzebruch Orbifolds. Doc. Math. 25 (2020), pp. 655–699 DOI 10.4171/DM/758. Institute of Mathematics, Shanghai Tech University, 393 Middle Huaxia Road, Pudong, Shanghai, 201210, China Email address:kundupromit63@gmail.com
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.