pith. sign in

arxiv: 2210.00033 · v1 · submitted 2022-09-30 · 🧮 math.AG · math.RT

Projectivity and effective global generation of determinantal line bundles on quiver moduli

Pieter Belmans , Chiara Damiolini , Hans Franzen , Victoria Hoskins , Svetlana Makarova , Tuomas Tajakka This is my paper

Pith reviewed 2026-05-24 10:35 UTC · model grok-4.3

classification 🧮 math.AG math.RT
keywords quiver representationsmoduli spacesdeterminantal line bundlessemistable representationsadequate moduli spacesprojectivityglobal generation
0
0 comments X

The pith

For acyclic quivers the natural determinantal line bundle is ample on the moduli space of semistable representations, proving the space is projective.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes existence of adequate moduli spaces for semistable quiver representations using stack criteria that guarantee an adequate moduli space exists and is proper over the moduli space of semisimple representations. It constructs a natural determinantal line bundle on the stack that descends to a semiample line bundle on the moduli space and supplies explicit bounds on the degree needed for global generation. For acyclic quivers the same bundle is shown to be ample, which implies the moduli space is a projective variety. This treatment works directly with the moduli stack and avoids classical geometric invariant theory.

Core claim

The authors prove that the stack of semistable representations of an acyclic quiver admits an adequate moduli space that is proper over the moduli space of semisimple representations. They construct a natural determinantal line bundle on the stack which descends to a line bundle on the moduli space; this descended bundle is semiample in general and, when the quiver is acyclic, ample. Ampleness immediately yields projectivity of the moduli space.

What carries the argument

The natural determinantal line bundle associated to the universal representation on the stack of semistable representations, which descends to the adequate moduli space.

Load-bearing premise

The stack of semistable quiver representations satisfies the existence criteria of Alper-Halpern-Leistner-Heinloth for an adequate moduli space to exist.

What would settle it

An explicit acyclic quiver together with a stability condition for which the descended determinantal line bundle is not ample on the corresponding moduli space of semistable representations.

read the original abstract

We give a moduli-theoretic treatment of the existence and properties of moduli spaces of semistable quiver representations, avoiding methods from geometric invariant theory. Using the existence criteria of Alper--Halpern-Leistner--Heinloth, we show that for many stability functions, the stack of semistable representations admits an adequate moduli space, and prove that this moduli space is proper over the moduli space of semisimple representations. We construct a natural determinantal line bundle that descends to a semiample line bundle on the moduli space and provide new effective bounds for global generation. For an acyclic quiver, we show that this line bundle is ample, thus giving a modern proof of the fact that the moduli space is projective.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript gives a moduli-theoretic treatment of semistable quiver representations that avoids GIT. Using the Alper–Halpern-Leistner–Heinloth existence criteria, it shows that for many stability functions the stack of semistable representations admits an adequate moduli space that is proper over the moduli space of semisimple representations. A natural determinantal line bundle is constructed that descends to a semiample line bundle on this moduli space, with new effective bounds on global generation; when the quiver is acyclic the bundle is shown to be ample, yielding a modern proof of projectivity.

Significance. If the AHLH verifications hold, the paper supplies a GIT-free route to projectivity of quiver moduli spaces together with effective global-generation results for the determinantal bundle. These are concrete strengths that could be used in further work on representation moduli and stability conditions.

major comments (2)
  1. [§3] §3 (application of AHLH criteria): the claim that the stack of semistable representations satisfies Θ-reductivity and admits a good moduli space for the chosen stability functions is load-bearing for both existence and properness; the manuscript must supply explicit, quiver-specific checks rather than citing the general theorem, because the semistable locus depends on the stability parameter and the representation category.
  2. [§5] §5 (descent and ampleness of the determinantal bundle): the proof that the bundle descends to a semiample line bundle on the adequate moduli space and becomes ample for acyclic quivers relies on the prior existence of the adequate moduli space; any gap in the AHLH verification in §3 therefore propagates directly to the projectivity statement.
