Showing 1–25 of 25 results for author: Zimmermann, S

Explicit Sarkisov program for regular surfaces over arbitrary fields and applications

Authors: Fabio Bernasconi, Andrea Fanelli, Julia Schneider, Susanna Zimmermann

Abstract: We prove the Sarkisov program for projective surfaces over excellent base rings, including the case of non-perfect base fields of characteristic p>0. We classify the Sarkisov links between Mori fibre spaces and their relations for regular surfaces, generalising work of Iskovskikh. As an application, we discuss rationality problems for regular surfaces and the structure of the plane Cremona group. We prove the Sarkisov program for projective surfaces over excellent base rings, including the case of non-perfect base fields of characteristic p>0. We classify the Sarkisov links between Mori fibre spaces and their relations for regular surfaces, generalising work of Iskovskikh. As an application, we discuss rationality problems for regular surfaces and the structure of the plane Cremona group. △ Less

Submitted 4 April, 2024; originally announced April 2024.

Comments: 64 pages

MSC Class: 14E07; 14E30; 14L99

Real forms of Mori fiber spaces with many symmetries

Authors: Ronan Terpereau, Susanna Zimmermann

Abstract: We determine the rational real forms of the complex Mori fiber spaces for which the identity component of the automorphism group is a maximal connected algebraic subgroup of $\mathrm{Bir}(\mathbb{P}_{\mathbb{C}}^{3})$. This yields a list of maximal connected algebraic subgroup of $\mathrm{Bir}(\mathbb{P}_{\mathbb{R}}^{3})$. We furthermore determine the equivariant Sarkisov links starting from thes… ▽ More We determine the rational real forms of the complex Mori fiber spaces for which the identity component of the automorphism group is a maximal connected algebraic subgroup of $\mathrm{Bir}(\mathbb{P}_{\mathbb{C}}^{3})$. This yields a list of maximal connected algebraic subgroup of $\mathrm{Bir}(\mathbb{P}_{\mathbb{R}}^{3})$. We furthermore determine the equivariant Sarkisov links starting from these rational real forms. This article is the first step towards classifying all the maximal connected algebraic subgroups of $\mathrm{Bir}(\mathbb{P}_{\mathbb{R}}^{3})$. △ Less

Submitted 24 May, 2024; v1 submitted 21 March, 2024; originally announced March 2024.

Comments: 48 pages, comments are welcome

MSC Class: 14E07; 14J50; 14L99; 20G40

Maximal subgroups in the Cremona group

Authors: Andrea Fanelli, Enrica Floris, Susanna Zimmermann

Abstract: We show that for any $n\geq5$ there exist connected algebraic subgroups in the Cremona group $\mathrm{Bir}(\mathbb{P}^n)$ that are not contained in any maximal connected algebraic subgroup. Our approach exploits the existence of stably rational, non-rational threefolds. We show that for any $n\geq5$ there exist connected algebraic subgroups in the Cremona group $\mathrm{Bir}(\mathbb{P}^n)$ that are not contained in any maximal connected algebraic subgroup. Our approach exploits the existence of stably rational, non-rational threefolds. △ Less

Submitted 2 July, 2024; v1 submitted 8 November, 2023; originally announced November 2023.

Comments: Mistake in proof of Proposition 2.1 is fixed, added Appendix

MSC Class: 14E07; 14L30; 20G99

Birational involutions of the real projective plane

Authors: Ivan Cheltsov, Frédéric Mangolte, Egor Yasinsky, Susanna Zimmermann

Abstract: We classify birational involutions of the real projective plane up to conjugation. In contrast with an analogous classification over the complex numbers (due to E. Bertini, G. Castelnuovo, F. Enriques, L. Bayle and A. Beauville), which includes 4 different classes of involutions, we discover 12 different classes over the reals, and provide many examples when the fixed curve of an involution does n… ▽ More We classify birational involutions of the real projective plane up to conjugation. In contrast with an analogous classification over the complex numbers (due to E. Bertini, G. Castelnuovo, F. Enriques, L. Bayle and A. Beauville), which includes 4 different classes of involutions, we discover 12 different classes over the reals, and provide many examples when the fixed curve of an involution does not determine its conjugacy class in the real plane Cremona group. △ Less

