Cohomology of the Moduli Stacks of Real Vector Bundles on Type I Real Algebraic Curves

Frank Neumann; Luca Dal Molin

Cohomology of the Moduli Stacks of Real Vector Bundles on Type I Real Algebraic Curves

T0 review · 2 major / 2 minor · reviewed 2026-07-12 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The mod-2 cohomology of real moduli stacks of fixed-rank, fixed-degree vector bundles on type I real curves is fixed by classes pulled back from the complex Atiyah-Bott generators.

desk verdict Abstract-only structure theorem for mod-2 cohomology of real moduli stacks; solid-looking extension of Atiyah-Bott, but the comparison-map bridge is uncheckable without the paper. read the letter →

arxiv 2605.30298 v2 pith:XRU4SRGO submitted 2026-05-28 math.AG math.AT

Luca Dal Molin , Frank Neumann This is my paper · ORCID

classification math.AGmath.AT MSC 14H6014D2314P2555N91

keywords modulistacksrealvectorbundlestypeIcurvesmod-2cohomologyAtiyah-Bottclassescharacteristicalgebraic

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper studies the moduli stacks that classify real vector bundles of fixed rank and degree on a real algebraic curve of type I, and claims that their mod-2 cohomology algebras can be written down completely in terms of characteristic classes induced from the classical Atiyah-Bott generators of the corresponding complex moduli stacks. A type I real curve is a complex curve equipped with a real structure whose fixed locus is non-empty, so the real moduli problem sits over a non-empty real locus. The authors argue that the natural comparison maps from the complex setting produce enough characteristic classes to present the entire mod-2 algebra of the real stack. If the claim holds, the topology of these real moduli stacks becomes as computable as the well-studied complex case, at least with coefficients in F2.

What carries the argument

Characteristic classes on the real moduli stack induced from the complex Atiyah-Bott generators; these classes, together with the comparison maps that produce them, are asserted to generate and relate the full mod-2 cohomology algebra.

What would settle it

An explicit calculation, for a low-rank or low-genus type I curve, of the mod-2 cohomology ring of the real moduli stack that produces a class or relation not accounted for by the induced Atiyah-Bott characteristic classes.

Watch

Extended reading notes

Core claim

The mod-2 cohomology algebra of the moduli stack of real vector bundles of fixed rank and degree on a type I real algebraic curve is completely determined by characteristic classes induced from the complex Atiyah-Bott classes via the natural comparison maps between the complex and real moduli problems.

Load-bearing premise

The induced characteristic classes coming from the complex Atiyah-Bott generators already present the entire mod-2 cohomology algebra of the real moduli stacks.

Editorial extensions

If this is right

The mod-2 cohomology rings of these real moduli stacks become explicit once the induced characteristic classes and their relations are written down.
Any topological invariant of the real stack that can be read from mod-2 cohomology (Stiefel-Whitney numbers, etc.) is determined by the same classes.
Comparisons between real and complex moduli stacks of vector bundles reduce, at the level of mod-2 cohomology, to the behaviour of the comparison maps on Atiyah-Bott generators.
The same presentation technique may apply to other real moduli problems whose complex counterparts are already controlled by known characteristic classes.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Because the determination is only mod 2, integral or odd-primary cohomology of the same real stacks may require additional generators not visible from the complex Atiyah-Bott classes.
Type II real curves (empty real locus) are excluded; their moduli stacks may have genuinely different mod-2 cohomology that cannot be read from the same comparison.
An algorithmic presentation of the induced classes would turn the abstract determination into concrete ring presentations for each fixed rank, degree and genus.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

This is an abstract-only look at a pure algebraic-geometry note, so we are flying half-blind. The punchline is a structure theorem: the mod-2 cohomology algebra of the moduli stacks of real vector bundles of fixed rank and degree on a type-I real algebraic curve is determined by characteristic classes induced from the classical complex Atiyah-Bott classes.

What is new is the real-side determination itself. Complex Atiyah-Bott is classical; carrying the generators and relations over to the real moduli stacks via natural comparison maps, and claiming that those induced classes present the full mod-2 algebra, is a concrete extension of that program. If the proofs hold, it organizes invariants for people working on real curves and real gauge theory. Circularity burden looks low—this is the usual pure-math computation style, not parameter fitting.

The soft spot is exactly the one the stress-test flags, and it is forced by the missing text rather than by any visible crack in the claim. The load-bearing step is that the comparison maps (real-to-complex or fixed-locus) pull back enough generators and relations. Without the constructions, spectral-sequence arguments, or an explicit algebra presentation, we cannot check freeness assumptions, vanishing of differentials, or completeness of the induced classes. That is a genuine information gap, not a manufactured flaw. Nothing in the abstract suggests the result is forced by a normalization trick or invents entities.

Who it is for: specialists in moduli of real bundles, equivariant cohomology, and the topology of real algebraic curves. A serious referee in that circle should see the full paper; the claim is important enough inside the subfield and formally grounded enough in the classical theory to deserve referee time rather than a desk reject. I would not cite it yet—there is no text—and I would not bring an abstract to reading group, but I would accept it for peer review once the manuscript is in hand. Treat the Reader’s low soundness score as “cannot assess,” not as “probably wrong.”

Referee Report

2 major / 2 minor

