Moduli stacks of quiver connections and non-Abelian Hodge theory

Mahmud Azam; Steven Rayan

arxiv: 2512.12188 · v2 · submitted 2025-12-13 · 🧮 math.AG · math.CT· math.DG· math.RA· math.RT

Moduli stacks of quiver connections and non-Abelian Hodge theory

Mahmud Azam , Steven Rayan This is my paper

Pith reviewed 2026-05-16 23:10 UTC · model grok-4.3

classification 🧮 math.AG math.CTmath.DGmath.RAmath.RT MSC 14D2014A20

keywords moduli stacksquiver connectionsnon-Abelian Hodge theoryλ-connectionsalgebraic stacksHiggs bundlesde Rham filtration

0 comments

The pith

Moduli stacks of diagrams of bundles with λ-connections are algebraic and locally of finite presentation when the base is smooth projective over an algebraically closed field of characteristic zero.

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

The paper constructs moduli stacks that parametrize I-indexed diagrams of bundles equipped with λ-connections on a base prestack X, where λ may be fixed or variable. For λ equal to 1 this recovers diagrams of bundles with ordinary connections; for λ a parameter it yields a version of Simpson's non-Abelian Hodge filtration. When X is a smooth projective scheme over an algebraically closed field of characteristic zero, the resulting stacks are shown to be algebraic, locally of finite presentation, and to possess affine diagonal. A reader cares because these stacks supply the de Rham side of a possible extension of the non-Abelian Hodge correspondence from single Higgs bundles to diagrams indexed by finite simplicial sets.

Core claim

We construct moduli stacks parametrizing I-indexed diagrams of bundles with λ-connections over a base prestack X. Taking λ=1 produces the moduli stack of diagrams of bundles with connection; taking λ as a parameter produces a version of Simpson's non-Abelian Hodge filtration for such diagrams. When X is a smooth and projective scheme over an algebraically closed field k of characteristic 0, these moduli stacks are algebraic and locally of finite presentation, and have affine diagonal.

What carries the argument

The moduli stack of I-indexed diagrams of bundles with λ-connections on the base X, which encodes the algebraic geometry of these objects and carries the algebraicity and diagonal properties under the stated hypotheses on X.

If this is right

For λ fixed at 1 the stack directly parametrizes diagrams of bundles with connections.
For λ a parameter the stack realizes a filtered version of the non-Abelian Hodge correspondence for such diagrams.
The algebraicity and local finite presentation allow the moduli problems to be studied with the tools of algebraic geometry.
The affine diagonal property ensures that the stacks behave well with respect to separation and representability questions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

If a matching Higgs-side construction exists, the two sides could be compared to produce an extended non-Abelian Hodge correspondence for diagrams.
The same formalism might adapt to bases that are not smooth or projective once suitable modifications to the definition of λ-connection are introduced.
The stacks could serve as a geometric setting for studying representations of quivers with relations in the presence of connections.

Load-bearing premise

The base X must be a smooth and projective scheme over an algebraically closed field of characteristic zero.

What would settle it

An explicit computation or example on a base X that is either singular or defined over a field of positive characteristic where the corresponding moduli stack of diagrams of connections fails to be algebraic or locally of finite presentation.

read the original abstract

In arXiv:2407.11958, a moduli stack parametrizing $I$--indexed diagrams of Higgs bundles over a base stack $X$ was constructed for any finite simplicial set $I$, inspiring speculations about extending the non-Abelian Hodge correspondence to these moduli stacks. In the present work, we formalize the de Rham side of this conjectural extension. We construct moduli stacks parametrizing diagrams of bundles with $\lambda$--connections over a base prestack $X$, where $\lambda$ can be a fixed number or a parameter. Taking $\lambda$ to be $1$ gives a moduli stack parametrizing diagrams of bundles with connection, while taking it to be a parameter gives a version of Simpson's non-Abelian Hodge filtration for digrams of bundles with connection. We show that when $X$ is a smooth and projective scheme over an algebraically closed field $k$ of characteristic $0$, these moduli stacks are algebraic and locally of finite presentation, and have affine diagonal.

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.

