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.
321
questions
7
votes
0
answers
313
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
1
answer
290
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
0
answers
181
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
0
answers
154
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 ...
5
votes
0
answers
131
views
Finite generation of the image of the induced homomorphism on homotopy groups of infinite loops spaces
Let $f:X\rightarrow Y$ be a map of infinite loop spaces such that image of homology groups $H_i(X,\mathbb{Z})$ for $i\geq 1$ under $f_*$ are finitely generated. Does this imply that the image of ...
4
votes
4
answers
560
views
Homology of solvable (nilpotent) Lie algebras
Let $\mathfrak{g}$ be a solvable Lie algebra over $\mathbb{C}$ and $\lambda\in(\mathfrak{g}/[\mathfrak{g},\mathfrak{g}])^*$ be a character of $\mathfrak{g}$. I'm interested in calculating homology for ...
1
vote
0
answers
203
views
Do closed hypersurfaces separate the euclidean space?
The following extension of the Jordan Curve Theorem is well known: every closed connected hypersurface of the sphere $\mathbb S^N$ separates $S^N$ into exactly two connected components. As a ...
1
vote
0
answers
130
views
Fibre transfer of $\mathbb{S}^1$-bundles
Let $p:E\to X$ and $p':E'\to X'$ be two orientable $\mathbb{S}^1$-bundles. Denote their homological transfers by $p_!:H_*(X)\to H_{*+1}(E)$ resp. $p'_!$.
Now let $(u,f)$ be a bundle morphism ($u:E\to ...
0
votes
0
answers
285
views
Defining a graded ring structure on $\bigoplus_{i} \text{Ext}^i (A,A)$
I read that, using the fact that $\text{Tot}^{\prod}(\text{Hom}(P_{\bullet} ,Q_{\bullet}))$ can by used to compute $\text{Ext}^* (A,B)$ (which I understand), we can give $\bigoplus_{i} \text{Ext}^i (A,...
1
vote
1
answer
412
views
Homology of universal abelian cover of a manifold
If one define the universal abelian covering $M_0$ of a manifold $M$ as the abelian covering (i.e. normal covering with abelian group of deck transformations) that covers any other abelian covering, ...
2
votes
0
answers
158
views
Singular homology: Lifting simplices gives map in homology
Let $X$ be a space, $k=k_1+\dotsb+k_r$ and let $G:=\mathfrak{S}_{k_1}\times\dotsb\times \mathfrak{S}_{k_r}$ act freely on the right on $X$. Fix a commutative ring $R$ and another space $Y$.
Then the ...
1
vote
0
answers
85
views
non zero differential in a spectral sequence
This is the situation:
Let $A = R_* \otimes C_*$ be an $R$-module where $C_*$ is a finitely generated graded ($*\geq 0$) vector space over a field $F$ which is also bounded above, and $R$ is a ...
6
votes
0
answers
73
views
Alexander-Whitney for cyclic objects
What is known about the extension of the AW map from simplicial to cyclic Abelian groups? Homological perturbation theory implies there is an A infinity-like sequence of maps, but is it known ...
1
vote
0
answers
217
views
Cohomology of a chain complex over a polynomial ring
I asked this on SE but I did not get any answer; I got some progress but I hope here I can find some help to finish the problem out.
Let $R = F[x_1, \ldots, x_n]$ be a polynomial ring over a field $...
6
votes
1
answer
2k
views
Is there a theorem showing that de Rham homology is isomorphic to singular homology?
The only exposition of de Rham homology I've found is an appendix to Uranga and Ibanezs book on String Phenomenology. It was brief and gave only basic outline of how to construct this homology.
Now ...
2
votes
0
answers
135
views
Homology of SL(2,R) with finite coefficients
Consider the third homology group of a real special linear group
$H_3 (SL(2,\mathbb{R}),\mathbb{F}_p)$. It is known$[1]$ that for $p=2$ the third homology group of $SL(2,\mathbb{R})$ vanishes.
...
7
votes
1
answer
496
views
Topology of connected subsets of the $3$-torus
Consider the $3$-torus $Y=T^3$, a subset $\Sigma\subset Y$, and $\Sigma^*=Y\setminus\overline\Sigma$.
We assume both $\Sigma$ and $\Sigma^*$ to be open, connected, and smoothly bounded.
I am ...
15
votes
1
answer
889
views
Spectra with "finite" homology and homotopy
As known, any non-trivial finite spectrum $X$ can not have non-zero homotopy groups $\pi_i(X)$ only for finite number of $i$. As I understand, the same is true for any spectrum $X$ with finitely ...
2
votes
0
answers
83
views
Is there a knot invariant robust to hiding one part of the diagram behind another?
Is there a well-known knot invariant that can be computed solely by inspecting an arbitrary projection of the knot into the plane (with a marking of each crossing as "over" or "under")?
The reason ...
1
vote
0
answers
143
views
Example of open manifold with no free integer homology non-homeomorphic to a ball
I would like to state that if an open oriented even-dimensional (complex) manifold $M$ is such that $dim(H_k(M,\mathbb{Z}))=0$ for $k>0$, and 1 for $k=0$, then $M$ is homeomorphic to an open ball.
...
1
vote
0
answers
112
views
Reference request for Leibniz rule and spectral sequences
Suppose $A_*$,$B_*$, and $C_*$ are chain complexes equipped with filtrations and a map $m:A_* \otimes B_* \to C_*$ respecting these filtrations. I am looking for a reference for the fact that the map $...
7
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)$, ...
5
votes
2
answers
416
views
On spaces with finite homological dimension
Let $X$ be a connected $CW$-complex, such $\pi_1(X)$ is torsion-free and $H_k(X,\mathbb Z) = 0$ for all $k \geq N$ and some $N \in \mathbb N$. Then
$(1)$ Does it follow that $X$ is homotopy-...
2
votes
1
answer
180
views
On the entries of a matrix representation for a boundary operator of a persistence module
In equation 6 of Computing Persistent Homology (page 8), the authors put forward the following identity:
$$\deg \hat{e_i}+\deg M_k (i,j)=\deg e_j$$
Where $\hat{e_i}$ and $e_j$ are elements of ...
6
votes
2
answers
396
views
Homology spectral sequence for function space
The question is in the title. Suppose that $X$ and $Y$ are two pointed connected CW-complexes. I was wondering if there exists a spectral sequence computing the homology of the function space $$H_{\...
3
votes
1
answer
122
views
Proof of $\det\partial_2^t∂_2 =m^2 ·k(G)$ for G, finite connected graph with reduced homology being 0
Let $G$ be a finite connected graph. Let $K$ be a 2-dimensional complex such that $K^{(1)} = G$, $\tilde{H}_2(K)=0$ and $\tilde{H}_1(K)=\Bbb Z_m$. Show that $\det\partial_2^t∂_2 =m^2 ·k(G).$
Over the ...
10
votes
0
answers
278
views
Hochschild homology of a Hopf algebra
Let $A$ be a Hopf algebra over the complex numbers.
Denote by $\mathcal{M}$ the dg-category of dg-$A$-modules.
The Hochschild homology of $\mathcal{M}$ is not going to be the Hochschild homology of $A$...
3
votes
0
answers
155
views
Eilenberg-Steenrod Axioms for Lawson Homology
Let $X\subset\mathbb{P}^N:=\mathbb{P}^N(\mathbb{C})$ be a projective variety and denote by $X(p)$ the set of $p$-dimensional subvariety of $X$. The free abelian group generated by $X(p)$ is the space ...
6
votes
0
answers
390
views
spectral sequence for a complex with two filtrations
Suppose $(C,d)$ is a chain complex: an abelian group with a map $d:C \to C$ such that $d^2 = 0$ (people like to assume $C$ is graded; if that helps - feel free to do so). A filtration is an ascending ...
13
votes
3
answers
2k
views
When does homology represent an embedded sphere?
If we have a triangulation of a manifold $M$ of dimension $i$ and we have simplicial homology $H_i(M)=\mathbb{Z}$, what is the condition than there exists an embedded sphere $S^i$ that generates the ...
1
vote
1
answer
267
views
Generalised homology of a split fibration
Let $E, X$ be path-connected and suppose I have a fibration $p\colon E\to X$ which admits a section $s$.
For a generalised homology theory $\mathcal{E}_\ast$, there is a splitting $\mathcal{E}_\ast (...
4
votes
1
answer
317
views
Vanishing of homology for hyperelliptic locus
It is a theorem due to Harer that $H_k(M_{g,n},\mathbb{Q})=0$ for $k>C(g,n)$, where $C(0,n)=n-3, C(g,0)=4g-5$ for $g>0$, and $C(g,n)=4g-4+n$ for $g,n>0$. Here $M_{g,n}$ denotes the coarse ...
5
votes
1
answer
360
views
A weak version of the Whitehead Theorems
Let $f:X\longrightarrow Y$ be a map between CW-complexes $X$ and $Y$. By the Whitehead Theorems, if one of the conditions:
1- (homotopy version) $\pi_n (f):\pi_n (X)\longrightarrow \pi_n (Y)$ is an ...
2
votes
2
answers
214
views
Continuous map with homeomorphic fibers whose associated $H^{k}_c$ sheaf is not a local system?
Let $ f: X \to Y$ be a continuous map between connected manifolds s.t. for all $y \in Y$ the fiber $f^{-1}(y)$ is homeomorphic to some fixed connected manifold $Z$.
Let $k$ be a ring and for every $...
5
votes
1
answer
1k
views
Base change for Borel-Moore homology
For a seperated scheme of finite type $X$ over $\mathbf{C}$, let $H_*(X)$ denote its Borel-Moore homology, which is defined by
$$
H_k(X) = R^{-k}\Gamma(X, \omega_X)
$$
where $\omega\in D_c(X, \mathbf{...
11
votes
1
answer
531
views
Smallest volume representatives of homology
Given a Riemannian manifold, I have a notion of volume for each of my chains, so it makes sense to ask for a representative of a homology class with the smallest volume. Are there conditions for when ...
0
votes
1
answer
378
views
Clarification of "death event" in persistent homology
Before I ask my question let me clarify some notation:
$f^{i,j}_r$, where $i < j$, refers to the inclusion map $f: H_r(X_i) \hookrightarrow H_r(X_j)$. $X_i$ and $X_j$ are subcomplexes of a filtered ...
12
votes
1
answer
1k
views
Getting the most general form of Mayer-Vietoris from the Eilenberg-Steenrod axioms
I asked this question a while ago on MSE, got no answer, put a bounty on it, still got no answer, was advised to ask here instead, hesitated, forgot about the question for a while and now remembered ...
6
votes
0
answers
151
views
What is the relationship between the Khovanov-Rozansky homology of a digraph and that of a link?
Motivation: I'm reading this preprint, which takes a digraph $G = (V, E)$ and then builds a projective algebraic set $P(G)$ by assigning a variable to each edge and then defining certain polynomial "...
2
votes
0
answers
107
views
Quillen homology of a morphism
I’m interested in definition of a homology of a map in model category $C$, as an example let’s take $C = \mathrm{sGrp}$.
Let $\Gamma$ be a discrete group, its Quillen homology groups defined as $H_n \...
8
votes
3
answers
863
views
Integer homology of double loop space of odd-dimensional sphere
I have checked everything "homology of loop spaces"-like, but was not able to find what is $H_*(\Omega^2S^3, \mathbb{Z})$. Therefore I ask you how to compute that?
7
votes
1
answer
539
views
Continuous maps $f:S^n \to \mathbb{C}P^m$ with $f(x)\perp f(-x) $
Question 1: What is a complete classification of all positive integers $m,n$ with the following property:
There is a continuous map $f:S^n \to \mathbb{C}P^m$ such that $f$ maps antipodal ...
1
vote
1
answer
114
views
On graph imbedding genus clarification
Given a graph the minimum genus $g$ is the minimum number of handles needed so that there an imbedding of the graph on the surface with no edge crossings.
If the graph is of genus $g$ then is there ...
10
votes
4
answers
1k
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
0
answers
113
views
Do homological holes with unit coefficients correspond to polyhedra?
(Originally posted at m.se without answers.)
Let $T$ be a set of triangles in an abstract simplicial complex, with orientation of the triangles chosen such that
$$\partial \left( \sum \limits_{t \in ...
4
votes
1
answer
256
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
...
2
votes
1
answer
179
views
Cobordism/bordism group based on orbifolds with corners
We define a geometric homology group of a topological space $X$ as follows: the chain complex $C_{\bullet}$is freely generated by the maps $f$ from a compact oriented orbifold with corners $P$ to $X$, ...
7
votes
2
answers
422
views
Homology $H_*(TOP, \mathbb{Z}_2)$ of the stable homeomorphism space
Let $TOP$ be the stable homeomorphism space, with $TOP(n) = Homeomorphisms(\mathbb{R}^n)$. What is known about its $\mathbb{Z}_2$-homology $H_*(TOP, \mathbb{Z}_2)$? In particular I am interested in ...
6
votes
0
answers
136
views
torsion part of homology of simplicial complexes [duplicate]
Let $n$ be a fixed positive integer and let $K$ be a simplicial complex with $N$ vertices. Suppose the $n$-th integral homology group of $K$ is
$$
H_n(K)=\mathbb{Z}^{\oplus i}\oplus (\oplus _{p \...
3
votes
1
answer
395
views
Homology groups of compact subset of $\mathbb{R}^2$
I am working over the paper: Target Enumeration via Euler Characteristic Integrals and in order to follow a proof I need to prove:
If $A$ is compact nonempty subset of $\mathbb{R}^2$, then the ...