pith. sign in

arxiv: 2512.06527 · v3 · pith:MONRBZF6new · submitted 2025-12-06 · 🧮 math.AG

Betti numbers of the moduli space of Higgs bundles over a real curve

Thomas John Baird This is my paper

Pith reviewed 2026-05-21 18:41 UTC · model grok-4.3

classification 🧮 math.AG
keywords Higgs bundlesmoduli spacesBetti numbersreal curvesmotivic measuresPoincaré polynomialsZ_2 coefficients
0
0 comments X

The pith

A formula computes the Z_2-Betti numbers of the moduli space of stable real Higgs bundles over a real projective curve when rank and degree are coprime.

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

The paper derives an explicit formula for the Z_2-Betti numbers of the moduli space M_r^d of stable real Higgs bundles. It starts from a known motivic formula for the space and treats the virtual Z_2 Poincaré polynomial as a motivic measure defined over the real numbers. This produces concrete topological invariants for the real case that were previously unavailable. A reader would care because these numbers describe the topology of spaces that arise in the study of Higgs bundles equipped with real structures.

Core claim

We produce a formula for the Z_2-Betti numbers of the moduli space M_r^d of stable real Higgs bundles over a real projective curve, with coprime rank r and degree d. Our approach relies on the motivic formula for the moduli space due to Mellit, Fedorov-Soibelman-Soibelman, and Schiffmann, and the fact that the virtual Z_2 Poincaré polynomial is a motivic measure over R.

What carries the argument

The virtual Z_2 Poincaré polynomial, treated as a motivic measure over R, applied to the existing motivic formula for the moduli space.

If this is right

  • The Z_2-Betti numbers are now given explicitly in terms of the motivic data for every pair of coprime rank and degree.
  • Topological information about real Higgs bundles becomes accessible through the same techniques used in the complex setting.
  • The result supplies a concrete extension of motivic methods to the case of real structures on the base curve.

Where Pith is reading between the lines

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

  • The formula could be checked by hand for the smallest coprime pairs to confirm numerical agreement.
  • Similar motivic-measure arguments might apply to other moduli problems that involve real involutions.
  • The output could be compared with known results on the topology of real character varieties or real representations.

Load-bearing premise

The virtual Z_2 Poincaré polynomial acts as a motivic measure over the real numbers.

What would settle it

Direct calculation of the Z_2-Betti numbers for a concrete small example such as rank 2 and degree 1 over a specific real curve, then comparison with the formula output.

read the original abstract

We produce a formula for the $\mathbb{Z}_2$-Betti numbers of the moduli space $M_r^d$ of stable real Higgs bundles over a real projective curve, with coprime rank $r$ and degree $d$. Our approach relies on the motivic formula for the moduli space due to Mellit, Fedorov-Soibelman-Soibelman, and Schiffmann , and the fact that the virtual $\mathbb{Z}_2$ Poincar\'e polynomial is a motivic measure over $\mathbb{R}$.

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

1 major / 1 minor

Summary. The paper produces a formula for the Z_2-Betti numbers of the moduli space M_r^d of stable real Higgs bundles over a real projective curve (coprime rank r and degree d). The approach combines the motivic formula for the moduli space due to Mellit, Fedorov-Soibelman-Soibelman, and Schiffmann with the assertion that the virtual Z_2 Poincaré polynomial is a motivic measure over R.

Significance. If the result holds, the formula would give explicit Z_2-Betti numbers for these real moduli spaces, extending motivic techniques from the complex case. The reliance on established motivic formulas from prior work is a clear strength, as is the focus on a concrete topological invariant. The significance is tempered by the need to confirm the key measure property in the real setting.

major comments (1)
  1. The central derivation combines the motivic formula of Mellit et al. with the claim that the virtual Z_2 Poincaré polynomial is a motivic measure over R. This property is asserted without a self-contained derivation, explicit verification in low-rank cases, or a cited prior theorem establishing that the real structure preserves the required additivity and that the virtual class lies in the Grothendieck ring of real varieties. If the property fails, the resulting Betti-number formula does not follow. This is load-bearing for the main claim.