Desk Editor's Note private letter to a colleague

This paper sets up the de Rham moduli stacks for I-diagrams of λ-connections (fixed or parametric) and verifies algebraicity plus affine diagonal under the usual smooth projective char-0 hypotheses.

read the letter

The main contribution is the construction of moduli stacks for diagrams of bundles with λ-connections on a base prestack X, with a version where λ is a parameter. When X is smooth and projective over an algebraically closed field of characteristic zero, these stacks are shown to be algebraic, locally of finite presentation, and to have affine diagonal. This supplies the missing de Rham side for the quiver non-Abelian Hodge picture that their earlier Higgs-bundle paper had set up on the Dolbeault side. The parametric case is a useful extra that gives a filtration-style object for the diagrams. The argument runs through the expected deformation theory and Artin criterion once the obstruction theory is in place, and the hypotheses line up exactly with the conditions that make the cotangent complex perfect. No hidden assumptions appear in the setup. The work is a direct, parallel extension of the cited prior construction rather than a reinvention, so the citation pattern is appropriate and there is no circularity. The only real limitation is that the abstract states the results without the detailed proofs, but the stress-test confirms the steps are standard and do not require extra machinery. This is for people already working with moduli stacks of Higgs bundles or connections in diagram or quiver settings. A reader who knows the earlier paper will see immediately how the de Rham counterpart fits and what new objects it organizes. It is a clean, incremental advance that deserves referee time because the claims are grounded and the extension is natural, even if the proofs turn out to be mostly routine once the setup is fixed. I would send it to peer review.

Referee Report

2 major / 2 minor

Summary. The paper constructs moduli stacks parametrizing I-indexed diagrams of bundles with λ-connections (for fixed λ or with λ as a parameter) over a base prestack X. Taking λ=1 recovers diagrams of bundles with connections; the parameterized version yields a non-Abelian Hodge filtration analogue. The central theorem states that when X is a smooth projective scheme over an algebraically closed field k of characteristic zero, these stacks are algebraic, locally of finite presentation, and have affine diagonal. The construction extends the Higgs-bundle moduli stacks of the cited prior work (arXiv:2407.11958) via analogous deformation theory and an Artin-criterion argument.

Significance. If the algebraicity statements hold, the work supplies the de Rham counterpart to the existing Higgs moduli stacks for diagrams, opening a route to a stacky non-Abelian Hodge correspondence in this setting. The hypotheses on X are precisely those that guarantee a perfect cotangent complex and coherent obstruction theory, so the results follow from standard techniques without hidden assumptions. The parameterized-λ version is a concrete contribution that may facilitate future comparisons with Simpson's filtration.

major comments (2)

[§3.2, Proposition 3.4] §3.2, Proposition 3.4: the verification that the obstruction theory for λ-connections on I-diagrams is coherent relies on the base X being smooth and projective; the argument that the relative cotangent complex remains perfect when λ varies as a parameter is only indicated and should be written out explicitly to confirm it does not introduce higher obstructions.
[Theorem 4.1] Theorem 4.1: the proof that the diagonal is affine proceeds by reducing to the case of a single bundle with connection and then using the simplicial-set indexing; the step that lifts this to arbitrary finite I needs a reference to the corresponding statement in the Higgs case or an independent check that the fiber product remains affine.

minor comments (2)

[Introduction] The introduction should state the precise simplicial set I used in the main theorems rather than leaving it as an arbitrary finite simplicial set.
[§2] Notation for the λ-parameter space (e.g., whether it is Spec k[λ] or a formal disk) is introduced late; an early definition would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We are grateful to the referee for the positive assessment and the detailed comments, which have helped us improve the clarity of the manuscript. We address each major comment below.

read point-by-point responses

