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.

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.

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.

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

We construct and study the moduli of stable hypersurfaces in toric orbifolds. Let X be a projective toric orbifold and $\alpha \in \operatorname{Cl}(X)$ an ample class. The moduli space is constructed as a quotient of the linear system $|\alpha|$ by $G = \operatorname{Aut}(X)$. Since the group G is non-reductive in general, we use new techniques of non-reductive geometric invariant theory. Using the A-discriminant of Gelfand, Kapranov and Zelevinsky, we prove semistability for quasismooth hypersurfaces of toric orbifolds. Further, we prove the existence of a quasi-projective moduli space of quasismooth hypersurfaces in a weighted projective space when the weighted projective space satisfies a certain condition. We also discuss how to proceed when this condition is not satisfied. We prove that the automorphism group of a quasismooth hypersurface of weighted projective space is finite excluding some low degrees.

We introduce an analogue of Bridgeland’s stability conditions for polarised varieties. Much as Bridgeland stability is modelled on slope stability of coherent sheaves, our notion of Z-stability is modelled on the notion of K-stability of polarised varieties. We then introduce an analytic counterpart to stability, through the notion of a Z-critical Kähler metric, modelled on the constant scalar curvature Kähler condition. Our main result shows that a polarised variety which is analytically K-semistable and asymptotically Z-stable admits Z-critical Kähler metrics in the large volume regime. We also prove a local converse and explain how these results can be viewed in terms of local wall crossing. A special case of our framework gives a manifold analogue of the deformed Hermitian Yang–Mills equation.

The well-studied moduli space of complex cubic surfaces has three different, but isomorphic, compact realizations: as a GIT quotient ${\mathcal {M}}^{\operatorname {GIT}}$, as a Baily–Borel compactification of a ball quotient ${(\mathcal {B}_4/\Gamma )^*}$, and as a compactified K-moduli space. From all three perspectives, there is a unique boundary point corresponding to non-stable surfaces. From the GIT point of view, to deal with this point, it is natural to consider the Kirwan blowup ${\mathcal {M}}^{\operatorname {K}}\rightarrow {\mathcal {M}}^{\operatorname {GIT}}$, whereas from the ball quotient point of view, it is natural to consider the toroidal compactification ${\overline {\mathcal {B}_4/\Gamma }}\rightarrow {(\mathcal {B}_4/\Gamma )^*}$. The spaces ${\mathcal {M}}^{\operatorname {K}}$ and ${\overline {\mathcal {B}_4/\Gamma }}$ have the same cohomology, and it is therefore natural to ask whether they are isomorphic. Here, we show that this is in fact not the case. Indeed, we show the more refined statement that ${\mathcal {M}}^{\operatorname {K}}$ and ${\overline {\mathcal {B}_4/\Gamma }}$ are equivalent in the Grothendieck ring, but not K-equivalent. Along the way, we establish a number of results and techniques for dealing with singularities and canonical classes of Kirwan blowups and toroidal compactifications of ball quotients.

In this paper, we study sample size thresholds for maximum likelihood estimation for tensor normal models. Given the model parameters and the number of samples, we determine whether, almost surely, (1) the likelihood function is bounded from above, (2) maximum likelihood estimates (MLEs) exist, and (3) MLEs exist uniquely. We obtain a complete answer for both real and complex models. One consequence of our results is that almost sure boundedness of the log-likelihood function guarantees almost sure existence of an MLE. Our techniques are based on invariant theory and castling transforms.

We study reductive subgroups H of a reductive linear algebraic group G – possibly nonconnected – such that H contains a regular unipotent element of G. We show that under suitable hypotheses, such subgroups are G-irreducible in the sense of Serre. This generalises results of Malle, Testerman and Zalesski. We obtain analogous results for Lie algebras and for finite groups of Lie type. Our proofs are short, conceptual and uniform.

