Number Theory [math.NT]

Sign changes of the Liouville function in arithmetic progressions

math.NT

We show that for any $\varepsilon > 0$, prime $q$ sufficiently large with respect to $1 / \varepsilon$ and residue class $(a,q) = 1$, there exist two integers $m, n \leq q^{5/2 + \varepsilon}$ with $m \equiv n \equiv a \pmod{q}$ such that $\lambda(m) = -1$ and $\lambda(n) = + 1$, where $\lambda$ denotes the Liouville function. Our result is motivated by Heath-Brown's explicit exponent in Linnik's theorem, establishing the existence of primes $p \equiv a \pmod{q}$ with $p \ll q^{5.5}$.

Monogenity of pure quintic fields: the power of sieving

math.NT

We provide a simple algorithm for calculating all generators of power integral bases in pure quintic fields. This procedure involves the usual standard elements like Baker's method, LLL-reduction. The main purpose of the paper is to introduce a new idea to considerably diminish the number of small exponents to be considered after the reduction step. This new idea allows to test all remaining small exponents within a few minutes, using an appropriate sieve method, which turns out to be surprisingly fast. This idea will be applicable in many similar cases.

Behaviour of Certain Crystalline Representations modulo $2$

math.NT

We compute the explicit form of the semisimplified reduction modulo $2$ of the $2$-adic crystalline Galois representations $V_{k,a_2}$ at small slopes in $(0,1]$, using the compatibility of $2$-adic and mod-$2$ local Langlands correspondence. We find parameters $\alpha'(k,a_{2})$ and $\alpha(k,a_{2})$, which play a crucial role in determining the reduction of $V_{k,a_{2}}$ for slopes in the range $(0,1)$ and slope $1$ respectively.

Infinitesimal characters for the completed cohomology of $\mathrm{GL}_n$ over CM fields

math.NT

math.AG

Let $p$ be a prime, and let $F$ be a CM field containing an imaginary quadratic field in which $p$ splits. We show that the locally analytic vectors of Hecke eigenspaces in the ($p$-adic) completed cohomology of $\mathrm{GL}_n/F$, localized at a non-Eisenstein decomposed generic maximal ideal, admit infinitesimal characters determined by the Sen operators of the corresponding Galois representations, thus confirming a conjecture of Dospinescu-Pa\v{s}k\={u}nas-Schraen in this case.

Lectures on Condensed Mathematics

math.NT

math.AG

math.CT

math.FA

math.GN

This is an updated version of the lectures notes for a course on condensed mathematics taught in the summer term 2019 at the University of Bonn. The material presented is joint work with Dustin Clausen. This is intended as a stable citable version of the original lectures, with mostly cosmetic changes to the original document, together with some small corrections.

Optimal embeddings for maximal orders of central simple algebras of degree 3 over number fields

math.NT

Let $B$ be a central simple algebra of degree 3 over a number field $F$ and $K/F$ be a finite extension of degree 3. For an order $S$ of $K$, we determine exactly when $S$ cannot be optimally embedded into all maximal orders of $B$. Moreover, we further determine exactly when $S$ can be optimally embedded into $\frac{1}{3}$ isomorphism classes of maximal orders of $B$ and $\frac{2}{3}$ isomorphism classes of maximal orders of $B$ in the rest of cases.

Joint extreme values of $L$-functions on and off the critical line

math.NT

It is shown that any number of distinct primitive $\mathrm{GL}(1)$ and $\mathrm{GL}(2)$ $L$-functions can simultaneously attain large values on the critical line. This is an unconditional improvement of a general result due to Heap and Li who have assumed the Riemann Hypothesis for more than three such $L$-functions. The joint distribution of $\mathrm{GL}(m)$ $L$-functions to the right of the critical line is also studied under certain zero-density estimates. In particular, we can partially recover results of Inoue and Li on Dirichlet $L$-functions and generally improve upon the work of Mahatab, Pa\'nkowski and Vatwani on the class of $L$-functions introduced by Selberg. The main machinery in both cases, on and off the critical line, is the resonance method of Soundararajan and Hilberdink/Voronin, respectively. On the critical line we additionally introduce a variation of Heath-Brown's method for the fractional moments of the Riemann zeta-function which makes it possible to avoid using any information on the zero distribution of $L$-functions whose degree is less than three.

A multivariate Strassmann theorem

math.NT

