We establish a Harder–Narasimhan formalism for modifications of $G$-bundles on the Fargues–Fontaine curve. The semi-stable stratum of the associated stratification of the ${B^+_{{\rm dR}}}$-Grassmannian coincides with the variant of the weakly admissible locus defined by Viehmann, and its classical points agree with those of the basic Newton stratum. When restricted to minuscule affine Schubert cells, the stratification corresponds to the Harder–Narasimhan stratification of Dat, Orlik and Rapoport. We also study basic geometric properties of the strata, and the relation to the Hodge–Newton decomposition.

Bershadsky, Cecotti, Ooguri and Vafa constructed a real-valued invariant for Calabi–Yau manifolds, which is now called the BCOV invariant. In this paper, we extend the BCOV invariant to such pairs $(X,D)$, where $X$ is a compact Kähler manifold and $D$ is a pluricanonical divisor on $X$ with simple normal crossing support. We also study the behavior of the extended BCOV invariant under blow-ups. The results in this paper lead to a joint work with Fu proving that birational Calabi–Yau manifolds have the same BCOV invariant.

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 study the Rouquier dimension of wrapped Fukaya categories of Liouville manifolds and pairs, and apply this invariant to various problems in algebraic and symplectic geometry. On the algebro-geometric side, we introduce a new method based on symplectic flexibility and mirror symmetry to bound the Rouquier dimension of derived categories of coherent sheaves on certain complex algebraic varieties and stacks. These bounds are sharp in dimension at most $3$. As an application, we resolve a well-known conjecture of Orlov for new classes of examples (e.g. toric $3$-folds, certain log Calabi–Yau surfaces). We also discuss applications to non-commutative motives on partially wrapped Fukaya categories. On the symplectic side, we study various quantitative questions including the following. (1) Given a Weinstein manifold, what is the minimal number of intersection points between the skeleton and its image under a generic compactly supported Hamiltonian diffeomorphism? (2) What is the minimal number of critical points of a Lefschetz fibration on a Liouville manifold with Weinstein fibers? We give lower bounds for these quantities which are to the best of the authors’ knowledge the first to go beyond the basic flexible/rigid dichotomy.

We present a quantitative isolation property of the lifts of properly immersed geodesic planes in the frame bundle of a geometrically finite hyperbolic $3$-manifold. Our estimates are polynomials in the tight areas and Bowen–Margulis–Sullivan densities of geodesic planes, with degree given by the modified critical exponents.

In this paper, we give an explicit computable algorithm for the Zelevinsky–Aubert duals of irreducible representations of $p$-adic symplectic and odd special orthogonal groups. To do this, we establish explicit formulas for certain derivatives and socles. We also give a combinatorial criterion for the irreducibility of certain parabolically induced representations.

We connect two developments that aim to extend Voevodsky's theory of motives over a field in such a way as to encompass non-$\mathbf {A}^1$-invariant phenomena. One is theory of reciprocity sheaves introduced by Kahn, Saito and Yamazaki. The other is theory of the triangulated category $\operatorname {\mathbf {logDM}}^{{\operatorname {eff}}}$ of logarithmic motives launched by Binda, Park and Østvær. We prove that the Nisnevich cohomology of reciprocity sheaves is representable in $\operatorname {\mathbf {logDM}}^{{\operatorname {eff}}}$.

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.

We initiate the study of outer automorphism groups of special groups $G$, in the Haglund–Wise sense. We show that $\operatorname {Out}(G)$ is infinite if and only if $G$ splits over a co-abelian subgroup of a centraliser and there exists an infinite-order ‘generalised Dehn twist’. Similarly, the coarse-median preserving subgroup $\operatorname {Out}_{\rm cmp}(G)$ is infinite if and only if $G$ splits over an actual centraliser and there exists an infinite-order coarse-median-preserving generalised Dehn twist. The proof is based on constructing and analysing non-small, stable $G$-actions on $\mathbb {R}$-trees whose arc-stabilisers are centralisers or closely related subgroups. Interestingly, tripod-stabilisers can be arbitrary centralisers, and thus are large subgroups of $G$. As a result of independent interest, we determine when generalised Dehn twists associated to splittings of $G$ preserve the coarse median structure.

For any odd integer $d$, we give a presentation for the integral Chow ring of the stack $\mathcal {M}_{0}(\mathbb {P}^r, d)$, as a quotient of the polynomial ring $\mathbb {Z}[c_1,c_2]$. We describe an efficient set of generators for the ideal of relations, and compute them in generating series form. The paper concludes with explicit computations of some examples for low values of $d$ and $r$, and a conjecture for a minimal set of generators.

We introduce a linearised form of the square root of the Todd class inside the Verbitsky component of a hyper-Kähler manifold using the extended Mukai lattice. This enables us to define a Mukai vector for certain objects in the derived category taking values inside the extended Mukai lattice which is functorial for derived equivalences. As applications, we obtain a structure theorem for derived equivalences between hyper-Kähler manifolds as well as an integral lattice associated to the derived category of hyper-Kähler manifolds deformation equivalent to the Hilbert scheme of a K3 surface mimicking the surface case.

We prove an analogue of Lang's conjecture on divisible groups for polynomial dynamical systems over number fields. In our setting, the role of the divisible group is taken by the small orbit of a point $\alpha$ where the small orbit by a polynomial $f$ is given by

\begin{align*} \mathcal{S}_\alpha = \{\beta \in \mathbb{C}; f^{\circ n}(\beta) = f^{\circ n}(\alpha) \text{ for some } n \in \mathbb{Z}_{\geq 0}\}. \end{align*}

