Topological groupoids with involution and real algebraic stacks

Emiliano Ambrosi; Olivier de Gaay Fortman

arxiv: 2504.02760 · v3 · submitted 2025-04-03 · 🧮 math.AG · math.AT· math.GN

Topological groupoids with involution and real algebraic stacks

Emiliano Ambrosi , Olivier de Gaay Fortman This is my paper

Pith reviewed 2026-05-22 21:29 UTC · model grok-4.3

classification 🧮 math.AG math.ATmath.GN

keywords topological groupoidsinvolutionfixed pointsDeligne-Mumford stacksreal algebraic stacksreal locusSmith-Thom inequality

0 comments

The pith

Fixed loci of topological groupoids with involution coincide with real loci of Deligne-Mumford stacks over the reals.

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

The paper associates a topological groupoid of fixed points to any topological groupoid equipped with an involution, generalizing the fixed-point subspace of a space with an involution. It proves that when this groupoid arises from a Deligne-Mumford stack over the real numbers, the fixed locus equals the real locus of the stack. This supplies a topological framework for examining real algebraic stacks and especially real moduli spaces. The work also advances a Smith-Thom type conjecture that would extend the classical Smith-Thom inequality to these objects.

Core claim

To a topological groupoid endowed with an involution we associate a topological groupoid of fixed points. When the topological groupoid with involution arises from a Deligne-Mumford stack over R, this fixed locus coincides with the real locus of the stack. This provides a topological framework to study real algebraic stacks, and in particular real moduli spaces. We propose a Smith-Thom type conjecture in this setting, generalizing the Smith-Thom inequality for topological spaces endowed with an involution.

What carries the argument

The fixed-point topological groupoid constructed from a topological groupoid with involution, which generalizes fixed-point subspaces and matches algebraic real loci when the input arises from a Deligne-Mumford stack over R.

If this is right

The real locus of any Deligne-Mumford stack over R admits a realization as the fixed-point groupoid of a topological groupoid with involution.
Topological methods can be applied directly to compute or compare real loci of algebraic stacks.
Real moduli spaces inherit a groupoid presentation via fixed points under the involution.
A Smith-Thom inequality is conjectured to bound the topology of these real loci in terms of the topology of the complexification.

Where Pith is reading between the lines

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

The construction may let invariants such as cohomology or fundamental groups of the fixed groupoid be used to extract information about real points that is hard to access algebraically.
Analogous fixed-point groupoids could be defined and compared for other geometric objects that carry natural involutions, such as schemes with real structures beyond stacks.
Explicit calculations on low-dimensional moduli stacks would test whether the proposed conjecture recovers known Smith-Thom bounds for real curves or surfaces.

Load-bearing premise

The topological groupoid with involution must arise from a Deligne-Mumford stack over the reals in a manner that makes the fixed-point construction well-defined and comparable to the algebraic real locus.

What would settle it

Compute the fixed-point groupoid and the real locus for a concrete Deligne-Mumford stack over R, such as the moduli stack of elliptic curves, and check whether their homotopy types or connected components differ.

read the original abstract

To a topological groupoid endowed with an involution, we associate a topological groupoid of fixed points, generalizing the fixed-point subspace of a topological space with involution. We prove that when the topological groupoid with involution arises from a Deligne-Mumford stack over $\mathbb{R}$, this fixed locus coincides with the real locus of the stack. This provides a topological framework to study real algebraic stacks, and in particular real moduli spaces. Finally, we propose a Smith-Thom type conjecture in this setting, generalizing the Smith-Thom inequality for topological spaces endowed with an involution.

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

The fixed-point groupoid via equalizer recovers the real locus of DM stacks over R, with the proof checking out on etale atlases.

read the letter

