Let ${\mathcal {R}} \subset \mathbb {P}^1_{\mathbb {C}}$ be a finite subset of markings. Let G be an almost simple simply-connected algebraic group over $\mathbb {C}$. Let $K_G$ denote the compact real form of G. Suppose for each lasso l around the marked point, a conjugacy class $C_l$ in $K_G$ is prescribed. The aim of this paper is to give verifiable criteria for the existence of an irreducible homomorphism of $\pi _{1}(\mathbb P^1_{\mathbb {C}} \,{\backslash}\, {\mathcal {R}})$ into $K_G$ such that the image of l lies in $C_l$.

We give new descriptions of the Bruhat order and Demazure products of affine Weyl groups in terms of the weight function of the quantum Bruhat graph. These results can be understood to describe certain closure relations concerning the Iwahori–Bruhat decomposition of an algebraic group. As an application towards affine Deligne–Lusztig varieties, we present a new formula for generic Newton points.

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 develop a theory of parabolic induction and restriction functors relating modules over Coulomb branch algebras, in the sense of Braverman-Finkelberg-Nakajima. Our functors generalize Bezrukavnikov-Etingof’s induction and restriction functors for Cherednik algebras, but their definition uses different tools.

After this general definition, we focus on quiver gauge theories attached to a quiver $\Gamma $. The induction and restriction functors allow us to define a categorical action of the corresponding symmetric Kac-Moody algebra $\mathfrak {g}_{\Gamma }$ on category $ \mathcal {O}$ for these Coulomb branch algebras. When $ \Gamma $ is of Dynkin type, the Coulomb branch algebras are truncated shifted Yangians and quantize generalized affine Grassmannian slices. Thus, we regard our action as a categorification of the geometric Satake correspondence.

To establish this categorical action, we define a new class of ‘flavoured’ KLRW algebras, which are similar to the diagrammatic algebras originally constructed by the second author for the purpose of tensor product categorification. We prove an equivalence between the category of Gelfand-Tsetlin modules over a Coulomb branch algebra and the modules over a flavoured KLRW algebra. This equivalence relates the categorical action by induction and restriction functors to the usual categorical action on modules over a KLRW algebra.

We prove that after inverting the Planck constant $h$, the Bezrukavnikov–Kaledin quantization $(X, {\mathcal {O}}_h)$ of symplectic variety $X$ in characteristic $p$ with $H^2(X, {\mathcal {O}}_X) =0$ is Morita equivalent to a certain central reduction of the algebra of differential operators on $X$.

In this article, we establish the Grothendieck–Serre conjecture over valuation rings: for a reductive group scheme $G$ over a valuation ring $V$ with fraction field $K$, a $G$-torsor over $V$ is trivial if it is trivial over $K$. This result is predicted by the original Grothendieck–Serre conjecture and the resolution of singularities. The novelty of our proof lies in overcoming subtleties brought by general nondiscrete valuation rings. By using flasque resolutions and inducting with local cohomology, we prove a non-Noetherian counterpart of Colliot-Thélène–Sansuc's case of tori. Then, taking advantage of techniques in algebraization, we obtain the passage to the Henselian rank-one case. Finally, we induct on Levi subgroups and use the integrality of rational points of anisotropic groups to reduce to the semisimple anisotropic case, in which we appeal to properties of parahoric subgroups in Bruhat–Tits theory to conclude. In the last section, by using extension properties of reflexive sheaves on formal power series over valuation rings and patching of torsors, we prove a variant of Nisnevich's purity conjecture.

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.

Let ${\mathfrak g}$ be a complex simple Lie algebra and ${\mathfrak n}$ the nilradical of a parabolic subalgebra of ${\mathfrak g}$. We consider some properties of the coadjoint representation of ${\mathfrak n}$ and related algebras of invariants. This includes (i) the problem of existence of generic stabilizers, (ii) a description of the Frobenius semiradical of ${\mathfrak n}$ and the Poisson center of the symmetric algebra , (iii) the structure of as -module, and (iv) the description of square integrable (= quasi-reductive) nilradicals. Our main technical tools are the Kostant cascade in the set of positive roots of ${\mathfrak g}$ and the notion of optimization of ${\mathfrak n}$.

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.

