Eisenstein integers and equilateral ideal triangles

Greg McShane

2024-03-21

Abstract:We discuss the relationship between Penner's $\lambda$-length and the norms of Eisenstein integers. This leads to a geometric proof of the fact, attributed to Fermat, that every prime $p$ of the form $3k + 1$ is the norm of an Eisenstein integer that is can be written as $a^2 - ab + b^2$ for some $a,b \in \mathbb{Z}$.

Geometric Topology

What problem does this paper attempt to address?

Eisenstein congruences among Euler systems

Óscar Rivero,Victor Rotger

2023-06-08

Abstract:We investigate Eisenstein congruences between the so-called Euler systems of Garrett--Rankin--Selberg type. This includes the cohomology classes of Beilinson--Kato, Beilinson--Flach and diagonal cycles. The proofs crucially rely on different known versions of the Bloch--Kato conjecture, and are based on the study of the Perrin-Riou formalism and the comparison between the different $p$-adic $L$-functions.

Number Theory
Congruences of Eisenstein series of level $Γ_1(N)$ via Dieudonné theory of formal groups

Ningchuan Zhang

DOI: https://doi.org/10.5802/jtnb.1277

2024-12-01

Abstract:In this paper, we give a new explanation of congruences of Eisenstein series of level $\Gamma_1(N)$ and character $\chi$. Our approach is based on Katz's algebro-geometric explanation of $p$-adic congruences of normalized Eisenstein series $E_{2k}$ of level $1$. One crucial step in our argument is to reformulate a Riemann-Hilbert correspondence in Katz's explanation in terms of Dieudonné theory of height $1$ formal $A$-modules and their finite subgroup schemes. We give a generalization of this Riemann-Hilbert correspondence in terms of formal groups of height greater than $1$.

Number Theory,Algebraic Geometry,Algebraic Topology
On the arithmetic of special values of $L$-functions for certain abelian varieties with a rational isogeny

Emmanuel Lecouturier,Jun Wang

2023-10-07

Abstract:Let $N$ and $p$ be primes $\geq 5$ such that $p \mid \mid N-1$. In this situation, Mazur defined and studied the $p$-Eisenstein quotient $\tilde{J}^{(p)}$ of $J_0(N)$. We prove a kind of modulo $p$ version of the Birch and Swinnerton-Dyer conjecture for the ``$p$-Eisenstein part'' of even quadratic twists of $\tilde{J}^{(p)}$. Our result is the analogue for even quadratic twists of a result of Mazur concerning odd quadratic twists.

Number Theory
On Lenstra's criterion for norm-Euclideanity of number fields and connections with properties of Dedekind zeta-functions

Jordan Pertile,Valeriia V. Starichkova

2024-12-07

Abstract:In 1977, Lenstra provided a criterion for norm-Euclideanity of number fields and noted that this criterion becomes ineffective for number fields of large enough degrees under the Generalised Riemann Hypothesis (GRH) for the Dedekind zeta-functions. We provide an explicit version of this statement: the criterion becomes ineffective under GRH for all $n \geq 62238$. Moreover, in the unconditional case, we show that the criterion still cannot be used for large enough degrees under an assumption on the lower bounds for the Dedekind zeta functions on the right of $s = 1$. Such lower bounds connect to the bounds for the sphere packings.

Number Theory
Eisenstein points on the Hilbert cuspidal eigenvariety

Adel Betina,Mladen Dimitrov,Sheng-Chi Shih

2023-11-15

Abstract:We present a comprehensive study of the geometry of Hilbert $p$-adic eigenvarieties at parallel weight one intersection points of their cuspidal and Eisenstein loci. The Galois theoretic approach presents genuine difficulties due to the lack of good deformation theory for pseudo-characters irregular at $p$ and reflects the rich local geometry at such points. We believe that our geometric results lead to deeper insight into the arithmetic of Hilbert automorphic forms and we produce several applications in Iwasawa theory to support that.

Number Theory
Hilbert modular Eisenstein congruences of local origin

Dan Fretwell,Jenny Roberts

2024-11-11

Abstract:Let $F$ be an arbitrary totally real field. Under weak conditions we prove the existence of certain Eisenstein congruences between parallel weight $k \geq 3$ Hilbert eigenforms of level $\mathfrak{mp}$ and Hilbert Eisenstein series of level $\mathfrak{m}$, for arbitrary ideal $\mathfrak{m}$ and prime ideal $\mathfrak{p}\nmid \mathfrak{m}$ of $\mathcal{O}_F$. Such congruences have their moduli coming from special values of Hecke $L$-functions and their Euler factors, and our results allow for the eigenforms to have non-trivial Hecke character. After this, we consider the question of when such congruences can be satisfied by newforms, proving a general result about this.

