Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

The Wikipedia article on (real) Grassmannians gives a simple argument that the Euler characteristic satisfies a recurrence relation $$\chi G_{n,r} = \chi G_{n-1,r-1} + (-1)^r \chi G_{n-1,r}$$. This implies that the euler characteristic is zero if and only if $n$ even and $r$ odd. So $\chi G_{6,3} = 0$, for example. Basic obstruction theory on manifolds tells us that if $\chi M=0$ then there is a non-vanishing vector field on $M$.


Does anyone have any simple, explicit examples of such vector fields? Let's say $G_{n,1}$ for $n$ even does not count. Not to say those aren't interesting examples -- I'd love solutions that simple. But it's not immediately clear how they can be generalized.

share|improve this question
add comment

2 Answers

up vote 9 down vote accepted

Identify $\mathbb R^2$ with $\mathbb C$ and consider the $S^1$ action on $\mathbb R^{2n} \simeq \mathbb C^n$ induced by cordinatewise complex multiplication. These of course lead to the trivial examples on $G_{2n,1}$. For $n$ even and $r$ odd the very same examples do the trick. One has just to observe that these $S^1$ actions have no invariant odd dimensional subspaces, and therefore induce $S^1$-actions without fixed points on $G_{n,r}$.

share|improve this answer
    
Thanks, both jvp and Mariano. These examples are simpler than I expected. That's good! –  Ryan Budney Dec 31 '09 at 22:26
add comment

Pick an even dimensional real vector space $V$ of dimension $n$ and fix a symplectic form $\omega$ on $V$. Look at it as a map $\omega:V\otimes V\to\mathbb R$ by extending it from $\Lambda^2V$ to $V\otimes V$ as zero on the symmetric part. Fix also an inner product $\langle\mathord-,\mathord-\rangle$ in $V$.

Let $k$ be odd and such that $1\leq k\leq n$.

Let $W\subseteq V$ be an $k$-dimensional subspace, and let $W^\perp$ and $W^{\perp\omega}$ be the subspaces orthogonal to $W$ with respect to $\langle\mathord-,\mathord-\rangle$ and to $\omega$, respectively. We know that $\dim W^\perp=\dim W^{\perp\omega}=\dim V-\dim W$.

The restriction $\omega|_{W\otimes W^\perp}:W\otimes W^\perp\to\mathbb R$, which I will write for simplicity just $\omega_W$, is not zero. Indeed, if it were zero, we would have that $W^\perp$ is contained in $W^{\perp\omega}$, so in fact these two orthogonal subspaces would be equal, and in consequence we would have that $W\cap W^{\perp\omega}=W\cap W^\perp=0$. This would tell us that $W$ is in fact a symplectic subspace of $V$, which is absurd because it is odd dimensional.

Now $\omega_W$ is an element of $\hom(W\otimes W^\perp,\mathbb R)$, which identifies canonically with $\hom(W,\hom(W^\perp,\mathbb R))$. The inner product $\langle\mathord-,\mathord-\rangle$ restricts to an inner product on $W^\perp$ which allows us to identify canonically (because the inner product is fixed!) $\hom(W^\perp,\mathbb R)$ with $W^\perp$. After all these identifications, we have a non zero vector $\omega_W$ in $\hom(W,W^\perp)$.

Now, as explained in an answer to a MO question, $\hom(W,W^\perp)$ parametrizes a neighborhood of $W$ in $G(n,k)$, so it also can be identified with the tangent space to $G(n,k)$ at $W$.

We thus see that the rule $W\mapsto \omega_W$ gives a non-zero tangent vector field.

share|improve this answer
add comment

Your Answer

 
discard

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.