https://arxiv.org/api/vurzYX5Orxvi5YZqxUd97yvHsEk 2026-06-25T21:11:20Z 49346 900 15 http://arxiv.org/abs/2307.00887v3 2026-05-14T20:27:35Z

We introduce and study the stack of \textit{meromorphic} $G$-bundles on the Fargues--Fontaine curve. This object defines a correspondence between the Kottwitz stack $\mathfrak{B}(G)$ and $\operatorname{Bun}_G$. We expect it to play a crucial role in comparing the schematic and analytic versions of the geometric local Langlands categories. Our first main result is the identification of the generic Newton strata of ${\operatorname{Bun}}_G^{\operatorname{mer}}$ with the Fargues--Scholze charts $\mathcal{M}$. Our second main result is a generalization of Fargues' theorem in families. We call this the \textit{meromorphic comparison theorem}. It plays a key role in proving that the analytification functor is fully faithful. Along the way, we give new proofs to what we call the \textit{topological and schematic comparison theorems}. These say that the topologies of $\operatorname{Bun}_G$ and $\mathfrak{B}(G)$ are reversed and that the two stacks take the same values when evaluated on schemes.

2023-07-03T09:35:26Z Final version, to appear in J. Eur. Math. Soc Ian Gleason Alexander B. Ivanov Felix Zillinger http://arxiv.org/abs/2605.15323v1 2026-05-14T18:36:12Z

We present two improvements to arithmetic in the Jacobian of global function fields based on the approach of Hess. The first reduces the number of expensive reduction steps by optimizing for typical inputs rather than worst-case behavior, assuming the function field contains a degree-one place. The second introduces a memory-time trade-off that speeds up computations by caching frequently used intermediate results. Our asymptotic analysis and empirical experiments show that our improved algorithms are significantly faster in practice than previously published methods. To the best of our knowledge, our publicly-available software implementation of Jacobian arithmetic is the first to support unique representatives of divisor classes.

2026-05-14T18:36:12Z LNCS, vol 16611 (2026) 111-128 Vincent Macri Michael Jacobson Renate Scheidler 10.1007/978-3-032-27574-5_8 http://arxiv.org/abs/2507.23102v2 2026-05-14T18:24:45Z

We show that a totally degenerate limit of discrete series representation admits a choice of n-cohomology group that is nonvanishing at a canonically defined degree. We then show that these groups satisfy Serre duality. This produces two n-cohomology groups, each for a totally degenerate limit of discrete series of U(n+1) and U(n), which are nonvanishing at the same degree. This suggests Gan-Gross-Prasad type branching laws for the TDLDS of unitary groups of any rank. We conclude by constructing an intertwining map of TDLDS for SU(2,1) and SU(1,1). This map will vanish on the minimal K type but induce a non-vanishing map of cohomology.

2025-07-30T21:07:24Z Minor edits, and added section 5 which gives intertwining map from SU(2,1) to SU(1,1). Introduction was modified accordingly, and sections were relabelled Jin Kunwoo Lee http://arxiv.org/abs/2605.15147v1 2026-05-14T17:49:42Z

We show that for $m, r \in \mathbb{N}$ and $N > (2m+1)^r (r!)^{1/m}$, every $r$-coloring of the integers in the interval $[N]$ contains a monochromatic solution to the equation \[ x_1 + \dots + \dots x_{m+1} = y_1 + \dots + y_m. \] This generalizes and improves recent results of Koścuiszko. We also show that if $N \geq 2^{r}$, then every $r$-coloring of the integers in $[N]$ must always determine a monochromatic solution to the above equation for some $m \geq 1$. The latter estimate is optimal.

2026-05-14T17:49:42Z 11 pages Rafael Miyazaki Eion Mulrenin Cosmin Pohoata Michael Zheng http://arxiv.org/abs/2605.15117v1 2026-05-14T17:30:18Z

We show that the $x$-axis is the only real algebraic curve in $\mathbb R^2$ whose image via the Gamma function is contained in an algebraic curve. Our proof employs an elegant base-change argument due to Tamiozzo (2023) to deduce the result from the corresponding complex geometric transcendence result of Eterović, Padgett and Zhao (2025). As an application, we use the complex and real geometric transcendence results to study analogues of the Manin--Mumford conjecture for the Gamma function.

2026-05-14T17:30:18Z Arshay Sheth http://arxiv.org/abs/2605.15107v1 2026-05-14T17:24:36Z

