Wonderful compactification of an arrangement of subvarieties

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.

We study varieties $\mathcal{A}_n$ arising as equivariant compactifications of the space of $n$ points in $\mathbb{C}$ up to overall translation. We define $\mathcal{A}_n$ and examine its basic geometric properties before constructing an isomorphism to an augmented wonderful variety. We show that $\mathcal{A}_n$ is in a canonical way a resolution of the space $\overline{P}_n$ considered by Zahariuc, proving along the way that the resolution constructed by Zahariuc is equivale...

We prove that the multiplication of sections of globally generated line bundles on a model wonderful variety M of simply connected type is always surjective. This follows by a general argument which works for every wonderful variety and reduces the study of the surjectivity for every couple of globally generated line bundles to a finite number of cases. As a consequence, the cone defined by a complete linear system over M or over a closed G-stable subvariety of M is normal. W...

For a complex connected semisimple linear algebraic group $G$ of adjoint type and of rank $n$, De Concini and Procesi constructed its wonderful compactification $\bar{G}$, which is a smooth Fano $G \times G$-variety of Picard number $n$ enjoying many interesting properties. In this paper, it is shown that the wonderful compactification $\bar{G}$ is rigid under Fano deformation. Namely, for any regular family of Fano manifolds over a connected base, if one fiber is isomorphic ...

Let G be a semisimple complex algebraic group, and H a wonderful subgroup of G. We prove several results relating the subgroup H to the properties of a combinatorial invariant S of G/H, called its spherical system. It is also possible to consider a spherical system S as a datum defined by purely combinatorial axioms, and under certain circumstances our results prove the existence of a wonderful subgroup H associated to S. As a byproduct, we reduce for any group G the proof of...

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 o...

Let $\Omega$ be the complement of a connected, essential hyperplane arrangement. We prove that every dominant endomorphism of $\Omega$ extends to an endomorphism of the tropical compactification $X$ of $\Omega$ associated to the Bergman fan structure on the tropicalization of $\Omega$. This generalizes a previous result by R\'emy, Thuillier and the second author which states that every automorphism of Drinfeld's half-space over a finite field $\mathbb{F}_q$ extends to an auto...

Let $X$ be an algebraic variety with Gorenstein singularities. We define the notion of a wonderful resolution of singularities of $X$ by analogy with the theory of wonderful compactifications of semi-simple linear algebraic groups. We prove that if $X$ has rational singularities and has a wonderful resolution of singularities, then $X$ admits a categorical crepant resolution of singularities. As an immediate corollary, we get that all determinantal varieties defined by the mi...

We develop a model for the cohomology of the complement of a hypersurface arrangement inside a smooth projective complex variety. This generalizes the case of normal crossing divisors, discovered by P. Deligne in the context of the mixed Hodge theory of smooth complex varieties. Our model is a global version of the Orlik-Solomon algebra, which computes the cohomology of the complement of a union of hyperplanes in an affine space. The main tool is the complex of logarithmic fo...

In the setting of strict wonderful varieties we answer positively to Luna's conjecture, saying that wonderful varieties are classified by combinatorial objects, the so-called spherical systems. In particular, we prove that strict wonderful varieties are mostly obtained from symmetric spaces, spherical nilpotent orbits or model spaces. To make the paper self-contained as much as possible, we shall gather some known results on these families and more generally on wonderful vari...