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 answers only not deleted user 317

Continuum theory, point-set topology, spaces with algebraic structure, foundations, dimension theory, local and global properties.

35 votes
Accepted

Homeomorphisms and disjoint unions

The result you want is false. Counterexamples are given in Yamamoto, Shuji and Yamashita, Atsushi, A counterexample related to topological sums. Proc. Amer. Math. Soc. 134 (2006), no. 12, 3715–3719 …
Andy Putman's user avatar
  • 44.8k
12 votes

Manifolds covered by an n-dimensional torus

People have already mentioned the Bieberbach theorems, which imply that your manifold is homotopy equivalent to a Euclidean manifold. In fact, it is homeomorphic to the Euclidean manifold, at least i …
Andy Putman's user avatar
  • 44.8k
2 votes

Is a map that is locally fiberwise equivalent to a product a Hurewicz fibration?

I think this can be extracted from Spanier's book. In Chapter 2.7, his Theorem 13 says that if B is a paracompact Hausdorff space, then a map p:E-->B is a fibration if and only if it is a local fibra …
Andy Putman's user avatar
  • 44.8k
58 votes
Accepted

Is there a Whitney Embedding Theorem for non-smooth manifolds?

I'm not sure about $\mathbb{R}^{2n}$, but you can embed them in $\mathbb{R}^{2n+1}$ using dimension theory. The theorem is that every compact metric space whose covering dimension is $n$ can be embed …
Andy Putman's user avatar
  • 44.8k
39 votes

When is a Homology Class Represented by a Submanifold?

A weaker question replaces "homology class of an embedded submanifold" with $f_{\ast}([M])$ for some compact smooth manifold $M$ and an arbitrary continuous map $f:M \rightarrow X$. Once you give up …
Andy Putman's user avatar
  • 44.8k
16 votes
Accepted

Could there be any homotopy group without "Lebesgue Number Lemma"?

The Lebesgue Number Lemma is absolutely not needed to compute $\pi_1(S^1)$, or more generally to compute $\pi_n(S^n)$. Here's one way to do it that I've actually used while teaching several times. Th …
Andy Putman's user avatar
  • 44.8k
3 votes
Accepted

Removing intersections of curves in surfaces

There are two questions here. 1) The fact about Dehn twists and isotopies is really a consequence of the fact that the mapping class group of an orientable surface is generated by Dehn twists. For n …
Andy Putman's user avatar
  • 44.8k
12 votes

Smooth classifying spaces?

I'm not sure exactly what you mean here. One possible interpretation to your questions is "Which discrete groups have classifying spaces that are smooth manifolds"? For this, here are a few isolated …
Andy Putman's user avatar
  • 44.8k
27 votes
Accepted

A function composed with itself produces the identity

Yes. Observe first that $f$ can be first extended to an involution of $\mathbb{R}^3$ and then to an involution $F : S^3 \rightarrow S^3$ of the one-point compactification of $\mathbb{R}^3$. A classi …
Andy Putman's user avatar
  • 44.8k
12 votes
Accepted

Homotopy equivalence from contractibility of fiber

In his paper MR0087106 (19,302f) Smale, Stephen A Vietoris mapping theorem for homotopy. Proc. Amer. Math. Soc. 8 (1957), 604–610. Smale proved the following theorem: Theorem : Let $X$ and $Y$ be …
Andy Putman's user avatar
  • 44.8k
15 votes
Accepted

Least number of charts to describe a given manifold

It's not quite the same thing, but a related object is the Lyusternik–Schnirelmann category of a topological space. See http://en.wikipedia.org/wiki/Lyusternik-Schnirelmann_category
Andy Putman's user avatar
  • 44.8k
5 votes

Morphism with connected fibers induce surjection on fundamental groups?

Assuming that your map $f\colon X \rightarrow Y$ is a map of CW complexes, the answer is yes. In fact, you can get away with quite a bit less. Assume that $X$ and $Y$ are arbitrary CW complexes equi …
Andy Putman's user avatar
  • 44.8k
26 votes
Accepted

Is symmetric power of a manifold a manifold?

$\newcommand{\Cone}{\operatorname{Cone}}$Let $d$ be the dimension of the manifold $M$. For $n \geq 2$, I will prove that the symmetric power $SP^n(M)$ is a manifold with boundary for $d=1$, a manifol …
Andy Putman's user avatar
  • 44.8k
11 votes

Is $\mathbb{R}^3 \setminus \mathbb{Q}^3$ simply connected?

$\newcommand\R{\mathbb{R}} \newcommand\cH{\mathcal{H}} \newcommand\bbD{\mathbb{D}}$ I'm marking this community wiki since it's not so much an answer but an attempt to make it clear to the casual reade …
16 votes

understanding Steenrod squares

For the Steenrod squares, I highly recommend the first couple of chapters of the book "Cohomology operations and applications in homotopy theory" by Mosher and Tangora. It's beautifully written (and …
Andy Putman's user avatar
  • 44.8k

15 30 50 per page