Submitted 10 May, 2024; v1 submitted 30 July, 2022; originally announced August 2022.

Comments: Minor corrections following referees' comments. To appear in J. Eur. Math. Soc. (JEMS)

MSC Class: 14E07; 14E05; 14E30; 14J45; 14P99

Properties of the Cremona group endowed with the Euclidean topology

Authors: Hannah Bergner, Susanna Zimmermann

Abstract: Consider a Cremona group endowed with the Euclidean topology introduced by Blanc and Furter. It makes it a Hausdorff topological group that is not locally compact nor metrisable. We show that any sequence of elements of the Cremona group of bounded order that converges to the identity is constant. We use this result to show that the Cremona groups do not contain any non-trivial sequence of subgrou… ▽ More Consider a Cremona group endowed with the Euclidean topology introduced by Blanc and Furter. It makes it a Hausdorff topological group that is not locally compact nor metrisable. We show that any sequence of elements of the Cremona group of bounded order that converges to the identity is constant. We use this result to show that the Cremona groups do not contain any non-trivial sequence of subgroups converging to the identity. We also show that, in general, paths in a Cremona group do not lift and do not satisfy a property similar to the definition of morphisms to a Cremona group. △ Less

Submitted 7 February, 2023; v1 submitted 30 August, 2021; originally announced August 2021.

MSC Class: 14E07 (Primary) 22F99 (Secondary)

Factorization centers in dimension two and the Grothendieck ring of varieties

Authors: Hsueh-Yung Lin, Evgeny Shinder, Susanna Zimmermann

Abstract: We initiate the study of factorization centers of birational maps, and complete it for surfaces over a perfect field in this article. We prove that for every birational automorphism $φ: X \dashrightarrow X$ of a smooth projective surface $X$ over a perfect field $k$, the blowup centers are isomorphic to the blowdown centers in every weak factorization of $φ$. This implies that nontrivial L-equival… ▽ More We initiate the study of factorization centers of birational maps, and complete it for surfaces over a perfect field in this article. We prove that for every birational automorphism $φ: X \dashrightarrow X$ of a smooth projective surface $X$ over a perfect field $k$, the blowup centers are isomorphic to the blowdown centers in every weak factorization of $φ$. This implies that nontrivial L-equivalences of $0$-dimensional varieties cannot be constructed based on birational automorphisms of a surface. It also implies that rationality centers are well-defined for every rational surface $X$, namely there exists a $0$-dimensional variety intrinsic to $X$, which is blown up in any rationality construction of $X$. △ Less

Submitted 11 June, 2023; v1 submitted 8 December, 2020; originally announced December 2020.

Comments: Final version. To appear in Algebraic Geometry

Small G-varieties

Authors: Hanspeter Kraft, Andriy Regeta, Susanna Zimmermann

Abstract: An affine varieties with an action of a semisimple group $G$ is called "small" if every non-trivial $G$-orbit in $X$ is isomorphic to the orbit of a highest weight vector. Such a variety $X$ carries a canonical action of the multiplicative group $\mathbb{K}^*$ commuting with the $G$-action. We show that $X$ is determined by the $\mathbb{K}^*$-variety $X^U$ of fixed points under a maximal unipotent… ▽ More An affine varieties with an action of a semisimple group $G$ is called "small" if every non-trivial $G$-orbit in $X$ is isomorphic to the orbit of a highest weight vector. Such a variety $X$ carries a canonical action of the multiplicative group $\mathbb{K}^*$ commuting with the $G$-action. We show that $X$ is determined by the $\mathbb{K}^*$-variety $X^U$ of fixed points under a maximal unipotent subgroups $U$ of $G$. Moreover, if $X$ is smooth, then $X$ is a $G$-vector bundle over the quotient $X// G$. If $G$ is of type $A_n$ ($n>1$), $C_n$, $E_6$, $E_7$ or $E_8$, we show that all affine $G$-varieties up to a certain dimension are small. As a consequence we have the following result. If $n>4$, every smooth affine $SL_n$-variety of dimension $<2n$ is an $\mathrm{SL}_n$-vector bundle over the smooth quotient $X//\mathrm{SL}_n$, with fiber isomorphic to the natural representation or its dual. △ Less

