8
$\begingroup$

From Harvard math qualification exam, 1990.

Let $X$ be a smooth manifold with an open cover $N<\infty$ sets $\{B_{n}\}^{N}_{1}$ which are contractible. Assume that $\pi_{0}(B_{n}\cap B_{m})\le k, \forall n,m$ for all $n$ and $m$. Give an upper bound to the first betti number of $X$.

Recall that the first betti number is defined to be the rank of $H_{1}(X)$. The main trouble is how the conditon on $\pi_{0}$ relates to the bound. My thought (perhaps dumb) is to proceed this inductively. But an arbitrally large genus surface can be covered by a large enough open ball that is connected. So in this case $n=2g, k=0, N=1$.

I asked my professor today, and he gave the hint that this is nothing but Cech cohomology, in which the $B_{i}$s resemble the faces in simplicial homology. He suggest since $X$ has such a cover then it is the same as putting a simplicial structure on $X$. So the first betti number must be bounded. But how large is the bound given $N$ and $k$? Imagine a two hole torus covered by a million small open balls with one next to each other, then $k$ should be 2 if the balls are small enough. But this seems to carry over to a 3-hole torus or a torus of any genus. I suspect there is some fundamental misunderstanding on the statement of the problem or concepts behind, so I venture to ask. A closer look at the Cech cohomology article does not help me to come up with a bound.

  • 1
    I see your computation. Assume $B_{i}$ are open subsets of $X$, then we should have $0\rightarrow H_{1}(X)\rightarrow H_{0}(B_{i}\cap (B_{1}\cup...\cup B_{i-1} ))\rightarrow 0$. The rest just follows by standard induction. Since every time we add $B_{i}$ as you noted the worst case is $ik$, $(\sum^{N}_{1}i)k=\frac{N(N-1)}{2}k$. Thanks!2012-08-08

1 Answers 1

6

If $\mathfrak{U}$ is any open cover of $X$, the Čech-to-derived functor spectral sequence assures us of an exact sequence of the form $0 \longrightarrow H^1(\check{C}^\bullet(\mathfrak{U})) \longrightarrow H^1(X, \mathbb{Z}) \longrightarrow H^0(\check{C}^\bullet(\mathfrak{U}, \mathscr{H}^1(\mathbb{Z}))) \longrightarrow \cdots$ where $\mathscr{H}^1(\mathbb{Z})$ is the presheaf $U \mapsto H^1(U, \mathbb{Z})$. (Here, $H^1$ refers to sheaf cohomology, but this is the same as singular cohomology when $X$ admits a triangulation.) Since we are assuming the open sets of $\mathfrak{U}$ are contractible, we have $\check{C}^0(\mathfrak{U}, \mathscr{H}^1(\mathbb{Z})) = 0$. So in fact we have an isomorphism $H^1(\check{C}^\bullet(\mathfrak{U})) \cong H^1(X, \mathbb{Z})$ and the universal coefficient theorem gives a short exact sequence $0 \longrightarrow \textrm{Ext}^1(H_0(X, \mathbb{Z}), \mathbb{Z}) \longrightarrow H^1(X, \mathbb{Z}) \longrightarrow \textrm{Hom}(H_1(X, \mathbb{Z}), \mathbb{Z}) \longrightarrow 0$ but if $X$ is path-connected then $H_0(X, \mathbb{Z})$ is a finitely-generated free abelian group, so $\textrm{Ext}^1(H_0(X, \mathbb{Z}), \mathbb{Z}) = 0$, so there is an isomorphism $H^1(X, \mathbb{Z}) \cong \textrm{Hom}(H_1(X, \mathbb{Z}), \mathbb{Z})$ and therefore the ranks of $H^1(X, \mathbb{Z})$ and $H_1(X, \mathbb{Z})$ are equal when finite. Thus, $b_1(X) = \operatorname{rank} H^1(\check{C}^\bullet(\mathfrak{U}))$ By simple linear algebra, $\operatorname{rank} H^1(\check{C}^\bullet(\mathfrak{U})) \le \operatorname{rank} \check{C}^1(\mathfrak{U})$, and $\operatorname{rank} \check{C}^1(\mathfrak{U}) = \sum_{\substack{\{U, V\} \\ U \ne V}} b_0 (U \cap V) \le \frac{1}{2} (N-1) N k$ by definition of $\check{C}^1(\mathfrak{U})$.

In summary, if $X$ admits a cover by $N$ contractible open subsets whose pairwise intersections have at most $k$ connected components, then: $b_1(X) \le \frac{1}{2} (N-1) N k$

  • 0
    @user32240 Oops, I accidentally assumed $k = 1$. I've fixed my answer.2012-08-07