minor comments (2)
  1. Notation for the stability function and the determinantal bundle should be introduced once with a single consistent symbol set; repeated redefinitions in later sections reduce readability.
  2. The effective bounds on global generation are stated in terms of the dimension vector and the stability parameter; a short table or example computing the bound for a small acyclic quiver (e.g., A_3) would make the result more concrete.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major comments point by point below, indicating the revisions we will make.

read point-by-point responses

  1. Referee: [§3] §3 (application of AHLH criteria): the claim that the stack of semistable representations satisfies Θ-reductivity and admits a good moduli space for the chosen stability functions is load-bearing for both existence and properness; the manuscript must supply explicit, quiver-specific checks rather than citing the general theorem, because the semistable locus depends on the stability parameter and the representation category.

    Authors: We agree that the dependence of the semistable locus on the stability parameter requires explicit verification rather than a purely general citation. The manuscript applies the AHLH criteria to the specific stability functions on the quiver representation category, verifying Θ-reductivity and the existence of the adequate moduli space using the structure of semistable representations. To address the concern directly, we will revise §3 to include expanded, quiver-specific checks and explicit computations showing how the criteria hold for the chosen parameters, making the argument self-contained. revision: yes

  2. Referee: [§5] §5 (descent and ampleness of the determinantal bundle): the proof that the bundle descends to a semiample line bundle on the adequate moduli space and becomes ample for acyclic quivers relies on the prior existence of the adequate moduli space; any gap in the AHLH verification in §3 therefore propagates directly to the projectivity statement.

    Authors: We concur that the descent, semi-ampleness, and ampleness results in §5 are logically dependent on the existence of the adequate moduli space from §3. With the planned explicit expansions in §3, this dependence will be secured. We will also add a clarifying remark in §5 on the logical dependence and update the projectivity statement for acyclic quivers accordingly. revision: partial

Circularity Check

0 steps flagged

No circularity; external criteria and explicit construction keep derivation self-contained

full rationale

The paper applies the Alper--Halpern-Leistner--Heinloth existence criteria (external to the authors) to obtain an adequate moduli space for the semistable quiver stack, then constructs the determinantal line bundle directly from the representation functor and proves its ampleness for acyclic quivers via that construction. No equation or claim reduces by definition to its own inputs, no fitted parameter is relabeled as a prediction, and no load-bearing step rests on a self-citation chain. The derivation therefore stands on independent external support plus explicit quiver-theoretic arguments.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper depends on external existence criteria and standard facts about algebraic stacks and line bundles on moduli spaces; no free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption Existence criteria of Alper--Halpern-Leistner--Heinloth for adequate moduli spaces of semistable objects
    Invoked to conclude that the stack of semistable representations admits an adequate moduli space and is proper over the semisimple moduli space.

pith-pipeline@v0.9.0 · 5665 in / 1279 out tokens · 22001 ms · 2026-05-24T10:35:34.515787+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

