## FIBERWISE BIMEROMORPHIC MAPS OF CONIC BUNDLES

## CONSTANTIN SHRAMOV

Abstract. Given a holomorphic conic bundle without sections, we show that the orders of 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 quasiprojective conic bundles.

## 1. Introduction

In many cases, biregular and birational structure of algebraic varieties and complex manifolds is reflected in the properties of finite groups acting on them. In particular, in certain situations there are boundedness results for such groups that are implied by the properties of rational curves on these varieties.

The following theorem was proved in [BZ17] (see also [SV18, Corollary 4.12] for a little bit more general assertion).

Theorem 1.1 ([BZ17, Corollary 4.11]) . Let K be a field of characteristic zero that contains all roots of 1 . Let C be a conic over K , and let G ⊂ Aut( X ) be a finite subgroup. Assume that C has no K -points. Then every non-trivial element of G has order 2 , and G is either a trivial subgroup, or is isomorphic to Z / 2 Z , or is isomorphic to Z / 2 Z × Z / 2 Z .

Given a rational (or meromorphic) map φ : X /axisshort/axisshort/arrowaxisright Y and a birational (or bimeromorphic) selfmap g : X /axisshort/axisshort/arrowaxisright X , we say that g is fiberwise with respect to φ if for every point Q where g is defined one has φ g Q ( ( )) = φ Q ( ). Applying Theorem 1.1 to rational curve fibrations without sections, one immediately obtains the following.

Corollary 1.2 (see the proof of [BZ17, Theorem 1.5]) . Let k be an algebraically closed field of characteristic zero, let X and Y be quasi-projective varieties over k , and let φ : X → Y be a fibration whose general fiber is a rational curve. Let G be a finite group acting on X by birational maps so that this action is fiberwise with respect to φ . Assume that φ has no rational sections. Then every non-trivial element of G has order 2 , and G is either a trivial subgroup, or is isomorphic to Z / 2 Z , or is isomorphic to Z / 2 Z × Z / 2 Z .

To deduce Corollary 1.2 from Theorem 1.1, one can note that the group G is a subgroup of the automorphism group of the generic fiber X η of φ , which is a conic over the function field k ( Y ). Since φ has no rational sections, the conic X η has no k ( Y )-points, and Theorem 1.1 applies.

Apparently, there is no room for generalizations of Theorem 1.1 in the case of complex manifolds. However, the following result provides a natural generalization of Corollary 1.2.

1991 Mathematics Subject Classification. 32M05, 14E07.

Key words and phrases. Conic bundle, bimeromorphic map, Jordan property.

This work is supported by the Russian Science Foundation under grant № 18-11-00121.

Theorem 1.3. Let φ : X → Y be a proper surjective holomorphic map of irreducible complex manifolds whose typical fiber is isomorphic to P 1 . Suppose that there does not exist a divisor on X whose intersection with a typical fiber of φ equals 1 . Let G be a finite group acting on X by bimeromorphic maps so that this action is fiberwise with respect to φ . Then every non-trivial element of G has order 2 . Moreover, G is either a trivial subgroup, or is isomorphic to Z / 2 Z , or is isomorphic to Z / 2 Z × Z / 2 Z .

We also prove an analog of Theorem 1.3 for fiberwise automorphisms, see Lemma 4.4 below.

Similarly to [BZ17] where Theorem 1.1 was applied to obtain further results concerning groups of birational automorphisms of higher-dimensional varieties, we use Theorem 1.3 to obtain some results on bimeromorphic automorphisms of higher-dimensional compact complex manifolds with a structure of a conic bundle. We refer the reader to Corollaries 5.4, 5.7, 5.8, and 5.9 below for details.

In § 2 we set the notation that will be used in the paper. In § 3 we collect several auxilairy results. In § 4 we study fixed points of fiberwise bimeromorphic maps and prove Theorem 1.3. In § 5 we apply Theorem 1.3 to study Jordan property for groups of bimeromorphic maps of certain complex manifolds.

