Intereting Posts

Confusion with Euler-Lagrange Derivation
Argument on why $\Bbb N$ does not have a least upper bound
Lower bounds for bb(7) and bb(8) wanted
De Morgan's law on infinite unions and intersections
$\sqrt{7\sqrt{7\sqrt{7\sqrt{7\sqrt{7\cdots}}}}}$ approximation
Find a single-valued analytic branch of $\sqrt{z^2-1}$ in $\mathbb{C} \backslash $.
Prove surface area of a sphere using solid of revolution surface area formula.
If $A$ is normal and upper triangular then it is diagonal
On the equation $3x^3 + 4y^3 + 5z^3 = 0$
Find The Last 3 digits of the number $2003^{2002^{2001}}$
Is there a simple math behind splitting multiple bills evenly across many people?
Inequalities of expressions completely symmetric in their variables
Is there a topological group that is connected but not path-connected?
Proving $ \frac{z}{1+|z|} $ is holomorphic nowhere
Convergent series whose Cauchy product diverges

Recall that a manifold $M$ of dimension $n$ is parallelizable if there are $n$ vector fields that form a basis of the tangent space $T_x M$ at every point $x \in M$. This is equivalent to the tangent bundle $TM$ being trivial or the frame bundle $FM$ having a global section.

I know of some conditions (both necessary and sufficient), as well as counter-examples, both of which I provided in an answer to this recent question on tangent bundles.

But the results I am familiar with are rather disparate and I was wondering whether some more coherent theory is known. In the ideal case giving a set of necessary and/or sufficient conditions (e.g. in terms of cohomology groups) or at least completely characterizing some nice class of manifolds (like for Lie groups, which are parallelizable; or for compact manifolds with non-zero Euler characteristic, which are not).

- Are all paths with the same endpoints homotopic in a simply connected region?
- Applications of algebra and/or topology to stochastic (or Markov) processes
- Is there a initial “bordism-like” homology theory?
- Inclusion $O(2n)/U(n)\to GL(2n,\mathbb{R})/GL(n,\mathbb{C}) $
- Fake homeomorphism between $R$ and $R^2$
- Second Stiefel-Whitney Class of a 3 Manifold

- Detail in the proof that sheaf cohomology = singular cohomology
- Intuition of the meaning of homology groups
- Let $p=(5,0,-4)$ and $v \in T_{(5,0,-4)}M$. Compute $(F^{*}\omega)_p(v)$.
- Geometric understanding of differential forms.
- Convex combination of projection operators
- Riemannian Manifolds with $n(n+1)/2$ dimensional symmetry group
- $G$ is Topological $\implies$ $\pi_1(G,e)$ is Abelian
- Topology knowledge for CW complexes $\oplus$ Reference request
- Finding the curvature and normal vector for an arclength curve
- Continuous map from Projective Plane to Torus

(Disclaimer. The following describes some cohomological conditions that *formally* answer the question. But they are 1) usually too hard to compute; 2) don’t really explain what is the class of parallelizable manifolds geometrically.)

The problem of existence of a section is answered (well, in a sense) by obstruction theory. Namely, there is the first obstruction $o_1\in H^1(X,\pi_0(F))$ and there is a section on $sk_1(X)$ iff $o_1=0$; if $o_1=0$ each section on $sk_1(X)$ defines an obstruction $o_2\in H^2(X,\pi_1(F))$ and so on (and if all obstructions are trivial, the bundle has a section).

(Well, actually one should be careful with $H^1(X;\pi_0(F))$: in general, $\pi_0(F)$ is not a group, so this $H^1$ just doesn’t make sense, and the story starts a step (or two, if $\pi_1(F)$ is not abelian) later. But in the cases we’re interested in, $o_1$ is well-defined.)

In the case of frame bundle of $n$-dimensional vector bundle, the fiber is $O(n)$, so obstructions lie in groups $H^i(M,\pi_{i-1}O(n))$. In the stable range homotopy groups of orthogonal groups are given by Bott periodicity. If we’re talking about tangent bundle, we care only about $\pi_{i-1}(O(n))$ for $i\leq n$ and for $i<n$ these groups lie in the stable range.

A (toy) example: for $S^3$ only nontrivial (reduced) cohomology group is $H^3(S^3)$; but $\pi_2 O(n)=0$ — so any vector bundle on $S^3$ is trivial (well, not the simplest proof of the fact, but still).

In case of vector bundles these obstructions can be also described more geometrically (in the spirit of characteristic classes theory).

