Source author record

Yuri G. Zarhin

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

41works
9topics
4close collaborators

Published work

41 publications

preprint2026arXiv

Torsion points of small order on cyclic covers of P1\mathbb{P}^1. III

Let d>1d>1 be an integer and K0K_0 a perfect field such that char(K0)char(K_0) does not divide dd. Let n>dn>d be an integer that is prime to dd. Let f(x)∈K0[x]f(x)\in K_0[x] be a degree nn monic polynomial without repeated roots, and Cf,d\mathcal{C}_{f,d} a smooth projective model of the affine curve yd=f(x)y^d=f(x). Let J(Cf,d)J(\mathcal{C}_{f,d}) be the Jacobian of the K0K_0-curve Cf,d\mathcal{C}_{f,d} . As usual, we identify Cf,d\mathcal{C}_{f,d} with its canonical image in J(Cf,d)J(\mathcal{C}_{f,d}) (such that the only ``infinite point'' of Cf,d\mathcal{C}_{f,d} goes to the zero of the group law on J(Cf,d)J(\mathcal{C}_{f,d})). We say that an integer m>1m>1 is (n,d)(n,d)-reachable over K0K_0 if there exists a polynomial f(x)f(x) as above such that Cf,d(K0)\mathcal{C}_{f,d}(K_0) contains a torsion point of order mm. Let us put ℓ0:=[(n+d)/d], m0:=ℓ0d\ell_0:=[(n+d)/d], \ m_0:=\ell_0 d. Earlier we proved that if mm is (n,d)(n,d)-reachable, then either m=dm=d or m=nm = n or m≥m0m \ge m_0 (in addition, both dd and nn are (n,d)(n,d)-reachable over every K0K_0). We also proved that if m0m_0 is (n,d)(n,d)-reachable over some K0K_0 then n−m0+ℓ0≥0n-m_0+\ell_0\ge 0. In the present paper we discuss the (n,d)(n,d)-reachability of m0m_0 when n−m0+ℓ0=0n-m_0+\ell_0=0 or 11.

preprint2022arXiv

Non-isogenous elliptic curves and hyperelliptic jacobians

