All Questions
Tagged with at.algebraic-topology gt.geometric-topology
1,145 questions
30
votes
1
answer
1k
views
Are homeomorphic representations isomorphic?
Let $G$ be a finite group. Let $V_1, V_2$ be two finite-dimensional real representations. Suppose $f: V_1 \to V_2$ is a $G$-equivariant homeomorphism. Can one conclude that $V_1$ and $V_2$ are ...
- 803
5
votes
1
answer
258
views
Nondegeneracy of kernel of map on homology induced by covering of surfaces
Let $f:X \rightarrow Y$ be a finite covering map between compact oriented surfaces and let $K$ be the kernel of the induced map $f_\ast: H_1(X) \rightarrow H_1(Y)$. Here homology has rational ...
- 53
21
votes
1
answer
754
views
Is $\mathbb{CP}^3$ minus two points the universal cover of a compact manifold?
After reading some recent questions on mathoverflow about universal coverings, I am curious about the following:
Is it possible to construct a closed $6$-manifold $M$, with universal cover ...
- 6,995
3
votes
0
answers
158
views
What is the meaning of local inertia conjugation property?
In Hatcher, Allen; Lochak, Pierre; Schneps, Leila, On the Teichmüller tower of mapping class groups, J. Reine Angew. Math. 521, 1-24 (2000). ZBL0953.20030., we have:
Abstract. Let $\widehat{G T}^{1}$ ...
- 119
1
vote
1
answer
147
views
Transversal pre-image of a small enough trivial tubular neighborhood contains a trivial tubular neighborhood
A similar post on MSE without answer.
Let $f\colon M'\to M$ be a smooth map between two orientable closed smooth manifolds and $S$ be a smoothly embedded closed orientable submanifold of $M$ of co-...
- 1,097
3
votes
0
answers
113
views
Extending good covers of $\partial M$ to $M$
Suppose $M$ is an $n$-dimensional manifold with boundary with a free action of a finite group $G$. Suppose one has an equivariant collar $c: \partial M \times [0,1) \rightarrow M$. An open cover is ...
- 5,839
6
votes
0
answers
162
views
Uniqueness of normal microbundle of a smooth embedding
Suppose $M$ is a topological manifold and $\iota: N\hookrightarrow M$ be a submanifold. A normal microbundle of $N$ consists of an open neighborhood $U$ of $N$ and a retraction $\pi: U \to N$ such ...
- 803
6
votes
1
answer
644
views
Torus bundles and compact solvmanifolds
I asked this question on MSE 9 days ago and it got a very helpful comment from Eric Towers providing the Palais Stewart reference, but no answers. So I'm crossposting it here.
Let
$$
T^n \to M \to T^m ...
- 4,081
6
votes
1
answer
324
views
Computation of $\pi_1$ for a Mazur manifold and its boundary
If we attach a $4$-dimensional $1$-handle $D^1 \times D^3$ to a $4$-dimensional $0$-handle $B^4$, we obtain $S^1 \times D^3$. The null homologous knot in $S^1 \times S^2$ indicated in the picture ...
- 606
5
votes
0
answers
132
views
geometry and connected sum of aspherical closed manifolds
Let $ G $ be a Lie group with finitely many connected components, $ K $ a maximal compact subgroup, and $ \Gamma $ a torsion free cocompact lattice. Then
$$
\Gamma \backslash G/K
$$
is an aspherical ...
- 4,081
1
vote
1
answer
190
views
Approximations by compact sub-spaces
Suppose $X$ is a Hausdorff (I'm happy to also assume "non compact") topological space that can be written as the topological direct limit
$$\varinjlim_{a\in J} K_a$$
for $J$ a directed set ...
user335418
7
votes
2
answers
617
views
Status of the Hopf-Thurston sign conjecture in dimension 4
A famous conjecture in topology asserts:
The Euler characteristic of a closed aspherical $2n$-manifold $M$ satisfies $(-1)^n\chi(M) \geq 0$.
This was conjectured by Hopf for manifolds with non-...
- 11.9k
9
votes
1
answer
444
views
Compact flat orientable 3 manifolds and mapping tori
There are 10 compact flat 3 manifolds up to diffeomorphism, 6 orientable and 4 non orientable. I am looking to better understand how to construct the orientable ones.
The six orientable ones are ...
- 4,081
8
votes
0
answers
267
views
$\mathbb RP^n$ bundles over the circle, II
EDIT: I fixed the issue pointed out by Nicholas Tholozan, thanks for sheding light on this!
This question is written as a follow-up to this one.
Both answers there are great, but my impression is ...
- 11.9k
2
votes
1
answer
295
views
In which dimensions is it true that every topological ball embedded by a smoothly embedded sphere is a smoothly embedded ball?
I asked a question on MSE with no answer. Here is my question in the generalized version.
Question 1: Suppose we are given a connected three-manifold $M$ (possibly non-compact, or non-orientable) and ...
- 1,097
1
vote
0
answers
284
views
A question on existence of gradient vector field on manifold with boundary
Let $M$ be a compact manifold with smooth boundary $\partial M$. Does $M$ admit a gradient vector field $\nabla u$, which has no zeros, i.e. $\nabla u(x)\neq 0$, $\forall x\in M\cup\partial M$?
Thanks ...
- 51
5
votes
1
answer
333
views
Proof of homotopic essential simple close curves are isotopic
In the book by Benson Farb and Dan Margalit A primer on mapping class groups, Princeton Mathematical Series 49. Princeton, NJ: Princeton University Press (ISBN 978-0-691-14794-9/hbk; 978-1-400-83904-9/...
- 119
1
vote
0
answers
143
views
End space of non-compact 2-manifolds described with proper rays
I am wondering if the classification of noncompact surfaces given by Ian Richards can be stated with proper rays instead of nested sequences of connected open subsets with compact boundary. I asked ...
4
votes
1
answer
576
views
Reference request for Poincaré–Lefschetz duality as an intersection pairing
I believe the following is well known after talking to some experts, but I am unable to find a reference for the case with boundary.
Fix a field $F$ and an oriented $n$-manifold $(M,\partial M)$. We ...
- 5,839
2
votes
1
answer
484
views
Mapping torus of orientation reversing isometry of the sphere
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}\DeclareMathOperator\SU{SU}\DeclareMathOperator\O{O}\DeclareMathOperator\Iso{Iso}$
Let $ f_n $ be an orientation reversing isometry of the round ...
- 4,081
6
votes
1
answer
222
views
Stable smoothing of topological manifolds relative to an embedding
Let $M$ be a topological manifold. We know that $M$ is stably smoothable if and only its tangent microbundle, up to stabilization, admits a reduction to vector bundle.
Now I wonder if there is a ...
- 803
14
votes
3
answers
1k
views
Quotient of solid torus by swapping coordinates on boundary
Let $T$ be the solid 2-torus and let $\sim$ be the equivalence relation on $T$ generated by the relation $\{(\alpha,\beta) \sim (\beta,\alpha) \mid \alpha, \beta \in S^1\}$ on the boundary $\partial T=...
- 1,813
0
votes
0
answers
260
views
Another definition of singular homology
The singular homology is defined via standard simplex. Now if I propose another definition of singular homology groups, based on arbitrary simplex, as follows:
Let $X$ be a topological space. A $n$-...
- 781
17
votes
1
answer
898
views
Does there exist a closed manifold with vanishing reduced rational cohomology but nonvanishing odd torsion cohomology?
Question: Let $p$ be an odd prime. Does there exist a closed manifold $M$ with $\widetilde H^\ast(M; \mathbb Q) = 0$ but $\widetilde H^\ast(M; \mathbb F_p) \neq 0$?
When $p = 2$, an example is given ...
- 63.9k
4
votes
1
answer
184
views
Inequivalent free $\Bbb Z/n\Bbb Z$-actions on orientable compact bordered surface
Let $S_{g,b}$ denote the orientable connected compact surface of genus $g$ with $b$ boundary components. A group homomorphism $\varphi\colon G\to \text{Homeo}^+(S_{g,b})$ is said to be free $G$-...
- 1,097
0
votes
0
answers
266
views
Define a characteristic class on a simplicial complex (non-manifold)
Given a simplicial complex with only triangulation and only branching structure, is it enough to define Stiefel–Whitney class?
(Please provide Yes or No answers, and reasonings.)
Given a fixed ...
- 10.5k
7
votes
1
answer
260
views
Bordism for oriented triangulable manifolds without smooth differentiable structures
We know the bordism group for oriented smooth differentiable structures such as $\Omega_d^{SO}$ that requires the special orthogonal group structure on the tangent bundle $TM$ of manifold $M$.
$$\...
- 10.5k
4
votes
0
answers
314
views
Intersection homology of orbifolds?
It is well-known that the ordinary (singular) cohomology of orbifolds doesn't behave well for many purposes. Better approaches include the Chen-Ruan cohomology, which has an associative product ...
- 915
9
votes
1
answer
588
views
Oriented bordism in higher dimensions (e.g. $12 \leq d \leq 28$)
The classification of oriented compact smooth manifolds up to oriented cobordism is one
of the landmarks of 20th century topology. The techniques used there form the part of the foundations of ...
- 10.5k
3
votes
0
answers
164
views
Equivalent condition for compact group to act transitively
Let $ M $ be a connected manifold. Let $ \pi_1(M) $ be the fundamental group of $ M $.
Suppose there exists a compact group $ K $ that acts transitively on $ M $. Then $ \pi_1(M) $ must have a finite ...
- 4,081
0
votes
0
answers
74
views
Do adjoining basepoints and/or moduli of spaces affect fixed points nicely?
My question is when will $(X_+)^G$ or $(X/A)^G$ be equal to $(X^G)_+$ or $X^G/A^G$ respectively for $X$ a $G$-space, $G$ a finite cyclic group and $X^G$ the ordinary fixed points. These seem like they ...
- 9
11
votes
0
answers
335
views
Isotopy on embedded 3-manifolds in 4-manifolds
Suppose that $X$ be an oriented, closed four-manifold. Suppose that $Y$ is an oriented, closed three-manifold smoothly embedded in $X$. Suppose also that $f:X \to X$ is a diffeomorphism that fixes $Y$...
- 3,751
40
votes
2
answers
2k
views
Can the nth projective space be covered by n charts?
That is, is there an open cover of $\mathbb{R}P^n$ by $n$ sets homeomorphic to $\mathbb{R}^n$?
I came up with this question a few years ago and I´ve thought about it from time to time, but I haven´t ...
- 10.6k
0
votes
1
answer
154
views
Why does $X_0\times S^1\simeq X-X_0$? [closed]
Let $X$ be an $n$-dimensional connected smooth manifold, and let $X_0$ be an embedded $(n-2)$-dimensional compact submanifold of $X$ with the trivial normal bundle. How do we get inclusion?
$$X_0\...
- 563
0
votes
1
answer
284
views
Künneth formula and induced map in homologies
Let $X,Y,Z$ be smooth connected manifolds and $f \colon X \times Y \rightarrow Z$ a smooth map. Suppose that we have $H_{*}(X \times Y; \mathbb{Z})$ is isomorphic to $\bigoplus_{p+q=*}(H_{p}(X; \...
- 369
3
votes
1
answer
173
views
Parameterizing the space of convex quadrilaterals
If $P=\mathbb{R}^2$ is the plane, is there a continuous surjection from $P^4$ to the space of convex quadrilaterals?
Specifically, I'm looking for a continuous $f:P^4\to P^4$ such that:
[convexity] ...
user44143
5
votes
1
answer
297
views
Set of proper homotopy classes of arcs in a manifold
Let $M^n$ be an $n$-manifold with nonempty boundary and let $\partial_0 M$ be a specific connected component of $\partial M$. I am interested in the set of continuous maps $f : [0,1] \to M$ such that $...
- 5,349
6
votes
1
answer
385
views
Do all spaces doubly covered by $S^{2n}$ have the homeomorphism type of $\mathbb{P}^{2n}_{\mathbb{R}}$?
For reference, my motivation: It's of interest to classify free actions of groups on spheres of positive even dimension. Establishing such a classification up to homotopy is not too difficult: Every ...
- 233
0
votes
1
answer
271
views
When do cobordism groups depend on differential structure? [closed]
I heard that cobordism group with structures sometimes depend on differential structure of space.
Do you know any examples or references about this facts?
I want to know when difference occur between ...
- 1
4
votes
1
answer
381
views
Injectivity of map of fundamental groups from totally geodesic hypersurface
Let $X$ be a compact manifold of non-positive sectional curvature which carries a connected totally geodesic hypersurface $X_0\subset X$. Let $K$ be any compact subset of $X-X_0$. That's to say we ...
- 563
13
votes
3
answers
2k
views
A quotient space of complex projective space
Let $\mathbb{C}P^n$ be the $n$-dimensional complex projective space and denote $[z_0:\dots:z_n]$ its points. If we glue $[z_0:\dots:z_n]$ and $[\overline{z_0}:\dots:\overline{z_n}]$ for any $[z_0:\...
- 331
8
votes
0
answers
222
views
Representing the fundamental class of an aspherical manifold in the bar complex
Suppose $M$ is a compact orientable aspherical manifold and $G$ its fundamental group. Is there a nice description of representatives of the fundamental class of $M$ and its dual in the (homogenous) ...
- 1,174
1
vote
0
answers
102
views
DA structure of a Dehn twist
I am trying to find the DA bordered homology structure of a Dehn twist.In https://arxiv.org/pdf/0810.0687v6.pdf page 255 bottom the authors tabulate the differentials of the right module(A side) of ...
- 99
8
votes
0
answers
219
views
Computation of the 3-dimensional $\mathbb{Z}/m$-equivariant spin cobordism group (with possibly non-empty fixed-point set)?
$\newcommand{\odd}{\mathrm{odd}}\newcommand{\ev}{\mathrm{ev}}$Consider tuples of the form $(Y,\mathfrak{s},\widehat{\sigma})$ where: $Y$ is a closed oriented 3-manifold, $\mathfrak{s}$ is a spin ...
- 299
7
votes
1
answer
266
views
Stallings' binding tie
I came to know that the statement below could be proved using Stallings' binding tie argument, though I have no reference article proving the statement by the binding tie argument. Can anyone help me ...
- 1,097
8
votes
2
answers
283
views
Is there a simple formula to compute the Casson invariant of an homology $3$-sphere from its Heegaard diagram?
Let $(S_g,\boldsymbol{\alpha}_1,\boldsymbol{\alpha}_2)$ be a Heegaard diagram of a Heegaard splitting $\Sigma=H_g \cup_{\phi_1\phi_2^{-1}}H_g$ of an integral homology sphere $\Sigma$, i.e. $S_g$ is a ...
- 361
1
vote
0
answers
97
views
Homotopy type of complement to a union of linear subspaces
Im not sure if this question is appropriate for MO, but I'm looking for a hint about some questions about homotopy type of complement to a union of linear subspaces in vector space $\mathbb{R}^n, \...
- 11
10
votes
0
answers
187
views
A minimal $\mathbb Z/2$-invariant Morse function on $U(n)$
Consider the group $U(2n)$ of unitary matrices. This has two standard and important homomorphic involutions. The most famous one $A \mapsto \overline A$ is complex conjugation, with fixed-set $O(2n)$, ...
- 9,579
1
vote
0
answers
160
views
Contractible four-manifold which admits a decomposition
Let $M^4$ be a noncompact, contractible, smooth manifold. Suppose there exists an exhaustion $M=\bigcup_{i\ge 1} U_i$ by open sets such that (1) $\bar U_i \subset U_{i+1}$ and (2) each $U_i$ is ...
- 891
14
votes
2
answers
1k
views
Atiyah duality without reference to an embedding
Atiyah duality is the equivalence $M/\partial M \simeq (M^{-T(M)})^\vee$, i.e. the Spanier-Whitehead dual of the space $M/\partial M$ is the Thom complex of the stable normal bundle of $M$. The ...
- 5,839