https://arxiv.org/api/UIBpcdm8elwsNh8p7eEKJ4V5Wao 2026-06-14T00:38:25Z 49201 165 15 http://arxiv.org/abs/2510.12973v2 2026-06-04T23:37:22Z

We extend the Galois-theoretic Borovoi-Springer interpretation of algebraic bands to a class of étale-locally represented bands on the fppf site of an arbitrary field $k$, which we call separable bands. Next, a band represented étale-locally over $k$ by a pseudo-reductive group is shown to be globally representable when $[k : k^p] = p$, with counterexamples in general. When $k$ is a global or local field, we deduce a generalization of Borovoi's abelianization theory to separable bands represented by smooth connected algebraic groups. As an application, we prove that the Brauer-Manin obstruction is the only obstruction to both the Hasse principle and weak approximation on a homogeneous space of a pseudo-reductive group (more generally, of a smooth connected affine algebraic group with split unipotent radical) having a smooth connected geometric stabilizer.

2025-10-14T20:32:34Z 91 pages; version updates: \#\1. added the weak approximation case in subsections 5.2, 5.3 \#\2. generalized B.2.1 beyond smooth groups, also the Čech theory in 2.4 to all locally algebraic fppf bands \#\3. minor typos fixed/exposition improved, notably in subsection 3.3 Azur Đonlagić http://arxiv.org/abs/2606.02254v2 2026-06-04T23:24:02Z

Let $E$ be an elliptic curve over $\mathbb{Q}$ having split multiplicative reduction at a prime number $p$. We describe the tame part of the $\mathcal{L}$-invariant of $E$ at $p$ in terms of automorphic $p$-adic periods introduced in the work of Darmon. More precisely, we prove an equality of refined $\mathcal{L}$-invariants using twisted versions of refined exceptional zero conjectures. When the conductor of the elliptic curve is exactly $p$ and the automorphic period is attached to an optimal embedding of conductor $1$ then we prove this equality unconditionally by using the work of de-Shalit.

2026-06-01T13:42:52Z v.2 fixed metadata. 15 pages, comments are welcomed Daniel Barrera Salazar Juan-Pablo Llerena-Córdova http://arxiv.org/abs/2605.25917v3 2026-06-04T22:18:46Z

In this paper, we prove that every prime $p$ which is congruent to $4,7$ modulo $9$ is the sum of two rational cubes. This is $2/3$ of Sylvester's conjecture which has a history of nearly 150 years since 1879. In the proof, we use recent progress on Full BSD conjecture of rank $0$ elliptic curves in \cite{BF} to deduce that the Manin-Stevens constants of some families of elliptic curves are units. We also use recent solutions of Unbounded Denominators Conjecture in \cite{CDT} to prove that some cubic roots of modular functions are invariant under some congruence subgroups. Instead of using the Unbounded Denominators Conjecuture, we also give another conditional proof assuming the GRH for number fields or Artin's primitive root conjecture for arithmetic progressions.

2026-05-25T14:52:01Z modify some typos, little mistakes and add some details in some argument Hongbo Yin http://arxiv.org/abs/2606.06713v1 2026-06-04T21:01:15Z

We give a product formula for the Tamagawa numbers of Jacobians over a discrete valuation field with perfect residue field k. It comes as a product of four terms - unipotent, toric, arithmetic and (somewhat intricate) cohomological. It is proved by (1) extending the classical flow-cut construction from semistable to arbitrary curves, which, by Raynaud's results, gives the formula when k is algebraically closed; (2) observing that this formula respects the natural metric on the edges of the dual graph, which allows to quotient out the Galois action; (3) extending Bosch-Liu's description of the cohomological term when k is finite. In particular, this answers a question of Bosch-Liu, and gives an alternative description of Poonen-Stoll's cohomological obstruction in terms of characters.

2026-06-04T21:01:15Z 20 pages; first version; comments welcome! Tim Dokchitser http://arxiv.org/abs/2606.06701v1 2026-06-04T20:40:37Z

Explicit arithmetic progressions modulo primes $p \equiv 1 \pmod{4}$ are derived in which the coefficients in the expansions of products of quintuple products vanish. In particular, if $p = m^{2} + n^{2}$, and $b$ is a positive integer, and $$\sum_{n=0}^{\infty} a_{n}q^{n} = \frac{(q^{2bm},q^{p-2bm};q^{2bn},q^{p-2bn};q^p)_{\infty}}{(q^p,-q^{b m},-q^{p-bm},-q^{bn},-q^{p-bn};q^p)_{\infty}^2},$$ we determine $α= α(m,n,p)$ such that $a_{pt+ α}=0$. Our results are proven using involutive transformations on integer lattices.

