Number Theory [math.NT]

Determining unit groups and $\mathrm{K}_1$ of finite rings
math.NT
cs.SC
math.KT
math.RA


Tommy Hofmann

We consider the computational problem of determining the unit group of a finite ring, by which we mean the computation of a finite presentation together with an algorithm to express units as words in the generators. We show that the problem is equivalent to the number theoretic problems of factoring integers and solving discrete logarithms in finite fields. A similar equivalence is shown for the problem of determining the abelianization of the unit group or the first $K$-group of finite rings.

Overgroups of the arboreal representation of PCF polynomial
math.NT
math.DS


Wayne Peng

Consider a number field $K$ and a rational function $f$ of degree greater than 1 over $K$. By taking preimages of $\alpha\in K$ under successive iterates of $f$, an infinite $d$-ary tree $T_\infty$ rooted at $\alpha$ can be constructed. An edge is assigned between two preimages $x$ and $y$ if $f(x)=y$. The absolute Galois group of $K$, acting on $T_\infty$ through tree automorphisms, generates a subgroup $\text{Gal}_f^\infty(\alpha)$ in the group of all automorphisms of $T_\infty$, $\text{Aut}(T_\infty)$. We have discovered a new class of natural overgroups in which the image of the Galois representation attached to a PCF polynomial must reside. Moreover, we have found that the image of the Galois representation of a new PCF polynomial is isomorphic to one of these overgroups. We also investigate the structure of these overgroups for specific maps, such as normalized dynamical Belyi polynomials, and show that the normal subgroups of these overgroups form a unique chief series. This allows us to bound the number of generators through group-theoretic analysis.

On Groups of Linear Fractional Transformations Stabilizing Finite Sets of Four Elements
math.NT
math.GR


Patrick Nyadjo Fonga

Let $E$ be a subset of the projective line over a commutative field $\mathbb{K}$. When $\mathbb{K}$ has infinite cardinality, it is well known that if $E$ contains at most three elements, then the group of linear fractional transformations preserving $E$ is either infinite or isomorphic to the symmetric group on three elements. In this work, we investigate the case where $E$ consists of four elements. We show that the group of projective linear transformations stabilizing $E$ is, depending on the characteristic of the field $\mathbb{K}$, isomorphic to either the Klein four-group $V_4$, the dihedral group $D_4$ of order eight, the alternating group $\mathfrak{A}_4$ of order twelve, or the symmetric group $\mathfrak{S}_4$ of order twenty-four.

Torsion of $\mathbb Q$-curves over number fields of small odd prime degree
math.NT


Ivan Novak

We determine all groups which occur as torsion subgroups of $\mathbb Q$-curves defined over number fields of degrees $3$, $5$ and $7$. In particular, we prove that every torsion subgroup of a $\mathbb Q$-curve defined over a number field of degree $3,5$ or $7$ already occurs as a torsion subgroup of an elliptic curve with rational $j$-invariant. As the quadratic case has been solved by Le Fourn and Najman, and the case of extensions of prime degree greater than $7$ has been solved by Cremona and Najman, this paper completes the classification of torsion of $\mathbb Q$-curves over number fields of prime degree. We also establish that the torsion subgroup an elliptic curve over a number field $K$ of prime degree which is isogenous to an elliptic curve with rational $j$-invariant is equal to the torsion subgroup of some elliptic curve defined over a degree $p$ number field with rational $j$-invariant.

$L$-packets and the generic Arthur packet conjectures for even unitary similitude groups
math.NT


Yeansu Kim, Muthu Krishnamurthy, Freydoon Shahidi

We establish the generic local Langlands correspondence by showing the equality of the Langlands-Shahidi $L$-functions and Artin $L$-functions in the case of even unitary similitude groups. As an application, we prove both weak and strong versions of the generic Arthur packet conjectures in the cases of even unitary similitude groups and even unitary groups. We further describe (not necessarily generic) $L$-packets for even unitary similitude groups and establish their expected properties, including Shahidi's conjecture, the finiteness of $L$-packets, and other related results.

On the distribution of the number of distinct generators of h-free and h-full elements in an abelian monoid
math.NT
math.PR


Sourabhashis Das, Wentang Kuo, Yu-Ru Liu