Submitted 11 September, 2020; originally announced September 2020.

MSC Class: 14R20; 14L30

Algebraic subgroups of the plane Cremona group over a perfect field

Authors: Julia Schneider, Susanna Zimmermann

Abstract: We show that any infinite algebraic subgroup of the plane Cremona group over a perfect field is contained in a maximal algebraic subgroup of the plane Cremona group. We classify the maximal groups, and their subgroups of rational points, up to conjugacy by a birational map. We show that any infinite algebraic subgroup of the plane Cremona group over a perfect field is contained in a maximal algebraic subgroup of the plane Cremona group. We classify the maximal groups, and their subgroups of rational points, up to conjugacy by a birational map. △ Less

Submitted 24 October, 2023; v1 submitted 9 August, 2020; originally announced August 2020.

Comments: With a Corrigendum closing a gap in the classification

MSC Class: 14E07; 14J50; 14L99; 20G40

Journal ref: Épijournal de Géométrie Algébrique, Volume 5 (November 16, 2021) epiga:6715

Bijective Cremona transformations of the plane

Authors: Shamil Asgarli, Kuan-Wen Lai, Masahiro Nakahara, Susanna Zimmermann

Abstract: We study the birational self-maps of the projective plane over finite fields that induce permutations on the set of rational points. As a main result, we prove that no odd permutation arises over a non-prime finite field of characteristic two, which completes the investigation initiated by Cantat about which permutations can be realized this way. Main ingredients in our proof include the invarianc… ▽ More We study the birational self-maps of the projective plane over finite fields that induce permutations on the set of rational points. As a main result, we prove that no odd permutation arises over a non-prime finite field of characteristic two, which completes the investigation initiated by Cantat about which permutations can be realized this way. Main ingredients in our proof include the invariance of parity under groupoid conjugations by birational maps, and a list of generators for the group of such maps. △ Less

Submitted 21 March, 2022; v1 submitted 11 October, 2019; originally announced October 2019.

Comments: 51 pages, removed section 5.A and made improvements on exposition, to appear in Selecta Mathematica

MSC Class: 14E07 (Primary) 14G15; 20B30 (Secondary)

Continuous automorphisms of Cremona groups

Authors: Christian Urech, Susanna Zimmermann

Abstract: We show that if a group automorphism of a Cremona group of arbitrary rank is also a homeomorphism with respect to either the Zariski or the Euclidean topology, then it is inner up to a field automorphism of the base-field. Moreover, we show that a similar result holds if we consider groups of polynomial automorphisms of affine spaces instead of Cremona groups. We show that if a group automorphism of a Cremona group of arbitrary rank is also a homeomorphism with respect to either the Zariski or the Euclidean topology, then it is inner up to a field automorphism of the base-field. Moreover, we show that a similar result holds if we consider groups of polynomial automorphisms of affine spaces instead of Cremona groups. △ Less

Submitted 24 September, 2019; originally announced September 2019.

Optimal control via second order sensitivity analysis

Authors: Simon Zimmermann, Roi Poranne, Stelian Coros

Abstract: This short note shows how to solve optimal control problems using second order sensitivity analysis This short note shows how to solve optimal control problems using second order sensitivity analysis △ Less

Submitted 21 May, 2019; originally announced May 2019.

Quotients of higher dimensional Cremona groups