By a theorem of Strassmann, a non-zero convergent power series in one variable over a complete non-Archimedean field has finitely many zeros, with an explicit bound on their number. We generalize this result to convergent power series in several variables, characterizing finiteness of the zero set and bounding its cardinality in terms of the reduction of the saturated ideal defined by the power series. We discuss how to make our result effective, under suitable assumptions, when working with approximate power series.

Congruence rigidity of algebraic groups

math.GR

math.NT

We identify the simple algebraic groups over number fields that are, in a suitable sense, determined by their finite adele points. Assuming CSP and Grothendieck rigidity, our results essentially characterize higher rank arithmetic groups that are profinitely solitary: the profinite commensurability class determines the commensurability class among finitely generated residually finite groups. This generalizes previous work of the second author with R. Spitler from split groups to arbitrary groups.

Real approximation for homogeneous spaces with finite stabilizers

math.AG

math.NT

We prove some new cases of real appoximation for homogeneous spaces with finite stabilizers and describe the state of the art around this question, giving proofs that are well-known to experts but that, to our knowledge, cannot be found in the literature. Our main new result needs the latest advances in the topic of the Brauer--Manin obstruction for homogeneous spaces with supersolvable stabilizers. It states that any finite $k$-group that is split by a $2$-primary extension satisfies real approximation.

On the largest Sidon subset in a finite subset of $\mathbb{R}^N$

math.CO

math.NT

We obtain a new lower bound on the largest Sidon subset of an arbitrary finite set of integers. If $H(n)$ denotes the minimum, over all $n$-element subsets of $\mathbb Z$, of the largest Sidon subset they contain, we prove that $H(n) \geqslant \left(\frac{1}{3\sqrt 3}+o(1)\right)\sqrt n \gtrsim 0.19\sqrt n$. This improves a lower bound of Abbott related to a conjecture of Erd\H{o}s on Sidon subsets of arbitrary sets of integers. The main ingredient is a compression lemma which produces, from any finite set of integers, a large subset admitting an injective Freiman $2$-morphism into a cyclic group. Combined with Singer's covering of $\mathbb Z/(q^2+q+1)\mathbb Z$ by Sidon sets, this yields the stated bound. We further extend the result to finite subsets of $\mathbb R^N$, uniformly in the dimension, by means of a projection argument and a Dirichlet approximation preserving Sidon's equation. As a consequence, every set of $n$ points in $\mathbb R^N$ contains a Sidon subset of cardinality at least $\left(\frac{1}{3\sqrt 3}+o(1)\right)\sqrt n$. We also discuss an adaptation to $B_2[g]$ sets, obtaining a lower bound of order $\frac{1}{3\sqrt 3}\sqrt{gn}$, and explain how the method can be adapted to other linear additive constraints.

Analytic summation of series involving higher-order derivatives of Chebyshev polynomials of the second kind and their applications to convolved linear recurrent sequences

math.CV

math.CO

math.NT

This paper considers functional series whose terms are higher-order derivatives of Chebyshev polynomials of the second kind, where the degree of the polynomial is related to the order of the derivative. Analytic summation is used to determine the rational functions to which these series converge. These functions are expressed in terms of Chebyshev polynomials evaluated at a specific argument. Connections are established between derivatives of Chebyshev polynomials of the second kind and special numerical sequences generated by linear recurrence relations. New closed-form formulas are obtained for the sums of the series at various values of the argument. As consequences, combinatorial identities are derived for the Fibonacci, Lucas, and Pell numbers, for sections of the Fibonacci sequence, and for their convolutions. By means of analytic continuation, sums of formally divergent series are obtained, which in special cases correspond to the classical Euler formulas.

Table-Based Encodings for Conway's Doomsday Algorithm: Vectorized Doomsdays and Doomyears

math.HO

math.NT

Conway's Doomsday Algorithm (1973) determines the day of the week for any date in the Gregorian calendar via three additive components: a century anchor, a year offset, and a month-day offset. The century anchor is a fixed four-entry table. The other two components require live arithmetic: the year offset demands computing $y + \lfloor y/4 \rfloor \pmod{7}$, and the month-day offset requires a subtraction that can produce negative intermediate values. We present two new encoding schemes that replace both arithmetic steps with structured table lookups. The first, vectorized doomsdays, re-encodes each month's doomsday date as a two-digit number whose tens and units digits represent the backward and forward gaps (respectively) from the nearest multiples-of-seven month anchors. A directional crossing rule (the "square knot rule") pairs the target date's gap with the opposite-direction digit, reducing the month-day offset to a single-digit addition. The second, Doomyears, encodes the year-offset function as a navigational lookup exploiting the 28-year periodicity of the Gregorian weekday cycle. Together with Conway's century anchor table, these form a unified system we call the Calamity Tables. We prove correctness, establish self-verification properties, analyse the internal structure of both encodings, and compare the cognitive complexity of the Calamity Table system against the standard arithmetic method.

