Skip to main content
2 of 4
added 104 characters in body
Sándor Kovács
  • 42.9k
  • 2
  • 109
  • 155

Here is a variant of Jason's example with a proof that it is not even topologically locally trivial. Let $T$ be a (complex) manifold that admits a morphism $\phi$ onto $\mathbb P^1=\mathbb P^1_{\mathbb C}$ (or $S^2$ if you prefer). Let $\Gamma\subset T\times \mathbb P^1$ be the graph of $\phi$ and let $a\in T$ be a point with $b=\phi(a)\in \mathbb P^1$ and $c\in \mathbb P^1, c\neq b$.

Now let $X=T\times \mathbb P^1\setminus \bigg( \Gamma\cup \big(T\times \{b\}\big)\cup \{(a,c)\}\bigg)$ with the natural projection $\pi:X\to T$.

Claim $\pi$ is not topologically locally trivial near $a\in T$.

Proof Suppose $a$ has a neighbourhood $U\subseteq T$ such that $Y:=\pi^{-1}U\simeq U\times S^2\setminus \{P,Q\}$. Then there exists a projection $p:Y\to S^2\setminus \{P,Q\}$. Consider a circle in $S^2\setminus \{P,Q\}$ that's non-trivial in $H_1(S^2\setminus \{P,Q\}, \mathbb Z)$. Since $p$ is an isomorphism between $\pi^{-1}(a)$ and $S^2\setminus \{P,Q\}$, the same circle lives on $\pi^{-1}(a)$ as well. Then the homology class of the circle can be represented by a "small" circle around the point $(a,c)$ (this point is not in $X$!). Next take a "small" ball inside $T\times \mathbb P^1$ with center at $(a,c)$ that contains the previous "small" circle. By the construction of $X$, the intersection of this ball with $X$ is the entire ball except its center $(a,c)$. Therefore the homology class of that "small" circle in $X$ is trivial. However, this is a contradiction, because it was chosen in a way that its image via $p_*$ would be a nontrivial homology class. $\qquad {\rm Q.E.D.}$

Remark I suppose the same proof works to show that Jason's example is similarly not locally trivial.

Sándor Kovács
  • 42.9k
  • 2
  • 109
  • 155