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 22810

Homotopy theory, homological algebra, algebraic treatments of manifolds.

93 votes
3 answers
10k views

What is homology anyway?

Disclaimer: I don't feel qualified to ask this question and yet it's been troubling me for some time now and I lost my patience and decided to ask to get some kind of answer. If there are any stupid m …
Saal Hardali's user avatar
  • 7,799
64 votes
1 answer
4k views

A dictionary of Characteristic classes and obstructions

I apologize in advance as this is not a research level question but rather one which could benefit from expert attention but is potentially useful mainly to novice mathematicians. In an effort to ge …
Saal Hardali's user avatar
  • 7,799
14 votes
2 answers
1k views

"Correct" definition of stratified spaces and reference for constructible sheaves?

It seems that the theory of constructible sheaves (in particular anything that goes into proving that they form an abelian category) requires some technical statements about existence of certain strat …
Saal Hardali's user avatar
  • 7,799
14 votes
2 answers
774 views

Interpretation of the cohomology of compact lie groups and their classifying spaces in DAG?

I'll be using homological grading throughout this question. Let $G$ be a compact connected lie group. The following isomorphisms are classical and can be proven using several methods: $$H^{\bullet}( …
Saal Hardali's user avatar
  • 7,799
12 votes
0 answers
403 views

The $\infty$-category of $n$-manifolds and open embeddings determined homotopically from tha...

Let $\mathrm{Diff}_n$, $\mathrm{PL}_n$, $\mathrm{Top}_n$ denote the $\infty$-categories of $n$-manifolds which are respectively smooth/PL/topological, and open embeddings (for instance by taking the h …
Saal Hardali's user avatar
  • 7,799
12 votes
2 answers
881 views

Representation viewpoint on Chern–Weil (cohomology computations done with rep theory?)

$\DeclareMathOperator\Sym{Sym}$Let $G$ be a compact lie group. Chern–Weil theory tells us that there's a homomorphism: $$H^{*}(BG;\mathbb{R}) \to (\Sym^{\bullet} \mathfrak{g^*})^G$$ which in our case …
Saal Hardali's user avatar
  • 7,799
12 votes
1 answer
853 views

The (fiber of the) cofiber of the fiber of a map of spaces

Consider a fiber sequence of spaces $$F \overset{i}{\to} E \to B$$ The cofiber $C(i)$ of the inclusion of the fiber comes with a canonical map $C(i) \to B$. Its possible to show (using some point se …
Saal Hardali's user avatar
  • 7,799
10 votes
Accepted

For which $n$ does there exist a closed manifold of (chromatic) type $n$?

After discussing this with Tim we came up with the following answer: The first steifel whiteny class $\omega_1$ of $M$ can be written as the following composition: $$M \to BO(n) \to BO \to BAut(\mathb …
Saal Hardali's user avatar
  • 7,799
9 votes
2 answers
582 views

Simplest explicit counterexample for $Vect(BG) \ne Rep(G)$ as monoids

Let $G$ be a topological group, $Vect(BG)$ the monoid of complex vector bundles over its classifying space (not the stack!) and $Rep(G)$ its monoid of complex representations. Generally $Vect(BG) \ne …
Saal Hardali's user avatar
  • 7,799
9 votes
1 answer
326 views

Closed formulas for topological K-theory?

Let $X$ be a compact manifold. I'm interested in whether any of the following cases admits a general closed formula for (complex)-$K$-theory. Let $E$ be a complex vector bundle with a given line bundl …
Saal Hardali's user avatar
  • 7,799
8 votes
2 answers
533 views

A map of spaces implementing the Pontryagin Thom collapse map? (collapse maps in families)

Let $M$ be an $n$ dimensional smooth manifold and let $j: M \to \mathbb{R}^{m}$ be an embedding. Associated to this embedding we can form the "collapse map" which is a pointed map from a sphere to the …
Saal Hardali's user avatar
  • 7,799
8 votes

Odd primary dual Steenrod algebra

This is not a full answer but it was too long for a comment so I decided to write it as detailed answer (EDIT: I added what I believe to be a full answer at the end resolving both points (1) and (2) …
Saal Hardali's user avatar
  • 7,799
8 votes
1 answer
693 views

Simple characterization of Postnikov & Whitehead towers?

I'm asking this question in the most model-ambiguous way I can since this is the kind of answer i'm looking for. There are various explicit constructions of the Whitehead and Postnikov towers. I'm try …
Saal Hardali's user avatar
  • 7,799
6 votes
4 answers
1k views

What does "higher monodromy" tell us about a principal bundle

Let $P \to X$ be a principal $G-$bundle and let $f: X \to BG$ be its classifying map. As I understand there's some way to associate a monodromy representation $\pi_1(X) \to G$ to it. I know how to con …
Saal Hardali's user avatar
  • 7,799
6 votes
1 answer
2k views

(Geometric) Proof for the projective bundle formula in K-theory

I'm trying to piece together a proof of the projective bundle formula from several incomplete sources. Here's the statement I'd like to prove: Projective bundle formula: Let $\pi: E \to X$ be a ve …
Saal Hardali's user avatar
  • 7,799

15 30 50 per page