Grassmann manifolds

Revision as of 19:47, 26 November 2010 (view source) Stefan Jackowski (Talk | contribs) ← Older edit		Revision as of 19:48, 26 November 2010 (view source) Stefan Jackowski (Talk | contribs) Newer edit →
Line 23:		Line 23:
	The tangent bundle to Grassmaniann can be expressed in terms of the canonical bundle: $TG_k(V)= \Hom (\gamma_k^\bot , \gamma_k).$		The tangent bundle to Grassmaniann can be expressed in terms of the canonical bundle: $TG_k(V)= \Hom (\gamma_k^\bot , \gamma_k).$
−
	{{beginthm|Proposition|}} There exist a natural diffeomorphism $G_k(V)\simeq G_{n-k}(V^*)$. {{endthm}}		{{beginthm|Proposition|}} There exist a natural diffeomorphism $G_k(V)\simeq G_{n-k}(V^*)$. {{endthm}}
Line 31:		Line 30:
	There is an embedding of the Grassmannian $G_k(V)$ in the Cartesian space $\F^{n^2}=\Hom\,(F^n,F^n)$ which assigns to every subspace the orthogonal projection on it. If $V$ is equipped with a norm, the embedding defines a natural (operator) metric on $G_k(V)$.		There is an embedding of the Grassmannian $G_k(V)$ in the Cartesian space $\F^{n^2}=\Hom\,(F^n,F^n)$ which assigns to every subspace the orthogonal projection on it. If $V$ is equipped with a norm, the embedding defines a natural (operator) metric on $G_k(V)$.
−	Infinite dimensional Grassmannians. Natural inclusions of vector space $\F^1 \subset \F^2 \subset ...\F^n \subset ...$ defines inclusions of Grassmannians. The colimit of the resulting sequence is denoted $G_k(\F{\infty} ).$	+	Infinite dimensional Grassmannians. Natural inclusions of vector space $\F ^1 \subset \F ^2 \subset ...\F ^n \subset ...$ defines inclusions of Grassmannians. The colimit of the resulting sequence is denoted $G_k(\F{\infty} ).$

---

Revision as of 19:48, 26 November 2010

This page has not been refereed. The information given here might be incomplete or provisional.

Contents 1 Introduction 2 Construction and examples 3 Classification/Characterization 4 Further discussion 5 References

1 Introduction

Grassmann manifolds are named after Hermann Grassmann, a German school teacher in Stettin who developed basic notions of linear algebra. They play a key role in topology and geometry as the universal spaces of vector bundles.

2 Construction and examples

