Intereting Posts

Why is $\mathbb{R}/{\sim}$ not first countable at $$, where $x \sim y \Leftrightarrow x = y\text{ or }x,y \in \mathbb{Z}$?
Evaluate $\int ^1 _0 x^2 \, dx$ without using the Fundamental Theorem of Calculus
prove that $\tan(\alpha+\beta) = 2ac/(a^2-c^2)$
Conjecture regarding integrals of the form $\int_0^\infty \frac{(\log{x})^n}{1+x^2}\,\mathrm{d}x$.
A function vanishing at infinity is uniformly continuous
For Infinite Cardinals does $A > B \Rightarrow A^C > B^C$?
Joint probabilities, conditional probabilities with the chain rule.
Why does $x= \frac{1}{2}(z+\bar{z}) = \frac{1}{2}(z+\frac{r^{2}}{z})$ on the circle?
Recurrence relation, Fibonacci numbers
proving identity for statistical distance
ACC on principal ideals implies factorization into irreducibles. Does $R$ have to be a domain?
How to prove the Cone is contractible?
Filling an array(Putnam)
Analytical continuation of moment generating function
Equivalent Cauchy sequences.

I heard that using some relatively basic differential geometry, you can show that the only spheres which are Lie groups are $S^0$, $S^1$, and $S^3$. My friend who told me this thought that it involved de Rham cohomology, but I don’t really know anything about the cohomology of Lie groups so this doesn’t help me much. Presumably there are some pretty strict conditions we can get from talking about invariant differential forms — if you can tell me anything about this it will be a much-appreciated bonus ðŸ™‚

(A necessary condition for a manifold to be a Lie group is that is must be parallelizable, since any Lie group is parallelized (?) by the left-invariant vector fields generated by a basis of the Lie algebra. Which happens to mean, by some pretty fancy tricks, that the only spheres that even have a chance are the ones listed above plus $S^7$. The usual parallelization of this last one comes from viewing it as the set of unit octonions, which don’t form a group since their multiplication isn’t associative; of course this doesn’t immediately preclude $S^7$ from admitting the structure of a Lie group. Whatever. I’d like to avoid having to appeal to this whole parallelizability business, if possible.)

- Convex combination of projection operators
- Uniqueness of minimizing geodesic $\Rightarrow$ uniqueness of connecting geodesic?
- Jacobian matrix rank and dimension of the image
- The function that draws a figure eight
- Why is arc length not a differential form?
- Intuitive explanation of covariant, contravariant and Lie derivatives

- Does positive definite Hessian imply the Jacobian is injective?
- How do different definitions of “degree” coincide?
- implicit equation for “double torus” (genus 2 orientable surface)
- 4-Manifolds of which there exist no Kirby diagrams
- How can a $C^1$-continuous surface have infinite curvature?
- Differential topology book
- Why do those terms vanish if the metric is Hermitian?
- Examples of 2-dimensional foliations of a 4-sphere.
- When is the metric completion of a Riemannian manifold a manifold with boundary?
- Why is a circle in a plane surrounded by 6 other circles?

Here is the sketch of the proof.

Start with a compact connected Lie group G. Let’s break into 2 cases – either $G$ is abelian or not.

If $G$ is abelian, then one can easily show the Lie algebra is abelian, i.e., $[x,y]=0$ for any $x$ and $y$ in $\mathfrak{g}$. Since $\mathbb{R}^n$ is simply connected and has the same Lie algebra as $G$, it must be the universal cover of $G$.

So, if $G$ is a sphere, it’s $S^1$, since all the others are simply connected, and hence are their own universal covers.

Next, we move onto the case where $G$ is nonabelian. For $x,y,$ and $z$ in the lie algebra, consider the map $t(x,y,z) = \langle [x,y], z\rangle$. This map is clearly multilinear. It obviously changes sign if we swap $x$ and $y$. What’s a bit more surprising is that it changes sign if we swap $y$ and $z$ or $x$ and $z$. Said another way, $t$ is a 3 form! I believe $t$ is called the Cartan 3-form. Since $G$ is nonabelian, there are some $x$ and $y$ with $[x,y]\neq 0$. Then $t(x,y,[x,y]) = ||[x,y]||^2 \neq 0$ so $t$ is not the 0 form.

Next, use left translation on $G$ to move $t$ around: define $t$ at the point $g\in G$ to be $L_{g^{-1}}^*t$, where $L_{g^{-1}}:G\rightarrow G$ is given by $L_{g^{-1}}(h) = g^{-1}h$.

This differential 3-form is automatically left invariant from the way you’ve defiend it everywhere. It takes a bit more work (but is not too hard) to show that it’s also right invariant as well.

Next one argues that a biinvariant form is automatically closed. This means $t$ defines an element in the 3rd de Rham cohomology of $G$. It must be nonzero, for if $ds = t$, then we may assume wlog that $s$ is biinvariant in which case $ds = 0 = t$, but $t$ is not $0$ as we argued above.

Thus, for a nonabelian Lie group, $H^3_{deRham}(G)\neq 0$. But this is isomporphic to singluar homology. Hence, for a sphere to have a nonabelian Lie group stucture, it must satisfy $H^3(S^n)\neq 0$. This tells you $n=3$.

- Demystify integration of $\int \frac{1}{x} \mathrm dx$
- Order of the centralizer of a permutation
- Why must $a$ and $b$ both be coprime when proving that the square root of two is irrational?
- How to interpret the adjoint?
- Can we extend the definition of a homomorphism to binary relations?
- Is every noninvertible matrix a zero divisor?
- If we know the eigenvalues of a matrix $A$, and the minimal polynom $m_t(a)$, how do we find the Jordan form of $A$?
- Finding $\int^1_0 \frac{\log(1+x)}{x}dx$ without series expansion
- An Explanation of the Kalman Filter
- Number writable as sum of cubes in $9$ “consecutive” ways
- Determination of the last two digits of $777^{777}$
- Lie derivative along time-dependent vector fields
- $R$ is PID, so $R/I$ is PID, and application on $\mathbb{Z}$ and $\mathbb{N}$
- Prove that if the sum of each row of $A$ equals $s$, then $s$ is an eigenvalue of $A$.
- How to move from a right semigroup action to a left semigroup action?