Related papers: Sofic profile and computability of Cremona groups
We classify all finite subgroups of the plane Cremona group which have a fixed point. In other words, we determine all rational surfaces X with an action of a finite group G such that X is equivariantly birational to a surface which has a…
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…
The aim of this paper is to give a finer geometric description of the algebraic varieties parametrizing conjugacy classes of nonsolvable subgroups in the plane Cremona group.
The Cremona group is the group of birational transformations of the complex projective plane. In this paper we classify its subgroups that consist only of elliptic elements using elementary model theory. This yields in particular a…
One studies Cremona monomial maps by combinatorial means. Among the results is a simple integer matrix theoretic proof that the inverse of a Cremona monomial map is also defined by monomials of fixed degree, and moreover, the set of…
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…
We describe the nilpotent subgroups of the group Bir(P^2(C)) of birational transformations of the complex projective plane. Let N be a nilpotent subgroup of class k>1; then either each element of N has finite order, or N is virtually…
We study the algebraic structure of the $n$-dimensional Cremona group and show that it is not an algebraic group of infinite dimension (ind-group) if $n\ge 2$. We describe the obstruction to this, which is of a topological nature. By…
We prove that a monoid is sofic, in the sense recently introduced by Ceccherini-Silberstein and Coornaert, whenever the J-class of the identity is a sofic group, and the quotients of this group by orbit stabilisers in the rest of the monoid…
Using a filtration on the Grothendieck ring of triangulated categories, we define the categorical dimension of a birational map between smooth projective varieties. We show that birational automorphisms of bounded categorical dimension form…
Given a birational map in the three dimensional projective space defined by monomials of degree $d$, we prove that its inverse is defined by monomials of degree at most $d^2-d+1$.
The Cremona group $\mathrm{Bir}(\mathbb{P}^2_\mathbb{C})$ is the group of birational self-maps of $\mathbb{P}^2_\mathbb{C}$. Using the action of $\mathrm{Bir}(\mathbb{P}^2_\mathbb{C})$ on the Picard-Manin space of $\mathbb{P}^2_\mathbb{C}$…
Definable topological groups whose topologies are affine have definable $\mathcal C^r$ structures in d-minimal expansions of ordered fields, where $r$ is a positive integer. We prove this fact using a new notion called partition degree of a…
We investigate the notion of soficity for monoids. A group is sofic as a group if and only if it is sofic as a monoid. All finite monoids, all commutative monoids, all free monoids, all cancellative one-sided amenable monoids, all…
Cremona maps defined by monomials of degree 2 are thoroughly analyzed and classified via integer arithmetic and graph combinatorics. In particular, the structure of the inverse map to such a monomial Cremona map is made very explicit as is…
The Cremona group of rank n over a field k is the group of birational automorphisms of the n-dimensional projective space over the field k. We study the minimal dimension such that all finite subgroups of the Cremona group have a faithful…
We study the group of birational transformations of the plane that fix (each point of) a curve of geometric genus 1. A precise description of the finite elements is given; it is shown in particular that the order is at most 6, and that if…
The Medvedev degree of a subshift is a dynamical invariant of computable origin that can be used to compare the complexity of subshifts that contain only uncomputable configurations. We develop theory to describe how these degrees can be…
Consider the gradient map associated to any non-constant homogeneous polynomial $f\in \C[x_0,...,x_n]$ of degree $d$, defined by \[\phi_f=grad(f): D(f)\to \CP^n, (x_0:...:x_n)\to (f_0(x):...:f_n(x))\] where $D(f)=\{x\in \CP^n; f(x)\neq 0\}$…
We prove that a finite $3$-group in the Cremona group $\mathrm{Cr}_3(\mathbb{C})$ can be generated by at most $4$ elements. This provides the last missing piece in bounding the ranks of finite $p$-subgroups in the space Cremona group.