This work introduces the first in-depth study of h-free and h-full elements in abelian monoids, providing a unified approach for understanding their role in various mathematical structures. Let m be an element of an abelian monoid, with {\omega}(m) denoting the number of distinct prime elements generating m. We study the moments of {\omega}(m) over subsets of h-free and h-full elements, establishing the normal order of {\omega}(m) within these subsets. Our findings are then applied to number fields, global function fields, and geometrically irreducible projective varieties, demonstrating the broad relevance of this approach.

On one of Erd\H{o}s' Problems -- An Efficient Search for Benelux Pairs
math.NT


Christian Hercher

Erd\H{o}s asked for positive integers $m<2^{32}\approx 4.3\cdot 10^9$ were known. In this paper, we discuss an efficient algorithm to search for such integers, also known as Benelux pairs, using sieving and hashing techniques. Using highly parallel functioning algorithms on a modern consumer GPU, we could confirm the hitherto known results within a minute of computing time. Additionally, we have expanded the search space by a factor of more than $2^{16}$ and found no further solutions different from the infinite series given above up to $1.4\cdot 10^{12}>2^{40}$. For the analogous problem of integers $m<1.4\cdot 10^{12}$.

Transcendence degrees of fields generated by exponentials of products
math.NT


Heinrich Massold

Let $\theta=(\theta_1,\ldots,\theta_m) \in \R^m, \kappa=(\kappa_1,\ldots,\kappa_n) \in \R^n$ be two tuples of real numbers each linearly independent over $\Q$, and $T$ the transcendence degree of the field generated by $\{\exp(\theta_i \kappa_j) | i=1,\ldots,m, \; j=1,\ldots,n \}$ over $\Q$. The estimate $T \geq \frac{mn}{m+n} -1$ has been conjectured for some time but could only be proved under additional hypotheses for $\theta$ and $\kappa$. This paper proves a weaker estimate for $T$ while also reducing the strong estimate to a prominent conjecture on intersections of subvarieties of split tori with subgroups.

Ninth degree analogue of Ramanujan's septic theta function identity
math.NT
math.CA


Sun Kim, Örs Rebák

On page 206 in his lost notebook, Ramanujan recorded a seventh degree identity for his theta function $\varphi(q)$. We give an analogous ninth degree identity. We also provide an application of an entry from his second notebook on a cubic equation and an interpretation with theta functions for some of his trigonometric identities. Lastly, we calculate five examples for $\varphi(e^{-\pi\sqrt{n}})$.

The Hasse principle for homogeneous polynomials with random coefficients over thin sets II
math.NT
math.AG


Daniel Flores, Kiseok Yeon

Let $d$ and $n$ be natural numbers. Let $\nu_{d,n}: \mathbb{R}^n\rightarrow \mathbb{R}^{N}$ denote the Veronese embedding with $N=N_{n,d}:=\binom{n+d-1}{d}$, defined by listing all the monomials of degree $d$ in $n$ variables using the lexicographical ordering. Let $\langle \boldsymbol{a}, \nu_{d,n}(\boldsymbol{x})\rangle\in \mathbb{Z}[\boldsymbol{x}]$ be a homogeneous polynomial in $n$ variables of degree $d$ with integer coefficients $\boldsymbol{a}$, where $\langle\cdot,\cdot\rangle$ denotes the inner product. For a non-singular form $P\in \mathbb{Z}[\boldsymbol{x}]$ of degree $k\ (\leq d)$ in $N$ variables, consider a set of integer vectors $\boldsymbol{a}\in \mathbb{Z}^N$, defined by $$\mathfrak{A}(A;P)=\{\boldsymbol{a}\in \mathbb{Z}^N:\ P(\boldsymbol{a})=0,\ \|\boldsymbol{a}\|_{\infty}\leq A\}.$$ By handling a new lattice problem via the geometry of numbers, we confirm that whenever $n> 24d$ and $d\geq 17,$ the proportion of integer coefficients $\boldsymbol{a}\in \mathfrak{A}(A;P)$, whose associated equation $f_{\boldsymbol{a}}(\boldsymbol{x})=0$ satisfies the Hasse principle, converges to $1$ as $A\rightarrow\infty$. This improves on the recent work of the second author.

On Murmurations and Trace Formulas
math.NT


David Lowry-Duda