The present authors introduced a two-color partition series $S(q)$ and conjectured a Hecke-type formula for the even part of $(q^4;q^4)_\infty S(q)$. Banerjee and Bringmann proved the conjecture by using indefinite theta functions, modular completions, and Sturm's theorem. They also asked whether a direct proof, for instance one based on Bailey-type ideas, could be found, and they suggested that the odd residue classes may be worth studying. We prove a two-variable refinement with an additional parameter $a$. Our proof relies entirely on $q$-series combined with the Bailey pairs The original even identity and the odd identity then follow as corollaries by letting $a=1$. We also record parameter symmetries and cyclotomic companions, including a vanishing result at $a=i$.

2026-05-14T17:24:36Z 9 pages George E. Andrews Mohamed El Bachraoui http://arxiv.org/abs/2605.20225v1 2026-05-14T17:06:00Z

Drawing primarily on her early work (1931-1934), I argue that Alice Ambrose develops a philosophical project centered on preserving the rigor of extensional logic while rejecting the metaphysical and epistemological endorsements of logicism because of its commitment to the notion of material infinity. Positioning Ambrose as a transitional figure between formalism (Russell) and the constructivist turn represented by intuitionism (Brouwer), I demonstrate how Ambrose offers a practice oriented statement of finitist extensionalism. Employing only extensional methods (considering classes, relations, and propositions by reference to their members and truth values instead of mental processes), Ambrose reformulates an existential claim about pi as an explicit infinite disjunction of concrete instances insisting, against intensional projects, that such claims gain meaning only through a finite stopping rule that produces a witness.

2026-05-14T17:06:00Z 31pp Juan J. Colomina-Alminana http://arxiv.org/abs/2605.15067v1 2026-05-14T16:57:00Z

In 2000, Vu proved that the number of solutions of $x_1^k + \cdots + x_s^k = N$ in an arbitrary box satisfies the expected Hardy--Littlewood upper bound with a power-saving error term, for $s \geq O(8^k k^3)$. We show that one may take $s\geq k^2 - k + O(\sqrt{k})$.

2026-05-14T16:57:00Z 8 pages Christian Táfula http://arxiv.org/abs/2605.15063v1 2026-05-14T16:54:22Z

We study the distribution of the order of a random permutation of $[n]$ through the lens of Rényi entropy. In particular, we obtain an asymptotic for the Rényi $q$-entropy of the order in the full range $1 \leq q \leq \infty$. For $q > 1$, our results are quantitatively optimal and reveal a tight connection between the asymptotic behaviour of the Rényi $q$-entropy and arithmetic properties of $n$. Of particular interest are the cases $q = \infty$ and $q = 2$, which correspond to the maximum probability of achieving a particular order and the probability that two independent random permutations have equal orders, respectively. In the former case, we show that the probability in question is asymptotic to $1/n$ and additionally characterise the maximiser for sufficiently large $n$. In the latter case, we determine a minimal and maximal order for the probability as a function of $n$, of respective forms $c/n^2$ and $\log^*n/n^2$. Our results provide an essentially complete answer to a set of questions raised by Acan, Burnette, Eberhard, Schmutz and Thomas, some of which go back to work of Erdős and Turán from the 1960s.

2026-05-14T16:54:22Z 25 pages; this article supersedes arXiv:2510.11698 Adrian Beker http://arxiv.org/abs/2605.15046v1 2026-05-14T16:39:14Z

Sophie Germain (1776-1831) was the first woman we know who did important original research in mathematics, specifically in elasticity theory and number theory. Celebrating her semiquincentennial year, we outline Germain's recently unearthed number theory results on Fermat's Last Theorem, in the context of her life, work, and interactions with Lagrange, Legendre, and Gauss. For two centuries her accomplishment on Fermat's Last Theorem was thought to consist of a single theorem attributed to her in a publication by Legendre, the first general result towards proving Fermat's Last Theorem. But recent discoveries in her handwritten manuscripts and correspondence with Legendre and Gauss show that she accomplished much more, albeit forgotten. In particular, she had a grand plan for proving Fermat's Last Theorem in its entirety, and carried this plan a long way, using then new tools, e.g., congruence, modular primitive roots, and permutations.

