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
2 answers
186 views

Spaces homotopy dominated by $S^2 \times S^2\times S^2$

We say that a topological space $A$ is homotopy dominated by a topological space $X$ if there exist continuous maps $f:A\to X$ and $g:X\to A$ such that $g\circ f\simeq 1_A$. Let $X$ be $S^2 \times S^2 ...
user avatar
  • 780
2 votes
0 answers
82 views

Different definitions of p-fusion and Mislin's theorem

Currently, I am trying to understand and compute homology of finite groups with coefficients in a field of positive characteristic. So, I was searching for some results that could reduce this problem (...
user avatar
4 votes
1 answer
215 views

Mayer–Vietoris sequence for coproduct of Hopf algebras

Is there a Mayer–Vietoris-type sequence for the homology of a coproduct of two Hopf algebras over an ideal? The definition of the coproduct can be found in Agore - Categorical Constructions for Hopf ...
user avatar
0 votes
0 answers
94 views

Tate cohomology and cup product: functoriality in $G$

Let $G$ be a finite group, and let $A, B$ be $G$-modules. See Atiyah and Wall [AW] for the definition of the Tate cohomology groups $H^q(G,A)$ for all $q\in\mathbb Z$ and of the cup product pairings \...
user avatar
1 vote
0 answers
81 views

Modular cycles?

It is well known that cocycles (differential forms) and cycles share many properties through duality (e.g., de Rham). I've been reading about modular forms recently and I came with a very naive ...
user avatar
19 votes
1 answer
674 views

What is the homotopy type of the poset of nontrivial decompositions of $\mathbf{R}^n$?

Consider the following partial order. The objects are unordered tuples $\{V_1,\ldots,V_m\}$, where each $V_i \subseteq \mathbf{R}^n$ is a nontrivial linear subspace and $V_1 \oplus \cdots \oplus V_m =...
user avatar
  • 893
8 votes
2 answers
390 views

What is the rank of the period lattice of modular forms?

Let $f$ be a weight $2$ cusp form for the group $\Gamma_0(N)$. I was experimenting with integrals of the form $$ \int_r^s f(z) \, dz$$ where $r, s \in \mathbf{P}^1(\mathbf{Q})$ and the integral above ...
user avatar
  • 695
5 votes
1 answer
278 views

Homology of singular chain complex modulo subdivision

Let $S_p(X)$ be the $p$-th singular chain group and $\mathcal S(X)$ be the singular chain complex of a topological space $X$. There is a barycentric subdivision operator (which is also a chain map) $\...
user avatar
1 vote
0 answers
159 views

Homological stability and relative homology [closed]

Given a sequence of topological spaces $\{Y_{k}\}_{k\geq1},$ the homological stability is a property that, there is a function $g:\,\mathbb{N}_{0}\rightarrow \mathbb{N}_{0}$ such that for any $i\geq0$ ...
user avatar
2 votes
1 answer
124 views

Is a certain map a quasi-isomorphism?

$\DeclareMathOperator\Hom{Hom}$Assume $F$ and $M$ are respectively right and left modules over a ring $R$ and let $I^\bullet$ be a left-bounded exact complex of $R$-$R$-bimodules. We know there is a ...
user avatar
  • 131
-1 votes
1 answer
167 views

If $H_i(U_j)=0$ for infinitely many $j$ then $H_i(X)=0$ [closed]

Let $X$ be a topological space and $U_i$ open subsets. If $U_i\subset U_{i+1}$ and $\bigcup^{\infty}_{i=1}U_i=X$. How can I prove that if for infinitely many $j$, the $i$-th homology vanishes $H_i(U_j)...
user avatar
5 votes
0 answers
359 views

Does there exist a manifold with finitely generated homology groups that is not homotopy equivalent to a compact manifold with boundary?

Does there exist a manifold with finitely generated homology groups that is not homotopy equivalent to a compact manifold with boundary? I am also interested in several variations of this question. ...
user avatar
3 votes
0 answers
155 views

Being a product - from homology to topology

The famous Kunneth formula expresses the homology of a product manifold as the tensor product of the two algebras. Now suppose we know that a manifold $X$ has a decomposition $H_*(X) \simeq A \otimes ...
user avatar
1 vote
0 answers
43 views

Optimality condition of the harmonic form representatives of a homology class

In "Hodge theory on metric spaces, Smale et al." the $d$-th harmonic forms of the Hodge Laplacian $\Delta_d=\delta^* \delta+\delta \delta^*$ satisfying $\Delta_d(f)=0$ are claimed to be ...
user avatar
1 vote
0 answers
66 views

Regular mapping space vs continuous mapping space for affine schemes

Let $A$ and $B$ be Zariski open affine sub-schemes of $\mathbb{A}_{\mathbb{C}}^{n}$ and $\mathbb{A}_{\mathbb{C}}^m$ respectively. We denote the infinite symmetric product of $B$ by $Sym^{\infty}(B)$. ...
user avatar
  • 4,926
2 votes
0 answers
102 views

Characteristic disks in $S^2 \times S^2$ for knots

I'm studying the article Genera and degrees of Torus Knots in $\mathbb{CP}^2$ and I ended up with a question. We know that every knot is slice (i.e. bounds properly embedded smooth disk) in $S^2 \...
user avatar
5 votes
1 answer
378 views

Invariance of morse homology, doubt in proof in book "Morse Theory and Floer homology"

I am reading the book "Morse theory and Floer Homology" by Michele Audin and Mihai Damian. Now I am reading the proof of the following theorem. Link to the statement of the theorem ...
user avatar
3 votes
0 answers
107 views

Homology of a fiber as a cotorsion product

Let $K$ be a field. For any differentially graded coalgebra $A$ over $K$, any differentially graded right $A$-comodule $M$ over $K$ and any differentially graded left $A$-comodule $N$ over $K$ let $\...
user avatar
3 votes
0 answers
83 views

Do chains send homotopy inverse limits of spaces to homotopy inverse limits of $E_\infty$-coalgebras?

Let $X_\bullet := ... X_2 \to X_1$ be a tower of connected and simple spaces with the following properties: The induced tower $H_\ast(X_\bullet; \mathbb{F}_p)$ of graded $\mathbb{F}_p$-vector spaces ...
user avatar
3 votes
0 answers
113 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_\...
user avatar
3 votes
0 answers
85 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 ...
user avatar
7 votes
3 answers
383 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 ...
user avatar
6 votes
0 answers
72 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 ...
user avatar
  • 9,471
1 vote
0 answers
87 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$ ...
user avatar
4 votes
1 answer
287 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 $\...
user avatar
  • 893
6 votes
1 answer
140 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 ...
user avatar
  • 73
8 votes
2 answers
441 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$-...
user avatar
7 votes
0 answers
308 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 ...
user avatar
4 votes
0 answers
100 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 ...
user avatar
  • 263
3 votes
1 answer
163 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)\...
user avatar
  • 263
