A converse to a theorem of Gauss on Gauss sums

Jonathan W. Bober,Leo Goldmakher

2024-07-24

Abstract:In this note we prove (under mild hypotheses) that $f$ is a nontrivial character of $\mathbb{F}_p$ if and only if the Fourier transform of $f$ has magnitude 1 somewhere in $\mathbb{F}_p^\times$. This implies a converse to a theorem of Gauss on the magnitude of the Gauss sum, in addition to other consequences.

Number Theory,Representation Theory

What problem does this paper attempt to address?

Coupling of Gravitation and Electromagnetism in the Weak Field Approximation

M. Tajmar,C. de Matos

DOI: https://doi.org/10.48550/arXiv.gr-qc/0003011

2000-03-03

Abstract:Using the weak field approximation, we can express the theory of general relativity in a Maxwell-type structure comparable to electromagnetism. We find that every electromagnetic field is coupled to a gravitoelectric and gravitomagnetic field. Acknowledging the fact that both fields originate from the same source, the particle, we can express the magnetic and electric field through their gravitational respective analogues using the proportionality coefficient k. This coefficient depends on the ratio of mass and charge and the ratio between the electromagnetic and gravitic-gravitomagnetic permittivity and permeability respectively. Although the coefficient is very small, the fact that electromagnetic fields in material media can be used to generate gravitational and gravitomagnetic fields and vice versa is not commonly known. We find that the coupling coefficient can be increased by massive ion currents, electron and nuclear spin-alignment. Advances in material sciences, cryogenic technology and high frequency electromagnetic fields in material media may lead to applications of the derived relationships.

General Relativity and Quantum Cosmology
Converse Theorem Meets Gauss Sums

Chufeng Nien,Lei Zhang

2018-01-01

Abstract:This paper verifies $n\times 1$ Local Converse Theorem for twisted gamma factors of irreducible cuspidal representations of ${\rm GL}_n({\mathbb F}_p)$, for $n\leq 5,$ and of irreducible generic representations, for $n<\frac{q-1}{2\sqrt{q}}+1$ in the appendix by Zhiwei Yun, where $p$ is a prime and q is a power of $p$. The counterpart of $n\times 1$ converse theorem for level zero cuspidal representations also follows the established relation between gamma factors of ${\rm GL}_n({\mathcal F})$ and that of ${\rm GL}_n({\mathbb F}_q)$, where ${\mathcal F}$ denotes a $p$-adic field whose residue field is isomorphic to ${\mathbb F}_q.$ For $n=6,$ examples failed $n\times 1$ Local Converse Theorem over finite fields are provided and the authors propose a set of primitive representations, for which $n\times 1$ gamma factors should be able to detect a unique element in it. For $m, n\in {\mathbb N},$ in the spirit of Langlands functorial lifting, we formulate a conjecture to relate $n\times m$ gamma factors of finite fields with Gauss sums over extended fields.
A converse theorem for $Γ_0(13)$

J.B. Conrey,David W. Farmer,B.E. Odgers,N.C. Snaith

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

2006-01-23

Abstract:We prove that a Dirichlet series with a functional equation and Euler product of a particular form can only arise from a holomorphic cusp form on the Hecke congruence group $\Gamma_0(13)$. The proof does not assume a functional equation for the twists of the Dirichlet series. The main new ingredient is a generalization of the familiar Weil's lemma that played a prominent role in previous converse theorems.

Number Theory
Gauss Sum of Index 4: (2) Non–cyclic Case

Jing Yang,Shi Xin Luo,Ke Qin Feng

DOI: https://doi.org/10.1007/s10114-005-0645-y

2005-01-01

Acta Mathematica Sinica English Series

