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 | |
Results tagged with homotopy-theory
Search options not deleted
user 21095
Homotopy theory is an important sub-field of algebraic topology. It is mainly concerned with the properties and structures of spaces which are invariant under homotopy. Chief among these are the homotopy groups of spaces, specifically those of spheres. Homotopy theory includes a broad set of ideas and techniques, such as cohomology theories, spectra and stable homotopy theory, model categories, spectral sequences, and classifying spaces.
30
votes
4
answers
3k
views
Is the space of diffeomorphisms homotopy equivalent to a CW-complex?
Clarification: My question concerns the homotopy type of the space of $C^k$ diffeomorphisms with the compact-open $C^k$ topology, where $0< k \leq\infty$. I have stated my question below with $k=1$ fo …
- 25.3k
23
votes
Accepted
Is the counit of geometric realization a Serre fibration?
$\newcommand{\real}[1]{\left\lvert #1 \right\rvert}$$\newcommand{\Sing}[1]{\operatorname{Sing}(#1)}$$\newcommand{\counit}{\epsilon}$$\newcommand{\To}{\longrightarrow}$$\newcommand{\proj}{\mathrm{proj} …
- 6,210
11
votes
Accepted
Monoidal model category structure on a functor category.
[This should probably be a comment, since it is so short. Nevertheless, it is an answer to the question.]
The result you ask for is a consequence of proposition 2.2.15 in Sam Isaacson's Ph.D. thesis …
- 6,210
0
votes
(Homotopy) Y ENR and contractible subset implies Y is a retract
Observe that any retract of $\newcommand{\RR}{\mathbb{R}} \RR^n$ is necessarily a closed subspace of $\RR^n$. Assuming this necessary condition, the answer to the question is affirmative. More precise …
CommunityBot
- 1
2
votes
Multisimplicial geometric realization
[This answer is mostly a long comment to Peter May's answer.]
Edit: I have corrected some arrows which were pointing the wrong way.$\newcommand{\real}[1]{\lvert #1\rvert}
\newcommand{\Map}{\operatorn …
- 6,210
10
votes
Accepted
Reference Request: Compact manifolds with boundary have the homotopy type of a CW-complex
I have no idea at the moment where to find a reference for the specific result you seek. However, it can be deduced from the following fact: topological manifolds (paracompact and Hausdorff) are absol …
- 6,210
11
votes
Distinct manifolds with the same configuration spaces?
I will present an example involving only (non-compact) manifolds without boundary. As far as I know, the analogous problem for closed manifolds is wide open. Nevertheless, the article Configuration sp …
- 6,210
7
votes
Accepted
Does the signature admit a homotopy coherent refinement?
[Since my comment above appears to have been helpful, I am repeating it here.]
I must admit I am unfamiliar with L-theory. Nevertheless, I came across a recent article on the arXiv which is related: …
- 6,210
6
votes
Is the space of diffeomorphisms homotopy equivalent to a CW-complex?
[Edit: Allen Hatcher posted an answer while I was writing this one. Both answers seem to use similar ideas. I will leave my answer here anyway.]
$\newcommand{\Diff}{\operatorname{Diff}}$$\newcommand{ …
- 6,210
14
votes
2
answers
2k
views
Well-pointed space which is not locally contractible
I am looking for an example of a well-pointed space in which no (sufficiently small) neighbourhood of the base-point is contractible. As usual, a well-pointed space is a pointed space in which the inc …
- 25.8k
15
votes
Accepted
Three questions on $\operatorname{hocolim}$
First question$\newcommand{\op}[1]{{#1}^{\mathrm{op}}}$$\newcommand{\sSet}{\mathrm{sSet}}$$\newcommand{\Grpd}{\mathrm{Grpd}}$$\newcommand{\Cat}{\mathrm{Cat}}$$\newcommand{\NN}{\mathbb{N}}$$\newcommand …
- 6,210
11
votes
Accepted
Is there a general theory of fiber theorems?
Edit: I have added some definitions and details to my answer.
In the most general form I can find, your third question is a consequence of two results regarding cell-like maps and fine homotopy equiv …
- 6,210
21
votes
Accepted
Example of fiber bundle that is not a fibration
$\newcommand{\RR}{\mathbb{R}}
\newcommand{\To}{\longrightarrow}
\newcommand{\id}{\mathrm{id}}$The example described in Tom Goodwillie's answer to a related mathoverflow question essentially solves thi …
CommunityBot
- 1
8
votes
Serre Spectral Sequence of Representations
Personal comment: I feel that the two previous answers may be together creating some confusion on the subject of the question. I wish to address that with my answer, which would be more suited as a co …
- 6,210
4
votes
Homotopy Equivalences and Induced Correspondences between Fibre Bundles
Here is a quick argument which proves homotopy equivalence directly. First, the pullback of a homotopy equivalence along a Hurewicz fibration is again a homotopy equivalence. Further, by the well-know …
- 6,210