On $\mathbb J$-strata with Parahoric Stabilizers in Affine Deligne-Lusztig Varieties

2026-06-02T02:51:00Z

In this paper, we study the $\mathbb J$-stratification of basic affine Deligne-Lusztig varieties for a minuscule cocharacter $μ$. This stratification was introduced by Chen-Viehmann and has been expected to serve as an interesting tool for studying basic loci in Shimura varieties. We parametrize the $\mathbb J$-strata whose stabilizers in the Frobenius-twisted centralizer group are parahoric by constructing a natural bijection to combinatorial invariants called small cocharacters. We further prove that the cardinality of these sets is equal to that of a certain subset of the Weyl group orbit of $μ$. A relationship with the weakly fully Hodge-Newton decomposability of Chen-Tong is also discussed.

On indefinite integral ternary quadratic forms

2026-06-02T02:38:43Z

We resolve two problems pertaining to indefinite integral ternary quadratic forms, one highlighted by Margulis and the other initiated by Serre, both from 1990. To do so we develop tools for dealing with high ramification in problems involving sums over classes of such forms weighted by their diophantine invariants.

A conjecture of Glasby, Praeger, and Unger on permutations of $S_n$

2026-06-02T01:30:49Z

We prove a conjecture of Glasby, Praeger, and Unger concerning the symmetric group $S_{n}$. Let $π_{n}$ denote the proportion of elements of $S_{n}$ that are pre-$p$-cycles for some prime $p\in[2, n-3]$. We prove that $π_{n} > 1/3$ for all $n\geq 8$.

Hyper-algebraic invariants of $p$-adic algebraic numbers

2026-06-02T01:29:12Z

Let $p\geq 3$ be a prime. The hyper-algebraic elements in the $p$-adic Mal'cev-Neumann field $\mathbb{L}_p$ form an algebraically closed subfield $\mathbb{L}_p^{\operatorname{ha}}$. In this article, we clarify the relations among the fields $\mathbb{L}_p^{\operatorname{ha}}$, $\overline{\mathbb{Q}}_p$ and $\mathbb{C}_p$. We introduce two arithmetic invariants (hyper-tame index and hyper-inertia index) of hyper-algebraic elements and study the relation between these invariants and classical arithmetic invariants of $p$-adic algebraic numbers. Finally, we give a criterion for hyper-algebraic elements to be tamely ramified over $\mathbb{Q}_p$.

Diagonal Condition in Multiplication Table of $\displaystyle {\, \mathbb{Z} [i] / (α) }$

2026-06-02T00:28:15Z

Multiplication table of a ring with identity 1 is said to have the diagonal condition if 1s occur only on the main diagonal. In this paper, we study the diagonal condition in the ring of Gaussian integers $\mathbb{Z}[i]$. Furthermore, we also find the Gaussian integers $α$ so that the rings of Gaussian integers modulo $α$ satisfy the diagonal condition.

Superelliptic degree sets over Henselian fields

2026-06-01T22:15:19Z

Let $K$ be a discretely valued Henselian field. Creutz and Viray show that the degree set of a curve $C$ over a $p$-adic field can miss infinitely many multiples of the index of $C$, a phenomenon that cannot occur over finitely generated fields. For curves $C/K$ with a cyclic cover of $\mathbb{P}^1$ of prime degree, under mild assumptions, we completely characterize how and when this behavior can occur, and give a method for computing degree sets of curves of this type.

On the Argument of the Lerch, Chowla--Selberg Formula and CM Values of $η(τ)$

2026-06-01T21:20:27Z

We give a completely explicit Lerch, Chowla--Selberg formula without absolute values of the Dedekind eta function, and give some applications, in particular to the argument of individual CM values of the eta function. We also give precise conjectures on these CM values and a large table supporting them.

An omega result for the least negative Hecke eigenvalue

2026-06-01T20:39:37Z

We establish the existence of many holomorphic Hecke eigenforms $f$ of large weight $k$ for the full modular group, for which the least positive integer $n_f$ such that $λ_f(n_f)<0$ satisfies $n_f \ge (\log k)^{1-o(1)}.$ This is believed to be best possible up to the $o(1)$ term in the exponent, and improves on a result of Kowalski, Lau, Soundararajan and Wu, who showed that, when restricted to primes, the least prime $p$ such that $λ_f(p)<0$ can be as large as $(\log k)^{1/2+o(1)}$. We also discuss an extension of our result to primitive holomorphic cusp forms of weight $k$ and squarefree level $N\geq 1$.