Abstract:Assume that m ≥, p is a prime number, (m, p(p – 1)) = 1, −1 ∉ 〈p〉 ⊂ (ℤ/mℤ)* and[(ℤ/mℤ)* : 〈p〉] = 4. In this paper, we calculate the value of Gauss sum $G{\left( \chi \right)} = {\sum {_{{x \in \mathbb{F}^{ * }_{q} }} \chi {\left( x \right)}\zeta ^{{T{\left( x \right)}}}_{p} } }$over ${\mathbb F}$ q , where q = p f , $f = \frac{{\varphi {\left( m \right)}}}{4}$, χ is a multiplicative character of ${\mathbb F}$ q and T is the trace map from${\mathbb F}$ q to ${\mathbb F}$ p . Under our assumptions, G(χ) belongs to the decomposition field K of p in ℚ(ζ m ) and Kis an imaginary quartic abelian number field. When the Galois group Gal(K/ℚ) is cyclic, we havestudied this cyclic case in another paper: "Gauss sums of index four: (1) cyclic case" (accepted byActa Mathematica Sinica, 2003). In this paper we deal with the non–cyclic case.
Equivariant Gauss sum of finite quadratic forms

Shouhei Ma

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

2017-03-22

Abstract:The classical quadratic Gauss sum can be thought of as an exponential sum attached to a quadratic form on a cyclic group. We introduce an equivariant version of Gauss sum for arbitrary finite quadratic forms, which is an exponential sum twisted by the action of the orthogonal group. We prove that simple arithmetic formulae hold for some basic classes of quadratic forms. In application, such invariant appears in the dimension formula for certain vector-valued modular forms.

Number Theory
The Gauss Sums and Jacobi Sums over Galois Ring GR( P 2 , R )

Jin Li,ShiXin Zhu,KeQin Feng

DOI: https://doi.org/10.1007/s11425-013-4629-6

2013-01-01

Science China Mathematics

Abstract:Galois rings and exponential sums over Galois rings have many applications in algebraic combinatorics, coding theory and cryptography. In this paper, we present explicit description on the Gauss sums and Jacobi sums over Galois ring GR(p 2, r), and show that the values of these sums can be reduced to the Gauss sums and Jacobi sums over finite field $\mathbb{F}_{p^r }$ for all non-trivial cases.
Gauss Sum of Index 4: (1) Cyclic Case

Ke Qin Feng,Jing Yang,Shi Xin Luo

DOI: https://doi.org/10.1007/s10114-005-0610-9

2005-01-01

Acta Mathematica Sinica English Series

Abstract:Let p be a prime, m ≥ 2, and (m, p(p – 1)) = 1. In this paper, we will calculate explicitlythe Gauss sum $G{\left( \chi \right)} = {\sum {_{{x \in \mathbb{F}^{ * }_{q} }} \chi {\left( x \right)}\zeta ^{{T{\left( x \right)}}}_{p} } }$in the case of [(ℤ/mℤ)* : 〈p〉] = 4, and −1 ∉ 〈p〉, whereq = p f , $f = \frac{{\varphi {\left( m \right)}}}{4}$, χ is a multiplicative character of ${\Bbb F}$ q with order m, and T is the trace map for${\Bbb F}$ q /${\Bbb F}$ p . Under the assumptions [(ℤ/mℤ)* : 〈p〉] = 4 and −1 ∉ 〈p〉, the decomposition field of p in thecyclotomic field ℚ(ζ m ) is an imaginary quartic (abelian) field. And G (χ) is an integer in K. We dealwith the case where K is cyclic in this paper and leave the non–cyclic case to the next paper.
Motivic Gauss and Jacobi sums

Noriyuki Otsubo,Takao Yamazaki

2024-04-09

Abstract:We study the Gauss and Jacobi sums from a viewpoint of motives. We exhibit isomorphisms between Chow motives arising from the Artin-Schreier curve and the Fermat varieties over a finite field, that can be regarded as (and yield a new proof of) classically known relations among Gauss and Jacobi sums such as Davenport-Hasse's multiplication formula. As a key step, we define motivic analogues of the Gauss and Jacobi sums as algebraic correspondences, and show that they represent the Frobenius endomorphisms of such motives. This generalizes Coleman's result for curves. These results are applied to investigate the group of invertible Chow motives with coefficients in a cyclotomic field.

