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

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
Recursion Formulae of Higher Weil-Petersson Volumes

Kefeng Liu,Hao Xu

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

2008-01-01

International Mathematics Research Notices

Abstract:In this paper, we study effective recursion formulae for computing intersection numbers of mixed psi and kappa classes on moduli spaces of curves. By using the celebrated Witten-Kontsevich theorem, we generalize Mulase-Safnuk form of Mirzakhani's recursion and prove a recursion formula of higher Weil-Petersson volumes. We also present recursion formulae to compute intersection pairings in the tautological rings of moduli spaces of curves.
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
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
Harbingers of Artin's Reciprocity Law. III. Gauss's Lemma and Artin's Transfer

Franz Lemmermeyer

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

2012-02-26

Number Theory

Abstract:We briefly review Artin's reciprocity law in the classical ideal theoretic language, and then study connections between Artin's reciprocity law and the proofs of the quadratic reciprocity law using Gauss's Lemma.
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
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
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
A General Reciprocity Law for Symbols on Arbitrary Vector Spaces

Fernando Pablos Romo

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

2013-05-30

Abstract:The aim of this work is to offer a general theory of reciprocity laws for symbols on arbitrary vector spaces, and to show that classical explicit reciprocity laws are particular cases of this theory (sum of valuations on a complete curve, Residue Theorem, Weil Reciprocity Law and the Reciprocity Law for the Hilbert Norm Residue Symbol). Moreover, several reciprocity laws introduced over the past few years by D. V. Osipov, A. N. Parshin, I. Horozov, I. Horozov - M. Kerr and the author -together with D. Hernández Serrano-, can also be deduced from this general expression.

Number Theory,Algebraic Geometry
Reciprocity Laws on Algebraic Surfaces via Iterated Integrals

Ivan Horozov,Matt Kerr

DOI: https://doi.org/10.1017/is014006014jkt271

2014-09-30

Journal of K Theory

Abstract:Abstract In this paper we introduce new local symbols, which we call 4-function local symbols. We formulate reciprocity laws for them. These reciprocity laws are proven using a new method - multidimensional iterated integrals. Besides providing reciprocity laws for the new 4-function local symbols, the same method works for proving reciprocity laws for the Parshin symbol. Both the new 4-function local symbols and the Parshin symbol can be expressed as a finite product of newly defined bi-local symbols, each of which satisfies a reciprocity law. The K -theoretic variant of the first 4-function local symbol is defined in the Appendix. It differs by a sign from the one defined via iterated integrals. Both the sign and the K -theoretic variant of the 4-function local symbol satisfy reciprocity laws, whose proof is based on Milnor K -theory (see the Appendix). The relation of the 4-function local symbols to the double free loop space of the surface is given by iterated integrals over membranes.
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
Ramification theory for reciprocity sheaves, III, Abbes-Saito formula

Kay Rülling,Shuji Saito

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

2022-04-22

Abstract:We give a new geometric characterization of the motivic ramification filtration of reciprocity sheaves, by imitating a method used by Abbes and (Takeshi) Saito to study the ramification of torsors under finite étale groups. This new characterization is used to define characteristic forms for reciprocity sheaves. We obtain applications on pseudo-rational singularities and on questions regarding the representability of certain cohomology groups of reciprocity sheaves in the triangulated category of motives with modulus introduced by Kahn-Miyazaki-Saito-Yamazaki.

Algebraic Geometry
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
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

2023-10-02

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 $\mathbb{F}_q[t]$ over a finite field $\mathbb{F}_q$ 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$.

Number Theory,Logic
Reciprocity Laws for the Higher Tame Symbol and the Witt Symbol on an Algebraic Surface

Kirsty Syder

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

2013-04-23

Number Theory

Abstract:Parshin's higher Witt pairing on an arithmetic surface can be combined with the higher tame pairing to form a symbol taking values in the absolute abelian Galois group of the function field. We prove reciprocity laws for this symbol using techniques of Morrow for the Witt symbol and Romo for the higher tame symbol.
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
Multidimensional Ehrhart Reciprocity

Matthias Beck

DOI: https://doi.org/10.48550/arXiv.math/0111331