Let KK be a field of characteristic different from 22, Kˉ\bar{K} its algebraic closure. Let n≥3n \ge 3 be an odd prime such that 22 is a primitive root modulo nn. Let f(x)f(x) and h(x)h(x) be degree nn polynomials with coefficients in KK and without repeated roots. Let us consider genus (n−1)/2(n-1)/2 hyperelliptic curves Cf:y2=f(x)C_f: y^2=f(x) and Ch:y2=h(x)C_h: y^2=h(x), and their jacobians J(Cf)J(C_f) and J(Ch)J(C_h), which are (n−1)/2(n-1)/2-dimensional abelian varieties defined over KK. Suppose that one of the polynomials is irreducible and the other reducible. We prove that if J(Cf)J(C_f) and J(Ch)J(C_h) are isogenous over Kˉ\bar{K} then both jacobians are abelian varieties of CM type with multiplication by the field of nnth roots of 11. 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)=0char(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 nn, then J(Cf)J(C_f) and J(Ch)J(C_h) are not isogenous over Kˉ\bar{K}.

preprint2020arXiv

Endomorphisms of ordinary superelliptic jacobians

Let KK be a field of prime characteristic pp, n>4n>4 an integer, f(x)f(x) an irreducible polynomial over KK of degree nn, whose Galois group is either the full symmetric group SnS_n or the alternating group AnA_n. Let ll be an odd prime different from pp, Z[ζl]Z[ζ_l] the ring of integers in the llth cyclotomic field, Cf,l:yl=f(x)C_{f,l}:y^l=f(x) the corresponding superelliptic curve and J(Cf,l)J(C_{f,l}) its jacobian. We prove that the ring of all endomorphisms of J(Cf,l)J(C_{f,l}) coincides with Z[ζl]Z[ζ_l] if J(Cf,l)J(C_{f,l}) is an ordinary abelian variety and (l,n)≠(5,5)(l,n)\ne (5,5).

preprint2020arXiv

Root lattices in number fields

We explore whether a root lattice may be similar to the lattice O\mathscr O of integers of a number field KK endowed with the inner product (x,y):=TraceK/Q(x⋅θ(y))(x, y):={\rm Trace}_{K/\mathbb Q}(x\cdotθ(y)), where θθ is an involution of KK. We classify all pairs KK, θθ such that O\mathscr O is similar to either an even root lattice or the root lattice Z[K:Q]\mathbb Z^{[K:\mathbb Q]}. We also classify all pairs KK, θθ such that O\mathscr O is a root lattice. In addition to this, we show that O\mathscr O is never similar to a positive-definite even unimodular lattice of rank ⩽48\leqslant 48, in particular, O\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 O\mathscr O.

preprint2016arXiv

Division by 2 on hyperelliptic curves and jacobians

Let KK be an algebraically closed field of characteristic different from 2, gg a positive integer, f(x)f(x) a degree (2g+1)(2g+1) polynomial with coefficients in KK and without multiple roots, C:y2=f(x)C: y^2=f(x) the corresponding genus gg hyperelliptic curve over KK and JJ the jacobian of CC. We identify CC with the image of its canonical embedding into JJ (the infinite point of CC goes to the zero point of JJ). For each point P=(a,b)∈C(K)P=(a,b)\in C(K) there are 22g2^{2g} points 12P∈J(K)\frac{1}{2}P \in J(K). We describe explicitly the Mumford represesentations of all 12P\frac{1}{2}P. The rationality questions for 12P\frac{1}{2}P are also discussed.

preprint2016arXiv

Endomorphism rings of reductions of elliptic curves and abelian varieties

Let EE be an elliptic curve without CM that is defined over a number field KK. For all but finitely many nonarchimedean places vv of KK there is the reduction E(v)E(v) of EE at vv that is an elliptic curve over the residue field k(v)k(v) at vv. The set of vv's with ordinary E(v)E(v) has density 1 (Serre). For such vv the endomorphism ring End(E(v))End(E(v)) of E(v)E(v) is an order in an imaginary quadratic field. We prove that for any pair of relatively prime positive integers NN and MM there are infinitely many nonarchimedean places vv of KK such that the discriminant Δ(v)Δ(v) of End(E(v))End(E(v)) is divisible by NN and the ratio Δ(v)/NΔ(v)/N is relatively prime to NMNM. We also discuss similar questions for reductions of abelian varieties. The subject of this paper was inspired by an exercise in Serre's "Abelian ℓ\ell-adic representations and elliptic curves" and questions of Mihran Papikian and Alina Cojocaru.

preprint2016arXiv

Endomorphisms of superelliptic jacobians

Let K be a field of characteristic zero, n>4 an integer, f(x) an irreducible polynomial over K of degree n, whose Galois group is doubly transitive simple non-abelian group. Let p be an odd prime, Z[ζ_p] the ring of integers in the p-th cyclotomic field, C_{f,p}:y^p=f(x) the corresponding superelliptic curve and J(C_{f,p}) its jacobian. Assuming that either n=p+1 or p does not divide n(n-1), we prove that the ring of all endomorphisms of J(C_{f,p}) coincides with Z[ζ_p].

preprint2016arXiv

Jordan groups, conic bundles and abelian varieties

A group GG is called Jordan if there is a positive integer J=JGJ=J_G such that every finite subgroup B\mathcal{B} of GG contains a commutative subgroup A⊂B\mathcal{A}\subset \mathcal{B} such that A\mathcal{A} is normal in B\mathcal{B} and the index [B:A]≤J[\mathcal{B}:\mathcal{A}] \le J (V.L. Popov). In this paper we deal with Jordaness properties of the groups Bir(X)Bir(X) of birational automorphisms of irreducible smooth projective varieties XX over an algebraically closed field of characteristic zero. It is known (Yu. Prokhorov - C. Shramov) that Bir(X)Bir(X) is Jordan if XX is non-uniruled. On the other hand, the second named author proved that Bir(X)Bir(X) is not Jordan if XX is birational to a product of the projective line and a positive-dimensional abelian variety. We prove that Bir(X)Bir(X) is Jordan if (uniruled) XX is a conic bundle over a non-uniruled variety YY but is not birational to a product of YY and the projective line. (Such a conic bundle exists only if dim⁡(Y)≥2\dim(Y)\ge 2.) When YY is an abelian surface, this Jordaness property result gives an answer to a question of Prokhorov and Shramov.

preprint2014arXiv

Two-dimensional families of hyperelliptic jacobians with big monodromy

Let KK be a global field of characteristic different from 2 and u(x)∈K[x]u(x)\in K[x] be an irreducible polynomial of even degree 2g≥62g\ge 6, whose Galois group over KK is either the full symmetric group S2gS_{2g} or the alternating group A2gA_{2g}. We describe explicitly how to choose (infinitely many) pairs of distinct elements t1,t2t_1, t_2 of KK such that the gg-dimensional jacobian of a hyperelliptic curve y2=(x−t1)(x−t2))u(x)y^2=(x-t_1)(x-t_2))u(x) has no nontrivial endomorphisms over an algebraic closure of KK and has big ℓ\ell-adic monodromy.