45 extracted references · 45 canonical work pages

  1. [1]

    Adriaenssens and L

    J. Adriaenssens and L. Le Bruyn. Local quivers and stable representations. Comm. Algebra , 31(4):1777–1797, 2003

    work page 2003

  2. [2]

    J. Alper. Good moduli spaces for Artin stacks. Ann. Inst. Fourier (Grenoble), 63(6):2349–2402, 2013

    work page 2013

  3. [3]

    J. Alper. Adequate moduli spaces and geometrically redu ctive group schemes. Algebr. Geom., 1(4):489–531, 2014

    work page 2014

  4. [4]

    Alper, P

    J. Alper, P. Belmans, D. Bragg, J. Liang, and T. Tajakka. P rojectivity of the moduli space of vector bundles on a curve. In P. Belmans, A. J. de Jong, and W . Ho, editors, Stacks Project Expository Collection, number 480 in London Mathematical Society Lecture Note Ser ies. Cambridge University Press, 2022

    work page 2022

  5. [5]

    Alper, J

    J. Alper, J. Hall, and D. Rydh. A Luna étale slice theorem f or algebraic stacks. Ann. Math. , 191(3):675–738, 2020

    work page 2020

  6. [6]

    Alper, D

    J. Alper, D. Halpern-Leistner, and J. Heinloth. Existen ce of moduli spaces for algebraic stacks,

    work page

  7. [7]

    Blume and L

    M. Blume and L. Hille. Quivers and moduli spaces of pointe d curves of genus zero. Algebr. Comb., 4(1):89–124, 2021

    work page 2021

  8. [8]

    M. Brion. Representations of quivers. In Geometric methods in representation theory. I , vol- ume 24 of Sémin. Congr. , pages 103–144. Soc. Math. France, Paris, 2012

    work page 2012

  9. [9]

    Cheng, C

    R. Cheng, C. Lian, and T. Murayama. Projectivity of the mo duli of curves. In P. Belmans, W. Ho, and A. J. de Jong, editors, Stacks Project Expository Collection , number 480 in London Mathematical Society Lecture Note Series. Cambridge Unive rsity Press, 2022

    work page 2022

  10. [10]

    Crawley-Boevey

    W. Crawley-Boevey. On homomorphisms from a fixed repres entation to a general representa- tion of a quiver. Trans. Amer. Math. Soc. , 348(5):1909–1919, 1996

    work page 1909

  11. [11]

    Derksen and J

    H. Derksen and J. Weyman. Semi-invariants of quivers an d saturation for Littlewood- Richardson coefficients. J. Amer. Math. Soc. , 13(3):467–479, 2000

    work page 2000

  12. [12]

    Derksen and J

    H. Derksen and J. Weyman. An introduction to quiver representations , volume 184 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2017

    work page 2017

  13. [13]

    M. Domokos. On singularities of quiver moduli. Glasg. Math. J. , 53(1):131–139, 2011

    work page 2011

  14. [14]

    Domokos and A

    M. Domokos and A. N. Zubkov. Semi-invariants of quivers as determinants. Transform. Groups, 6(1):9–24, 2001

    work page 2001

  15. [15]

    S. Donkin. Polynomial invariants of representations o f quivers. Comment. Math. Helv. , 69(1):137–141, 1994

    work page 1994

  16. [16]

    E. Esteves. Separation properties of theta functions. Duke Math. J. , 98(3):565–593, 1999

    work page 1999

  17. [17]

    Esteves and M

    E. Esteves and M. Popa. Effective very ampleness for gene ralized theta divisors. Duke Math. J., 123(3):429–444, 2004

    work page 2004

  18. [18]

    Faltings

    G. Faltings. Stable G-bundles and projective connections. J. Algebraic Geom. , 2(3):507–568, 1993

    work page 1993

  19. [19]

    P. Gabriel. Unzerlegbare Darstellungen. I. Manuscripta Math. , 6:71–103; correction, ibid. 6 (1972), 309, 1972

    work page 1972

  20. [20]

    Halpern-Leistner

    D. Halpern-Leistner. The Moduli Space. https://book.themoduli.space

    work page

  21. [21]

    Halpern-Leistner

    D. Halpern-Leistner. On the structure of instability i n moduli theory, 2022. arXiv:1411.0627v5

    work page arXiv 2022

  22. [22]

    Hille and J

    L. Hille and J. A. de la Peña. Stable representations of q uivers. J. Pure Appl. Algebra , 172(2- 3):205–224, 2002

    work page 2002

  23. [23]

    Hochster

    M. Hochster. Prime ideal structure in commutative ring s. Trans. Amer. Math. Soc. , 142:43–60, 1969

    work page 1969

  24. [24]

    V. Hoskins. Stratifications associated to reductive gr oup actions on affine spaces. Q. J. Math. , 65(3):1011–1047, 2014. 47

    work page 2014

  25. [25]

    V. Hoskins. Parallels between moduli of quiver represe ntations and vector bundles over curves. SIGMA Symmetry Integrability Geom. Methods Appl. , 14:Paper No. 127, 46, 2018

    work page 2018

  26. [26]

    Hoskins and F

    V. Hoskins and F. Schaffhauser. Rational points of quive r moduli spaces. Ann. Inst. Fourier (Grenoble), 70(3):1259–1305, 2020

    work page 2020

  27. [27]

    Huybrechts and M

    D. Huybrechts and M. Lehn. The geometry of moduli spaces of sheaves . Cambridge Mathe- matical Library. Cambridge University Press, Cambridge, s econd edition, 2010

    work page 2010

  28. [28]

    V. G. Kac. Infinite root systems, representations of gra phs and invariant theory. Invent. Math. , 56(1):57–92, 1980

    work page 1980

  29. [29]

    A. D. King. Moduli of representations of finite-dimensi onal algebras. Quart. J. Math. Oxford Ser. (2) , 45(180):515–530, 1994

    work page 1994

  30. [30]

    J. Kollár. Projectivity of complete moduli. J. Differential Geom. , 32(1):235–268, 1990

    work page 1990

  31. [31]

    J. Kollár. Effective base point freeness. Math. Ann. , 296(4):595–605, 1993

    work page 1993

  32. [32]

    S. G. Langton. Valuative criteria for families of vecto r bundles on algebraic varieties. Ann. of Math. (2) , 101:88–110, 1975

    work page 1975

  33. [33]

    Le Bruyn and C

    L. Le Bruyn and C. Procesi. Semisimple representations of quivers. Trans. Amer. Math. Soc. , 317(2):585–598, 1990

    work page 1990

  34. [34]

    Makarova

    S. Makarova. Moduli spaces of stable sheaves over quasi -polarized surfaces, and the relative Strange Duality morphism. Épijournal Géom. Algébrique , 5:Art. 19, 15, 2021

    work page 2021

  35. [35]

    M. S. Narasimhan and S. Ramanan. Moduli of vector bundle s on a compact Riemann surface. Ann. of Math. (2) , 89:14–51, 1969

    work page 1969

  36. [36]

    M. Popa. Generalized theta linear series on moduli spac es of vector bundles on curves. In Handbook of moduli. Vol. III , volume 26 of Adv. Lect. Math. (ALM) , pages 219–255. Int. Press, Somerville, MA, 2013

    work page 2013

  37. [37]

    M. Reineke. The Harder-Narasimhan system in quantum gr oups and cohomology of quiver moduli. Invent. Math. , 152(2):349–368, 2003

    work page 2003

  38. [38]

    M. Reineke. Counting rational points of quiver moduli. Int. Math. Res. Not. , pages Art. ID 70456, 19, 2006

    work page 2006

  39. [39]

    M. Reineke. Moduli of representations of quivers. In Trends in representation theory of algebras and related topics , EMS Ser. Congr. Rep., pages 589–637. Eur. Math. Soc., Züric h, 2008

    work page 2008

  40. [40]

    Schofield

    A. Schofield. Semi-invariants of quivers. J. London Math. Soc. (2) , 43(3):385–395, 1991

    work page 1991

  41. [41]

    Schofield

    A. Schofield. General representations of quivers. Proc. London Math. Soc. (3) , 65(1):46–64, 1992

    work page 1992

  42. [42]

    Schofield and M

    A. Schofield and M. Van den Bergh. Semi-invariants of qui vers for arbitrary dimension vectors. Indag. Math. (N.S.) , 12(1):125–138, 2001

    work page 2001

  43. [43]

    J.-P. Serre. Espaces fibrés algébriques. Séminaire Claude Chevalley , 3, 1958. talk:1

    work page 1958

  44. [44]

    The Stacks project

    The Stacks project authors. The Stacks project. https://stacks.math.columbia.edu, 2022

    work page 2022

  45. [45]

    R. Vakil. The rising sea: Foundations of algebraic geom etry. http://math.stanford.edu/~vakil/216blog/FOAGaug2922publici.pdf, 2022. pieter.belmans@uni.lu University of Luxembourg, Department of Mathematics, 6, A venue de la Fonte, L-4364 Esch- sur-Alzette, Luxembourg chiarad@sas.upenn.edu University of Pennsylvania, Department of Mathematics, Da vid Ritte...

    work page 2022