I am grateful to T. Bandman, A. Efimov, A. Kuznetsov, Yu. Prokhorov, and Yu. Zarhin for useful discussions.

## 2. Notation

In this paper all complex manifolds are assumed to be irreducible. We refer the reader to [GPR94] for the basic facts on complex manifolds (and complex analytic spaces).

A proper surjective holomorphic map h : X → Y of complex manifolds is called a modification if there exist closed analytic subsets V /subsetnoteql X and W /subsetnoteql Y such that h restricts to a biholomorphic map X \ V → Y \ W . A meromorphic map f : X /axisshort/axisshort/arrowaxisright Y is defined by the closure of its graph Γ f ⊂ X × Y , that is assumed to be a proper closed analytic subset of X × Y such that the projection Γ f → X is a modification. The meromorphic map f is said to be bimeromorphic if the projection Γ f → Y is a modification as well. We refer the reader to [GPR94, § 7.1] for more details concerning these definitions.

Let φ : X → Y be a holomorphic map of complex manifolds. By a fiber of φ over a point P ∈ Y we mean the (possibly non-reduced) complex analytic space φ P ∗ . For instance, if we say that all fibers of φ are isomorphic to P 1 , we mean that they are reduced and isomorphic to P 1 with the most usual reduced structure. A section of φ is a closed analytic subset D ⊂ X that intersects every fiber of φ by a single point. By a P 1 -bundle we mean a holomorphic map of complex manifolds whose fibers are isomorphic to P 1 ; note that a P 1 -bundle is automatically locally trivial.

A holomorphic map of complex manifolds φ : X → Y is called proper if the preimage of any compact subset of Y is compact. The map φ is proper if and only if it is closed and has compact fibers. If φ is surjective, it is enough to require that its fibers are compact.

Given a complex manifold X , by Bim( X ) we denote its group of bimeromorphic selfmaps, and by Aut( X ) we denote its group of biholomorphic selfmaps. Given a holomorphic map φ : X → Y of complex manifolds and a bimeromorphic map g : X /axisshort/axisshort/arrowaxisright X , we say that φ is g -equivariant if there exist a bimeromorphic map g Y : Y /axisshort/axisshort/arrowaxisright Y such that φ ◦ g = g Y ◦ φ as meromorphic maps from X to Y . By Bim( X φ ; ) we denote the subgroup of Bim( X ) that consists of all selfmaps g such that φ is g -equivariant. By Bim( X ) φ

we denote the subgroup of Bim( X φ ; ) that consists of all selfmaps whose action is fiberwise with respect to φ ; more precisely, we require that for every point Q where g is defined one has φ g Q ( ( )) = φ Q ( ). We set

$$\text{Aut} ( X ; \phi ) = \text{Bim} ( X ; \phi ) \cap \text{Aut} ( X )$$

and Aut( X ) φ = Bim( X ) φ ∩ Aut( X ).

For a meromorphic map g : X /axisshort/axisshort/arrowaxisright X , we denote by I ( g ) the set of points in X where g is not holomorphic. By Fix( g ) we denote the set of points x ∈ X such that g is holomorphic at x and g x ( ) = x .

By T P ( X ) we denote the tangent space to a complex manifold X at a point P ∈ X . By O X we denote the sheaf of holomorphic functions on X .

A typical point of a complex manifold X is a point outside a proper closed analytic subset of X . A typical fiber of a holomorphic (or meromorphic) map is a fiber over a typical point in the image.

## 3. Preliminaries

In this section we collect several auxiliary results that will be used in the proof of Theorem 1.3 and related statements.

Recall that if X is a complex manifold, U is a dense open subset of X , and Z ⊂ U is a closed analytic subset of U , then the closure ¯ of Z Z in X may be much larger than Z ; in particular, Z may be not dense in ¯ . Z However, for certain subsets the situation here is still nice enough.