Signed sumsets and restricted signed sumsets in groups and fields

math.CO

math.NT

Let $A = \{a_1, \ldots, a_k\}$ be a nonempty finite subset of an additive abelian group $G$. For a nonnegative integer $h$, the \emph{$h$-fold signed sumset} of $A$, denoted by $h_{\pm} A$, is defined by $$ h_{\pm} A = \Biggl\{\sum_{i = 1}^{k} \lambda_i a_i : \lambda_i \in \{-h, \ldots, h\}, \ \sum_{i = 1}^{k} |\lambda_i| = h \Biggr\}, $$ and the \emph{restricted $h$-fold signed sumset}, denoted by $h_{\pm}^\wedge A$, is defined by $$ h_{\pm}^\wedge A = \Biggl\{\sum_{i = 1}^{k} \lambda_i a_i : \lambda_i \in \{-1, 0, 1\}, \ \sum_{i = 1}^{k} |\lambda_i| = h \Biggr\}. $$ We study direct and inverse problems for these signed sumsets, namely determining extremal bounds for their sizes and characterizing the structure of sets $A$ attaining these bounds. While such problems have been extensively studied and resolved in the additive group of integers, comparatively little is known in general abelian groups, especially for restricted signed sumsets. In this paper, we investigate the signed sumset $h_{\pm} A$ in arbitrary (not necessarily finite) abelian groups under the condition $A \cap (-A) \neq \varnothing$. We further analyze both $h_{\pm} A$ and $h_{\pm}^\wedge A$ when $A \cap (-A)$ has a prescribed size. These results are extended to generalized signed sumsets $H_{\pm} A = \bigcup_{h \in H} h_{\pm} A$, where $H$ is a finite set of nonnegative integers, with particular attention to $[0,h]_{\pm} A$. Furthermore, using the polynomial method, we establish nontrivial lower bounds for $|h_{\pm}^\wedge A|$ in arbitrary fields. In addition, for $h = 2, 3, 4$, we derive lower bounds for $|h_{\pm} A|$ in arbitrary fields under the condition $A \cap (-A) = \varnothing$.

Characteristic-free approaches around Yu's construction

math.RT

math.AG

math.NT

We give a direct characteristic-free construction of twisted Heisenberg-Weil representations when there are no symmetric and ramified roots. As a consequence, we show that twisted Yu's construction naturally extends to residual characteristic $2$. Moreover, we give a geometric realization of such twisted Heisenberg-Weil representations via the Deligne-Lusztig construction for Heisenberg group schemes. As an application, we give an explicit description of positive-depth parahoric Deligne-Lusztig induction in the generic case.

Lectures on Analytic Geometry

math.AG

math.CT

math.FA

math.NT

This is a slightly updated version of lectures notes for a course on analytic geometry taught in the winter term 2019/20 at the University of Bonn. The material presented is part of joint work with Dustin Clausen. This is intended as a stable citable version of the material. In the first half of this course, we develop the basic theory of liquid real vector spaces, which we used in another course to give a new approach to complex-analytic geometry. In the second half, we gave a tentative definition of a category of analytic spaces that contains (for example) adic spaces and complex-analytic spaces. While the precise definition of analytic spaces represents an abandoned stepping stone on our way to define analytic stacks and hence should be seen as a historical artifact, much of the surrounding discussion stays very relevant.

Small Matrices with Small Inverses: Unimodular Zerofree Cases

math.CO

cs.DM

math.NT

We consider unimodular matrices $M$ such that neither $M$ nor $M^{-1}$ contain zero entries. Matrices typically exhibit a trade-off: small $M$ imply large $M^{-1}$. We investigate rare cases where both remain small, classify these matrices up to symmetry, and discuss aspects of this balanced setting.

Representation functions with prescribed rates of growth

math.NT

math.CO

v3

