Source author record

Zinovy Reichstein

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.GR math.NT math.DS math.RT math.AC math.RA

Catalog footprint

Research overview

19works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Hilbert's 13th Problem for Algebraic Groups

The algebraic form of Hilbert's 13th Problem asks for the resolvent degree $\text{rd}(n)$ of the general polynomial $f(x) = x^n + a_1 x^{n-1} + \ldots + a_n$ of degree $n$ , where $a_1, \ldots, a_n$ are independent variables. The resolvent degree is the minimal integer $d$ such that every root of $f(x)$ can be obtained in a finite number of steps, starting with $\mathbb C(a_1, \ldots, a_n)$ and adjoining algebraic functions in $\leq d$ variables at each step. Recently Farb and Wolfson defined the resolvent degree $\text{rd}_k(G)$ of any finite group $G$ and any base field $k$ of characteristic $0$ . In this setting $\text{rd}(n) = \text{rd}_{\mathbb C}(S_n)$ , where $S_n$ denotes the symmetric group. In this paper we define $\text{rd}_k(G)$ for every algebraic group $G$ over an arbitrary field $k$ , investigate the dependency of this quantity on $k$ and show that $\text{rd}_k(G) \leq 5$ for any field $k$ and any connected group $G$ . The question of whether $\text{rd}_k(G)$ can be bigger than $1$ for any field $k$ and any algebraic group $G$ over $k$ (not necessarily connected) remains open.

preprint2022arXiv

Rational self-maps with a regular iterate on a semiabelian variety

Let $G$ be a semiabelian variety defined over an algebraically closed field $K$ of characteristic $0$ . Let $Φ\colon G\dashrightarrow G$ be a dominant rational self-map. Assume that an iterate $Φ^m \colon G \to G$ is regular for some $m \geqslant 1$ and that there exists no non-constant homomorphism $τ: G\to G_0$ of semiabelian varieties such that $τ\circ Φ^{m k}=τ$ for some $k \geqslant 1$ . We show that under these assumptions $Φ$ itself must be a regular. We also prove a variant of this assertion in prime characteristic and present examples showing that our results are sharp.

preprint2022arXiv

The behavior of essential dimension under specialization

Let $A$ be a discrete valuation ring with generic point $η$ and closed point $s$ . We show that in a family of torsors over $\operatorname{Spec}(A)$ , the essential dimension of the torsor above $s$ is less than or equal to the essential dimension of the torsor above $η$ . We give two applications of this result, one in mixed characteristic, the other in equal characteristic.

preprint2020arXiv

On a rationality problem for fields of cross-ratios II

Let $k$ be a field, $x_1, \dots, x_n$ be independent variables and $L_n = k(x_1, \dots, x_n)$ . The symmetric group $Σ_n$ acts on $L_n$ by permuting the variables, and the projective linear group $\text{PGL}_2$ acts by $\begin{pmatrix} a & b \\ c & d \end{pmatrix} \colon x_i \mapsto \frac{a x_i + b}{c x_i + d}$ for each $i = 1, \ldots, n$ . The fixed field $L_n^{\text{PGL}_2}$ is called "the field of cross-ratios". Given a subgroup $S \subset Σ_n$ , H. Tsunogai asked whether $L_n^S$ rational over $K_n^S$ . When $n \geqslant 5$ the second author has shown that $L_n^S$ is rational over $K_n^S$ if and only if $S$ has an orbit of odd order in $\{ 1, \dots, n \}$ . In this paper we answer Tsunogai's question for $n \leqslant 4$ .

preprint2020arXiv

On the essential dimension of an algebraic group whose connected component is a torus

Let $p$ be a prime integer, $k$ be a $p$ -closed field of characteristic $\neq p$ , $T$ be a torus defined over $k$ , $F$ be a finite $p$ -group, and $1\to T \to G \to F \to 1$ be an exact sequence of algebraic groups. Extending earlier work of N. Karpenko and A. Merkurjev, R. Lötscher, M. MacDonald, A. Meyer, and the first author showed that $\min\dim(V) - \min\dim(G) \leqslant \text{ed}(G; p) \leqslant \min \dim(W) - \dim(G),$ where $V$ and $W$ range over the $p$ -faithful and $p$ -generically free $k$ -representations of $G$ , respectively. They conjectured that the upper bound is, in fact, sharp. This conjecture has remained open for some time. We prove it in the case, where $F$ is diagonalizable.

