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.
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 …
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 …
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 …
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: …
3
votes
Simplicial replacements in smoothing theory
I present here a reference for Peter May's comment to Tom Goodwillie's answer in this thread. It also corroborates the comment by John Klein below the question stating that there is no obvious topolog …
40
votes
Converse of Poincaré-Hopf theorem
$\newcommand{\ZZ}{\mathbb{Z}}$$\newcommand{\CC}{\mathbb{C}}$A simple counter-example is given by $M = \CC P^3$.
Recall first that the cohomology ring of $\CC P^3$ is a truncated polynomial algebra:
$ …
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} …
3
votes
Accepted
Can we invert barycentric subdivision?
[As requested by Vidit Nanda, I am reposting a slightly edited version of my comment above as an answer. Nevertheless, I hope someone will eventually give a satisfactory answer to this question.]
The …
9
votes
Accepted
Does there exist a space X whose suspension is homotopy equivalent to [0,1] rel ends but whe...
$\newcommand{\set}[1]{\lbrace #1 \rbrace}$I will assume that the notation $\Sigma X$ in the question denotes the unreduced suspension of the space $X$.
Quick answer: The notion of homotopy equivalenc …
6
votes
Accepted
Quotients of classifying spaces
$\newcommand{\Ext}{\operatorname{Ext}}$$\newcommand{\To}{\longrightarrow}$$\newcommand{\dash}{\text{-}}$$\newcommand{\sSet}{\mathrm{sSet}}$$\newcommand{\ZZ}{\mathbb{Z}}$For convenience, I will denote …
1
vote
Accepted
Topological question about right-lifting property and the evaluation map
$\newcommand{\into}{\hookrightarrow}$It seems that if $Z$ has the indiscrete topology, then the evaluation map $ev_0 : Z^I \to Z$ has the right lifting property with respect to any map. That provides …
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{ …
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 …
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 …
18
votes
Accepted
Cancellation law for $M^n\times \mathbb R= N^n\times \mathbb R$.
[Edit: I have added some details and a more explicit example by Milnor.]
I will present a couple of examples verifying the conditions required in the question.$\newcommand{\RR}{\mathbb{R}}
\newcomman …