Fiberwise bimeromorphic maps of conic bundles

Constantin Shramov

REVIEW 4 major objections 3 minor 13 references

Fiberwise bimeromorphic maps of conic bundles

T0 review · 4 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read The paper proves that if a holomorphic conic bundle admits no divisor meeting a typical fiber in one point, then every finite group acting on it by fiberwise bimeromorphic maps is trivial, cyclic of order 2, or the Klein four-group.

desk verdict Theorem 1.3 is a real extension and its proof is sound, but the paper currently has a false auxiliary lemma (Cor. 3.4) that takes down Lemma 3.6 and Corollaries 5.8–5.9 as written; the main theorem survives. read the letter →

arxiv 1908.00750 v2 pith:HA5G3HMX submitted 2019-08-02 math.AG

Constantin Shramov This is my paper · ORCID

classification math.AG MSC 32M0514E07

keywords conicbundlebimeromorphicmapfiberwiseactionfinitegroupJordanpropertycomplexmanifoldsprojectiveline

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

This paper establishes a boundedness theorem for finite symmetry groups of holomorphic conic bundles. If $\varphi\colon X\to Y$ is a proper surjective holomorphic map whose typical fiber is $\mathbb{P}^1$, and if no divisor on $X$ meets a typical fiber in exactly one point, then any finite group acting on $X$ by fiberwise bimeromorphic transformations is either trivial, $\mathbb{Z}/2\mathbb{Z}$, or $\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/2\mathbb{Z}$. This is the complex-analytic counterpart of a theorem for quasi-projective conic bundles without rational sections. The result matters because it converts a potentially wild group of bimeromorphic self-maps into one of three bounded possibilities whenever the fibration carries no degree-one divisor, and the fixed-locus argument behind it feeds directly into strong Jordan-property conclusions for automorphism groups of $\mathbb{P}^1$-bundles over complex tori.

What carries the argument

The load-bearing mechanism is the eigenvalue splitting of the fixed locus in Lemma 4.1. For a finite-order fiberwise bimeromorphic map $g$ of order $n>2$, the restriction to a typical fiber $F\cong\mathbb{P}^1$ is a finite-order automorphism with exactly two fixed points; Lemma 3.8 gives a primitive $n$-th root of unity $\zeta$ such that the tangent actions at those two points are multiplication by $\zeta$ and $\zeta^{-1}$. Since $n>2$, $\zeta\neq\zeta^{-1}$, and this split makes the closure of the fixed locus break into two distinct divisor components $\Sigma_\zeta$ and $\Sigma_{\zeta^{-1}}$, each meeting a typical fiber in exactly one point. The existence of even one such component contradicts the no-degree-one-divisor hypothesis; in the automorphism setting, Lemmas 3.5 and 3.6 convert such components into a projectivization of a rank-$2$ vector bundle (decomposable when there are two disjoint sections). Lemma 3.2 is the bridge that lets bimeromorphic maps be treated as holomorphic on typical fibers.

What would settle it

Construct or find a compact complex conic bundle with no divisor meeting a typical fiber once that admits a fiberwise bimeromorphic automorphism of order $3$; the theorem predicts the fixed locus of that map must split into two degree-one divisors, so inspecting the fixed locus of such a candidate decides the claim. A natural place to look is a projectivized indecomposable rank-$2$ vector bundle over a complex torus: finding a fiberwise order-$3$ automorphism there would refute the automorphism version, while proving none exist would support it.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.3: for a proper surjective holomorphic map $\varphi\colon X\to Y$ of irreducible complex manifolds with typical fiber $\mathbb{P}^1$, if there is no divisor on $X$ whose intersection with a typical fiber equals $1$, then every non-trivial element of a finite fiberwise bimeromorphic group $G$ has order $2$, and $G$ is $\{1\}$, $\mathbb{Z}/2\mathbb{Z}$, or $\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/2\mathbb{Z}$. The proof runs through the fixed locus of a single finite-order element $g$. On a typical fiber $F\cong\mathbb{P}^1$, the restriction of $g$ has exactly two fixed points, and the tangent action there is multiplication by $\zeta$ and $\zeta^{-1}$ for a primitive $n$-th root of unity. When $n>2$ these two eigenvalues are distinct, so the closure of the fixed locus splits into two irreducible codimension-one divisors, each meeting a typical fiber in exactly one point. The hypothesis forbids even one such divisor, hence $n$ cannot exceed $2$; with all elements involutions, a faithful action on a typical $\mathbb{P}^1$ restricts $G$ to a subgroup of $\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/2\mathbb{Z}$. The companion Lemma 4.4 gives the same bound for holomorphic fiberwise automorphisms of a $\mathbb{P}^1$-bundle that is not the projectivization of a decomposable rank-2 vector bundle.

