All Questions
Tagged with gt.geometric-topology at.algebraic-topology
1,145 questions
0
votes
0
answers
850
views
Meaning of Regular Neighborhood for Homology Basis Curves in $S_{g,2}$
I have been trying to understand the meaning of the expression "regular neighborhood" in the context described below, but I'm stuck:
We have a collection of curves $c_i$ for $i=1,2,..,n$ embedded in ...
1
vote
2
answers
410
views
Has this kind of question in topology a special name?
Consider a space $X$ and the group $Homeo(X)/\sim$ of homeomorphisms on $X$ modulo homotopies which are homeomorphisms in each step. One could also consider diffeomorphisms on $X$ or whatsoever.
Have ...
2
votes
1
answer
3k
views
Does $S^2$ have a trivial normal bundle in any closed orientable manifold?
We know that the middle circle $S^1$ in Mobius band has a nontrivial normal bundle. Now consider the higher dimensional case. Let $M$ be a $n$-dimensional ($n\geq5$) closed orientable manifold and ...
17
votes
3
answers
1k
views
Codimension zero immersions
Given an immersion of the n-1-sphere into a (closed) n-manifold, when does it extend to an immersion of the n-disk?
Remark: If the sphere had dimension k smaller than n-1, then such an immersion ...
8
votes
2
answers
1k
views
Generalizations of Dehn-Nielsen-Baer
For a manifold $M$, define the mapping class group $Mod(M)$ to be the set of self-diffeomorphisms of $M$, modulo isotopy. In symbols, $Mod(M) = \pi_0 Diff(M)$. Of course, every self-diffeomorphism ...
8
votes
2
answers
2k
views
Why is the mapping class group of hyperbolic manifolds finite?
Hi! I'm trying to understand why a hyperbolic n-manifold has finite mapping class group if $n \geq 3 $. In books I'm reading it's said it's a consequence of Mostow's rigidity theorem:
"If M and N are ...
9
votes
1
answer
374
views
Can an action of a compact Lie group be nontrivial if it is trivial on the boundary?
Let $G$ be a compact Lie group acting on a connected topological manifold $M$ with boundary. Suppose the action on one boundary component is trivial. Does it follow that the action on the whole of $M$ ...
6
votes
1
answer
573
views
Cohomology of the infinite loop space of the affine grassmanian (as in the generalized Mumford conjecture)
I've been reading Hatcher's survey "A short exposition of the Madsen-Weiss theorem". In it, he outlines a nice proof of the "generalized Mumford conjecture", which asserts that the stable cohomology ...
5
votes
2
answers
521
views
space of homotopy equivalences of $S^1$
Does the space of homotopy equivalences of $S^1$ deformation retract onto the space of homeomorphisms of $S^1$? If so, does anyone have a reference?
I found that Kneser proved that $Homeo(S^1)$ ...
25
votes
6
answers
5k
views
Is there a classification of open subsets of euclidean space up to homeomorphism?
I hope this question is reasonable enough to have a well known answer. i.e either there is a simple invariant (like the homotopy groups) that characterizes the homeomorphism type of such set among ...
2
votes
0
answers
430
views
The signature of a mapping torus
Consider a manifold $M$ of dimension $4k + 2$, $k$ an integer. Pick a diffeomorphism $\phi$ of $M$ and construct the mapping torus $T$ of $\phi$. Suppose that there is a $4k+4$ dimensional manifold $B$...
0
votes
1
answer
801
views
Can every 3-manifold be triangulated? [closed]
One of my classmates was telling me that it is an open question whether every 3-manifold can be triangulated. This was rather surprising. He said that the question as far as he remember is settled ...
49
votes
4
answers
7k
views
Elegant proof that any closed, oriented 3-manifold is the boundary of some oriented 4-manifold?
I'm looking for an elegant proof that any closed, oriented $3$-manifold $M$ is the boundary of some oriented $4$-manifold $B$.
7
votes
2
answers
728
views
Euler class of S^1-orbibundle
Given a topological space $M$ with a locally free $S^1$ action on it, assume the slice representation holds,(this is often the case, e.g. M is a smooth manifold) then this will make $M$ a principal $S^...
2
votes
0
answers
147
views
System dynamic of space euclidean and hyperbolic tilings
Theorem 2.9. (Rudolph [Rud89]) Suppose $X_{T}$ is a finite local complexity (FLC)
tiling space. Then $X_{T}$ is compact in the tiling metric d. Moreover, the action $T$ of
$R^{d}$ by translation is on ...
13
votes
1
answer
669
views
Spin TQFT's in dimensions (1+1)
I don't seem to be able to find anything written about Spin TQFT's in dimension (1+1). Does anyone know any references? Or is there some reason it is uninteresting?
1
vote
3
answers
549
views
Regular homotopy invariance of Wall's self-intersection form.
This is the mirror of previous post.
For an immersion $f\colon N^n\to M^{2n}$ with fixed lift $\tilde{f}\colon N\to \tilde{M}$ and $N,M,\tilde{M}$ are oriented, first we define a unordered double ...
18
votes
4
answers
1k
views
Explicit constructions of K(G,2)?
Recall that an Eilenberg-Maclane space $K(G, n)$ is characterized by $\pi_i(K(G,n)) = G$ if $i=n$ and is trivial otherwise. (Of course $G$ should be abelian if $n>1$.)
Let $G$ be a finite abelian ...
9
votes
1
answer
778
views
Low degree cohomology of Eilenberg-MacLane space K(G,2)?
Recall that an Eilenberg-Maclane space $K(G, n)$ is characterized by $\pi_i(K(G,n)) = G$ if $i=n$ and is trivial otherwise. (Of course $G$ should be abelian if $n>1$.)
I'm aware that computing $H^...
3
votes
3
answers
316
views
Existence of sequence of examples of braking 'Cancellation law in homeomorphic products'
I know there are manifolds (with or without boundary) $A$ and $B$ such that $A\times C$ is homeomorphic to $B\times C$ but $A$ is NOT homeomorphic to $B$.
My question is (in the Diffeomorphism ...
5
votes
1
answer
817
views
Generalization of Moise's theorem
I am looking for a generalization of Moise's theorem, which the few professors that I asked treat as a "known geometric fact" but none could find a reference to an article proving it.
The claim is ...
2
votes
2
answers
658
views
Do homeomorphisms of boundary components of 3-manifolds extend to the manifold?
The question that I'd like to answer can be generalized to the following: if $M$ is an orientable 3-manifold and $F$ is a boundary component of $M$ (which may have other boundary components), can an ...
21
votes
1
answer
2k
views
Why is Casson's invariant worth studying?
Hi everybody! I am reading some papers about Casson's invariant for (integral) homology 3-spheres...as the wiki says "Informally speaking, the Casson invariant counts the number of conjugacy classes ...
8
votes
2
answers
7k
views
On the fundamental group of a finite CW complex
So let $X$ be a finite CW complex which is connected.
Q1: Is $\pi_1(X)$ necssarily a finitely presented group?
If the answer is yes, then how does prove it. I've tried to prove it using
an ...
13
votes
2
answers
1k
views
What characteristic class information comes from the 2-torsion of $H^*(BSO(n);Z)$?
This is just a general curiosity question:
In the standard textbook treatments of characteristic classes, and in particular the treatment of universal Pontrjagin classes, it's standard to consider $H^...
20
votes
2
answers
1k
views
Is there a discrete Cerf theory?
Towards the end of the 1990's, Robin Forman developed a discrete version of Morse theory, which concerns maps from a simplicial complex to $\mathbb{R}$ satisfying a combinatorial analogue to the ...
27
votes
5
answers
5k
views
What is the intuition behind the Freudenthal suspension theorem?
The Freudenthal suspension theorem states in particular that the map
$$
\pi_{n+k}(S^n)\to\pi_{n+k+1}(S^{n+1})
$$
is an isomorphism for $n\geq k+2$.
My question is: What is the intuition behind the ...
20
votes
2
answers
3k
views
First Chern class of a flat line bundle
A referee asked me to include a reference or proof for the following classical fact. It's not hard to prove, but I'd prefer to just give a reference -- does anyone know one?
Let $X$ be a nice space (...
3
votes
2
answers
486
views
Poset fiber theorems under a special assumption on the poset map?!
Hey everyone, I am facing the following problem:
Say that a (order-preserving) poset map $f:P\to Q$ has property $(\star)$ if for all $q_1,q_2\in Q$ with $q_1\leq q_2$ and every $p_2\in f^{-1}(q_2)$ ...
10
votes
3
answers
2k
views
Homotopy type of the plane minus a sequence with no limit points
It is well known that the plane minus $n$ points is homotopy equivalent to a wedge of circles and hence its fundamental group is free on $n$ letters.
Question: Is the plane minus an infinite sequence ...
0
votes
3
answers
2k
views
Identifying the orientation bundle uniquely
A nonorientable surface $S$ is homeomorphic to the $k$-th connected sum
$\mathbb{R}P^2 \sharp \ldots \sharp \mathbb{R}P^2$.
For each nonorientable surface $S$ there exists an oriented $2$-fold ...
3
votes
1
answer
1k
views
Orientation of a "glued"-manifold
Im wondering if there's a short way to prove that when two manifolds with diffeomorphic boundaries are glued together along the boundaries the orientations of these must be inverse to each other. That ...
7
votes
1
answer
640
views
Length of shortest possible knot
Consider a line L in R^3 in the shape of a trefoil knot. Consider the surface S that is the union of all unit circles that have centers on this line and whose tangent vectors are all perpendicular to ...
7
votes
2
answers
426
views
Are there oriented $4k+2$ manifolds such that $im(H_{2k+1}(M; Z/2)\to H_{2k+1}(M, \partial M; Z/2))$ has odd dimension?
The following fairly specific question comes up in a bordism computation I'm trying to do:
Are there compact $\mathbb Z$-oriented $4k+2$ dimensional manifolds with boundary $M$ such that $im(H_{2k+1}(...
3
votes
1
answer
958
views
When does an antipodal map on a manifold extend to the antipodal map on a spheres
So I have been mulling the following question over in my head for awhile now, and want to see if anyone else might have any ideas.
Begin with $M$ a manifold and suppose that $M$ has an antipodal map $\...
24
votes
5
answers
3k
views
Can surfaces be interestingly knotted in five-dimensional space?
It's possible this question is trivial, in which case it will be answered quickly. In any case, I realized that it's a basic question the answer to which I should know but do not.
Everybody loves ...
8
votes
1
answer
679
views
topological type of smooth manifolds with prescribed homotopy type and pontryagin class
Can someone help explain the following result:
If the dimension is at least five, there are at most finitely many different smooth manifolds with given homotopy type and Pontryagin classes.
Thank ...
9
votes
2
answers
1k
views
Fibrewise homotopy-equivalence of unit sphere bundles vs isomorphism of tangent bundles
Let $M$ be a smooth $m$-dimensional manifold, $TM$ its tangent bundle and $SM$ its unit sphere bundle.
Are there some simple examples where $SM$ is fibrewise homotopy-equivalent to the trivial ...
13
votes
2
answers
791
views
"C choose k" where C is topological space
One day I read a generating function in a paper. For any "sufficietly nice topological space", $C$:
$$ \sum_{l \geq 0 } q^{2l}\chi(\mathrm{Sym}^l[C]) = (1 - q^2)^{-\chi(C)} = \sum_{l \geq 0} \binom{...
6
votes
0
answers
312
views
homotopy domination that splits a non-split epimorphism and still wants to be a homotopy equivalence
Can a homotopy domination by a space supporting a free action of $G$ be promoted to a homotopy equivalence with such a space? As stated, this is not a serious question (multiply by an $EG$). But with ...
3
votes
1
answer
552
views
Is the Action of the mapping class group transitive on embedded arcs?
Let S be a surface of genus g with some parked points (n of them). Assume $n \geq 2$ and fix two of the marked points. Consider the set of embedded arcs going between these two special points. The ...
10
votes
1
answer
544
views
Ranicki symmetric L-groups of finite fields?
Can anyone tell me what the Ranicki symmetric L-groups $L^*(F)$ are when $F$ is a finite field? (and maybe provide a reference?) Thanks!
1
vote
1
answer
304
views
good perspective in viewing manifolds of infinite dimension
Borel conjectued aspherical closed manifolds are topologically rigid.(i.e.a homotopy equivalence between two aspherical manifolds is homotopic to a homeomorphism).
now,soppuse M is a K(G,1) space,
it ...
8
votes
2
answers
1k
views
fundamental group and complete invariant of irreducible 3-manifolds
I heard that,by Perelman's work,we can get that the fundamental group is a
complete invariant of irreducible 3-manifolds (except for lens spaces).
can someone help explain this.Thank you!
9
votes
4
answers
2k
views
How to prove the connected sum of two closed aspherical n-manfolds (n >2) is not asperical?
The intuitive idea is that the sphere connected the two manifolds is not contractible, which implies the (n-1)th homotopy group is not zero. Another argument, which I am not totally understand, uses ...
7
votes
1
answer
364
views
Aspherical homotopy orbit space of configurations on the 2-sphere
The group SO(3) acts naturally on $S^2$ and thus on $Conf(S^2, q)$, the configuration space of $q$ distinct points on the 2-sphere, via the diagonal action on $S^2 \times...\times S^2$. This is a ...
7
votes
1
answer
456
views
Space-discriminating injective curve
Let $f\colon \mathbb R^1\to \mathbb R^3$ be a continuous and injective map. Is $\mathbb R^3\setminus f(\mathbb R^1)$ a path-connected space?
12
votes
4
answers
832
views
$S^n \to S^m \to B$ bundle: possible?
Sphere bundles and bundles over spheres are everywhere and are excellent things to get one's hands dirty with.
(1a) But when can we have a bundle $S^n \to S^m \to B?$ It seems like requiring the ...
5
votes
1
answer
492
views
Pair consisting of a compact manifold and Morse function
Consider the following situation:
Let $M$ and $M'$ be two closed manifolds and suppose $f:M\to \mathbb{R}$ and $f':M'\to \mathbb{R}$ are smooth morse functions on $M$ and $M'$ respectively. We say ...
20
votes
2
answers
2k
views
Simple curves on non-orientable surfaces.
Given an element in the (first) homology group of a surface, I would like to know if it can be represented as a simple closed curve. For orientable surfaces, this is well-known, but I wasn't able to ...