We describe the K-moduli spaces of weighted hypersurfaces of degree $2(n+3)$ in $\mathbb {P}(1,2,n+2,n+3)$. We show that the K-polystable limits of these weighted hypersurfaces are also weighted hypersurfaces of the same degree in the same weighted projective space. This is achieved by an explicit study of the wall crossing for K-moduli spaces $M_w$ of certain log Fano pairs with coefficient w whose double cover gives the weighted hypersurface. Moreover, we show that the wall crossing of $M_w$ coincides with variation of GIT except at the last K-moduli wall which gives a divisorial contraction. Our K-moduli spaces provide new birational models for some natural loci in the moduli space of marked hyperelliptic curves.

Let $R \to S$ be a cyclically pure map of Noetherian $\mathbb {Q}$-algebras. In this paper, we show that if S has Du Bois singularities, then R has Du Bois singularities. Our result is new even when $R \to S$ is faithfully flat. Our proof also yields interesting results in prime characteristic and in mixed characteristic. As a consequence, we show that if $R \to S$ is a cyclically pure map of rings essentially of finite type over the complex numbers $\mathbb {C}$, S has log canonical type singularities, and $K_R$ is Cartier, then R has log canonical singularities. Along the way, we prove a version of the key injectivity theorem of Kovács and Schwede for Noetherian schemes of equal characteristic zero that have isolated non-Du Bois points. Throughout the paper, we use the characterization of the complex $\underline {\Omega }^0_X$ and of Du Bois singularities in terms of sheafification with respect to Grothendieck topologies.

The aim of this paper is to extend the expanded degeneration construction of Li and Wu to obtain good degenerations of Hilbert schemes of points on semistable families of surfaces, as well as to discuss alternative stability conditions and parallels to the GIT construction of Gulbrandsen, Halle and Hulek and logarithmic Hilbert scheme constructions of Maulik and Ranganathan. We construct a good degeneration of Hilbert schemes of points as a proper Deligne-Mumford stack and show that it provides a geometrically meaningful example of a construction arising from the work of Maulik and Ranganathan.

Oort–Zink proved that a p-divisible group over a normal base in characteristic p with constant Newton polygon is isogenous to a p-divisible group admitting a slope filtration. In this article, we generalize this result to log p-divisible groups.

We present an explicit geometric invariant theory construction which produces both the minimal resolution of the type $D_4$ surface singularity, and also the orbifold resolution. Our construction is based on a Tannakian approach which is in principle applicable to larger groups.

We show that a divisor in a rational homogenous variety with split normal sequence is the preimage of a hyperplane section in either the projective space or a quadric.

Let ${\mathbb {F}_q}$ be the finite field with $q = p^f$ elements. We study the restriction of two classes of mod p representations of ${G_q} = \text {GL}_2({{\mathbb {F}_q}})$ to ${G_p} = \text {GL}_2({\mathbb {F}_p})$. We first study the restrictions of principal series which are obtained by induction from a Borel subgroup ${B_q}$. We then analyze the restrictions of inductions from an anisotropic torus ${T_q}$ which are related to cuspidal representations. Complete decompositions are given in both cases according to the parity of f. The proofs depend on writing down explicit orbit decompositions of ${G_p} \backslash {G_q} / H,$ where $H = {B_q}$ or ${T_q}$ using the fact that ${G_q}/H$ is an explicit orbit in a certain projective line, along with Mackey theory.

In this paper, we prove the integrality conjecture for quotient stacks arising from weakly symmetric representations of reductive groups. Our main result is a decomposition of the cohomology of the stack into finite-dimensional components indexed by some equivalence classes of cocharacters of a maximal torus. This decomposition enables the definition of new enumerative invariants associated with the stack, which we begin to explore.

We construct pathological examples of MMP singularities in every positive characteristic using quotients by $\alpha _p$-actions. In particular, we obtain non-$S_3$ terminal singularities, as well as locally stable (respectively stable) families whose general fibers are smooth (respectively klt, Cohen–Macaulay, and F-injective) and whose special fibers are non-$S_2$. The dimensions of these examples are bounded below by a linear function of the characteristic.

While the splinter property is a local property for Noetherian schemes in characteristic zero, Bhatt observed that it imposes strong conditions on the global geometry of proper schemes in positive characteristic. We show that if a proper scheme over a field of positive characteristic is a splinter, then its Nori fundamental group scheme is trivial and its Kodaira dimension is negative. In another direction, Bhatt also showed that any splinter in positive characteristic is a derived splinter. We ask whether the splinter property is a derived invariant for projective varieties in positive characteristic and give a positive answer for normal Gorenstein projective varieties with big anticanonical divisor. We also show that global F-regularity is a derived invariant for normal Gorenstein projective varieties in positive characteristic.

