Quadratic Forms and Automorphic Forms

Hanke, Jonathan

doi:10.1007/978-1-4614-7488-3_5

Cited by 6 publications

(4 citation statements)

References 52 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Then it recovers the weighted average of theta series in (2.1.3.1) (see e.g., [Han13,§4.6], [KR14,§7]).…”

Section: Siegel-weil Formulamentioning

confidence: 95%

From sum of two squares to arithmetic Siegel-Weil formulas

Li¹

2021

Preprint

View full text Add to dashboard Cite

The main goal of this expository article is to survey recent progress on the arithmetic Siegel-Weil formula and its applications. We begin with the classical sum of two squares problem and put it in the context of the Siegel-Weil formula. We then motivate the geometric and arithmetic Siegel-Weil formula using the classical example of the product of modular curves. After explaining the recent result on the arithmetic Siegel-Weil formula for Shimura varieties of arbitrary dimension, we discuss some aspects of the proof and its application to the arithmetic inner product formula and the Beilinson-Bloch conjecture. Rather than intended to be a complete survey of this vast field, this article focuses more on examples and background to provide easier access to the recent works [LZ, LZ21, LL, LL21]. Contents 1. Sum of two squares 1 2. Siegel-Weil formula 5 3. Geometric Siegel-Weil formula 11 4. Arithmetic Siegel-Weil formula 18 5. Local arithmetic Siegel-Weil formula 21 6. Arithmetic inner product formula 28 References 341. Sum of two squares 1.1. Which prime p can be written as the sum of two squares? For the first few primes we easily find that 5 = 1 2 + 2 2 , 13 = 2 2 + 3 2 , 17 = 1 2 + 4 2 , 29 = 2 2 + 5 2 are sum of two squares, while other primes like 3, 7, 11, 19, 23 are not. The answer seems to depend on the residue class of p modulo 4.Theorem 1.1.1. A prime p = 2 is the sum of two squares if and only if p ≡ 1 (mod 4).Theorem 1.1.1 is usually attributed to Fermat, and appeared in his letter to Mersenne dated Dec 25, 1640 (hence the name Fermat's Christmas Theorem), although the statement can already be found in the work of Girard in 1625. The "only if" direction is obvious, but the "if" direction is far from trivial. Fermat claimed that he had an irrefutable proof, but nobody was able to find the complete proof among his work -apparently the margin was often too narrow for Fermat. The Date: October 15, 2021. The author would like to thank Benedict Gross, Yifeng Liu, Murilo Zanarella and Wei Zhang for helpful comments.

show abstract

“…Then it recovers the weighted average of theta series in (2.1.3.1) (see e.g., [Han13,§4.6], [KR14,§7]).…”

Section: Siegel-weil Formulamentioning

confidence: 95%

From sum of two squares to arithmetic Siegel-Weil formulas

Li¹

2021

Preprint

View full text Add to dashboard Cite

show abstract

“…We will write θ r ,μ as an automorphic theta function (see for example [10]). Using the standard notation (see [33]):…”

Section: Remark 32mentioning

confidence: 99%

“…for g z = y 1/2 y −1/2 x 0 y −1/2 , we can compute θ(g z , φ r ,μ ) = e −πi Frac 2 μ (−1) r y 1/4 θ r ,μ (2z). For this type of standard computation see for example [10].…”

Section: Remark 32mentioning

confidence: 99%

Central values of L-functions of cubic twists

Rosu

2020

Math. Ann.

View full text Add to dashboard Cite

We are interested in finding for which positive integers D we have rational solutions for the equation $$x^3+y^3=D.$$ x 3 + y 3 = D . The aim of this paper is to compute the value of the L-function $$L(E_D, 1)$$ L ( E D , 1 ) for the elliptic curves $$E_D: x^3+y^3=D$$ E D : x 3 + y 3 = D . For the case of p prime $$p\equiv 1\mod 9$$ p ≡ 1 mod 9 , two formulas have been computed by Rodriguez-Villegas and Zagier. We have computed formulas that relate $$L(E_D, 1)$$ L ( E D , 1 ) to the square of a trace of a modular function at a CM point. This offers a criterion for when the integer D is the sum of two rational cubes. Furthermore, when $$L(E_D, 1)$$ L ( E D , 1 ) is nonzero we get a formula for the number of elements in the Tate–Shafarevich group and we show that this number is a square when D is a norm in $${\mathbb {Q}}[\sqrt{-3}]$$ Q [ - 3 ] .

show abstract

“…The corresponding theta function is