Load-bearing premise

The argument assumes that the two fixed points of a finite-order fiberwise map on a typical $\mathbb{P}^1$ fiber extend to two codimension-one fixed components in $X$, each meeting a typical fiber once, with the tangent scaling factors $\zeta$ and $\zeta^{-1}$ staying distinct along them.

Editorial extensions

If this is right

On a holomorphic conic bundle with no degree-one divisor on typical fibers, finite fiberwise bimeromorphic group actions are bounded in the strongest sense: there are only three possible groups, so the group order is at most $4$.
For automorphisms of a $\mathbb{P}^1$-bundle, the same order-$2$ dichotomy holds whenever $X$ is not a projectivization of a decomposable rank-$2$ vector bundle; consequently $\operatorname{Aut}(X;\varphi)$ is strongly Jordan, meaning every finite subgroup has a normal abelian subgroup of bounded index and bounded generator number, whenever $\operatorname{Aut}(Y)$ is strongly Jordan.
For $\mathbb{P}^1$-bundles over complex tori, $\operatorname{Bim}(X)$ is strongly Jordan whenever $X$ is not a projectivization of a rank-$2$ vector bundle on the torus, because every bimeromorphic self-map of $X$ is automatically fiberwise over the torus.
Contrapositively, any finite-order fiberwise bimeromorphic map of order greater than $2$ produces two distinct degree-one divisors on $X$; checking for such divisors is a direct certificate that no such symmetry exists.

Reading between the lines

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

The fixed-locus splitting suggests a sharper statement than the one emphasized: on a smooth conic bundle, existence of a finite-order fiberwise bimeromorphic map of order $>2$ is equivalent to existence of two distinct effective degree-one divisors, so the two-divisor version in Remark 4.2 is probably the natural hypothesis.
The same eigenvalue-splitting mechanism could be tried on fibrations whose typical fiber is a rational surface; there the fixed locus of a finite-order map would be a curve rather than two points, and the number of eigenvalues controlling the splitting would likely set a higher but still explicit order bound.
For the torus applications, the mechanism predicts that a projectivized indecomposable rank-$2$ vector bundle over a complex torus admits no fiberwise automorphism of order $>2$; this can be checked directly on explicit bundles, and finding a counterexample would pinpoint exactly where the Jordan-property conclusion fails.

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

Short version: Theorem 1.3 is a genuine extension of Bandman–Zarhin’s boundedness theorem from quasi-projective conic bundles to compact complex manifolds, and the proof of that theorem is in good shape. The trouble is in the auxiliary material. Corollary 3.4 is false as stated, and the statements that rely on it need to be re-proved or restricted.

What’s actually new: the paper replaces “no rational section” by “no divisor meeting a typical fiber in degree 1” and uses fixed-point divisors. Lemma 4.1 shows an order n > 2 fiberwise bimeromorphic map would create two such divisors, one for the tangent eigenvalue ζ and one for ζ^{-1}; then Theorem 1.3 follows from the fact that all nontrivial elements have order 2, so the group embeds in (Z/2)^2. The argument is short, self-contained, and persuasive. The Jordan-property corollaries are the natural payoff, and they are new in this analytic setting. I see no circularity: [BZ17] and [SV18] are used as prior context, not as inputs to the proof.

The soft spot is Corollary 3.4. It says that for a proper flat map with equidimensional fibers, φ_*L is a vector bundle. That is not what flatness buys you. The direct image can fail to be locally free when h^0 jumps on a special fiber; the standard counterexample is a deformation of P^1 with a degree-one line bundle degenerating to a reducible fiber. The stress-test example (blow-up of P^1×Δ at a point on the central fiber, twist by O(H−2C2)) is exactly this phenomenon. So Corollary 3.4 is wrong, and Lemma 3.6 uses it directly; Lemma 3.5 and Corollaries 5.8–5.9 inherit the problem. Lemma 3.5 is probably repairable because in a genuine P1-bundle a fiber-degree-1 line bundle has constant h^0=2 and h^1=0, so Grauert’s theorem gives local freeness; but as written the proof still cites the false statement. Corollaries 5.8 and 5.9 are unproven as written.

