An explicit version of Shimura's reciprocity law for Siegel modular functions

Marco Streng

2024-04-22

Abstract:We give an explicit version of Shimura's reciprocity law for singular values of Siegel modular functions. We use this to construct the first examples of class invariants of quartic CM fields that are smaller than Igusa invariants. Our statement also enables a new proof of Shimura's reciprocity law by Tonghai Yang.

Number Theory

What problem does this paper attempt to address?

Explicit reciprocity laws and Iwasawa theory for modular forms

Matthew Emerton,Robert Pollack,Tom Weston

2024-10-10

Abstract:We prove that the Mazur-Tate elements of an eigenform $f$ sit inside the Fitting ideals of the corresponding dual Selmer groups along the cyclotomic $\mathbb Z_p$-extension (up to scaling by a single constant). Our method begins with the construction of local cohomology classes built via the $p$-adic local Langlands correspondence. From these classes, we build algebraic analogues of the Mazur-Tate elements which we directly verify sit in the appropriate Fitting ideals. Using Kato's Euler system and explicit reciprocity laws, we prove that these algebraic elements divide the corresponding Mazur-Tate elements, implying our theorem.

Number Theory
A reciprocity law in function fields

DOI: https://doi.org/10.1007/s00013-024-02006-9

2024-05-17

Archiv der Mathematik

Abstract:We generalize Gauss' lemma over function fields, and establish a reciprocity law for power residue symbols. As an application, a reciprocity law for power residue symbols is established in totally imaginary function fields.

mathematics
The reciprocity law for the twisted second moment of Dirichlet L-functions

Matthew P. Young

DOI: https://doi.org/10.1515/FORM.2011.053

2007-08-22

Abstract:We produce a new proof of the reciprocity law for the twisted second moment of Dirichlet L-functions that was recently proved by Conrey. Our method is to analyze certain two-variable sums where the variables satisfy a linear congruence. We show that these sums satisfy an elegant reciprocity formula. In the case that the modulus is prime, these sums are closely related to the twisted second moment, and the reciprocity formula for these sums implies Conrey's reciprocity formula. We also extend the range of uniformity of Conrey's formula.

Number Theory
Rankin--Eisenstein classes and explicit reciprocity laws

Guido Kings,David Loeffler,Sarah Livia Zerbes

DOI: https://doi.org/10.4310/CJM.2017.v5.n1.a1

2023-11-22

Abstract:We construct three-variable $p$-adic families of Galois cohomology classes attached to Rankin convolutions of modular forms, and prove an explicit reciprocity law relating these classes to critical values of L-functions. As a consequence, we prove finiteness results for the Selmer group of an elliptic curve twisted by a 2-dimensional odd irreducible Artin representation when the associated $L$-value does not vanish.

Number Theory
Hermite's identity and the quadratic reciprocity law

Franz Lemmermeyer

DOI: https://doi.org/10.48550/arXiv.2206.01170

2022-05-10

Abstract:We give a short proof of the quadratic reciprocity law using Gauss's Lemma and Hermite's identity.

History and Overview,Number Theory
On Finite Fields and Higher Reciprocity

Matias Carl Relyea

2024-08-03

Abstract:Cubic and biquadratic reciprocity have long since been referred to as "the forgotten reciprocity laws", largely since they provide special conditions that are widely considered to be unnecessary in the study of number theory. In this exposition of finite fields and higher reciprocity, we will begin by introducing concepts in abstract algebra and elementary number theory. This will motivate our approach toward understanding the structure and then existence of finite fields, especially with a focus on understanding the multiplicative group $\mathbb{F}^{*}$. While surveying finite fields we will provide another proof of quadratic reciprocity. We will proceed to investigate properties of the general multiplicative character, covering the concept of a general Gauss sum as well as basic notions of the Jacobi sum. From there we will begin laying the foundations for the cubic reciprocity law, beginning with a classification of the primes and units of the Eisenstein integers, denoted $\mathbb{Z}[\omega]$, and further investigations into the residue class ring $\mathbb{Z}[\omega]/\pi\mathbb{Z}[\omega]$ for $\pi$ prime, which is predominantly the world in which cubic reciprocity lies. We then define the cubic residue character and state the full law of cubic reciprocity. We will finish the section on cubic reciprocity with a brief survey of the cubic residue character of the even prime $2$ and state a significant result due to Gauss that summarizes the conditions for $2$ to be a cubic residue. We conclude with a brief survey of the law of biquadratic reciprocity.

Number Theory
Zero-Dimensional Shimura Varieties and Central Derivatives of Eisenstein Series

Siddarth Sankaran

DOI: https://doi.org/10.1093/imrn/rnae179

2024-09-02

International Mathematics Research Notices

Abstract:Abstract We formulate and prove a version of the arithmetic Siegel–Weil formula for (zero dimensional) Shimura varieties attached to tori, equipped with some additional data. More precisely, we define a family of “special” divisors in terms of Green functions at archimedean and non-archimedean places and prove that their degrees coincide with the Fourier coefficients of the central derivative of an Eisenstein series. The proof relies on the usual Siegel–Weil formula to provide a direct link between both sides of the identity, and in some sense, offers a more conceptual point of view on prior results in the literature.