2 votes
0 answers
173 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 ...
user avatar
6 votes
1 answer
270 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 ...
user avatar
0 votes
0 answers
56 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$ ...
user avatar
2 votes
0 answers
283 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 ...
user avatar
  • 494
2 votes
0 answers
167 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 ...
user avatar
  • 494
5 votes
1 answer
171 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 ...
user avatar
  • 103
5 votes
1 answer
364 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 ...
user avatar
  • 893
1 vote
0 answers
159 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 ...
user avatar
  • 423
1 vote
0 answers
113 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 ...
user avatar
19 votes
1 answer
514 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 ...
user avatar
  • 496
1 vote
0 answers
228 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 ...
user avatar
2 votes
0 answers
61 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 ...
user avatar
  • 471
0 votes
0 answers
46 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 ...
user avatar
2 votes
1 answer
237 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 ...
user avatar
  • 144
3 votes
0 answers
171 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 ...
user avatar
  • 263
3 votes
0 answers
45 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 ...
user avatar
2 votes
0 answers
130 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-...
user avatar
  • 247
4 votes
0 answers
62 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 ...
user avatar
  • 9,471
2 votes
0 answers
52 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?
user avatar
  • 1,365
4 votes
0 answers
112 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 (...
user avatar

1
2 3 4 5 6