1
$\begingroup$

Let $X$ be a complex manifold equipped with a smooth hermitian metric $h$. We can define a sub-fibration $B \to X$ of the tangent bundle $T_X$ by requiring that the fiber over a point be the unit ball in $T_X$ at that point, i.e.

$$ B_x = \{ \xi \in T_{X,x} \, | \, \| \xi \|_{h(x)} = 1 \}. $$

I want to see that if $X$ is compact, then the fibration $B$ is compact in the total space of $T_X$. This is just a global version of the usual fact that the unit ball in a normed finite dimensional vector space is compact.

I can prove this by using the (horrible) definition of $T_X$ as the disjoint union of the stalks $T_{X,x}$ modulo an equivalence relation. As each $B_x$ is compact, their disjoint union is compact in the disjoint union of the stalks by Tychonoff, and dividing by the equivalence relation is a continuous map so $B$ is compact in the total space of $T_X$.

Isn't there a nicer way to see this? I ask both because I really don't like the definition of the tangent space as a disjoint union of stalks, and because I have to prove a similar lemma for the relative tangent space associated to deformations of a manifold $X$. A similar proof works in that case, but it is quite dirty.

  • 0
    I wonder if we can trick our way out of this by looking at the projectivized bundle $\mathbb P(T_X)$? The usual projective space is the unit ball $S^{2n+1}$ modulo $S^1$, so maybe the projectivized bundle is the unit ball fibration modulo $S^1 \times X$? Hmm... if we know that $\mathbb P^n$ is compact, then does it follow that $S^{2n+1}$ is compact?2011-02-22
  • 0
    why isn't it clear that $S^n$ is compact?2011-02-23
  • 0
    It is, but to make the trick work one would have to deduce that from that $\mathbb P^n$ and $S^1$ are compact.2011-02-23

1 Answers 1

1

Hint: Here is an outline of a possible proof.

1) Do the problem in the special case that the ball fibration is trivial, i.e., isomorphic to a product.

2) Convince yourself that the ball fibration is locally trivial.

3) Since the base is compact, you can find a finite open cover $\{U_i\}$ such that the restriction of the fibration to each $U_i$ is trivial. Now use the fact that a finite union of compact sets is compact.

  • 0
    Isn't there a problem in 1), i.e. that $S^{2n+1} \times U$ is not compact in $\mathbb C^n \times U$ for $U$ open? We can get out of it by using the closures of relatively compact $V$ in $U$, but that still leaves the issue in 3) where we need to quotient by the equivalence relation induced by the transition functions. I have the impression that this is basically the same proof as I outlined, except we avoid applying Tychonoff.2011-02-22
  • 0
    Yes, you want to make sure to use $U_i$'s which have compact closure contained in some other trvializing open set. But since the base space is regular, this is no problem. As to whether it's the same as your argument: well, you said you wanted to avoid the definition of the tangent bundle as a disjoint union of stalks modulo an equivalence relation, and the argument I gave does seem to avoid this...2011-02-22
  • 0
    Indeed it does, thank you Pete. But what I'd ideally like is something like: "If $V \to X$ is a vector bundle over a compact base, and $B \to X$ is a sub-fibration where each fiber is compact, then $B$ is compact in $V$." Here we have more, because as you said, the ball fibration is locally trivial. Some dirty elementary topology can probably give what I need, but I wondered if there wasn't a clever way to do this before I broke out pages and pages of open coverings.2011-02-22
  • 0
    P.S.: I don't see where we're taking the quotient by anything in my argument. You will get the space you want as a finite union of compact subspaces, so it's compact.2011-02-22
  • 0
    @Gunnar: but are you really interested in non-locally trivial fibrations? That would seem to lie in the realm of algebraic topology, not manifold theory. If so, you should probably edit your question to reflect this.2011-02-22
  • 0
    Hmm... maybe I spoke too quickly about the quotients. I had the impression we had a similar situation to when we define a vector bundle over a space by giving the transition functions on an open covering of the space. There we need to quotient to get the "real" vector bundle.2011-02-22
  • 0
    No, not at all, I just have vector bundles and those ball fibrations. It's just that I do have to apply this result twice in slightly different situations (once for $T_X$ of a manifold, once for the relative tangent bundle of a deformation), and I wanted something I could use for both.2011-02-22
  • 0
    @Gunnar: yes, that's how you *construct* a vector bundle from a cocycle of transition functions. If you already have the bundle, this is not necessary.2011-02-22
  • 0
    It appears that all the fibrations being mentioned are indeed locally trivial. I am confused as to why Pete's answer is not exactly what you want. He is only using properties of vector bundles, and this is exactly the solution that "popped into my head".2011-02-23
  • 0
    Pete's solution is not exactly what I want because it is morally the same as the proof I outlined in my question. Like I said, I can make that one work for what I need, but I wondered if there wasn't a trick or a clever idea one could use to make this trivial. In short, isn't there a Book proof of this?2011-02-23