Related papers: Sofic profile and computability of Cremona groups

This note addresses the issue as to which ceers can be realized by word problems of computably enumerable (or, simply, c.e.) structures (such as c.e. semigroups, groups, and rings), where being realized means to fall in the same…

Motivated by and extending the technical results in our earlier work on symplectic Calabi-Yau $4$-manifolds, a general and systematic approach for studying certain unions of symplectic embedded surfaces in a rational $4$-manifold $X=CP^2\#…

Sofic and hyperlinear groups are the countable discrete groups that can be approximated in a suitable sense by finite symmetric groups and groups of unitary matrices. These notions turned out to be very deep and fruitful, and stimulated in…

We provide new computations in bounded cohomology: A group is boundedly acyclic if its bounded cohomology with trivial real coefficients is zero in all positive degrees. We show that there exists a continuum of finitely generated…

The main objective of this paper is the following two results. (1) There exists a computable bi-orderable group that does not have a computable bi-ordering; (2) There exists a bi-orderable, two-generated recursively presented solvable group…

It is known that a finite group with an automorphism $\varphi$ of coprime order has a soluble radical of $(|\varphi|,|C_G(\varphi)|)$-bounded Fitting height and index. We extend this classic result as follows. Let $f(x) = a_0 + a_1 \cdot x…

A group is $\textit{finitely axiomatizable}$ (FA) in a class $\mathcal{C}$ if it can be determined up to isomorphism within $\mathcal{C}$ by a sentence in the first-order language of group theory. We show that profinite groups of various…

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…

We use a recent advance in birational geometry to prove new lower bounds on the essential dimension of some finite groups.

A classical theorem on character degrees states that if a finite group has fewer than four character degrees, then the group is solvable. We prove a corresponding result on character values by showing that if a finite group has fewer than…

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.

In this work, we establish a relationship between the sum of irreducible character degrees and the number of twisted involutions associated with the automorphisms of a finite group. We develop algorithmic frameworks for evaluating these…

We show that there exists a $2$-dimensional family of smooth cubic threefolds admitting unirational parametrizations of coprime degrees. This together with Clemens--Griffiths' work solves the long standing open problem whether there exists…

We deal with the following question of Dolgachev : is the Cremona group generated by involutions ? Answer is yes in dimension $2$ (Cerveau-Deserti). We give an upper bound of the minimal number $\mathfrak{n}_\varphi$ of involutions we need…

A countable group G is called k-linear sofic (for some 0 <k \le 1) if finite subsets of G admit "approximate representations" by complex invertible matrices in the normalized rank metric, so that non-identity elements are k-away from the…

Let $\Cr_\Q(2)$ be the Cremona group of rank $2$ over rational numbers. we give a classification of large finite subgroups $G$ of $\Cr_\Q(2)$ and give a new sharp bound smaller (but not multiplicative) than $M(\Q)=120960 =…

The concept of a C-approximable group, for a class of finite groups C, is a common generalization of the concepts of a sofic, weakly sofic, and linear sofic group. Glebsky raised the question whether all groups are approximable by finite…

We prove that over any perfect field the plane Cremona group is generated by involutions.

This paper is a continuation of our 2005 paper on complex topology and its implication on invertibility (or non-invertibility). In this paper, we will try to classify the complexity of inversion into 3 different classes. We will use…

Let $\mathrm{R}$ be a real closed field. We prove that for any fixed $d$, the equivariant rational cohomology groups of closed symmetric semi-algebraic subsets of $\mathrm{R}^k$ defined by polynomials of degrees bounded by $d$ vanishes in…