Referee: [§3.2, Proposition 3.4] §3.2, Proposition 3.4: the verification that the obstruction theory for λ-connections on I-diagrams is coherent relies on the base X being smooth and projective; the argument that the relative cotangent complex remains perfect when λ varies as a parameter is only indicated and should be written out explicitly to confirm it does not introduce higher obstructions.

Authors: We thank the referee for pointing this out. The perfection of the relative cotangent complex when λ is a parameter follows from the fact that the deformation theory is controlled by the same complex as in the fixed λ case, tensored with the structure sheaf of the parameter space A^1. Since X is smooth projective, the cotangent complex of the moduli stack remains perfect. In the revised manuscript, we will expand the argument in §3.2 to include an explicit computation of the obstruction sheaf and verify that no higher cohomology is introduced by the parameter. This confirms the coherence of the obstruction theory. revision: yes
Referee: [Theorem 4.1] Theorem 4.1: the proof that the diagonal is affine proceeds by reducing to the case of a single bundle with connection and then using the simplicial-set indexing; the step that lifts this to arbitrary finite I needs a reference to the corresponding statement in the Higgs case or an independent check that the fiber product remains affine.

Authors: We agree that this step benefits from an explicit reference. The argument for the affine diagonal in the case of diagrams follows directly from the corresponding result for Higgs bundles in arXiv:2407.11958, Proposition 4.3, because the deformation-obstruction theory for λ-connections is formally identical to that for Higgs bundles (replacing the Higgs field with the connection form). The fiber product over the base stack remains affine by the same simplicial-set argument. In the revision, we will add this reference and a brief note on the analogy. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper extends the moduli stack construction for I-indexed diagrams of Higgs bundles from the cited prior work arXiv:2407.11958 to the de Rham side by defining moduli stacks for diagrams of bundles with λ-connections (fixed or parametric) and proving algebraicity, local finite presentation, and affine diagonal when X is smooth projective over an algebraically closed field of char 0. This follows from standard deformation theory and Artin criterion applied under the given hypotheses that ensure a perfect cotangent complex and coherent obstruction theory. No step reduces a claimed result to a quantity defined in terms of itself, a fitted parameter renamed as prediction, or a self-citation chain that is unverified; the self-citation provides context but the new arguments are independent and self-contained against external algebraic geometry benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on standard axioms of algebraic geometry (properties of schemes, stacks, and characteristic-zero fields) together with the construction from the cited prior paper; no free parameters or invented entities are introduced in the abstract.

axioms (1)

standard math Standard properties of algebraic stacks, schemes, and morphisms over algebraically closed fields of characteristic zero
Invoked to conclude algebraicity, local finite presentation, and affine diagonal.

pith-pipeline@v0.9.0 · 5486 in / 1176 out tokens · 28500 ms · 2026-05-16T23:10:59.734550+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We show that when X is a smooth and projective scheme over an algebraically closed field k of characteristic 0, these moduli stacks are algebraic and locally of finite presentation, and have affine diagonal.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

a version of Simpson’s non-Abelian Hodge filtration for diagrams of bundles with connection

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages · 6 internal anchors

[1]

Moduli stacks of quiver bundles with applications to H iggs bundles, ar X iv:2407.11958, 2024

arXiv: 2407.11958 [math.AG]. url: https://arxiv.org/abs/2407.11958. [Ber74] Pierre Berthelot. Cohomologie cristalline des sch´ emas de caract´ eristiquep >

work page arXiv
[2]

On the geometry and dynamics of diffeomorphisms of surfaces

[Bir93] Joan S. Birman. “New points of view in knot theory”. In: Bull. Amer. Math. Soc. (N.S.) 28 (1993), pp. 253–287. doi: 10.1090/S0273- 0979- 1993- 00389- 6 . url: https://www.ams. org/journals/bull/1993-28-02/S0273-0979-1993-00389-6/ . [CLO12] Brian Conrad, Max Lieblich, and Martin Olsson. “Nagata compactification for algebraic spaces”. In: Journal of...

