Number Theory

2025-04-18 | | Total: 11

#1 Profinite Iterated Monodromy Groups of Unicritical Polynomials [PDF] [Copy] [Kimi] [REL]

Authors: Ophelia Adams, Trevor Hyde

Let $f(x) = ax^d + b \in K[x]$ be a unicritical polynomial with degree $d \geq 2$ which is coprime to $\mathrm{char} K$. We provide an explicit presentation for the profinite iterated monodromy group of $f$, analyze the structure of this group, and use this analysis to determine the constant field extension in $K(f^{-\infty}(t))/K(t)$.

Subjects: Number Theory , Dynamical Systems

Publish: 2025-04-17 15:39:16 UTC


#2 On the Brun--Titchmarsh theorem. II [PDF] [Copy] [Kimi] [REL]

Authors: Ping Xi, Junren Zheng

Denote by $\pi(x;q,a)$ the number of primes $p\leqslant x$ with $p\equiv a\bmod q.$ We prove new upper bounds for $\pi(x;q,a)$ when $q$ is a large prime very close to $\sqrt{x}$, improving upon the classical work of Iwaniec (1982). The proof reduces to bounding a quintilinear sum of Kloosterman sums, to which we introduce a new shifting argument inspired by Vinogradov--Burgess--Karatsuba, going beyond the classical Fourier-analytic approach thanks to a deep algebro-geometric result of Kowalski--Michel--Sawin on sums of products of Kloosterman sums.

Subject: Number Theory

Publish: 2025-04-17 06:34:51 UTC


#3 The rational cuspidal subgroup of J_0(N) [PDF] [Copy] [Kimi] [REL]

Authors: Hwajong Yoo, Myungjun Yu

For a positive integer $N$, let $J_0(N)$ be the Jacobian of the modular curve $X_0(N)$. In this paper we completely determine the structure of the rational cuspidal subgroup of $J_0(N)$ when the largest perfect square dividing $N$ is either an odd prime power or a product of two odd prime powers. Indeed, we prove that the rational cuspidal divisor class group of $X_0(N)$ is the whole rational cuspidal subgroup of $J_0(N)$ for such an $N$, and the structure of the former group is already determined by the first author in [14].

Subjects: Number Theory , Algebraic Geometry

Publish: 2025-04-17 01:28:13 UTC


#4 On the torsion in the cohomology of the integral structure sheaf of affinoid adic spaces [PDF] [Copy] [Kimi] [REL]

Author: Emiliano Torti

We prove that the cohomology of the integral structure sheaf of a normal affinoid adic space over a non-archimedean field of characteristic zero is uniformly torsion. This result originated from a remark of Bartenwerfer around the 1980s and it partially answers a recent question of Hansen and Kedlaya (see also Problems 27 and 39 in the Non-Archimedean Scottish Book).

Subjects: Number Theory , Algebraic Geometry

Publish: 2025-04-16 20:06:56 UTC


#5 On certain sums involving the largest prime factor over integer sequences [PDF] [Copy] [Kimi] [REL]

Author: Mihoub Bouderbala

Given an integer $ n \geq 2 $, its prime factorization is expressed as $ n = \prod p_i^{a_i} $. We define the function $ f(n) $ as the smallest positive integer satisfying the following condition: \[ \nu_{p}\left(\frac{f(n)!}{n}\right) \geq 1, \quad \forall p \in \{p_1, p_2, \dots, p_s\}, \] where $ \nu_{p}(m) $ denotes the $ p $-adic valuation of $ m $. The main objective of this paper is to derive an asymptotic formula for both sums $ \sum_{n\leq x} f(n) $ and $ \sum_{n \leq x, n \in S_k} f(n) $, where $ S_k $ denotes the set of all $ k $-free integers.

Subject: Number Theory

Publish: 2025-04-16 19:09:54 UTC


#6 Kato-Kuzumaki's properties for function fields over higher local fields [PDF] [Copy] [Kimi] [REL]

Author: Felipe Gambardella

Let $k$ be a $d$-local field such that the corresponding $1$-local field $k^{(d-1)}$ is a $p$-adic field and $C$ a curve over $k$. Let $K$ be the function field of $C$. We prove that for each $n,m \in \mathbf{N}$, and hypersurface $Z$ of $\mathbf{P}^n_K$ with degree $m$ such that $m^{d+1} \leq n$, the $(d+1)$-th Milnor $\mathrm{K}$-theory group is generated by the images norms of finite extension $L$ of $K$ such that $Z$ admits an $L$-point. Let $j \in \{1,\cdots , d\}$. When $C$ admits a point in an extension $l/k$ that is not $i$-ramified for every $i \in \{1, \cdots, d-j\}$ we generalise this result to hypersurfaces $Z$ of $\mathbf{P}_K^n$ with degree $m$ such that $m^{j+1} \leq n$. \par In order to prove these results we give a description of the Tate-Shafarevich group $\Sha^{d+2}(K,\mathbf{Q}/\mathbf{Z}(d+1))$ in terms of the combinatorics of the special fibre of certain models of the curve $C$.