In recent work with Bober, Booker, Lee, Seymour-Howell, and Zubrilina, we proved murmuration behavior for Maass forms in the eigenvalue aspect and for modular forms in the weight aspect. Both used an approach based on the Selberg trace formula. But different trace formulas, including those due to Kuznetsov or Petersson, offer different variations. We examine murmurations from the perspective of different trace formulas and outline several families of $L$-functions where one can likely prove additional murmuration behavior.

Hilbert Eisenstein series as Doi-Naganuma lift
math.NT


Yingkun Li, Mingkuan Zhang

In this paper, we show that incoherent Hilbert Eisenstein series for a real quadratic fields can be expressed as the Doi-Naganums lift of an incoherent Eisenstein series over $\mathbb{Q}$. As an application, we show when $N$ is odd and square-free, the values at Heegner points of Borcherds product on $X_0(N)^2$ with effective divisors are not integral units when the discriminants are sufficiently large. This generalizes a result of the first author to higher levels. In the process, we explicitly describe the Rankin-Selberg type L-function that appeared in the work of Bruinier-Kudla-Yang when the quadratic space has signature (2, 2), and give a new construction of fundamental invariant vectors appearing in Weil representations of finite quadratic modules.

Motivic action conjecture for Doi-Naganuma lifts
math.NT


Aleksander Horawa, Yingkun Li

We prove the motivic action conjecture for the base change to real quadratic fields of weight one newforms with odd, squarefree level and solvable projective image.

The bad and rough rotation is Poissonian
math.NT


Manuel Hauke

Motivated by the Berry-Tabor Conjecture and the seminal work of Rudnick-Sarnak, the fine-scale properties of sequences $(a_n\alpha)_{n \in \mathbb{N}} \mod 1$ with $(a_n)_{n \in \mathbb{N}} \subseteq \mathbb{N} $ and $\alpha$ irrational have been extensively studied in the last decades. In this article, we prove that for $(a_n)_{n \in \mathbb{N}}$ arising from the set of rough numbers with explicit roughness parameters and any badly approximable $\alpha$, $(a_n\alpha)_{n \in \mathbb{N}} \mod 1$ has Poissonian correlations of all orders, and consequently, Poissonian gaps. This is the first known explicit sequence $(a_n\alpha)_{n \in \mathbb{N}} \mod 1$ with these properties. Further, we show that this result is false for Lebesgue almost every $\alpha$, thereby disproving a conjecture of Larcher and Stockinger [Math. Proc. Camb. Phil. Soc. 2020]. The method of proof makes use of an equidistribution result mod $d$ in diophantine Bohr sets which might be of independent interest.

An extended Vinogradov's mean value theorem
math.NT


Changkeun Oh, Kiseok Yeon

In this paper, we provide novel mean value estimates for exponential sums related to the extended main conjecture of Vinogradov's mean value theorem, by developing the Hardy-Littlewood circle method together with a refined shifting variables argument. Let $d\geq 2$ be a natural number and $\boldsymbol{\alpha}=(\alpha_d,\ldots, \alpha_1)\in \mathbb{R}^d.$ Define the exponential sum \begin{equation*} f_d(\boldsymbol{\alpha};N):=\sum_{1 \leq n \leq N}e(\alpha_d n^d + \cdots+ \alpha_1 n). \end{equation*} For $p>0$, consider mean values of the exponential sums \begin{equation*} \mathcal{I}_{p,d}(u;N):=\int_{[0,1)\times [0,N^{-u})\times [0,1)^{d-2}}|f_d(\boldsymbol{\alpha};N)|^pd\boldsymbol{\alpha}, \end{equation*} where we wrote $d\boldsymbol{\alpha}=d\alpha_1 d\alpha_2\cdots d\alpha_{d-1}d\alpha_d.$ By making use of the aforementioned tools, we obtain the sharp upper bound for $\mathcal{I}_{p,d}(u;N)$, for $d=2,3$ and $0

On a Recursive Integer Sequence Implying the Nonexistence of Odd Perfect Numbers
math.NT


Ritesh Dwivedi, Rohit Yadav

We define a sequence of positive integers recursively, where each term is determined as follows: starting with a given positive integer, if the term is odd, the next is the sum of its positive divisors; if the term is even, the subsequent term is half the term. It is conjectured that the sequence eventually reaches one for all initial values. In this paper, we classify a family of integers for which this conjecture holds.