preprint2020arXiv

On the rationality problem for forms of moduli spaces of stable marked curves of positive genus

Let $M_{g, n}$ (respectively, $\overline{M_{g, n}}$ ) be the moduli space of smooth (respectively stable) curves of genus $g$ with $n$ marked points. Over the field of complex numbers, it is a classical problem in algebraic geometry to determine whether or not $M_{g, n}$ (or equivalently, $\overline{M_{g, n}}$ ) is a rational variety. Theorems of J. Harris, D. Mumford, D. Eisenbud and G. Farkas assert that $M_{g, n}$ is not unirational for any $n \geqslant 0$ if $g \geqslant 22$ . Moreover, P. Belorousski and A. Logan showed that $M_{g, n}$ is unirational for only finitely many pairs $(g, n)$ with $g \geqslant 1$ . Finding the precise range of pairs $(g, n)$ , where $M_{g, n}$ is rational, stably rational or unirational, is a problem of ongoing interest. In this paper we address the rationality problem for twisted forms of $\overline{M_{g, n}}$ defined over an arbitrary field $F$ of characteristic $\neq 2$ . We show that all $F$ -forms of $\overline{M_{g, n}}$ are stably rational for $g = 1$ and $3 \leqslant n \leqslant 4$ , $g = 2$ and $2 \leqslant n \leqslant 3$ , $g = 3$ and $1 \leqslant n \leqslant 14$ , $g = 4$ and $1 \leqslant n \leqslant 9$ , $g = 5$ and $1 \leqslant n \leqslant 12$ .

preprint2020arXiv

Special groups, versality and the Grothendieck-Serre conjecture

Let $k$ be a base field and $G$ be an algebraic group over $k$ . J.-P. Serre defined $G$ to be special if every $G$ -torsor $T \to X$ is locally trivial in the Zariski topology for every reduced algebraic variety $X$ defined over $k$ . In recent papers an a priori weaker condition is used: $G$ is called special if every $G$ -torsor $T \to Spec(K)$ is split for every field $K$ containing $k$ . We show that these two definitions are equivalent. We also generalize this fact and propose a strengthened version of the Grothendieck-Serre conjecture based on the notion of essential dimension.

preprint2016arXiv

On the Medvedev-Scanlon Conjecture for Minimal Threefolds of Non-Negative Kodaira Dimension