Let G be a simple algebraic group with ${\mathfrak g}={\textrm{Lie }} G$ and ${\mathcal O}_{\textsf{min}}\subset{\mathfrak g}$ the minimal nilpotent orbit. For a ${\mathbb Z}_2$-grading ${\mathfrak g}={\mathfrak g}_0\oplus{\mathfrak g}_1$, let $G_0$ be a connected subgroup of G with ${\textrm{Lie }} G_0={\mathfrak g}_0$. We study the $G_0$-equivariant projections $\varphi\,:\,\overline{{\mathcal O}_{\textsf{min}}}\to {\mathfrak g}_0$ and $\psi:\overline{{\mathcal O}_{\textsf{min}}}\to{\mathfrak g}_1$. It is shown that the properties of $\overline{\varphi({\mathcal O}_{\textsf{min}})}$ and $\overline{\psi({\mathcal O}_{\textsf{min}})}$ essentially depend on whether the intersection ${\mathcal O}_{\textsf{min}}\cap{\mathfrak g}_1$ is empty or not. If ${\mathcal O}_{\textsf{min}}\cap{\mathfrak g}_1\ne\varnothing$, then both $\overline{\varphi({\mathcal O}_{\textsf{min}})}$ and $\overline{\psi({\mathcal O}_{\textsf{min}})}$ contain a 1-parameter family of closed $G_0$-orbits, while if ${\mathcal O}_{\textsf{min}}\cap{\mathfrak g}_1=\varnothing$, then both are $G_0$-prehomogeneous. We prove that $\overline{G{\cdot}\varphi({\mathcal O}_{\textsf{min}})}=\overline{G{\cdot}\psi({\mathcal O}_{\textsf{min}})}$. Moreover, if ${\mathcal O}_{\textsf{min}}\cap{\mathfrak g}_1\ne\varnothing$, then this common variety is the affine cone over the secant variety of ${\mathbb P}({\mathcal O}_{\textsf{min}})\subset{\mathbb P}({\mathfrak g})$. As a digression, we obtain some invariant-theoretic results on the affine cone over the secant variety of the minimal orbit in an arbitrary simple G-module. In conclusion, we discuss more general projections that are related to either arbitrary reductive subalgebras of ${\mathfrak g}$ in place of ${\mathfrak g}_0$ or spherical nilpotent G-orbits in place of ${\mathcal O}_{\textsf{min}}$.

In this paper we develop a new technique for showing that a nonlinear algebraic differential equation is strongly minimal based on the recently developed notion of the degree of non-minimality of Freitag and Moosa. Our techniques are sufficient to show that generic order $h$ differential equations with non-constant coefficients are strongly minimal, answering a question of Poizat (1980).

Let $M_{\langle \mathbf {u},\mathbf {v},\mathbf {w}\rangle }\in \mathbb C^{\mathbf {u}\mathbf {v}}{\mathord { \otimes } } \mathbb C^{\mathbf {v}\mathbf {w}}{\mathord { \otimes } } \mathbb C^{\mathbf {w}\mathbf {u}}$ denote the matrix multiplication tensor (and write $M_{\langle \mathbf {n} \rangle }=M_{\langle \mathbf {n},\mathbf {n},\mathbf {n}\rangle }$ ), and let $\operatorname {det}_3\in (\mathbb C^9)^{{\mathord { \otimes } } 3}$ denote the determinant polynomial considered as a tensor. For a tensor T, let $\underline {\mathbf {R}}(T)$ denote its border rank. We (i) give the first hand-checkable algebraic proof that $\underline {\mathbf {R}}(M_{\langle 2\rangle })=7$ , (ii) prove $\underline {\mathbf {R}}(M_{\langle 223\rangle })=10$ and $\underline {\mathbf {R}}(M_{\langle 233\rangle })=14$ , where previously the only nontrivial matrix multiplication tensor whose border rank had been determined was $M_{\langle 2\rangle }$ , (iii) prove $\underline {\mathbf {R}}( M_{\langle 3\rangle })\geq 17$ , (iv) prove $\underline {\mathbf {R}}(\operatorname {det}_3)=17$ , improving the previous lower bound of $12$ , (v) prove $\underline {\mathbf {R}}(M_{\langle 2\mathbf {n}\mathbf {n}\rangle })\geq \mathbf {n}^2+1.32\mathbf {n}$ for all $\mathbf {n}\geq 25$ , where previously only $\underline {\mathbf {R}}(M_{\langle 2\mathbf {n}\mathbf {n}\rangle })\geq \mathbf {n}^2+1$ was known, as well as lower bounds for $4\leq \mathbf {n}\leq 25$ , and (vi) prove $\underline {\mathbf {R}}(M_{\langle 3\mathbf {n}\mathbf {n}\rangle })\geq \mathbf {n}^2+1.6\mathbf {n}$ for all $\mathbf {n} \ge 18$ , where previously only $\underline {\mathbf {R}}(M_{\langle 3\mathbf {n}\mathbf {n}\rangle })\geq \mathbf {n}^2+2$ was known. The last two results are significant for two reasons: (i) they are essentially the first nontrivial lower bounds for tensors in an “unbalanced” ambient space and (ii) they demonstrate that the methods we use (border apolarity) may be applied to sequences of tensors.

