Multiple $\wp$-Functions and Their Applications

2026-04-30T05:34:41Z

In this paper, we introduce and study multiple $\wp$-functions, which generalize the classical Weierstrass $\wp$-function to iterated sums over lattice points, and we establish explicit formulas expressing them in terms of single $\wp$-functions with coefficients given by multiple Eisenstein series. As an application, we derive some relations among multiple Eisenstein series and multiple zeta values by exploiting the double periodicity of the multiple $\wp$-functions.

Simple Lie Groups of type An as Galois groups over Q

2026-04-30T04:13:59Z

In this paper, we utilize our previous results on mod p monodromy of cyclic coverings of the projective line to realize a large series of groups of the form PSL(n, q) and PSU(n, q) as Galois groups over Q. We achieve for the first time a fully explicit infinite series of such groups where simultaneously the field can have arbitrarily large degree over the prime field and the group does not coincide with PGL(n, q) or PGU(n, q), respectively.

Mod p Monodromy of Cyclic Covers of the Projective Line

2026-04-30T04:04:51Z

In this paper, we prove a big monodromy theorem for the monodromy of cyclic coverings of projective line for cohomology with Fp-coefficients. This is a direct generalization of the results of Achter and Pries, where such a theorem is proved for cyclic coverings of degree 2 and 3. Instead of generalizing their methods, we adapt the proof of the analogous theorem for integral cohomology. In our subsequent work, we will apply this theorem to construct in infinitely many cases Galois extensions of Q with Galois group PSL(n, q) and PSU(n, q), where q can be an arbitrarilty large prime power.

The Brauer-Manin obstruction on algebraic stacks

2026-04-30T03:30:27Z

For algebraic stacks over number fields, we define their Brauer-Manin sets, Brauer-Manin pairings, and extend the descent theory of Colliot-Thélène and Sansuc. By extending Sansuc's exact sequence, we show the torsionness of Brauer groups of stacks that are locally quotients of varieties by linear groups. With mild assumptions, for stacks that are locally quotients or Deligne-Mumford, we show that the Brauer-Manin obstruction coincides with some other cohomological obstructions such as obstructions given by torsors under connected groups or abelian gerbes. For Brauer-Manin sets of these stacks, we show the properties such as descent along a torsor, product preservation are still correct. These results extend classical theories of those on varieties.

On the Visibility category of the Shafarevich--Tate group

2026-04-30T01:19:46Z

Given an elliptic curve $E$ over $\Q$ and a nontrivial element $σ$ of its Shafarevich--Tate group $\Sha(E)$, we introduce the \textbf{Visualization category} $\V(E; σ)$ of abelian varieties that ``visualize'' $σ$ in the sense of Mazur, and we study minimal objects in this category. In particular, we show that there can be several minimal visualizing abelian varieties of different dimensions, answering a question of Mazur. We revisit two constructions of visualizing abelian varieties: restriction of scalars (as in the work of Agashe and Stein), and a construction due to de Jong (as in the work of Cremona and Mazur). We show that restriction of scalars typically produces minimal visualizations. When $σ$ has order $2$ or $3$, we build upon the de Jong construction and make it totally explicit. While the de Jong construction can produce non-minimal objects, an appropriate choice in the construction for order $2$ elements $σ$ yields an explicit genus $2$ curve whose Jacobian is a minimal visualization. For order $3$ elements we apply our algorithmic construction to Fisher's database of such elements, and obtain computational evidence that, in the absence of a $3$-isogeny, the de Jong construction yields a minimal visualization.

On zero-sum problems over metacyclic groups $C_n \rtimes_s C_2$

2026-04-29T21:04:53Z

Let $G$ be a finite group. A finite collection of elements from $G$, where the order is disregarded and repetitions are allowed, is said to be a product-one sequence if its elements can be ordered such that their product in $G$ equals the identity element of $G$. Then, the Gao's constant $\mathsf E (G)$ of $G$ is the smallest integer $\ell$ such that every sequence of length at least $\ell$ has a product-one subsequence of length $|G|$. For a positive integer $n$, we denote by $C_n$ a cyclic group of order $n$. Let $G = C_n \rtimes_s C_2$ with $s^2\equiv 1\pmod n$ be a metacyclic group. The direct and inverse problems of $\mathsf E (G)$ were settled recently, except for the case that $G=C_{3n_2}\rtimes_s C_2$ with $n_2\neq 1$, $\gcd(n_2,6)=1$, $s\equiv -1 \pmod 3$, and $s\equiv 1\pmod {n_2}$. In this paper, we complete the remaining case and hence for all metacyclic groups of the form $G=C_n \rtimes C_2$, the Gao's constant and the associated inverse problem are now fully settled (see Theorem 1.2).

Strong Approximation for the Character Variety of the Four-Times Punctured Sphere

2026-04-29T20:24:29Z

