View source for User:Maximilian Janisch/latexlist/Algebraic Groups/Flag

{{TEX|done}}<div class="Vorlage_Achtung" style="border: 0.18em solid #FF6666; border-left:1em solid #FF6666; margin:0.5em 0em; overflow:hidden; padding:0.5em; text-align: left;">
This page is a copy of the article [[Flag]] in order to test [[User:Maximilian_Janisch/latexlist|automatic LaTeXification]]. This article is not my work.
</div>


''of type $2$ in an $12$-dimensional vector space $V$''

A collection of linear subspaces $V _ { 1 } , \ldots , V _ { k }$ of $V$ of corresponding dimensions $n _ { 1 } , \ldots , n _ { k }$, such that $V _ { 1 } \subset \ldots \subset V _ { k }$ (here $\nu = ( n 1 , \ldots , n _ { k } )$, $1 \leq k \leq n - 1$; $0 &lt; n _ { 1 } &lt; \ldots &lt; n _ { k } &lt; n$). A flag of type $\nu _ { 0 } = ( 1 , \ldots , n - 1 )$ is called a complete flag or a full flag. Any two flags of the same type can be mapped to each other by some linear transformation of $V$, that is, the set $F _ { \nu } ( V )$ of all flags of type $2$ in $V$ is a homogeneous space of the general linear group $GL ( V )$. The unimodular group $SL ( V )$ also acts transitively on $F _ { \nu } ( V )$. Here the stationary subgroup $H _ { F }$ of $H ^ { \prime }$ in $GL ( V )$ (and also in $SL ( V )$) is a parabolic subgroup of $GL ( V )$ (respectively, of $SL ( V )$). If $H ^ { \prime }$ is a complete flag in $V$, defined by subspaces $V _ { 1 } \subset \ldots \subset V _ { n - 1 }$, then $H _ { F }$ is a complete triangular subgroup of $GL ( V )$ (respectively, of $SL ( V )$) relative to a basis $e _ { 1 } , \ldots , e _ { x }$ of $V$ such that $e _ { i } \in V$, $i = 1 , \dots , n$. In general, quotient spaces of linear algebraic groups by parabolic subgroups are sometimes called flag varieties. For $k = 1$, a flag of type $( n _ { 1 } )$ is simply an $n 1$-dimensional linear subspace of $V$ and $F ( x _ { 1 } ) ( V )$ is the [[Grassmann manifold|Grassmann manifold]] $G _ { n , n _ { 1 } } = Gr _ { n _ { 1 } } ( V )$. In particular, $F ( 1 ) ( V )$ is the projective space associated with the vector space $V$. Every flag variety $F _ { \nu } ( V )$ can be canonically equipped with the structure of a projective algebraic variety (see [1]). If $V$ is a real or complex vector space, then all the varieties $F _ { \nu } ( V )$ are compact. Cellular decompositions and cohomology rings of the $F _ { \nu } ( V )$ are known (see [3], and also [[Bruhat decomposition|Bruhat decomposition]]).

For references see [[Flag structure|Flag structure]].