1
$\begingroup$

There is a statement on page 149 of James E. Humphreys' Linear Algebraic Groups:

Let $G$ be an algebraic group. $S \subseteq G$ is an arbitrary torus contained in a Borel subgroup $B$. $\mathscr{B}^S$ denotes the the set of Borel subgroups of $G$ containing $S$. Then $\mathscr{B}^S$ can be identified with a closed subgroup of $G/B$.

I don't know why is the set closed.

Let Y = \cup_{B' \in \mathscr{B}^S} B', and $\phi: G \rightarrow G/B$ be the canonical map. Then $\mathscr{B}^S$ can be identified with $\phi(Y)$. As $|\mathscr{B}^S|$ may be finite or infinite, I don't even know whether $Y$ is closed, then why is $\phi(Y)$ closed?

Thank you very much.

  • 1
    @Alex B.: The author has proved, for any algebraic group $G$ and its subgroup $H$, there exists a unique variety $Y$ (on which $G$ acts) and a $G$-equivariant morphism $\phi: G \rightarrow H$, whose fibers are precisely the cosets $xH$, and given a variety $X$ and a morphism $\phi: G \rightarrow X$ whose nonempty fibers are unions of cosets $xH$, there exists a unique morphism $\psi: Y \rightarrow X$ such that $\psi \circ \pi = \phi$. $Y$ is called the homogeneous space and $\pi$ the canonical morphism.2011-10-18

0 Answers 0