We determine the cones of effective and nef divisors on the toroidal compactification of the ball quotient model of the moduli space of complex cubic surfaces with a chosen line. From this we also compute the corresponding cones for the moduli space of unmarked cubic surfaces.

We study the rationality properties of the moduli space ${\mathcal{A}}_g$ of principally polarised abelian $g$-folds over $\mathbb{Q}$ and apply the results to arithmetic questions. In particular, we show that any principally polarised abelian 3-fold over ${\mathbb{F}}_p$ may be lifted to an abelian variety over $\mathbb{Q}$. This is a phenomenon of low dimension: assuming the Bombieri–Lang conjecture, we also show that this is not the case for abelian varieties of dimension at least 7. Concerning moduli spaces, we show that ${\mathcal{A}}_g$ is unirational over $\mathbb{Q}$ for $g\le 5$ and stably rational for $g=3$. This also allows us to make unconditional one of the results of Masser and Zannier about the existence of abelian varieties over $\mathbb{Q}$ that are not isogenous to Jacobians.

We introduce a double framing construction for moduli spaces of quiver representations. This allows us to reduce certain sheaf cohomology computations involving the universal representation, to computations involving line bundles, making them amenable to methods from geometric invariant theory. We will use this to show that in many good situations the vector fields on the moduli space are isomorphic as vector spaces to the first Hochschild cohomology of the path algebra. We also show that considering the universal representation as a Fourier–Mukai kernel in the appropriate sense gives an admissible embedding of derived categories.

For a smooth projective surface $X$ satisfying $H_1(X,\mathbb{Z}) = 0$ and $w \in H^2(X,\mu _r)$, we study deformation invariants of the pair $(X,w)$. Choosing a Brauer–Severi variety $Y$ (or, equivalently, Azumaya algebra $\mathcal{A}$) over $X$ with Stiefel–Whitney class $w$, the invariants are defined as virtual intersection numbers on suitable moduli spaces of stable twisted sheaves on $Y$ constructed by Yoshioka (or, equivalently, moduli spaces of $\mathcal{A}$-modules of Hoffmann–Stuhler).

We show that the invariants do not depend on the choice of $Y$. Using a result of de Jong, we observe that they are deformation invariants of the pair $(X,w)$. For surfaces with $h^{2,0}(X) \gt 0$, we show that the invariants can often be expressed as virtual intersection numbers on Gieseker–Maruyama–Simpson moduli spaces of stable sheaves on $X$. This can be seen as a ${\rm PGL}_r$–${\rm SL}_r$ correspondence.

As an application, we express ${\rm SU}(r) / \mu _r$ Vafa–Witten invariants of $X$ in terms of ${\rm SU}(r)$ Vafa–Witten invariants of $X$. We also show how formulae from Donaldson theory can be used to obtain upper bounds for the minimal second Chern class of Azumaya algebras on $X$ with given division algebra at the generic point.

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)$.

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 study the relative $\mathrm {SU}(2,1)$-character varieties of the one-holed torus, and the action of the mapping class group on them. We use an explicit description of the character variety of the free group of rank two in $\mathrm {SU}(2,1)$ in terms of traces, which allow us to describe the topology of the character variety. We then combine this description with a generalization of the Farey graph adapted to this new combinatorial setting, using ideas introduced by Bowditch. Using these tools, we can describe an open domain of discontinuity for the action of the mapping class group which strictly contains the set of convex cocompact characters, and we give several characterizations of representations in this domain.