Number Theory
Integrality of $\mathfrak{p}$-Adic $L$-Functions at Eisenstein Primes

Matthew Verheul

2023-12-06

Abstract:Let $f$ be a normalized, ordinary newform of weight $\ge 2$. For each prime $\mathfrak{p}$ of $F=\mathbb{Q}(a_n)_{n\in \mathbb{N}}$, there is an associated $\mathfrak{p}$-adic $L$-function $\mathcal{L}_\mathfrak{p}(f)\in \Lambda \otimes \mathbb{Q}$ interpolating special values of the classical $L$-function. If $f$ is not congruent modulo $\mathfrak{p}$ to an Eisenstein series, one knows $\mathcal{L}_\mathfrak{p}(f)\in \Lambda$. In this paper, we show, under mild hypotheses on the ramification of $f$, that this integrality result holds when $f$ is congruent to an Eisenstein series. Moreover, we also obtain a divisibility in the main conjecture for $\mathcal{L}_\mathfrak{p}(f)$. As an application, we show that the integrality result and the divisibility hold in particular when $f$ is of weight $2$.

Number Theory
An analog of the Furstenberg-Katznelson-Weiss theorem on triangles in sets of positive density in finite field geometries

David Covert,Derrick Hart,Alex Iosevich,Ignacio Uriarte-Tuero

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

2008-05-01

Abstract:We prove that if the cardinality of a subset of the 2-dimensional vector space over a finite field with $q$ elements is $\ge \rho q^2$, with $\frac{1}{\sqrt{q}}<<\rho \leq 1$, then it contains an isometric copy of $\ge c\rho q^3$ triangles.

Combinatorics,Classical Analysis and ODEs
Higher $d$ Eisenstein Series and a Duality-Invariant Distance Measure

Nathan Benjamin,A. Liam Fitzpatrick

2023-09-15

Abstract:The Petersson inner product is a natural inner product on the space of modular invariant functions. We derive a formula, written as a convergent sum over elementary functions, for the inner product $E_s(G,B)$ of the real analytic Eisenstein series $E_s(\tau, \bar{\tau})$ and a general point in Narain moduli space. We also discuss the utility of the Petersson inner product as a distance measure on the space of 2d CFTs, and apply our procedure to evaluate this distance in various examples.

High Energy Physics - Theory
Primes, Pi, and Irrationality Measure

Jonathan Sondow

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

2007-10-09

Number Theory

Abstract:A folklore proof of Euclid's theorem on the infinitude of primes uses the Euler product and the irrationality of $\zeta(2) = \pi^2/6$. A quantified form of Euclid's Theorem is Bertrand's postulate $p_{n+1} < 2p_n$. By quantifying the folklore proof using an irrationality measure for $6/\pi^2$, we give a proof (communicated to Paulo Ribenboim in 2005) of a much weaker upper bound on $p_{n+1}$.
Geometric Eisenstein series I: finiteness theorems

Linus Hamann,David Hansen,Peter Scholze

2024-09-11

Abstract:We develop the theory of geometric Eisenstein series and constant term functors for $\ell$-adic sheaves on stacks of bundles on the Fargues-Fontaine curve. In particular, we prove essentially optimal finiteness theorems for these functors, analogous to the usual finiteness properties of parabolic inductions and Jacquet modules. We also prove a geometric form of Bernstein's second adjointness theorem, generalizing the classical result and its recent extension to more general coefficient rings proved in [Dat-Helm-Kurinczuk-Moss]. As applications, we decompose the category of sheaves on $\mathrm{Bun}_G$ into cuspidal and Eisenstein parts, and show that the gluing functors between strata of $\mathrm{Bun}_G$ are continuous in a very strong sense.

Number Theory,Algebraic Geometry,Representation Theory
Polynomials represented by norm forms via the beta sieve

Alec Shute

2024-07-16

