On embeddings of homogeneous spaces with small boundary

DOI10.1016/J.JALGEBRA.2005.10.016MaRDI QIDQ855343zbMATH OpenOpenAlexFDO

Authors Ivan V. Arzhantsev, Jürgen Hausen

Publication date 7 December 2006

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0507557

equivariant embedding GIT fan GIT quotient Grosshans subgroup total coordinate ring

Geometric invariant theory (14L24) Group actions on varieties or schemes (quotients) (14L30) Homogeneous spaces and generalizations (14M17)

Abstract: We study equivariant embeddings with small boundary of a given homogeneous space

G / H

, where

G

is a connected, linear algebraic group with trivial Picard group and only trivial characters, and

H s u b s e t G

is an extension of a connected Grosshans subgroup by a torus. Under certain maximality conditions, like completeness, we obtain finiteness of the number of isomorphism classes of such embeddings, and we provide a combinatorial description the embbeddings and their morphisms. The latter allows a systematic treatment of examples and basic statements on the geometry of the equivariant embeddings of a given homogeneous space

G / H

.

Review text

Let \(G\) be a connected linear algebraic group over an algebraically closed field \(k\) of characteristic zero and \(H\subset G\) be an algebraic subgroup. A small \(G/H\)-embedding is an irreducible \(G\)-variety \(X\) containing \(G/H\) as an open orbit and such that \(\text{codim}X\setminus(G/H)\geq2\). The paper develops a theory of small embedding under some technical restrictions: \(G\) is supposed to have trivial Picard group and trivial character lattice (e.g., be semicircle and simply connected) and \(H\) be a connected subgroup such that \(G/H_1\) is quasiaffine and \(k[G/H_1]\) is finitely generated, where \(H_1\) is the common kernel of all characters \(H\to k^{*}\). Unlike the general theory of equivalent embedding of homogeneous spaces [see \textit{D. Luna} and \textit{Th. Vust}, Comment. Math. Helv. 58, 186--245 (1983; Zbl 0545.14010)], the theory of small embedding leads to explicit classification and concrete constructions. The basic tool is the total coordinate ring \(R\) of \(G/H\), which is the direct sum of the spaces of global sections of reflexive sheaves corresponding to the divisor classes on \(G/H\). In the above setup, \(R=k[G/H_1]\). Now ``maximal (in a sense; e.g., complete) small embeddings are realized as good quotients of certain open subsets in \(Z=\text{Spec}R\) by the torus \(H/H_1\). The latter are described in terms of the GIT fan of \(Z\) [cf. the authors' preprint \url{arXiv:math.AG/053107}]. In particular, this description implies that there are only finitely many complete small embedding of \(G/H\). As an application, there are constructed several examples of small embedding: those admitting a structure of a toric variety, projective small embedding with at most \(\mathbb{Q}\)-factorial singularities, homogeneous spaces admitting small equivalent completions but no smooth ones, etc. The paper is written in a comprehensible manner, with a number of clarifying examples.

Recommendations

Cites work

Cited in

(13)

This page was built for publication: On embeddings of homogeneous spaces with small boundary

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q855343)