A p-arithmetic subgroup of $\mathbf {SL}_2(\mathbb {Q})$ like the Ihara group $\Gamma := \mathbf {SL}_2(\mathbb {Z}[1/p])$ acts by Möbius transformations on the Poincaré upper half plane $\mathcal H$ and on Drinfeld’s p-adic upper half plane ${\mathcal H_p := \mathbb {P}_1(\mathbb {C}_p)-\mathbb {P}_1(\mathbb {Q}_p)}$. The diagonal action of $\Gamma $ on the product is discrete, and the quotient $\Gamma \backslash (\mathcal H_p\times \mathcal H)$ can be envisaged as a ‘mock Hilbert modular surface’. According to a striking prediction of Neková$\check {\text {r}}$ and Scholl, the CM points on genuine Hilbert modular surfaces should give rise to ‘plectic Heegner points’ that encode nontrivial regulators attached, notably, to elliptic curves of rank two over real quadratic fields. This article develops the analogy between Hilbert modular surfaces and their mock counterparts, with the aim of transposing the plectic philosophy to the mock Hilbert setting, where the analogous plectic invariants are expected to lie in the alternating square of the Mordell–Weil group of certain elliptic curves of rank two over $\mathbb {Q}$.

In this paper, we prove that if a three-dimensional quasi-projective variety X over an algebraically closed field of characteristic $p>3$ has only log canonical singularities, then so does a general hyperplane section H of X. We also show that the same is true for klt singularities, which is a slight extension of [15]. In the course of the proof, we provide a sufficient condition for log canonical (resp. klt) surface singularities to be geometrically log canonical (resp. geometrically klt) over a field.

Inspired by Nakamura’s work [36] on $\epsilon $-isomorphisms for $(\varphi ,\Gamma )$-modules over (relative) Robba rings with respect to the cyclotomic theory, we formulate an analogous conjecture for L-analytic Lubin-Tate $(\varphi _L,\Gamma _L)$-modules over (relative) Robba rings for any finite extension L of $\mathbb {Q}_p.$ In contrast to Kato’s and Nakamura’s setting, our conjecture involves L-analytic cohomology instead of continuous cohomology within the generalized Herr complex. Similarly, we restrict to the identity components of $D_{cris}$ and $D_{dR},$ respectively. For rank one modules of the above type or slightly more generally for trianguline ones, we construct $\epsilon $-isomorphisms for their Lubin-Tate deformations satisfying the desired interpolation property.

We provide a complete classification of Teichmüller curves occurring in hyperelliptic components of the meromorphic strata of differentials. Using a non-existence criterion based on how Teichmüller curves intersect the boundary of the moduli space we derive a contradiction to the algebraicity of any candidate outside of Hurwitz covers of strata with projective dimension one, and Hurwitz covers of zero residue loci in strata with projective dimension two.

This paper studies twisted signature invariants and twisted linking forms, with a view toward obstructions to knot concordance. Given a knot K and a representation $\rho $ of the knot group, we define a twisted signature function $\sigma _{K,\rho } \colon S^1 \to \mathbb {Z}$. This invariant satisfies many of the same algebraic properties as the classical Levine-Tristram signature $\sigma _K$. When the representation is abelian, $\sigma _{K,\rho }$ recovers $\sigma _K$, while for appropriate metabelian representations, $\sigma _{K,\rho }$ is closely related to the Casson-Gordon invariants. Additionally, we prove satellite formulas for $\sigma _{K,\rho }$ and for twisted Blanchfield forms.

Let F be a non-archimedean locally compact field of residual characteristic p, let $G=\operatorname {GL}_{r}(F)$ and let $\widetilde {G}$ be an n-fold metaplectic cover of G with $\operatorname {gcd}(n,p)=1$. We study the category $\operatorname {Rep}_{\mathfrak {s}}(\widetilde {G})$ of complex smooth representations of $\widetilde {G}$ having inertial equivalence class $\mathfrak {s}=(\widetilde {M},\mathcal {O})$, which is a block of the category $\operatorname {Rep}(\widetilde {G})$, following the ‘type theoretical’ strategy of Bushnell-Kutzko.