The main theorem does not use Corollary 3.4, and I could not find any other load-bearing flaw. The fixed-point divisor argument in Lemma 4.1 is independent and looks sound. Citation pattern is fine; self-citations are to standard facts, not to results that determine the conclusion. No fitted parameters or invented entities.

Bottom line: this paper deserves a serious referee. The right outcome is likely “major revision” or “conditional accept”: fix Corollary 3.4 (or replace it with the correct Grauert-type statement), repair Lemma 3.6 and the corollaries, and the core result stands. I would send it back for that revision.

Referee Report

4 major / 3 minor

Summary. The paper proves an analog for compact complex manifolds of a theorem of Bandman–Zarhin on finite groups acting fiberwise on conic bundles without sections. The main result, Theorem 1.3, states that if φ:X→Y is a proper surjective holomorphic map with typical fiber P1 and there is no divisor on X meeting a typical fiber in one point, then any finite group acting by fiberwise bimeromorphic maps has all non-trivial elements of order 2 and is isomorphic to a subgroup of (Z/2Z)^2. The proof uses a fixed-point analysis of a finite-order fiberwise map on a typical fiber, which produces two divisors of degree one on the fiber, contradicting the no-divisor assumption. The paper also derives applications to strong Jordan property for bimeromorphic automorphism groups of certain conic bundles, especially over complex tori.

Significance. If the main theorem and its proofs are correct, the paper gives a natural complex-analytic analogue of a known algebraic result and establishes boundedness of finite fiberwise bimeromorphic group actions on such conic bundles, with a bound of order 4. The proof of Theorem 1.3 is self-contained, uses a standard fixed-point argument, and does not fit parameters or assume the conclusion; the argument appears sound. I also credit the author for explicitly identifying the key geometric mechanism (the two fixed points with reciprocal tangent eigenvalues) that converts forbidden symmetry into forbidden divisors. However, a significant flaw affects several auxiliary statements used in Section 5, so the paper cannot be accepted in its present form.

major comments (4)

[§3, Corollary 3.4] Corollary 3.4 is false as stated. The proof asserts that because φ is flat and L is flat, the direct image φ_*L is flat, citing [GPR94, Proposition 2.2.6(2)]. This implication is not valid for direct images: flatness of φ does not make φ_*L flat, and local freeness of φ_*L fails precisely when h^0(L|_fiber) jumps. For example, take Y=Δ, X=Bl_p(P1×Δ) with p on the central fiber, write the central fiber as C1∪C2 with C1 the exceptional curve and C2 the proper transform, and take L=O_X(H−2C2), where H is a horizontal section meeting C2 once and missing C1. On a general fiber L has degree 1 and h^0=2, while on the central fiber the degrees are −2 on C1 and +3 on C2, giving h^0=3, so φ_*L is not locally free. This correction is load-bearing because the corollary is cited in Lemma 3.5 and Lemma 3.6.
[§3, Lemma 3.5] The proof of Lemma 3.5 relies directly on Corollary 3.4 to conclude that E=φ_*L is a vector bundle. Since Corollary 3.4 is false, the proof as written is invalid. In this lemma, however, the conclusion may be salvageable: because φ is a P1-bundle and L restricts to O(1) on every fiber, h^0(L|_F)=2 is constant, so Grauert's theorem would give local freeness. The author should replace the invocation of Corollary 3.4 with Grauert's theorem or another correct argument.
[§3, Lemma 3.6] Lemma 3.6 is unproven as stated because it applies Corollary 3.4 in a genuinely non-constant situation: the fibers of φ are one-dimensional and only the typical fiber is P1, so h^0(L|_F) can jump on special fibers. The direct image φ_*L need not be a vector bundle; it may have skyscraper sheaves. The proof cannot be repaired merely by replacing one citation, because the claimed isomorphism of X with a projectivization up to modification needs a locally free direct image. Consequently the lemma as stated is not established.
[§5, Corollaries 5.8 and 5.9] Corollaries 5.8 and 5.9 are deduced from Lemma 3.6, which is not proved. These corollaries are therefore currently unsupported. The main theorem, Theorem 1.3, does not use Corollary 3.4; its proof via Lemma 4.1 is independent and appears sound. The status of the §5 applications, however, needs to be explicitly revisited after the issue with Lemma 3.6 is resolved.

