Let $X$ be a smooth projective variety defined over an algebraically closed field of positive characteristic $p$ whose tangent bundle is nef. We prove that $X$ admits a smooth morphism $X \to M$ such that the fibers are Fano varieties with nef tangent bundle and $T_M$ is numerically flat. We also prove that extremal contractions exist as smooth morphisms. As an application, we prove that, if the Frobenius morphism can be lifted modulo $p^2$, then $X$ admits, up to a finite étale Galois cover, a smooth morphism onto an ordinary abelian variety whose fibers are products of projective spaces.

We prove a generalization of the author’s work to show that any subset of the primes which is ‘well distributed’ in arithmetic progressions contains many primes which are close together. Moreover, our bounds hold with some uniformity in the parameters. As applications, we show there are infinitely many intervals of length $(\log x)^{{\it\epsilon}}$ containing $\gg _{{\it\epsilon}}\log \log x$ primes, and show lower bounds of the correct order of magnitude for the number of strings of $m$ congruent primes with $p_{n+m}-p_{n}\leqslant {\it\epsilon}\log x$.

We study the back stable Schubert calculus of the infinite flag variety. Our main results are:

• – a formula for back stable (double) Schubert classes expressing them in terms of a symmetric function part and a finite part;

• – a novel definition of double and triple Stanley symmetric functions;

• – a proof of the positivity of double Edelman–Greene coefficients generalizing the results of Edelman–Greene and Lascoux–Schützenberger;

• – the definition of a new class of bumpless pipedreams, giving new formulae for double Schubert polynomials, back stable double Schubert polynomials, and a new form of the Edelman–Greene insertion algorithm;

• – the construction of the Peterson subalgebra of the infinite nilHecke algebra, extending work of Peterson in the affine case;

• – equivariant Pieri rules for the homology of the infinite Grassmannian;

• – homology divided difference operators that create the equivariant homology Schubert classes of the infinite Grassmannian.

We study the moment map associated to the cotangent bundle of the space of representations of a quiver, determining when it is flat, and giving a stratification of its Marsden–Weinstein reductions. In order to do this we determine the possible dimension vectors of simple representations of deformed preprojective algebras. In an appendix we use deformed preprojective algebras to give a simple proof of much of Kac's Theorem on representations of quivers in characteristic zero.

We state a conjecture that relates the derived category of smooth representations of a $p$-adic split reductive group with the derived category of (quasi-)coherent sheaves on a stack of L-parameters. We investigate the conjecture in the case of the principal block of ${\rm GL}_n$ by showing that the functor should be given by the derived tensor product with the family of representations interpolating the modified Langlands correspondence over the stack of L-parameters that is suggested by the work of Helm and of Emerton and Helm.

A result of André Weil allows one to describe rank $n$ vector bundles on a smooth complete algebraic curve up to isomorphism via a double quotient of the set $\text{GL}_{n}(\mathbb{A})$ of regular matrices over the ring of adèles (over algebraically closed fields, this result is also known to extend to $G$-torsors for a reductive algebraic group $G$). In the present paper we develop analogous adelic descriptions for vector and principal bundles on arbitrary Noetherian schemes, by proving an adelic descent theorem for perfect complexes. We show that for Beilinson’s co-simplicial ring of adèles $\mathbb{A}_{X}^{\bullet }$, we have an equivalence $\mathsf{Perf}(X)\simeq |\mathsf{Perf}(\mathbb{A}_{X}^{\bullet })|$ between perfect complexes on $X$ and cartesian perfect complexes for $\mathbb{A}_{X}^{\bullet }$. Using the Tannakian formalism for symmetric monoidal $\infty$-categories, we conclude that a Noetherian scheme can be reconstructed from the co-simplicial ring of adèles. We view this statement as a scheme-theoretic analogue of Gelfand–Naimark’s reconstruction theorem for locally compact topological spaces from their ring of continuous functions. Several results for categories of perfect complexes over (a strong form of) flasque sheaves of algebras are established, which might be of independent interest.

We study the étale cohomology of Hilbert modular varieties, building on the methods introduced by Caraiani and Scholze for unitary Shimura varieties. We obtain the analogous vanishing theorem: in the ‘generic’ case, the cohomology with torsion coefficients is concentrated in the middle degree. We also probe the structure of the cohomology beyond the generic case, obtaining bounds on the range of degrees where cohomology with torsion coefficients can be non-zero. The proof is based on the geometric Jacquet–Langlands functoriality established by Tian and Xiao and avoids trace formula computations for the cohomology of Igusa varieties. As an application, we show that, when $p$ splits completely in the totally real field and under certain technical assumptions, the $p$-adic local Langlands correspondence for $\mathrm {GL}_2(\mathbb {Q}_p)$ occurs in the completed homology of Hilbert modular varieties.

We describe how the quadratic Chabauty method may be applied to determine the set of rational points on modular curves of genus $g>1$ whose Jacobians have Mordell–Weil rank $g$. This extends our previous work on the split Cartan curve of level 13 and allows us to consider modular curves that may have few known rational points or non-trivial local height contributions at primes of bad reduction. We illustrate our algorithms with a number of examples where we determine the set of rational points on several modular curves of genus 2 and 3: this includes Atkin–Lehner quotients $X_0^+(N)$ of prime level $N$, the curve $X_{S_4}(13)$, as well as a few other curves relevant to Mazur's Program B. We also compute the set of rational points on the genus 6 non-split Cartan modular curve $X_{\scriptstyle \mathrm { ns}} ^+ (17)$.

One fundamental consequence of a scheme $X$ being proper is that the functor classifying maps from $X$ to any other suitably nice scheme or algebraic stack is representable by an algebraic stack. This result has been generalized by replacing $X$ with a proper algebraic stack. We show, however, that it also holds when $X$ is replaced by many examples of algebraic stacks which are not proper, including many global quotient stacks. This leads us to revisit the definition of properness for stacks. We introduce the notion of a formally proper morphism of stacks and study its properties. We develop methods for establishing formal properness in a large class of examples. Along the way, we prove strong $h$-descent results which hold in the setting of derived algebraic geometry but not in classical algebraic geometry. Our main applications are algebraicity results for mapping stacks and the stack of coherent sheaves on a flat and formally proper stack.

We bound from below the complexity of the top Chern class $\lambda _g$ of the Hodge bundle in the Chow ring of the moduli space of curves: no formulas for $\lambda _g$ in terms of classes of degrees 1 and 2 can exist. As a consequence of the Torelli map, the 0-section over the second Voronoi compactification of the moduli of principally polarized abelian varieties also cannot be expressed in terms of classes of degree 1 and 2. Along the way, we establish new cases of Pixton's conjecture for tautological relations. In the log Chow ring of the moduli space of curves, however, we prove $\lambda _g$ lies in the subalgebra generated by logarithmic boundary divisors. The proof is effective and uses Pixton's double ramification cycle formula together with a foundational study of the tautological ring defined by a normal crossings divisor. The results open the door to the search for simpler formulas for $\lambda _g$ on the moduli of curves after log blow-ups.