Let F(X,n):= X^n-Δbe the complementary of the union Δof the diagonals of X^n and let U be a quotient of F(X,n) (possibly trivial) by a subgroup of the symmetric group S_n. We construct compactifications of U in products of Hilbert schemes. Our approach generalizes and unifies classical constructions by Schubert-Semple, Le Barz-Keel, Kleiman and Cheah. An extensive study is done in the case n<4. This includes in particular a complete classification and a description of the quotients by the natural actions.
We construct the Hilbert compactification of the universal moduli space of semistable vector bundles over smooth curves. The Hilbert compactification is the GIT quotient of some open part of an appropriate Hilbert scheme of curves in a Grassmannian. It has all the properties asked for by Teixidor.
We construct local charts for the ramified cusps of the Hilbert modular variety of level $Γ_1(\mathfrak{c},\mathfrak{n})$. This allows us, following closely M. Rapoport and C.-L. Chai, to construct arithmetic toroidal and minimal compactifications of these modular varieties. Some applications to modular forms are given. See our joint work with J. Tilouine for other applications.
We show that the periods of the holomorphic Eisenstein series of level 1, parallel weight 2, on a Hilbert modular surface are not rational, even up to scaling. This is deduced from a study of the mixed Hodge structure on the cohomology of the Hilbert modular surface, where we find extension classes related to the units of the real quadratic field. We prove similar results for Hilbert modular varieties of all dimensions, and produce extensions of Galois representations in étale cohomology. The key point is to study the restriction of the canonical extension of the Hodge bundle to the boundary o…
We study a compactification of the configuration space of n distinct labeled points on an arbitrary nonsingular variety. Our construction provides a generalization of the original Fulton-MacPherson compactification that is parallel to the generalization of the moduli space of n-pointed stable curves carried out by Hassett.
A smooth compactification X<n> of the configuration space of n distinct labeled points in a smooth algebraic variety X is constructed by a natural sequence of blowups, with the full symmetry of the permutation group S_n manifest at each stage of the construction. The strata of the normal crossing divisor at infinity are labeled by trees with levels and their structure is studied. This is the maximal wonderful compactification in the sense of DeConcini-Procesi, and it has a strata-compatible surjection onto the Fulton-MacPherson compactification. The degenerate configurations added in the compa…
We recall first the analytic theory of the Hilbert modular varieties of level $Γ_1(\mathfrak{c},\mathfrak{n})$ and their compactifications. We construct arithmetic toroidal compactifications of the universal Hilbert-Blumenthal abelian variety (and of its fiber products), over the compactifications of the Hilbert modular variety constructed by the first author. We give several applications related to Hodge theory, Hilbert-Jacobi modular forms and Hilbert modular forms of half-integer weight.
We study the Chow groups and the Chow motives of the wonderful compactifications $Y_{\mathcal{G}}$ of arrangements of subvarieties. We prove a natural decomposition of the Chow motive of $Y_\mathcal{G}$, in particular of the Fulton-MacPherson configuration space $X[n]$. As a consequence, we prove a decomposition of the Chow motive of $X[n]/\frak{S}_n$. A generating function for the Chow groups and for the Chow motive of $X[n]$ is given.
The space of smooth rational cubic curves in projective space $\PP^r$ ($r\ge 3$) is a smooth quasi-projective variety, which gives us an open subset of the corresponding Hilbert scheme, the moduli space of stable maps, or the moduli space of stable sheaves. By taking its closure, we obtain three compactifications $\bH$, $\bM$, and $\bS$ respectively. In this paper, we compare these compactifications. First, we prove that $\bH$ is the blow-up of $\bS$ along a smooth subvariety which is the locus of stable sheaves which are planar (i.e. support is contained in a plane). Next we prove that $\bS$ …
A compactification over $\overline{M}_g$ of $M_{g,n}$ is obtained by considering the relative Fulton-MacPherson configuration space of the universal curve. The resulting compactification differs from the Deligne-Mumford space $\overline{M}_{g,n}$. In case $n=2$, the compactification constructed here and the Deligne-Mumford compactification are essentially the distinct minimal resolutions of the fiber product over $\overline{M}_g$ of the universal curve with itself.
One can consider the Hilbert scheme as a natural compactification of the space of smooth projective curves with fixed Hilbert polynomial. Here we consider a different modular compactification, namely the functor CM parameterizing curves together with a finite map to $\mathbb{P}^n$ that is generically a closed immersion. We prove that CM is an algebraic space by contructing a scheme W and a representable, surjective and smooth map W -> CM. Moreover, we show that CM satisfies the valuative criterion for properness.
A morphism of nonreduced Gieseker - Maruyama functor (of semistable coherent torsion-free sheaves) on a surface to the nonreduced functor of admissible semistable pairs with the same Hilbert polynomial, is constructed. This leads to the morphism of moduli schemes with possibly nonreduced scheme structures. As usually, we consider subfunctors corresponding to main components of moduli schemes.
The new compactification of moduli scheme of Gieseker-stable vector bundles with the given Hilbert polynomial on a smooth projective polarized surface (S;H), over the field k = \bar k of zero characteristic, is constructed in previous papers of the author. Families of locally free sheaves on the surface S are completed by the locally free sheaves on the schemes which are certain modifications of S. We obtain the class of modified surfaces to appear in the construction. Keywords: moduli space, semistable coherent sheaves, blowup algebra, algebraic surface.
We prove the following: (1) if $X$ is ordinary, the Fulton-MacPherson configuration space $X[n]$ is ordinary for all $n$; (2) the moduli of stable $n$-pointed curves of genus zero is ordinary. (3) More generally we show that a wonderful compactification $X_\sg$ is ordinary if and only if $(X,\sg)$ is an ordinary building set. This implies the ordinarity of many other well-known configuration spaces (under suitable assumptions).
We show that the Fulton-MacPherson compactification of the configuration space of $n$ distinct labeled points in certain varieties of arbitrary dimension $d$, including projective space, is not a Mori dream space for $n$ larger than $d+8$.
The space of smooth rational curves of degree $d$ in a projective variety $X$ has compactifications by taking closures in the Hilbert scheme, the moduli space of stable sheaves or the moduli space of stable maps respectively. In this paper we compare these compactifications by explicit blow-ups and -downs when $X$ is a projective homogeneous variety and $d\leq 3$. Using the comparison result, we calculate the Betti numbers of the compactifications when $X$ is a Grassmannian variety.
We introduce a compactification of the group of rigid motions in 3-space derived from the Study model for this group. We use this compactifi-cation in robot kinematics, by considering the boundary of the configuration space of a robot. We study in particular the degeneration of the direct kine-matic problem for some parallel robots with three degrees of freedom.
We introduce and study smooth compactifications of the moduli space of n labeled points with weights in projective space, which have normal crossings boundary and are defined as GIT quotients of the weighted Fulton-MacPherson compactification. We show that the GIT quotient of a wonderful compactification is also a wonderful compactification under certain hypotheses. We also study a weighted version of the configuration spaces parametrizing n points in affine space up to translation and homothety. In dimension one, the above compactifications are isomorphic to Hassett's moduli space of rational…
In this paper we show a general method to compactify certain open varieties by adding normal crossing divisors. This is done by proving that {\it blowing up along an arrangement of subvarieties} can be carried out. Important examples such as Ulyanov's configuration spaces, spaces of holomorphic maps, etc., are covered. Intersection ring and (non-recursive) Hodge polynomails are computed. Further general structures arising from the blowup process are described and studied.
We describe a compactification by stable pairs (also known as KSBA compactification) of the $4$-dimensional family of Enriques surfaces which arise as the $\mathbb{Z}_2^2$-covers of the blow up of $\mathbb{P}^2$ at three general points branched along a configuration of three pairs of lines. Up to a finite group action, we show that this compactification is isomorphic to the toric variety associated to the secondary polytope of the unit cube. We relate the KSBA compactification considered to the Baily-Borel compactification of the same family of Enriques surfaces. Part of the KSBA boundary has …
Presented is a wonderful compactification of n distinct labeled points in X away from D, where X is a nonsingular variety and D is a nonsingular proper subvariety. When D is empty, it is the Fulton-MacPherson configuration space.
The aim of this note is to announce some results on the GIT problem for the Hilbert and Chow scheme of curves of degree d and genus g in P^{d-g}, whose full details will appear in a subsequent paper. In particular, we extend the previous results of L. Caporaso up to d>4(2g-2) and we observe that this is sharp. In the range 2(2g-2)<d<7/2(2g-2), we get a complete new description of the GIT quotient. As a corollary, we get a new compactification of the universal Jacobian over the moduli space of pseudo-stable curves.
A morphism of the reduced Gieseker -- Maruyama moduli functor (of semistable coherent torsion-free sheaves) to the reduced moduli functor of admissible semistable pairs with the same Hilbert polynomial, is constructed. It is shown that main components of reduced moduli scheme for semistable admissible pairs ((\tilde S, \tilde L), \tilde E) are isomorphic to main components of reduced Gieseker -- Maruyama moduli scheme.
We study the moduli space $\mathcal{F}_{T_1}$ of quasi-trielliptic K3 surfaces of type I, whose general member is a smooth bidegree $(2,3)$-hypersurface of $\mathbb{P}^1\times \mathbb{P}^2$. Such moduli space plays an important role in the study of the Hassett-Keel-Looijenga program of the moduli space of degree $8$ quasi-polarized K3 surfaces. In this paper, we consider several natural compactifications of $\mathcal{F}_{T_1}$, such as the GIT compactification and arithmetic compactifications. We give a complete analysis of GIT stability of $(2,3)$-hypersurfaces and provide a concrete descript…
A new compactification for the scheme of moduli for Gieseker-stable vector bundles with prescribed Hilbert polynomial, on the smooth projective polarized surface (S,L), is constructed. Families of locally free sheaves on the surface S are completed by locally free sheaves on schemes which are modifications of S. Gieseker -- Maruyama moduli space has a birational morphism onto the new moduli space. We propose the functor for families of pairs polarized scheme -- vector bundle with moduli space of such type.
Projective duality identifies the moduli spaces $\mathbf{B}_n$ and $\mathbf{X}(3,n)$ parametrizing linearly general configurations of $n$ points in $\mathbb{P}^2$ and $n$ lines in the dual $\mathbb{P}^2$, respectively. The space $\mathbf{X}(3,n)$ admits Kapranov's Chow quotient compactification $\overline{\mathbf{X}}(3,n)$, studied also by Lafforgue, Hacking, Keel, Tevelev, and Alexeev, which gives an example of a KSBA moduli space of stable surfaces: it carries a family of certain reducible degenerations of $\mathbb{P}^2$ with $n$ "broken lines". Gerritzen and Piwek proposed a dual perspectiv…
The diagonal in a product of projective spaces is cut out by the ideal of 2x2-minors of a matrix of unknowns. The multigraded Hilbert scheme which classifies its degenerations has a unique Borel-fixed ideal. This Hilbert scheme is generally reducible, and its main component is a compactification of PGL(d)^n/PGL(d). For n=2 we recover the manifold of complete collineations. For projective lines we obtain a space of trees that is irreducible but singular. All ideals in our Hilbert scheme are radical. We also explore connections to affine buildings and Deligne schemes.
A projective moduli space of pairs (C,E) where E is a slope- semistable torsion free sheaf of uniform rank on a Deligne- Mumford stable curve C is constructed via G.I.T. There is a natural SL x SL action on the relative Quot scheme over the universal curve of the Hilbert scheme of pluricanonical, genus g curves. The G.I.T. quotient of this product action yields a functorial, compact solution to the moduli problem of pairs (C,E). Basic properties of the moduli space are studied. An alternative approach to the moduli problem of pairs has been suggested by D. Gieseker and I Morrison and completed…
The Hilbert scheme X^{[a]} of points on a complex manifold X is a compactification of the configuration space of a-element subsets of X. The integral cohomology of X^{[a]} is more subtle than the rational cohomology. In this paper, we compute the mod 2 cohomology of X^{[2]} for any complex manifold X, and the integral cohomology of X^{[2]} when X has torsion-free cohomology. The results of this paper are used in Voisin's work on the universal CH_0 group of cubic hypersurfaces, because the crucial point there is to study the 2-torsion in the Chow group.
We formulate the problem of renormalization of Feynman integrals and its relation to periods of motives in configuration space instead of momentum space. The algebro-geometric setting is provided by the wonderful compactifications of arrangements of subvarieties associated to the subgraphs of a Feynman graph and a (quasi)projective variety. The motive and the class in the Grothendieck ring are computed explicitly for these wonderful compactifications, in terms of the motive of the variety and the combinatorics of the Feynman graph, using recent results of Li Li. The pullback to the wonderful c…
We study lines and twisted cubics on cubic fourfolds with simple isolated singularities. We show that the Hilbert scheme compactification of the total space of Starr's fibration on the space of twisted cubics on a cubic fourfold with simple isolated singularities and not containing a plane admits a contraction to a singular projective symplectic variety of dimension eight. The latter admits a crepant resolution which is a deformation of the symplectic eightfold constructed from the space of twisted cubics on a smooth cubic fourfold. Thereby we give another proof of the fact that the latter is …
Let $X[n]$ be the Fulton-MacPherson compactification of the configuration space of $n$ ordered points on a smooth projective variety $X$. We prove that if either $n\neq 2$ or $\dim(X)\geq 2$, then the connected component of the identity of $Aut(X[n])$ is isomorphic to the connected component of the identity of $Aut(X)$. When $X = C$ is a curve of genus $g(C)\neq 1$ we classify the dominant morphisms $C[n]\rightarrow C[r]$, and thanks to this we manage to compute the whole automorphism group of $C[n]$, namely $Aut(C[n])\cong S_n\times Aut(C)$ for any $n\neq 2$, while $Aut(C[2])\cong S_2\ltimes …
For $r \geq 1$ and $\mathbf{n} \in \mathbb{Z}_{\geq0}^r\setminus\{\mathbf{0}\}$, we construct a proper complex variety $\overline{2M}_{\mathbf{n}}$. $\overline{2M}_{\mathbf{n}}$ is locally toric, and it is equipped with a forgetful map $\overline{2M}_{\mathbf{n}} \to \overline M_{0,r+1}$. This space is a compactification of $2M_{\mathbf{n}}$, the configuration space of marked vertical lines in $\mathbb{C}^2$ up to translations and dilations. In the appendices, we give several examples and show how the stratification of $\overline{2M}_{\mathbf{n}}$ can be used to recursively compute its virtual…
Let $M^K_n$ be the moduli space of framed $K$-instantons over $S^4$ with instanton number $n$ when $K$ is a compact simple Lie group of classical type. Let $U^{K}_{n}$ be the Uhlenbeck partial compactification of $M^{K}_{n}$. A scheme structure on $U^{K}_{n}$ is endowed by Donaldson as an algebro-geometric Hamiltonian reduction of ADHM data. In this paper, for $K=SO(N,R)$, $N\ge5$, we prove that $U^{K}_{n}$ is an irreducible normal variety with smooth locus $M^{K}_{n}$. Hence, together with the author's previous result, the K-theoretic Nekrasov partition function for any simple classical group…
We consider the following open questions. Fix a Hilbert function, $h$, that occurs for a reduced zero-dimensional subscheme of $\mathbb P^2$. Among all subschemes, $X$, with Hilbert function $h$, what are the possible Hilbert functions and graded Betti numbers for the first infinitesimal neighborhood, $Z$, of $X$ (i.e. the double point scheme supported on $X$)? Is there a minimum ($h^{\min}$) and maximum ($h^{\max}$) such function? The numerical information encoded in $h$ translates to a {\it type vector}, which allows us to find unions of points on lines, called {\it linear configurations}, w…
For each Dynkin diagram $D$, we define a ''cluster configuration space'' ${\mathcal{M}}_D$ and a partial compactification ${\widetilde {\mathcal{M}}}_D$. For $D = A_{n-3}$, we have ${\mathcal{M}}_{A_{n-3}} = {\mathcal{M}}_{0,n}$, the configuration space of $n$ points on ${\mathbb P}^1$, and the partial compactification ${\widetilde {\mathcal{M}}}_{A_{n-3}}$ was studied in this case by Brown. The space ${\widetilde {\mathcal{M}}}_D$ is a smooth affine algebraic variety with a stratification in bijection with the faces of the Chapoton-Fomin-Zelevinsky generalized associahedron. The regular funct…
A recent paper by the first and third authors together with Sabourin raised the question of what the possible Hilbert functions are for fat point subschemes of the form $2p_1+...+2p_r$, for all possible choices of $r$ distinct points in the projective plane. We study this problem for $r$ points in the plane over an algebraically closed field $k$ of arbitrary characteristic in case either $r \le 8$ or the points lie on a (possibly reducible) conic. In either case, it follows from work of the second author that there are only finitely many configuration types of points, where our notion of confi…
Let M be the moduli scheme of canonically polarized manifolds with Hilbert polynomial h. We construct for a given finite set I of natural numbers m>1 with h(m)>0 a projective compactification M' of the reduced scheme underlying M such that the ample invertible sheaf L corresponding to the determinant of the direct image of the m-th power of the relative dualizing sheaf on the moduli stack, has a natural extension L' to M'. A similar result is shown for moduli of polarized minimal models of Kodaira dimension zero. In both cases "natural" means that the pullback of L' to a curve C --> M', induce…
The symmetric group S_n acts freely on the configuration space of n distinct points in a quasi-projective variety. In this paper, we study the induced action of the symmetric group S_n on the de Rham cohomology of this space, using mixed Hodge theory, combined with methods from the theory of symmetric functions. (We prove a motivic version of this as well.) As an application of our results, we calculate the S_n-equivariant Hodge polynomial of the Fulton-MacPherson compactification X[n] of the configuration space.
In the moduli space M_g of genus g Riemann surfaces, consider the locus RM_O of Riemann surfaces whose Jacobians have real multiplication by the order O in a totally real number field F of degree g. If g = 2 or 3, we compute the closure of RM_O in the Deligne-Mumford compactification of M_g and the closure of the locus of eigenforms over RM_O in the Deligne-Mumford compactification of the moduli space of holomorphic one-forms. For higher genera, we give strong necessary conditions for a stable curve to be in the boundary of RM_O Boundary strata of RM_O are parameterized by configurations of el…
This paper continues our previous study of Feynman integrals in configuration spaces and their algebro-geometric and motivic aspects. We consider here both massless and massive Feynman amplitudes, from the point of view of potential theory. We consider a variant of the wonderful compactification of configuration spaces that works simultaneously for all graphs with a given number of vertices and that also accounts for the external structure of Feynman graph. As in our previous work, we consider two version of the Feynman amplitude in configuration space, which we refer to as the real and comple…
Let X be a closed subscheme and let HF(X,-) and hp(X,-) denote, respectively, the Hilbert function and the Hilbert polynomial of X. We say that X has bipolynomial Hilbert function if HF(X,d)=min{hp(P^n,d),hp(X,d)} for every non-negative integer d. We show that if X consists of a plane and generic lines, then X has bipolynomial Hilbert function. We also conjecture that generic configurations of non-intersecting linear spaces have bipolynomial Hilbert function.