Fix an integer $h \geq 2$, and let $b_1, \ldots, b_h$ be (not necessarily distinct) positive integers with $\gcd(b_1, \ldots, b_h) = 1$. For any subset $A \subseteq \mathbb{N}$, let $r_A(n)$ denote the number of solutions $(k_1, \ldots, k_h) \in A^h$ to the equation \[ b_1 k_1 + \cdots + b_h k_h = n. \] Given a function $F$ satisfying $F(n) \leq r_{\mathbb{N}}(n)$, we ask: when does there exist a set $A \subseteq \mathbb{N}$ such that $r_A(n) \sim F(n)$? We prove that this is always possible when $F$ is regularly varying and satisfies $\lim_{n\to\infty} F(n)/\log n = \infty$. If one only requires $r_A(n) \asymp F(n)$, much weaker regularity conditions suffice: we show such a set $A$ exists for every increasing function $F$ satisfying $F(2x) \ll F(x)$ and $\log x \ll F(x) \ll x^{h-1}$. Finally, we give a probabilistic heuristic supporting the following: if $A \subseteq \mathbb{N}$ satisfies $\limsup_{n\to\infty} r_A(n)/\log n < 1$, then $r_A(n) = 0$ for infinitely many $n$.

Prismatic $F$-crystals and Wach modules

math.NT

math.AG

v2

We show that the category of analytic/completed prismatic $F$-crystals on the absolute prismatic site of a small (unramified at $p$) base ring is naturally equivalent to the category of relative Wach modules from the theory of $(\varphi, \Gamma)$-modules. The result is obtained by showing that the data of the Galois action on a Wach module is equivalent to the data of a prismatic stratification on the underlying $\varphi$-module. Along the way, we obtain new descent results for relative Wach modules.

Algebraic proof of modular form inequalities for optimal sphere packings

math.NT

v4

We give algebraic proofs of Viazovska and Cohn-Kumar-Miller-Radchenko-Viazovska's modular form inequalities for 8 and 24-dimensional optimal sphere packings.

Hopf-Galois module structure of degree p extensions of p-adic fields

math.NT

v2

Let $p$ be an odd prime number. For a degree $p$ extension of $p$-adic fields $L/K$, we give a complete characterization of the condition for the ring of integers $\mathcal{O}_L$ to be free as a module over its associated order in the unique Hopf-Galois structure on $L/K$.

Waring and Waring-Goldbach subbases with prescribed representation function

math.NT

math.CO

v3