We study the orbits of the solutions to the Markoff-type equation $$X^2 + Y^2 + Z^2 = XYZ +AX + BY + CZ + D$$ in $\mathbb{F}_p$ for fixed integers $A, B, C,$ and $D$ under the group of symmetries $Γ$ generated by \[\begin{split}&V_1: (x, y, z)\mapsto (A + yz - x, y, z),\\ &V_2: (x, y, z)\mapsto (x, B + xz - y, z),\text{ and}\\ &V_3: (x, y, z)\mapsto (x, y, C + xy - z).\end{split}\] This equation arises as the Relative Character Variety of the Four-Times Punctured Sphere, and $Γ$ arises from the Pure Mapping Class Group. For most parameters we show that there is a density one set of primes $p$ such that $Γ$ acts transitively on the bulk of the solutions mod $p$, with the remainder breaking up into a few small orbits arising from finite orbits within the solutions over $\mathbb{C}$. We classify those ``degenerate'' parameters to which this result does not apply, and show there are either 2 (for most degenerate parameters) or 4 (for the remaining degenerate parameters other than $(0, 0, 0, 4)$) large orbits modulo density one of primes. Our results become especially interesting when applied to two special subfamilies. The first is $$X^2 + Y^2 + Z^2 = XYZ + k$$ for $k \neq 4$, which arises in the study of the combinatorial group theory of $\text{SL}_2(\mathbb{F}_p)$. Our results very nearly prove the $Q$-classification conjecture of McCullough and Wanderley for density 1 of primes. The second subfamily is $$x_1^2 + x_2^2 + x_3^2 + a_1x_2x_3 + a_2x_1x_3 + a_3x_1x_2 = (3+a_1+a_2+a_3)x_1x_2x_3,$$ which arises from certain generalized cluster algebras. Here, our notion of degenerate parameters specializes to the degeneracy condition of de Courcy-Ireland, Litman, and Mizuno. For all nondegenerate and some degenerate surfaces in this family, their results imply that our count of large orbits (1, 2, or 4) applies to all sufficiently large primes $p$.

Upper and lower estimates for integer complexity

2026-04-29T20:16:19Z

Let $\|n\|$ stand for the integer complexity of the number $n$, i.e. for the least number of $1$'s needed to write $n$ using arbitrary many additions, multiplications, and parentheses. The two-sided inequality $3\log_3 n\leq\|n\|\leq 3\log_2 n$ for all $n$ is well known and reveals the logarithmic behaviour of the complexity function $\|n\|$. While the lower bound $3\log_3 n$ is attained infinitely many times at powers of $3$, the best upper estimate is still unknown, although there are some improvements of the trivial bound $3\log_2 n$. Besides, for $``$typical$"$ numbers, i.e. for almost all numbers $n$, the better inequality $\|n\|\leq C_{avg}\log n$ holds, where, importantly, $C_{avg}\approx 3.236<\sup_{n} \frac{\|n\|}{\log n}$. We show that in fact $\|n\|\leq C_{avg}\log n+o(\log n)$ as $n\to\infty$, which, in particular, yields that $\limsup\limits_{n\to\infty}\frac{\|n\|}{\log n}\leq C_{avg}$. We also obtain the first nontrivial lower bound $\|n\|\geq 3.06\log_3 n$ for almost all numbers $n$.

An $O_K$-basis for the image of a Lubin-Tate logarithm on $π$-regular extensions of $K$

2026-04-29T19:03:44Z

Let $K$ be a finite $p$-adic field with uniformiser $π$. In this paper we study the image of the logarithm attached to a Lubin-Tate series $[π](X)$ on the maximal ideal of so-called $π$-regular extensions of $K$; for such an extension $L|K$ we compute a basis for the additive group $\log_{[π]}(\mathcal{F}(\mathfrak{m}_L))$ as an $O_K$-module, where $\mathcal{F}(\mathfrak{m}_L)$ denotes the maximal ideal $\mathfrak{m}_L$ equipped with the $O_K$-module structure coming from the formal group associated to $[π](X)$, and determine the minimal valuation of the elements in $\log_{[π]}(\mathcal{F}(\mathfrak{m}_L))$. In the final section of this paper we discuss how some of these results extend to arbitrary finite extensions of $K$ and conclude by determining a basis of the $O_K$-module $\log_{[π]}(\mathcal{F}(\mathfrak{m}_{K_{π^n}}))$, where $K_{π^n}$ is the Lubin-Tate extension of level $n\geq 1$.

On the automorphisms of the power semigroups of a numerical semigroup

2026-04-29T17:11:23Z

If $H$ is a numerical semigroup (that is, a cofinite subset of the non-negative integers closed under addition), then the non-empty subsets of $H$ form a semigroup $\mathcal P(H)$ under the sumset operation induced by addition in $H$. Moreover, if $0 \in H$, then $\mathcal P(H)$ is a monoid with identity element $\{0\}$, and the family $\mathcal P_0(H)$ of all subsets of $H$ containing $0$ is a submonoid of $\mathcal P(H)$. We show that the automorphism group of $\mathcal P(H)$ is trivial, and the same holds for $\mathcal P_0(H)$ when $0 \in H$. The proofs blend ideas from combinatorics and semigroup theory.