work page doi:10.1090/s0273- 1993
[3]

Non-archimedean analytification of algebraic spaces

arXiv: 0706.3441 [math.AG]. url: https://arxiv.org/abs/0706.3441. [Eme] Matthew Emerton. Formal Algebraic Stacks. Notes. url: https://www.math.uchicago.edu/ ~emerton/pdffiles/formal-stacks.pdf. [Fre05] Edward Frenkel. Lectures on the Langlands Program and Conformal Field Theory

work page internal anchor Pith review Pith/arXiv arXiv
[4]

Lectures on the Langlands Program and Conformal Field Theory

arXiv: hep-th/0512172 [hep-th] . url: https://arxiv.org/abs/hep-th/0512172. [GMN13] Davide Gaiotto, Gregory W. Moore, and Andrew Neitzke. “Wall-crossing, Hitchin systems, and the WKB approximation”. In: Advances in Mathematics 234 (2013), pp. 239–403. issn: 0001-8708. doi: https : / / doi . org / 10 . 1016 / j . aim . 2012 . 09

work page internal anchor Pith review Pith/arXiv arXiv 2013
[5]

The prediction of anyons: Its history and wider implications

url: https : / / www . sciencedirect.com/science/article/pii/S0001870812003593. [Gol23] Gerald A. Goldin. “The prediction of anyons: Its history and wider implications”. In: SciPost Phys. Proc. 14 (2023), p

work page 2023
[6]

A relative GAGA principle for families of curves

doi: 10.21468/SciPostPhysProc.14.005. arXiv: 2212.12632 [physics.hist-ph]. [Hal14] Jack Hall. “A relative GAGA principle for families of curves”. In: Journal of the London Mathematical Society 90.1 (May 2014), pp. 29–48. issn: 0024-6107. doi: 10 . 1112 / jlms / jdu012. url: http://dx.doi.org/10.1112/jlms/jdu012. [Hit87] Nigel J. Hitchin. “The Selfduality ...

work page doi:10.21468/scipostphysproc.14.005 2014
[7]

Braiding operators are universal quantum gates

isbn: 978-1-4704-2307-0. [KL04] Louis H Kauffman and Samuel J Lomonaco. “Braiding operators are universal quantum gates”. In: New Journal of Physics 6.1 (2004), p

work page 2004
[8]

[KL09] Alexei Kitaev and Chris Laumann

url: https://dx.doi.org/10.1088/1367-2630/6/1/134. [KL09] Alexei Kitaev and Chris Laumann. Topological phases and quantum computation . Apr

work page doi:10.1088/1367-2630/6/1/134
[9]

Topological phases and quantum computation

arXiv: 0904.2771 [cond-mat.mes-hall]. [LM00] G´ erard Laumon and Laurent Moret-Bailly. Champs alg´ ebriques. Springer-Verlag Berlin Hei- delberg,

work page internal anchor Pith review Pith/arXiv arXiv
[10]

Hyperbolic band theory

[MR21] Joseph Maciejko and Steven Rayan. “Hyperbolic band theory”. In: Science Advances 7.36 (2021), eabe9170. doi: 10.1126/sciadv.abe9170 . eprint: https://www.science.org/doi/ pdf / 10 . 1126 / sciadv . abe9170. url: https : / / www . science . org / doi / abs / 10 . 1126 / sciadv.abe9170. [MR22] Joseph Maciejko and Steven Rayan. “Automorphic Bloch theo...

work page doi:10.1126/sciadv.abe9170 2021
[11]

On the Hyperbolic Bloch Transform

[RN23] Steven Rayan and ´Akos Nagy. “On the Hyperbolic Bloch Transform”. In: Annales Henri Poincar´ e25 (2023), pp. 1713–1732. [Sim08] Carlos T. Simpson. Geometricity of the Hodge filtration on the ∞-stack of perfect complexes over XDR

