Search Results
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 |
Homotopy theory, homological algebra, algebraic treatments of manifolds.
10
votes
Accepted
Acyclic complexes for extraordinary cohomology theories
First of all I claim that asking that $X$ is acyclic for ordinary homology with integral coefficients is the same as asking that it is acyclic with respect to every homology theory. This is because of …
3
votes
Accepted
Equivariantly split in an isomorphism of $KR$-groups
Equivariantly split just means split in the category of spaces with a $C_2$-action, i.e. that there is an equivariant map $r:X→\{x_0\}$ such that $r\circ i$ is equivalent to the identity. This map is …
11
votes
Section of the homology functor on spectra
I think that the answer to your question is no, but not for the reason you may suspect. Let us try to do the "stupid" case first: fix an abelian group $A$ and you want a spectrum $X$ such that $H_0(X) …
3
votes
Importance of $E_n$-algebras over ring structures on $\pi_*(E)$
This might be a naive answer, but I think it is more than a comment: $E_n$-algebra structures on $E$ give rise to (increasingly commutative) monoidal structures on the category of modules. In general …
3
votes
Accepted
Simplicial version of the A-infinity operad
In my opinion the construction in "the geometry of iterated loop spaces" by P. May should carry through the simplicial world. If you want a completely simplicial treatment you can find it in theorem 5 …
7
votes
Accepted
Thom isomorphism from the ABGHR perspective
Let's try to see what a lift $\tilde f : X\to R\textrm{-triv}$ is. Recall that $R\textrm{-triv}$ is the $\infty$-groupoid of $R$-lines with a specified isomorphism with $R$, so a lift $\tilde f$ corre …
3
votes
Homotopy pullbacks/relative homotopy groups vs homotopy pushouts/relative homology groups
A first observation is that homology groups are themselves homotopy groups. Precisely there is a functor $\mathbb{Z}[-]$ from spaces to pointed spaces (it is easier to describe when you think of space …
11
votes
Equivalent fomulations of Bott periodicity
The easy way for me to think about this things is via the Yoneda lemma. This works better with reduced $K$-theory. This is defined for a pointed space $X$ as
$$ \tilde K^0 (X) := ker(K^0(X)\to K^0(*)) …
6
votes
What does it mean to speak of a homotopy fibration sequence?
I cannot answer more precisely without knowing which paper you are referring to. However the point seems to be that you want to characterize the space $Z_f$. In fact there are plenty of spaces $W$ wit …
8
votes
Accepted
Loop space of a Simplicial Abelian group
You can find such a map, but it goes the other way: $\Gamma(Y)\to \Omega X$. It is always wise to keep one's right adjoints on the right hand side.t
But first, let me note that every simplicial abeli …
3
votes
Accepted
Generalised homology of a split fibration
This is not true. Consider the following (split) homotopy fiber sequence
$$S^1\to S^1\times S^1\to S^1$$
Then, by a standard argument, we have
$$\Sigma(S^1\times S^1)=S^2\vee S^3\vee S^2$$
so for eve …
7
votes
Accepted
Morphisms from $bstring$ to $X\otimes \mathbb{Q}$ and sequences $s_n\in\pi_n(X)\otimes \math...
This is an assemblage of known results, I'll try to put a reference for all of them.
By a classical theorem of Serre all stable homotopy groups are finite in positive degree. In particular we have $ …
9
votes
Accepted
"Oriented representation" sphere
First of all, note that right before example 3.9 they prove that
$$H^G_*(S^V;\underline{\mathbb{Z}})=H_*(C^{cell}_*(S^V)^G)\,,$$
where $C^{cell}_*(S^V)$ is the cellular complex for some $G$-CW-structu …
18
votes
Accepted
Realizing homomorphisms between fundamental groups
In general there is an obstruction living in $H^3(X,\pi_2Y)$. Choose a CW structure on $X$ and $Y$ with only one 0-cell. Then you can use $\varphi$ to define a map at the level of 1-skeleta (just by s …
8
votes
Given a complex vector bundle with rank higher than 1, is there always a line bundle embedde...
I think thinking in terms of classifying spaces will help clarify the situation. We know that a rank $n$ complex vector bundle $V$ on $X$ is the same thing as a homotopy class of maps $f:X\to BU_n$. A …