The methods used to obtain the results are new and “nonnatural” in the sense of Razborov and Rudich, in that the results are obtained via an algorithm that cannot be effectively applied to generic tensors. We utilize a new technique, called border apolarity developed by Buczyńska and Buczyński in the general context of toric varieties. We apply this technique to develop an algorithm that, given a tensor T and an integer r, in a finite number of steps, either outputs that there is no border rank r decomposition for T or produces a list of all normalized ideals which could potentially result from a border rank decomposition. The algorithm is effectively implementable when T has a large symmetry group, in which case it outputs potential decompositions in a natural normal form. The algorithm is based on algebraic geometry and representation theory.

We first provide a detailed proof of Kato’s classification theorem of log p-divisible groups over a Noetherian Henselian local ring. Exploring Kato’s idea further, we then define the notion of a standard extension of a classical finite étale group scheme (resp. classical étale p-divisible group) by a classical finite flat group scheme (resp. classical p-divisible group) in the category of finite Kummer flat group log schemes (resp. log p-divisible groups), with respect to a given chart on the base. These results are then used to prove that log p-divisible groups are formally log smooth. We then study the finite Kummer flat group log schemes $T_n(\mathbf {M}):=H^{-1}(\mathbf {M}\otimes _{{\mathbb Z}}^L{\mathbb Z}/n{\mathbb Z})$ (resp. the log p-divisible group $\mathbf {M}[p^{\infty }]$) of a log 1-motive $\mathbf {M}$ over an fs log scheme and show that they are étale locally standard extensions. Lastly, we give a proof of the Serre–Tate theorem for log abelian varieties with constant degeneration.

Let $G$ be a reductive group over an algebraically closed field $k$ of separably good characteristic $p>0$ for $G$. Under these assumptions, a Springer isomorphism $\phi : \mathcal {N}_{\mathrm {red}}(\mathfrak {g}) \rightarrow \mathcal {V}_{\mathrm {red}}(G)$ from the nilpotent scheme of $\mathfrak {g}$ to the unipotent scheme of $G$ always exists and allows one to integrate any $p$-nilpotent element of $\mathfrak {g}$ into a unipotent element of $G$. One should wonder whether such a punctual integration can lead to an integration of restricted $p$-nil $p$-subalgebras of $\mathfrak {g}= \operatorname {Lie}(G)$. We provide a counter-example of the existence of such an integration in general, as well as criteria to integrate some restricted $p$-nil $p$-subalgebras of $\mathfrak {g}$ (that are maximal in a certain sense). This requires the generalisation of the notion of infinitesimal saturation first introduced by Deligne and the extension of one of his theorems on infinitesimally saturated subgroups of $G$ to the previously mentioned framework.

Let $W = \mathbb {C}[t,t^{-1}]\partial _t$ be the Witt algebra of algebraic vector fields on $\mathbb {C}^\times$ and let $V\!ir$ be the Virasoro algebra, the unique nontrivial central extension of $W$. In this paper, we study the Poisson ideal structure of the symmetric algebras of $V\!ir$ and $W$, as well as several related Lie algebras. We classify prime Poisson ideals and Poisson primitive ideals of $\operatorname {S}(V\!ir)$ and $\operatorname {S}(W)$. In particular, we show that the only functions in $W^*$ which vanish on a nontrivial Poisson ideal (that is, the only maximal ideals of $\operatorname {S}(W)$ with a nontrivial Poisson core) are given by linear combinations of derivatives at a finite set of points; we call such functions local. Given a local function $\chi \in W^*$, we construct the associated Poisson primitive ideal through computing the algebraic symplectic leaf of $\chi$, which gives a notion of coadjoint orbit in our setting. As an application, we prove a structure theorem for subalgebras of $V\!ir$ of finite codimension and show, in particular, that any such subalgebra of $V\!ir$ contains the central element $z$, substantially generalising a result of Ondrus and Wiesner on subalgebras of codimension one. As a consequence, we deduce that $\operatorname {S}(V\!ir)/(z-\zeta )$ is Poisson simple if and only if $\zeta \neq ~0$.

