Show that if the closed orientable surface \(M_g\) of genus \(g\) retracts onto a graph \(X\subset M_g\), then \(H_1(X)\) has rank at most \(g\). You may use the following algebraic fact: a nonsingular skew-symmetric bilinear pairing over the rationals \(\mathbb {Q}\), of the form \(\mathbb {Q}^n\times \mathbb {Q}^n\to \mathbb {Q}\), cannot be identically 0 when restricted to \(V\times V\) for any \(\mathbb {Q}\)-linear subspace \(V\subset \mathbb {Q}^n\) of dimension \(>n/2\).
Question
Math 6510 • Differentiable Manifolds
Fall 2006 • Question 16