Precisely, first we construct a ‘maximal simple type’ $(\widetilde {J_{M}},\widetilde {\lambda }_{M})$ of $\widetilde {M}$ as an $\mathfrak {s}_{M}$-type, where $\mathfrak {s}_{M}=(\widetilde {M},\mathcal {O})$ is the related cuspidal inertial equivalence class of $\widetilde {M}$. Along the way, we prove the folklore conjecture that every cuspidal representation of $\widetilde {M}$ could be constructed explicitly by a compact induction. Secondly, we construct ‘simple types’ $(\widetilde {J},\widetilde {\lambda })$ of $\widetilde {G}$ and prove that each of them is an $\mathfrak {s}$-type of a certain block $\operatorname {Rep}_{\mathfrak {s}}(\widetilde {G})$. When $\widetilde {G}$ is either a Kazhdan-Patterson cover or Savin’s cover, the corresponding blocks turn out to be those containing discrete series representations of $\widetilde {G}$. Finally, for a simple type $(\widetilde {J},\widetilde {\lambda })$ of $\widetilde {G}$, we describe the related Hecke algebra $\mathcal {H}(\widetilde {G},\widetilde {\lambda })$, which turns out to be not far from an affine Hecke algebra of type A, and is exactly so if $\widetilde {G}$ is one of the two special covers mentioned above.

We leave the construction of a ‘semi-simple type’ related to a general block $\operatorname {Rep}_{\mathfrak {s}}(\widetilde {G})$ to a future phase of the work.

We provide two constructions of Gaussian random holomorphic sections of a Hermitian holomorphic line bundle $(L,h_{L})$ on a Hermitian complex manifold $(X,\Theta )$, that are particularly interesting in the case where the space of $\mathcal {L}^2$-holomorphic sections $H^{0}_{(2)}(X,L)$ is infinite dimensional. We first provide a general construction of Gaussian random holomorphic sections of L, which, if $H^{0}_{(2)}(X,L)$ is infinite dimensional, are almost never $\mathcal {L}^2$-integrable on X. The second construction combines the abstract Wiener space theory with the Berezin–Toeplitz quantization and yields a Gaussian ensemble of random $\mathcal {L}^2$-holomorphic sections. Furthermore, we study their random zeros in the context of semiclassical limits, including their distributions, large deviation estimates, local fluctuations and hole probabilities.

The global analogue of a Henselian local ring is a Henselian pair – a ring R and an ideal I which satisfy a condition resembling Hensel’s lemma regarding lifting coprime factorizations of monic polynomials over $R/I$ to factorizations over R. The geometric counterpart is the notion of a Henselian scheme, which can serve as a substitute for formal schemes in applications such as deformation theory.

In this paper, we prove a GAGA-style cohomology comparison result for Henselian schemes in positive characteristic, making use of a ‘Henselian étale’ topology defined in previous work in order to leverage exactness of finite pushforward for abelian sheaves in the étale topology of schemes. We will also discuss algebraizability of coherent sheaves on the Henselization of a proper scheme, proving (without a positive characteristic restriction) algebraizability for coherent subsheaves. We can then deduce a Henselian version of Chow’s theorem on algebraization and the algebraizability of maps between Henselizations of proper schemes.

A central question in Arithmetic geometry is to determine for which polynomials $f \in \mathbb {Z}[t]$ and which number fields K the Hasse principle holds for the affine equation $f(t) = \mathbf {N}_{K/\mathbb {Q}}(\mathbf {x}) \neq 0$. Whilst extensively studied in the literature, current results are largely limited to polynomials and number fields of low degree. In this paper, we establish the Hasse principle for a wide family of polynomials and number fields, including polynomials that are products of arbitrarily many linear, quadratic or cubic factors. The proof generalises an argument of Irving [27], which makes use of the beta sieve of Rosser and Iwaniec. As a further application of our sieve results, we prove new cases of a conjecture of Harpaz and Wittenberg on locally split values of polynomials over number fields, and discuss consequences for rational points in fibrations.