- First obstruction $o_1\in H^1(M;\pi_0 O(n))=H^1(M;\mathbb Z/2\mathbb Z)$ is nothing else but $w_1$, the first Stiefel-Whitney class. It gives the obstruction to orientability — i.e. to reducing the structure group of the bundle from $O(n)$ to $SO(n)$.
- If the bundle is oriented, second obstruction $o_2\in H^2(M;\pi_1 O(n))=H^1(M;\mathbb Z/2\mathbb Z)$ is defined. It coincides with $w_2$ and gives the obstruction to the existence of a spin struction — i.e. to lifting structure group of the bundle from $SO(n)$ to its universal cover, $Spin(n)$.
- Next obstruction is defined for a spin bundle; $\pi_2O(n)=0$, so first non-trivial obstruction here is $o_4\in H^4(M;\pi_3 O(n))=H^4(M;\mathbb Z)$. In fact, it coincides with $\frac12p_1$ (where $p_1$ is the first Pontryagin class of oriented bundle). And it is the obstruction to lifting the structure group from $Spin(n)$ to (infinite-dimensional) topological group $String(n)$.

…And so on: the sequence of obstructions corresponds to the Postnikov tower

$$

O(n)\gets SO(n)\gets Spin(n)\gets String(n)\gets FiveBrane(n)\gets…

$$

(this is a kind of duality: one can think either about sequence of extensions of the section through the filtration of $M$ by skeleta, or about sequence of lifts through the Postnikov tower of $O(n)$).

**Some references.** Obstruction theory in general is discussed in the section 4.3 of Hatcher — but Hatcher uses the Postnikov-towers-approach (like in the second part of the answer), AFAIR. And more classical approach + obstruction-theoretic POV on characteristic classes is explained e.g. in section 12 of Milnor-Stasheff, I believe.

One more remark. As it is explained in the other answer, ordinary (“primary”) characteristic classes can’t answer the question, since they coincide for stably equivalent vector bundles. What obstruction theory gives is, in a sense, a theory of *higher characteristic classes*: secondary class (a priori) defined only if primary one is zero and so on.

Although characteristic classes give very nice necessary conditions for parallelizability and also some partial sufficient conditions, they are doomed to fail in general. Here is why. If the tangent bundle $TM$ of a manifold $M$ of dimension $n$ is stably trivial i.e. has the property that $TM\oplus \theta^r\simeq \theta^{n+r}$ for some integer $r$ (where $\theta $ is the rank one trivial bundle) , then all characteristic classes of $TM$ will be trivial (if they satisfy Whitney’s axiom) . But there is no reason that $TM$ itself should be trivial.

For example the tangent bundle to any sphere $S^n$ is trivially (!) stably trivial [add the trivial normal bundle to get the trivial rank $n+1$ vector bundle] but only $S^1,S^3$ and $S^7$ are parallelizable.

An impressive theorem of Adams is that the maximum number of independent vector fields on $S^n$ or $\mathbb P^n$ is $8a+2^b-1$ where $n+1=k.2^{4a+b}$ with $k$ odd, $a\geq0$ and

$0\leq b\leq 3$ .

**Some positive results**

a) Steenrod has proved that *every* orientable 3-manifold is parallelizable.

b) Forster has proved some incredibly strong results on the analytic parallelizability (which is of course much stronger than differentiable parallelizability) of Stein manifolds.

For example every analytic submanifold of codimension one (=hypersurface) of $\mathbb C^n$ is analytically parallelizable. And a codimension two analytic submanifold of $X\subset \mathbb C^n$ is analytically parallelizable if and only if the first Chern class of its tangent bundle is zero: $c_1(TX)=0$

The real analogues of Forster’s results are of course *completely false*: every sphere $S^n$ is a hypersurface of $\mathbb R^{n+1}$ and a submanifold of codimension 2 of $\mathbb R^{n+2}$ with vanishing Stiefel-Whitney classes (since its tangent bundle is stably trivial). However it is not parallelizable if $n\neq 1,3,7$ , as already mentioned.

- Meaning of 'pullback of a pullback square'
- 2D point projection on an ellipse
- Lower hemicontinuity of the intersection of lower hemicontinuous correspondences
- Understanding the solution of a telescoping sum $\sum_{n=1}^{\infty}\frac{3}{n(n+3)}$
- Find formula for number of dominated vectors in partial order
- Every group with 5 elements is an abelian group
- Monotone functions and continuity
- Can continuity be proven in terms of closed sets?
- The Cantor ternary set is totally disconnected
- Prove that $14322\mid n^{31} – n$
- The chain rule, how to interpret it
- Is this determinant identity true?
- Solving a system of linear equations to find two eigenvectors.
- The notation for partial derivatives
- SVD -obligation of normalization