Summary. The manuscript studies the moduli stacks of real vector bundles of fixed rank and degree on a type I real algebraic curve. Its central claim is that the mod-2 cohomology algebra of these stacks is determined by characteristic classes induced from the complex Atiyah–Bott classes via natural comparison maps from the complex moduli setting.

Significance. If the determination is correct and complete, the result would give an explicit algebraic presentation of the mod-2 cohomology of these real moduli stacks, extending the classical Atiyah–Bott theory from the complex to the real (type I) setting. That would be a natural and useful contribution to the topology of moduli stacks in real algebraic geometry, provided the comparison maps and generation/relation arguments are fully established.

major comments (2)

Only the abstract is available for this review. The load-bearing claim—that characteristic classes induced from the complex Atiyah–Bott classes via natural comparison maps present the full mod-2 cohomology algebra of the real moduli stacks—cannot be checked. Construction of the comparison maps, any spectral-sequence or equivariant-cohomology argument establishing generation and relations, and the resulting algebra presentation are all unavailable. A proper technical assessment of soundness is therefore impossible on the given material.
Abstract: the asserted structural bridge (induced classes suffice as generators and relations for the real algebra) is the sole content of the determination claim. Without the full text one cannot test hidden assumptions such as freeness of actions, vanishing of higher differentials, or completeness of the induced characteristic classes. This gap is load-bearing for the central claim and cannot be resolved from the abstract alone.

minor comments (2)

Abstract: the phrase “type I real algebraic curve” is used without a brief parenthetical reminder of the standard definition (real curve whose real locus is nonempty and of maximal topological type, or the equivalent fixed-locus condition under the anti-holomorphic involution). A short clarification would help non-specialist readers.
Abstract: “determined \ldots in terms of characteristic classes induced from the complex Atiyah–Bott classes” leaves open whether the result is a full presentation (generators and relations) or only a generation statement. The full paper should make the precise algebraic claim explicit in the introduction.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity detectable from abstract-only material; determination claim is a standard structural computation with no exhibited self-definition or fitted prediction.

full rationale

Only the abstract is available. It states that the mod-2 cohomology algebra of the moduli stacks of real vector bundles of fixed rank and degree on a type-I real algebraic curve is determined in terms of characteristic classes induced from the complex Atiyah-Bott classes. No equations, comparison-map constructions, spectral-sequence arguments, or explicit presentations appear, so no reduction of a claimed prediction to an input by construction can be exhibited. There is no parameter fitting, no uniqueness theorem imported from the authors, no ansatz smuggled via self-citation, and no renaming of a known empirical pattern. Self-citation of foundational complex results (Atiyah-Bott) would be ordinary mathematical practice and is not load-bearing circularity under the rules, because the abstract does not make the real algebra definitionally identical to those classes. Per hard rules, circularity may be claimed only when a specific quote exhibits the reduction; none exists here. The honest finding is therefore score 0 with empty steps: the abstract presents a pure-math determination claim that is self-contained against the limited material given.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

Pure structural algebraic-geometry result. No free numerical parameters. Relies on standard foundations of stacks and characteristic classes, plus domain geometry of type I real curves and their real moduli stacks; the main content is the identification of the mod-2 cohomology algebra with data induced from complex Atiyah-Bott classes.

assumptions (3)

standard math Standard foundations of algebraic stacks, equivariant/mod-2 cohomology, and characteristic classes of vector bundles
Background required for any computation of the cohomology of moduli stacks of bundles.
domain assumption Type I real algebraic curves admit well-behaved moduli stacks of real vector bundles of fixed rank and degree
The abstract takes the geometric setup of type I real curves and their real moduli stacks as the ambient category in which the determination is made.
domain assumption Complex Atiyah-Bott characteristic classes induce well-defined classes on the real moduli stacks via natural comparison maps
The abstract's determination is phrased 'in terms of' these induced classes; the existence and naturality of the induction maps is a load-bearing geometric premise.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Cohomology of the Moduli Stacks of Real Vector Bundles on Type I Real Algebraic Curves." pith.science (2026). https://pith.science/paper/XRU4SRGO

@misc{pith2026260530298,
  author       = {Pith},
  title        = {Pith review of: Cohomology of the Moduli Stacks of Real Vector Bundles on Type I Real Algebraic Curves},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XRU4SRGO}},
  note         = {Machine review of arXiv:2605.30298}
}

abstract

We study the moduli stacks of real vector bundles of fixed rank and degree on a type I real algebraic curve and determine its mod $2$ cohomology algebra in terms of characteristic classes induced from the complex Atiyah-Bott classes.

Figures

Figures reproduced from arXiv: 2605.30298 by the authors.

**Figure 3.** General case [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗

**Figure 4.** Example of reflection Let us now consider the Eilenberg–Moore spectral sequence (or EMss for short) associated to the following pullback diagram (compare [Bai14]) (8) BG˜(g ′ , n, r,Id) BMap0 (M/σ \ D, Ur) ∏︁n i=1 BLUId r ∏︁n i=1 BL0Ur where Map0(M/σ \ D, Ur) is the subgroup of Map(M/σ \ D, Ur) given by those maps that are contractible once restricted to the boundary and where Ur is the unitary group. From [Bai14, P… view at source ↗

Figures from the paper (1 more)

**Figure 5.** Figure 5: Type (2, 1, 0) a1 b1 b2 a2 a3 b3 [PITH_FULL_IMAGE:figures/full_fig_p013_5.png]

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Pith tools

Reviewed July 12, 2026 · model on record in the stance chip above.