2026-05-14T16:39:14Z https://sites.google.com/view/davidpengelley/david-pengelley David Pengelley http://arxiv.org/abs/2605.14962v1 2026-05-14T15:29:23Z

In the late 1990's, Bremner conjectured that long arithmetic progressions among the $x$-coordinates of rational points of an elliptic curve $E$ over $\mathbb{Q}$ should force the rank of $E$ to be large. This conjecture (and a broad generalization of it) was proved by the authors two decades later, by combining Nevanlinna theory and the Uniform Mordell--Lang theorem of Gao--Ge--Kühne. The proof inspired subsequent work by the authors where a generalization of the Bogomolov--Fu--Tschinkel conjecture was proved by similar means. In this note we isolate a flexible pattern principle implicit in the latter work, obtaining rank-dependent (but otherwise uniform) bounds for more general patterns in the image of finite rank subgroups of elliptic curves under maps to the projective line. These patterns include, for instance, arithmetic progressions, geometric progressions, additive shifts, multiplicative shifts, and Möbius orbits.

2026-05-14T15:29:23Z Natalia Garcia-Fritz Hector Pasten http://arxiv.org/abs/2512.16704v2 2026-05-14T15:10:42Z

Let $F$ be a complete discretely valued field with ring of integers $\mathcal{O}$ and residue field of characteristic $p>2$. Let $G=\operatorname{GO}_{2n}$ denote the split orthogonal similitude group over $F$. For any parahoric level structure, we prove that the associated spin local model for $G$ is a flat $\mathcal{O}$-scheme with reduced special fiber. This confirms a conjecture of Pappas and Rapoport in the split case. As a corollary, we construct a flat (integral) moduli space of PEL-type D.

2025-12-18T16:08:21Z 44 pp, we have removed the assumptions (i) and (ii) in Theorem 1.5 of the previous version. The manuscript now proves the flatness conjecture of Pappas--Rapoport for split orthogonal groups in full generality Jie Yang http://arxiv.org/abs/2602.23813v2 2026-05-14T15:06:55Z

We construct flat integral moduli schemes of PEL type D and the corresponding flat orthogonal Rapoport--Zink spaces with parahoric level structure over a $p$-adic integer ring. The construction relies on proving a conjecture of Pappas--Rapoport: for an even orthogonal similitude group over a complete discretely valued field of residue characteristic $p>2$, and for arbitrary parahoric level, the associated spin local model is flat, normal, Cohen--Macaulay, with reduced special fiber. In the course of the proof, we also show that in the quasi-split but non-split case, the Rapoport--Zink (naive) local model is topologically flat, verifying a conjecture of Pappas--Rapoport--Smithling. In the maximal parahoric case, we also describe the Schubert varieties in the special fiber in moduli-theoretic terms. Finally, for a maximal parahoric case we construct an explicit regular semi-stable model by blowing up the spin local model along the unique closed Schubert cell in its special fiber.

2026-02-27T08:53:23Z 42 pp, We include Proposition 1.8 that gives an explicit moduli description of the Schubert varieties in the special fiber of the spin local models of any maximal parahoric level. We also changed the title and corrected some typos Jie Yang Ioannis Zachos Zhihao Zhao http://arxiv.org/abs/2603.03055v2 2026-05-14T14:14:41Z

We define the Hasse-Witt invariant of Calabi-Yau varieties in two different ways. The first method is through Cartier operator and the second method is through the theory of Calabi-Yau modular forms developed by the third author. We conjecture that these two definitions are equivalent and provide many examples of Calabi-Yau varieties in support of this conjecture.

2026-03-03T14:53:49Z Fix some typos Jin Cao Mohamed Elmi Hossein Movasati http://arxiv.org/abs/2004.14916v4 2026-05-14T13:57:59Z

In this article, we study the Gross--Kudla--Schoen diagonal cycle on the triple product of Shimura curves at a place of good reduction and prove an unramified arithmetic level raising theorem for the cohomology of this triple product. We deduce from it a reciprocity law which relates the image of the diagonal cycle under the Abel--Jacobi map to certain period integral of Gross--Kudla type. Combing this with the first reciprocity law we proved in a previous work, we show that the Gross--Kudla--Schoen diagonal cycles form a bipartite Euler system for the symmetric cube motive of a modular form. As an application we provide some evidence for the rank one case of the Bloch--Kato conjecture for the symmetric cube motive of a modular form.

2020-04-30T16:21:46Z Haining Wang