preprint2011arXiv

The Brauer group and the Brauer-Manin set of products of varieties

Let XX and YY be smooth and projective varieties over a field kk finitely generated over Q\mathbb Q, and let $\ov X$ and $\ov Y$ be the varieties over an algebraic closure of kk obtained from XX and YY, 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 kk 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.

preprint2010arXiv

Hodge classes on certain hyperelliptic prymians

Let n=2g+2n=2g+2 be a positive even integer, f(x)f(x) a degree nn complex polynomial without multiple roots and Cf:y2=f(x)C_f: y^2=f(x) the corresponding genus gg hyperelliptic curve over the field $\C$ of complex numbers. Let a (g−1)(g-1)-dimensional complex abelian variety PP be a Prym variety of CfC_f that corresponds to a unramified double cover of CfC_f. Suppose that there exists a subfield KK of $\C$ such that f(x)f(x) lies in K[x]K[x], is irreducible over KK and its Galois group is the full symmetric group. Assuming that g>2g>2, we prove that End(P)End(P) is either the ring of integers ZZ or the direct sum of two copies of ZZ; in addition, in both cases the Hodge group of PP is "as large as possible". In particular, the Hodge conjecture holds true for all self-products of PP.

preprint2010arXiv

Hodge groups of certain superelliptic jacobians

Suppose that KK is a field of characteristic 0, pp is an odd prime, rr a positive integer, q=prq=p^r a prime power. Suppose that f(x)f(x) is a polynomial of degree n>4n > 4 with coefficients in KK and without multiple roots. Let us consider the superelliptic curve C:yq=f(x)C: y^q=f(x) and its jacobian J(C)J(C). Assuming that KK is a subfield of the field of complex numbers, we study the (connected reductive algebraic) Hodge group HdgHdg of the corresponding complex abelian variety J(C)J(C). In our previous paper (arXiv:0907.1563 [math.AG]) we studied the center of Hdg.Inthispaperwestudythesemisimplepart(commutatorsubgroup)ofHdg. In this paper we study the semisimple part (commutator subgroup) of Hdg.Assumingthat. Assuming that pdoesnotdivide does not divide nand and n-1isnotdivisibleby is not divisible by q,theGaloisgroupof, the Galois group of f(x)over over Kiseitherthefullsymmetricgroup is either the full symmetric group S_northealternatinggroup or the alternating group A_n,weprovethatthesemisimplepartof, we prove that the semisimple part of Hdg$ is "as large as possible".

preprint2010arXiv

Ranks of Jacobians in towers of function fields

Let kk be a field of characteristic zero and let K=k(t)K=k(t) be the rational function field over kk. In this paper we combine a formula of Ulmer for ranks of certain Jacobians over KK with strong upper bounds on endomorphisms of Jacobians due to Zarhin to give many examples of higher dimensional, absolutely simple Jacobians over k(t)k(t) with bounded rank in towers k(t1/pr)k(t^{1/p^r}). In many cases we are able to compute the rank at every layer of the tower.