Lemma 3.1. Let X be a compact complex manifold, and let g : X /axisshort/axisshort/arrowaxisright X be a meromorphic map. Then there exists a closed analytic subset Fix( g ) of X such that Fix( g ) is a dense open subset of Fix( g ) .

Proof. Consider the graph Γ g ⊂ X × X of the map g . Let ∆ ⊂ X × X be the diagonal, and let pr 1 : X × X → X be the projection to the first factor. Set

$$\overline { \text{Fix} } ( g ) = \text{pr} _ { 1 } ( \Gamma _ { g } \cap \Delta ).$$

Then Fix( g ) is a closed analytic subset of X .

The set I ( g ) of indeterminacy points of g is a closed analytic subset of X . Let U = X \ I ( g ). Then U is a dense open subset in X . It remains to notice that

$$\text{Fix} ( g ) = \overline { \text{Fix} } ( g ) \cap U,$$

which implies that Fix( g ) is open and dense in Fix( g ).

/square

Lemma 3.2. Let φ : X → Y be a surjective holomorphic map of compact complex manifolds whose typical fiber has dimension 1 . Let G ⊂ Bim( X ) φ be a finite subgroup. Then G acts by holomorphic maps in a neighborhood of a typical fiber of φ , and this action is faithful on a typical fiber of φ .

Proof. Restricting to the preimage of the complement to a suitable proper closed analytic subset in Y , we may assume that all fibers of φ are onedimensional, see [GPR94, Theorem 2.1.19]. This implies that the map φ is open by [GPR94, Theorem 2.1.18].

Choose a non-trivial element g ∈ G . Then the set I ( g ) of indeterminacy points of g is a closed analytic subset of codimension at least 2 in X , see for instance [GPR94, Remark 7.1.8(1)]. Since the dimension of a fiber of φ is 1, the image φ I g ( ( )) is contained in a proper closed analytic subset Z g of Y . Furthermore, we know from Lemma 3.1 that there exists a proper closed analytic subset Fix( g ) of X that contains Fix( g ). Since φ is open, the set

$$U _ { g } = \phi ( X \, \bigwedge \overline { \text{Fix} } ( g ) )$$

is open in Y , so that the set W g = Y \ U g is closed. Therefore, the action of g is holomorphic and non-trivial on the fibers of φ over all points of Y \ ( Z g ∪ W g ). Since the group G is finite, the assertion of the lemma follows. /square

The following result is well-known, see for instance [GPR94, Theorem 2.2.13].

Theorem 3.3. Let φ : X → Y be a holomorphic map of complex manifolds. Suppose that all fibers of φ have dimension equal to dim X -dim Y . Then φ is flat.

Corollary 3.4. Let φ : X → Y be a proper holomorphic map of complex manifolds. Suppose that all fibers of φ have dimension equal to dim X -dim Y . Let L be a vector bundle on X , and let E = φ ∗ L . Then E is a vector bundle on Y .

Proof. By construction, L is a flat coherent sheaf on X . Hence E is a coherent sheaf on Y , see for instance [GPR94, Theorem 3.4.1]. Moreover, since φ is flat by Theorem 3.3, we conclude that E is a flat coherent sheaf on Y , see [GPR94, Proposition 2.2.6(2)]. This means that E is a vector bundle on Y , see [GPR94, Proposition 2.2.6(3)]. /square

The following lemma will be used in § 5.

Lemma 3.5. Let X and Y be complex manifolds, and let φ : X → Y be a P 1 -bundle. Suppose that there is a divisor on X whose intersection number with a fiber of φ equals 1 . Then X is isomorphic to a projectivization of a rank 2 vector bundle on Y . Moreover, if there exist two disjoint sections of φ , then this vector bundle is decomposable.

Proof. Let D be a divisor on X whose intersection number with a fiber of φ equals 1. It defines a line bundle L = O X ( D ) on X . Let E = φ ∗ L . Then E is a vector bundle on Y by Corollary 3.4. Since the degree of the restriction L | F equals 1, where F ∼ = P 1 is a fiber of φ , the rank of E equals 2. There is a natural holomorphic map ψ : X → P Y ( E ), which commutes with the projection on Y and induces isomorphisms on fibers. Thus ψ is an isomorphism.

