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

What problem does this paper attempt to address?

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.
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
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
A proof of the Quadratic Reciprocity Law

Math Dicker

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

2012-10-26

History and Overview

Abstract:A proof of the Quadratic Reciprocity Law is presented using a Lemma of Gauss, the theory of finite fields and the Frobenius automorfism.
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
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
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
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.
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
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 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
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
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
A Supplement to Scholz's Reciprocity Law

Franz Lemmermeyer

DOI: https://doi.org/10.4064/aa129-4-2

2013-10-24

Abstract:In this note we will present a supplement to Scholz's reciprocity law and discuss applications to the structure of 2-class groups of quadratic number fields.

Number Theory
Hypergeometric functions over finite fields

Noriyuki Otsubo

2023-08-02

Abstract:We give a definition of generalized hypergeometric functions over finite fields using modified Gauss sums, which enables us to find clear analogy with classical hypergeometric functions over the complex numbers. We study their fundamental properties and prove summation formulas, transformation formulas and product formulas. An application to zeta functions of K3-surfaces is given. In the appendix, we give an elementary proof of the Davenport-Hasse multiplication formula for Gauss sums.

Number Theory,Classical Analysis and ODEs
A new generalization of Hermite's reciprocity law

Leandro Cagliero,Daniel Penazzi

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

2015-10-07

Abstract:Given a partition $\lambda$ of $n$, the {\it Schur functor} $\mathbb{S}_\lambda$ associates to any complex vector space $V$, a subspace $\mathbb{S}_\lambda(V)$ of $V^{\otimes n}$. Hermite's reciprocity law, in terms of the Schur functor, states that $ \mathbb{S}_{(p)}\left(\mathbb{S}_{(q)}(\mathbb{C}^2)\right)\simeq \mathbb{S}_{(q)}\left(\mathbb{S}_{(p)}(\mathbb{C}^2)\right). $ We extend this identity to many other identities of the type $\mathbb{S}_{\lambda}\left(\mathbb{S}_{\delta}(\mathbb{C}^2)\right)\simeq \mathbb{S}_{\mu}\left(\mathbb{S}_{\epsilon}(\mathbb{C}^2)\right)$.

Combinatorics,Representation Theory
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
Reciprocity formulas for certain generalized Hardy-Berndt sums

Yuan He

2024-01-15

Abstract:In this paper, we establish some reciprocity formulas for certain generalized Hardy-Berndt sums by using the Fourier series technique and some properties of the periodic zeta function and the Lerch zeta function. It turns out that one of Hardy's reciprocity theorems is deduced as a special case.

Number Theory
Division Algebras and Quadratic Reciprocity

Timothy J. Ford

2024-07-04

Abstract:The Grothendieck and Artin-Mumford exact sequences for the Brauer group of a function field in 1 or 2 variables are applied to derive reciprocity laws for $q$th power residues.

Rings and Algebras,Algebraic Geometry
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

A reciprocity law in function fields

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

A General Reciprocity Law for Symbols on Arbitrary Vector Spaces

Hermite's identity and the quadratic reciprocity law

A proof of the Quadratic Reciprocity Law

On Finite Fields and Higher Reciprocity

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

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

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

Reciprocity Laws on Algebraic Surfaces via Iterated Integrals

The norm residue symbol for higher local fields

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

Explicit reciprocity laws for diagonal classes: higher level cases

A Supplement to Scholz's Reciprocity Law

Hypergeometric functions over finite fields

A new generalization of Hermite's reciprocity law

Explicit reciprocity laws and Iwasawa theory for modular forms

Reciprocity formulas for certain generalized Hardy-Berndt sums

Division Algebras and Quadratic Reciprocity

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