$\mathcal {S}_\alpha$

$d$

$f$

\begin{align*} \mathcal{G}_\alpha = \{\beta \in \mathbb{C}; f^{\circ n}(\beta) = f^{\circ m}(\alpha) \text{ for some } n ,m\in \mathbb{Z}_{\geq 0}\} \end{align*}

$\alpha$

$|f^{\circ n}(\alpha )|_v \rightarrow \infty$

$v$

$d$

We show that every orbispace satisfying certain mild hypotheses has ‘enough’ vector bundles. It follows that the $K$-theory of finite rank vector bundles on such orbispaces is a cohomology theory. Global presentation results for smooth orbifolds and derived smooth orbifolds also follow.

We prove new results on the distribution of rational points on ramified covers of abelian varieties over finitely generated fields $k$ of characteristic zero. For example, given a ramified cover $\pi : X \to A$, where $A$ is an abelian variety over $k$ with a dense set of $k$-rational points, we prove that there is a finite-index coset $C \subset A(k)$ such that $\pi (X(k))$ is disjoint from $C$. Our results do not seem to be in the range of other methods available at present; they confirm predictions coming from Lang's conjectures on rational points, and also go in the direction of an issue raised by Serre regarding possible applications to the inverse Galois problem. Finally, the conclusions of our work may be seen as a sharp version of Hilbert's irreducibility theorem for abelian varieties.

The Hanna Neumann conjecture is a statement about the rank of the intersection of two finitely generated subgroups of a free group. The conjecture was posed by Hanna Neumann in 1957. In 2011, a strengthened version of the conjecture was proved independently by Joel Friedman and by Igor Mineyev. In this paper we show that the strengthened Hanna Neumann conjecture holds not only in free groups but also in non-solvable surface groups. In addition, we show that a retract in a free group and in a surface group is inert. This implies the Dicks–Ventura inertia conjecture for free and surface groups.

We introduce the process of symplectic reduction along a submanifold as a uniform approach to taking quotients in symplectic geometry. This construction holds in the categories of smooth manifolds, complex analytic spaces, and complex algebraic varieties, and has an interpretation in terms of derived stacks in shifted symplectic geometry. It also encompasses Marsden–Weinstein–Meyer reduction, Mikami–Weinstein reduction, the pre-images of Poisson transversals under moment maps, symplectic cutting, symplectic implosion, and the Ginzburg–Kazhdan construction of Moore–Tachikawa varieties in topological quantum field theory. A key feature of our construction is a concrete and systematic association of a Hamiltonian $G$-space $\mathfrak {M}_{G, S}$ to each pair $(G,S)$, where $G$ is any Lie group and $S\subseteq \mathrm {Lie}(G)^{*}$ is any submanifold satisfying certain non-degeneracy conditions. The spaces $\mathfrak {M}_{G, S}$ satisfy a universal property for symplectic reduction which generalizes that of the universal imploded cross-section. Although these Hamiltonian $G$-spaces are explicit and natural from a Lie-theoretic perspective, some of them appear to be new.

We propose a variation of the classical Hilbert scheme of points, the double nested Hilbert scheme of points, which parametrizes flags of zero-dimensional subschemes whose nesting is dictated by a Young diagram. Over a smooth quasi-projective curve, we compute the generating series of topological Euler characteristic of these spaces, by exploiting the combinatorics of reversed plane partitions. Moreover, we realize this moduli space as the zero locus of a section of a vector bundle over a smooth ambient space, which therefore admits a virtual fundamental class. We apply this construction to the stable pair theory of a local curve, that is the total space of the direct sum of two line bundles over a curve. We show that the invariants localize to virtual intersection numbers on double nested Hilbert scheme of points on the curve, and that the localized contributions to the invariants are controlled by three universal series for every Young diagram, which can be explicitly determined after the anti-diagonal restriction of the equivariant parameters. Under the anti-diagonal restriction, the invariants are matched with the Gromov–Witten invariants of local curves of Bryan–Pandharipande, as predicted by the Maulik–Nekrasov–Okounkov–Pandharipande (MNOP) correspondence. Finally, we discuss $K$-theoretic refinements à la Nekrasov–Okounkov.

For a formal scheme $\mathfrak {X}$ of finite type over a complete rank-one valuation ring, we construct a specialization morphism

\[ \pi^{\mathrm{dJ}}_1(\mathfrak{X}_\eta) \to \pi^{{\textrm{pro}}\unicode{x00E9}{\textrm{t}}}_1(\mathfrak{X}_k) \]

$\mathfrak {X}$

$\mathfrak {X}_k$

In this paper we compute the topological Hochschild homology of quotients of discrete valuation rings (DVRs). Along the way we give a short argument for Bökstedt periodicity and generalizations over various other bases. Our strategy also gives a very efficient way to redo the computations of $\operatorname {THH}$ (respectively, logarithmic $\operatorname {THH}$) of complete DVRs originally due to Lindenstrauss and Madsen (respectively, Hesselholt and Madsen).

We introduce Poisson boundaries of II$_1$ factors with respect to density operators that give the traces. The Poisson boundary is a von Neumann algebra that contains the II$_1$ factor and is a particular example of the boundary of a unital completely positive map as introduced by Izumi. Studying the inclusion of the II$_1$ factor into its boundary, we develop a number of notions, such as double ergodicity and entropy, that can be seen as natural analogues of results regarding the Poisson boundaries introduced by Furstenberg. We use the techniques developed to answer a problem of Popa by showing that all finite factors satisfy his MV property. We also extend a result of Nevo by showing that property (T) factors give rise to an entropy gap.