Questions tagged [homology]
Homology is a general way of associating a sequence of algebraic objects such as abelian groups or modules to other mathematical objects such as topological spaces.
267
questions
2
votes
0answers
32 views
Milnor exact sequence for homology of hopf algebras
Let $K$ be a field and $\mathrm{Hopf}^K_{E_\infty}$ the $\infty$-category of
homotopy-coherent hopf algebras over $K$ that are coherently commutative and cocommutative.
Precisely, $\mathrm{Hopf}^K_{E_\...
3
votes
0answers
80 views
Localizations of spaces with respect to homology and right properness
Let $E$ be a spectrum (with corresponding homology theory denoted $E_\ast$).
In "Localization of spaces with respect to homology", Bousfield constructed a model category structure on the ...
7
votes
3answers
346 views
Conclusion of Hurewicz for $H_3$ without vanishing fundamental group?
Fix a space $X$, which I want to assume is a manifold. Under the assumption of simple-connectivity, Hurewicz's theorem tells us that
$$
\pi_3(X)\to H_3(X,\mathbb{Z})\qquad (*)
$$
is surjective, hence ...
6
votes
0answers
67 views
Can a spherical simplicial complex have more than one “central” inversion?
Let $\Delta$ be a finite connected simplicial complex. Call a simplicial map $\phi:\Delta\to\Delta$ an inversion if
$\phi$ is an involution, that is $\phi\circ\phi=\mathrm{id}$, and
$\phi$ is not ...
2
votes
0answers
81 views
Rational systole of a manifold
I also posted this question on MSE, but since it may be a delicate question, I decided to post it here.
Given a Riemannian manifold $(M^n,g)$ and an integer $1 \leq k \leq n-1$, the $k$-systole of $M$ ...
4
votes
1answer
186 views
Cellular homology of the universal cover
Let $X$ be a connected pointed CW complex. Let $\tilde{X}$ be its universal covering space and $G=\pi_{1}(X)$.
Lets denote $(C^{Cell}_{\ast}(\tilde{X}),d)$ the cellular chain complex associated to $\...
6
votes
1answer
129 views
Explicit $BP_*BP$-comodule structure on $BP_*\mathbb{C}P^n$ and $BP_*\mathbb{C}P^{\infty}$
So as it says in the title, how can one explicitly calculate the comodule structures on $BP_*\mathbb{C}P^n$ and $BP_*\mathbb{C}P^{\infty}$ for a prime $p$?
For example, $\mathbb{C}P^2$ sits in a ...
0
votes
0answers
34 views
Are there structural properties of minimal torsion parts in simplicial complexes?
Are there any structural criteria to find torsions in a simplicial complex?
Are there some sufficient and/or necessary properties of torsion-free simplicial complexes?
Would it becomes easier to ...
8
votes
2answers
356 views
Conditions under which the preimage of a submanifold in nontrivial in homology
Let $\pi: M^{n+k} \to N^n$ be a fibre bundle with fibre $F$ between compact smooth manifolds. What are “mild” sufficient conditions on the topology of $M$, $N$ and $F$ so that given a closed $p$-...
7
votes
0answers
280 views
Low-Dimensional Spaces with High-Dimensional Homology
Barratt-Milnor Spheres $X_n$ are spaces with finite topological dimension $n$ but which have non-vanishing singular homology in arbitrarily high dimensions. Here, they prove that if $n > 1$ then ...
4
votes
0answers
77 views
Have mod $p^k$ Dyer Lashof operations been studied?
Here is one of the motivations for my question, when $p=2$. The homology of the spectrum $H\mathbb F_2$ as an algebra is generated by the Dyer Lashof operations on the single generator $\xi_1$ (and it ...
3
votes
1answer
150 views
$E_\infty$-space structure of $B\mathrm{GL}(\mathbb S_{(p)})$
In Geometric Topology - Localization, Periodicity, and Galois Symmetry by Dennis Sullivan, we can read that there is a decomposition
$$B\mathrm{SL}(\mathbb S_{(p)})\times K((\mathbf Z_{(p)})^\times)\...
2
votes
0answers
153 views
A covariant functor on a given abelian category and comparison of homology in target and source
The definition of cohomology of a complex is based on the following:
We have a complex (of appropriate objects) $$0\leftarrow C_0\leftarrow C_1\leftarrow C_2\ldots \leftarrow C_n\ldots$$
Then for an ...
6
votes
1answer
208 views
Relative homology of free loop space with respect to constant loops
Let $Q$ be a closed manifold with $\dim Q\geq2$ and let $\Lambda_0Q$ be the connected component of the free loop space of $Q$ whose elements are contractible loops. I am looking for conditions on the ...
0
votes
0answers
55 views
Every disk in $(S^2 \times S^1) \setminus B$ whose boundary lies in $\partial B$ separates
Let $M = (S^2 \times S^1) \setminus B$, where $B$ is a small open ball in $S^2 \times S^1$. Is it true to assert that every embedded $2$-disk $D \subset M$ such that $D \cap \partial M = \partial D$ ...
2
votes
0answers
278 views
What topological spaces can be realized as cell complexes?
What are the topological spaces can be realized as cell complexes, up to homeomorphism? It seems for instance that all manifolds can be built from cell complexes. It is clear however that one can ...
2
votes
0answers
131 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 ...
5
votes
1answer
101 views
Representing relative homology classes orientable surfaces with boundary
Let $S$ be compact oriented surface without boundary. Then it is a classical result that a primitive class $\gamma \in H_1(S; \mathbb{Z})$ is always represented by a simple closed curve. It implies ...
5
votes
1answer
306 views
loop space of a finite CW-complex
Let $X$ be a finite connected pointed CW-complex and $H_{\ast}(\Omega X)$ the integral homology of the loop space on $X$. Are the homology groups $H_{n}(\Omega X)$ finitely generated abelian groups ...
1
vote
0answers
126 views
Is an (n-1)-sphere quotient by an (n-1)-sphere contractible? [closed]
I am thinking about the homotopy type of the following quotient space:
Let $X$ be a topological space and $A$ be a subspace of $X$. If both $X$ and $A$ have homotopy type of a sphere $S^{n-1}$ (of the ...
1
vote
0answers
109 views
Nontrivial integer homology class implies orientability
I posted this question on MSE and I would like to see if my reasoning is correct.
Let $M^3$ be a compact, connected and oriented $3$-manifold with nonempty boundary and let $\Sigma^2$ be a compact and ...
19
votes
1answer
500 views
Homotopy equivalent Postnikov sections but not homotopy equivalent
Two pointed, connected CW complexes with the same homotopy groups need not be homotopy equivalent (Are there two non-homotopy equivalent spaces with equal homotopy groups?). Moreover, having the same ...
1
vote
0answers
135 views
Cellular chain complex of $G$-CW-complexes & their differentials
I not completly understand EXAMPLE 2.31 (page 19) dealing with homology of
$G$-CW-complexes. Source: http://www.ltcc.ac.uk/media/london-taught-course-centre/documents/LTCC-notes-Lecture3-2019.pdf
...
2
votes
0answers
55 views
Analog of Cartan model for equivariant homology
Let $X$ be a manifold, acted on by a Lie group $G$.
(For example $X$ real-even-dimensional acted on by $G=U(1)$ with only finitely many isolated fixed points.) The Cartan model for $G$-equivariant ...
0
votes
0answers
45 views
Questions about a structure related to simplicial complexes
While researching some superficially unrelated theory, a structure similar to the one described below presented itself to me. I'm having trouble with identifying what's the structure name. It seems to ...
2
votes
1answer
189 views
Alexander duality for Homology sphere which is the Geometric realization of a finite simplicial complex
The Alexander duality Theorem is usually stated for a triangulable pair $(\mathbb S^n, Y)$ where $Y$ is a subset of the standard sphere $\mathbb S^n$. My question is: Does the duality also hold if we ...
3
votes
0answers
168 views
Where can I find W. Browder's thesis
I've been looking for W. Browder's thesis Homology of loop spaces for a while now, and I really found nothing except for articles and book having it in their bibliography. Does someone know if it can ...
3
votes
0answers
39 views
Euler class and the real homological class of the fiber in an orientable sphere bundle
In the paper Foliations transverse to the fiber of a bundle, Plante considers the following example. Let $p:E\longrightarrow B$ a orientable fiber bundle with fiber $\mathbb{S}^k$. We have the Gysin ...
2
votes
0answers
118 views
A stronger generalized Jordan curve theorem
The generalized Jordan curve theorem is usually stated as such:
Given $X\subseteq S^n$ such that $X$ is homeomorphic to $S^k$, $$\tilde{H}_i(S^n\setminus X)\cong\begin{cases}\mathbb{Z},\quad i=n-k-...
4
votes
0answers
55 views
If all 2-faces of a polytope are $2n$-gons, is the edge-graph bipartite?
This question on MSE has not received a satisfying answer. It can be summarized as follows:
Question: Is is true that the edge-graph of a (convex) polytope is bipartite if and only if all 2-faces ...
2
votes
0answers
51 views
Homology of configuration space of punctured projective spaces?
Let $M=\mathbb{C}P^n$ or $\mathbb{R}P^n$ with $m$ punctures, is it known what the homology of the configuration space, $H_*(C_k(M))$ is? How are cases $\mathbb{C}P^n$ and $\mathbb{R}P^n$ different?
4
votes
0answers
103 views
Fibrant objects in $\mathbb{S}$-local model structure on $Top_*$
Let $\mathbb{S}$ be the sphere spectrum. We can localize the category of based spaces, $Top_*$ at a homology theory, and hence at $\mathbb{S}$.
Equipping $Top_*$ with the Quillen model structure (...
1
vote
0answers
111 views
Explicit action of the Dehn twist in the homology of punctured sphere with local coefficients
Let $X=\mathbb{P}^1\setminus S$, where $S=\{a_1,\dots, a_k\}$ is a finite subset of $\mathbb{P}^1$ and we may assume that $|S|\geq 4$. Let $\mathbb{L}$ be a local system on $X$ given by a monodromy ...
7
votes
1answer
495 views
How to identify cup product with intersection
What's the standard generalization and reference for the following statement:
If two oriented submanifolds $L$, $L'$ of an oriented compact manifold $M$ intersect transversally, then the Poincare ...
3
votes
0answers
265 views
mod $p$ homology of Thom spectra MSU
Using pairing in Atiyah-Hirzebruch spectral sequence one can show that homology of $BU(n)$ is a free abelian group with basis $\alpha_{k_1}\cdots\alpha_{k_t}$, $k\leqslant n$, where $\alpha_{i} = \big(...
2
votes
0answers
65 views
Embeddedness and homology of a limit of minimal surfaces
Consider the following theorem, proved in
this paper:
Theorem (Theorem 6.1). Suppose we have a sequence $(\Sigma_j, \partial \Sigma_j) \subset (M, \partial M)$ of immersed free boundary minimal $...
8
votes
1answer
637 views
When homology isomorphism implies homotopy isomorphism
Let's suppose that
$f:X\rightarrow X$ is a continuous map such that
$H_{\ast}(f): H_{\ast}(X)\rightarrow H_{\ast}(X)$ is a homology isomorphism (with integral coefficients)
$X$ is a finite ...
2
votes
1answer
341 views
Looking for examples of not injective maps and not surjective maps of the form $ A_{k} (X) \to H_{2k} ( X , \mathbb{Z} ) $
Here: https://www.mathematik.uni-kl.de/~gathmann/class/alggeom-2002/alggeom-2002-c9.pdf, on pages: $ 1 $ and $ 2 $, we find the following paragraph:
For any scheme of finite type over a ground field ...
3
votes
2answers
342 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 ...
2
votes
0answers
89 views
Computation of mod p homology of $MSU$
I am trying to proof Novikov theorem
\begin{equation}
MSU_*\otimes \mathbb Z[\frac 1 2] \cong \mathbb Z[\frac 1 2][y_2, y_4, \ldots],\quad \deg y_i = 2i.
\end{equation}
This can be proved by using ...
7
votes
1answer
693 views
Geometric intuition behind this chain homotopy
My question has to do with the chain homotopy that appears in Lee's Introduction to Topological Manifols and Rotman's Introduction to Algebraic Topology proofs that the inclusion
$$C_\bullet^\mathcal{...
6
votes
1answer
288 views
Tor functor and invertible elements
Let $A$ be a commutative ring, $a \subset A$ be an ideal. For $A$-module $M$ let $S \subset A$ be the set of elements, which are invertible in $M$, so $M$ is actually a $S^{-1}A$-module. It is not ...
1
vote
1answer
237 views
Easier ways to compute homology/cohomology by adding extra structure
Suppose $X$ is a topological space and I want to talk about its “homology”.
There is this notion of singular homology obtained from singular chain complex. This is not very easy to compute.
Suppose ...
2
votes
0answers
154 views
Homology of homotopy fiber of inclusion
We consider an inclusion $j: A \hookrightarrow X$. Let $A_j = A \times_X PX$ be the homotopy fiber (which is the fiber of the fibration associated to $j$). The space $PX$ there is the Moore path space ...
2
votes
0answers
193 views
Simply put Floer homology
I would like to understand what exactly Floer homology $HF_*(Y)$ for a simply connected compact 3-manifold $Y$ is. I understand there are many variants of Floer homology (and cohomology) but I would ...
3
votes
1answer
241 views
Cup product in Tate Cohomology Ring
Let $G$ be a finite cyclic group of order $p$. The tate cohomology groups $\hat{H}^*(G, \mathbb{F}_p)$ are defined using a complete resolution of $\mathbb{F}$ as $\mathbb{F}_pG$-module.
There is a ...
7
votes
0answers
244 views
Funtoriality of twisted K-theory
I posted this question on math.stackexchange, but received no answer there.
In order to avoid the XY problem I will first state what I want, then what I think is the solution and how that failed until ...
10
votes
1answer
236 views
Vietoris-Rips complex and coarse geometry
Let $K$ be an infinite countable subset of Euclidean space $E$ such any point of $E$ is within distance 1 of some point of $K$. In the language of John Roe's "coarse geometry", this implies that $K$ ...
2
votes
0answers
116 views
Discrete Morse theory, choice of Morse function, and removing noise
If I have a simplicial complex, and a discrete Morse function defined on the simplices, I can use persistent homology to produce a barcode which helps me distinguish "persistent" shape from noise. To ...
3
votes
0answers
120 views
Naturality of Poincaré–Lefschetz
Let $X$ be compact and Hausdorff, $A\subseteq B\subseteq X$ both closed such that $X\setminus A$ is an open orientable $d$-manifold. Then also $X\setminus B$ is an open orientable $d$-manifold. We ...
