arXiv subjects

Naomi Sweeting

Publications and source records attributed to Naomi Sweeting.

9 recordsLinked to original sources

arXiv2025

Global long root $A$-packets for $\mathsf{G}_2$: the dihedral case

Cuspidal automorphic representations $τ$ of $\mathrm{PGL}_2$ correspond to global long root $A$-parameters for $\mathsf{G}_2$. Using an exceptional theta lift between $\mathrm{PU}_3$ and $\mathsf{G}_2$, we construct the associated global $A$-packet and prove the Arthur multiplicity formula for these representations when $τ$ is dihedral and satisfies some technical hypotheses. We also prove that this subspace of the discrete automorphic spectrum forms a full near equivalence class. Our construction yields new examples of quaternionic modular forms on $\mathsf{G}_2$.

math.NT↗

arXiv2025

Gross's conjecture: the dihedral case

Quaternionic modular forms on $\mathsf{G}_2$ carry a surprisingly rich arithmetic structure. For example, they have a theory of Fourier expansions where the Fourier coefficients are indexed by totally real cubic rings. For quaternionic modular forms on $\mathsf{G}_2$ associated via functoriality with certain modular forms on $\mathrm{PGL}_2$, Gross conjectured in 2000 that their Fourier coefficients encode $L$-values of cubic twists of the modular form (echoing Waldspurger's work on Fourier coefficients of half-integral weight modular forms). We prove Gross's conjecture when the modular forms are dihedral, giving the first examples for which it is known.

math.NT↗

arXiv2025

Modularity of $d$-elliptic loci with level structure

We consider the generating series of special cycles on $\mathcal{A}_1(N)\times \mathcal{A}_g(N)$, with full level $N$ structure, valued in the cohomology of degree $2g$. The modularity theorem of Kudla-Millson for locally symmetric spaces implies that these series are modular. When $N=1$, the images of these loci in $\mathcal{A}_g$ are the $d$-elliptic Noether-Lefschetz loci, which are conjectured to be modular. In the appendix, it is shown that the resulting modular forms are nonzero for $g=2$ when $N\geq 11$ and $N\neq 12$.

math.AG↗

arXiv2025

On the Bloch-Kato conjecture for some four-dimensional symplectic Galois representations

The Bloch-Kato conjecture predicts a far-reaching connection between orders of vanishing of $L$-functions and the ranks of Selmer groups of $p$-adic Galois representations. In this article, we consider the four-dimensional, symplectic Galois representations arising from automorphic representations $π$ of $\mathrm{GSp}_4(\mathbb A_{\mathbb Q})$ with trivial central character and with the lowest cohomological archimedean weight. Under mild technical conditions, we prove that the Selmer group vanishes when the central value $L(π,\mathrm{spin},1/2)$ is nonzero. In the spirit of bipartite Euler systems, we bound the Selmer group by using level-raising congruences to construct ramified Galois cohomology classes. The relation to $L$-values comes via the $\mathrm{GSpin}_3\hookrightarrow \mathrm{GSpin}_5$ periods on a compact inner form of $\mathrm{GSp}_4$. We also prove a result towards the rank-one case: if the $π$-isotypic part of the Abel-Jacobi image of any of Kudla's one-cycles on the Siegel threefold is nonzero, it generates the full Selmer group. These cycles are linear combinations of embedded quaternionic Shimura curves, and under the conjectural arithmetic Rallis inner product formula, their heights are related to $L'(π,\mathrm{spin},1/2)$.

math.NT↗

arXiv2022

Tate classes and endoscopy for $\operatorname{GSp}_4$ over totally real fields

The theory of endoscopy predicts the existence of large families of Tate classes on certain products of Shimura varieties, and it is natural to ask in what cases one can construct algebraic cycles giving rise to these Tate classes. This paper takes up the case of Tate classes arising from the Yoshida lift: these are Tate cycles in middle degree on the Shimura variety for the group $\operatorname{Res}_{F/\mathbb Q} (\operatorname{GL}_2 \times \operatorname{GSp}_4)$, where $F$ is a totally real field. A special case is the family of Tate classes which reflect the appearance of two-dimensional Galois representations in the middle cohomology of both a modular curve and a Siegel modular threefold. We show that a natural algebraic cycle generates exactly the Tate classes which are associated to \emph{generic} members of the endoscopic $L$-packets on $\operatorname{GSp}_{4,F}$. In the non-generic case, we give an alternate construction, which shows that the predicted Tate classes arise from Hodge cycles.

math.NT↗

arXiv2022

Kolyvagin's Conjecture and patched Euler systems in anticyclotomic Iwasawa theory

Let $E/\mathbb{Q}$ be an elliptic curve and let $K$ be an imaginary quadratic field. Under a certain Heegner hypothesis, Kolyvagin constructed cohomology classes for $E$ using $K$-CM points and conjectured they did not all vanish. Conditional on this conjecture, he described the Selmer rank of $E$ using his system of classes. We extend work of Wei Zhang to prove new cases of Kolyvagin's conjecture by considering congruences of modular forms modulo large powers of $p $. Additionally, we prove an analogous result, and give a description of the Selmer rank, in a complementary "definite" case (using certain modified $L$-values rather than CM points). Similar methods are also used to improve known results on the Heegner point main conjecture of Perrin-Riou. One consequence of our results is a new converse theorem, that $p$-Selmer rank one implies analytic rank one, when the residual representation has dihedral image.

math.NT↗

arXiv2018

On the zeros of a class of modular functions

We generalize a number of works on the zeros of certain level 1 modular forms to a class of weakly holomorphic modular functions whose $q$-expansions satisfy \[ f_k(A, τ) \colon = q^{-k}(1+a(1)q+a(2)q^2+...) + O(q),\] where $a(n)$ are numbers satisfying a certain analytic condition. We show that the zeros of such $f_k(τ)$ in the fundamental domain of $SL_2(\mathbb{Z})$ lie on $|τ|=1$ and are transcendental. We recover as a special case earlier work of Witten on extremal "partition" functions $Z_k(τ)$. These functions were originally conceived as possible generalizations of constructions in three-dimensional quantum gravity.

math.NT↗

arXiv2018

Formulas for Chebotarev densities of Galois extensions of number fields

We generalize the Chebotarev density formulas of Dawsey (2017) and Alladi (1977) to the setting of arbitrary finite Galois extensions of number fields $L/K$. In particular, if $C \subset G = \textrm{Gal}(L/K)$ is a conjugacy class, then we establish that the Chebotarev density is the following limit of partial sums of ideals of $K$: \[ -\lim_{X\rightarrow\infty} \sum_{\substack{2\leq N(I)\leq X \\ I \in S(L/K; C)}} \frac{μ_K(I)}{N(I)} = \frac{|C|}{|G|}, \] where $μ_K(I)$ denotes the generalized Möbius function and $S(L/K;C)$ is the set of ideals $I\subset \mathcal{O}_K$ such that $I$ has a unique prime divisor $\mathfrak{p}$ of minimal norm and the Artin symbol $\left[\frac{L/K}{\mathfrak{p}}\right]$ is $C$. To obtain this formula, we generalize several results from classical analytic number theory, as well as Alladi's concept of duality for minimal and maximal prime divisors, to the setting of ideals in number fields.

math.NT↗

arXiv2018

Generating functions for power moments of elliptic curves over $\mathbb{F}_p$

Seminal works by Birch and Ihara gave formulas for the $m$th power moments of the traces of Frobenius endomorphisms of elliptic curves over $\mathbb{F}_{p}$ for primes $p \geq 5$. Recent works by Kaplan and Petrow generalized these results to the setting of elliptic curves that contain a subgroup isomorphic to a fixed finite abelian group $A$. We revisit these formulas and determine a simple expression for the zeta function $Z_p(A; t)$, the generating function for these $m$th power moments. In particular, we find that \[ Z_p(A;t) = \frac{\widehat{Z}_p(A; t)}{\displaystyle \prod_{a \in \textrm{Frob}_p(A)}(1 - at)},\] where $\textrm{Frob}_p(A) := \{ a \, \colon -2\sqrt{p} \leq a \leq 2\sqrt{p}\, \text{ and } a \equiv p+1 \pmod{|A|}\}$, and $\widehat{Z}_p(A;t)$ is an easily computed polynomial that is determined by the first $\Big\lceil\frac{2\lfloor 2\sqrt{p}\rfloor}{|A|}\Big\rceil$ power moments. These rational zeta functions have two natural applications. We find rational generating functions in weight aspect for traces of Hecke operators on $S_k(Γ)$ for various congruence subgroups $Γ$. We also prove congruence relations for power moments by making use of known congruences for traces of Hecke operators.

math.NT↗