The main takeaway is this: the paper associates to a topological groupoid with an involution its fixed-point groupoid, defined via equalizers, and proves that if the groupoid comes from a Deligne-Mumford stack over the reals, then this fixed locus is the same as the real locus of the stack. They start with the topological realization of the stack, apply the involution from complex conjugation, take the fixed points on objects and morphisms, and then verify that this new groupoid is equivalent to the one parametrizing real points. The argument uses etale atlases to compare the two sides and checks that the quotient by the groupoid action recovers the algebraic real locus. That part looks careful and uses standard tools from stack theory. The construction itself generalizes the usual fixed-point subspace for spaces with involution, which is a natural move. It gives a way to study real moduli spaces through topological groupoids, which could be handy for people who like to mix topology and algebraic geometry. On the downside, the Smith-Thom conjecture they propose is left as an open statement without any partial results or examples worked out. That is not a flaw in the main theorem, but it means the paper's impact on that direction depends on follow-up work. The equivalence seems to hold strictly based on the etale atlas comparison. This is aimed at specialists in real algebraic geometry and stack theory. Someone already familiar with DM stacks and topological realizations will find the fixed-point construction useful and the proof straightforward to follow. The paper shows clear thinking on how to adapt fixed-point ideas to groupoids. I think it deserves peer review.

Referee Report

0 major / 2 minor

Summary. The paper associates to a topological groupoid with involution a fixed-point topological groupoid obtained as the equalizer of the involution and identity maps on the spaces of objects and arrows. It proves that when the input groupoid is the topological realization of a Deligne-Mumford stack over R (with involution induced by complex conjugation), the resulting fixed groupoid is equivalent to the groupoid of real points of the stack. The argument compares étale atlases, verifies preservation of the étale condition, and checks that the quotient stack recovers the algebraic real locus. A Smith-Thom type conjecture is also proposed in this setting.

Significance. If the equivalence holds, the work supplies a topological model for real algebraic stacks that directly generalizes the fixed-point construction for spaces with involution. This framework could facilitate the study of real loci in moduli problems by importing tools from equivariant topology, and the proposed conjecture offers a concrete direction for further investigation.

minor comments (2)

The statement of the main theorem would benefit from an explicit reference to the section containing the comparison of étale atlases and the verification that the fixed-point functor preserves the étale condition.
Notation for the fixed-point groupoid (e.g., the equalizer construction) should be introduced with a numbered definition to facilitate later citations in the proof.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending acceptance. The report accurately captures the main constructions and results.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation begins with an explicit equalizer construction of the fixed-point groupoid from the involution and identity maps on object and arrow spaces. Equivalence to the algebraic real locus is established by direct verification that the fixed-point functor preserves etale atlases and that the resulting quotient stack recovers X(R). No step reduces by definition to its input, no parameter is fitted then renamed as prediction, and no load-bearing claim rests on a self-citation chain. The argument is self-contained and externally falsifiable via standard stack-theoretic comparisons.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; ledger left empty.

pith-pipeline@v0.9.0 · 5626 in / 1021 out tokens · 36602 ms · 2026-05-22T21:29:07.255052+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 absolute_floor_iff_bare_distinguishability unclear

?

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

Definition 3.4. The groupoid of fixed points is the topological groupoid X^G := [A1(G,R) ⇒ Z1(G,R)], where Z1(G,R) ⊂ U×R consists of pairs (x,ϕ) such that ϕ : x → σ(x) and σ(ϕ)∘ϕ = id.
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

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

Theorem 4.8. The bijection |F| : |X^G| ≃ |X(R)| is a homeomorphism (real analytic topology).

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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Copositive Matrices with Ordered Off-Diagonal Entries
math.OC 2026-05 unverdicted novelty 7.0

Copositive matrices with nondecreasing off-diagonal entries admit a PSD plus nonnegative decomposition, which implies exactness of a natural relaxation for separable quadratic optimization over the simplex.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages · cited by 1 Pith paper

[1]

Compactifying t he space of stable maps

