I have found somewhere that $T(S^n)$ is an algebraic variety in $\mathbb{C}^{n+1}$. But now I can not recall the explicit form of this variety and the source of this information. It will be helpful if somebody enlightens me on this fact.
2 Answers
We have $$S^n = \{ (x_0, \ldots, x_n) \in \mathbb{R}^{n+1} : x_0^2 + \cdots + x_n^2 = 1 \}$$ and therefore $$T(S^n) = \{ (x_0, \ldots, x_n, v_0, \ldots, v_n) \in \mathbb{R}^{2 n + 2} : x_0^2 + \cdots + x_n^2 = 1, x_0 v_0 + \cdots + x_n v_n = 0 \}$$ because the (outward) normal vector to the sphere at $(x_0, \ldots, x_n)$ is just $(x_0, \ldots, x_n)$ itself. Putting $$y_k = x_k \sqrt{1 + v_0^2 + \cdots + v_n^2}$$ we find that we can rewrite the two equations as a single complex equation, namely $$(y_0 + i v_0)^2 + \cdots + (y_n + i v_n)^2 = 1$$ and thus $T(S^n)$ is diffeomorphic to the complex affine variety $$\{ (z_0, \ldots, z_n) \in \mathbb{C}^{n+1} : z_0^2 + \cdots + z_n^2 = 1 \}$$ and therefore has the structure of a complex manifold.
- 97,105
-
1This is unrelated to the OP's question which was looking for a subvariety in $\mathbb{C}^{n}$ rather than $n+1$. – Mikhail Katz Aug 11 '14 at 12:50
-
1Thank You .... That helped me. – Paladin Aug 11 '14 at 15:21
-
Dear @Zhen: your answer is beautifully crafted:+1. Do you know who first discovered this unexpected complex structure? – Georges Elencwajg Sep 06 '14 at 10:43
-
I have no idea. I originally encountered it as an exercise when I took undergraduate algebraic geometry from Ian Grojnowski. – Zhen Lin Sep 06 '14 at 12:37
For $n=1$ this works because the complement of a point in $\mathbb C$ is homeomorphic to $S^1\times\mathbb R$ and the tangent bundle of the circle is trivial. But already for $n=2$ this seems problematic because the complement of a $\mathbb R$ in $\mathbb {C}^2$ is homeomorphic to the trivial bundle $S^2\times \mathbb{R}^2$ whereas the tangent bundle of $S^2$ is nontrivial.
- 47,573
-
If $T(S^n)$ is non-trivial, it cannot be embedded in $\Bbb R^{2n}$ as every manifold diffeomorphic to $S^n$ in $R^{2n}$ has a trivial normal bundle by a theorem of Kervaire. To see expositions of this and other related facts see the references on my answer here : http://math.stackexchange.com/questions/893519/tangent-bundle-of-s2-not-diffeomorphic-to-s2-times-mathbbr2/893560#893560 – PVAL-inactive Sep 05 '14 at 05:20
-
@PVAL, that was my point I think. The original question was later modified by changing $C^n$ to $C^{n+1}$. – Mikhail Katz Dec 03 '14 at 17:35