2003-06-04

Abstract:In a previous paper (El. J. Combin. 6 (1999), R37), the author generalized Ehrhart's idea of counting lattice points in dilated rational polytopes: Given a rational polytope, that is, a polytope with rational vertices, we use its description as the intersection of halfspaces, which determine the facets of the polytope. Instead of just a single dilation factor, we allow different dilation factors for each of these facets. We proved that, if our polytope is a simplex, the lattice point counts in the interior and closure of such a vector-dilated simplex are quasipolynomials satisfying an Ehrhart-type reciprocity law. This generalizes the classical reciprocity law for rational polytopes. In the present paper we complete the picture by extending this result to general rational polytopes. As a corollary, we also generalize a reciprocity theorem of Stanley.

Combinatorics
Harbingers of Artin's Reciprocity Law. IV. Bernstein's Reciprocity Law

Franz Lemmermeyer

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

2012-02-27

Abstract:In the last article of this series we will first explain how Artin's reciprocity law for unramified abelian extensions can be formulated with the help of power residue symbols, and then show that, in this case, Artin's reciprocity law was already stated by Bernstein in the case where the base field contains the roots of unity necessary for realizing the Hilbert class field as a Kummer extension. Bernstein's article appeared in 1904, almost 20 years before Artin conjectured his version of the reciprocity law, and seems to have been overlooked completely.

Number Theory,History and Overview
Katoʼs Residue Homomorphisms and Reciprocity Laws on Arithmetic Surfaces

Dongwen Liu

DOI: https://doi.org/10.1016/j.aim.2013.10.007

IF: 1.675

2014-01-01

Advances in Mathematics

Abstract:We explicitly study Katoʼs residue homomorphisms in Milnor K-theory, which are closely related to Contou-Carrère symbols. As applications we establish several reciprocity laws for certain locally defined maps on K-groups that are associated to arithmetic surfaces.
The norm residue symbol for higher local fields

Jorge Flórez

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

2018-08-26

Abstract:Since the development of higher local class field theory, several explicit reciprocity laws have been constructed. In particular, there are formulas describing the higher-dimensional Hilbert symbol given, among others, by M. Kurihara, A. Zinoviev and S. Vostokov. K. Kato also has explicit formulas for the higher-dimensional Kummer pairing associated to certain (one-dimensional) $p$-divisible groups. In this paper we construct an explicit reciprocity law describing the Kummer pairing associated to any (one-dimensional) formal group. The formulas are a generalization to higher-dimensional local fields of Kolyvagin's reciprocity laws. The formulas obtained describe the values of the pairing in terms of multidimensional $p$-adic differentiation, the logarithm of the formal group, the generalized trace and the norm on Milnor K-groups. In the second part of this paper, we will apply the results obtained here to give explicit formulas for the generalized Hilbert symbol and the Kummer pairing associated to a Lubin-Tate formal group. The results obtained in the second paper constitute a generalization to higher local fields, of the formulas of Artin-Hasse, K. Iwasawa and A. Wiles.

Number Theory

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

Explicit reciprocity laws and Iwasawa theory for modular forms

Recursion Formulae of Higher Weil-Petersson Volumes

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

A reciprocity law in function fields

Harbingers of Artin's Reciprocity Law. III. Gauss's Lemma and Artin's Transfer

Explicit reciprocity laws for diagonal classes: higher level cases

Rankin--Eisenstein classes and explicit reciprocity laws

On Finite Fields and Higher Reciprocity

A General Reciprocity Law for Symbols on Arbitrary Vector Spaces

Reciprocity Laws on Algebraic Surfaces via Iterated Integrals

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

Ramification theory for reciprocity sheaves, III, Abbes-Saito formula

Rational Quartic Reciprocity II

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

Reciprocity Laws for the Higher Tame Symbol and the Witt Symbol on an Algebraic Surface

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

Multidimensional Ehrhart Reciprocity

Harbingers of Artin's Reciprocity Law. IV. Bernstein's Reciprocity Law

Katoʼs Residue Homomorphisms and Reciprocity Laws on Arithmetic Surfaces

The norm residue symbol for higher local fields