Let G be a reductive algebraic group—possibly non-connected—over a field k, and let H be a subgroup of G. If $G= {GL }_n$, then there is a degeneration process for obtaining from H a completely reducible subgroup $H'$ of G; one takes a limit of H along a cocharacter of G in an appropriate sense. We generalise this idea to arbitrary reductive G using the notion of G-complete reducibility and results from geometric invariant theory over non-algebraically closed fields due to the authors and Herpel. Our construction produces a G-completely reducible subgroup $H'$ of G, unique up to $G(k)$-conjugacy, which we call a k-semisimplification of H. This gives a single unifying construction that extends various special cases in the literature (in particular, it agrees with the usual notion for $G= GL _n$ and with Serre’s ‘G-analogue’ of semisimplification for subgroups of $G(k)$ from [19]). We also show that under some extra hypotheses, one can pick $H'$ in a more canonical way using the Tits Centre Conjecture for spherical buildings and/or the theory of optimal destabilising cocharacters introduced by Hesselink, Kempf, and Rousseau.

Tian’s criterion for K-stability states that a Fano variety of dimension n whose alpha invariant is greater than ${n}{/(n+1)}$ is K-stable. We show that this criterion is sharp by constructing n-dimensional singular Fano varieties with alpha invariants ${n}{/(n+1)}$ that are not K-polystable for sufficiently large n. We also construct K-unstable Fano varieties with alpha invariants ${(n-1)}{/n}$.

Étant donné un groupe réductif $G$ sur une extension de degré fini de $\mathbb {Q}_p$ on classifie les $G$-fibrés sur la courbe introduite dans Fargues and Fontaine [Courbes et fibrés vectoriels en théorie de Hodge $p$-adique, Astérisque 406 (2018)]. Le résultat est interprété en termes de l'ensemble $B(G)$ de Kottwitz. On calcule également la cohomologie étale de la courbe à coefficients de torsion en lien avec la théorie du corps de classe local.

We study a relative variant of Serre’s notion of $G$-complete reducibility for a reductive algebraic group $G$. We let $K$ be a reductive subgroup of $G$, and consider subgroups of $G$ that normalize the identity component $K^{\circ }$. We show that such a subgroup is relatively $G$-completely reducible with respect to $K$ if and only if its image in the automorphism group of $K^{\circ }$ is completely reducible. This allows us to generalize a number of fundamental results from the absolute to the relative setting. We also derive analogous results for Lie subalgebras of the Lie algebra of $G$, as well as ‘rational’ versions over nonalgebraically closed fields.

We show that the anti-canonical volume of an $n$ -dimensional Kähler–Einstein $\mathbb{Q}$ -Fano variety is bounded from above by certain invariants of the local singularities, namely $\operatorname{lct}^{n}\cdot \operatorname{mult}$ for ideals and the normalized volume function for real valuations. This refines a recent result by Fujita. As an application, we get sharp volume upper bounds for Kähler–Einstein Fano varieties with quotient singularities. Based on very recent results by Li and the author, we show that a Fano manifold is K-semistable if and only if a de Fernex–Ein–Mustaţă type inequality holds on its affine cone.

Let $G$ be a reductive group over an algebraically closed subfield $k$ of $\mathbb{C}$ of characteristic zero, $H\subseteq G$ an observable subgroup normalised by a maximal torus of $G$ and $X$ an affine $k$ -variety acted on by  $G$ . Popov and Pommerening conjectured in the late 1970s that the invariant algebra $k[X]^{H}$ is finitely generated. We prove the conjecture for: (1) subgroups of $\operatorname{SL}_{n}(k)$ closed under left (or right) Borel action and for: (2) a class of Borel regular subgroups of classical groups. We give a partial affirmative answer to the conjecture for general regular subgroups of $\operatorname{SL}_{n}(k)$ .

We study the behaviour of motivic zeta functions of prehomogeneous vector spaces under castling transformations. In particular we deduce how the motivic Milnor fibre and the Hodge spectrum at the origin behave under such transformations.

We show the existence of a large family of representations supported by the orbit closure of the determinant. However, the validity of our result is based on the validity of the celebrated ‘Latin square conjecture’ due to Alon and Tarsi or, more precisely, on the validity of an equivalent ‘column Latin square conjecture’ due to Huang and Rota.

Answering a question of H. Petersson, we provide a class of examples of a pair of octonion algebras over a ring having isometric norms.

We verify our earlier conjecture and use it to prove that the semisimple parts of the rational Jordan–Kac–Vinberg decompositions of a rational vector all lie in a single rational orbit.