We show that for any $n\geq5$ there exist connected algebraic subgroups in the Cremona group $\text{Bir}(\mathbb P^n)$ that are not contained in any maximal connected algebraic subgroup. Our approach exploits the existence of stably rational, non-rational threefolds.

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

For a smooth affine group scheme G over the ring of p-adic integers and a cocharacter $\mu $ of G, we develop the deformation theory for G-$\mu $-displays over the prismatic site of Bhatt–Scholze, and discuss how our deformation theory can be interpreted in terms of prismatic F-gauges introduced by Drinfeld and Bhatt–Lurie. As an application, we prove the local representability and the formal smoothness of integral local Shimura varieties with hyperspecial level structure. We also revisit and extend some classification results of p-divisible groups.

A proof of a proposition in the published paper was erroneous. We clarify the effects in this erratum.

We consider faithful actions of simple algebraic groups on self-dual irreducible modules and on the associated varieties of totally singular subspaces, under the assumption that the dimension of the group is at least as large as the dimension of the variety. We prove that in all but a finite list of cases, there is a dense open subset where the stabilizer of any point is conjugate to a fixed subgroup, called the generic stabilizer. We use these results to determine whether there exists a dense orbit. This in turn lets us complete the answer to the problem of determining all pairs of maximal connected subgroups of a classical group with a dense double coset.

We prove Chai's conjecture on the additivity of the base change conductor of semiabelian varieties in the case of Jacobians of proper curves. This includes the first infinite family of non-trivial wildly ramified examples. Along the way, we extend Raynaud's construction of the Néron lft-model of a Jacobian in terms of the Picard functor to arbitrary seminormal curves (beyond which Jacobians admit no Néron lft-models, as shown by our more general structural results). Finally, we investigate the structure of Jacobians of (not necessarily geometrically reduced) proper curves over fields of degree of imperfection at most one and prove two conjectures about the existence of Néron models and Néron lft-models due to Bosch–Lütkebohmert–Raynaud for Jacobians of general proper curves in the case of perfect residue fields, thus strengthening the author's previous results in this situation.

Several structural results about permutation groups of finite rank definable in differentially closed fields of characteristic zero (and other similar theories) are obtained. In particular, it is shown that every finite rank definably primitive permutation group is definably isomorphic to an algebraic permutation group living in the constants. Applications include the verification, in differentially closed fields, of the finite Morley rank permutation group conjectures of Borovik-Deloro and Borovik-Cherlin. Applying the results to binding groups for internality to the constants, it is deduced that if complete types p and q are of rank m and n, respectively, and are nonorthogonal, then the $(m+3)$rd Morley power of p is not weakly orthogonal to the $(n+3)$rd Morley power of q. An application to transcendence of generic solutions of pairs of algebraic differential equations is given.

We establish a McKay correspondence for finite and linearly reductive subgroup schemes of ${\mathbf {SL}}_2$ in positive characteristic. As an application, we obtain a McKay correspondence for all rational double point singularities in characteristic $p\geq 7$. We discuss linearly reductive quotient singularities and canonical lifts over the ring of Witt vectors. In dimension 2, we establish simultaneous resolutions of singularities of these canonical lifts via G-Hilbert schemes. In the appendix, we discuss several approaches towards the notion of conjugacy classes for finite group schemes: This is an ingredient in McKay correspondences, but also of independent interest.

In this paper, we study the universal lifting spaces of local Galois representations valued in arbitrary reductive group schemes when $\ell \neq p$. In particular, under certain technical conditions applicable to any root datum, we construct a canonical smooth component in such spaces, generalizing the minimally ramified deformation condition previously studied for classical groups. Our methods involve extending the notion of isotypic decomposition for a $\operatorname {\mathrm {GL}}_n$-valued representation to general reductive group schemes. To deal with certain scheme-theoretic issues coming from this notion, we are led to a detailed study of certain families of disconnected reductive groups, which we call weakly reductive group schemes. Our work can be used to produce geometric lifts for global Galois representations, and we illustrate this for $\mathrm {G}_2$-valued representations.

We introduce and study the notion of a generalised Hecke orbit in a Shimura variety. We define a height function on such an orbit and study its properties. We obtain lower bounds for the sizes of Galois orbits of points in a generalised Hecke orbit in terms of this height function, assuming the ‘weakly adelic Mumford–Tate hypothesis’ and prove the generalised André–Pink–Zannier conjecture under this assumption, using Pila–Zannier strategy.