Some series connecting Fibonacci numbers to $\pi$
math.NT


Zhi-Wei Sun, Yajun Zhou

In this paper, we mainly deduce several series identities connecting the Fibonacci numbers to $\pi$. For example, we prove that \[\sum_{k=1}^{\infty}\frac{(135 k-56) F_{8 k}-2 (105 k-44) F_{8 k-1}}{k^{3}\binom{2k}{k}^3}=\frac{7\pi^{2}}{3}\]and\[\sum_{k=0}^\infty\frac{\binom{2k}{k}^3}{2^{12k}}\big[ 2 (90 k+13) F_{8 k}-2 (30 k-1) F_{8 k-1}\big]=\frac{64}{\pi}.\]

Various irrational series involving binomial coefficients
math.NT


Zhi-Wei Sun

Motivated by Galois theory, we propose some new irrational series of Ramanujan's type or Zeilberger's type. For example, we conjecture that \begin{equation*}\sum_{k=1}^\infty\frac{\binom{2k}k^2\binom{4k}{2k}}{(84-32\sqrt6)^{4k}} \left(280k+5\sqrt6+26\right)=\frac3{\pi}(2\sqrt3+33\sqrt2) \end{equation*} and \begin{align*}&\sum_{k=1}^\infty\frac{(27(37102-15147\sqrt6))^k}{k^3\binom{2k}k^2\binom{3k}k} \left(9k(11\sqrt6+51)-2(19\sqrt6+54)\right) \\&\qquad=\frac{5625}2\left(\sqrt6 L_{-24}(2)-3G\right), \end{align*} where $$G=\sum_{k=0}^\infty\frac{(-1)^k}{(2k+1)^2}\ \ \text{and}\ \ L_{-24}(2)=\sum_{k=1}^\infty\frac{(\frac{-24}k)}{k^2}$$ with $(\frac{-24}k)$ the Kronecker symbol.

Two $2/5$-level mock theta conjecture-like identities
math.NT


Stepan Konenkov, Eric T. Mortenson

Determining the explicit forms and modularity for string functions and branching coefficients for Kac--Moody algebras after Kac, Peterson, and Wakimoto is an important problem. In a pair of papers, Borozenets and Mortenson determined the explicit forms for fractional-level string functions for the Kac--Moody algebra $A_{1}^{(1)}$. For positive fractional-level string functions they obtained mock theta conjecture-like identities, and for negative fractional-level string functions, they obtained mixed false theta function expressions. Here we find two new families of mock theta conjecture-like identities but for the $2/5$-level string functions. Each of these two families of identities is composed of the four tenth-order mock theta functions from Ramanujan's Lost Notebook as well as a simple quotient of theta functions.

A finite Linear Dependence of Discrete Series Multiplicities
math.RT
math.NT


Kaustabh Mondal, Gunja Sachdeva

Let $G$ be a connected semisimple simply connected Lie group with a compact Cartan subgroup and let $\Gamma$ be a uniform lattice in $G$. Let $\widehat{G}_d$ denote the set of equivalence classes of unitary discrete series representations of $G$. We prove that for any finite subset of $\widehat{G}_d$ satisfying a certain condition, the associated finite set of discrete series multiplicities in $L^2(\Gamma \backslash G)$ determines all discrete series multiplicities in $L^2(\Gamma \backslash G)$. This allows us to obtain a refinement of the strong multiplicity one result for discrete series representations. As an application, we deduce that for two given levels, the equality of the dimensions of the spaces of cusp forms over a suitable finite set of weights implies the equality of the dimensions of the spaces of cusp forms for all weights.

Moduli of truncated shtukas and displays
math.AG
math.NT
math.RT


Eva Viehmann, Torsten Wedhorn, Appendix by Christopher Lang

We study moduli spaces of truncated local shtukas and truncated displays and describe them as concrete quotient stacks. To do this, we develop a general formalism of frames that can be applied in both cases and is also used to study prismatic displays and prismatic F-gauges.

Sums and differences of sets: a further improvement over AlphaEvolve
math.CO
math.NT


Fan Zheng

