Abstract We show that abelian surfaces (and consequently curves of genus 2) over totally real fields are potentially modular. As a consequence, we obtain the expected meromorphic continuation and functional equations of their Hasse–Weil zeta functions. We furthermore show the modularity of infinitely many abelian surfaces  $$A$$ A over  $${\mathbf {Q}}$$ Q with  $$\operatorname{End}_{ {\mathbf {C}}}A={\mathbf {Z}}$$ End C A = Z . We also deduce modularity and potential modularity results for genus one curves over (not necessarily CM) quadratic extensions of totally real fields. 
                        more » 
                        « less   
                    
                            
                            Doubly isogenous genus-2 curves with 𝐷₄-action
                        
                    
    
            Abstract. We study the extent to which curves over finite fields are characterized by their zeta functions and the zeta functions of certain of their covers. Suppose C and C ′ are curves over a finite field K, with K-rational base points P and P ′ , and let D and D ′ be the pullbacks (via the Abel–Jacobi map) of the multiplication-by-2 maps on their Jacobians. We say that (C, P) and (C ′ , P ′ ) are doubly isogenous if Jac(C) and Jac(C ′ ) are isogenous over K and Jac(D) and Jac(D ′ ) are isogenous over K. For curves of genus 2 whose automorphism groups contain the dihedral group of order eight, we show that the number of pairs of doubly isogenous curves is larger than na¨ıve heuristics predict, and we provide an explanation for this phenomenon. 
        more » 
        « less   
        
    
                            - Award ID(s):
- 2200418
- PAR ID:
- 10520604
- Publisher / Repository:
- American Math Society
- Date Published:
- Journal Name:
- Mathematics of Computation
- Volume:
- 93
- Issue:
- 345
- ISSN:
- 0025-5718
- Page Range / eLocation ID:
- 347 to 381
- Subject(s) / Keyword(s):
- Curve, Jacobian, finite field, zeta function, isogeny, unramified cover, arithmetic statistics.
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
- 
            
- 
            Abstract The zeta function of a curve C over a finite field may be expressed in terms of the characteristic polynomial of a unitary matrix Θ C . We develop and present a new technique to compute the expected value of tr(Θ C n ) for various moduli spaces of curves of genus g over a fixed finite field in the limit as g is large, generalising and extending the work of Rudnick [ Rud10 ] and Chinis [ Chi16 ]. This is achieved by using function field zeta functions, explicit formulae, and the densities of prime polynomials with prescribed ramification types at certain places as given in [ BDF + 16 ] and [ Zha ]. We extend [ BDF + 16 ] by describing explicit dependence on the place and give an explicit proof of the Lindelöf bound for function field Dirichlet L -functions L (1/2 + it , χ). As applications, we compute the one-level density for hyperelliptic curves, cyclic ℓ-covers, and cubic non-Galois covers.more » « less
- 
            Abstract Given a K3 surface X over a number field K with potentially good reduction everywhere, we prove that the set of primes of K where the geometric Picard rank jumps is infinite. As a corollary, we prove that either $$X_{\overline {K}}$$ has infinitely many rational curves or X has infinitely many unirational specialisations. Our result on Picard ranks is a special case of more general results on exceptional classes for K3 type motives associated to GSpin Shimura varieties. These general results have several other applications. For instance, we prove that an abelian surface over a number field K with potentially good reduction everywhere is isogenous to a product of elliptic curves modulo infinitely many primes of K .more » « less
- 
            Abstract For a smooth projective varietyXover an algebraic number fieldka conjecture of Bloch and Beilinson predicts that the kernel of the Albanese map ofXis a torsion group. In this article we consider a product$$X=C_1\times \cdots \times C_d$$ of smooth projective curves and show that if the conjecture is true for any subproduct of two curves, then it is true forX. For a product$$X=C_1\times C_2$$ of two curves over$$\mathbb {Q} $$ with positive genus we construct many nontrivial examples that satisfy the weaker property that the image of the natural map$$J_1(\mathbb {Q})\otimes J_2(\mathbb {Q})\xrightarrow {\varepsilon }{{\,\textrm{CH}\,}}_0(C_1\times C_2)$$ is finite, where$$J_i$$ is the Jacobian variety of$$C_i$$ . Our constructions include many new examples of non-isogenous pairs of elliptic curves$$E_1, E_2$$ with positive rank, including the first known examples of rank greater than 1. Combining these constructions with our previous result, we obtain infinitely many nontrivial products$$X=C_1\times \cdots \times C_d$$ for which the analogous map$$\varepsilon $$ has finite image.more » « less
- 
            Let $$A$$ be a non-isotrivial ordinary abelian surface over a global function field of characteristic $p>0$ with good reduction everywhere. Suppose that $$A$$ does not have real multiplication by any real quadratic field with discriminant a multiple of $$p$$ . We prove that there are infinitely many places modulo which $$A$$ is isogenous to the product of two elliptic curves.more » « less
 An official website of the United States government
An official website of the United States government 
				
			 
					 
					
 
                                    