Motivated by work of Zhang from the early `90s, Medvedev and Scanlon formulated the following conjecture. Let $K$ be an algebraically closed field of characteristic $0$ and let $X$ be a quasiprojective variety defined over $K$ endowed with a dominant rational self-map $Φ$ . Then there exists a point $α\in X(K)$ with Zariski dense orbit under $Φ$ if and only if $Φ$ preserves no nontrivial rational fibration, i.e., there exists no non-constant rational function $f\in K(X)$ such that $Φ^*(f)=f$ . The Medvedev-Scanlon conjecture holds when $K$ is uncountable. The case where $K$ is countable (e.g., $K=\overline{\mathbb{Q}}$ ) is much more difficult; here the conjecture has only been proved in a small number of special cases. In this paper we show that the Medvedev-Scanlon conjecture holds for all varieties of positive Kodaira dimension, and explore the case of Kodaira dimension $0$ . Our results are most complete in dimension $3$ .

preprint2016arXiv

On the number of generators of an algebra

A classical theorem of Forster asserts that a finite module $M$ of rank $\leq n$ over a Noetherian ring of Krull dimension $d$ can be generated by $n + d$ elements. We prove a generalization of this result, with "module" replaced by "algebra". Here we allow arbitrary finite algebras, not necessarily unital, commutative or associative. Forster's theorem can be recovered as a special case by viewing a module as an algebra where the product of any two elements is $0$ .

preprint2015arXiv

Essential dimension and error-correcting codes

One of the important open problems in the theory of central simple algebras is to compute the essential dimension of $\operatorname{GL}_n/μ_m$ , i.e., the essential dimension of a generic division algebra of degree $n$ and exponent dividing $m$ . In this paper we study the essential dimension of groups of the form $G=(\operatorname{GL}_{n_1} \times \dots \times \operatorname{GL}_{n_r})/C \, ,$ where $C$ is a central subgroup of $\operatorname{GL}_{n_1} \times \dots \times \operatorname{GL}_{n_r}$ . Equivalently, we are interested in the essential dimension of a generic $r$ -tuple $(A_1, \dots, A_r)$ of central simple algebras such that $\operatorname{deg}(A_i) = n_i$ and the Brauer classes of $A_1, \dots, A_r$ satisfy a system of homogeneous linear equations in the Brauer group. The equations depend on the choice of $C$ via the error-correcting code $\operatorname{Code}(C)$ which we naturally associate to $C$ . We focus on the case where $n_1, \dots, n_r$ are powers of the same prime. The upper and lower bounds on $\operatorname{ed}(G)$ we obtain are expressed in terms of coding-theoretic parameters of $\operatorname{Code}(C)$ , such as its weight distribution. Surprisingly, for many groups of the above form the essential dimension becomes easier to estimate when $r \geq 3$ ; in some cases we even compute the exact value. The Appendix by Athena Nguyen contains an explicit description of the Galois cohomology of groups of the form $(\operatorname{GL}_{n_1} \times \dots \times \operatorname{GL}_{n_r})/C$ . This description and its corollaries are used throughout the paper.

preprint2014arXiv

A numerical invariant for linear representations of finite groups

We study the notion of essential dimension for a linear representation of a finite group. In characteristic zero we relate it to the canonical dimension of certain products of Weil transfers of generalized Severi-Brauer varieties. We then proceed to compute the canonical dimension of a broad class of varieties of this type, extending earlier results of the first author. As a consequence, we prove analogues of classical theorems of R. Brauer and O. Schilling about the Schur index, where the Schur index of a representation is replaced by its essential dimension. In the last section we show that essential dimension of representations can behave in rather unexpected ways in the modular setting.

preprint2014arXiv

On a dynamical version of a theorem of Rosenlicht

Consider the action of an algebraic group $G$ on an irreducible algebraic variety $X$ all defined over a field $k$ . M. Rosenlicht showed that orbits in general position in $X$ can be separated by rational invariants. We prove a dynamical analogue of this theorem, where $G$ is replaced by a semigroup of dominant rational self-maps of $X$ . Our semigroup $G$ is not required to have the structure of an algebraic variety and can be of arbitrary cardinality.

preprint2014arXiv

Pseudo-reflection groups and essential dimension

We give a simple formula for the essential dimension of a finite pseudo-reflection group at a prime p and determine the absolute essential dimension for most irreducible pseudo-reflection groups. We also study the "poor man's essential dimension" of an arbitrary finite group, an intermediate notion between the absolute essential dimension and the essential dimension at a prime p.

preprint2013arXiv

The Lie algebra of type G_2 is rational over its quotient by the adjoint action

Let G be a split simple group of type G_2 over a field k, and let g be its Lie algebra. Answering a question of Colliot-Thélène, Kunyavskiĭ, Popov, and Reichstein, we show that the function field k(g) is generated by algebraically independent elements over the field of adjoint invariants k(g)^G. Soit G un groupe algébrique simple et déployé de type G_2 sur un corps k. Soit g son algèbre de Lie. On démontre que le corps des fonctions k(g) est transcendant pur sur le corps k(g)^G des invariants adjoints. Ceci répond par l'affirmative à une question posée par Colliot-Thélène, Kunyavskiĭ, Popov et Reichstein.

preprint2013arXiv

Versality of algebraic group actions and rational points on twisted varieties

We formalize and study several competing notions of versality for an action of a linear algebraic group on an algebraic variety X. Our main result is that these notions of versality are equivalent to various statements concerning rational points on twisted forms of X (existence of rational points, existence of a dense set of rational points, etc.) We give applications of this equivalence in both directions, to study versality of group actions and rational points on algebraic varieties. We obtain similar results on p-versality for a prime integer p. An appendix, containing a letter from J.-P. Serre, puts the notion of versality in a historical perspective.

preprint2012arXiv

Essential p-dimension of algebraic groups whose connected component is a torus

Following up on our earlier work and the work of N. Karpenko and A. Merkurjev, we study the essential p-dimension of linear algebraic groups G whose connected component G^0 is a torus.

preprint2010arXiv

Is the function field of a reductive Lie algebra purely transcendental over the field of invariants for the adjoint action?

Let $k$ be a field of characteristic zero, let $G$ be a connected reductive algebraic group over $k$ and let $\mathfrak{g}$ be its Lie algebra. Let $k(G)$ , respectively, $k(\mathfrak{g})$ , be the field of $k$ -rational functions on $G$ , respectively, $\mathfrak{g}$ . The conjugation action of $G$ on itself induces the adjoint action of $G$ on $\mathfrak{g}$ . We investigate the question whether or not the field extensions $k(G)/k(G)^G$ and $k(\mathfrak{g})/k(\mathfrak{g})^G$ are purely transcendental. We show that the answer is the same for $k(G)/k(G)^G$ and $k(\mathfrak{g})/k(\mathfrak{g})^G$ , and reduce the problem to the case where $G$ is simple. For simple groups we show that the answer is positive if $G$ is split of type ${\sf A}_{n}$ or ${\sf C}_n$ , and negative for groups of other types, except possibly ${\sf G}_{2}$ . A key ingredient in the proof of the negative result is a recent formula for the unramified Brauer group of a homogeneous space with connected stabilizers. As a byproduct of our investigation we give an affirmative answer to a question of Grothendieck about the existence of a rational section of the categorical quotient morphism for the conjugating action of $G$ on itself. The results and methods of this paper have played an important part in recent A. Premet's negative solution (arxiv:0907.2500) of the Gelfand--Kirillov conjecture for finite-dimensional simple Lie algebras of every type, other than ${\sf A}_n$ , ${\sf C}_n$ , and ${\sf G}_2$ .

preprint2010arXiv

Maximal representation dimension of finite p-groups

The representation dimension of a finite group G is the smallest positive integer m for which there exists an embedding of G in GL_m(C). In this paper we find the largest value of representation dimensions, as Granges over all groups of order p^n, for a fixed prime p and a fixed exponent n greater than zero.

preprint2010arXiv

Toric-friendly groups

Let G be a connected linear algebraic group over a field k. We say that G is toric-friendly if for any field extension K/k and any maximal K-torus T in G the group G(K) has only one orbit in (G/T)(K). Our main result is a classification of semisimple (and under certain assumptions on k, of connected) toric-friendly groups.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Zinovy Reichstein

Research overview

Is this your work?

19 publications

Hilbert's 13th Problem for Algebraic Groups

Rational self-maps with a regular iterate on a semiabelian variety

The behavior of essential dimension under specialization

On a rationality problem for fields of cross-ratios II

On the essential dimension of an algebraic group whose connected component is a torus

On the rationality problem for forms of moduli spaces of stable marked curves of positive genus

Special groups, versality and the Grothendieck-Serre conjecture

On the Medvedev-Scanlon Conjecture for Minimal Threefolds of Non-Negative Kodaira Dimension

On the number of generators of an algebra

Essential dimension and error-correcting codes

A numerical invariant for linear representations of finite groups

On a dynamical version of a theorem of Rosenlicht

Pseudo-reflection groups and essential dimension

The Lie algebra of type G_2 is rational over its quotient by the adjoint action

Versality of algebraic group actions and rational points on twisted varieties

Essential p-dimension of algebraic groups whose connected component is a torus

Is the function field of a reductive Lie algebra purely transcendental over the field of invariants for the adjoint action?

Maximal representation dimension of finite p-groups

Toric-friendly groups

See the researcher in context

Building this map preview