We prove a general likely intersections theorem, a counterpart to the Zilber-Pink conjectures, under the assumption that the Ax-Schanuel property and some mild additional conditions are known to hold for a given category of complex quotient spaces definable in some fixed o-minimal expansion of the ordered field of real numbers.

For an instance of our general result, consider the case of subvarieties of Shimura varieties. Let S be a Shimura variety. Let $\pi :D \to \Gamma \backslash D = S$ realize S as a quotient of D, a homogeneous space for the action of a real algebraic group G, by the action of $\Gamma < G$, an arithmetic subgroup. Let $S' \subseteq S$ be a special subvariety of S realized as $\pi (D')$ for $D' \subseteq D$ a homogeneous space for an algebraic subgroup of G. Let $X \subseteq S$ be an irreducible subvariety of S not contained in any proper weakly special subvariety of S. Assume that the intersection of X with $\pi (gD')$ is persistently likely as g ranges through G with $\pi (gD')$ a special subvariety of S, meaning that whenever $\zeta :S_1 \to S$ and $\xi :S_1 \to S_2$ are maps of Shimura varieties (regular maps of varieties induced by maps of the corresponding Shimura data) with $\zeta $ finite, $\dim \xi \zeta ^{-1} X + \dim \xi \zeta ^{-1} \pi (gD') \geq \dim \xi S_1$. Then $X \cap \bigcup _{g \in G, \pi (g D') \text { is special }} \pi (g D')$ is dense in X for the Euclidean topology.

We compute the integral Chow rings of $\overline {\mathcal {M}}_{1,n}$ for $n=3,4$. The alternative compactifications introduced by Smyth – and studied further by Lekili and Polishchuk – present each of these stacks as a sequence of weighted blow-ups and blow-downs from a weighted projective space. We compute all the integral Chow rings by repeated application of the blow-up formula.

We define and study a generalization of the Beilinson–Drinfeld Grassmannian to the case where the curve is replaced by a smooth projective surface $X$, and the trivialization data are given on loci associated with a nonlinear flag of closed subschemes. We first establish some general formal gluing results for moduli of (almost) perfect complexes and torsors. We construct a simplicial object $\operatorname {\underline {\mathsf{Fl}}}_X$ of flags of closed subschemes of a smooth projective surface $X$, associated with the operation of taking union of flags. We prove that this simplicial object has the $2$-Segal property. For an affine complex algebraic group $G$, we define a derived, flag analogue $\mathcal{G}r_X$ of the Beilinson–Drinfeld Grassmannian of $G$-bundles on the surface $X$, and show that most of the properties of the Beilinson–Drinfeld Grassmannian for curves can be extended to our flag generalization: we prove a factorization formula, the existence of a canonical flat connection and define a chiral product on suitable sheaves on $\operatorname {\underline {\mathsf{Fl}}}_X$ and on $\mathcal{G}r_X$. We sketch the construction of actions of flags analogues of the loop group and of the positive loop group on $\mathcal{G}r_X$. To fixed ‘large’ flags on $X$, we associate ‘exotic’ derived structures on the stack of $G$-bundles on $X$.

We construct moduli spaces of objects in an abelian category satisfying some finiteness hypotheses. Our approach is based on the work of Artin and Zhang [Algebr. Represent. Theory 4 (2001), 305–394] and the intrinsic construction of moduli spaces for stacks developed by Alper, Halpern-Leistner and Heinloth [Invent. Math. 234 (2023), 949–1038].

Using the $\infty $-categorical enhancement of mixed Hodge modules constructed by the author in a previous paper, we explain how mixed Hodge modules canonically extend to algebraic stacks, together with all the six operations and weights. We also prove that Drew’s approach to motivic Hodge modules gives an $\infty $-category that embeds fully faithfully in mixed Hodge modules, and we identify the image as mixed Hodge modules of geometric origin.

We prove that the non-properness set of a local homeomorphism $\mathbb R^n \to \mathbb R^n$ cannot be ambient homeomorphic to an affine subspace of dimension n − 2. This particularly provides a partial positive answer to a conjecture of Jelonek, that claims the global invertibility of polynomial local diffeomorphisms having non-properness set with codimension greater than 1. Our reasons to obtain this result lead us to some properties of the non-properness set when it has codimension 2, the heart of Jelonek’s conjecture. We also provide a global injectivity theorem related to this conjecture that turns out to generalize previous results of the literature.

Motivated by classical Alexander invariants of affine hypersurface complements, we endow certain finite dimensional quotients of the homology of abelian covers of complex algebraic varieties with a canonical and functorial mixed Hodge structure (MHS). More precisely, we focus on covers which arise algebraically in the following way: if U is a smooth connected complex algebraic variety and G is a complex semiabelian variety, the pullback of the exponential map by an algebraic morphism $f:U\to G$ yields a covering space $\pi :U^f\to U$ whose group of deck transformations is $\pi _1(G)$. The new MHSs are compatible with Deligne’s MHS on the homology of U through the covering map $\pi $ and satisfy a direct sum decomposition as MHSs into generalized eigenspaces by the action of deck transformations. This provides a vast generalization of the previous results regarding univariable Alexander modules by Geske, Maxim, Wang and the authors in [16, 17]. Lastly, we reduce the problem of whether the first Betti number of the Milnor fiber of a central hyperplane arrangement complement is combinatorial to a question about the Hodge filtration of certain MHSs defined in this paper, providing evidence that the new structures contain interesting information.

We study the moduli space of constant scalar curvature Kähler (cscK) surfaces around toric surfaces. To this end, we introduce the class of foldable surfaces: smooth toric surfaces whose lattice automorphism group contains a non-trivial cyclic subgroup. We classify such surfaces and show that they all admit a cscK metric. We then study the moduli space of polarised cscK surfaces around a point given by a foldable surface, and show that it is locally modelled on a finite quotient of a toric affine variety with terminal singularities.

We prove motivic versions of mass formulas by Krasner, Serre, and Bhargava concerning (weighted) counts of extensions of local fields.

We study the moduli stacks of slope-semistable torsion-free coherent sheaves that admit reflexive, respectively, locally free, Seshadri graduations on a smooth projective variety. We show that they are open in the stack of coherent sheaves and that they admit good moduli spaces when the field characteristic is zero. In addition, in the locally free case we prove that the resulting moduli space is a quasi-projective scheme.

Minimal kinematics identifies likelihood degenerations where the critical points are given by rational formulas. These rest on the Horn uniformization of Kapranov–Huh. We characterize all choices of minimal kinematics on the moduli space $\mathcal{M}_{0,n}$. These choices are motivated by the CHY model in physics and they are represented combinatorially by 2-trees. We compute 2-tree amplitudes, and we explore extensions to non-planar on-shell diagrams, here identified with the hypertrees of Castravet–Tevelev.

We use a graph to define a new stability condition for algebraic moduli spaces of rational curves. We characterise when the tropical compactification of the moduli space agrees with the theory of geometric tropicalisation. The characterisation statement occurs only when the graph is complete multipartite.

Let $X$ be a very general Gushel–Mukai (GM) variety of dimension $n\geq 4$, and let $Y$ be a smooth hyperplane section. There are natural pull-back and push-forward functors between the semi-orthogonal components (known as the Kuznetsov components) of the derived categories of $X$ and $Y$. In this paper, we prove that the Bridgeland stability of objects is preserved by both pull-back and push-forward functors. We then explore various applications of this result, such as constructing an eight-dimensional smooth family of Lagrangian subvarieties for each moduli space of stable objects in the Kuznetsov component of a general GM fourfold and proving the projectivity of the moduli spaces of semistable objects of any class in the Kuznetsov component of a general GM threefold, as conjectured by Perry, Pertusi, and Zhao.

Boundary points on the moduli space of pointed curves corresponding to collisions of marked points have modular interpretations as degenerate curves. In this paper, we study degenerations of orbifold projective curves corresponding to collisions of stacky points from the point of view of noncommutative algebraic geometry.

A dimer model is a quiver with faces embedded in a surface. We define and investigate notions of consistency for dimer models on general surfaces with boundary which restrict to well-studied consistency conditions in the disk and torus case. We define weak consistency in terms of the associated dimer algebra and show that it is equivalent to the absence of bad configurations on the strand diagram. In the disk and torus case, weakly consistent models are nondegenerate, meaning that every arrow is contained in a perfect matching; this is not true for general surfaces. Strong consistency is defined to require weak consistency as well as nondegeneracy. We prove that the completed as well as the noncompleted dimer algebra of a strongly consistent dimer model are bimodule internally 3-Calabi-Yau with respect to their boundary idempotents. As a consequence, the Gorenstein-projective module category of the completed boundary algebra of suitable dimer models categorifies the cluster algebra given by their underlying quiver. We provide additional consequences of weak and strong consistency, including that one may reduce a strongly consistent dimer model by removing digons and that consistency behaves well under taking dimer submodels.

We show that the cohomological Brauer groups of the moduli stacks of stable genus g curves over the integers and an algebraic closure of the rational numbers vanish for any $g\geq 2$. For the n marked version, we show the same vanishing result in the range $(g,n)=(1,n)$ with $1\leq n \leq 6$ and all $(g,n)$ with $g\geq 4.$ We also discuss several finiteness results on cohomological Brauer groups of proper and smooth Deligne-Mumford stacks over the integers.

We construct moduli spaces of framed logarithmic connections and also moduli spaces of framed parabolic connections. It is shown that these moduli spaces possess a natural algebraic symplectic structure. We also give an upper bound of the transcendence degree of the algebra of regular functions on the moduli space of parabolic connections.

Let S be a minimal irregular surface of general type, whose Albanese map induces a hyperelliptic fibration $f:\,S \to B$ of genus g. We prove a quadratic upper bound on the genus g (i.e., $g\leq h\big (\chi (\mathcal {O}_S)\big )$, where h is a quadratic function). We also construct examples showing that the quadratic upper bounds cannot be improved to linear ones. In the special case when $p_g(S)=q(S)=1$, we show that $g\leq 14$.

Let $X$ be a compact Riemann surface. Let $(E,\theta )$ be a stable Higgs bundle of degree $0$ on $X$. Let $h_{\det (E)}$ denote a flat metric of the determinant bundle $\det (E)$. For any $t\gt 0$, there exists a unique harmonic metric $h_t$ of $(E,t\theta )$ such that $\det (h_t)=h_{\det (E)}$. We prove that if the Higgs bundle is induced by a line bundle on the normalization of the spectral curve, then the sequence $h_t$ is convergent to the naturally defined decoupled harmonic metric at the speed of the exponential order. We also obtain a uniform convergence for such a family of Higgs bundles.

We define kappa classes on moduli spaces of Kollár-Shepherd-Barron-Alexeev (KSBA)-stable varieties and pairs, generalizing the Miller–Morita–Mumford classes on moduli of curves, and computing them in some cases where the virtual fundamental class is known to exist, including Burniat and Campedelli surfaces. For Campedelli surfaces, an intermediate step is finding the Chow (same as cohomology) ring of the GIT quotient $(\mathbb {P}^2)^7//SL(3)$.