minor comments (3)

[Abstract] The abstract contains a typographical artifact, 'ord ers', where a space splits the word 'orders'.
[§3, Lemma 3.1] The notation for the closed analytic set denoted 'Fix(g)' is inconsistent: in the statement an overline appears to have been lost, and the proof refers to Fix(g) as containing Fix(g) as a dense open subset. Please clarify the notation, e.g. use $\overline{\mathrm{Fix}(g)}$.
[§3, Lemma 3.6] The statement of Lemma 3.6 says 'the intersection number of D with a fiber of φ equals 1,' but the proof works with typical fibers; since a non-typical fiber may be singular or reducible, the intended hypothesis should be stated in terms of a typical fiber to match the proof and the usage in Corollaries 5.8–5.9.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; Theorem 1.3 follows from a self-contained contradiction argument.

full rationale

The claimed derivation chain is not circular. Theorem 1.3 assumes the absence of any divisor meeting a typical fiber in degree 1, and Lemma 4.1 shows that if a fiberwise bimeromorphic map had finite order n > 2, then two such divisors would exist. The conclusion that every non-trivial element has order 2 is obtained by contradiction from the stated hypothesis, not by building the hypothesis into the conclusion. Lemma 4.1 itself uses only Lemma 3.2 (typical fibers are acted on holomorphically and faithfully), Lemma 3.8 (the two fixed points of a P1-automorphism have tangent eigenvalues zeta and zeta^{-1}), and standard analytic facts about fixed loci; it does not assume the theorem. The subsequent reduction of G to a subgroup of Z/2Z x Z/2Z is again a direct application of the faithful holomorphic action on a typical P1. Citations to [PS17], [PS18], and [SV18] are used for standard facts or prior context, not as inputs that force the main conclusion; in particular, the cited facts do not include Theorem 1.3. No parameters are fitted and no quantity is renamed as a prediction. The auxiliary Corollary 3.4 may be questionable as a matter of correctness, and it is used in Lemma 3.6 and Corollaries 5.8–5.9, but this is a separate validity concern and does not render the derivation circular: Theorem 1.3 and its supporting Lemma 4.1 do not rely on Corollary 3.4. Overall, the main argument is self-contained and non-circular.

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

No free parameters or invented entities. All axioms are standard complex-analytic theorems or elementary facts; none is introduced ad hoc to force the main theorem. The key geometric assumption is the no-degree-one-divisor condition, which replaces the algebraic section condition.

assumptions (5)

standard math A proper holomorphic map with all fibers of dimension dim X minus dim Y is flat.
Theorem 3.3, cited to [GPR94, Theorem 2.2.13]; used in Corollary 3.4 and Lemmas 3.5 and 3.6.
standard math The closure of the fixed point set of a meromorphic selfmap is a closed analytic subset, and it equals the fixed point set away from the indeterminacy locus.
Lemma 3.1; used in Lemma 4.1 to produce the fixed divisor Σ.
standard math The indeterminacy locus of a meromorphic map between complex manifolds has codimension at least two.
Cited to [GPR94, Remark 7.1.8(1)] in Lemma 3.2.
standard math A finite-order automorphism of P1 of order n has two fixed points with inverse tangent eigenvalues.
Lemma 3.8, proved by explicit coordinates; used to split the fixed locus into two distinct divisors.
standard math A finite-order biholomorphism fixing a point with identity differential is locally identity.
Used in Lemma 4.1 via [Akh95, §2.2] and [PS17, Corollary 4.2].

how reviews work

0 comments

Cite this review

Pith. "Pith review of Fiberwise bimeromorphic maps of conic bundles." pith.science (2026). https://pith.science/paper/HA5G3HMX

@misc{pith2026190800750,
  author       = {Pith},
  title        = {Pith review of: Fiberwise bimeromorphic maps of conic bundles},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HA5G3HMX}},
  note         = {Machine review of arXiv:1908.00750}
}

read the original abstract

Given a holomorphic conic bundle without sections, we show that finite groups acting by its fiberwise bimeromorphic transformations are bounded. This provides an analog of a similar result obtained by T.Bandman and Yu.Zarhin for quasi-projective conic bundles.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

13 extracted references · 12 canonical work pages