Now suppose that there exist two disjoint sections D 1 and D 2 of φ . Then D 1 and D 2 are (effective) divisors on X . Consider the Koszul resolution of the intersection D 1 ∩ D 2 = ∅ :

$$0 \to \mathcal { O } _ { X } ( - D _ { 1 } - D _ { 2 } ) \to \mathcal { O } _ { X } ( - D _ { 1 } ) \oplus \mathcal { O } _ { X } ( - D _ { 2 } ) \to \mathcal { O } _ { X } \to 0.$$

Tensoring it with O X ( D 1 ) and taking a push-forward by φ we get

$$0 \to \phi _ { * } \mathcal { O } _ { X } ( - D _ { 2 } ) \to \phi _ { * } \mathcal { O } _ { X } \oplus \phi _ { * } \mathcal { O } _ { X } ( D _ { 1 } - D _ { 2 } ) \to \phi _ { * } \mathcal { O } _ { X } ( D _ { 1 } ) \to R ^ { 1 } \phi _ { * } \mathcal { O } _ { X } ( - D _ { 2 } ).$$

Note that φ ∗ O X = O Y . Since O X ( -D 2 ) restricts to F = P as O P 1 ( -1), we know that

$$\phi _ { * } \mathcal { O } _ { X } ( - D _ { 2 } ) = R ^ { 1 } \phi _ { * } \mathcal { O } _ { X } ( - D _ { 2 } ) = 0.$$

∼ 1 1 .

Therefore, we obtain an isomorphism

$$\mathcal { O } _ { Y } \oplus \phi _ { * } \mathcal { O } _ { X } ( D _ { 1 } - D _ { 2 } ) \stackrel { \sim } { \longrightarrow } \phi _ { * } \mathcal { O } _ { X } ( D _ { 1 } ).$$

Note that O X ( D 1 -D 2 ) restricts to F as O F , so that φ ∗ O X ( D 1 -D 2 ) is a line bundle on Y . This means that E = φ ∗ O X ( D 1 ) is a decomposable vector bundle of rank 2 on Y . It remains to recall from the first part of the proof that X is isomorphic to the projectivization of E . /square

Similarly to Lemma 3.5 one proves the following.

Lemma 3.6. Let X and Y be complex manifolds. Let φ : X → Y be a proper holomorphic map whose fibers are one-dimensional and whose typical fiber is isomorphic to P 1 . Suppose that there is a divisor D on X such that the intersection number of D with a fiber of φ equals 1 . Then X is bimeromorphic to a projectivization of a rank 2 vector bundle on Y .

Proof. The divisor D defines a line bundle L = O X ( D ) on X . Let F be a typical fiber of φ . Then F ∼ = P 1 , and the degree of the restriction of L to F equals 1. Let E = φ ∗ L . Similarly to the proof of Lemma 3.5, we see that E is a vector bundle of rank 2. Furthermore, there is a natural holomorphic map ψ : X → P Y ( E ), which restricts to an isomorphism on the dense open subset of X swept out by smooth fibers of φ . One can easily see that the map ψ is bimeromorphic (and actually is a modification). /square

The following result is well-known.

Lemma 3.7. Let X be a compact complex manifold that does not contain rational curves, and let g : X /axisshort/axisshort/arrowaxisright X be a meromorphic map. Then g is holomorphic.

Proof. Suppose that g is not holomorphic. Consider the regularization of g given by a sequence of blow ups of smooth centers. This gives a commutative diagram

/d126

/d126

/d32

/d32

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00750v2-figure-7f398b1b-b8ac-4cb4-b78a-f8e354497255.jpg)

/d47

