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 21095

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 …
Ricardo Andrade's user avatar
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 …
Ricardo Andrade's user avatar
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 …
Ricardo Andrade's user avatar
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: …
Ricardo Andrade's user avatar
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 …
Ricardo Andrade's user avatar
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: $ …
Ricardo Andrade's user avatar
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} …
Ricardo Andrade's user avatar
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 …
Ricardo Andrade's user avatar
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 …
Ricardo Andrade's user avatar
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 …
Ricardo Andrade's user avatar
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 …
Ricardo Andrade's user avatar
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{ …
Ricardo Andrade's user avatar
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 …
Ricardo Andrade's user avatar
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 …
Ricardo Andrade's user avatar
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 …
Ricardo Andrade's user avatar

15 30 50 per page