We generalize the works of Pappas–Rapoport–Zhu on twisted affine Grassmannians to the wildly ramified case under mild assumptions. This rests on a construction of certain smooth affine $\mathbb {Z}[t]$ -groups with connected fibers of parahoric type, motivated by previous work of Tits. The resulting $\mathbb {F}_p(t)$ -groups are pseudo-reductive and sometimes non-standard in the sense of Conrad–Gabber–Prasad, and their $\mathbb {F}_p [\hspace {-0,5mm}[ {t} ]\hspace {-0,5mm}] $ -models are parahoric in a generalized sense. We study their affine Grassmannians, proving normality of Schubert varieties and Zhu’s coherence theorem.

Let V be a smooth quasi-projective complex surface such that the first three logarithmic plurigenera $\overline P_1(V)$ , $\overline P_2(V)$ and $\overline P_3(V)$ are equal to 1 and the logarithmic irregularity $\overline q(V)$ is equal to $2$ . We prove that the quasi-Albanese morphism $a_V\colon V\to A(V)$ is birational and there exists a finite set S such that $a_V$ is proper over $A(V)\setminus S$ , thus giving a sharp effective version of a classical result of Iitaka [12].

We define, for each quasisyntomic ring R (in the sense of Bhatt et al., Publ. Math. IHES 129 (2019), 199–310), a category $\mathrm {DM}^{\mathrm {adm}}(R)$ of admissible prismatic Dieudonné crystals over R and a functor from p-divisible groups over R to $\mathrm {DM}^{\mathrm {adm}}(R)$ . We prove that this functor is an antiequivalence. Our main cohomological tool is the prismatic formalism recently developed by Bhatt and Scholze.

An affine variety with an action of a semisimple group G is called “small” if every nontrivial G-orbit in X is isomorphic to the orbit of a highest weight vector. Such a variety X carries a canonical action of the multiplicative group ${\mathbb {K}^{*}}$ commuting with the G-action. We show that X is determined by the ${\mathbb {K}^{*}}$-variety $X^U$ of fixed points under a maximal unipotent subgroup $U \subset G$. Moreover, if X is smooth, then X is a G-vector bundle over the algebraic quotient $X /\!\!/ G$.

If G is of type ${\mathsf {A}_n}$ ($n\geq 2$), ${\mathsf {C}_{n}}$, ${\mathsf {E}_{6}}$, ${\mathsf {E}_{7}}$, or ${\mathsf {E}_{8}}$, we show that all affine G-varieties up to a certain dimension are small. As a consequence, we have the following result. If $n \geq 5$, every smooth affine $\operatorname {\mathrm {SL}}_n$-variety of dimension $< 2n-2$ is an $\operatorname {\mathrm {SL}}_n$-vector bundle over the smooth quotient $X /\!\!/ \operatorname {\mathrm {SL}}_n$, with fiber isomorphic to the natural representation or its dual.

We show that the only finite quasi-simple non-abelian groups that can faithfully act on rationally connected threefolds are the following groups: ${\mathfrak{A}}_5$ , ${\text{PSL}}_2(\textbf{F}_7)$ , ${\mathfrak{A}}_6$ , ${\text{SL}}_2(\textbf{F}_8)$ , ${\mathfrak{A}}_7$ , ${\text{PSp}}_4(\textbf{F}_3)$ , ${\text{SL}}_2(\textbf{F}_{7})$ , $2.{\mathfrak{A}}_5$ , $2.{\mathfrak{A}}_6$ , $3.{\mathfrak{A}}_6$ or $6.{\mathfrak{A}}_6$ . All of these groups with a possible exception of $2.{\mathfrak{A}}_6$ and $6.{\mathfrak{A}}_6$ indeed act on some rationally connected threefolds.