The exceptional locus of f is covered by curves isomorphic to P 1 (this follows for instance from [GPR94, Theorem 7.2.8] or [F76, Theorem 4.1]). Since g is not holomorphic, some of these curves are not mapped to points by h . However, there are no non-trivial maps of P 1 to X , which gives a contradiction. /square

In particular, Lemma 3.7 applies to the case when X is a complex torus, because the latter does not contain rational curves.

We conclude this section by an elementary observation concerning automorphisms of the projective line.

Lemma 3.8. Let g ∈ Aut( P 1 ) be an element of finite order n /greaterorequalslant 2 . Then g has exactly two fixed points on P 1 . Let P 1 and P 2 be these points. Then there is a primitive n -th root of unity ζ such that g acts in the one-dimensional tangent spaces T P 1 ( F ) and T P 2 ( F ) by ζ and ζ -1 , respectively.

Proof. In appropriate homogeneous coordinates x and y on P 1 , one can write the action of g as

↦

$$( x \colon y ) \mapsto ( \zeta x \colon y ),$$

where ζ is a primitive root of 1.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00750v2-figure-a9ff4b2e-e888-49c4-a300-e19171fddc30.jpg)

## 4. Proof of Theorem 1.3

In this section we study fixed points of fiberwise bimeromorphic maps and prove Theorem 1.3.

Lemma 4.1. Let φ : X → Y be a surjective holomorphic map of compact complex manifolds whose typical fiber is isomorphic to P 1 . Let g ∈ Bim( X ) φ be a bimeromorphic map. Suppose that the order of g is finite and is larger than 2 . Then there exist two distinct irreducible effective divisors on X whose intersection with a typical fiber of φ equals 1 . Moreover, if g is biholomorphic and φ is a P 1 -bundle, then these divisors may be chosen to be disjoint sections of φ .

/negationslash

Let n &gt; 2 be the order of g . Let F be a typical fiber of φ , so that F ∼ = P 1 . By Lemma 3.2 we may assume that the action of g on F is holomorphic, and the restriction of g to F has order n . Therefore, g has exactly two fixed points on F , say, P 1 and P 2 . This means that Σ intersects a typical fiber of φ by two points.

Proof. By Lemma 3.1 there exists a closed analytic subset Fix( g ) of X such that Fix( g ) is a dense open subset of Fix( g ). Since g is not the identity map, one has Fix( g ) = X . Let Σ be the union of irreducible components of Fix( g ) that have codimension 1 in X and are mapped surjectively on Y by φ . Then Σ is a (possibly zero) effective divisor on X .

/negationslash

By Lemma 3.8 there is a primitive n -th root of unity ζ such that g acts in the onedimensional tangent spaces T P 1 ( F ) and T P 2 ( F ) by ζ and ζ -1 , respectively. Since n &gt; 2, we see that ζ = ζ -1 . Hence Σ splits as a union Σ ζ ∪ Σ ζ -1 of two divisors whose intersection number with a typical fiber of φ equals 1.

Now suppose that g is biholomorphic and φ is a P 1 -bundle. Let us show that the divisors Σ ζ and Σ ζ -1 are disjoint sections of φ . By Lemma 3.8 to do this it is enough to check that g acts by an automorphism of order n on every fiber of φ .

Suppose that this is not the case. Then, replacing g by its suitable power if necessary, we may assume that there is a fiber F of φ such that the non-trivial automorphism g restricts to the identity map on F . Let P be a point on F . Then g acts non-trivially on the tangent space T P ( X ), see for instance [Akh95, § 2.2] or [PS17, Corollary 4.2]. On the other hand, g acts trivially on the subspace T P ( F ) ⊂ T P ( X ). The morphism φ is a submersion by [GPR94, Theorem 2.1.14]. Therefore,

$$d \phi \colon T _ { P } ( X ) \longrightarrow T _ { \phi ( P ) } ( Y )$$

