We investigate a novel geometric Iwasawa theory for
This content will become publicly available on May 1, 2025
Let
A key tool of the proof is the recent resolution of Rubin’s conjecture on the structure of local units in the anticyclotomic
 Award ID(s):
 2302064
 NSFPAR ID:
 10521225
 Publisher / Repository:
 J. Inst. Math Jussieu
 Date Published:
 Journal Name:
 Journal of the Institute of Mathematics of Jussieu
 Volume:
 23
 Issue:
 3
 ISSN:
 14747480
 Page Range / eLocation ID:
 1417 to 1460
 Format(s):
 Medium: X
 Sponsoring Org:
 National Science Foundation
More Like this

Abstract extensions of function fields over a perfect field${\mathbf Z}_p$ k of characteristic by replacing the usual study of$p>0$ p torsion in class groups with the study ofp torsion class groupschemes . That is, if is the tower of curves over$\cdots \to X_2 \to X_1 \to X_0$ k associated with a extension of function fields totally ramified over a finite nonempty set of places, we investigate the growth of the${\mathbf Z}_p$ p torsion group scheme in the Jacobian of as$X_n$ . By Dieudonné theory, this amounts to studying the first de Rham cohomology groups of$n\rightarrow \infty $ equipped with natural actions of Frobenius and of the Cartier operator$X_n$ V . We formulate and test a number of conjectures which predict striking regularity in the module structure of the space$k[V]$ of global regular differential forms as$M_n:=H^0(X_n, \Omega ^1_{X_n/k})$ For example, for each tower in a basic class of$n\rightarrow \infty .$ towers, we conjecture that the dimension of the kernel of${\mathbf Z}_p$ on$V^r$ is given by$M_n$ for all$a_r p^{2n} + \lambda _r n + c_r(n)$ n sufficiently large, where are rational constants and$a_r, \lambda _r$ is a periodic function, depending on$c_r : {\mathbf Z}/m_r {\mathbf Z} \to {\mathbf Q}$ r and the tower. To provide evidence for these conjectures, we collect extensive experimental data based on new and more efficient algorithms for working with differentials on towers of curves, and we prove our conjectures in the case${\mathbf Z}_p$ and$p=2$ .$r=1$ 
Abstract Let
f be an normalized holomorphic newform of weight$L^2$ k on with$\Gamma _0(N) \backslash \mathbb {H}$ N squarefree or, more generally, on any hyperbolic surface attached to an Eichler order of squarefree level in an indefinite quaternion algebra over$\Gamma \backslash \mathbb {H}$ . Denote by$\mathbb {Q}$ V the hyperbolic volume of said surface. We prove the supnorm estimate$$\begin{align*}\ \Im(\cdot)^{\frac{k}{2}} f \_{\infty} \ll_{\varepsilon} (k V)^{\frac{1}{4}+\varepsilon} \end{align*}$$ with absolute implied constant. For a cuspidal Maaß newform
of eigenvalue$\varphi $ on such a surface, we prove that$\lambda $ $$\begin{align*}\\varphi \_{\infty} \ll_{\lambda,\varepsilon} V^{\frac{1}{4}+\varepsilon}. \end{align*}$$ We establish analogous estimates in the setting of definite quaternion algebras.

Abstract For any subset
, consider the set$Z \subseteq {\mathbb {Q}}$ of subfields$S_Z$ which contain a coinfinite subset$L\subseteq {\overline {\mathbb {Q}}}$ that is universally definable in$C \subseteq L$ L such that . Placing a natural topology on the set$C \cap {\mathbb {Q}}=Z$ of subfields of${\operatorname {Sub}({\overline {\mathbb {Q}}})}$ , we show that if${\overline {\mathbb {Q}}}$ Z is not thin in , then${\mathbb {Q}}$ is meager in$S_Z$ . Here,${\operatorname {Sub}({\overline {\mathbb {Q}}})}$ thin andmeager both mean “small”, in terms of arithmetic geometry and topology, respectively. For example, this implies that only a meager set of fieldsL have the property that the ring of algebraic integers is universally definable in$\mathcal {O}_L$ L . The main tools are Hilbert’s Irreducibility Theorem and a new normal form theorem for existential definitions. The normal form theorem, which may be of independent interest, says roughly that every definable subset of an algebraic extension of$\exists $ is a finite union of single points and projections of hypersurfaces defined by absolutely irreducible polynomials.${\mathbb Q}$ 
Smith theory says that the fixed point set of a semifree action of a group
on a contractible space is$G$ acyclic for any prime factor${\mathbb {Z}}_p$ of the order of$p$ . Jones proved the converse of Smith theory for the case$G$ is a cyclic group acting semifreely on contractible, finite CWcomplexes. We extend the theory to semifree group actions on finite CWcomplexes of given homotopy types, in various settings. In particular, the converse of Smith theory holds if and only if a certain$G$ theoretical obstruction vanishes. We also give some examples that show the geometrical effects of different types of$K$ theoretical obstructions.$K$ 
Abstract We prove that the rational cohomology group
vanishes unless$H^{11}(\overline {\mathcal {M}}_{g,n})$ and$g = 1$ . We show furthermore that$n \geq 11$ is pure Hodge–Tate for all even$H^k(\overline {\mathcal {M}}_{g,n})$ and deduce that$k \leq 12$ is surprisingly well approximated by a polynomial in$\# \overline {\mathcal {M}}_{g,n}(\mathbb {F}_q)$ q . In addition, we use and its image under Gysin pushforward for tautological maps to produce many new examples of moduli spaces of stable curves with nonvanishing odd cohomology and nontautological algebraic cycle classes in Chow cohomology.$H^{11}(\overline {\mathcal {M}}_{1,11})$