BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Zinovy Reichstein

Zinovy Reichstein contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AGmath.GRmath.NTmath.ACmath.DSmath.RT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

10 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