Abstract:A central question in Arithmetic geometry is to determine for which polynomials $f \in \mathbb{Z}[t]$ and which number fields $K$ the Hasse principle holds for the affine equation $f(t) = N_{K/\mathbb{Q}}(\boldsymbol{x}) \neq 0$. Whilst extensively studied in the literature, current results are largely limited to polynomials and number fields of low degree. In this paper, we establish the Hasse principle for a wide family of polynomials and number fields, including polynomials that are products of arbitrarily many linear, quadratic or cubic factors. The proof generalises an argument of Irving, which makes use of the beta sieve of Rosser and Iwaniec. As a further application of our sieve results, we prove new cases of a conjecture of Harpaz and Wittenberg on locally split values of polynomials over number fields, and discuss consequences for rational points in fibrations.

Number Theory
Linear constellations in primes with arithmetic restrictions

Christopher Frei,Joachim König,Magdaléna Tinková

2024-09-16

Abstract:We prove analogues of the Green-Tao-Ziegler theorem on linear constellations in primes, in which the primes under consideration are restricted by certain arithmetic conditions. Our first main result is conditional upon Hooley's Riemann hypothesis and imposes the extra condition that the primes have prescribed primitive roots. Our second main result is unconditional and imposes the extra condition that the primes have prescribed Artin symbols in given Galois number fields. In the appendix we present an application of the second result in inverse Galois theory.

Number Theory
Eisenstein series on arithmetic quotients of rank 2 Kac--Moody groups over finite fields, with an appendix by Paul Garrett

Abid Ali,Lisa Carbone

2024-02-19

Abstract:Let $G$ be an affine or hyperbolic rank 2 Kac--Moody group over a finite field $\mathbb{F}_q$. Let $X=X_{q+1}$ be the Tits building of $G$, the $q+1$--homogeneous tree. Let $\Gamma$ be a nonuniform lattice in $G$. When $\Gamma=P_i^-$, $i=1,2$, the standard parabolic subgroup for the negative $BN$--pair, the quotient graph $P^-_i\backslash X$ is the positive half of the fundamental apartment of $X$, a semi-infinite ray. We define Eisenstein series on $P_1^-\backslash X$. We prove convergence of Eisenstein series in a half space. This uses Iwasawa decomposition of the Haar measure on $G$. A crucial tool is a description of the vertices of $X$ in terms of Iwasawa cells, which we give. We prove meromorphic continuation of Eisenstein series using the Selberg--Bernstein continuation principle. This requires an analog of integral operators on the Tits building and the classical truncation operator for Eisenstein series, which we construct.

Number Theory,Group Theory
Higher d Eisenstein series and a duality-invariant distance measure

Nathan Benjamin,A. Liam Fitzpatrick

DOI: https://doi.org/10.1007/jhep04(2024)142

IF: 6.379

2024-04-28

Journal of High Energy Physics

Abstract:The Petersson inner product is a natural inner product on the space of modular invariant functions. We derive a formula, written as a convergent sum over elementary functions, for the inner product E s ( G , B ) of the real analytic Eisenstein series and a general point in Narain moduli space. We also discuss the utility of the Petersson inner product as a distance measure on the space of 2d CFTs, and apply our procedure to evaluate this distance in various examples.

physics, particles & fields
Modularity of residual Galois extensions and the Eisenstein ideal

Tobias Berger,Krzysztof Klosin

DOI: https://doi.org/10.1090/tran/7851

IF: 1.3529

2019-06-03

Transactions of the American Mathematical Society

Abstract:For a totally real field F F , a finite extension F \mathbf {F} of F p \mathbf {F}_p , and a Galois character χ : G F → F × \chi : G_F \to \mathbf {F}^{\times } unramified away from a finite set of places Σ ⊃ { p ∣ p } \Sigma \supset \{\mathfrak {p} \mid p\} , consider the Bloch–Kato Selmer group H := H Σ 1 ( F , χ − 1 ) H:=H^1_{\Sigma }(F, \chi ^{-1}) . The authors previously proved that the number d d of isomorphism classes of (nonsemisimple, reducible) residual representations ρ ̄ {\overline \rho } giving rise to lines in H H which are modular by some ρ f \rho _f (also unramified outside Σ \Sigma ) satisfies d ≥ n := dim F ⁡ H d \geq n:= \dim _{\mathbf {F}} H . This was proved under the assumption that the order of a congruence module is greater than or equal to that of a divisible Selmer group. We show here that if in addition the relevant local Eisenstein ideal J J is nonprincipal, then d > n d >n . When F = Q F=\mathbf {Q} we prove the desired bounds on the congruence module and the Selmer group. We also formulate a congruence condition implying the nonprincipality of J J that can be checked in practice, allowing us to furnish examples where d > n d>n .