[A V02] Dan Abramovich and Angelo Vistoli. “Compactifying t he space of stable maps”. In: J. Amer. Math. Soc. 15.1 (2002), pp. 27–75. [Bor60] Armand Borel. Seminar on Transformation Groups. Annals of Mathe- matics Studies, No

work page 2002
[2]

Maximalit y of moduli spaces of vector bundles on curves

With contributions by G. Bredon, E. E . Floyd, D. Montgomery, R. Palais. Princeton University Press, Prin ceton, NJ, 1960, pp. vii+245. [BS22] Erwan Brugallé and Florent Schaﬀhauser. “Maximalit y of moduli spaces of vector bundles on curves”. In: Épijournal Géom. Algébrique 6 (2022), Art. 24,

work page 1960
[3]

A homology theory for étale groupoids

[CM00] Marius Crainic and Ieke Moerdijk. “A homology theory for étale groupoids”. In: J. Reine Angew. Math. 521 (2000), pp. 25–46. [Con05] Brian Conrad. The Keel–Mori theorem via stacks . https://math.stanford.edu/~conrad/papers/coarsespace.pdf

work page 2000
[4]

The cohomology ring of the rea l locus of the moduli space of stable curves of genus 0 with marked points

Lecture Notes in Mathematics. Springer- Verlag, Berlin, 2000, pp. xvi+259. [Eti+10] Pavel Etingof et al. “The cohomology ring of the rea l locus of the moduli space of stable curves of genus 0 with marked points”. In: Ann. of Math. (2) 171.2 (2010), pp. 731–777. [Flo52] Edwin Earl Floyd. “On periodic maps and the Euler cha racteristics of associated space...

work page 2000
[5]

Symmetric products of equivarian tly formal spaces

[Fra18] Matthias Franz. “Symmetric products of equivarian tly formal spaces”. In: Canad. Math. Bull. 61.2 (2018), pp. 272–281. [FS09] Philippe Flajolet and Robert Sedgewick. Analytic Combinatorics . Cambridge University Press, Cambridge, 2009, pp. xiv+810. [Fu23] Lie Fu. Maximal real varieties from moduli constructions

work page 2018
[6]

Moduli spaces and algebra ic cycles in real algebraic geometry

arXiv: 2303.03368 [math.AG] . 27 [GF22a] Olivier de Gaay Fortman. “Moduli spaces and algebra ic cycles in real algebraic geometry”. PhD thesis. École normale supérieure de Paris,

work page arXiv
[7]

Real moduli spaces and den sity of non- simple real abelian varieties

[GF22b] Olivier de Gaay Fortman. “Real moduli spaces and den sity of non- simple real abelian varieties”. In: Q. J. Math. 73.3 (2022), pp. 969–

work page 2022
[8]

Real algebraic curve s

[GH81] Benedict Gross and Joe Harris. “Real algebraic curve s”. In: Ann. Sci. École Norm. Sup. (4) 14.2 (1981), pp. 157–182. [Gro60] Alexander Grothendieck. “Technique de descente et théorèmes d’existence en géométrie algébrique. I. Généralités. Desc ente par mor- phismes ﬁdèlement plats”. In: Séminaire Bourbaki, Vol. 5 . Soc. Math. France, Paris, 1960, E...

work page 1981
[9]

On products in the cohomology of the d ihedral groups

[Han93] David Handel. “On products in the cohomology of the d ihedral groups”. In: Tohoku Math. J. (2) 45.1 (1993), pp. 13–42. [KM97] Seán Keel and Shigefumi Mori. “Quotients by groupoid s”. In: Ann. of Math. (2) 145.1 (1997), pp. 193–213. [Knu71] Donald Knutson. Algebraic Spaces . Lecture Notes in Mathematics, Vol

work page 1993
[10]

Springer-Verlag, Berlin-New York, 1971, pp. vi+2

work page 1971
[11]

[KR25] Viatcheslav Kharlamov and Rareş Răsdeaconu

