On the image of higher signature maps

Samuel Lerbet

arxiv: 2410.16899 · v4 · submitted 2024-10-22 · 🧮 math.AG · math.KT

On the image of higher signature maps

Samuel Lerbet This is my paper

Pith reviewed 2026-05-23 19:03 UTC · model grok-4.3

classification 🧮 math.AG math.KT

keywords Chow-Witt groupsquadratic real cycle class mapreal algebraic geometrycohomology of real locihigher signature mapscokernel exponentsconjecture on images

0 comments

The pith

The image of the quadratic real cycle class map is conjectured to be fixed by the exponents of its cokernel.

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

The paper examines the quadratic real cycle class map sending classes in the Chow-Witt groups of a smooth real variety to the cohomology of its real locus with coefficients in the associated local system. Explicit computations are given for the map in codimensions 0, d-2, d-1 and d. These calculations are used to formulate a conjecture that describes the image in terms of the exponents appearing in the cokernel. A sympathetic reader would care because the conjecture supplies a uniform way to relate algebraic cycle data over the reals to topological invariants of the real points.

Core claim

Given a smooth variety X over the reals and a line bundle L, the quadratic real cycle class map from the c-th Chow-Witt group to the c-th cohomology of the real locus is studied in codimensions 0, d-2, d-1 and d. A precise conjecture is formulated that the image of this map is determined by the exponents of its cokernel, and the conjecture is corroborated by the explicit results obtained in those codimensions.

What carries the argument

the quadratic real cycle class map from the Chow-Witt group to the cohomology of the real locus with twisted integer coefficients

If this is right

In codimension 0 the image equals the subgroup whose index is given by the cokernel exponents.
The same description of the image holds in codimensions d-2, d-1 and d.
The cokernel is finite and its prime-power exponents determine the precise index of the image in each of the four cases.
The conjecture supplies a uniform rule for the image once the cokernel exponents are known.

Where Pith is reading between the lines

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

If the conjecture is true, the image can be read off from the cokernel without further case analysis in any codimension.
The same pattern may relate the map to other real-algebraic invariants such as the signature or the Witt group.
A single counter-example in an intermediate codimension would falsify the proposed general form.

Load-bearing premise

The pattern observed in the four computed codimensions continues to hold for arbitrary codimension.

What would settle it

An explicit computation of the map in some codimension strictly between 1 and d-3 where the image fails to equal the subgroup predicted by the cokernel exponents.

read the original abstract

Given a smooth variety $X$ over the field $\mathbb{R}$ of real numbers and a line bundle $\mathcal{L}$ on $X$ with associated topological line bundle $L=\mathcal{L}(\mathbb{R})$, we study the quadratic real cycle class map $\widetilde{\gamma}_{\mathbb{R}}^c:\widetilde{\mathrm{CH}}^c(X,\mathcal{L})\rightarrow\mathrm{H}^c(X(\mathbb{R}),\mathbb{Z}(L))$ from the $c$-th Chow-Witt group of $X$ to the $c$-th cohomology group of its real locus $X(\mathbb{R})$ with coefficients in the local system $\mathbb{Z}(L)$ associated with $L$. We focus on the cases $c\in\{0,d-2,d-1,d\}$ where $d$ is the dimension of $X$ and we formulate a precise conjecture on the image of $\widetilde{\gamma}_{\mathbb{R}}$ in terms of the exponents of its cokernel that is corroborated by the results obtained in those codimensions.

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

A conjecture on the image of the quadratic real cycle class map, supported by explicit computations in four codimensions.

read the letter

The main thing here is a conjecture that pins down the image of the quadratic real cycle class map in terms of the exponents of its cokernel, with the claim checked explicitly for codimensions 0, d-2, d-1, and d on a smooth real variety. That formulation and the supporting calculations are the new piece; nothing in the abstract suggests this exact statement appeared before. The work is careful about restricting the claim to those cases and presents the pattern as a conjecture rather than a general theorem, which keeps the logic clean. The computations themselves appear to be independent of the conjecture, so there is no obvious circularity. The soft spot is exactly what the stress-test flags: the four codimensions are treated as representative, but there is no argument that the pattern must hold in the remaining degrees. That is standard for a conjecture, yet it does mean the result is limited in scope until more cases or a proof appear. The paper is aimed squarely at people already working with Chow-Witt groups and real cycle class maps; a reader outside that niche will not get much from it. The evidence is modest but honestly presented, so the manuscript is worth sending to referees who know the area. I would bring it to a reading group only if the group already has someone interested in real algebraic geometry.

