0
$\begingroup$

The question looks like an exercise in elementary algebraic topology, but I didn't manage to solve it. I am considering this question because it is a toy example in a problem I'm thinking about.

Let's consider the natural embedding $GL_n(\mathbb C) \to \mathbb C^{n^2} \backslash \{0\}$. As was discussed in this question, cohomology with rational coefficients of $GL_n(\mathbb C)$ is an exterior algebra on generators in degrees 1, 3, ..., 2n-1 (one generator in each degree), whereas $\mathbb C^{n^2} \backslash \{0\}$ is homotopy equivalent to a sphere $S^{n^2-1}$.

I'd like to prove that the map induced on cohomology of degree $n^2 - 1$ is a zero map. Any ideas?

Thanks.

$\endgroup$
0

1 Answer 1

11
$\begingroup$

$\mathbb C^{n^2} \smallsetminus {0}$ is homotopy equivalent to $S^{2n^2-1}$, not $S^{n^2-1}$, and $\mathrm H^{2n^2-1}(GL_n(\mathbb C)) = 0$.

$\endgroup$
4
  • 1
    $\begingroup$ Just to be really pedantic, n should be at least 2. $\endgroup$
    – damiano
    Apr 29, 2010 at 14:56
  • 2
    $\begingroup$ Yes, for $n=1$ the two spaces coincide. Let me add that the reason why $\mathrm H^{2n^2-1}(GL_n(\mathbb C)) = 0$ is that $GL_n(\mathbb C)$ is homotopy equivalent to the unitary group $U_n$, which has dimension $n^2$. Or, $\mathrm H^{i}(GL_n(\mathbb C)) = 0$ for $i > n^2$ because $GL_n(\mathbb C)$ is an affine variety of dimension $n^2$. $\endgroup$
    – Angelo
    Apr 29, 2010 at 15:07
  • $\begingroup$ This matches with n^2=1+2+...+(2n-1), the degree of a top cohomology class in the exterior algebra H^*(GL_n(C)). $\endgroup$ Apr 29, 2010 at 19:59
  • $\begingroup$ Another reason that $GL_n(\mathbb{C})$ has top cohomology in dimension $n^2$ is that is an affine algebraic variety of dimension $n^2$. (To see that $GL_n(\mathbb{C})$ is affine, write it as $\{(g,x) \in \mathbb{C}^{n \times n} \times \mathbb{C} : x \det g =1 \}$.) $\endgroup$ Apr 30, 2010 at 11:29

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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