work page 2023
[12]

Geometricity of the Hodge filtration on the $\infty$-stack of perfect complexes over $X_{DR}$

arXiv: math/0510269 [math.AG] . url: https://arxiv.org/abs/math/ 0510269. [Sim92] Carlos T. Simpson. “Higgs bundles and local systems”. en. In: Publications Math´ ematiques de l’IH ´ES 75 (1992), pp. 5–95. url: https://www.numdam.org/item/PMIHES_1992__75__5_0/. [Sim94a] Carlos T. Simpson. “Moduli of representations of the fundamental group of a smooth pro...

work page internal anchor Pith review Pith/arXiv arXiv 1992
[13]

The Hodge filtration on nonabelian cohomology

arXiv: alg - geom / 9604005 [alg-geom]. url: https://arxiv.org/abs/alg-geom/9604005. [Sta25] The Stacks project authors. The Stacks project. https://stacks.math.columbia.edu

work page internal anchor Pith review Pith/arXiv arXiv
[14]

The moduli stack of $G$-bundles

arXiv: 1104 . 4828 [math.AG]. url: https://arxiv.org/abs/1104.4828. Email address : mahmud.azam@usask.ca Email address : rayan@math.usask.ca Centre for Quantum Topology and Its Applications (quanTA) and Department of Mathematics and Statistics, University of Saskatchewan, SK, Canada S7N 5E6

work page internal anchor Pith review Pith/arXiv arXiv

[1] [1]

Moduli stacks of quiver bundles with applications to H iggs bundles, ar X iv:2407.11958, 2024

arXiv: 2407.11958 [math.AG]. url: https://arxiv.org/abs/2407.11958. [Ber74] Pierre Berthelot. Cohomologie cristalline des sch´ emas de caract´ eristiquep >

work page arXiv

[2] [2]

On the geometry and dynamics of diffeomorphisms of surfaces

[Bir93] Joan S. Birman. “New points of view in knot theory”. In: Bull. Amer. Math. Soc. (N.S.) 28 (1993), pp. 253–287. doi: 10.1090/S0273- 0979- 1993- 00389- 6 . url: https://www.ams. org/journals/bull/1993-28-02/S0273-0979-1993-00389-6/ . [CLO12] Brian Conrad, Max Lieblich, and Martin Olsson. “Nagata compactification for algebraic spaces”. In: Journal of...

work page doi:10.1090/s0273- 1993

[3] [3]

Non-archimedean analytification of algebraic spaces

arXiv: 0706.3441 [math.AG]. url: https://arxiv.org/abs/0706.3441. [Eme] Matthew Emerton. Formal Algebraic Stacks. Notes. url: https://www.math.uchicago.edu/ ~emerton/pdffiles/formal-stacks.pdf. [Fre05] Edward Frenkel. Lectures on the Langlands Program and Conformal Field Theory

work page internal anchor Pith review Pith/arXiv arXiv

[4] [4]

Lectures on the Langlands Program and Conformal Field Theory

arXiv: hep-th/0512172 [hep-th] . url: https://arxiv.org/abs/hep-th/0512172. [GMN13] Davide Gaiotto, Gregory W. Moore, and Andrew Neitzke. “Wall-crossing, Hitchin systems, and the WKB approximation”. In: Advances in Mathematics 234 (2013), pp. 239–403. issn: 0001-8708. doi: https : / / doi . org / 10 . 1016 / j . aim . 2012 . 09

work page internal anchor Pith review Pith/arXiv arXiv 2013

[5] [5]

The prediction of anyons: Its history and wider implications

url: https : / / www . sciencedirect.com/science/article/pii/S0001870812003593. [Gol23] Gerald A. Goldin. “The prediction of anyons: Its history and wider implications”. In: SciPost Phys. Proc. 14 (2023), p

work page 2023

[6] [6]

