MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
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.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.