2026-06-04T20:40:37Z 13 pages Taylor Daniels Tim Huber James McLaughlin Dongxi Ye http://arxiv.org/abs/2602.05841v2 2026-06-04T20:21:17Z

We generalize Voronoi's theory of perfect quadratic forms to generalized copositive matrices over a full-dimensional closed convex cone K, by introducing a K-copositive minimum and perfect K-copositive matrices. We consider a key feature of a given cone, which we call Interior Ryshkov (IR) property. Under this property the classical theory and its applications generalize nicely and we prove that rationally generated cones possess this IR property. For contrast, we give a detailed example of a simple cone without the IR property, showing various differences to the classical case. Moreover, this example yields connections to questions of number theory, in particular to Diophantine approximation and the Pell Equation. Finally, as an application, we give inner and outer polyhedral approximations for the generalized completely positive cone and a method to find rational certificates for (non-)membership in this cone.

2026-02-05T16:28:36Z 19 pages, 3 figures; revised version according to referee comments Alexander Oertel Achill Schürmann http://arxiv.org/abs/2307.15657v3 2026-06-04T19:01:07Z

Let $F$ be a finite field, let $f$ be a function from $F$ to $F$, and let $a$ be a nonzero element of $F$. The discrete derivative of $f$ in direction $a$ is $Δ_a f \colon F \to F$ with $(Δ_a f)(x)=f(x+a)-f(x)$. The differential spectrum of $f$ is the multiset of cardinalities of all the fibers of all the derivatives $Δ_a f$ as $a$ runs through $F^*$. An almost perfect nonlinear (APN) function is one for which the largest cardinality in its differential spectrum is $2$. Almost perfect nonlinear functions are of interest as cryptographic primitives. If $d$ is a positive integer, then the power function over $F$ with exponent $d$ is the function $f \colon F \to F$ with $f(x)=x^d$ for every $x \in F$. There is a small number of known infinite families of APN power functions. In this paper, we re-express the exponents for one such family in a more convenient form. This enables us not only to obtain the differential spectrum of each power function $f$ with an exponent in our family, but also to determine the elements that lie in an arbitrary fiber of the discrete derivative of $f$. This differential analysis, which is far more detailed than previous results, is achieved by composing the discrete derivative of $f$ with some permutations and a double covering of its domain to obtain a function whose fibers can more readily be analyzed.

2023-07-28T16:38:38Z 38 pages Daniel J. Katz Kathleen R. O'Connor Kyle Pacheco Yakov Sapozhnikov http://arxiv.org/abs/2412.08744v3 2026-06-04T18:44:35Z

We extend Poonen's Bertini theorem over finite fields to Taylor conditions arising from locally free quotients of the sheaf of differentials on projective space. This is motivated by a result of Bilu and Howe in the motivic setting that allows for significantly more general Taylor conditions.

2024-12-11T19:34:06Z Matthew Bertucci http://arxiv.org/abs/2606.06604v1 2026-06-04T18:01:03Z

A guiding principle in P. Scholze's $p$-adic geometry asserts that the points of $\operatorname{Spec}\mathbf{Z}$ over an algebraically closed perfectoid field of characteristic $p$ are classified, up to equivalence, by its untilts. In this paper, we give a concrete geometric realization and a generalization of this paradigm. We construct the absolute $\mathbf{F}_1$-arithmetic curve $(\operatorname{Spec}\mathbf{Z})_{\mathbf{F}_1}$ by pulling back the $\mathbf{F}_1$-structure sheaf of the arithmetic site to $\operatorname{Spec}\mathbf{Z}$. We demonstrate that $(\operatorname{Spec}\mathbf{Z})_{\mathbf{F}_1}$ provides a common geometric origin for fundamental structures in $p$-adic Hodge theory, complex analytic geometry, and the adelic scaling site. The moduli space of points of $(\operatorname{Spec}\mathbf{Z})_{\mathbf{F}_1}$ over an arbitrary perfectoid field, modulo intrinsic symmetries, canonically parameterizes the space of all perfectoid fields with the same tilt, providing a universal, characteristic-independent geometric realization of Scholze's heuristic. Evaluating the points of $(\operatorname{Spec}\mathbf{Z})_{\mathbf{F}_1}$ over the field $\mathbf{C}$ of complex numbers reveals, at each prime $p$, that the non-trivial points canonically form two principal homogeneous spaces (torsors) over the Weil groups $W_p=\mathbf{Q}_p^\times$ and $W_\infty=\mathbf{C}^\times$. Quotienting the archimedean orbit by the discrete Frobenius symmetries yields the complex Tate curve with modulus $q=p^{-1}$. We show that this elliptic curve canonically decomposes as the product of its real locus, which exactly recovers the adelic periodic orbit $C_p=\mathbf{R}_+^\times/p^\mathbf{Z}$, and a $p$-independent phase space that emerges naturally as a real analogue of the Fargues--Fontaine curve.

