We study elliptic functions in quaternionic analysis, and prove some analogues of classical theorems from the complex case. The main result is a relation between the periods of closed differential 1-forms and 3-forms on H/L where L is a lattice in H. By applying to forms that are regular in the sense of quaternionic analysis, we obtain quaternionic analogues of Riemann's period relations for an abelian surface. We also obtain a quaternionic analogue of Legendre's relation, as an equality between $2π^2$ and a linear combination of the four quasi-periods of the quaternionic Weierstrass $ζ$-function, where the coefficients are rational functions of a basis for L. When L is a left-ideal for a maximal order in a definite quaternion algebra over Q, we obtain three further relations among the quasi-periods.
We present a deterministic and explicit algorithm to compute the endomorphism rings of supersingular elliptic curves. As an example we compute the endomorphism rings of all supersingular elliptic curves defined over characteristic p=29,...,97.
We study "quadratic periods" on quaternionic Shimura varieties and formulate an integral refinement of Shimura's conjecture regarding Petersson inner products of automorphic forms that are related by the Jacquet-Langlands correspondence. The main result is that this integral refinement is implied by another conjecture (Conjecture D below) regarding integrality of theta lifts between certain quaternionic unitary groups.
An abelian variety over a number field is called L-abelian variety if, for any element of the absolute Galois group of a number field L, the conjugated abelian variety is isogenous to the given one by means of an isogeny that preserves the Galois action on the endomorphism rings. We can think of them as generalizations of abelian varieties defined over L with endomorphisms also defined over L. In the one dimensional case, an elliptic curve defined over L gives rise to a Galois representation provided by the Galois action on its Tate module. This classical Galois representation has been a centr…
We prove many simultaneous congruences mod 2 for elliptic and Hilbert modular forms among forms with different Atkin--Lehner eigenvalues. The proofs involve the notion of quaternionic $S$-ideal classes and the distribution of Atkin--Lehner signs among newforms.
Values of quaternionic modular forms are related to twisted central $L$-values via periods and a theorem of Waldspurger. In particular, certain twisted $L$-values must be non-vanishing for forms with no zeroes. Here we study, theoretically and computationally, zeroes of definite quaternionic modular forms of trivial weight. Local sign conditions force certain forms to have trivial zeroes, but we conjecture that almost all forms have no nontrivial zeroes. In particular, almost all forms with appropriate local signs should have no zeroes. We show these conjectures follow from a conjecture on the…
The quaternionic Maass Spezialschar on split $\mathrm{SO}(8)$
University of Idaho（爱达荷大学）；The University of Oklahoma（俄克拉荷马大学）；University of Toronto（多伦多大学）；The University of California, San Diego（加州大学圣地亚哥分校）；Lafayette College（拉斐特学院）
We describe iterated integrals as unipotent periods on families of marked elliptic curves in terms of multiple zeta values and elliptic multiple zeta values.
Let F be a totally real number field. Using a recent geometric approach developed by Andreatta and Iovita we construct several variables p-adic families of finite slope quaternionic automorphic forms over F. It is achieved by interpolating the modular sheaves defined over some auxiliary unitary Shimura curves. Secondly, we attach p-adic L-functions to triples of ordinary p-adic families of quaternionic automorphic eigenforms. This is done by relating trilinear periods to some trilinear products over unitary Shimura curves which can be interpolated adapting the work of Liu-Zhang-Zhang to our fa…
In this paper we prove a relation between the period of an elliptic curve and the period of its real and imaginary quadratic twists. This relation is often misstated in the literature.
We study the Hodge-Tate period domain associated to a quaternionic Shimura curve at a prime of bad reduction, and give an explicit description of its Ekedahl-Oort stratification.
We give an account of the complex Arithmetic-Geometric Mean (AGM), as first studied by Gauss, together with details of its relationship with the theory of elliptic curves over $\C$, their period lattices and complex parametrisation. As an application, we present efficient methods for computing bases for the period lattices and elliptic logarithms of points, for arbitrary elliptic curves defined over $\C$. Earlier authors have only treated the case of elliptic curves defined over the real numbers; here, the multi-valued nature of the complex AGM plays an important role. Our method, which we hav…
We compute the image of Enriquez' elliptic KZB associator in the (maximal) meta-abelian quotient of the fundamental Lie algebra of a once-punctured elliptic curve. Our main result is an explicit formula for this image in terms of Eichler integrals of Eisenstein series, and is analogous to Deligne's computation of the depth one quotient of the Drinfeld associator. We also show how to retrieve Zagier's extended period polynomials of Eisenstein series, as well as the values at zero of Beilinson--Levin's elliptic polylogarithms from the meta-abelian elliptic KZB associator.
We express the real period of a family of elliptic curves in terms of classical hypergeometric series. This expression is analogous to a result of Ono which relates the trace of Frobenius of the same family of elliptic curves to a Gaussian hypergeometric series. This analogy provides further evidence of the interplay between classical and Gaussian hypergeometric series.
Let E/K be an elliptic curve defined over a number field, and let p be a prime number such that E(K) has full p-torsion. We show that the order of the p-part of the Shafarevich-Tate group of E/L is unbounded as L varies over degree p extensions of K. The proof uses O'Neil's period-index obstruction. We deduce the result from the fact that, under the same hypotheses, there exist infinitely many elements of the Weil-Chatelet group of E/K of period p and index p^2.
Let $X_0^6(1)/W_6$ be the Atkin-Lehner quotient of the Shimura curve $X_0^6(1)$ associated to a maximal order in an indefinite quaternion algebra of discriminant $6$ over $\mathbb Q$. By realizing modular forms on $X_0^6(1)/W_6$ in two ways, one in terms of hypergeometric functions and the other in terms of Borcherds forms, and using Schofer's formula for values of Borcherds forms at CM-points, we obtain special values of certain hypergeometric functions in terms of periods of elliptic curves over $\overline\mathbb Q$ with complex multiplication.
Let $f(x)$ be a square free quartic polynomial defined over a quadratic field $K$ such that its leading coefficient is a square. If the continued fraction expansion of $\displaystyle \sqrt{f(x)}$ is periodic, then its period $n$ lies in the set \[\{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,17,18,22,26,30,34\}.\] We write explicitly all such polynomials for which the period $n$ occurs over $K$ but not over $\Q$ and $\displaystyle n\not\in\{ 13,15,17\}$. Moreover we give necessary and sufficient conditions for the existence of such continued fraction expansions with period $13, 15$ or $17$ over $K$.
For any elliptic curve $E$ over $k\subset \Bbb R$ with $E({\Bbb C})={\Bbb C}^\times/q^{\Bbb Z}$, $q=e^{2πiz}, \Im(z)>0$, we study the $q$-average $D_{0,q}$, defined on $E({\Bbb C})$, of the function $D_0(z) = \Im(z/(1-z))$. Let $Ω^+(E)$ denote the real period of $E$. We show that there is a rational function $R \in {\Bbb Q}(X_1(N))$ such that for any non-cuspidal real point $s\in X_1(N)$ (which defines an elliptic curve $E(s)$ over $\Bbb R$ together with a point $P(s)$ of order $N$), $πD_{0,q}(P(s))$ equals $Ω^+(E(s))R(s)$. In particular, if $s$ is $\Bbb Q$-rational point of $X_1(N)$, a rare o…
For an elliptic curve $E$ defined over a field $k\subset \mathbb C$, we study iterated path integrals of logarithmic differential forms on $E^\dagger$, the universal vectorial extension of $E$. These are generalizations of the classical periods and quasi-periods of $E$, and are closely related to multiple elliptic polylogarithms and elliptic multiple zeta values. Moreover, if $k$ is a finite extension of $\mathbb Q$, then these iterated integrals along paths between $k$-rational points are periods in the sense of Kontsevich--Zagier.
We study the algebraicity of the central critical values of twisted triple product $L$-functions associated to motivic Hilbert cusp forms over a totally real étale cubic algebra in the totally unbalanced case. The algebraicity is expressed in terms of the cohomological period constructed via the theory of coherent cohomology on quaternionic Shimura varieties developed by Harris. As an application, we generalize our previous result on Deligne's conjecture for certain automorphic $L$-functions for ${\rm GL}_3 \times {\rm GL}_2$. We also establish a relation for the cohomological periods under tw…
It is proved that the rank of elliptic curves with complex multiplication introduced by B. H. Gross is one less an arithmetic complexity of the corresponding noncommutative tori with real multiplication.
We construct two new families of basis for finite field extensions. Basis in the first family, the so-called elliptic basis, are not quite normal basis, but they allow very fast Frobenius exponentiation while preserving sparse multiplication formulas. Basis in the second family, the so-called normal elliptic basis are normal basis and allow fast (quasi linear) arithmetic. We prove that all extensions admit models of this kind.
In this article, we construct algebraic equations for a curve C and a map f to an elliptic curve E, with pre-specified branching data. We do this by determining certain relations that the periods of C and E must satisfy and use these relations to approximate the coefficients to high precision. We then conjecture which algebraic numbers the coefficients are, and then we prove this conjecture to be correct.
In our PH.D. thesis we have showed that the Generalized Grothendieck's Conjecture of Periods applied to 1-motives, whose underlying semi-abelian variety is a product of elliptic curves and of tori, is equivalent to a transcendental conjecture involving elliptic integrals of the first and second kind, and logarithms of complex numbers. In this paper we investigate the Generalized Grothendieck's Conjecture of Periods in the case of 1-motives whose underlying semi-abelian variety is a non trivial extension of a product of elliptic curves by a torus. This will imply the introduction of elliptic in…
