On the number of real forms of a complex variety

Gerard van der Geer; Xun Yu

arxiv: 2401.13284 · v3 · pith:YTAWIV2Qnew · submitted 2024-01-24 · 🧮 math.AG

On the number of real forms of a complex variety

Gerard van der Geer , Xun Yu This is my paper

Pith reviewed 2026-05-24 04:00 UTC · model grok-4.3

classification 🧮 math.AG

keywords real formscomplex varietiesautomorphism groupsSylow subgroupsplane curvesweighted countsalgebraic geometry

0 comments

The pith

Complex varieties with finite automorphism groups have a bounded weighted number of real forms.

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

The paper provides an upper bound on the sum, over all real forms of a given complex variety, of the reciprocal of the order of the automorphism group of that real form. This bound holds whenever the automorphism group of the complex variety is finite. A second bound is given that incorporates information from the Sylow 2-subgroup of the automorphism group. These results are applied to obtain explicit bounds on the real forms of plane curves.

Core claim

For a complex variety X with finite automorphism group, the weighted number of real forms, where each real form Y contributes a weight of 1 over the order of its automorphism group, is bounded above. An additional bound is derived using the Sylow 2-subgroup of the automorphism group of X. As a consequence, the number of real forms of plane curves is also bounded in a weighted sense.

What carries the argument

The weighted count of real forms defined by summing the inverses of the orders of their automorphism groups.

If this is right

The weighted sum of real forms is finite and bounded by a quantity depending on the automorphism group.
Bounds can be refined using the structure of the Sylow 2-subgroup.
Explicit bounds exist for the real forms of plane curves.

Where Pith is reading between the lines

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

Such bounds may help in enumerating real algebraic varieties up to isomorphism.
The approach could extend to counting forms over other fields or with additional structures.
Applications might include computational classification of real curves of low degree.

Load-bearing premise

The automorphism group of the complex variety is finite.

What would settle it

A complex variety with finite automorphism group for which the sum of the reciprocals of the automorphism orders of its real forms exceeds the bound given in the paper.

read the original abstract

We give a bound on the number of weighted real forms of a complex variety with finite automorphism group, where the weight is the inverse of the number of automorphisms of the real form. We give another bound involving the Sylow 2-subgroup and as an application we give bounds on real forms of plane curves.

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 paper claims explicit bounds on weighted real forms for complex varieties with finite automorphism groups, plus a Sylow 2 version and plane-curve applications, but the abstract supplies no proofs or comparisons so the actual advance is unclear.

read the letter

The main takeaway is that this paper states upper bounds on the number of weighted real forms of a complex variety whose automorphism group is finite, with the weight defined as the reciprocal of the real form's own automorphism order. It adds a variant that uses the Sylow 2-subgroup and works out explicit bounds for plane curves. That is the concrete content offered in the abstract. The weighting idea is a reasonable way to normalize the count when real forms come with different symmetry sizes, and restricting to finite automorphism groups lets the authors get some control via group order. The plane-curve application is the part that could be checked against known lists of real curves, which is a plus for usability. Beyond that, the abstract gives no derivations, no lemmas, and no comparison with earlier counts of real forms, so it is impossible to tell whether the bounds are new, sharp, or just restatements of standard orbit-counting arguments. The finite-automorphism hypothesis is a genuine limitation; it excludes many varieties whose automorphism groups are positive-dimensional, so the result applies only to a restricted class. Without the full text there is also no way to verify internal consistency or see whether the proofs rely on any unstated assumptions about the base field or the action. This work is aimed at specialists in real algebraic geometry who already care about enumerating real structures on varieties with small automorphism groups. Someone working on moduli of curves or on real forms of surfaces might find the plane-curve bounds worth looking at, but a general reader in algebraic geometry will not get much. I would send the paper to peer review so that referees can examine the actual arguments and check them against known examples; the claims are specific enough to be falsifiable once the details are written down. If the proofs turn out to be thin or the bounds already appear in the literature, it can be revised or rejected at that stage.

Referee Report

1 major / 0 minor

Summary. The manuscript claims to provide a bound on the number of weighted real forms of a complex variety with finite automorphism group (weight equal to the inverse of the number of automorphisms of the real form), a second bound involving the Sylow 2-subgroup, and an application yielding bounds on real forms of plane curves.

Significance. If the stated bounds are correctly derived from properties of finite automorphism groups, the results would supply quantitative control on real forms in algebraic geometry, with the plane-curve application offering a concrete test case. The absence of any displayed derivations, lemmas, or explicit statements of the bounds in the provided text prevents a full evaluation of their novelty or utility.

major comments (1)

Abstract: the claims assert the existence of explicit bounds but supply no derivations, lemmas, or verification steps, so soundness cannot be assessed from the given information alone.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for reviewing our manuscript. We address the single major comment below.

read point-by-point responses

Referee: Abstract: the claims assert the existence of explicit bounds but supply no derivations, lemmas, or verification steps, so soundness cannot be assessed from the given information alone.

Authors: The abstract is a concise summary of the results obtained in the paper. The full manuscript contains the explicit statements of the bounds (including the weighted count and the Sylow 2-subgroup bound), together with the derivations, lemmas, and verification steps. These appear in the body of the text following the abstract, allowing a complete evaluation of soundness and novelty. revision: no

Circularity Check

0 steps flagged

No significant circularity

full rationale

The abstract states bounds on weighted real forms derived from properties of finite automorphism groups and Sylow 2-subgroups, presented as consequences rather than self-referential constructions. No equations, predictions, or self-citations are visible that reduce a claimed result to its own inputs by definition or fitting. The derivation chain appears self-contained against external group-theoretic facts, with no load-bearing steps matching the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Review performed on abstract only; no free parameters, invented entities, or non-standard axioms are identifiable from the given text. The results rest on the standard domain assumption that the objects are complex algebraic varieties equipped with finite automorphism groups.

pith-pipeline@v0.9.0 · 5561 in / 1061 out tokens · 32410 ms · 2026-05-24T04:00:53.963170+00:00 · methodology

On the number of real forms of a complex variety

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)