On maximal Dynkin friezes

2026-06-01T20:33:20Z

The maximal entries of Dynkin friezes over the positive integers have recently been determined for all finite Dynkin types except $B_n$ and $D_n$. In this note, we explicitly construct large positive integral points on affine cluster varieties of type $B_n$ (resp. $D_n$), giving rise to friezes of types $B_n$ (resp. $D_n$) over the positive integers with largest entries $F_{n+1} F_{n+2} - 1$ (resp. $F_n F_{n+1} - 1$) where $F_k$ is the $k$-th Fibonacci number. We conjecture that these are the maximal possible entries for their respective Dynkin types.

Sumsets and entropy revisited

2026-06-01T20:28:25Z

The entropic doubling $σ_{\operatorname{ent}}[X]$ of a random variable $X$ taking values in an abelian group $G$ is a variant of the notion of the doubling constant $σ[A]$ of a finite subset $A$ of $G$, but it enjoys somewhat better properties; for instance, it contracts upon applying a homomorphism. In this paper we develop further the theory of entropic doubling and give various applications, including: (1) A new proof of a result of Pálvölgyi and Zhelezov on the ``skew dimension'' of subsets of $\mathbf{Z}^D$ with small doubling; (2) A new proof, and an improvement, of a result of the second author on the dimension of subsets of $\mathbf{Z}^D$ with small doubling; (3) A proof that the Polynomial Freiman--Ruzsa conjecture over $\mathbf{F}_2$ implies the (weak) Polynomial Freiman--Ruzsa conjecture over $\mathbf{Z}$.

Vanishing of Witten zeta function at negative integers

2026-06-01T19:22:45Z

We introduce a new analytic method for studying Witten zeta function of a root system $Φ$, based on a refined manipulation of an integral representation involving the Hurwitz zeta function. As an application, we prove high-order vanishing at negative even integers. This technique also describes non-trivially, the arithmetic nature of the leading term, in which the highest root of $Φ$ makes a surprising appearance.

On the Schematic and Analytic Constructions of the Local Langlands Category

2026-06-01T19:09:44Z

We prove a folklore conjecture identifying two categorical enhancements of the automorphic side of the local Langlands correspondence. Concretely, we construct an equivalence for torsion coefficients between the category considered by Zhu and the one considered by Fargues-Scholze. To achieve this, we revisit Scholze's analytification functor and apply the first author's theory of kimberlites. We discuss unconditional applications to the splitting of the semi-orthogonal decomposition on BunG, and the compatibility with Eisenstein functors. Finally, we formulate a linearity conjecture for our functor with which we can show new vanishing statements for the cohomology of local Shimura varieties, and perverse exactness statements for Hecke operators.

Explicit generators of the space of modular forms

2026-06-01T18:58:35Z

Let $S_κ$ be the space of cusp forms of weight $κ$ and level one, and let $S_κ^{\ast}$ denote its dual space. In this paper, we find explicit spanning subsets of $S_κ$ consisting of Rankin-Cohen brackets of Eisenstein series and explicit subsets of periods that span $S_κ^{\ast}$.

Lines in the prime number graph

2026-06-01T18:37:45Z

The prime number graph is the set of points $(n,p_n)$ where $p_n$ denotes the $n^{\rm th}$ prime. Let $L(n)$ be the minimum number of straight line segments needed to cover the first $n$ points in this set. Let $B(n)$ be the largest number of points $(k,p_k)$ with $k\le n$ covered by a single line. Recently Sloane conjectured that $L(n) = O(n/\log n)$. We show that $L(n)=O(n \log \log n / \log n)$ and $B(n)\ge c\log n$ for a constant $c>0$ and all large $n$. Under RH we show that for large $n$ we have $B(n)=O(n^{3/4}(\log n)^{1/2})$ and $ L(n)\ge c' n^{1/4} (\log n) ^{-1/2}$ for some constant $c'>0.$

On unsolvable equations of prime degree

2026-06-01T18:04:55Z

Kronecker observed that either all roots or only one root of a solvable irreducible equation of odd prime degree with integer coefficients are real. This gives a possibility to construct specific examples of equations not solvable by radicals. A relatively elementary proof without using the full power of Galois theory is due to Weber. We give a rather short proof of Kronecker's theorem with a slightly different argument from Weber's. Several modern presentations of Weber's proof contain inaccuracies, which can be traced back to an error in the original proof. We discuss this error and how it can be corrected.