The $RO(C_2)$-graded cohomology of $C_2$-surfaces in $\underline{\mathbb{Z}/2}$-coefficients

Christy Hazel

arxiv: 1907.07280 · v1 · pith:MLHTH5I4new · submitted 2019-07-16 · 🧮 math.AT

The RO(C₂)-graded cohomology of C₂-surfaces in underline{mathbb{Z}/2}-coefficients

Christy Hazel This is my paper

Pith reviewed 2026-05-24 20:16 UTC · model grok-4.3

classification 🧮 math.AT

keywords Bredon cohomologyRO(C2)-graded cohomologyC2-surfacesinvolutionequivariant topologyZ/2 coefficientsnumerical invariantsDugger classification

0 comments

The pith

The RO(C2)-graded Bredon cohomology of C2-surfaces with constant Z/2 coefficients depends only on three numerical invariants in the nonfree case and two in the free case.

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

The paper takes Dugger's classification of all C2-surfaces and computes their RO(C2)-graded Bredon cohomology with constant Z/2 coefficients as modules over the cohomology of a point. It establishes that these cohomology modules are completely determined by a short list of numerical invariants that already appear in the classification. In the nonfree case three invariants suffice; in the free case two suffice. A reader who accepts the classification therefore obtains an explicit description of every possible such cohomology without further case-by-case calculation.

Core claim

Using Dugger's classification of C2-surfaces, the RO(C2)-graded Bredon cohomology in constant Z/2 coefficients is computed for every C2-surface; the resulting modules over the cohomology of a point depend only on three numerical invariants when the involution is nonfree and only on two numerical invariants when the involution is free.

What carries the argument

Dugger's classification of C2-surfaces, which organizes them by a small collection of numerical invariants that label the fixed-point data and orbit types.

If this is right

All possible RO(C2)-graded Z/2-coefficient Bredon cohomology modules arising from C2-surfaces are now listed explicitly by the possible values of the invariants.
Any two C2-surfaces sharing the same relevant numerical invariants have isomorphic cohomology modules.
Further computations of equivariant maps or bordism groups between C2-surfaces reduce to arithmetic comparisons of these invariants.

Where Pith is reading between the lines

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

The result supplies a concrete dictionary between topological invariants of involutions on surfaces and algebraic data in RO(C2)-graded cohomology, which could be used to test conjectures about other equivariant cohomology theories on the same spaces.
Because the answer depends on so few parameters, one can ask whether the same reduction occurs for other coefficient systems or for higher-dimensional C2-manifolds.
The explicit modules obtained here give a testing ground for any proposed change-of-rings or restriction functors in equivariant cohomology.

Load-bearing premise

Dugger's classification of C2-surfaces is complete and can be used directly to compute the cohomology for every case.

What would settle it

A C2-surface whose RO(C2)-graded Bredon cohomology module, computed by any independent method, fails to match the module predicted solely from the three (or two) numerical invariants attached to it by Dugger's list.

read the original abstract

A surface with an involution can be viewed as a $C_2$-space where $C_2$ is the cyclic group of order two. Using the classification of $C_2$-surfaces given by Dugger, we compute the $RO(C_2)$-graded Bredon cohomology of all $C_2$-surfaces in constant $\mathbb{Z}/2$ coefficients as modules over the cohomology of a point. We show the cohomology depends only on three numerical invariants in the nonfree case, and only on two numerical invariants in the free case.

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

Hazel computes RO(C2)-graded Z/2 Bredon cohomology for all C2-surfaces via Dugger and reduces the modules to two or three numerical invariants.

read the letter

The main thing to know is that this paper works through Dugger's classification of C2-surfaces and produces the RO(C2)-graded Bredon cohomology modules with constant Z/2 coefficients for every case, then observes that the answers are fixed by only two numerical invariants when the action is free and three when it is not. That reduction is the concrete output. The work is a direct computation rather than a new framework, but it supplies the full list that was not already written down. It does the job of turning an existing classification into usable module data for this family of spaces. The calculations appear to be the standard sort of case-by-case work in equivariant cohomology, and the abstract gives no sign of internal contradictions or extra assumptions beyond the classification itself. The main soft spot is the complete dependence on Dugger's list being exhaustive; if that classification has any gaps or unstated special cases, they would carry through. Without the full module presentations in front of me it is also hard to judge how clean the reduction actually is or whether a few surfaces require extra parameters that get folded in. Still, for a computational paper this is proportionate. This is aimed at people already working in equivariant algebraic topology who need explicit Bredon cohomology groups for low-dimensional C2-spaces, either as examples or as input for further calculations. A reader who cares about concrete data in this corner of the subject will get direct value. It deserves a serious referee because the result is checkable, fills a natural gap, and rests on standard methods applied thoroughly.

Referee Report

0 major / 3 minor

Summary. Using Dugger's classification of C_2-surfaces, the manuscript computes the RO(C_2)-graded Bredon cohomology with constant underline{Z/2} coefficients for every C_2-surface. The resulting modules over the cohomology of a point are shown to depend only on three numerical invariants in the nonfree case and only on two numerical invariants in the free case.

Significance. If the computations hold, the work supplies an explicit, low-dimensional parametrization of all such cohomology modules. This is a concrete computational contribution in equivariant topology that can be used directly in further calculations involving C_2-actions on surfaces. The reduction to a small number of invariants is a clear organizational strength.

minor comments (3)

§2 (classification recall): a short table listing the numerical invariants (e.g., genus, number of fixed circles, Euler characteristic) for each type would make the dependence claim easier to verify at a glance.
The manuscript cites Dugger's classification as complete; while this is standard, a one-sentence reminder of the precise statement used (e.g., the list of nonfree and free cases) would strengthen the reduction step without lengthening the paper.
Notation: the underline on Z/2 is used inconsistently in some displayed formulas; uniform use of the constant-coefficient notation would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending minor revision. The report contains no major comments to address.

Circularity Check

0 steps flagged

No significant circularity; external classification plus explicit computation

full rationale

The paper's central claim rests on invoking Dugger's external classification of C2-surfaces, then computing the RO(C2)-graded Bredon cohomology with constant Z/2 coefficients case-by-case and observing that the resulting modules are parametrized by a small number of numerical invariants. This is a standard enumeration-plus-computation workflow with no reduction of any derived quantity to a fitted input, self-definition, or self-citation chain. The classification is cited as an independent input rather than derived from the cohomology itself.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The computation rests on an external classification whose completeness is taken as given; no free parameters or invented entities are mentioned in the abstract.

axioms (1)

domain assumption Classification of C2-surfaces given by Dugger is complete and exhaustive.
Abstract states that the computation uses this classification to cover all cases.

pith-pipeline@v0.9.0 · 5622 in / 1128 out tokens · 17608 ms · 2026-05-24T20:16:45.870944+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 the cohomology depends only on three numerical invariants in the nonfree case, and only on two numerical invariants in the free case. ... H∗,∗(X;Z/2)≅M2⊕(Σ1,1M2)⊕F−2⊕(Σ1,0A0)⊕β−F/2+1⊕Σ2,2M2
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

Theorem 3.11 (C. May). For any finite C2-CW complex X, we can decompose the RO(C2)-graded cohomology ... as (⊕iΣpi,qiM2)⊕(⊕jΣpj,0Anj)

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.