We present a new advancement in the sum and difference of sets problem, which improves upon recent results by both DeepMind's AlphaEvolve ($\theta = 1.1584$) and subsequent explicit constructions ($\theta = 1.173050$). In this work, we construct a sequence of $U$ sets which in the limit establishes a new lower bound of $\theta = 1.173077$.

Reductions of modular Galois representations of Slope (2,3)
math.NT
v4


Enno Nagel, Aftab Pande

We compute the semisimplifications of the mod-$p$ reductions of $2$-dimensional crystalline representations of the absolute Galois group of the p-adic numbers of slope $(2,3)$ and arbitrary weight, building on work of Bhattacharya-Ghate

Hasse principle violation for algebraic families of del Pezzo surfaces of degree 4 and hyperelliptic curves of genus congruent to 1 modulo 4
math.NT
math.AG
v2


Kai Huang, Yongqi Liang

Let g be a positive integer congruent to 1 modulo 4 and K be an arbitrary number field. We construct infinitely many explicit one-parameter algebraic families of degree 4 del Pezzo surfaces and of genus g hyperelliptic curves such that each K-member of the families violates the Hasse principle. In particular, we obtain algebraic families of non-trivial 2-torsion elements in the Tate-Shafarevich group of elliptic curves over K. These Hasse principle violations are explained by the Brauer-Manin obstruction.

On Chen's theorem, Goldbach's conjecture and almost prime twins II
math.NT
v4


Runbo Li

Let $N$ denote a sufficiently large even integer and $x$ denote a sufficiently large integer, we define $D_{1,2}(N)$ as the number of primes $p$ that such that $N - p$ has at most 2 prime factors. In this paper, we show that $D_{1,2}(N) \geqslant 1.9728 \frac{C(N) N}{(\log N)^2}$, which is rather near to the asymptotic constant $2$ in Hardy--Littlewood conjecture for Goldbach's conjecture. We also get similar results on twin prime problem and additive representations of integers. The proof combines various techniques in sieve methods, such as weighted sieve, Chen's switching principle, new distribution levels proved by Lichtman and Pascadi, Chen's double sieve and Harman's sieve.

On the largest prime factor of quadratic polynomials
math.NT
v2


Runbo Li

Let $x$ denote a sufficiently large integer. We show that the recent result of Grimmelt and Merikoski actually yields the largest prime factor of $n^2 +1$ is greater than $x^{1.317}$ infinitely often. As an application, we give a new upper bound for the number of integers $n \leqslant x$ which $n^2 +1$ has a primitive divisor.

Symmetries of power-free integers in number fields and their shift spaces
math.NT
math.DS
v2


Fabian Gundlach, Jürgen Klüners

We describe the group of $\mathbb Z$-linear automorphisms of the ring of integers of a number field $K$ that preserve the set $V_{K,k}$ of $k$th power-free integers: every such map is the composition of a field automorphism and the multiplication by a unit. We show that those maps together with translations generate the extended symmetry group of the shift space $\mathbb D_{K,k}$ associated to $V_{K,k}$. Moreover, we show that no two such dynamical systems $\mathbb D_{K,k}$ and $\mathbb D_{L,l}$ are topologically conjugate and no one is a factor system of another. We generalize the concept of $k$th power-free integers to sieves and study the resulting admissible shift spaces.

Low-weight codewords in cyclic codes
math.NT
v2


José G. Coelho, F. E. Brochero Martínez

We introduce a formula for determining the number of codewords of weight 2 in cyclic codes and provide results related to the count of codewords with weight 3. Additionally, we establish a recursive relationship for binary cyclic codes that connects their weight distribution to the number of solutions of associated systems of polynomial equations. This relationship allows for the computation of weight distributions from known solutions of systems of diagonal equations and vice versa, offering a new insight into the structure and properties of binary cyclic codes.

A bijective proof of Andrews' refinement of the Alladi-Schur theorem
math.NT
math.CO
v2


Yazan Alamoudi

In this paper, I will bijectively prove Andrews' refinement of the Alladi-Schur theorem. I will also use the framework of my bijection to reproduce and give a bijective account of Andrews' recursive relations for the Alladi-Schur polynomials.

The typical elasticity of a quadratic order
math.NT
v2


Steve Fan, Paul Pollack

