More Like this

1. G -valued crystalline deformation rings in the Fontaine–Laffaille range

   https://doi.org/10.1112/S0010437X23007297  

   Booher, Jeremy; Levin, Brandon (August 2023, Compositio Mathematica)

   Let$$G$$be a split reductive group over the ring of integers in a$$p$$-adic field with residue field$$\mathbf {F}$$. Fix a representation$$\overline {\rho }$$of the absolute Galois group of an unramified extension of$$\mathbf {Q}_p$$, valued in$$G(\mathbf {F})$$. We study the crystalline deformation ring for$$\overline {\rho }$$with a fixed$$p$$-adic Hodge type that satisfies an analog of the Fontaine–Laffaille condition for$$G$$-valued representations. In particular, we give a root theoretic condition on the$$p$$-adic Hodge type which ensures that the crystalline deformation ring is formally smooth. Our result improves on all known results for classical groups not of type A and provides the first such results for exceptional groups. 

   more » « less
2. p -ADIC L -FUNCTIONS AND RATIONAL POINTS ON CM ELLIPTIC CURVES AT INERT PRIMES

   https://doi.org/10.1017/S147474802300021X  

   Burungale, Ashay A; Kobayashi, Shinichi; Ota, Kazuto (May 2024, Journal of the Institute of Mathematics of Jussieu)

   Abstract LetKbe an imaginary quadratic field and$$p\geq 5$$a rational prime inert inK. For a$$\mathbb {Q}$$-curveEwith complex multiplication by$$\mathcal {O}_K$$and good reduction atp, K. Rubin introduced ap-adicL-function$$\mathscr {L}_{E}$$which interpolates special values ofL-functions ofEtwisted by anticyclotomic characters ofK. In this paper, we prove a formula which links certain values of$$\mathscr {L}_{E}$$outside its defining range of interpolation with rational points onE. Arithmetic consequences includep-converse to the Gross–Zagier and Kolyvagin theorem forE. A key tool of the proof is the recent resolution of Rubin’s conjecture on the structure of local units in the anticyclotomic$${\mathbb {Z}}_p$$-extension$$\Psi _\infty $$of the unramified quadratic extension of$${\mathbb {Q}}_p$$. Along the way, we present a theory of local points over$$\Psi _\infty $$of the Lubin–Tate formal group of height$$2$$for the uniformizing parameter$$-p$$. 

   more » « less
3. IWASAWA THEORY FOR p -TORSION CLASS GROUP SCHEMES IN CHARACTERISTIC p

   https://doi.org/10.1017/nmj.2022.30  

   BOOHER, JEREMY; CAIS, BRYDEN (June 2023, Nagoya Mathematical Journal)

   Abstract We investigate a novel geometric Iwasawa theory for$${\mathbf Z}_p$$-extensions of function fields over a perfect fieldkof characteristic$$p>0$$by replacing the usual study ofp-torsion in class groups with the study ofp-torsion class groupschemes. That is, if$$\cdots \to X_2 \to X_1 \to X_0$$is the tower of curves overkassociated with a$${\mathbf Z}_p$$-extension of function fields totally ramified over a finite nonempty set of places, we investigate the growth of thep-torsion group scheme in the Jacobian of$$X_n$$as$$n\rightarrow \infty $$. By Dieudonné theory, this amounts to studying the first de Rham cohomology groups of$$X_n$$equipped with natural actions of Frobenius and of the Cartier operatorV. We formulate and test a number of conjectures which predict striking regularity in the$$k[V]$$-module structure of the space$$M_n:=H^0(X_n, \Omega ^1_{X_n/k})$$of global regular differential forms as$$n\rightarrow \infty .$$For example, for each tower in a basic class of$${\mathbf Z}_p$$-towers, we conjecture that the dimension of the kernel of$$V^r$$on$$M_n$$is given by$$a_r p^{2n} + \lambda _r n + c_r(n)$$for allnsufficiently large, where$$a_r, \lambda _r$$are rational constants and$$c_r : {\mathbf Z}/m_r {\mathbf Z} \to {\mathbf Q}$$is a periodic function, depending onrand 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$${\mathbf Z}_p$$-towers of curves, and we prove our conjectures in the case$$p=2$$and$$r=1$$. 

   more » « less
4. Transversal C_k -factors in subgraphs of the balanced blow-up of C_k

   https://doi.org/10.1017/S0963548322000086  

   Ergemlidze, Beka; Molla, Theodore (November 2022, Combinatorics, Probability and Computing)

   Abstract For a subgraph$$G$$of the blow-up of a graph$$F$$, we let$$\delta ^*(G)$$be the smallest minimum degree over all of the bipartite subgraphs of$$G$$induced by pairs of parts that correspond to edges of$$F$$. Johansson proved that if$$G$$is a spanning subgraph of the blow-up of$$C_3$$with parts of size$$n$$and$$\delta ^*(G) \ge \frac{2}{3}n + \sqrt{n}$$, then$$G$$contains$$n$$vertex disjoint triangles, and presented the following conjecture of Häggkvist. If$$G$$is a spanning subgraph of the blow-up of$$C_k$$with parts of size$$n$$and$$\delta ^*(G) \ge \left(1 + \frac 1k\right)\frac n2 + 1$$, then$$G$$contains$$n$$vertex disjoint copies of$$C_k$$such that each$$C_k$$intersects each of the$$k$$parts exactly once. A similar conjecture was also made by Fischer and the case$$k=3$$was proved for large$$n$$by Magyar and Martin. In this paper, we prove the conjecture of Häggkvist asymptotically. We also pose a conjecture which generalises this result by allowing the minimum degree conditions in each bipartite subgraph induced by pairs of parts of$$G$$to vary. We support this new conjecture by proving the triangle case. This result generalises Johannson’s result asymptotically. 

   more » « less
5. Higher uniformity of arithmetic functions in short intervals I. All intervals

   https://doi.org/10.1017/fmp.2023.28  

   Matomäki, Kaisa; Shao, Xuancheng; Tao, Terence; Teräväinen, Joni (January 2023, Forum of Mathematics, Pi)

   Abstract We study higher uniformity properties of the Möbius function$$\mu $$, the von Mangoldt function$$\Lambda $$, and the divisor functions$$d_k$$on short intervals$$(X,X+H]$$with$$X^{\theta +\varepsilon } \leq H \leq X^{1-\varepsilon }$$for a fixed constant$$0 \leq \theta < 1$$and any$$\varepsilon>0$$. More precisely, letting$$\Lambda ^\sharp $$and$$d_k^\sharp $$be suitable approximants of$$\Lambda $$and$$d_k$$and$$\mu ^\sharp = 0$$, we show for instance that, for any nilsequence$$F(g(n)\Gamma )$$, we have$$\begin{align*}\sum_{X < n \leq X+H} (f(n)-f^\sharp(n)) F(g(n) \Gamma) \ll H \log^{-A} X \end{align*}$$ when$$\theta = 5/8$$and$$f \in \{\Lambda , \mu , d_k\}$$or$$\theta = 1/3$$and$$f = d_2$$. As a consequence, we show that the short interval Gowers norms$$\|f-f^\sharp \|_{U^s(X,X+H]}$$are also asymptotically small for any fixedsfor these choices of$$f,\theta $$. As applications, we prove an asymptotic formula for the number of solutions to linear equations in primes in short intervals and show that multiple ergodic averages along primes in short intervals converge in$$L^2$$. Our innovations include the use of multiparameter nilsequence equidistribution theorems to control type$$II$$sums and an elementary decomposition of the neighborhood of a hyperbola into arithmetic progressions to control type$$I_2$$sums. 

   more » « less