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.

Filter by
Sorted by
Tagged with
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 ...

1
2 3 4 5 6