mathematics
Explicit reciprocity laws for diagonal classes: higher level cases

Luca Marannino

2024-02-22

Abstract:We generalize the $p$-adic explicit reciprocity laws for balanced diagonal classes by Darmon-Rotger and Bertolini-Seveso-Venerucci to the case of geometric balanced triples $(f,g,h)$ of modular eigenforms where $f$ is a $p$-ordinary newform, while $g$ and $h$ are allowed to be (both) supercuspidal at $p$ or (both) ramified principal series at $p$.

Number Theory
Mod $\ell$ multiplicities in certain $U(4)$ Shimura varieties

Jeffrey Manning

2024-10-11

Abstract:We use the Taylor-Wiles-Kisin patching method to investigate the multiplicities with which Hecke eigensystems appear in the mod-$\ell$ cohomology of unitary Shimura sets, associated to central simple algebras of the form $B=M_2(D)$, for $D$ a nonsplit quaternion algebra over a $CM$ field. We follow a similar strategy to the one used in our prior work for Shimura curves, exploiting the natural self-duality in this setting. Our method requires a careful analysis of certain irreducible components of local deformation rings. We introduce and analyze a new local model for local deformation rings specific to the case of a banal prime, which is significantly better behaved than the standard local models for local deformation rings. Our main result is a "multiplicity $2^a$ result", in the case where quaternion algebra $D$ ramifies only at banal primes, where $a$ is the number of places in the discriminant of $D$ which satisfy a certain Galois theoretic condition. We also prove an additional statement about the endomorphism ring of the cohomology of the Shimura set, which has an application to the study of congruence modules.

Number Theory
Eichler-Shimura theory for general congruence subgroups

Soumyadip Sahu

2024-10-27

Abstract:This article aims to extend the Eichler-Shimura isomorphism theorem for cusp forms on a congruence subgroup of $\text{SL}_2(\mathbb{Z})$ to the whole space of modular forms. To regularize the Eichler-Shimura integral at infinity we reconstruct the standard formalism of the Eichler-Shimura theory starting from an abstract differential definition of the integral. The article also provides new proof of Hida's twisted Eichler-Shimura isomorphism for the modular forms with nebentypus using the isomorphism theorem mentioned above. We compute the Eichler-Shimura homomorphism for a family of Eisenstein series on $\Gamma(N)$ and prove algebraicity results for the cohomology classes attached to a basis of the space of Eisenstein series on a general congruence subgroup.

Number Theory
Rational Quartic Reciprocity II

Franz Lemmermeyer

DOI: https://doi.org/10.48550/arXiv.1310.6597

2013-10-24

Abstract:We continue investigating rational quartic reciprocity laws and, at the suggestion of the editor of AA, provide details of a proof of a remark in the first article with this title.

Number Theory
Explicit Reciprocity Laws in Iwasawa Theory -- A survey with some focus on the Lubin-Tate setting

Otmar Venjakob

2023-11-14

Abstract:Starting from Gauß' and Legendre's quadratic reciprocity law we want to sketch how it gave rise to the development of higher and generalized reciprocity laws and over all explicit reciprocity formulas in Iwasawa theory.

Number Theory
Higher reciprocity law and An analogue of the Grunwald–Wang theorem for the ring of polynomials over an ultra-finite field

Dong Quan Ngoc Nguyen

DOI: https://doi.org/10.1016/j.apal.2024.103438

IF: 0.776

2024-03-21

Annals of Pure and Applied Logic

Abstract:In this paper, we establish an explicit higher reciprocity law for the polynomial ring over a nonprincipal ultraproduct of finite fields. Such an ultraproduct can be taken over the same finite field, which allows to recover the classical higher reciprocity law for the polynomial ring Fq[t] over a finite field Fq that is due to Dedekind, Kühne, Artin, and Schmidt. On the other hand, when the ultraproduct is taken over finite fields of unbounded cardinalities, we obtain an explicit higher reciprocity law for the polynomial ring over an infinite field in both characteristics 0 and p>0 for some prime p . We then use the higher reciprocity law to prove an analogue of the Grunwald–Wang theorem for such a polynomial ring in both characteristics 0 and p>0 for some prime p .

mathematics, applied,logic
Scholz's reciprocity law in number fields

Franz Lemmermeyer

DOI: https://doi.org/10.48550/arXiv.2101.03145

2021-01-08

Number Theory

Abstract:In this article we prove a reciprocity law in number fields with odd class number that specializes to Scholz's reciprocity law over the rationals.
Pullback of arithmetic theta series and its modularity for unitary Shimura curves

Qiao He,Yousheng Shi,Tonghai Yang

2024-03-07

