# Canonic identification of the tangent space of the Grassmannian

let $Gr(k,V)$ be the grassmannian of k-dimensional subspaces of the complex vector space $V$ of dimension $n>k$.

I know that, given $K\in Gr(k,V)$, $T_{Gr(k,V),K}\simeq Hom(K,V/K)$, but i want to prove that this isomorphism is canonical.

I'm following Claire Voisin's book "Hodge theory and complex algebraic geometry I". She proceeds this way:

We choose a basis $\sigma_1,\cdots,\sigma_k$ of $K$ and let be $\widetilde{\sigma_1},\cdots,\widetilde{\sigma_k}$ sections of the canonical bundle such that $\widetilde{\sigma}_i(K)=\sigma_i$, $1\le i\le k$. To the tangent vector $u\in T_{Gr(k,V),K}$ we associate the linear map $h_u:K\rightarrow V/K$ defined as

$h_u(\sigma_i)=u(\widetilde{\sigma_i})$ $mod$ $K$

Where $u(\widetilde{\sigma_i})$ is the derivative with respect to $u$ of the section $\widetilde{\sigma_i}$ considered as a function on $G$ with values in $W$. Voisin writes that this identification is canonical because, if $\alpha$ is a section of the canonical bundle which vanishes on $K$, then locally we can write $\alpha=\sum_if_i\widetilde{\sigma_i}$ ($f_i$ holomorphic functions which vanish on $K$) and $u(\alpha)=\sum_i u(f_i)\widetilde{\sigma_i}(K)\in K$ and so $u(\alpha)=0$ in $V/K$.

Maybe I am missing something very basic, but how does this tell me that the association $u\mapsto h_u$ is indipendent to the choice of a base?

-
It seems to me that the easiest way to understand the Grassmannian as a manifold and its tangent bundle is by viewing it as a homogeneous space, i.e, the quotient of $GL(v)$ by the appropriate subgroup. And it's worth working everything out for projective space first. –  Deane Yang Jul 6 '13 at 4:40

There is a natural map $\mu:\text{Aut}(V)\times G_k(V)\to G_k(V)$ sending $(A,W)$ to $AW$. Differentiating this at $(I,W)$ gives a natural map $\mu_*:\text{Hom}(V,V)\to T_WG_k(V)$. There is also a natural map $\pi:\text{Hom}(V,V)\to\text{Hom}(W,V/W)$, given by $$\pi(\alpha) = (W \xrightarrow{\text{inc}} V \xrightarrow{\alpha} V \xrightarrow{\text{proj}} V/W).$$ I claim that there is a unique map $\nu:\text{Hom}(W,V/W)\to T_WG_k(V)$ with $\mu_*=\nu\circ\pi$, and that $\nu$ is an isomorphism. To prove this, we introduce the subgroup $\text{Aut}(V,W)=\{A\in \text{Aut}(V): AW=W\}$, and check that the tangent space to $\text{Aut}(V,W)$ at $I$ is the kernel of $\pi$; the rest follows easily from this.