minor comments (1)
  1. The abstract outlines the approach but does not state the explicit form of the resulting formula; adding a brief indication of the formula would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on the manuscript. The primary concern is the justification for treating the virtual Z_2 Poincaré polynomial as a motivic measure over R. We address this point directly below and will revise the paper to strengthen the exposition.

read point-by-point responses

  1. Referee: The central derivation combines the motivic formula of Mellit et al. with the claim that the virtual Z_2 Poincaré polynomial is a motivic measure over R. This property is asserted without a self-contained derivation, explicit verification in low-rank cases, or a cited prior theorem establishing that the real structure preserves the required additivity and that the virtual class lies in the Grothendieck ring of real varieties. If the property fails, the resulting Betti-number formula does not follow. This is load-bearing for the main claim.

    Authors: We agree that the current presentation asserts this property without sufficient detail, which is a valid observation. The virtual Z_2 Poincaré polynomial arises as the image of the motivic class of the real moduli space under the realization map from the Grothendieck ring of real varieties to the ring of virtual Poincaré polynomials; additivity is preserved because the real structure on the Higgs moduli space (induced from the real curve) is compatible with the stratification used in the motivic formula of Mellit et al. To address the referee's concern, the revised manuscript will include a new subsection deriving this compatibility explicitly from the properties of the real Hitchin fibration and the Grothendieck ring of real varieties, together with direct verification for the cases r=1 and r=2. We believe this addition will make the argument self-contained while preserving the overall approach. revision: yes

Circularity Check

0 steps flagged

No significant circularity; central formula combines independent external motivic results with a stated property.

full rationale

The paper derives the Z_2-Betti numbers formula by combining the motivic formula for the moduli space (due to Mellit, Fedorov-Soibelman-Soibelman, and Schiffmann) with the property that the virtual Z_2 Poincaré polynomial is a motivic measure over R. Both inputs are presented as external: the motivic formula is explicitly attributed to prior independent work, and the measure property is invoked as an established fact without internal derivation or self-citation. No equations in the provided text reduce a prediction to a fitted parameter by construction, no self-definitional loops appear, and no uniqueness theorem or ansatz is smuggled via the authors' own prior results. The derivation chain therefore remains self-contained against external benchmarks and does not collapse to its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim depends on prior motivic results by Mellit, Fedorov-Soibelman-Soibelman, and Schiffmann together with the domain assumption that the virtual Z_2 Poincaré polynomial serves as a motivic measure over R.

axioms (1)
  • domain assumption The virtual Z_2 Poincaré polynomial is a motivic measure over R
    This property is invoked to apply the motivic formula to obtain the Betti numbers.

pith-pipeline@v0.9.0 · 5603 in / 1124 out tokens · 134825 ms · 2026-05-21T18:41:29.581532+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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

