arXiv:2010.08481v2 [math.AG] 5 May 2021 atoe rbeso hmr aite,seilpit nt in points special varieties, Shimura of problems open tant ope utpiain n uhls skonaotterd their about known Rieman diffic is compact a given less space is a much moduli it of and variety general, multiplication, Jacobian in complex the However, not or quotients. whether their mult complex and admitting curves variety Jacobian with surfaces mann ean sa pnpolmfor problem open an as remains hntenme fioopimcasso opc imn su Riemann compact of classes isomorphism of number the then where hn yPicreRdcblt hoe,teeeitpairw varieties exist abelian there theorem, Poincar´e Reducibility by then, n h hoyo nieyintersections. unlikely of theory the and atta hscnetr a enpoe ob as for false be to proved been has conjecture is this multiplication that complex fact admitting variety Jacobian with mgnr udai xeso fattlyra edo degr of field real totally a of extension quadratic imaginary ope utpiaini t ainledmrhs algeb endomorphism rational its if multiplication complex samte ffc,awl-nw ojcuedet oea pr Coleman to due conjecture well-known a fact, of matter a As sanme edo ere2 degree of field number a is ipefactor simple uv)adlet and curve) ipecmlxplrzdaeinvariety abelian polarized complex simple A 2010 Let atal upre yFney rns1102,1991a 1190991 11180024, Grants Fondecyt by supported Partially e od n phrases. and words Key OEO AOIN FQAILTNCRIEMANN QUASIPLATONIC OF JACOBIANS ON NOTE A ∼ X ahmtc ujc Classification. Subject Mathematics Abstract. faqailtncReansraeamt ope multipli th complex which admits under surface criterion Riemann a quasiplatonic provide a to of result this extend then h aoinvreyo uspaoi imn ufc wit surface to Riemann isomorphic quasiplatonic automorphisms a of of variety Jacobian the tnsfrioey ydefinition, By isogeny. for stands UFCSWT OPE MULTIPLICATION COMPLEX WITH SURFACES eacmatReansrae(r qiaety ope al complex a equivalently, (or, surface Riemann compact a be A A JX j g A does. fpicplyplrzdaeinvreis e,frexamp for see, varieties; abelian polarized principally of Let 1 eoeisJcba ait.Cascleape fcompact of examples Classical variety. Jacobian its denote A , . . . , m imn ufcs aoinvreis ope multiplica complex varieties, Jacobian surfaces, Riemann > SEBASTI s ea vnitgr nti hr oew rv that prove we note short this In integer. even an be 6 n oiieintegers positive and g A nti case this In . 1. E g ∼ > End( = Introduction NREYES-CAROCCA AN ´ A C 8 2 2 1 n . 11,1G0 42,14H37. 14K22, 11G10, 11G15, 1 ⋊ hscnetr scoeyrltdt impor- to related closely is conjecture This × · · · × 2 1 C A A m ) discmlxmlilcto.We multiplication. complex admits discmlxmlilcto feach if multiplication complex admits ⊗ E Z A A Q saC ed aey totally a namely, field; CM a is s n n fdimension of s 1 n , . . . , dRdsGat170071. Grant Redes nd s o sgnu simple isogenous non ise ra g soitdgroup associated h cation. s aoinvariety Jacobian e ee nt.I pt fthe of spite In finite. eTrlilcsof locus Torelli he nsc a that way a such in 6 piainaeFermat are iplication g If . 7 dcsta if that edicts l akt decide to task ult g , srbto nthe in istribution ufc admits surface n fcso genus of rfaces urnl tstill it currently ssi oadmit to said is A sntsimple not is tion. gebraic e [ le, g Rie- > A 8 ]. g 4 g 2 SEBASTIAN´ REYES-CAROCCA

If the Jacobian variety of a compact Riemann surface X admits complex multi- plication then X can be defined, as complex algebraic curve, over a number field; see [12]. In part due to this fact, there has been an increase in the interest of these compact Riemann surfaces, particularly in their applications to number theory and arithmetic geometry. By the classical Belyi’s theorem [1], a compact Riemann surface X can be defined over a number field if and only if there exists a holomorphic map β : X → P1 with at most three critical values; the pair (X, β) is called a Belyi pair. Possibly the more interesting examples of Belyi pairs are the regular ones: namely, those for which β is given by the action of a group of automorphisms of X. In this case, X is known to be quasiplatonic (or to have many automorphisms); that is, it cannot be deformed non-trivially in the moduli space together with its automorphism group. Oort in [9, p.18] considered quasiplatonic Riemann surfaces and discussed the problem of determining which among them have Jacobian variety admitting com- plex multiplication. For genus at most four, this problem was completely solved by Wolfart in [14]. Later, M¨uller and Pink in [6] and Obus and Shaska in [7] con- sidered the hyperelliptic and superelliptic situations respectively, and succeeded in determining which among them have Jacobian variety admitting complex multi- plication. A different approach can be done by considering regular Belyi pairs β : X → P1 =∼ X/H whose covering groups H share a common property or have the same algebraic structure. In this direction, it was proved in [14] that if H is abelian then JX admits complex multiplication, and in [2] the same conclusion was obtained for two infinite series of compact Riemann surfaces arising as quotients of regular Belyi curves with a metacyclic group of automorphisms. In this short note we consider a infinite series of quasiplatonic Riemann surfaces with associated covering group isomorphic to the semidirect product 2 2 2 m −1 −1 ∼ 2 Gm := ha, b, t : a = b = (ab) = t = 1, tat = a, tbt = abi = C2 ⋊2 Cm where m > 6 is even integer. Based on the classification and description obtained in [3] for quasiplatonic Riemann surfaces with action of semidirect products of the 2 form C2 ⋊ Cm, we prove the following result. Theorem. Let m > 6 be an even integer. If (X, β) is a regular Belyi pair with associated covering group isomorphic to Gm then the Jacobian variety JX admits complex multiplication. The proof of the theorem –which is rather simple and based on the classical theory of covering of Riemann surfaces– is done in Section §2. Then, in Section §3 we extend the arguments used to prove the theorem to provide a criterion under which the Jacobian variety of a quasiplatonic Riemann surface admits complex QUASIPLATONIC RIEMANN SURFACES WITH COMPLEX MULTIPLICATION 3 multiplication. Finally, we end this short note by recalling a couple of observations in Section §4.

2. Proof of the theorem Let (X, β) be a regular Belyi pair with associated covering group isomorphic to Gm where m > 6 is even. Case A. Assume m ≡ 2 mod 4. Following [3, Theorem 1(1)], the regular cov- ering map 1 X → X/Gm =∼ P ramifies over three values marked with 2,m and 2m, and the genus of X is

gX = m − 2. Moreover, as observed in [3, Subsection §4.3.1], its Jacobian variety decomposes isogenously as the product JX ∼ JY 2 (2.1) where Y = X/hai is the quotient Riemann surface represented by the affine alge- braic curve y2 = xm − 1.

Note that hai is a normal subgroup of Gm and the quotient H = Gm/hai is an abelian group of order 2m acting as a group of automorphisms of Y. Clearly, the corresponding orbit space Y/H has genus zero and the associated regular covering map βH : Y → Y/H ramifies over at most three values. It follows that (Y, βH ) is a regular Belyi pair with abelian covering group; thus, by [14, Theorem 4], we obtain that JY admits complex multiplication. The result follows from the isogeny (2.1). Case B. Assume m ≡ 0 mod 4. Following [3, Theorem 1(2b)], the regular covering map 1 X → X/Gm =∼ P ramifies over three values marked with 2,m and m and the genus of X is

gX = m − 3. Moreover, as observed in [3, Subsection §4.3.3], its Jacobian variety decomposes isogenously as the product JX ∼ JY × JZ2 (2.2) where Y = X/hai and Z = X/hbi are the quotient Riemann surfaces represented by the affine algebraic curves m y2 = xm − 1 and y2 = x 2 − 1 m m respectively; their genera are gY = 2 − 1 and gZ = 4 − 1. We argue analogously as done in the case A to ensure that JY admits complex multiplication. Besides, in order to prove that JZ also does, define 4πi ι(x,y) = (x, −y) and τ(x,y) = (exp( m )x,y) 4 SEBASTIAN´ REYES-CAROCCA

∼ and let K = hι, τi = C2 × Cm/2. We observe that the abelian group K satisfies

|K| > 4(gZ − 1) for all m > 8. Then, by the classification of large abelian groups of automorphisms of compact Riemann surfaces given in [5, Theorem 3.1], we see that the branched regular covering map 1 βK : Z → Z/K =∼ P m m ramifies over three values, marked with 2, 2 and 2 . Thus, again by [14, Theorem 4], we conclude that JZ admits complex multiplication and the result follows from the isogeny (2.2).

3. A generalization Let (X, β) be a regular Belyi pair and let G denote the associated covering group. Consider a collection {H1,...,Hs} of proper non-trivial subgroups of G. Let Yi denote the quotient Riemann surface X/Hi and let gi 6= 0 denote its genus, for each i ∈ {1,...,s}.

Assume the existence of positive integers n,n1,...,ns in such a way that n n1 ns JX ∼ JY1 ×···× JYs (we point out that conditions under which an isogeny as above can be obtained were determined, for example, in [4] and later generalized in [11]). Consider the following statements:

A. Hi is a normal subgroup of G and G/Hi is abelian. B. Yi admits a large abelian group Ki of automorphisms (namely, its order is strictly greater than 4(gi − 1)) with only one exception: Ki =∼ C6 and

Yi → Yi/Ki ramifies over four values; two marked with 2 and two marked with 3. The arguments employed in the proof of the theorem are naturally generalized to provide the following criterion. With the same notations:

Criterion. If for each i ∈ {1,...,s} either Hi satisfies the statement A or Yi satisfies statement B, then JX admits complex multiplication. It is worth to mention that the statement B can be restated in a weaker manner. Indeed, the same conclusion is obtained if we ask Yi to be endowed with a quasi- large abelian group Ki of automorphisms (namely, its order is strictly greater than 2(gi − 1)) not belonging to one of the 22 exceptional cases listed in [10, Table 2].

4. Remarks Remark 1. We should mention that the criterion is, as expected, rather restric- tive. However, it provides a different approach to find new examples of Jacobian varieties admitting complex multiplication. In addition, it is worth recalling that a QUASIPLATONIC RIEMANN SURFACES WITH COMPLEX MULTIPLICATION 5 shorter proof of the theorem can be obtained by noticing that Y and Z in the the- orem are hyperelliptic. Nevertheless, as our proof is based on significantly simpler arguments which do not depend on the hyperellipticity of the involved quotients, its generalization could be used for a possibly wider range of cases.

Remark 2. In [13] Streit provided a representation theoretic sufficient condition for the Jacobian variety of a quasiplatonic Riemann surface to admit complex 2 multiplication. Concretely, with the previous notations, if S (ρa) denotes the sym- metric square representation of the analytic representation ρa of G and 1 stands for the trivial representation of G then 2 hS (ρa), 1iG =0 =⇒ JX admits complex multiplication. After routine computations, one sees that the previous criterion allows to con- clude that JX admits complex multiplication provided that n ≡ 2 mod 4. How- ever, this criterion does not provide conclusion if n ≡ 0 mod 4.

Acknowledgements. The author is grateful to the referee for suggesting useful improvements to the article, and to Jennifer Paulhus and Anita M. Rojas for valuable conversations and for sharing their computer routines with him.

References [1] G. V. Bely˘ı, On Galois extensions of a maximal cyclotomic field Math. USSR Izv. 14, 247– 256 (1980). [2] A. Carocca, H. Lange and R. E. Rodr´ıguez, Jacobians with complex multiplication, Trans. Amer. Math. Soc. 363 (2011), no. 12, 6159–6175. [3] R. A. Hidalgo, L. Jimenez,´ S. Quispe and S. Reyes-Carocca, Quasiplatonic curves with 2 symmetry group Z2 ⋊Zm are definable over Q, Bull. London Math. Soc. 49 (2017) 165–183. [4] E. Kani and M. Rosen, Idempotent relations and factors of Jacobians, Math. Ann. 284 (1989), 307–327. [5] C. Lomuto, Riemann surfaces with a large abelian group of automorphisms, Collect. Math. 57 (2006), no. 3, 309–318. [6] N. Muller¨ and R. Pink, Hyperelliptic curves with many automorphisms, Preprint arXiv: 1711.06599 [7] A. Obus and T. Shaska, Superelliptic curves with many automorphisms and CM Jacobians, Preprint arXiv:2006.12685 [8] F. Oort, CM Jacobians. In: Conference Galois covers and deformations Bordeaux, June 25–29, 2012, http://www.staff.science.uu.nl/∼oort0109/Bord2-VI-12.pdf [9] F. Oort Moduli of abelian varieties in mixed and in positive characteristic. In: Handbook of moduli. Vol. III, Adv. Lect. Math. (ALM) 26 (2013) 75–134. [10] R. Pignatelli and C. Raso, Riemann surfaces with a quasi large abelian group of auto- morphisms, Matematiche (Catania) 66 (2011), no. 2, 77–90. [11] S. Reyes-Carocca and R. E. Rodr´ıguez, A generalisation of Kani-Rosen decomposition theorem for Jacobian varieties, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 19 (2019), no. 2, 705–722. [12] G. Shimura and Y. Taniyama, Complex multiplication of abelian varieties and its applica- tions to number theory, Publ. Math. Soc. Japan 6, 1961. [13] M. Streit, Period matrices and representation theory, Abh. Math. Sem. Univ. Hamburg 71 (2001), 279–290. [14] J. Wolfart, Triangle groups and Jacobians of CM type. Frankfurt a.M., 2000. URL: http://www.math.uni-frankfurt.de/∼wolfart/Artikel/jac.pdf 6 SEBASTIAN´ REYES-CAROCCA

Departamento de Matematica´ y Estad´ıstica, Universidad de La Frontera, Avenida Francisco Salazar 01145, Temuco, Chile. Email address: [email protected]