is a surjective linear map whose kernel is identified with T P ( F ), see for instance [GPR94, Remark 2.1.15]. Moreover, the map dφ is g -equivariant, where the corresponding action of g on Y is taken to be trivial. Since g acts trivially on the tangent space T φ P ( ) ( Y ), we conclude that the action of g on T P ( X ) is trivial as well. The obtained contradiction completes the proof of the lemma. /square

Now we prove Theorem 1.3.

Proof of Theorem 1.3. Let g be a non-trivial element of G . By Lemma 4.1, the order of g equals 2. Using Lemma 3.2, we may assume that the action of G on F ∼ = P 1 is holomorphic and faithful. Since all non-trivial elements of G have order 2, we conclude that G is a subgroup of Z / 2 Z × Z / 2 Z . /square

Remark 4.2 . It follows from the proof of Theorem 1.3 that its assertion actually holds under a slightly weaker assumption: it is enough to require that there do not exist two

distinct irreducible effective divisors on X whose intersection numbers with a typical fiber of φ equal 1.

Remark 4.3 . If K is a field of characteristic zero that contains all roots of 1, then the proof of Lemma 3.8 works for automorphisms of PK 1 . Thus one can prove Corollary 1.2 using the same argument as in the proof of Theorem 1.3.

One more consequence of Lemma 4.1 is the following analog of Theorem 1.3.

Lemma 4.4. Let X and Y be compact complex manifolds, and let φ : X → Y be a P 1 -bundle. Suppose that X is not a projectivization of a decomposable vector bundle of rank 2 on Y . Let G be a finite subgroup of Aut( X ) φ . Then every non-trivial element of G has order 2 . Moreover, G is either a trivial subgroup, or is isomorphic to Z / 2 Z , or is isomorphic to Z / 2 Z × Z / 2 Z .

Proof. Let g be a non-trivial element of g . We know from Lemma 3.5 that there do not exist two disjoint sections of φ . Hence the order of g equals 2 by Lemma 4.1. Using Lemma 3.2 as in the proof of Theorem 1.3, we conclude that G is a subgroup of Z / 2 Z × Z / 2 Z . /square

## 5. Jordan property

In this section we apply the previous results to study groups of bimeromorphic selfmaps.

Definition 5.1 (see [Pop11, Definition 2.1], [BZ17, Definition 1.1]) . A group Γ is called Jordan if there is a constant J such that for any finite subgroup G ⊂ Γ there exists a normal abelian subgroup A ⊂ G of index at most J . We say that Γ is strongly Jordan if it is Jordan and there exists a constant R = R (Γ) such that every finite subgroup of Γ is generated by at most R elements.

Example 5.2. Let Y be a complex torus. Then the group Bim( Y ) is strongly Jordan. Indeed, we have Bim( Y ) = Aut( Y ) by Lemma 3.7. On the other hand, it is easy to see that the group Aut( Y ) is Jordan, see for instance [PS17, Corollary 8.7]. By [Mun13, Theorem 1.3] this implies that Aut( Y ) is strongly Jordan.

Given a group Γ, we say that Γ has bounded finite subgroups if there exists a constant B = B (Γ) such that, for any finite subgroup G ⊂ Γ, one has | G | /lessorequalslant B . For the following group-theoretic result we refer the reader to [PS14, Lemma 2.8] or [BZ15, Lemma 2.2].

## Lemma 5.3. Let

$$1 \longrightarrow \Gamma ^ { \prime } \longrightarrow \Gamma \longrightarrow \Gamma ^ { \prime \prime }$$

be an exact sequence of groups. Suppose that Γ ′ has bounded finite subgroups and Γ ′′ is strongly Jordan. Then Γ is strongly Jordan.

Now we will derive some corollaries from Theorem 1.3.

Corollary 5.4. Let X and Y be compact complex manifolds, and let φ : X → Y be a surjective holomorphic map whose typical fiber is isomorphic to P 1 . Suppose that there does not exist an effective divisor on X whose intersection number with a typical fiber of φ equals 1 . Suppose also that the group Bim( Y ) is strongly Jordan. Then the group Bim( X φ ; ) is strongly Jordan.