We initiate the study of deformation theory in the context of derived and higher log geometry. After reconceptualizing the ‘exactification’-procedures in ordinary log geometry in terms of Quillen’s approach to the cotangent complex, we construct an “tangent bundle’ over the category of log ring spectra. The fibers recover the categories of modules over the underlying ring spectra, and the resulting cotangent complex functor specializes to log topological André–Quillen homology on each fiber. As applications, we characterize log square-zero extensions and derive a log variant of étale rigidity, applicable to some tamely ramified extensions of ring spectra.

We investigate the sums $(1/\sqrt {H}) \sum _{X < n \leq X+H} \chi (n)$, where $\chi $ is a fixed non-principal Dirichlet character modulo a prime q, and $0 \leq X \leq q-1$ is uniformly random. Davenport and Erdős, and more recently Lamzouri, proved central limit theorems for these sums provided $H \rightarrow \infty $ and $(\log H)/\log q \rightarrow 0$ as $q \rightarrow \infty $, and Lamzouri conjectured these should hold subject to the much weaker upper bound $H=o(q/\log q)$. We prove this is false for some $\chi $, even when $H = q/\log ^{A}q$ for any fixed $A> 0$. However, we show it is true for ‘almost all’ characters on the range $q^{1-o(1)} \leq H = o(q)$.

Using Pólya’s Fourier expansion, these results may be reformulated as statements about the distribution of certain Fourier series with number theoretic coefficients. Tools used in the proofs include the existence of characters with large partial sums on short initial segments, and moment estimates for trigonometric polynomials with random multiplicative coefficients.

We determine the cohomology of the closed Drinfeld stratum of p-adic Deligne–Lusztig schemes of Coxeter type attached to arbitrary inner forms of unramified groups over a local non-archimedean field. We prove that the corresponding torus weight spaces are supported in exactly one cohomological degree and are pairwise non-isomorphic irreducible representations of the pro-unipotent radical of the corresponding parahoric subgroup. We also prove that all Moy–Prasad quotients of this stratum are maximal varieties, and we investigate the relation between the resulting representations and Kirillov’s orbit method.

Motivated by the study of algebraic classes in mixed characteristic, we define a countable subalgebra of ${\overline {\mathbb {Q}}}_p$ which we call the algebra of André’s p-adic periods. The classical Tannakian formalism cannot be used to study these new periods. Instead, inspired by ideas of Drinfel’d on the Plücker embedding and further developed by Haines, we produce an adapted Tannakian setting which allows us to bound the transcendence degree of André’s p-adic periods and to formulate the p-adic analog of the Grothendieck period conjecture. We exhibit several examples where special values of classical p-adic functions appear as André’s p-adic periods, and we relate these new conjectures to some classical problems on algebraic classes.

We generalise and improve some recent bounds for additive energies of modular roots. Our arguments use a variety of techniques, including those from additive combinatorics, algebraic number theory and the geometry of numbers. We give applications of these results to new bounds on correlations between Salié sums and to a new equidistribution estimate for the set of modular roots of primes.

We observe that, in the eta-periodic motivic stable homotopy category, odd rank vector bundles behave to some extent as if they had a nowhere vanishing section. We discuss some consequences concerning $\operatorname {\mathrm {SL}}^c$-orientations of motivic ring spectra and the étale classifying spaces of certain algebraic groups. In particular, we compute the classifying spaces of diagonalisable groups in the eta-periodic motivic stable homotopy category.

We prove the convergence of the Adams spectral sequence based on Morava K-theory and relate it to the filtration by powers of the maximal ideal in the Lubin–Tate ring through a Miller square. We use the filtration by powers to construct a spectral sequence relating the homology of the K-local sphere to derived functors of completion and express the latter as cohomology of the Morava stabiliser group. As an application, we compute the zeroth limit at all primes and heights.

We construct an anticyclotomic Euler system for the Rankin–Selberg convolutions of two modular forms, using p-adic families of generalised Gross–Kudla–Schoen diagonal cycles. As applications of this construction, we prove new results on the Bloch–Kato conjecture in analytic ranks zero and one, and a divisibility towards an Iwasawa main conjecture.