Referee Report

0 major / 1 minor

Summary. The paper studies the quadratic real cycle class map from the Chow-Witt groups of a smooth real variety X with line bundle L to the cohomology of the real locus X(R) with coefficients in the associated local system. Explicit computations are carried out for the map in codimensions c belonging to {0, d-2, d-1, d}, and a precise conjecture is formulated describing the image of the map in terms of the exponents of its cokernel, with the conjecture presented as corroborated by those computations.

Significance. If the conjecture holds, the work would give an explicit description of the image of these higher signature maps in the indicated codimensions, contributing to the study of quadratic cycle class maps over the reals. The explicit computations in four codimensions constitute a concrete strength that grounds the observed pattern.

minor comments (1)

[Abstract] The abstract and introduction could more explicitly state that the conjecture applies only to the four listed codimensions rather than claiming generality without qualification.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of the results on the quadratic real cycle class map, and recommendation to accept. The report correctly identifies the focus on codimensions 0, d-2, d-1, d and the conjecture on the image in terms of cokernel exponents.

Circularity Check

0 steps flagged

No significant circularity; conjecture is explicitly an extrapolation from independent case computations.

full rationale

The paper defines the quadratic real cycle class map, performs explicit computations only in the listed codimensions c ∈ {0, d-2, d-1, d}, and states a conjecture on the image in terms of cokernel exponents as a pattern observed in those cases. No load-bearing step reduces by construction to fitted inputs, self-citations, or ansatzes; the claim is framed as a conjecture supported by the listed computations rather than a general derivation. This is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard background from algebraic geometry and Hermitian K-theory; no free parameters, ad-hoc axioms, or invented entities are indicated in the abstract.

axioms (1)

standard math Standard properties of Chow-Witt groups, quadratic cycle class maps, and real cohomology with local coefficients
Invoked throughout the study of the map and its image.

pith-pipeline@v0.9.0 · 5698 in / 1095 out tokens · 27806 ms · 2026-05-23T19:03:03.499953+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

[1]

arXiv: 1911.04150 [math] (cit. on pp. 2, 10–12). [Hor24] Jens Hornbostel. A Few Computations about the Real Cycle Class Map in Low Dimen sions. May

work page arXiv 1911
[2]

Real Cohomology and the Powers of the Fundamental Ideal in the Witt Ring

arXiv: 2405.14348. (Visited on 10/21/2024) (cit. on pp. 3, 15, 16). 22 [Jac17] Jeremy Jacobson. “Real Cohomology and the Powers of the Fundamental Ideal in the Witt Ring”. In: Annals of K-Theory 2.3 (June 2017), pp. 357–385 (cit. on pp. 10, 12). [Kne76] Manfred Knebusch. “On Algebraic Curves over Real Cl osed Fields. II”. In: Mathematische Zeitschrift 151...

work page arXiv 2024

[1] [1]

arXiv: 1911.04150 [math] (cit. on pp. 2, 10–12). [Hor24] Jens Hornbostel. A Few Computations about the Real Cycle Class Map in Low Dimen sions. May

work page arXiv 1911

[2] [2]

Real Cohomology and the Powers of the Fundamental Ideal in the Witt Ring

arXiv: 2405.14348. (Visited on 10/21/2024) (cit. on pp. 3, 15, 16). 22 [Jac17] Jeremy Jacobson. “Real Cohomology and the Powers of the Fundamental Ideal in the Witt Ring”. In: Annals of K-Theory 2.3 (June 2017), pp. 357–385 (cit. on pp. 10, 12). [Kne76] Manfred Knebusch. “On Algebraic Curves over Real Cl osed Fields. II”. In: Mathematische Zeitschrift 151...

work page arXiv 2024