Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 1708

Homotopy theory, homological algebra, algebraic treatments of manifolds.

151 votes
Accepted

Homotopy groups of Lie groups

I don't know of anything as bare hands as the proof that $\pi_1(G)$ must be abelian, but here's a sketch proof I know (which can be found in Milnor's Morse Theory book. Plus, as an added bonus, one l …
Jason DeVito - on hiatus's user avatar
25 votes
1 answer
1k views

When are fiber bundles reversible?

My question, in its most general form is this: Given a fiber bundle $F\rightarrow E\rightarrow B$, when is there a fiber bundle $B\rightarrow E\rightarrow F$? Here, F,E, and B can lie in whichev …
Jason DeVito - on hiatus's user avatar
24 votes
1 answer
3k views

Characteristic classes of sphere bundles over spheres in terms of clutching functions

I'm trying to understand Milnor's proof of the existence of exotic 7-spheres. Milnor finds his examples among $S^{3}$ bundles over $S^{4}$ (with structure group $SO(4)$ ). Such a bundle can be descr …
Jason DeVito - on hiatus's user avatar
19 votes
2 answers
1k views

What manifold has $\mathbb{H}P^{odd}$ as a boundary?

This question is motivated by What manifolds are bounded by RP^odd? (as well as a question a fellow grad student asked me) but I can't seem to generalize any of the provided answers to this setting. …
Jason DeVito - on hiatus's user avatar
15 votes

Maps inducing zero on homotopy groups but are not null-homotopic

Even if you ask that $f$ induces trivial maps on all (singular) homology and cohomology groups, there are still easy manifold examples. (This actually arises as an exercise in Hatcher's AT). For ins …
Jason DeVito - on hiatus's user avatar
14 votes

Oriention-Reversing Diffeomorphisms of a Manifold

The same technique Allen mentioned also shows that $\mathbb{H}P^{2n}$ doesn't admit any orientation reversing diffeomorphisms. However, it's also true that $\mathbb{H}P^{2n+1}$ doesn't admit any orie …
Jason DeVito - on hiatus's user avatar
13 votes

What is the Cayley projective plane?

It's my understanding that the octonians aren't associative enough to have a projective plane in the usual sense. That is, you'd want to define $\mathbb{O}P^{2}$ as the collection of Cayley lines in …
Jason DeVito - on hiatus's user avatar
12 votes

Explanation for E_8's torsion

This doesn't directly address your question, but it does give you a way of thinking about torsion in the cohomology of Lie groups in general. (This is all coming from Borel and Serre's Sur certains s …
Jason DeVito - on hiatus's user avatar
11 votes
1 answer
467 views

Characteristic classes of non-linear sphere bundles

It is well known that the diffeomorphism group of there sphere $\operatorname{Diff}(S^n)$ has the homotopy type of a product $X:=O(n+1)\times \operatorname{Diff}_{\partial D^n}(D^n)$ of the orthogonal …
Jason DeVito - on hiatus's user avatar
9 votes

Smooth map homotopic to Lie group homomorphism

As Igor shows, every endomorphism of a simple Lie group $G$ has degree $\in\{0,\pm 1\}$. On the other hand, every compact Lie group admits self maps of other degrees. Namely, the $k$-th power map $g\ …
Jason DeVito - on hiatus's user avatar
9 votes

A nontrivial principal bundle which satisfies Leray-Hirsch theorem

Suppose $M = S^n$ is a sphere with $n$ odd and at least $5$. Pick your favorite Lie group $G$ for which $\pi_{n-1}(G)$ is non-trivial. (Many examples may be found here. For example, for any $n > 3$ …
Jason DeVito - on hiatus's user avatar
8 votes

Fibrations of $SU(4)$

I'm way late to the party, but with a bit more work, one can understand $SU(4)/SU(2)\times SU(2)$ even more precisely. Namely $SU(4)/SU(2)\times SU(2)$ is diffeomorphic to $T^1 S^5$, the unit tan …
Jason DeVito - on hiatus's user avatar
6 votes

Stiefel-Whitney Classes over Integers?

I think (but I'm not sure) that you CAN define characteristic classes from $BSO(n)$ with $\mathbb{Z}$ coefficients, but it's not nearly as easy to work with them or compute them. One of the big probl …
Jason DeVito - on hiatus's user avatar
4 votes

Examples of the varying strengths of topological invariants

For 1 and 2, consider the $S^2$ bundles over $S^4$ (with structure group SO(3)). Using clutching functions, one can see that there is a $\mathbb{Z}$s worth of such bundles indexed by, say, k. Using …
4 votes

Examples and properties of spaces with only trivial vector bundles

Here is another obstruction. Suppose $M^n$ is a closed simply connected manifold which admits only trivial vector bundles. Then $M$ cannot be a $\mathbb{Z}/2\mathbb{Z}$-homology sphere, unless $n=3$ …
Jason DeVito - on hiatus's user avatar