mathematics
Non-Euclidean Erdős-Anning Theorems

David Eppstein

2024-01-22

Abstract:The Erdős-Anning theorem states that every point set in the Euclidean plane with integer distances must be either collinear or finite. More strongly, for any (non-degenerate) triangle of diameter $\delta$, at most $O(\delta^2)$ points can have integer distances from all three triangle vertices. We prove the same results for any strictly convex distance function on the plane, and analogous results for every two-dimensional complete Riemannian manifold of bounded genus and for geodesic distance on the boundary of every three-dimensional Euclidean convex set. As a consequence, we resolve a 1983 question of Richard Guy on the equilateral dimension of Riemannian manifolds. Our proofs are based on the properties of additively weighted Voronoi diagrams of these distances.

Metric Geometry,Computational Geometry
A Geometric Proof of Fermat’s Little Theorem

Thomas Beatty,Marc Barry,Andrew Orsini

DOI: https://doi.org/10.4236/apm.2018.81004

2018-01-01

Advances in Pure Mathematics

Abstract:We present an intuitively satisfying geometric proof of Fermat's result for positive integers that for prime moduli p, provided p does not divide a. This is known as Fermat’s Little Theorem. The proof is novel in using the idea of colorings applied to regular polygons to establish a number-theo retic result. A lemma traditionally, if ambiguously, attributed to Burnside provides a critical enumeration step.

English Else
Some Connections Between The Arithmetic and The Geometry of Lipschitz Integers

António Machiavelo,Luís Roçadas

2024-05-28

Abstract:Some relationships between the arithmetic and the geometry of Lipschitz and Hurwitz integers are presented. In particular, it is shown that the (ternary) vector product of a Lipschitz integer $\alpha$ with two other Lipschitz integers, both orthogonal to $\alpha$, is a left and also a right multiple of $\alpha$, and that the vector product of two left multiples of $\alpha$ with any other Lipschitz integer is still a left multiple of $\alpha$. We also provide new arithmetical proofs for some old results of Gordon Pall, and raise a geometric problem on the location of some integral quaternions that is related to the factorization of some integers.

Number Theory
Brauer relations, isogenies and parities of ranks

Alexandros Konstantinou

2023-11-03

Abstract:The present paper illustrates the utility of Brauer relations, Galois covers of curves and the theory of regulator constants in the context of studying isogenies between Jacobians and their relevance to the parity conjecture. This framework presents a unified approach, enabling the reconstruction of a diverse array of classical isogenies and the derivation of local expressions for Selmer rank parities, drawing from an extensive body of existing literature. These include the local expressions found in the works of Mazur--Rubin (dihedral extensions), Coates--Fukaya--Kato--Sujatha ($p^g$ isogenies), Kramer--Tunnell (quadratic twists of elliptic curves), Dokchitser--Maistret (Richelot isogenies), and Docking (prym construction).

Number Theory

Eisenstein integers and equilateral ideal triangles

Eisenstein congruences among Euler systems

Congruences of Eisenstein series of level $Γ_1(N)$ via Dieudonné theory of formal groups

On the arithmetic of special values of $L$-functions for certain abelian varieties with a rational isogeny

On Lenstra's criterion for norm-Euclideanity of number fields and connections with properties of Dedekind zeta-functions

Eisenstein points on the Hilbert cuspidal eigenvariety

Hilbert modular Eisenstein congruences of local origin

Integrality of $\mathfrak{p}$-Adic $L$-Functions at Eisenstein Primes

An analog of the Furstenberg-Katznelson-Weiss theorem on triangles in sets of positive density in finite field geometries

Higher $d$ Eisenstein Series and a Duality-Invariant Distance Measure

Primes, Pi, and Irrationality Measure

Geometric Eisenstein series I: finiteness theorems

Polynomials represented by norm forms via the beta sieve

Linear constellations in primes with arithmetic restrictions

Eisenstein series on arithmetic quotients of rank 2 Kac--Moody groups over finite fields, with an appendix by Paul Garrett

Higher d Eisenstein series and a duality-invariant distance measure

Modularity of residual Galois extensions and the Eisenstein ideal

Non-Euclidean Erdős-Anning Theorems

A Geometric Proof of Fermat’s Little Theorem

Some Connections Between The Arithmetic and The Geometry of Lipschitz Integers

Brauer relations, isogenies and parities of ranks