Number Theory,Algebraic Geometry,K-Theory and Homology
On the sharpness of the bound for the local converse theorem of p-adic GL_N, general N

Moshe Adrian

2023-03-17

Abstract:Let F be a non-archimedean local field of characteristic zero. In this paper we construct examples of supercuspidal representations showing that the bound $[N/2]$ for the local converse theorem of $GL_N(F)$ is sharp, N general, when the residual characteristic of $F$ is bigger than $N$.

Representation Theory,Number Theory
A noncommutative maximal inequality for Fejér means on totally disconnected non-abelian groups

Fugui Ding,Guixiang Hong,Xumin Wang

2024-03-14

Abstract:In this paper, we explore Fourier analysis for noncommutative $L_p$ space-valued functions on $G$, where $G$ is a totally disconnected non-abelian compact group. By additionally assuming that the value of these functions remains invariant within each conjugacy class, we establish a noncommutative maximal inequality for Fejér means utilizing the associated character system of $G$. This is an operator-valued version of the classical result due to Gát. We follow essentially the classical sketch, but due to the noncommutativity, many classical arguments have to be revised. Notably, compared to the classical results. the bounds of our estimates are explicity calculated.

Functional Analysis
Schoenberg's Theorem via the law of large numbers

Davar Khoshnevisan

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

2005-04-29

Probability

Abstract:A classical theorem of S. Bochner states that a function $f:R^n \to C$ is the Fourier transform of a finite Borel measure if and only if $f$ is positive definite. In 1938, I. Schoenberg found a beautiful complement to Bochner's theorem. We present a non-technical derivation of of Schoenberg's theorem that relies chiefly on the de Finneti theorem and the law of large numbers of classical probability theory.
Exceptional zeros for Heegner points and $p$-converse to the theorem of Gross-Zagier and Kolyvagin

Francesc Castella

2024-09-03

Abstract:We prove a $p$-converse to the theorem of Gross-Zagier and Kolyvagin for elliptic curves $E/\mathbf{Q}$ at primes $p>3$ of multiplicative reduction. Two key ingredients in the argument are an extension to this setting of a $p$-adic formula of Bertolini-Darmon-Prasanna obtained in our earlier work, and an exceptional zero formula for Heegner points. By independent approaches different from ours, a similar $p$-converse theorem was obtained by Skinner--Zhang under additional ramification hypotheses on $E[p]$, and by Venerucci assuming finiteness of the $p$-primary part of the Tate-Shafarevich group.

Number Theory
A converse theorem for degree 2 elements of the Selberg class with restricted gamma factor

Michael Farmer

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

2021-10-07

Abstract:We prove a converse theorem for a family of L functions of degree 2 with gamma factor coming from a holomorphic cuspform. We show these L functions coincide with either those coming from a newform or a product of L functions arising from Dirichlet characters. We require some analytic data on the Euler factors, but don't require anything on the shape. We also suppose that the twisted L functions satisfy expected functional equations. We allow the non-trivial twists to have arbitrary poles.

Number Theory
Gauss Sum of Index Four

冯克勤,罗世新,杨晶

DOI: https://doi.org/10.11845/sxjz.2004.33.02.0253

IF: 1.675

2004-01-01

Advances in Mathematics

Abstract:Let p be a prime number, q = pf and m| q - 1. For a multiplicative character χ of Fq with order m, the Gauss sum G(χ) over Fq is defined by G(χ)=∑(X()Fq)χ(x)ζTP(x),ζp=e2πi/p,(1)where T is the mapping for Fq/Fp.
A converse theorem for Borcherds products on $X_0(N)$

Jan Hendrik Bruinier,Markus Schwagenscheidt

