BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Zinovy Reichstein

Zinovy Reichstein appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.AGmath.GRmath.NTmath.DSmath.RTmath.ACmath.RA

Catalog footprint

What is connected

19works
7topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

19 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access