A note on Azumaya algebras and one-forms

2026-05-28T17:35:12Z

The crystalline differential operators on a smooth variety X give rise to a non-split Azumaya algebra over the cotangent bundle of the Frobenius twist X'. In some cases, this Azumaya algebra splits when restricted to finite covers of X'. In this short note, we show that, whenever X has a non-closed global one-form, there is a degree one cover of X' on which the Azumaya algebra does not split, answering a question of Sasha Petrov.

The cohomological Kudla conjecture for unitary Shimura varieties

2026-05-28T16:58:57Z

We construct natural extensions of the Kudla--Millson generating series of cohomology classes of special cycles in compactified unitary Shimura varieties of signature $(n+1,1)$ and prove that they are holomorphic Hermitian modular forms. This proves the cohomological version of a conjecture of Kudla and Bruinier--Rosu--Zemel, in all codimensions up to the middle. We also develop the theory of Hermitian quasi-modular forms, with a particular focus on polynomial weighted theta functions, and prove that the generating series of Zariski closures of special cycles is a Hermitian quasi-modular form.

Words for generalized Markov numbers

2026-05-28T16:28:48Z

We construct a word-theoretic framework for generalized Markov numbers, that is, positive integers appearing in positive integer solutions of the generalized Markov equation $x^2+y^2+z^2+k_1yz+k_2zx+k_3xy=(3+k_1+k_2+k_3)xyz$. For each positive rational slope $t$, we define a word $ω_t$ by a recursive rule on a binary tree and realize it geometrically by a line segment of slope $t$. Matrix evaluation of $ω_t$ gives a Markov--monodromy matrix encoding the generalized Markov number at $t$. We also show that $ω_t$ recovers the classical Cohn word by a local substitution rule, and that the completed word $\overlineω_t=xyzω_t^{-1}$ is related to the generalized Cohn matrices.

Large central values of Dirichlet L-functions in cosets

2026-05-28T15:48:03Z

In this paper we consider the distribution of large central values of Dirichlet L-functions over cosets of the group of characters modulo q via Soundararajan's resonator method.

Canonical extensions of $p$-adic shtukas on toroidal compactifications of Shimura varieties

2026-05-28T15:31:45Z

We construct canonical extensions of $p$-adic shtukas on integral models of toroidal compactifications of abelian-type Shimura varieties with quasi-parahoric levels at any prime number $p$. More precisely, we define the notion of a log diamond as a $v$-sheaf associated with a log scheme over $\mathbb{Z}_p$ and construct a $p$-adic log shtuka over the log diamond of an integral toroidal compactification of an abelian-type Shimura variety by studying the ``degeneration'' of the shtuka at the boundary. Moreover, we provide a definition of canonical integral models of toroidal and minimal compactifications in the sense of Pappas and Rapoport, and verify it in the same generality as above. Applications include the canonicity and functoriality of integral toroidal compactifications, as well as an axiomatic proof of the well-positionedness of all well-known stratifications on the special fiber.

Meta-automatic Sequences

2026-05-28T14:30:43Z

Nested (or meta-Fibonacci) recurrences, such as the recurrence used to define Hofstadter's Q-sequence, along with the digit-based recurrences that underlie automatic sequences are of interest from both number-theoretic and combinatorial points of view. In this direction, Allouche and Shallit showed how the frequency sequence of a variant of the $Q$-sequence is $2$-automatic. This inspires us to introduce what may be seen as a natural combination of the recurrences for meta-Fibonacci and automatic sequences, by introducing the concept of a meta-automatic sequence. We exhibit two binary meta-automatic sequences $M_1$ and $M_2$ whose defining recurrences do not satisfy the Allouche-Shallit automaticity criterion directly, and this is formalized in our paper. For each of these integer sequences $M_1$ and $M_2$, we prove explicit DFAO evaluations, together with $4$-uniform morphisms, and we also consider the factor complexities of these sequences.

The Thue-Morse Transform

2026-05-28T14:15:03Z

We define the Thue-Morse transform T on a class of infinite binary words. It sends the alternating word a_0 = 010101... to the Thue-Morse sequence. We then study its orbit a_m = T^m(a_0) as well as the sequences u_m and v_m giving respectively the positions of the ones and the zeros in a_m. We obtain an explicit formula for a_m and deduce Prouhet-Tarry-Escott identities for the partitions induced by u_m and v_m. We also give composition formulas for u_m and v_m, and a full description of the factor complexity of a_m.

Rationality problem for norm one tori of tensor products of étale algebras and Hasse norm principle

2026-05-28T14:03:49Z