2026-06-04T18:01:03Z 30 pages Alain Connes Caterina Consani http://arxiv.org/abs/2504.05606v3 2026-06-04T16:51:44Z

For integers $m, m' \ge 1$, let $π$ and $π'$ be cuspidal automorphic representations of $\mathrm{GL}(m)$ and $\mathrm{GL}(m')$, respectively. We present a new proof of zero-free regions for $L(s, π)$ and for $L(s, π\times π')$ under the assumption that $π, π'$ or $L(s,π\times π')$ is self-dual. Our approach builds on ideas of "pretentious" multiplicative functions due to Granville and Soundararajan (as presented by Koukoulopoulos) and the notion of a positive semi-definite family of automorphic representations due to Lichtman and Pascadi.

2025-04-08T01:43:01Z 25 pages; added references and an outline of the proof in the introduction; fixed typos and minor calculation errors in Theorem 1.1 Nawapan Wattanawanichkul http://arxiv.org/abs/2606.06327v1 2026-06-04T16:01:13Z

We determine asymptotic results for the average size of Selmer groups arising from certain isogenies related to Jacobians of hyperelliptic curves of genus $g\geq 2$. We do so by combining Bhargava's geometry-of-numbers methods with new parametrisations coming from Vinberg theory, arising from representations related to the Dynkin diagrams of type $B$ and $C$. We additionally prove some lower bounds on the average size of these isogeny Selmer groups by using a formula of Greenberg--Wiles.

2026-06-04T16:01:13Z 35 pages Martí Oller http://arxiv.org/abs/2601.16044v3 2026-06-04T15:00:13Z

Recent work of Burungale-Skinner-Tian-Wan established the first infinite families of quadratic twists of non-CM elliptic curves over $\mathbb{Q}$ for which the strong Birch-Swinnerton-Dyer (BSD) conjecture holds. Building on their results, we encode the required hypotheses into an explicit algorithm and apply it to the database of elliptic curves in the $L$-functions and Modular Forms Database (LMFDB), identifying all elliptic curves $E$ of conductor at most $500{,}000$ that admit infinitely many quadratic twists satisfying the strong BSD conjecture. Our computations provide certain numerical evidence for a conjecture of Radziwiłł and Soundararajan predicting Gaussian behavior in the analytic order of the Shafarevich-Tate group, while also observing a systematic positive bias within the BSD-satisfying subfamily.

2026-01-22T15:19:37Z v2, to appear, Algorithmic Number Theory Symposium (ANTS) XVII Barinder S. Banwait Xiaoyu Huang http://arxiv.org/abs/2606.06243v1 2026-06-04T14:47:53Z

We establish and prove several results for the smooth Casselman-Jacquet submodule and quotient functors for real reductive groups. Other than exactness, surjectivity and globalization results, we establish a stability on the intersection of Jacquet subspaces. As an application, we establish a full version of the real Bernstein-Zelevinsky filtrations for smooth Fréchet representations of moderate growth rate.

2026-06-04T14:47:53Z 40 pages Kei Yuen Chan Kaidi Wu Jun Yu Hongfeng Zhang http://arxiv.org/abs/2606.06241v1 2026-06-04T14:47:21Z

Using André's lemma and the excision square for perfectoidization coming from $p$-complete arc descent, we prove new structural results about perfectoid rings and perfectoidization. The main result is a tameness theorem for torsion in perfectoid rings: if $R$ is a perfectoid ring and $I\subset R$ is an ideal, then the $I$-torsion in $R$ is $I_{\mathrm{perfd}}$-almost zero. This yields an excision-type decomposition of $R$ along its $I$-torsion part. We also study (semi)perfectoid rings and perfectoid ideals and take the opportunity to make some structural remarks about them.

2026-06-04T14:47:21Z 26 pages. Comments welcome Ryo Ishizuka Léo Navarro Chafloque http://arxiv.org/abs/2606.06222v1 2026-06-04T14:34:24Z

Let $d$ be the smallest positive integer, not divisible by $3$, for which there exists an algebraic number over $\mathbb{Q}$ of degree $d$ whose some three algebraic conjugates sum to zero. Employing the classification of vertex-transitive graphs on 16 vertices of degree 6, we prove that $d\neq 16$. This, combined with results obtained by Dubickas, Smyth and Stong \cite{DubickasSmyth2006}, Dubickas and Jankauskas \cite{DubickasJankauskas2015} and Virbalas \cite{Virbalas2025a}, implies that $d=20$.

2026-06-04T14:34:24Z Žygimantas Baronėnas Paulius Drungilas Jonas Jankauskas