arXiv: 2303.02796 [math.AG] . [KR25] Viatcheslav Kharlamov and Rareş Răsdeaconu. On the Smith-Thom deﬁciency of Hilbert squares

work page arXiv
[12]

[LMB00] Gérard Laumon and Laurent Moret-Bailly

arXiv: 2310.19120 [math.AG] . [LMB00] Gérard Laumon and Laurent Moret-Bailly. Champs algébriques . Vol

work page arXiv
[13]

Société Mathématique de France, 2017, pp

Cours Spé- cialisés. Société Mathématique de France, 2017, pp. vii+48

work page 2017
[14]

Simplicial cohomo logy of orb- ifolds

28 [MP99] Ieke Moerdijk and Dorette Pronk. “Simplicial cohomo logy of orb- ifolds”. In: Indag. Math. (N.S.) 10.2 (1999), pp. 269–293. [Nak62] Minoru Nakaoka. “Note on cohomology algebras of sym metric groups”. In: J. Math. Osaka City Univ. 13 (1962), pp. 45–55. issn: 0449-2773. [Noo12] Behrang Noohi. “Homotopy types of topological stac ks”. In: Adv. Math....

work page 1999
[15]

Moduli spaces for re al algebraic curves and real abelian varieties

[SS89] Mika Seppälä and Robert Silhol. “Moduli spaces for re al algebraic curves and real abelian varieties”. In: Math. Z. 201.2 (1989), pp. 151–

work page 1989
[16]

Sur l’homologie des variétés algébriqu es réelles

[Tho65] René Thom. “Sur l’homologie des variétés algébriqu es réelles”. In: Diﬀerential and Combinatorial Topology (A Symposium in Hon or of Marston Morse) . Princeton Univ. Press, Princeton, N.J., 1965, pp. 255–265. [Wil25] Sawin Will. Answer to a question on MathOverﬂow

work page 1965

[1] [1]

Compactifying t he space of stable maps

[A V02] Dan Abramovich and Angelo Vistoli. “Compactifying t he space of stable maps”. In: J. Amer. Math. Soc. 15.1 (2002), pp. 27–75. [Bor60] Armand Borel. Seminar on Transformation Groups. Annals of Mathe- matics Studies, No

work page 2002

[2] [2]

Maximalit y of moduli spaces of vector bundles on curves

With contributions by G. Bredon, E. E . Floyd, D. Montgomery, R. Palais. Princeton University Press, Prin ceton, NJ, 1960, pp. vii+245. [BS22] Erwan Brugallé and Florent Schaﬀhauser. “Maximalit y of moduli spaces of vector bundles on curves”. In: Épijournal Géom. Algébrique 6 (2022), Art. 24,

work page 1960

[3] [3]

A homology theory for étale groupoids

[CM00] Marius Crainic and Ieke Moerdijk. “A homology theory for étale groupoids”. In: J. Reine Angew. Math. 521 (2000), pp. 25–46. [Con05] Brian Conrad. The Keel–Mori theorem via stacks . https://math.stanford.edu/~conrad/papers/coarsespace.pdf

work page 2000

[4] [4]

The cohomology ring of the rea l locus of the moduli space of stable curves of genus 0 with marked points

Lecture Notes in Mathematics. Springer- Verlag, Berlin, 2000, pp. xvi+259. [Eti+10] Pavel Etingof et al. “The cohomology ring of the rea l locus of the moduli space of stable curves of genus 0 with marked points”. In: Ann. of Math. (2) 171.2 (2010), pp. 731–777. [Flo52] Edwin Earl Floyd. “On periodic maps and the Euler cha racteristics of associated space...

work page 2000

[5] [5]

Symmetric products of equivarian tly formal spaces

[Fra18] Matthias Franz. “Symmetric products of equivarian tly formal spaces”. In: Canad. Math. Bull. 61.2 (2018), pp. 272–281. [FS09] Philippe Flajolet and Robert Sedgewick. Analytic Combinatorics . Cambridge University Press, Cambridge, 2009, pp. xiv+810. [Fu23] Lie Fu. Maximal real varieties from moduli constructions

