All Questions
20 questions
60
votes
6
answers
7k
views
Torsion in homology or fundamental group of subsets of Euclidean 3-space
Here's a problem I've found entertaining.
Is it possible to find a subset of 3-dimensional Euclidean space such that its homology groups (integer coefficients) or one of its fundamental groups is not ...
5
votes
0
answers
158
views
Representing some odd multiples of integral homology classes by embedded submanifolds
Consider an $m$-dimensional compact closed orientable smooth manifold $M$ and an $n$-dimensional integral homology class $[\Sigma]$ on $M$, with $1 \le n \le m-1$. Then does there exist an odd integer ...
13
votes
1
answer
518
views
Impossibility of realizing codimension 1 homology classes by embedded non-orientable hypersurfaces
Suppose we have an $n+1$-dimensional compact closed oriented manifold $M$ and an $n$-dimensional integral homology class $[\Sigma]\in H_n(M,\mathbb{Z})$ on $M.$ Then is it true that $[\Sigma]$ mod $2$ ...
13
votes
1
answer
386
views
Realizing integral homology classes on non-orientable manifolds by embedded orientable submanifolds
Let $M^m$ denote a compact, non-orientable smooth manifold and $\nu$ an integral homology class of dimension $n$. I am interested in understanding the representability of $\nu$ by embedded, orientable ...
20
votes
2
answers
902
views
Integral homology classes that can be represented by immersed submanifolds but not embedded submanifolds
Let $M$ be an $m$-dimensional compact closed smooth manifold and $z\in H_n(M,\mathbb{Z})$ an $n$-dimensional integral homology class, with $m>n.$ Does there exist a pair of $M$ and $z$ so that $z$ ...
8
votes
1
answer
217
views
Integral homology classes of which no multiples admit embedded representatives with trivial normal bundle
Let $M$ be a closed smooth manifold of dimension $n$ and $z\in H_l(M,\mathbb{Z})$ a $k$-dimensional integral homology class. Theorem II.4 of Thom's classical 1954 paper states that for $l< n/2$ or $...
6
votes
0
answers
374
views
Singular homology using singular cubes
When singular homology is defined using cubes instead of simplices it is important to factor out the degenerate cubes in the course of building the singular chain complex. If you omit this step it is ...
2
votes
0
answers
346
views
regular CW complex and incidence matrices
Suppose that we have a regular CW-complex $X$. I want to define the incidence matrix of $k$-skeleton of $X$ with respect to the $k-1$ skeleton and I wonder what might go wrong in this case.
If it's ...
3
votes
2
answers
409
views
Alexander duality and homology equivalence
While reading the paper of Kauffman and Taylor "Signature of links" I found the following situation.
In the proof of Theorem 2.6 they suppose that two links $L_1, L_2\in \mathbb{S}^3$ are ...
8
votes
2
answers
2k
views
Classification of closed 3-manifolds with finite first homology group?
I am interested in a topological classification of connected closed 3-manifold $M$ that have finite homology group $H_1(M)$.
Since $H_1(M)$ is the abelization of the fundamental group $\pi_1(M)$, ...
10
votes
4
answers
2k
views
Complements of Simply Connected Subsets of the Plane
this is my first question here! Hopefully it is appropriate. Let $\mathbb{A}$ be the punctured plane, i.e. the 'standard' annulus. For compact, connected subsets of the plane (planar continua) $X \...
4
votes
1
answer
264
views
Invariance of Khovanov homology under first Reidemester move
I am studying Khovanov homology from five lectures on Khovanov homology
and I want to try to show Khovanov homology is invariant under first Reidemester move but I cannot understand how we can write
...
1
vote
1
answer
326
views
Addition of two homology classes is zero in construction of Poincare Sphere
I ask here the question since it hasn't been answered in
Math Stack Exchange.
I am working through Greenberg and Harper, Lecture notes on Algebraic Topology, and I am having trouble with one ...
7
votes
0
answers
424
views
kernel of the mod $2$ Bockstein on the first cohomology group
Let $M$ be a path-connected finite $CW$-complex. Suppose the first integral homology group is $H_1(M;\mathbb{Z})= \mathbb{Z}_2^{\oplus r}\oplus A$ where $r\geq 1$ and $A$ is a finite abelian group of ...
1
vote
0
answers
101
views
coefficient of homology of configuration spaces over real projective spaces
In the slides Characteristic Classes of Surface Bundles
and Configuration Spaces, Miguel A. Xicot'encatl, page 38, what is the coefficient of the following homology?
Could the coefficient be an ...
21
votes
2
answers
3k
views
Does this approach for the Poincaré conjecture work?
Several months ago a paper was posted at
http://arxiv.org/abs/1001.4164
called "Another way of answering Henri Poincaré's fundamental question." The author gave a talk on it today at my institution. ...
3
votes
1
answer
253
views
Constructing a homology class of degree $d(d-1)/2$ in $H_3(S^3)$
There is a nice construction of a class of degree $d^2$ in $H_3(S^3)$. Take a class $h$ of degree $d$ in $H_1(S^1)$, and then take its join with itself: $h*h$ is degree $d^2$ in $H_3(S^1*S^1)$, and $S^...
1
vote
0
answers
366
views
Question on Steenrod realizability problem
René Thom proved that for any topological space $X$, any integral homology class of $X$ (of any degree) has an odd multiple that is the pushforward of the fundamental class of a smooth compact ...
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 ...
7
votes
4
answers
685
views
Realizing complexes with bases as cellular complexes
This is a question a friend of mine asked me some time ago. I suspect the answer is "no" but can't prove it.
Every free complex of abelian groups is isomorphic to the reduced cellular complex of some ...