Authors: Jérémy Blanc, Stéphane Lamy, Susanna Zimmermann

Abstract: We study large groups of birational transformations Bir(X), where X is a variety of dimension at least 3, defined over C or a subfield of C. Two prominent cases are when X is the projective space, in which case Bir(X) is the Cremona group of rank n, or when X is a smooth cubic hypersurface. In both cases, and more generally when X is birational to a conic bundle, we produce infinitely many distinc… ▽ More We study large groups of birational transformations Bir(X), where X is a variety of dimension at least 3, defined over C or a subfield of C. Two prominent cases are when X is the projective space, in which case Bir(X) is the Cremona group of rank n, or when X is a smooth cubic hypersurface. In both cases, and more generally when X is birational to a conic bundle, we produce infinitely many distinct group homomorphisms from Bir(X) to Z/2, showing in particular that the group Bir(X) is not perfect and thus not simple. As a consequence we also obtain that the Cremona group of rank n at least 3 is not generated by linear and Jonquières elements. △ Less

Submitted 9 June, 2021; v1 submitted 14 January, 2019; originally announced January 2019.

Comments: Item (RF4) in main definition 3.1 was modified: many thanks to Yang He for spotting the problem! Other minor changes. To appear in Acta Mathematica

Journal ref: Acta Mathematica, Vol. 226, No. 2, pp. 211-318, 2021

A new presentation of the plane Cremona group

Authors: Christian Urech, Susanna Zimmermann

Abstract: We give a presentation of the plane Cremona group over an algebraically closed field with respect to the generators given by the Theorem of Noether and Castelnuovo. This presentation is particularly simple and can be used for explicit calculations. We give a presentation of the plane Cremona group over an algebraically closed field with respect to the generators given by the Theorem of Noether and Castelnuovo. This presentation is particularly simple and can be used for explicit calculations. △ Less

Submitted 8 February, 2018; originally announced February 2018.

Signature morphisms from the Cremona group over a non-closed field

Authors: Stéphane Lamy, Susanna Zimmermann

Abstract: We prove that the plane Cremona group over a perfect field with at least one Galois extension of degree 8 is a non-trivial amalgam, and that it admits a surjective morphism to a free product of groups of order two. We prove that the plane Cremona group over a perfect field with at least one Galois extension of degree 8 is a non-trivial amalgam, and that it admits a surjective morphism to a free product of groups of order two. △ Less

Submitted 29 November, 2018; v1 submitted 25 July, 2017; originally announced July 2017.

Comments: Statements only over perfect fields instead of arbitrary fields (see Remark 1.3). A few other minor corrections

Journal ref: Journal of the European Mathematical Society, 22(10), 3133-3173, 2020

The decomposition groups of plane conics and plane rational cubics

Authors: Tom Ducat, Isac Hedén, Susanna Zimmermann

Abstract: The decomposition group of an irreducible plane curve $X\subset\mathbb P^2$ is the subgroup $\mathrm{Dec}(X)\subset\mathrm{Bir}(\mathbb P^2)$ of birational maps which restrict to a birational map of $X$. We show that $\mathrm{Dec}(X)$ is generated by its elements of degree $\leq2$ when $X$ is either a conic or rational cubic curve. The decomposition group of an irreducible plane curve $X\subset\mathbb P^2$ is the subgroup $\mathrm{Dec}(X)\subset\mathrm{Bir}(\mathbb P^2)$ of birational maps which restrict to a birational map of $X$. We show that $\mathrm{Dec}(X)$ is generated by its elements of degree $\leq2$ when $X$ is either a conic or rational cubic curve. △ Less

Submitted 8 June, 2017; originally announced June 2017.

Comments: 12 pages, 6 figures. Comments are welcome

MSC Class: 14E07

The real plane Cremona group is a non-trivial amalgam

Authors: Susanna Zimmermann