Proof. One has an exact sequence of groups

$$1 \to \text{Bim} ( X ) _ { \phi } \to \text{Bim} ( X ; \phi ) \to \text{Bim} ( Y )$$

We know from Theorem 1.3 that the group Bim( X ) φ has bounded finite subgroups. Therefore, the group Bim( X φ ; ) is strongly Jordan by Lemma 5.3. /square

We can also prove an analog of Corollary 5.4 for automorphism groups.

Corollary 5.5. Let X and Y be compact complex manifolds, and let φ : X → Y be a P 1 -bundle. Suppose that X is not a projectivization of a decomposable vector bundle of rank 2 on Y . Suppose also that the group Aut( Y ) is strongly Jordan. Then the group Aut( X φ ; ) is strongly Jordan.

Proof. One has an exact sequence of groups

$$1 \to \text{Aut} ( X ) _ { \phi } \to \text{Aut} ( X ; \phi ) \to \text{Aut} ( Y )$$

By Lemma 4.4 the group Aut( X ) φ has bounded finite subgroups. Therefore, the group Aut( X φ ; ) is strongly Jordan by Lemma 5.3. /square

One interesting application of Corollary 5.5 concerns P 1 -bundles over complex tori.

Remark 5.6 . Let Y be a complex torus, let X be a compact complex manifold, and let φ : X → Y be a holomorphic map whose typical fiber is isomorphic to P 1 . Since there are no non-trivial maps of P 1 to the complex torus Y , we see that the image of a typical fiber of φ under any bimeromorphic map of X projects to a point in Y , that is, it is again a fiber of φ . This means that φ is g -equivariant with respect to any element g ∈ Bim( X ), so that Bim( X ) = Bim( X φ ; ) and Aut( X ) = Aut( X φ ; ).

Corollaries 5.4 and 5.5 imply the following result.

Corollary 5.7. Let Y be a complex torus, let X be a compact complex manifold, and let φ : X → Y be a P 1 -bundle. If X is not a projectivization of a rank 2 vector bundle on Y , then the group Bim( X ) is strongly Jordan. If X is not a projectivization of a decomposable vector bundle of rank 2 on Y , then the group Aut( X ) is strongly Jordan.

Proof. By Remark 5.6, we have Bim( X ) = Bim( X φ ; ) and Aut( X ) = Aut( X φ ; ). Furthermore, according to Example 5.2, the group Bim( Y ) is strongly Jordan.

If X is not a projectivization of a rank 2 vector bundle on Y , by Lemma 3.5 there does not exist a divisor on X whose intersection number with a fiber of φ equals 1. Therefore, the group Bim( X ) is strongly Jordan by Corollary 5.4. Similarly, if X is not a projectivization of a decomposable vector bundle of rank 2 on Y , then the group Aut( X ) is strongly Jordan by Corollary 5.5. /square

For results concerning (the absence of) Jordan property for groups of bimeromorphic automorphisms of projectivizations of vector bundles of rank 2 on complex tori, we refer the reader to [Zar19, Theorems 1.9, 1.10, and 1.12].

Note that for a quasi-projective conic bundle φ : X → Y existence of a section implies that X is birational to Y × P 1 . Therefore, we see from Corollary 1.2 that if a birational automorphism of finite order greater than 2 acts on X so that the action is fiberwise with respect to φ , then X is birational to Y × P 1 (cf. [BZ17, Theorem 1.5]). For complex manifolds we deduce the following consequence of Lemma 3.6.

Corollary 5.8. Let X and Y be compact complex manifolds. Let φ : X → Y be a surjective holomorphic map whose fibers are one-dimensional and whose typical fiber is isomorphic to P 1 . Suppose that X is not bimeromorphic to a projectivization of a rank 2 vector bundle on Y . Suppose also that the group Bim( Y ) is strongly Jordan. Then the group Bim( X φ ; ) is strongly Jordan.