Shadowing and Stability of Non-Invertible $p$-adic Dynamics

2026-04-29T17:09:03Z

The stability theory of compact metric spaces with positive topological dimension is a well-established area in Dynamical Systems. A central result, attributed to Walters, connects the concepts of topological stability and the shadowing property in invertible dynamics. In contrast, zero-dimensional stability theory is a developing field, with an analogue of Walters' theorem for Cantor spaces being fully established only in 2019 by Kawaguchi. In this paper, we investigate the shadowing and stability properties of non-invertible dynamics in zero-dimensional spaces, focusing on the $p$-adic integers $\mathbb{Z}_{p} $ and the $p$-adic numbers $\mathbb{Q}_{p}$, where $p \geq 2$ is a prime number. The main result provides sufficient conditions under which the following families of maps exhibit strong shadowing and stability properties: 1) $p$-adic dynamical systems that are right-invertible through contractions, and 2) left-invertible contractions. Consequently, new examples of stable $p$-adic dynamics are presented.

Carl Størmer and his Numbers

2026-04-29T16:44:47Z

In many proofs of Fermat's Two Squares Theorem, the smallest least residue solution $x_0$ of the quadratic congruence $x^2 \equiv -1 \bmod p$ plays an essential role; here $p$ is prime and $p \equiv 1 \bmod 4$. Such an $x_0$ is called a Størmer number, named after the Norwegian mathematician and astronomer Carl Størmer (1874-1957). In this paper, we establish necessary and sufficient conditions for $x_0 \in \mathbb{N}$ to be a Størmer number of some prime $p \equiv 1 \bmod 4$. Størmer's main interest in his investigations of Størmer numbers stemmed from his study of identities expressing $π$ as finite linear combinations of certain values of the Gregory-MacLaurin series for $\arctan(1/x)$. Since less than 600 digits of $π$ were known by 1900, approximating $π$ was an important topic. One such identity, discovered by Størmer in 1896, was used by Yasumasa Kanada and his team in 2002 to obtain 1.24 trillion digits of $π$. We also discuss Størmer's work on connecting these numbers to Gregory numbers and approximations of $π$.

On $p$-adic $L$-functions for symplectic representations of GL(N) over number fields

2026-04-29T16:20:35Z

Let $F$ be a number field, and $π$ a regular algebraic cuspidal automorphic representation of $\mathrm{GL}_N(\mathbb{A}_F)$ of symplectic type. When $π$ is spherical at all primes $\mathfrak{p}|p$, we construct a $p$-adic $L$-function attached to any regular non-critical spin $p$-refinement $\tildeπ$ of $π$ to $Q$-parahoric level, where $Q$ is the $(n,n)$-parabolic. More precisely, we construct a distribution $L_p(\tildeπ)$ on the Galois group $\mathrm{Gal}_p$ of the maximal abelian extension of $F$ unramified outside $p\infty$, and show that it interpolates all the standard critical $L$-values of $π$ at $p$ (including, for example, cyclotomic and anticyclotomic variation when $F$ is imaginary quadratic). We show that $L_p(\tildeπ)$ satisfies a natural growth condition; in particular, when $\tildeπ$ is ordinary, $L_p(\tildeπ)$ is a (bounded) measure on $\mathrm{Gal}_p$. As a corollary, when $π$ is unitary, has very regular weight, and is $Q$-ordinary at all $\mathfrak{p}|p$, we deduce non-vanishing $L(π\times(χ\circ N_{F/\mathbb{Q}}),1/2) \neq 0$ of the twisted central value for all but finitely many Dirichlet characters $χ$ of $p$-power conductor.

A primality test for $Kp^\ell - 1$ numbers

2026-04-29T14:55:56Z

We develop an algebraic framework over arbitrary quadratic fields $L = \mathbb{Q}(\sqrt{D})$ to generalize the Miller-Rabin primality test. Consequently, we present a deterministic primality test for integers of the form $N = K p^{\ell} - 1$ that requires only a single modular exponentiation and achieves a computational complexity of $\tilde{\mathcal{O}}(\log^2 N)$. Furthermore, we also establish an analogue of Korselt's criterion within this setting. Finally, computational data generated using SageMath confirm its efficiency, successfully establishing the primality of numbers in the associated quadratic field within milliseconds.

The local Gross-Prasad conjecture over $\mathbb{R}$: Epsilon dichotomy

2026-04-29T12:59:36Z

Following the work of Jean-Loup Waldspurger, we prove the epsilon dichotomy part of the local Gross-Prasad conjecture over $\mathbb{R}$ for tempered local $L$-parameters.