Abstract:This paper is a complement of the modularity result of Bruinier, Howard, Kudla, Rapoport and Yang (BHKRY) for the special case $U(1,1)$ not considered there. The main idea to embed a $U(1, 1)$ Shimura curve to many $U(n-1, 1)$ Shimura varieties for big $n$, and prove a precise pullback formula of the generating series of arithmetic divisors. Afterwards, we use the modularity result of BHKRY together with existence of non-vanishing of classical theta series at any given point in the upper half plane to prove the modulartiy result on $U(1, 1)$ Shimura curves.

Number Theory
Equidistribution of CM points on a Shimura Curve modulo a ramified prime

Francesco Maria Saettone

2024-05-31

Abstract:We prove an equidistribution statement for the reduction of Galois orbits of CM points on the special fiber of a Shimura curve over a totally real field attached to some ramified primes. To do so we study the reduction of CM points in the special fiber and we use Ratner's theorem to obtain the desired equidistribution.

Number Theory
Brauer-Siegel for Arithmetic Tori and lower bounds for Galois orbits of special points

Jacob Tsimerman

DOI: https://doi.org/10.48550/arXiv.1103.5619

2011-06-12

Abstract:In \cite{S}, Shyr derived an analogue of Dirichlet's class number formula for arithmetic Tori. We use this formula to derive a Brauer-Siegel formula for Tori, relating the Discriminant of a torus to the product of its regulator and class number. We apply this formula to derive asymptotics and lower bounds for Galois orbits of CM points in the Siegel modular variety $A_{g,1}$. Specifically, we ask that the sizes of these orbits grows like a power of Discriminant of the underlying endomorphism algebra. We prove this unconditionally in the case $g\leq 5$, and for all $g$ under the Generalized Riemann Hypothesis for CM fields. Along the way we derive a general transfer principle for torsion in ideal class groups of number fields.

Number Theory
Modular Inverse and Reciprocity Formula

W. H. Ko

DOI: https://doi.org/10.48550/arXiv.1304.6778

2013-04-25

Abstract:This paper proves a reciprocity formula for modular inverses for non-zero integers and demonstrates some applications of the reciprocity formula in calculating or verifying some modular inverses of specific forms, including the modular inverse of a Gaussian integer modulo another Gaussian integer.

Number Theory
On the arithmetic Siegel--Weil formula for GSpin Shimura varieties

Chao Li,Wei Zhang

DOI: https://doi.org/10.48550/arXiv.2106.15038

2021-06-29

Abstract:We formulate and prove a local arithmetic Siegel--Weil formula for GSpin Rapoport--Zink spaces, which is a precise identity between the arithmetic intersection numbers of special cycles on GSpin Rapoport--Zink spaces and the derivatives of local representation densities of quadratic forms. As a first application, we prove a semi-global arithmetic Siegel--Weil formula as conjectured by Kudla, which relates the arithmetic intersection numbers of special cycles on GSpin Shimura varieties at a place of good reduction and the central derivatives of nonsingular Fourier coefficients of incoherent Siegel Eisenstein series.

Number Theory,Algebraic Geometry,Representation Theory
Exponential sums over singular binary quartic forms and applications

Yasuhiro Ishitsuka,Takashi Taniguchi,Frank Thorne,Stanley Yao Xiao

2024-03-31

Abstract:We investigate exponential sums over singular binary quartic forms, proving an explicit formula for the finite field Fourier transform of this set. Our formula shares much in common with analogous formulas proved previously for other vector spaces, but also exhibits a striking new feature: the point counting function $a_p(E) = p + 1 - \#E(\mathbb{F}_p)$ associated to an associated elliptic curve makes a prominent appearance. The proof techniques are also new, involving techniques from elementary algebraic geometry and classical invariant theory. As an application to prime number theory, we demonstrate the existence of `many' 2-Selmer elements for elliptic curves with discriminants that are squarefree and have at most four prime factors.

Number Theory

An explicit version of Shimura's reciprocity law for Siegel modular functions

Explicit reciprocity laws and Iwasawa theory for modular forms

A reciprocity law in function fields

The reciprocity law for the twisted second moment of Dirichlet L-functions

Rankin--Eisenstein classes and explicit reciprocity laws

Hermite's identity and the quadratic reciprocity law

On Finite Fields and Higher Reciprocity

Zero-Dimensional Shimura Varieties and Central Derivatives of Eisenstein Series

Explicit reciprocity laws for diagonal classes: higher level cases

Mod $\ell$ multiplicities in certain $U(4)$ Shimura varieties

Eichler-Shimura theory for general congruence subgroups

Rational Quartic Reciprocity II

Explicit Reciprocity Laws in Iwasawa Theory -- A survey with some focus on the Lubin-Tate setting

Higher reciprocity law and An analogue of the Grunwald–Wang theorem for the ring of polynomials over an ultra-finite field

Scholz's reciprocity law in number fields

Pullback of arithmetic theta series and its modularity for unitary Shimura curves

Equidistribution of CM points on a Shimura Curve modulo a ramified prime

Brauer-Siegel for Arithmetic Tori and lower bounds for Galois orbits of special points

Modular Inverse and Reciprocity Formula

On the arithmetic Siegel--Weil formula for GSpin Shimura varieties

Exponential sums over singular binary quartic forms and applications