Abstract: We show that the real Cremona group of the plane is a non-trivial amalgam of two groups amalgamated along their intersection and give an alternative proof of its abelianisation. We show that the real Cremona group of the plane is a non-trivial amalgam of two groups amalgamated along their intersection and give an alternative proof of its abelianisation. △ Less

Submitted 2 December, 2019; v1 submitted 21 May, 2017; originally announced May 2017.

Infinite algebraic subgroups of the real Cremona group

Authors: Maria Fernanda Robayo, Susanna Zimmermann

Abstract: We give the classification of the maximal infinite algebraic subgroups of the real Cremona group of the plane up to conjugacy and present a parametrisation space of each conjugacy class. Moreover, we show that the real plane Cremona group is not generated by a countable union of its infinite algebraic subgroups. We give the classification of the maximal infinite algebraic subgroups of the real Cremona group of the plane up to conjugacy and present a parametrisation space of each conjugacy class. Moreover, we show that the real plane Cremona group is not generated by a countable union of its infinite algebraic subgroups. △ Less

Submitted 1 December, 2016; originally announced December 2016.

MSC Class: 14E07; 14L99; 14P99

The decomposition group of a line in the plane

Authors: Isac Hedén, Susanna Zimmermann

Abstract: We show that the decomposition group of a line $L$ in the plane, i.e. the subgroup of plane birational transformations that send $L$ to itself birationally, is generated by its elements of degree 1 and one element of degree 2, and that it does not decompose as a non-trivial amalgamated product. We show that the decomposition group of a line $L$ in the plane, i.e. the subgroup of plane birational transformations that send $L$ to itself birationally, is generated by its elements of degree 1 and one element of degree 2, and that it does not decompose as a non-trivial amalgamated product. △ Less

Submitted 26 April, 2016; v1 submitted 11 January, 2016; originally announced January 2016.

Comments: 15 pages, 7 figures

MSC Class: 14E07

Topological simplicity of the Cremona groups

Authors: Jérémy Blanc, Susanna Zimmermann

Abstract: The Cremona group is topologically simple when endowed with the Zariski or Euclidean topology, in any dimension $\ge 2$ and over any infinite field. Two elements are moreover always connected by an affine line, so the group is path-connected. The Cremona group is topologically simple when endowed with the Zariski or Euclidean topology, in any dimension $\ge 2$ and over any infinite field. Two elements are moreover always connected by an affine line, so the group is path-connected. △ Less

Submitted 28 November, 2015; originally announced November 2015.

MSC Class: 14E07; 22F50; 14R20

Journal ref: American Journal of Mathematics, Volume 140, Number 5, October 2018, pp. 1297-1309

The Abelianisation of the real Cremona group

Authors: Susanna Zimmermann

Abstract: We present the abelianisation of the birational transformations of the real projective plane. We present the abelianisation of the birational transformations of the real projective plane. △ Less

Submitted 12 June, 2017; v1 submitted 29 October, 2015; originally announced October 2015.

MSC Class: 14E07; 14P99

Journal ref: Duke Math. J. 167, no. 2 (2018), 211-267

The Cremona group is compactly presentable

Authors: Susana Zimmermann

Abstract: This article shows that the Cremona group is compactly presentable. To prove this we show that it is a generalised amalgamated product of three of its algebraic subgroups (automorphisms of the plane and Hirzebruch surfaces) divided by one relation. This article shows that the Cremona group is compactly presentable. To prove this we show that it is a generalised amalgamated product of three of its algebraic subgroups (automorphisms of the plane and Hirzebruch surfaces) divided by one relation. △ Less

Submitted 30 June, 2015; v1 submitted 19 August, 2014; originally announced August 2014.

MSC Class: 14E07; 20F05; 14L30

Journal ref: J. London Math. Soc. (2016) 93 (1): 25-46

Study of a finite volume - finite element scheme for a nuclear transport model

Authors: Catherine Choquet, Sebastien Zimmermann