Let $k$ be a field. Let $A=\prod_{i=1}^r K_i$ and $B=\prod_{j=1}^s E_j$ be étale $k$-algebras where $K_i$ and $E_j$ are finite separable field extensions of $k$ with $[K_i:k]=m_i$ and $[E_j:k]=n_j$. Let $\mathcal{T}_A=R^{(1)}_{A/k}(\mathbb{G}_m)$ be the norm one torus of the étale $k$-algebra $A$. We prove that if $\gcd(m_i,n_j\mid 1\leq i\leq r, 1\leq j\leq s)=1$ and $\mathcal{T}_A$ and $\mathcal{T}_B$ are stably $($resp. retract$)$ $k$-rational, then the algebraic $k$-torus $\mathcal{T}_A\otimes \mathcal{T}_B$ and the norm one torus $\mathcal{T}_{A\otimes B}$ are stably $($resp. retract$)$ $k$-rational. In particular, if $k$ is a global field, then the Hasse norm principle holds for $(A\otimes B)/k$. We then give detailed applications to the case of norm one tori of field extensions. We investigate more general situations $T_1\otimes T_2$ for algebraic $k$-tori $T_1$ and $T_2$ by introducing a useful invariant of a $G$-lattice: its permutation order.

Corrigendum to "Modular Gelfand pairs and multiplicity-free representations"

2026-05-28T14:02:21Z

Some of the multiplicity-freeness results in ``Modular Gelfand pairs and multiplicity-free representations'' are stated in overly broad generality. We provide counterexamples and partial corrections.

Modular analogs of character formulas and minimal lifts of modular forms

2026-05-28T13:56:59Z

If $f$ is a mod-$3$ eigenform of weight 2 and level $Γ_0(\ell^2)$ for a prime $\ell$ such that $\ell \equiv -1 \pmod{3}$, and $\ell$ is a vexing prime for $f$, we show that there is no obstruction to finding a minimal lift of $f$, but that there is an obstruction to finding a nonminimal lift. The key new ingredient that we prove is a modular analog of the standard character formula for a cuspidal representation of $\mathrm{GL}_2(\mathbb{F}_\ell)$, an enhancement that allows us to easily compute the group cohomology of a $3$-adic lattice in such a representation. In fact, we provide a general framework for proving such modular analogs for a broader class of representations using results of Broué and Puig in modular representation theory. We show that this class includes certain Deligne--Lusztig representations and representations coming from higher-depth supercuspidal representations of $\mathrm{GL}_2$.

Products involving the real parts of Jacobi sums and related cyclotomic matrices

2026-05-28T13:35:54Z

Let $q$ be an odd prime power and $χ_q$ be a generator of the group of all multiplicative characters of $\mathbb{F}_q$. In this paper, we study the arithmetic properties of the product $$R_q(χ_q)=\prod_{0

Iwasawa invariants of Bertolini--Darmon Theta Elements

2026-05-28T11:32:26Z

In this article we study the Iwasawa invariants of Bertolini--Darmon theta elements in the anticyclotomic $\mathbb{Z}_p$-extension of an imaginary quadratic field $K$ for weight two modular forms $f\in S_2(Γ_0(N))$. We cover both the cases of ordinary and non-ordinary reduction at a prime $p$. Our results extend the known results of Pollack--Weston and Leonard--Lei in the cyclotomic setting.

Two Proofs of a Conjecture of Amdeberhan, Andrews and Ballantine for double Lambert series and a new Representation for $E_2(q)$

2026-05-28T11:11:41Z

In this note, we prove a recent conjecture of Amdeberhan, Andrews and Ballantine concerning a double Lambert series (\textit{J. Combin. Theory Series A} \textbf{221} (2026), Paper No. 106154). More precisely, they conjectured that \[ [q^{N2^a}] \sum_{m,k\geq 1} \frac{q^{mk2^a}}{(1+q^{k2^{a-1}})(1-q^{2m-1})} =σ_1(N), \] where $σ_1(N)$ is the sum of all the positive divisors of $N$. We provide two proofs of this conjecture. One of the approach leads us to derive a new representation of quasi-modular forms $E_2(q)$.

Regular models of ramified unitary Shimura varieties at maximal parahoric level

2026-05-28T06:22:21Z

We use the idea of splitting models to define and study a semi-stable model for unitary Shimura varieties of signature $(n-1,1)$ with maximal parahoric level structure at ramified primes. In this case, the ``naive'' splitting model defined by Pappas and Rapoport fails to be flat in a crucial way. We prove that the genuine splitting model in this case is flat with semi-stable reduction.

Support-sensitive bounds for shortest zero-sum subsequences

2026-05-28T06:11:54Z

For a sequence $S$ over a finite abelian group, let $MZ(S)$ denote the length of the shortest nonempty zero-sum subsequence of $S$. We prove that if $G$ is finite abelian of order $n$ and $S$ has length $n$, then $MZ(S)\le n-|\supp(S)|+1$. The same bound holds for every sequence of length at least $|G|$. In cyclic groups we combine this elementary support bound with the Savchev--Chen structure theorem for long zero-sumfree sequences and obtain the sharper estimate $MZ(S)\le n-t(t-1)/2$, where $t=|\supp(S)|$, whenever $S$ has length $n$ over $C_n$ and $MZ(S)-1>n/2$. As a consequence, every length-$n$ sequence over $C_n$ with support size $3$ has a zero-sum subsequence of length at most $n-3$, and this is sharp for $n\ge 5$. We also give an arithmetic application to products of prime ideals in a number field, phrased in the standard class-group and block-monoid setting and a corresponding cyclic class-group sharpening.