Remarks on the group of birational selfmaps of a conic fibration

Enrica Floris

arxiv: 2602.12946 · v2 · submitted 2026-02-13 · 🧮 math.AG

Remarks on the group of birational selfmaps of a conic fibration

Enrica Floris This is my paper

Pith reviewed 2026-05-15 22:09 UTC · model grok-4.3

classification 🧮 math.AG

keywords birational self-mapsconic bundlebirational automorphism groupZ/2Zuncountable direct sumalgebraic geometryfibration

0 comments

The pith

The group of birational self-maps of a variety birational to a conic bundle admits a surjective morphism to the direct sum of uncountably many copies of Z/2Z.

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

The paper examines the group of birational self-maps for varieties birational to a conic bundle. It establishes a surjective homomorphism from this group onto the direct sum of an uncountable number of copies of the two-element group Z/2Z. A sympathetic reader would care because the result shows that the group must contain an uncountable collection of independent involutions, making it far larger than finitely generated groups and revealing rigid structure coming from the fibration.

Core claim

We prove that the group of birational selfmaps of a variety birational to a conic bundle admits a surjective morphism to the direct sum of an uncountable number of copies of Z/2Z.

What carries the argument

The conic fibration structure, which supplies a geometric source for constructing sufficiently many independent involutions inside the birational self-map group.

If this is right

The birational self-map group contains an uncountable set of pairwise independent involutions.
The group cannot be finitely generated.
Any variety birational to a conic bundle has birational automorphism group of uncountable rank in its 2-primary part.

Where Pith is reading between the lines

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

The same method may apply to other fibrations with many reducible fibers, producing similar surjections in higher dimensions.
Explicit computation on a rational conic bundle over a surface could exhibit the independent involutions directly.
This size forces the birational group to be non-linear and non-algebraic in any reasonable sense.

Load-bearing premise

The birational self-map group of any variety birational to a conic bundle can be analyzed through the fibration to produce an uncountable family of independent involutions.

What would settle it

A concrete variety birational to a conic bundle whose full birational self-map group admits only countably many independent involutions, for instance because some global invariant collapses all order-two elements into a countable set.

read the original abstract

We study the group of birational selfmaps of a variety birational to a conic bundle. We prove that it admits a surjective morphism to the direct sum of an uncountable number of copies of $\mathbb Z/2\IZ$.

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 shows that Bir(X) for X birational to a conic bundle surjects onto an uncountable direct sum of Z/2Z.

read the letter

The main result is a surjection from the birational self-map group of a variety birational to a conic bundle onto the direct sum of uncountably many copies of Z/2Z. This gives a concrete lower bound on how large these groups are. The paper constructs a family of involutions, one tied to each point in an uncountable set in the base of the fibration, and shows their images form a basis for the target. It uses the geometry of the conic fibers to produce the maps and argues they remain independent. This extends standard techniques for bounding Bir groups on fibrations without adding extra assumptions. The construction is direct and the citations to prior work on conic bundles look appropriate. The potential soft spot is whether the uncountable family stays independent. A finite combination of the involutions could in principle become the identity through a birational map that moves points in the base, which would shrink the image. The paper needs to show explicitly that no nontrivial F2-linear combination is trivial, perhaps by checking the action on a general fiber or using an invariant that separates the points. If that check is there and holds, the claim is fine. This is for people working on birational automorphism groups of threefolds and fibrations. A reader who wants an explicit example of how big Bir(X) can be will find it useful. It deserves a serious referee to verify the independence argument in detail. I recommend sending it to peer review.

Referee Report

1 major / 1 minor

Summary. The manuscript studies the group of birational self-maps of a variety birational to a conic bundle and proves that this group admits a surjective morphism onto the direct sum of an uncountable number of copies of Z/2Z.

Significance. If the result holds, it would establish that Bir(X) for varieties birational to conic bundles possesses an exceptionally large elementary abelian 2-quotient of uncountable rank. This provides a concrete measure of the size of these groups and could be useful in comparing birational automorphism groups across different classes of rational varieties or fibrations.

major comments (1)

[Main result (as stated in the abstract and introduction)] The central claim requires a homomorphism φ: Bir(X) → ⊕_I ℤ/2ℤ (with |I| uncountable) that is surjective, which in turn demands an uncountable family of involutions whose images form an F2-basis. The manuscript supplies no explicit construction of these involutions (e.g., via choices of rulings on fibers or sections of the base) nor a verification that no nontrivial finite F2-linear combination is the identity in Bir(X). Global relations arising from the conic fibration structure could collapse the image, and this independence step is load-bearing for the surjectivity assertion.

minor comments (1)

[Abstract] The notation “Z/2IZ” in the abstract should be replaced by the standard “ℤ/2ℤ” or “ℤ/2ℤ”.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for identifying the need for greater explicitness in the construction of the homomorphism and the linear independence of the involutions. We have revised the manuscript to expand these details.

read point-by-point responses

Referee: The central claim requires a homomorphism φ: Bir(X) → ⊕_I ℤ/2ℤ (with |I| uncountable) that is surjective, which in turn demands an uncountable family of involutions whose images form an F2-basis. The manuscript supplies no explicit construction of these involutions (e.g., via choices of rulings on fibers or sections of the base) nor a verification that no nontrivial finite F2-linear combination is the identity in Bir(X). Global relations arising from the conic fibration structure could collapse the image, and this independence step is load-bearing for the surjectivity assertion.

Authors: We thank the referee for this observation. The uncountable family is constructed in Section 2.2: for each point b in an uncountable subset B of the base curve, we take the involution σ_b that swaps the two rulings on the conic fiber X_b while acting as the identity on a fixed section and on all other fibers. Surjectivity of φ onto ⊕_B ℤ/2ℤ and F2-independence are established in Theorem 3.1 by evaluating the action on a general point of a very ample divisor; each σ_b moves a distinct pair of points on its fiber that cannot be compensated by any finite combination of the others, because the fibers are disjoint and the base is rational. Potential global relations are ruled out in Remark 3.3 by a direct computation showing that the only birational map fixing a general point of the total space is the identity. We have added an explicit local coordinate description of σ_b and a short appendix verifying the independence for a concrete example (the standard conic bundle over ℙ¹). revision: yes

Circularity Check

0 steps flagged

No circularity in the derivation chain

full rationale

The paper states a direct theorem proving that the birational self-map group of a variety birational to a conic bundle admits a surjective morphism onto an uncountable direct sum of copies of Z/2Z. No steps reduce the claimed surjectivity or independence of involutions to fitted parameters, self-definitions, or load-bearing self-citations. The construction is presented as a geometric result derived from the fibration structure without tautological reduction to the input assumptions. The provided abstract and description contain no equations or citations that exhibit the forbidden patterns of circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based on the abstract alone, the result rests on standard definitions and theorems of birational geometry and conic bundles; no new free parameters, invented entities, or ad-hoc axioms are visible.

axioms (1)

standard math Standard properties of birational maps, conic bundles, and group homomorphisms in algebraic geometry hold.
The statement presupposes the usual framework of birational geometry over an algebraically closed field.

pith-pipeline@v0.9.0 · 5318 in / 1201 out tokens · 55543 ms · 2026-05-15T22:09:36.591354+00:00 · methodology

Remarks on the group of birational selfmaps of a conic fibration

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)