Let $h\geq 2$. For $A\subseteq \mathbb{N}$ write \[ r_{A,h}(n) := \#\{(x_1,\ldots,x_h)\in A^h ~|~ x_1+\cdots+x_h=n\}. \] We prove a general probabilistic subbasis principle: assuming an asymptotic for a weighted $h$-fold representation sum over a basis $B$, there exist subbases $A\subseteq B$ whose representation function $r_{A,h}(n)$ has prescribed regularly varying growth. We apply this to $k$-th powers $\mathbb{N}^k$ and to $k$-th powers of primes $\mathbb{P}^k$. For $h \geq k^2-k+O(\sqrt{k})$, we show that every regularly varying function $F$ with $F(x)/\log x\to\infty$ in the admissible range is realized, with the expected singular series factor. In particular, there exists $A\subseteq \mathbb{N}^k$ such that \[ r_{A,h}(n)\sim \mathfrak{S}_{k,h}(n) F(n). \] Moreover, in the prime setting we obtain thin subbases $A\subseteq \mathbb{P}^k$ with $r_{A,h}(n)\asymp \log n$ for $n$ in the admissible congruence classes.

Primes in arithmetic progressions to large moduli and refinements of Harman's sieve

math.NT

v5

We study the average distribution of primes of size $x$ in arithmetic progressions to moduli larger than $x^{\frac{1}{2}}$. Using arithmetic information from the works of many authors together with different variants of the original Harman's sieve, we construct suitable majorants and minorants for the prime indicator function $\mathbb{1}_{p}(n)$ that satisfy Bombieri--Vinogradov type mean value theorems with different types of moduli. Specifically, we obtain some mean value theorems for primes with bilinear forms of moduli up to $x^{\frac{9}{17}}$ or with trilinear forms of moduli up to $x^{\frac{17}{32}}$. As a by-product, we obtain new upper and lower bounds for $\pi(x; q, a)$ that hold for almost all moduli $q$.

Integral Representations for Multiple Ap\'ery-Like Series

math.NT

v2

We derive integral representations for six families of multiple Ap\'ery-like series using repeated integration by parts and Fourier expansions. The resulting formulas are expressed in terms of polylogarithms, Legendre chi functions, and inverse tangent integrals. As applications, we recover several known evaluations as special cases of our results, expressed in terms of Dirichlet eta, beta, and lambda functions. In addition, we obtain a new identity expressing a family of such series as linear combinations of products of Dirichlet eta values.

On the upper bound of wavefront sets of representations of p-adic groups

math.RT

math.NT

v3

In this paper we study the upper bound of wavefront sets of irreducible admissible representations of connected reductive groups defined over non-Archimedean local fields of characteristic zero. We formulate a new conjecture on the upper bound and show that it can be reduced to that of anti-discrete series representations, namely, those whose Aubert-Zelevinsky duals are discrete series. Then, we show that this conjecture is equivalent to the Jiang conjecture on the upper bound of wavefront sets of representations in local Arthur packets and also equivalent to an analogous conjecture on the upper bound of wavefront sets of representations in local ABV packets.

Special Values without Semi-Simplicity Via K-Theory

math.AG

math.KT

math.NT

v4

In this paper, motivated by studying special values of zeta functions attached to finite type F_p-schemes, we introduce a category of ``arithmetic C(S^1,R)-modules'' attached to any Dedekind ring R, and compute the 0th K-group of this category. Specializing to the case of R=Z_l for some prime l neq p (resp. R=Z_p), we prove that there is a natural functorial lift of the etale cohomology of perfect etale Z_l sheaves (resp. syntomic cohomology of perfect prismatic F-gauges) on a point to arithmetic C(S^1,Z_l)-modules (resp. arithmetic C(S^1,Z_p)-modules). This allows us to define a notion of the multiplicative Euler characteristic via a map from the K_0-group which makes sense without assuming Tate's semi-simplicity conjecture. In particular, we can remove this hypothesis from a theorem of Milne proving a cohomological formula for zeta values attached to smooth proper F_p-schemes. We also discuss extensions of these zeta value formulae to finite type F_p-schemes, and how recent progress in motivic homotopy theory allows us to prove some results without any assumptions on resolution of singularities or Tate's semi-simplicity conjecture.

On some non-principal locally analytic representations induced by cuspidal Lie algebra representations

math.RT

math.NT

v3

Let $G$ be a split reductive $p$-adic Lie group. This paper is the first in a series on the construction of locally analytic $G$-representations which do not lie in the principal series. Here we consider the case of the general linear group $G=GL_{n+1}$ and locally analytic representations which are induced by cuspidal modules of the Lie algebra. We prove that they are ind-admissible and satisfy the homological vanishing criterion in the definition of supercuspidality in the sense of Kohlhaase.

Towards Motivic Coactions at Genus One from Zeta Generators

hep-th

math.AG

math.NT

v2

The motivic coaction of multiple zeta values and multiple polylogarithms encodes both structural insights on and computational methods for scattering amplitudes in a variety of quantum field theories and in string theory. In this work, we propose coaction formulae for iterated integrals over holomorphic Eisenstein series that arise from configuration-space integrals at genus one. Our proposal is motivated by formal similarities between the motivic coaction and the single-valued map of multiple polylogarithms at genus zero that are exposed in their recent reformulations via zeta generators. The genus-one coaction of this work is then proposed by analogies with the construction of single-valued iterated Eisenstein integrals via zeta generators at genus one. We show that our proposal exhibits the expected properties of a coaction and deduce $f$-alphabet decompositions of the multiple modular values obtained from regularized limits.

Subgroups with all finite lifts isomorphic are conjugate

math.GR

math.AG

math.GT

math.NT

v2

We show that for non-conjugate subgroups $G_1$ and $G_2$ of a finite group $G$ there exists an extension of $G$ (by a finite group) in which the pre-images of $G_1$ and $G_2$ are not isomorphic. This allows us to show that $\mathbb Z$-coset equivalent subgroups of a finite group are not necessarily isomorphic, answering a question of Dipendra Prasad. We also indicate connections to profinite rigidity, anabelian geometry, mapping class groups, and non-arithmetic lattices in Lie groups.

A note on the M\"obius uncertainty principle for posets

math.CO

math.NT

v2

We consider two generalizations of Pollack's uncertainty principle for M\"obius inversion to locally finite posets. The first generalization was previously studied by Goh. Here, we provide a simplified sufficient criterion for the uncertainty principle to hold. We also provide a necessary criterion for the same which, in particular, disproves Goh's conjectural characterization of posets for which an uncertainty principle holds. Nevertheless, we prove that Goh's conjecture indeed holds when the poset forms a lattice. The second generalization is new and applies to posets with reduced incidence algebras of a certain form. Here, we make some preliminary observations, including the fact that the uncertainty principle holds for the poset of finite subsets of natural numbers and the poset of finite dimensional subspaces of $\mathbb{F}_q^\infty$. Our proofs in these settings are quite different from the proof for the poset of natural numbers under divisibility.