preprint2009arXiv

Families of absolutely simple hyperelliptic jacobians

We prove that the jacobian of a hyperelliptic curve y2=(x−t)h(x)y^2=(x-t)h(x) has no nontrivial endomorphisms over an algebraic closure of the ground field KK of characteristic zero if t∈Kt \in K and the Galois group of the polynomial h(x)h(x) over KK is "very big" and deg(h)deg(h) is an even number >8. (The case of odd deg(h)>3deg(h)>3 follows easily from previous results of the author.)

preprint2004arXiv

Non-supersingular Hyperelliptic jacobians

In his previous papers the author proved that in characteristic different from 2 the jacobian J(C) of a hyperelliptic curve C: y^2=f(x) has only trivial endomorphisms over an algebraic closure K_a of the ground field K if the Galois group of the irreducible polynomial f(x) in K[x] is either the full symmetric group S_n or the alternating group A_n. Here n > 8 is the degree of f. The goal of this paper is to extend this result to the case when either n=7,8 or n=5,6 and char(K)>3.

preprint2001arXiv

Hyperelliptic jacobians and projective linear Galois groups

In his previous paper (Math. Res. Letters 7(2000), 123--132) the author proved that in characteristic zero the jacobian J(C)J(C) of a hyperelliptic curve C:y2=f(x)C: y^2=f(x) has only trivial endomorphisms over an algebraic closure KaK_a of the ground field KK if the Galois group Gal(f)Gal(f) of the irreducible polynomial f(x)∈K[x]f(x) \in K[x] is either the symmetric group SnS_n or the alternating group AnA_n. Here n>4n>4 is the degree of ff. In math.AG/0003002 we extended this result to the case of certain ``smaller'' Galois groups. In particular, we treated the infinite series n=2r+1,Gal(f)=L2(2r)n=2^r+1, Gal(f)=L_2(2^r) and n=24r+2+1,Gal(f)=Sz(22r+1)n=2^{4r+2}+1, Gal(f)=Sz(2^{2r+1}). In the present paper we prove that J(C)J(C) has only trivial endomorphisms over KaK_a if the set of roots of ff could be identified with the (m−1)(m-1)-dimensional projective space Pm−1(Fq)P^{m-1}(F_q) over a finite field FqF_q of odd characteristic in such a way that Gal(f)Gal(f), viewed as its permutation group, becomes either the projective linear group PGL(m,Fq)PGL(m,F_q) or the projective special linear group Lm(q):=PSL(m,Fq)L_m(q):=PSL(m,F_q). Here we assume that m>2m>2.

preprint2001arXiv

Very simple 2-adic representations and hyperelliptic jacobians

Let KK be a number field, n>4n>4 an integer, f(x)f(x) an irreducible polynomial over KK of degree nn, whose Galois group is either the full symmetric group SnS_n or the alternating group AnA_n. Suppose C:y2=f(x)C:y^2=f(x) is the corresponding hyperelliptic curve and JJ its jacobian defined over KK. For each prime ℓ\ell we write Vℓ(J)V_{\ell}(J) for the QℓQ_{\ell}-Tate module of JJ and eℓe_{\ell} for the Riemann form on Vℓ(J)V_{\ell}(J) attached to the theta divisor. (Here QℓQ_{\ell} is the field of ℓ\ell-adic numbers.) We write sp(Vℓ(J))sp(V_{\ell}(J)) for the QℓQ_{\ell}-Lie algebra of the symplectic group of eℓe_{\ell}. We write gℓg_{\ell} for the Lie algebra of the image of the Galois group Gal(K)Gal(K) of KK in Aut(Vℓ(J))Aut(V_{\ell}(J)). We prove that gℓg_{\ell} coincides with the direct sum QℓI⊕sp(Vℓ(J))Q_{\ell}I \oplus sp(V_{\ell}(J)) where II is the identity operator.

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.