Abstract: We consider a problem of nuclear waste contamination. It takes into account the thermal effects. The temperature and the contaminant's concentration fulfill convection-diffusion-reaction equations. The velocity and the pressure in the flow satisfy the Darcy equation, with a viscosity depending on both concentration and temperature. The equations are nonlinear and strongly coupled. Using both fin… ▽ More We consider a problem of nuclear waste contamination. It takes into account the thermal effects. The temperature and the contaminant's concentration fulfill convection-diffusion-reaction equations. The velocity and the pressure in the flow satisfy the Darcy equation, with a viscosity depending on both concentration and temperature. The equations are nonlinear and strongly coupled. Using both finite volume and nonconforming finite element methods, we introduce a scheme adapted to this problem. We prove the stability and convergence of this scheme and give some error estimates. △ Less

Submitted 10 April, 2007; originally announced April 2007.

Comments: preprint; 26 pages; no figures

MSC Class: 76S05; 76M10; 76M12

Convergence of a finite volume scheme for the incompressible fluids

Authors: Sebastien Zimmermann

Abstract: We consider a finite volume scheme for the two-dimensional incompressible Navier-Stokes equations. We use a triangular mesh. The unknowns for the velocity and pressure are respectively piecewise constant and affine. We use a projection method to deal with the incompressibility constraint. In a former paper, the stability of the scheme has been proven. We infer from it its convergence. We consider a finite volume scheme for the two-dimensional incompressible Navier-Stokes equations. We use a triangular mesh. The unknowns for the velocity and pressure are respectively piecewise constant and affine. We use a projection method to deal with the incompressibility constraint. In a former paper, the stability of the scheme has been proven. We infer from it its convergence. △ Less

Submitted 5 April, 2007; originally announced April 2007.

Comments: preprint; 19 pages; no figures

MSC Class: 76M12; 76B99

Stability of a finite volume scheme for the incompressible fluids

Authors: Sebastien Zimmermann

Abstract: We introduce a finite volume scheme for the two-dimensional incompressible Navier-Stokes equations. We use a triangular mesh. The unknowns for the velocity and pressure are respectively piecewise constant and affine. We use a projection method to deal with the incompressibility constraint. We show that the differential operators in the Navier-Stokes equations and their discrete counterparts shar… ▽ More We introduce a finite volume scheme for the two-dimensional incompressible Navier-Stokes equations. We use a triangular mesh. The unknowns for the velocity and pressure are respectively piecewise constant and affine. We use a projection method to deal with the incompressibility constraint. We show that the differential operators in the Navier-Stokes equations and their discrete counterparts share similar properties. In particular we state an inf-sup (Babuska-Brezzi) condition. Using these properties we infer the stability of the scheme. △ Less

Submitted 20 November, 2007; v1 submitted 5 April, 2007; originally announced April 2007.

Comments: preprint; 14 pages; no figures

MSC Class: 76M12; 76B99

Stability of a colocated finite volume scheme for the incompressible Navier-Stokes equations

Authors: Sebastien Zimmermann

Abstract: We introduce a finite volume scheme for the two-dimensional incompressible Navier-Stokes equations. We use a triangular mesh. The unknowns for the velocity and pressure are both piecewise constant (colocated scheme). We use a projection (fractional-step) method to deal with the incompressibility constraint. We prove that the differential operators in the Navier-Stokes equations and their discret… ▽ More We introduce a finite volume scheme for the two-dimensional incompressible Navier-Stokes equations. We use a triangular mesh. The unknowns for the velocity and pressure are both piecewise constant (colocated scheme). We use a projection (fractional-step) method to deal with the incompressibility constraint. We prove that the differential operators in the Navier-Stokes equations and their discrete counterparts share similar properties. In particular, we state an inf-sup (Babuska-Brezzi) condition. We infer from it the stability of the scheme. △ Less

Submitted 5 April, 2007; originally announced April 2007.

Comments: preprint; 18 pages; no figures

MSC Class: 76M12; 76B99