Subjects: Algebraic Geometry , K-Theory and Homology , Number Theory

Publish: 2025-04-17 17:08:54 UTC


#7 A lattice point counting approach for the study of the number of self-avoiding walks on $\mathbb{Z}^{d}$ [PDF] [Copy] [Kimi] [REL]

Author: Youssef Lazar

We reduce the problem of counting self-avoiding walks in the square lattice to a problem of counting the number of integral points in multidimensional domains. We obtain an asymptotic estimate of the number of self-avoiding walks of length $n$ in the square lattice. This new formalism gives a natural and unified setting in order to study the properties the number of self-avoidings walks in the lattice $\mathbb{Z}^{d}$ of any dimension $d\geq 2$.

Subjects: Probability , Combinatorics , Number Theory

Publish: 2025-04-17 16:59:16 UTC


#8 The Theory Of Auxiliary Weierstrassian Zeta Functions And Zeta Differences [PDF] [Copy] [Kimi] [REL]

Author: Efe Gürel

In this paper, we expand the theory of Weierstrassian elliptic functions by introducing auxiliary zeta functions $\zeta_\lambda$, zeta differences of first kind $\Delta_\lambda$ and second kind $\Delta_{\lambda,\mu}$ where $\lambda,\mu=1,2,3$. Fundamental and novel results pertaining to these functions are proven. Furthermore, results already existing in the literature are translated in terms of auxiliary zeta functions. Their relationship to Jacobian elliptic functions and Jacobian functions are given.

Subjects: Complex Variables , Number Theory

Publish: 2025-04-17 06:50:55 UTC


#9 The Automorphism Group of the Finitary Power Monoid of the Integers under Addition [PDF] [Copy] [Kimi] [REL]

Authors: Salvatore Tringali, Kerou Wen

Endowed with the binary operation of set addition carried over from the integers, the family $\mathcal P_{\mathrm{fin}}(\mathbb Z) $ of all non-empty finite subsets of $\mathbb Z$ forms a monoid whose neutral element is the singleton $\{0\}$. Building upon recent work by Tringali and Yan, we determine the automorphisms of $\mathcal P_{\mathrm{fin}}(\mathbb Z)$. In particular, we find that the automorphism group of $\mathcal P_{\mathrm{fin}}(\mathbb Z)$ is isomorphic to the direct product of a cyclic group of order two by the infinite dihedral group.

Subjects: Combinatorics , Group Theory , Number Theory

Publish: 2025-04-17 01:32:34 UTC


#10 Quantitative Convergence for Sparse Ergodic Averages in $L^1$ [PDF] [Copy] [Kimi] [REL]

Authors: Ben Krause, Yu-Chen Sun

We provide a unified framework to proving pointwise convergence of sparse sequences, deterministic and random, at the $L^1(X)$ endpoint. Specifically, suppose that \[ a_n \in \{ \lfloor n^c \rfloor, \min\{ k : \sum_{j \leq k} X_j = n\} \} \] where $X_j$ are Bernoulli random variables with expectations $\mathbb{E} X_j = n^{-\alpha}$, and we restrict to $1 < c < 8/7, \ 0 < \alpha < 1/2$. Then (almost surely) for any measure-preserving system, $(X,\mu,T)$, and any $f \in L^1(X)$, the ergodic averages \[ \frac{1}{N} \sum_{n \leq N} T^{a_n} f \] converge $\mu$-a.e. Moreover, our proof gives new quantitative estimates on the rate of convergence, using jump-counting/variation/oscillation technology, pioneered by Bourgain. This improves on previous work of Urban-Zienkiewicz, and Mirek, who established the above with $c = \frac{1001}{1000}, \ \frac{30}{29}$, respectively, and LaVictoire, who established the random result, all in a non-quantitative setting.

Subjects: Dynamical Systems , Classical Analysis and ODEs , Number Theory , Probability

Publish: 2025-04-16 22:07:42 UTC


#11 Groups with pairings, Hall modules, and Hall-Littlewood polynomials [PDF] [Copy] [Kimi] [REL]

Authors: Jiahe Shen, Roger Van Peski

We relate the combinatorics of Hall-Littlewood polynomials to that of abelian $p$-groups with alternating or Hermitian perfect pairings. Our main result is an analogue of the classical relationship between the Hall algebra of abelian $p$-groups (without pairings) and Hall-Littlewood polynomials. Specifically, we define a module over the classical Hall algebra with basis indexed by groups with pairings, and explicitly relate its structure constants to Hall-Littlewood polynomials at different values of the parameter $t$. We also show certain expectation formulas with respect to Cohen-Lenstra type measures on groups with pairings. In the alternating case this gives a new and simpler proof of previous results of Delaunay-Jouhet.

Subjects: Combinatorics , Number Theory , Probability , Representation Theory

Publish: 2025-04-16 18:14:50 UTC