DOI: https://doi.org/10.1017/nmj.2019.3

2018-06-26

Abstract:We show that every Fricke invariant meromorphic modular form for $\Gamma_0(N)$ whose divisor on $X_0(N)$ is defined over $\mathbb{Q}$ and supported on Heegner divisors and the cusps is a generalized Borcherds product associated to a harmonic Maass form of weight $1/2$. Further, we derive a criterion for the finiteness of the multiplier systems of generalized Borcherds products in terms of the vanishing of the central derivatives of $L$-function of certain weight $2$ newforms. We also prove similar results for twisted Borcherds products.

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
Fermat's Little Theorem and Gauss Congruence: Matrix Versions and Cyclic Permutations

Heinrich Steinlein

DOI: https://doi.org/10.4169/amer.math.monthly.124.6.548

2017-06-01

Abstract:In recent years, several papers appeared on generalizations of Fermat's little theorem and the Gauss congruence to integer square matrices. We will give simple and intuitive proofs deriving these matrix versions from the corresponding number-theoretic results.

mathematics
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
A quantitative converse of Fekete's theorem

Naser Talebizadeh Sardari,Bryce Joseph Orloski

2024-03-25

Abstract:Given a compact subset $\Sigma \subset \mathbb{R}$ (or $\mathbb{C}$) with logarithmic capacity greater than zero, we construct an explicit family of probability measures supported on $\Sigma$ such that their closure is all the possible weak limit measures of complete sets of conjugate algebraic integers lying inside $\Sigma$. We give an asymptotic formula for the number of algebraic integers with given degree and prescribed distribution. We exploit the algorithmic nature of our approach to give a family of upper bounds that converges to the smallest limiting trace-to-degree ratio of totally positive algebraic integers and improve the best previously known upper bound on the Schur-Siegel-Smyth trace problem to 1.8216.

Number Theory,Mathematical Physics
Gauss' Second Theorem for 2F1(12)-Series and Novel Harmonic Series Identities

Chunli Li,Wenchang Chu

DOI: https://doi.org/10.3390/math12091381

IF: 2.4

2024-05-01

Mathematics

Abstract:Two summation theorems concerning the 2F1(1/2)-series due to Gauss and Bailey will be examined by employing the "coefficient extraction method". Forty infinite series concerning harmonic numbers and binomial/multinomial coefficients will be evaluated in closed form, including eight conjectured ones made by Z.-W. Sun. The presented comprehensive coverage for the harmonic series of convergence rate "1/2" may serve as a reference source for readers.

mathematics

A converse to a theorem of Gauss on Gauss sums

Coupling of Gravitation and Electromagnetism in the Weak Field Approximation

Converse Theorem Meets Gauss Sums

A converse theorem for $Γ_0(13)$

Gauss Sum of Index 4: (2) Non–cyclic Case

Equivariant Gauss sum of finite quadratic forms

The Gauss Sums and Jacobi Sums over Galois Ring GR( P 2 , R )

Gauss Sum of Index 4: (1) Cyclic Case

Motivic Gauss and Jacobi sums

On the sharpness of the bound for the local converse theorem of p-adic GL_N, general N

A noncommutative maximal inequality for Fejér means on totally disconnected non-abelian groups

Schoenberg's Theorem via the law of large numbers

Exceptional zeros for Heegner points and $p$-converse to the theorem of Gross-Zagier and Kolyvagin

A converse theorem for degree 2 elements of the Selberg class with restricted gamma factor

Gauss Sum of Index Four

A converse theorem for Borcherds products on $X_0(N)$

Hypergeometric functions over finite fields

Fermat's Little Theorem and Gauss Congruence: Matrix Versions and Cyclic Permutations

Exponential sums over singular binary quartic forms and applications

A quantitative converse of Fekete's theorem

Gauss' Second Theorem for 2F1(12)-Series and Novel Harmonic Series Identities