The local fundamental group of a Kawamata log terminal singularity is finite

We prove a conjecture of Kollár stating that the local fundamental group of a klt singularity x is finite. In fact, we prove a stronger statement, namely that the fundamental group of the smooth locus of a neighbourhood of x is finite. We call this the regional fundamental group. As the proof goes via a local-to-global induction, we simultaneously confirm finiteness of the orbifold fundamental group of the smooth locus of a weakly Fano pair.

Centers and Azumaya loci for finite W-algebras in positive characteristic

In this paper, we study the center Z of the finite W-algebra $${\mathcal{T}}({\mathfrak{g}},e)$$ associated with a semi-simple Lie algebra $$\mathfrak{g}$$ over an algebraically closed field $$\mathbb{k}$$ of characteristic p≫0, and an arbitrarily given nilpotent element $$e \in{\mathfrak{g}} $$ We obtain an analogue of Veldkamp’s theorem on the center. For the maximal spectrum Specm(Z), we show that its Azumaya locus coincides with its smooth locus of smooth points. The former locus reflects irreducible representations of maximal dimension for $${\mathcal{T}}({\mathfrak{g}},e)$$ .

Symplectic resolutions of quiver varieties

In this article, we consider Nakajima quiver varieties from the point of view of symplectic algebraic geometry. We prove that they are all symplectic singularities in the sense of Beauville and completely classify which admit symplectic resolutions. Moreover we show that the smooth locus coincides with the locus of canonically $$\theta $$ θ -polystable points, generalizing a result of Le Bruyn; we study their étale local structure and find their symplectic leaves. An interesting consequence of our results is that not all symplectic resolutions of quiver varieties appear to come from variation of GIT.

Matroid connectivity and singularities of configuration hypersurfaces

Consider a linear realization of a matroid over a field. One associates with it a configuration polynomial and a symmetric bilinear form with linear homogeneous coefficients. The corresponding configuration hypersurface and its non-smooth locus support the respective first and second degeneracy scheme of the bilinear form. We show that these schemes are reduced and describe the effect of matroid connectivity: for (2-)connected matroids, the configuration hypersurface is integral, and the second degeneracy scheme is reduced Cohen–Macaulay of codimension 3. If the matroid is 3-connected, then also the second degeneracy scheme is integral. In the process, we describe the behavior of configuration polynomials, forms and schemes with respect to various matroid constructions.

The smooth locus in infinite-level Rapoport–Zink spaces

Rapoport–Zink spaces are deformation spaces for $p$-divisible groups with additional structure. At infinite level, they become preperfectoid spaces. Let ${{\mathscr M}}_{\infty }$ be an infinite-level Rapoport–Zink space of EL type, and let ${{\mathscr M}}_{\infty }^{\circ }$ be one connected component of its geometric fiber. We show that ${{\mathscr M}}_{\infty }^{\circ }$ contains a dense open subset which is cohomologically smooth in the sense of Scholze. This is the locus of $p$-divisible groups which do not have any extra endomorphisms. As a corollary, we find that the cohomologically smooth locus in the infinite-level modular curve $X(p^{\infty })^{\circ }$ is exactly the locus of elliptic curves $E$ with supersingular reduction, such that the formal group of $E$ has no extra endomorphisms.

The Brauer Group of the Universal Moduli Space of Vector Bundles Over Smooth Curves

We compute the Brauer group of the universal moduli stack of vector bundles on (possibly marked) smooth curves of genus at least three over the complex numbers. As consequence, we obtain an explicit description of the Brauer group of the smooth locus of the associated moduli space of semistable vector bundles, when the genus is at least four.

Nonabelian Hodge theory for klt spaces and descent theorems for vector bundles

We generalise Simpson’s nonabelian Hodge correspondence to the context of projective varieties with Kawamata log terminal (klt) singularities. The proof relies on a descent theorem for numerically flat vector bundles along birational morphisms. In its simplest form, this theorem asserts that given any klt variety$X$and any resolution of singularities, any vector bundle on the resolution that appears to come from$X$numerically, does indeed come from $X$. Furthermore, and of independent interest, a new restriction theorem for semistable Higgs sheaves defined on the smooth locus of a normal, projective variety is established.

Brauer Group of Moduli of Higgs Bundles and Connections

Given a compact Riemann surface X and a semi-simple affine algebraic group G defined over C, there are moduli spaces of Higgs bundles and of connections associated to (X, G). The chapter computes the Brauer group of the smooth locus of these varieties.

Representing de Rham cohomology classes on an open Riemann surface by holomorphic forms

Let [Formula: see text] be a connected open Riemann surface. Let [Formula: see text] be an Oka domain in the smooth locus of an analytic subvariety of [Formula: see text], [Formula: see text], such that the convex hull of [Formula: see text] is all of [Formula: see text]. Let [Formula: see text] be the space of nondegenerate holomorphic maps [Formula: see text]. Take a holomorphic 1-form [Formula: see text] on [Formula: see text], not identically zero, and let [Formula: see text] send a map [Formula: see text] to the cohomology class of [Formula: see text]. Our main theorem states that [Formula: see text] is a Serre fibration. This result subsumes the 1971 theorem of Kusunoki and Sainouchi that both the periods and the divisor of a holomorphic form on [Formula: see text] can be prescribed arbitrarily. It also subsumes two parametric h-principles in minimal surface theory proved by Forstnerič and Lárusson in 2016.