15 extracted references · 15 canonical work pages · 2 internal anchors

  1. [1]

    ``Symmetric products of a real curve and the moduli space of Higgs bundles." Journal of Geometry and Physics 126 (2018): 7-21

    Baird, Thomas John. ``Symmetric products of a real curve and the moduli space of Higgs bundles." Journal of Geometry and Physics 126 (2018): 7-21

    work page 2018

  2. [2]

    ``On the motivic class of the stack of bundles." Advances in mathematics 212.2 (2007): 617-644

    Behrend, Kai, and Ajneet Dhillon. ``On the motivic class of the stack of bundles." Advances in mathematics 212.2 (2007): 617-644

    work page 2007

  3. [3]

    Duistermaat, J. J. ``Convexity and tightness for restrictions of Hamiltonian functions to fixed point sets of an antisymplectic involution." Transactions of the American Mathematical Society 275.1 (1983): 417-429

    work page 1983

  4. [4]

    ``The Grothendieck group of algebraic stacks." Perspectives on Four Decades of Algebraic Geometry, Volume 1: In Memory of Alberto Collino

    Ekedahl, Torsten. ``The Grothendieck group of algebraic stacks." Perspectives on Four Decades of Algebraic Geometry, Volume 1: In Memory of Alberto Collino. Cham: Springer Nature Switzerland, 2024. 233-261

    work page 2024

  5. [5]

    ``On the motives of moduli of chains and Higgs bundles." Journal of the European Mathematical Society 16.12 (2014): 2617-2668

    Garcia-Prada, Oscar, Jochen Heinloth, and Alexander HW Schmitt. ``On the motives of moduli of chains and Higgs bundles." Journal of the European Mathematical Society 16.12 (2014): 2617-2668

    work page 2014

  6. [6]

    Guillemin, and Tara S

    Biss, Daniel, Victor W. Guillemin, and Tara S. Holm. ``The mod 2 cohomology of fixed point sets of anti-symplectic involutions." Advances in Mathematics 185.2 (2004): 370-399

    work page 2004

  7. [7]

    ``Motivic classes of moduli of Higgs bundles and moduli of bundles with connections." arXiv:1705.04890 (2017)

    Fedorov, Roman, Alexander Soibelman, and Yan Soibelman. ``Motivic classes of moduli of Higgs bundles and moduli of bundles with connections." arXiv:1705.04890 (2017)

    work page arXiv 2017

  8. [8]

    ``Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M

    Hausel, Tamás, and Fernando Rodriguez-Villegas. ``Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz." Inventiones mathematicae 174.3 (2008): 555-624

    work page 2008

  9. [9]

    Cohomology of large semiprojective hyperkaehler varieties

    Hausel, Tam\'as, and Fernando Rodriguez-Villegas. ``Cohomology of large semiprojective hyperk\"ahler varieties." arXiv:1309.4914 (2013)

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  10. [10]

    The elliptic curve in the S-duality theory and Eisenstein series for Kac-Moody groups

    Kapranov, Mikhail. ``The elliptic curve in the S-duality theory and Eisenstein series for Kac-Moody groups." arXiv preprint math/0001005 (2000)

    work page internal anchor Pith review Pith/arXiv arXiv 2000

  11. [11]

    ``The Poincar\'e polynomial of a symmetric product." Mathematical Proceedings of the Cambridge Philosophical Society

    Macdonald, Ian G. ``The Poincar\'e polynomial of a symmetric product." Mathematical Proceedings of the Cambridge Philosophical Society. Vol. 58. No. 4. Cambridge University Press, 1962

    work page 1962

  12. [12]

    ``Virtual Betti numbers of real algebraic varieties." Comptes Rendus

    McCrory, Clint, and Adam Parusinski. ``Virtual Betti numbers of real algebraic varieties." Comptes Rendus. Mathematique 336.9 (2003): 763-768

    work page 2003

  13. [13]

    ``Poincar\'e polynomials of moduli spaces of Higgs bundles and character varieties (no punctures)." Inventiones mathematicae 221.1 (2020): 301-327

    Mellit, Anton. ``Poincar\'e polynomials of moduli spaces of Higgs bundles and character varieties (no punctures)." Inventiones mathematicae 221.1 (2020): 301-327

    work page 2020

  14. [14]

    ``Solutions of the motivic ADHM recursion formula." International Mathematics Research Notices 2012.18 (2012): 4218-4244

    Mozgovoy, Sergey. ``Solutions of the motivic ADHM recursion formula." International Mathematics Research Notices 2012.18 (2012): 4218-4244

    work page 2012

  15. [15]

    ``Indecomposable vector bundles and stable Higgs bundles over smooth projective curves." Annals of Mathematics (2016): 297-362

    Schiffmann, Olivier. ``Indecomposable vector bundles and stable Higgs bundles over smooth projective curves." Annals of Mathematics (2016): 297-362

    work page 2016