For an atomic domain $D$, the $elasticity$ $\rho(D)$ of $D$ is defined as $\sup\{r/s: \pi_1\cdots \pi_r = \rho_1 \cdots \rho_s,~ \text{where each $\pi_i, \rho_j$ is irreducible}\}$; the elasticity provides a concrete measure of the failure of unique factorization in $D$. Fix a quadratic number field $K$ with discriminant $\Delta_K$, and for each positive integer $f$, let $\mathcal{O}_f = \mathbb{Z} + f\mathcal{O}_K$ denote the order of conductor $f$ in $K$. Results of Halter-Koch imply that $\mathcal{O}_f$ has finite elasticity precisely when $f$ is $\textit{split-free}$, meaning not divisible by any rational prime $p$ with $(\Delta_K/p)=1$. When $K$ is imaginary, we show that for almost all split-free $f$, \[ \rho(\mathcal{O}_f) = f/(\log{f})^{\frac{1}{2}\log\log\log{f} + \frac{1}{2}C_K+o(1)}, \] for a constant $C_K$ depending on $K$. When $K$ is real, we prove under the assumption of the Generalized Riemann Hypothesis that \[ \rho(\mathcal{O}_f)= (\log{f})^{\frac12 +o(1)} \] for almost all split-free $f$. Underlying these estimates are new statistical theorems about class groups of orders in quadratic fields, whose proofs borrow ideas from investigations of Erd\H{o}s, Hooley, Li, Pomerance, Schmutz, and others into the multiplicative groups $(\mathbb{Z}/m\mathbb{Z})^\times$. One novelty of the argument is the development of a weighted version of the Tur\'{a}n--Kubilius inequality to handle a variety of sums over split-free integers.

Chebotarev's theorem for roots of unity of square free order
math.NT
v3


Maria Loukaki

Let $p$ be a prime number and $\zeta_p$ a primitive $p$-th root of unity. Chebotarev's theorem states that every square submatrix of the $p \times p$ matrix $(\zeta_p^{ij})_{i,j=0}^{p-1}$ is non-singular. In this paper we prove the same for principal submatrices of $(\zeta_n^{ij})_{i,j=0}^{n-1}$, when $n=pr$ is the product of two distinct primes, and $p$ is a large enough prime that has order $r-1$ in $\mathbf{Z}_r^*$. As an application, an uncertainty principle for cyclic groups of order $n$ is established when $n=pr$ as described above.

Non-Isomorphic Abelian Varieties with the Same Arithmetic
math.NT
v2


Jamie Bell

We construct two abelian varieties over $\mathbb{Q}$ which are not isomorphic, but have isomorphic Mordell--Weil groups over every number field, isomorphic Tate modules and equal values for several other invariants.

On the properties of alternating invariant functions
math.NT
math.CA
math.CO
v2


Haiqing Zhu, Su Hu, Min-Soo Kim

Functions satisfying the functional equation \begin{align*} \sum_{r=0}^{n-1} (-1)^r f(x+ry, ny) = f(x,y), \quad \text{for any positive odd integer $n$}, \end{align*} are named the alternating invariant functions. Examples of such functions include Euler polynomials, alternating Hurwitz zeta functions and their associated Gamma functions. In this paper, we systematically investigate the fundamental properties of alternating invariant functions. We prove that the set of such functions is closed under translation, reflection, and differentiation. In addition, we define a convolution operation on alternating invariant functions and derive explicit convolution formulas for Euler polynomials and alternating Hurwitz zeta functions, respectively. Furthermore, using distributional relations, we construct new examples of alternating invariant functions, including suitable combinations of trigonometric, exponential, and logarithmic functions, among others.

Malle's Conjecture for Galois octic fields over $\mathbb Q$
math.NT
v2


Arul Shankar, Ila Varma

We compute the asymptotic number of octic number fields whose Galois groups over $\mathbb Q$ are isomorphic to $D_4$, the symmetries of a square, when ordering such fields by their absolute discriminants. In particular, we verify the strong form of Malle's conjecture for such octic $D_4$-fields and obtain the constant of proportionality. Our result answers the question of whether a positive proportion of Galois octic extensions of $\mathbb Q$ have non-abelian Galois group in the negative. We further demonstrate that the constant of proportionality satisfies the Malle--Bhargava principle of being a product of local masses, despite the fact that this principle does {\em not} hold for discriminants of quartic $D_4$-fields. This is the first instance of asymptotics being recovered for a non-concentrated family of number fields of Galois group neither abelian nor symmetric. Previously, this was only known for abelian fields, degree-$n$ $S_n$-fields for $n=3,4,5$, and degree-$6$ $S_3$-fields.

