Hi all,


Currently I'm reading a paper about the geometry of Grassmannians:


www.omup.jp/modules/papers/riemann/04Nagatomo.pdf


In there, the author regards the second fundamental form of the k-dimensional tautological bundle $\tau \rightarrow Gr:=Gr\_k(\mathbb{C}^N)$ over a grassmannian
given by


$H=\pi\_{\tau^c} \circ \nabla^0 \in \Omega^1(Gr,Hom(\tau,\tau^c))$.


Here, $\tau^c$ denotes the complementary bundle of $\tau \subset Gr\times \mathbb{C}^N$, such that $\tau \oplus \tau^c \cong Gr \times \mathbb{C}^N$ with respect to the natural hermitian metric and $\pi\_{\tau^c}$ is the projection on it. From this embedding we obtain natural connections on $\tau\rightarrow Gr$ and $\tau^c\rightarrow Gr$ by projecting the flat connection. It's easy to show that $H$ is indeed a 1-form with values in $Hom(\tau,\tau^c)$ as claimed.


In Lemma 2.1 on page 43 the author says that both the second fundamental form of $\tau\rightarrow Gr$ and $\tau^c\rightarrow Gr$ is parallel. 
Now at this point I have my question: 
As far as I know there is only one sense what parallel in this context means, namely


$(\nabla\_X H)\_Y\sigma:=\nabla^{\tau^c}\_X(H\_Y\sigma)-H\_{\nabla\_X Y}\sigma-H\_Y\nabla^{\tau}\_X\sigma=0$.


Can this be true? My first naive approach was writing the whole equation in terms of the flat connection and projections but this leads to nothing, I guess.


I wonder why none of the well known textbooks on differential geometry (of complex vector bundles) e.g. Kobayashi doesn't mention this fact if it is true. Maybe thd definition of "parallel" is not the one meant. So what could be the right one then? I would be grateful for any references.


best regards,
Alex



second fundamental form
Don't know if anyone is interested in the (quite simple) answer:
The bundles $Hom(\tau,\tau^c)$ and $TGr$ are not only isomorphic as bundles but also as bundles with their natural connection, i.e. the induced Hom-connection from $\nabla^{\tau}$ respectively $\tau^{\tau^c}$ and den Levi-Civita-Connection.
We have to show:
$\nabla\_X(H\_Y\sigma)=H\_{\nabla\_XY}\sigma+H\_Y\nabla\_X\sigma$
where everytime the only possible connection is meant. This is equivalent to
$\nabla\_XH\_Y\sigma-H\_Y\nabla\_X\sigma=H\_{\nabla\_XY}\sigma$ but $\nabla\_XH\_Y\sigma-H\_Y\nabla\_X\sigma=:(\nabla^{Hom}\_XH\_Y)(\sigma)$.
Using the fact, that the isomorphism between $Hom(\tau,\tau^c)$ and $TGr$ is given by $X \mapsto H\_X$ and the fact, that this isomorphism preserves the connection, we're done.


You could also use the fact, that $Gr=G/H$ is a homogeneous space, so $G(G/H,H)$ is a principle $H$-fibre bundle with left $G$-action and there is a $G$-invariant connection on this fibre bundle. The $G$-invariance of all tensor fields gives then also that the second fundamental form is parallel.