Let ${{Stub}} == Introduction == <wikitex include="TeXInclude:Grassmann_manifolds">; Grassmann manifolds are named after Hermann Grassmann, a German school teacher in Stettin who developed basic notions of linear algebra. They play a key role in topology and geometry as the universal spaces of vector bundles. </wikitex> == Construction and examples == <wikitex>; Let $\F=\Rr ,\Cc , \Hh$ be the real, complex or quaternion field and $V$ a vector space over $\F$ of dimension $n$ and let $k\leq n$. A Grassmann manifolds of $k$-dimensional subspaces is a set $G_k(V)$ of $k$-dimensional subspaces. The set $G_k(V)$ is a quotient of a subset of $V\times ...\times V$ consisting of linearly independent $k$-tuples of vectors with the subspace topology. We define topology on $G_k(V)$ as the quotient topology. {{beginthm|Theorem|{{cite|Milnor&Stasheff1974}}}} $G_k(V)$ is a Hausdorff, compact space. {{endthm}} {{beginthm|Theorem|{{cite|Milnor&Stasheff1974}}}} $G_k(V)$ is a connected, compact smooth manifold of dimension $dk(n-k)$. For $\F=\Cc ,\Hh$ it is also a complex manifold.{{endthm}} Note that the Grassmann manifold $G_k(V)$ around $W\in G_k(V)$ is locally modelled on the vector space $Hom (W^\bot ,W).$ Grassmann manifold is a homogeneous space of the general linear group. General linear group $GL(V)$ acts transitively on $G_k(V)$ with an isotropy group consisting of automorphisms preserving a given subspace. If the space $V$ is equipped with a scalar product (hermitian metric resp.) then the group of isometries $O(V)$ acts transitively and the isotropy group of $W$ is $O(W^\bot)\times O(W)$. The Grassmann manifold is equipped with the canonical, tautological vector bundle $\gamma^V_k.$ which is a subbundle of the trivial bundle $G_k(V)\times V \to G_k(V)\times V$. The total space is $E(\gamma^V_k) = \{(W,w)\in G_k(V)\times V\, |\,\, w\in W \}$ The total space of the associated principal bundle is a Stiefel manifold. The tangent bundle to Grassmaniann can be expressed in terms of the canonical bundle: $TG_k(V)= \Hom (\gamma_k^\bot , \gamma_k).$ {{beginthm|Proposition|}} There exist a natural diffeomorphism $G_k(V)\simeq G_{n-k}(V^*)$. {{endthm}} The Grassmannians $G_1(V)$ are projective spaces, denoted $P (V)$. Note that $G_1(F^2)=S^d$, where $d=dim_R F$. If we identify $S^d$ with the one-point compactification of $\F$ the projection of the canonical principal bundle corresponds to the map $p_d :S^{2d-1}\to S^d$ given by $p_d(z_0,z_1)=z_0/z_1$ where $z_i\in\F$. Note, that the same formula works for octonions $\Oo$, however the higher dimensional projective spaces over octonions do not exist. The maps $p_d :S^{2d-1}\to S^d$ for $d= 2,4,8$ are called the Hopf maps and they play a very important role in homotopy theory; a fibre of $p_d$ is a sphere $S^{d-1}$. There is an embedding of the Grassmannian $G_k(V)$ in the Cartesian space $\F^{n^2}=\Hom\,(F^n,F^n)$ which assigns to every subspace the orthogonal projection on it. If $V$ is equipped with a norm, the embedding defines a natural (operator) metric on $G_k(V)$. Infinite dimensional Grassmannians. Natural inclusions of vector space $\F^1 \subset \F^2 \subset ...\F^n \subset ...$ defines inclusions of Grassmannians. The colimit of the resulting sequence is denoted $G_k(\F{\infty} ).$ == Invariants == <wikitex include="TeXInclude:Grassmann_manifolds">; Homotopy groups: Bot periodicity, relation to homotopy group of spheres Cohomology groups. ... </wikitex> == Classification/Characterization == <wikitex include="TeXInclude:Grassmann_manifolds">; ... </wikitex> == Further discussion == <wikitex>; Grassmann manifolds are examples of [[coadjoint orbits]] \cite{Kirillov2004}. </wikitex> == References == {{#RefList:}} <!-- Please modify these headings or choose other headings according to your needs. --> [[Category:Manifolds]]{{Stub}} == Introduction == <wikitex include="TeXInclude:Grassmann_manifolds">; Grassmann manifolds are named after Hermann Grassmann, a German school teacher in Stettin who developed basic notions of linear algebra. They play a key role in topology and geometry as the universal spaces of vector bundles. </wikitex> == Construction and examples == <wikitex>; Let $\F=\Rr ,\Cc , \Hh$ be the real, complex or quaternion field and $V$ a vector space over $\F$ of dimension $n$ and let $k\leq n$. A Grassmann manifolds of $k$-dimensional subspaces is a set $G_k(V)$ of $k$-dimensional subspaces. The set $G_k(V)$ is a quotient of a subset of $V\times ...\times V$ consisting of linearly independent $k$-tuples of vectors with the subspace topology. We define topology on $G_k(V)$ as the quotient topology. {{beginthm|Theorem|{{cite|Milnor&Stasheff1974}}}} $G_k(V)$ is a Hausdorff, compact space. {{endthm}} {{beginthm|Theorem|{{cite|Milnor&Stasheff1974}}}} $G_k(V)$ is a connected, compact smooth manifold of dimension $dk(n-k)$. For $\F=\Cc ,\Hh$ it is also a complex manifold.{{endthm}} Note that the Grassmann manifold $G_k(V)$ around $W\in G_k(V)$ is locally modelled on the vector space $Hom (W^\bot ,W).$ Grassmann manifold is a homogeneous space of the general linear group. General linear group $GL(V)$ acts transitively on $G_k(V)$ with an isotropy group consisting of automorphisms preserving a given subspace. If the space $V$ is equipped with a scalar product (hermitian metric resp.) then the group of isometries $O(V)$ acts transitively and the isotropy group of $W$ is $O(W^\bot)\times O(W)$. The Grassmann manifold is equipped with the canonical, tautological vector bundle $\gamma^V_k.$ which is a subbundle of the trivial bundle $G_k(V)\times V \to G_k(V)\times V$. The total space is $E(\gamma^V_k) = \{(W,w)\in G_k(V)\times V\, |\,\, w\in W \}$ The total space of the associated principal bundle is a Stiefel manifold. The tangent bundle to Grassmaniann can be expressed in terms of the canonical bundle: $TG_k(V)= \Hom (\gamma_k^\bot , \gamma_k).$ {{beginthm|Proposition|}} There exist a natural diffeomorphism $G_k(V)\simeq G_{n-k}(V^*)$. {{endthm}} The Grassmannians $G_1(V)$ are projective spaces, denoted $P (V)$. Note that $G_1(F^2)=S^d$, where $d=dim_R F$. If we identify $S^d$ with the one-point compactification of $\F$ the projection of the canonical principal bundle corresponds to the map $p_d :S^{2d-1}\to S^d$ given by $p_d(z_0,z_1)=z_0/z_1$ where $z_i\in\F$. Note, that the same formula works for octonions $\Oo$, however the higher dimensional projective spaces over octonions do not exist. The maps $p_d :S^{2d-1}\to S^d$ for $d= 2,4,8$ are called the Hopf maps and they play a very important role in homotopy theory; a fibre of $p_d$ is a sphere $S^{d-1}$. There is an embedding of the Grassmannian $G_k(V)$ in the Cartesian space $\F^{n^2}=\Hom\,(F^n,F^n)$ which assigns to every subspace the orthogonal projection on it. If $V$ is equipped with a norm, the embedding defines a natural (operator) metric on $G_k(V)$. Infinite dimensional Grassmannians. Natural inclusions of vector space $\F^1 \subset \F^2 \subset ...\F^n \subset ...$ defines inclusions of Grassmannians. The colimit of the resulting sequence is denoted $G_k(\F{\infty} ).$ == Invariants == <wikitex include="TeXInclude:Grassmann_manifolds">; Homotopy groups: Bot periodicity, relation to homotopy group of spheres Cohomology groups. ... </wikitex> == Classification/Characterization == <wikitex include="TeXInclude:Grassmann_manifolds">; ... </wikitex> == Further discussion == <wikitex>; Grassmann manifolds are examples of [[coadjoint orbits]] \cite{Kirillov2004}. </wikitex> == References == {{#RefList:}} <!-- Please modify these headings or choose other headings according to your needs. --> [[Category:Manifolds]]\F=\Rr ,\Cc , \Hh$ be the real, complex or quaternion field and $V$ a vector space over

Tex syntax error

$\F$ of dimension $n$ and let

Tex syntax error

$k\leq n$. A Grassmann manifolds of $k$-dimensional subspaces is a set

Tex syntax error

$G_k(V)$ of $k$-dimensional subspaces. The set

Tex syntax error

$G_k(V)$ is a quotient of a subset of

Tex syntax error

$V\times ...\times V$ consisting of linearly independent $k$-tuples of vectors with the subspace topology. We define topology on

Tex syntax error

$G_k(V)$ as the quotient topology. Note that the Grassmann manifold

Tex syntax error

$G_k(V)$ around

Tex syntax error

$W\in G_k(V)$ is locally modelled on the vector space

Tex syntax error

$Hom (W^\bot ,W).$ Grassmann manifold is a homogeneous space of the general linear group. General linear group

Tex syntax error

$GL(V)$ acts transitively on

Tex syntax error

$G_k(V)$ with an isotropy group consisting of automorphisms preserving a given subspace. If the space $V$ is equipped with a scalar product (hermitian metric resp.) then the group of isometries

Tex syntax error

$O(V)$ acts transitively and the isotropy group of $W$ is

Tex syntax error

$O(W^\bot)\times O(W)$. The Grassmann manifold is equipped with the canonical, tautological vector bundle

Tex syntax error

$\gamma^V_k.$ which is a subbundle of the trivial bundle

Tex syntax error

$G_k(V)\times V \to G_k(V)\times V$. The total space is

Tex syntax error

$E(\gamma^V_k) = \{(W,w)\in G_k(V)\times V\, |\,\, w\in W \}$ The total space of the associated principal bundle is a Stiefel manifold.

The tangent bundle to Grassmaniann can be expressed in terms of the canonical bundle: $TG_k(V)= \Hom (\gamma_k^\bot , \gamma_k).$

The Grassmannians

Tex syntax error

$G_1(V)$ are projective spaces, denoted

Tex syntax error

$P (V)$. Note that

Tex syntax error

$G_1(F^2)=S^d$, where

Tex syntax error

$d=dim_R F$. If we identify

Tex syntax error

$S^d$ with the one-point compactification of

Tex syntax error

$\F$ the projection of the canonical principal bundle corresponds to the map

Tex syntax error

$p_d :S^{2d-1}\to S^d$ given by

Tex syntax error

$p_d(z_0,z_1)=z_0/z_1$ where

Tex syntax error

$z_i\in\F$. Note, that the same formula works for octonions $\Oo$, however the higher dimensional projective spaces over octonions do not exist. The maps

Tex syntax error

$p_d :S^{2d-1}\to S^d$ for $d= 2,4,8$ are called the Hopf maps and they play a very important role in homotopy theory; a fibre of

Tex syntax error

$p_d$ is a sphere

Tex syntax error

$S^{d-1}$. There is an embedding of the Grassmannian

Tex syntax error

$G_k(V)$ in the Cartesian space

Tex syntax error

$\F^{n^2}=\Hom\,(F^n,F^n)$ which assigns to every subspace the orthogonal projection on it. If $V$ is equipped with a norm, the embedding defines a natural (operator) metric on

Tex syntax error

$G_k(V)$.

Infinite dimensional Grassmannians. Natural inclusions of vector space $\F ^1 \subset \F ^2 \subset ...\F ^n \subset ...$ defines inclusions of Grassmannians. The colimit of the resulting sequence is denoted $G_k(\F{\infty} ).$

Invariants

Homotopy groups: Bot periodicity, relation to homotopy group of spheres

Cohomology groups.

...

3 Classification/Characterization

...

4 Further discussion

Grassmann manifolds are examples of coadjoint orbits [Kirillov2004].

5 References

• [Kirillov2004] A. A. Kirillov, Lectures on the orbit method, Graduate Studies in Mathematics 64, American Mathematical Society, Providence, RI, 2004. MR2069175 (2005c:22001) Zbl 02121486
• [Milnor&Stasheff1974] J. W. Milnor and J. D. Stasheff, Characteristic classes, Princeton University Press, Princeton, N. J., 1974. MR0440554 (55 #13428) Zbl 1079.57504