BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Yuri G. Zarhin contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We study Prym varieties of ramified (at precisely two points) double covers of smooth irreducible complex projectives curves that admit an automorphism of prime order $p>2$. Using Galois theory, we give an explicit constructions of Prym varieties that are not isomorphic to jacobians (even if one ignores the polarizations).
Let $d>1$ be an integer and $K_0$ a perfect field such that $char(K_0)$ does not divide $d$. Let $n>d$ be an integer that is prime to $d$. Let $f(x)\in K_0[x]$ be a degree $n$ monic polynomial without repeated roots, and $\mathcal{C}_{f,d}$ a smooth projective model of the affine curve $y^d=f(x)$. Let $J(\mathcal{C}_{f,d})$ be the Jacobian of the $K_0$-curve $\mathcal{C}_{f,d} $. As usual, we identify $\mathcal{C}_{f,d}$ with its canonical image in $J(\mathcal{C}_{f,d})$ (such that the only ``infinite point'' of $\mathcal{C}_{f,d}$ goes to the zero of the group law on $J(\mathcal{C}_{f,d})$). We say that an integer $m>1$ is $(n,d)$-reachable over $K_0$ if there exists a polynomial $f(x)$ as above such that $\mathcal{C}_{f,d}(K_0)$ contains a torsion point of order $m$. Let us put $\ell_0:=[(n+d)/d], \ m_0:=\ell_0 d$. Earlier we proved that if $m$ is $(n,d)$-reachable, then either $m=d$ or $m = n$ or $m \ge m_0$ (in addition, both $d$ and $n$ are $(n,d)$-reachable over every $K_0$). We also proved that if $m_0$ is $(n,d)$-reachable over some $K_0$ then $n-m_0+\ell_0\ge 0$. In the present paper we discuss the $(n,d)$-reachability of $m_0$ when $n-m_0+\ell_0=0$ or $1$.
Let $X$ be a polarized abelian variety over a field $K$. Let $O$ be a ring with an involution that acts on $X$ and this action is compatible with the polarization. We prove that the natural action of $O$ on $(X \times X^t)^4$ is compatible with a certain principal polarization.
We construct non-isogenous simple ordinary abelian varieties over an algebraic closure of a finite field with isomorphic endomorphism algebras.
Let $K$ be a field of characteristic different from $2$, $\bar{K}$ its algebraic closure. Let $n \ge 3$ be an odd prime such that $2$ is a primitive root modulo $n$. Let $f(x)$ and $h(x)$ be degree $n$ polynomials with coefficients in $K$ and without repeated roots. Let us consider genus $(n-1)/2$ hyperelliptic curves $C_f: y^2=f(x)$ and $C_h: y^2=h(x)$, and their jacobians $J(C_f)$ and $J(C_h)$, which are $(n-1)/2$-dimensional abelian varieties defined over $K$. Suppose that one of the polynomials is irreducible and the other reducible. We prove that if $J(C_f)$ and $J(C_h)$ are isogenous over $\bar{K}$ then both jacobians are abelian varieties of CM type with multiplication by the field of $n$th roots of $1$. We also discuss the case when both polynomials are irreducible while their splitting fields are linearly disjoint. In particular, we prove that if $char(K)=0$, the Galois group of one of the polynomials is doubly transitive and the Galois group of the other is a cyclic group of order $n$, then $J(C_f)$ and $J(C_h)$ are not isogenous over $\bar{K}$.
We study the groups of biholomorphic and bimeromorphic automorphisms of conic bundles over certain compact complex manifolds of algebraic dimension zero.
We prove that an analogue of Jordan's theorem on finite subgroups of general linear groups does not hold for the group of bimeromorphic automorphisms of a product of the complex projective line and a complex torus of positive algebraic dimension.
Let $K$ be a field of prime characteristic $p$, $n>4 $ an integer, $f(x)$ an irreducible polynomial over $K$ of degree $n$, whose Galois group is either the full symmetric group $S_n$ or the alternating group $A_n$. Let $l$ be an odd prime different from $p$, $Z[ζ_l]$ the ring of integers in the $l$th cyclotomic field, $C_{f,l}:y^l=f(x)$ the corresponding superelliptic curve and $J(C_{f,l})$ its jacobian. We prove that the ring of all endomorphisms of $J(C_{f,l})$ coincides with $Z[ζ_l]$ if $J(C_{f,l})$ is an ordinary abelian variety and $(l,n)\ne (5,5)$.
We study endomorphisms of abelian varieties and their action on the l-adic Tate modules. We prove that for every endomorphism one may choose a basis of each Tate module such that the corresponding matrix has rational entries and does not depend on l.
We explore whether a root lattice may be similar to the lattice $\mathscr O$ of integers of a number field $K$ endowed with the inner product $(x, y):={\rm Trace}_{K/\mathbb Q}(x\cdotθ(y))$, where $θ$ is an involution of $K$. We classify all pairs $K$, $θ$ such that $\mathscr O$ is similar to either an even root lattice or the root lattice $\mathbb Z^{[K:\mathbb Q]}$. We also classify all pairs $K$, $θ$ such that $\mathscr O$ is a root lattice. In addition to this, we show that $\mathscr O$ is never similar to a positive-definite even unimodular lattice of rank $\leqslant 48$, in particular, $\mathscr O$ is not similar to the Leech lattice. In appendix, we give a general cyclicity criterion for the primary components of the discriminant group of $\mathscr O$.
We study analogues of Tate's conjecture on homomorphisms for abelian varieties when the ground field is finitely generated over an algebraic closure of a finite field. Our results cover the case of abelian varieties without nontrivial endomorphisms.
We study a map that sends a monic degree n complex polynomial f(x) without multiple roots to the collection of n values of its derivative at the roots of f(x). We give an answer to a question posed by Ju.S. Ilyashenko.
Let $X$ and $Y$ be smooth and projective varieties over a field $k$ finitely generated over $\mathbb Q$, and let $\ov X$ and $\ov Y$ be the varieties over an algebraic closure of $k$ obtained from $X$ and $Y$, respectively, by extension of the ground field. We show that the Galois invariant subgroup of $\Br(\ov X)\oplus \Br(\ov Y)$ has finite index in the Galois invariant subgroup of $\Br(\ov X\times\ov Y)$. This implies that the cokernel of the natural map $\Br(X)\oplus\Br(Y)\to\Br(X\times Y)$ is finite when $k$ is a number field. In this case we prove that the Brauer-Manin set of the product of varieties is the product of their Brauer-Manin sets.
We give lower bounds for dimensions of the centers of Hodge groups of superelliptic jacobians. In "generic case" this bound is precise. We also discuss dimensions of simple abelian subvarieties of superelliptic jacobians.
Let $n=2g+2$ be a positive even integer, $f(x)$ a degree $n$ complex polynomial without multiple roots and $C_f: y^2=f(x)$ the corresponding genus $g$ hyperelliptic curve over the field $\C$ of complex numbers. Let a $(g-1)$-dimensional complex abelian variety $P$ be a Prym variety of $C_f$ that corresponds to a unramified double cover of $C_f$. Suppose that there exists a subfield $K$ of $\C$ such that $f(x)$ lies in $K[x]$, is irreducible over $K$ and its Galois group is the full symmetric group. Assuming that $g>2$, we prove that $End(P)$ is either the ring of integers $Z$ or the direct sum of two copies of $Z$; in addition, in both cases the Hodge group of $P$ is "as large as possible". In particular, the Hodge conjecture holds true for all self-products of $P$.
Suppose that $K$ is a field of characteristic 0, $p$ is an odd prime, $r$ a positive integer, $q=p^r$ a prime power. Suppose that $f(x)$ is a polynomial of degree $n > 4$ with coefficients in $K$ and without multiple roots. Let us consider the superelliptic curve $C: y^q=f(x)$ and its jacobian $J(C)$. Assuming that $K$ is a subfield of the field of complex numbers, we study the (connected reductive algebraic) Hodge group $Hdg$ of the corresponding complex abelian variety $J(C)$. In our previous paper (arXiv:0907.1563 [math.AG]) we studied the center of $Hdg. In this paper we study the semisimple part (commutator subgroup) of $Hdg$. Assuming that $p$ does not divide $n$ and $n-1$ is not divisible by $q$, the Galois group of $f(x)$ over $K$ is either the full symmetric group $S_n$ or the alternating group $A_n$, we prove that the semisimple part of $Hdg$ is "as large as possible".
Let $k$ be a field of characteristic zero and let $K=k(t)$ be the rational function field over $k$. In this paper we combine a formula of Ulmer for ranks of certain Jacobians over $K$ with strong upper bounds on endomorphisms of Jacobians due to Zarhin to give many examples of higher dimensional, absolutely simple Jacobians over $k(t)$ with bounded rank in towers $k(t^{1/p^r})$. In many cases we are able to compute the rank at every layer of the tower.
We relate the Brauer group of a Kummer surface to the Brauer group of the corresponding abelian surface. For many pairs of elliptic curves over the rational numbers we prove that the Kummer surface attached to their product has trivial Brauer group.
We prove that an analogue of Jordan's theorem on finite subgroups of general linear groups does not hold for the groups of birational automorphisms of products of an elliptic curve and the projective line. This gives a negative answer to a question of V. L. Popov, arXiv:1001.1311 [math.AG].