Proof. By Lemma 3.6, there does not exist a divisor on X whose intersection number with a fiber of φ equals 1. Hence the group Bim( X φ ; ) is strongly Jordan by Corollary 5.4. /square

Corollary 5.9. Let Y be a complex torus, let X be a compact complex manifold, and let φ : X → Y be a surjective holomorphic map whose fibers are one-dimensional and whose typical fiber is isomorphic to P 1 . Suppose that X is not bimeromorphic to a projectivization of a rank 2 vector bundle on Y . Then the group Bim( X ) is strongly Jordan.

Proof. By Remark 5.6 we have Bim( X ) = Bim( X φ ; ), and by Example 5.2 the group Bim( Y ) is strongly Jordan. Therefore, the assertion follows from Corollary 5.8. /square

It would be interesting to find out if Theorem 1.3 or Corollaries 5.4 and 5.8 can be generalized to the case of fibrations whose typical fiber is a rational surface. We refer the reader to [PS18] and [SV18] for results of similar flavor concerning projective varieties. Also, I do not know the answer to the following question.

Question 5.10. Does there exist an indecomposable vector bundle of rank 2 on a complex torus such that for its projectivization X the group Bim( X ) is not strongly Jordan?

Finally, the following general question looks interesting and relevant to the subject of this paper.

Question 5.11 (cf. [EN83, Proposition 4.1]) . Over which complex tori there exist a P 1 -bundle that is not a projectivization of a rank 2 vector bundle?

## References

| [Akh95]   | D. N. Akhiezer. Lie group actions in complex analysis . Aspects of Mathematics, E27. Friedr. Vieweg & Sohn, Braunschweig, 1995.                                                                                       |
|-----------|-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [BZ15]    | T. Bandman, Yu. Zarhin. Jordan groups and algebraic surfaces. Transform. Groups 20 (2), 327-334 (2015).                                                                                                               |
| [BZ17]    | T. Bandman, Yu. Zarhin. Jordan groups, conic bundles and abelian varieties. Alg. Geom. 4 (2), 229-246 (2017).                                                                                                         |
| [EN83]    | G. Elencwajg, M. S. Narasimhan. Projective bundles on a complex torus. J. Reine Angew. Math. 340 , 1-5 (1983).                                                                                                        |
| [F76]     | G. Fischer. Complex analytic geometry. Lecture Notes in Mathematics, Vol. 538 . Springer- Verlag, Berlin-New York, 1976.                                                                                              |
| [GPR94]   | 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.                                      |
| [Mun13]   | Ignasi Mundet i Riera. Finite group actions on manifolds without odd cohomology, arXiv:1310.6565 (2013).                                                                                                              |
| [Pop11]   | 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. |
| [PS14]    | Yu. Prokhorov, C. Shramov. Jordan property for groups of birational selfmaps. Compositio Math. 150 (12), 2054-2072 (2014).                                                                                            |
| [PS17]    | Yu. Prokhorov, C. Shramov. Automorphism groups of compact complex surfaces , arXiv:1708.03566 (2017).                                                                                                                 |

| [PS18]   | Yu. Prokhorov, C. Shramov. Finite groups of birational selfmaps of threefolds. Math. Res. Lett. 25 , no. 3, 957-972 (2018).   |
|----------|-------------------------------------------------------------------------------------------------------------------------------|
| [SV18]   | C. Shramov, V. Vologodsky. Automorphisms of pointless surfaces, arXiv:1807.06477 (2018).                                      |
| [Zar19]  | Yu. Zarhin. Complex tori, theta groups and their Jordan properties, arXiv:1902.06184 (2019).                                  |

Steklov Mathematical Institute of Russian Academy of Sciences, 8 Gubkina st., Moscow, 119991, Russia

National Research University Higher School of Economics, Laboratory of Algebraic Geometry, 6 Usacheva str., Moscow, 119048, Russia

E-mail address : costya.shramov@gmail.com
Constantin Shramov
Fiberwise bimeromorphic maps of conic bundles
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.