[1]

D. N. Akhiezer. Lie group actions in complex analysis. Aspects of Mathematics, E27. Friedr. Vieweg & Sohn, Braunschweig, 1995

work page 1995
[2]

Bandman, Yu

T. Bandman, Yu. Zarhin. Jordan groups and algebraic surfaces. Transform. Groups 20 (2), 327--334 (2015)

work page 2015
[3]

Bandman, Yu

T. Bandman, Yu. Zarhin. Jordan groups, conic bundles and abelian varieties. Alg. Geom. 4 (2), 229--246 (2017)

work page 2017
[4]

Elencwajg, M

G. Elencwajg, M. S. Narasimhan. Projective bundles on a complex torus. J. Reine Angew. Math. 340, 1--5 (1983)

work page 1983
[5]

G. Fischer. Complex analytic geometry. Lecture Notes in Mathematics, Vol. 538. Springer-Verlag, Berlin--New York, 1976

work page 1976
[6]

Grauert, T

H. Grauert, T. Peternell, R. Remmert. Several complex variables VII. Sheaf-theoretical methods in complex analysis. Encycl. Math. Sci., Vol. 74, Berlin: Springer-Verlag, 1994

work page 1994
[7]

Finite group actions on manifolds without odd cohomology

Ignasi Mundet i Riera. Finite group actions on manifolds without odd cohomology, arXiv:1310.6565 (2013)

work page Pith review arXiv 2013
[8]

V. Popov. On the Makar-Limanov, Derksen invariants, and finite automorphism groups of algebraic varieties. Affine algebraic geometry, 289--311, CRM Proc. Lecture Notes, 54, Amer. Math. Soc., Providence, RI, 2011

work page 2011

Show all 13 references

[9]

Prokhorov, C

Yu. Prokhorov, C. Shramov. Jordan property for groups of birational selfmaps. Compositio Math. 150 (12), 2054--2072 (2014)

2014
[10]

Prokhorov, C

Yu. Prokhorov, C. Shramov. Automorphism groups of compact complex surfaces, arXiv:1708.03566 (2017)

2017 arXiv
[11]

Prokhorov, C

Yu. Prokhorov, C. Shramov. Finite groups of birational selfmaps of threefolds. Math. Res. Lett. 25, no. 3, 957--972 (2018)

2018
[12]

Shramov, V

C. Shramov, V. Vologodsky. Automorphisms of pointless surfaces, arXiv:1807.06477 (2018)

2018 arXiv
[13]

Yu. Zarhin. Complex tori, theta groups and their Jordan properties, arXiv:1902.06184 (2019)

2019 arXiv

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [1]

D. N. Akhiezer. Lie group actions in complex analysis. Aspects of Mathematics, E27. Friedr. Vieweg & Sohn, Braunschweig, 1995

work page 1995

[2] [2]

Bandman, Yu

T. Bandman, Yu. Zarhin. Jordan groups and algebraic surfaces. Transform. Groups 20 (2), 327--334 (2015)

work page 2015

[3] [3]

Bandman, Yu

T. Bandman, Yu. Zarhin. Jordan groups, conic bundles and abelian varieties. Alg. Geom. 4 (2), 229--246 (2017)

work page 2017

[4] [4]

Elencwajg, M

G. Elencwajg, M. S. Narasimhan. Projective bundles on a complex torus. J. Reine Angew. Math. 340, 1--5 (1983)

work page 1983

[5] [5]

G. Fischer. Complex analytic geometry. Lecture Notes in Mathematics, Vol. 538. Springer-Verlag, Berlin--New York, 1976

work page 1976

[6] [6]

Grauert, T

H. Grauert, T. Peternell, R. Remmert. Several complex variables VII. Sheaf-theoretical methods in complex analysis. Encycl. Math. Sci., Vol. 74, Berlin: Springer-Verlag, 1994

work page 1994

[7] [7]

Finite group actions on manifolds without odd cohomology

Ignasi Mundet i Riera. Finite group actions on manifolds without odd cohomology, arXiv:1310.6565 (2013)

work page Pith review arXiv 2013

[8] [8]

V. Popov. On the Makar-Limanov, Derksen invariants, and finite automorphism groups of algebraic varieties. Affine algebraic geometry, 289--311, CRM Proc. Lecture Notes, 54, Amer. Math. Soc., Providence, RI, 2011

work page 2011