A relative GAGA principle for families of curves

doi: 10.21468/SciPostPhysProc.14.005. arXiv: 2212.12632 [physics.hist-ph]. [Hal14] Jack Hall. “A relative GAGA principle for families of curves”. In: Journal of the London Mathematical Society 90.1 (May 2014), pp. 29–48. issn: 0024-6107. doi: 10 . 1112 / jlms / jdu012. url: http://dx.doi.org/10.1112/jlms/jdu012. [Hit87] Nigel J. Hitchin. “The Selfduality ...

work page doi:10.21468/scipostphysproc.14.005 2014

[7] [7]

Braiding operators are universal quantum gates

isbn: 978-1-4704-2307-0. [KL04] Louis H Kauffman and Samuel J Lomonaco. “Braiding operators are universal quantum gates”. In: New Journal of Physics 6.1 (2004), p

work page 2004

[8] [8]

[KL09] Alexei Kitaev and Chris Laumann

url: https://dx.doi.org/10.1088/1367-2630/6/1/134. [KL09] Alexei Kitaev and Chris Laumann. Topological phases and quantum computation . Apr

work page doi:10.1088/1367-2630/6/1/134

[9] [9]

Topological phases and quantum computation

arXiv: 0904.2771 [cond-mat.mes-hall]. [LM00] G´ erard Laumon and Laurent Moret-Bailly. Champs alg´ ebriques. Springer-Verlag Berlin Hei- delberg,

work page internal anchor Pith review Pith/arXiv arXiv

[10] [10]

Hyperbolic band theory

[MR21] Joseph Maciejko and Steven Rayan. “Hyperbolic band theory”. In: Science Advances 7.36 (2021), eabe9170. doi: 10.1126/sciadv.abe9170 . eprint: https://www.science.org/doi/ pdf / 10 . 1126 / sciadv . abe9170. url: https : / / www . science . org / doi / abs / 10 . 1126 / sciadv.abe9170. [MR22] Joseph Maciejko and Steven Rayan. “Automorphic Bloch theo...

work page doi:10.1126/sciadv.abe9170 2021

[11] [11]

On the Hyperbolic Bloch Transform

[RN23] Steven Rayan and ´Akos Nagy. “On the Hyperbolic Bloch Transform”. In: Annales Henri Poincar´ e25 (2023), pp. 1713–1732. [Sim08] Carlos T. Simpson. Geometricity of the Hodge filtration on the ∞-stack of perfect complexes over XDR

work page 2023

[12] [12]

Geometricity of the Hodge filtration on the $\infty$-stack of perfect complexes over $X_{DR}$

arXiv: math/0510269 [math.AG] . url: https://arxiv.org/abs/math/ 0510269. [Sim92] Carlos T. Simpson. “Higgs bundles and local systems”. en. In: Publications Math´ ematiques de l’IH ´ES 75 (1992), pp. 5–95. url: https://www.numdam.org/item/PMIHES_1992__75__5_0/. [Sim94a] Carlos T. Simpson. “Moduli of representations of the fundamental group of a smooth pro...

work page internal anchor Pith review Pith/arXiv arXiv 1992

[13] [13]

The Hodge filtration on nonabelian cohomology

arXiv: alg - geom / 9604005 [alg-geom]. url: https://arxiv.org/abs/alg-geom/9604005. [Sta25] The Stacks project authors. The Stacks project. https://stacks.math.columbia.edu

work page internal anchor Pith review Pith/arXiv arXiv

[14] [14]

The moduli stack of $G$-bundles

arXiv: 1104 . 4828 [math.AG]. url: https://arxiv.org/abs/1104.4828. Email address : mahmud.azam@usask.ca Email address : rayan@math.usask.ca Centre for Quantum Topology and Its Applications (quanTA) and Department of Mathematics and Statistics, University of Saskatchewan, SK, Canada S7N 5E6

work page internal anchor Pith review Pith/arXiv arXiv