On tori periods of Weil representations of unitary groups
math.RT
math.NT
v2


Neelima Borade, Jonas Franzel, Johannes Girsch, Wei Yao, Qiyao Yu, Elad Zelingher

We determine the restriction of Weil representations of unitary groups to maximal tori. In the local case, we show that the Weil representation contains a pair of compatible characters if and only if a root number condition holds. In the global case, we show that a torus period corresponding to a maximal anisotropic torus of the global theta lift of a character does not vanish if and only if the local condition is satisfied everywhere and a central value of an $L$-function does not vanish. Our proof makes use of the seesaw argument and of the well-known theta lifting results from $\operatorname{U}\left(1\right)$ to $\operatorname{U}\left(1\right)$. Our results are used in other papers to construct Arthur packets for $G_2$.

On a Casselman-Shalika type formula for unramified Speh representations
math.RT
math.NT
v4


Elad Zelingher

We give a Casselman-Shalika type formula for unramified Speh representations. Our formula computes values of the normalized spherical element of the $(k,c)$ model of a Speh representation at elements of the form $\operatorname{diag}\left(g, I_{(k-1)c}\right)$, where $g \in \mathrm{GL}_c\left(F\right)$ for a non-archimedean local field $F$. The formula expresses these values in terms of modified Hall--Littlewood polynomials evaluated at the Satake parameter attached to the representation. Our proof is combinatorial and very simple. It utilizes Macdonald's formula and the unramified computation of the Ginzburg--Kaplan integral. This addresses a question of Lapid-Mao.

On certain $q$-multiple sums
math.CO
math.NT
v3


Aung Phone Maw

We present outlines of a general method to reach certain kinds of $q$-multiple sum identities. Throughout our exposition, we shall give generalizations to the results given by Dilcher, Prodinger, Fu and Lascoux, Zeng, and Guo and Zhang concerning $q$-series identities related to divisor functions. Our exposition shall also provide a generalization of the duality relation for finite multiple harmonic $q$-series given by Bradley. Utilizing these generalizations, we will also arrive at some new interesting classes of $q$-multiple sums.

Whittaker-Shintani functions for Fourier-Jacobi models on unitary groups
math.RT
math.NT
v3


Paul Boisseau

We state and prove a formula for the Whittaker-Shintani functions associated to Fourier-Jacobi models for p-adic unitary groups and general linear groups. These generalized spherical functions play a fundamental role in the proof of the Gan-Gross-Prasad conjecture for Fourier-Jacobi models. As an application we prove the unramified Ichino-Ikeda conjecture.

Schubert cells and Whittaker functionals for $\text{GL}(n,\mathbb{R})$ part II: Existence via integration by parts
math.RT
math.NT
v2


Doyon Kim

We give a new proof of the existence of Whittaker functionals for principal series representation of $\text{GL}(n,\mathbb{R})$, utilizing the analytic theory of distributions. We realize Whittaker functionals as equivariant distributions on $\text{GL}(n,\mathbb{R})$, whose restriction to the open Schubert cell is unique up to a constant. Using a birational map on the Schubert cells, we show that the unique distribution on the open Schubert cell extends to a distribution on the entire space $\text{GL}(n,\mathbb{R})$. This technique gives a proof of the analytic continuation of Jacquet integrals via integration by parts. We briefly discuss an application of the method to the Bessel functions on $\text{GL}(n,\mathbb{R})$.

A Multigraph Characterization of Permutiple Strings
math.CO
math.NT
v2


Benjamin V. Holt

A permutiple is a natural number whose representation in some base is an integer multiple of a number whose representation has the same collection of digits. A previous paper utilizes a finite-state-machine construction and its state graph to recognize permutiples and to generate new examples. Permutiples are associated with walks on the state graph which necessarily satisfy certain conditions. However, the above effort does not provide conditions sufficient for the existence of permutiples. In this paper, we provide such a condition, which we will state using the language of multigraphs.