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 43054

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 …
Denis Nardin's user avatar
  • 16.5k
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 …
Denis Nardin's user avatar
  • 16.5k
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) …
Denis Nardin's user avatar
  • 16.5k
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 …
Denis Nardin's user avatar
  • 16.5k
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 …
Denis Nardin's user avatar
  • 16.5k
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 …
Denis Nardin's user avatar
  • 16.5k
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 …
Denis Nardin's user avatar
  • 16.5k
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(*)) …
Denis Nardin's user avatar
  • 16.5k
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 …
Denis Nardin's user avatar
  • 16.5k
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 …
Denis Nardin's user avatar
  • 16.5k
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 …
Denis Nardin's user avatar
  • 16.5k
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 $ …
Denis Nardin's user avatar
  • 16.5k
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 …
Denis Nardin's user avatar
  • 16.5k
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 …
Denis Nardin's user avatar
  • 16.5k
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 …
Denis Nardin's user avatar
  • 16.5k

1
2 3 4 5
15 30 50 per page