Self maps of homogeneous spaces (Q911682)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Self maps of homogeneous spaces |
scientific article |
Statements
Self maps of homogeneous spaces (English)
0 references
1989
0 references
The problem is the following: suppose that G is a semisimple algebraic group over \({\mathbb{C}}\), \(P\subset G\) a maximal parabolic subgroup and \(Y=G/P\). Let f: \(Y\to X\) be a finite surjective morphism of degree \( >1\) to a smooth variety X; then is X isomorphic to the n-dimensional projective space \({\mathbb{P}}^ n\) with \(n=\dim(X)?\) In this paper, the authors prove that: if \(Y:=G/P\) is as above and if \(f: Y\to Y\) is a finite self map of degree \(>1,\) then Y is isomorphic to \({\mathbb{P}}^ n\) and the following more general theorem is obtained: Let G be a simply connected semisimple algebraic group over \({\mathbb{C}}\). Let \(P\subset G\) be a parabolic subgroup and let \(Y=G/P\) be the homogeneous space. Let \(f: Y\to Y\) be a generically finite morphism. Then there exist parabolic subgroups \(P_ 0,P_ 1,...,P_ m\) of G containing P, and a permutation \(\sigma\) of \(\{\) 1,2,...,m\(\}\) such that (i) there are isomorphisms \(G/P_ i\simeq {\mathbb{P}}^{n_ i}\), such that \(n_{\sigma (i)}=n_ i\) for all i; (ii) there is a finite morphism \(\pi_ i: {\mathbb{P}}^{n_ i}\to {\mathbb{P}}^{n_ i}\) for all \(i>0;\) (iii) the natural morphism \(Y\to G/P_ 0\times G/P_ 1\times...\times G/P_ m\) is an isomorphism under which f: \(Y\to Y\) corresponds to the product \(f_ 0\times f_ 1\times...\times f_ m\) where \(f_ 0: G/P_ 0\to G/P_ 0\) is an isomorphism and \(f_ i\) the composite \(G/P_{\sigma (i)}\simeq {\mathbb{P}}^{n_ i}\to {\mathbb{P}}^{n_ i}\simeq G/P_ i.\) The authors solve the problem when Y is a smooth quadric hypersurface of dimension \(\geq 3;\) this includes the case of Grassmannian \(Y=G(4,2)\). They also prove: Let \(k\leq n\), \(2\leq \ell \leq m\) be integers, such that there exists a finite surjective morphism between Grassmann varieties f: G(k,k\(+n)\to G(\ell,\ell +m)\). Then \(k=\ell\) and \(m=n\) and f is an isomorphism.
0 references
algebraic homogeneous space
0 references
characterization of projective n-space
0 references
quadric hypersurface
0 references
Grassmannian
0 references