Searcharxiv⌕ Search

arXiv subjects

Lars H. Halle

Publications and source records attributed to Lars H. Halle.

5 recordsLinked to original sources

Degenerations of generalized Kummer varieties

We present a method to construct explicit degenerations of higher-dimensional generalized Kummer varieties. We start with a simple degeneration $f: \mathcal Y \to C$ of abelian surfaces. Then $ \mathcal{Y} \setminus \mathcal{Y}_0$ is an abelian scheme over $C \setminus 0$ and we can form the relative generalized Kummer variety $K^{n-1}_{\circ} = \mathrm{Kum}^{n-1}(\mathcal{Y} \setminus \mathcal{Y}_0) \to C \setminus 0$. This is naturally a closed subscheme of the relative Hilbert scheme $\mathrm{Hilb}^{n}(\mathcal{Y} \setminus \mathcal{Y}_0) \to C \setminus 0$. In previous work (joint with Gulbrandsen) we had constructed a compactification $I^n_{\mathcal{Y}/C}$ over $C$ of the latter scheme. The closure $K^{n-1}_{\mathcal{Y}/C}$ of $K^{n-1}_{\circ}$ inside $I^n_{\mathcal{Y}/C}$ yields a canonical way to degenerate the family of generalized Kummer varieties, and is the degeneration we propose. This paper contains a detailed study of the geometry of the scheme $K^{n-1}_{\mathcal{Y}/C}$ and its natural stratification. For $n=2$ we obtain a projective Kulikov model of Kummer surfaces, whereas already for $n=3$ new phenomena occur. We study in detail the dual complex of $K^{2}_{\mathcal{Y}/C}$ and show that this is PL-homeomorphic to the standard $2$-simplex.

math.AG↗

Relative VGIT and an application to degenerations of Hilbert schemes

We generalize the classical semi-continuity theorem for GIT (semi)stable loci under variations of linearizations to a relative situation of an equivariant projective morphism from X to an affine base S. As an application to moduli problems, we consider degenerations of Hilbert schemes, and give a conceptual interpretation of the (semi)stable loci of the degeneration families constructed by Gulbrandsen-Halle-Hulek.

math.AG↗

The geometry of degenerations of Hilbert schemes of points

Given a strict simple degeneration $f \colon X\to C$ the first three authors previously constructed a degeneration $I^n_{X/C} \to C$ of the relative degree $n$ Hilbert scheme of $0$-dimensional subschemes. In this paper we investigate the geometry of this degeneration, in particular when the fibre dimension of $f$ is at most $2$. In this case we show that $I^n_{X/C} \to C$ is a dlt model. This is even a good minimal dlt model if $f \colon X \to C$ has this property. We compute the dual complex of the central fibre $(I^n_{X/C})_0$ and relate this to the essential skeleton of the generic fibre. For a type II degeneration of $K3$ surfaces we show that the stack ${\mathcal I}^n_{X/C} \to C$ carries a nowhere degenerate relative logarithmic $2$-form. Finally we discuss the relationship of our degeneration with the constructions of Nagai.

math.AG↗

A GIT construction of degenerations of Hilbert schemes of points

We present a Geometric Invariant Theory (GIT) construction which allows us to construct good projective degenerations of Hilbert schemes of points for simple degenerations. A comparison with the construction of Li and Wu shows that our GIT stack and the stack they construct are isomorphic, as are the associated coarse moduli schemes. Our construction is sufficiently explicit to obtain good control over the geometry of the singular fibres. We illustrate this by giving a concrete description of degenerations of degree $n$ Hilbert schemes of a simple degeneration with two components.

math.AG↗

A relative Hilbert-Mumford criterion

We generalize the classical Hilbert-Mumford criteria for GIT (semi-)stability in terms of one parameter subgroups of a linearly reductive group G over a field k, to the relative situation of an equivariant, projective morphism X -> Spec A to a noetherian k-algebra A. We also extend the classical projectivity result for GIT quotients: the induced morphism X^ss/G -> Spec A^G is projective. As an example of applications to moduli problems, we consider degenerations of Hilbert schemes of points.

math.AG↗