work page 2018

[6] [6]

Moduli spaces and algebra ic cycles in real algebraic geometry

arXiv: 2303.03368 [math.AG] . 27 [GF22a] Olivier de Gaay Fortman. “Moduli spaces and algebra ic cycles in real algebraic geometry”. PhD thesis. École normale supérieure de Paris,

work page arXiv

[7] [7]

Real moduli spaces and den sity of non- simple real abelian varieties

[GF22b] Olivier de Gaay Fortman. “Real moduli spaces and den sity of non- simple real abelian varieties”. In: Q. J. Math. 73.3 (2022), pp. 969–

work page 2022

[8] [8]

Real algebraic curve s

[GH81] Benedict Gross and Joe Harris. “Real algebraic curve s”. In: Ann. Sci. École Norm. Sup. (4) 14.2 (1981), pp. 157–182. [Gro60] Alexander Grothendieck. “Technique de descente et théorèmes d’existence en géométrie algébrique. I. Généralités. Desc ente par mor- phismes ﬁdèlement plats”. In: Séminaire Bourbaki, Vol. 5 . Soc. Math. France, Paris, 1960, E...

work page 1981

[9] [9]

On products in the cohomology of the d ihedral groups

[Han93] David Handel. “On products in the cohomology of the d ihedral groups”. In: Tohoku Math. J. (2) 45.1 (1993), pp. 13–42. [KM97] Seán Keel and Shigefumi Mori. “Quotients by groupoid s”. In: Ann. of Math. (2) 145.1 (1997), pp. 193–213. [Knu71] Donald Knutson. Algebraic Spaces . Lecture Notes in Mathematics, Vol

work page 1993

[10] [10]

Springer-Verlag, Berlin-New York, 1971, pp. vi+2

work page 1971

[11] [11]

[KR25] Viatcheslav Kharlamov and Rareş Răsdeaconu

arXiv: 2303.02796 [math.AG] . [KR25] Viatcheslav Kharlamov and Rareş Răsdeaconu. On the Smith-Thom deﬁciency of Hilbert squares

work page arXiv

[12] [12]

[LMB00] Gérard Laumon and Laurent Moret-Bailly

arXiv: 2310.19120 [math.AG] . [LMB00] Gérard Laumon and Laurent Moret-Bailly. Champs algébriques . Vol

work page arXiv

[13] [13]

Société Mathématique de France, 2017, pp

Cours Spé- cialisés. Société Mathématique de France, 2017, pp. vii+48

work page 2017

[14] [14]

Simplicial cohomo logy of orb- ifolds

28 [MP99] Ieke Moerdijk and Dorette Pronk. “Simplicial cohomo logy of orb- ifolds”. In: Indag. Math. (N.S.) 10.2 (1999), pp. 269–293. [Nak62] Minoru Nakaoka. “Note on cohomology algebras of sym metric groups”. In: J. Math. Osaka City Univ. 13 (1962), pp. 45–55. issn: 0449-2773. [Noo12] Behrang Noohi. “Homotopy types of topological stac ks”. In: Adv. Math....

work page 1999

[15] [15]

Moduli spaces for re al algebraic curves and real abelian varieties

[SS89] Mika Seppälä and Robert Silhol. “Moduli spaces for re al algebraic curves and real abelian varieties”. In: Math. Z. 201.2 (1989), pp. 151–

work page 1989

[16] [16]

Sur l’homologie des variétés algébriqu es réelles

[Tho65] René Thom. “Sur l’homologie des variétés algébriqu es réelles”. In: Diﬀerential and Combinatorial Topology (A Symposium in Hon or of Marston Morse) . Princeton Univ. Press, Princeton, N.J., 1965, pp. 255–265. [Wil25] Sawin Will. Answer to a question on MathOverﬂow

work page 1965