# 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.

**16**

votes

**0**answers

819 views

### Homology classes of subvarieties of toric varieties

Let $X$ be a smooth proper toric variety, $Z\subseteq X$ a smooth subvariety.
Is the fundamental class $[Z] \in H_\ast(X) = A_\ast(X)$ nonzero?
Background
If $X$ is a Kaehler variety, this is of ...

**13**

votes

**0**answers

549 views

### Is this “Homology” useful to study?

In the usual singular homology of a topological space $X$, one consider the free abelian group generated by all continuous maps from the standard simplex $\Delta^{n}$ to $X$.
Now we can ...

**13**

votes

**0**answers

552 views

### Singular chains generated by manifolds with corners — does it really work?

Usually we define singular homology via the complex of singular chains:
$$C_\ast(X)=\bigoplus_{n\geq 0}\mathbb Z\langle\sigma:\Delta^n\to X\rangle$$
where the right hand side denotes the free abelian ...

**12**

votes

**0**answers

707 views

### About maps inducing bijections on homotopy classes

Let us assume that $f:X \to Y$ is a map of connected CW complexes, having the following property: if $K$ is a finite CW complex, then the induced map $f_{\ast}:[K,X] \to [K,Y]$ on \emph{free} homotopy ...

**11**

votes

**0**answers

525 views

### Homology of Lie groups

Let $G$ be a Lie group and $G^{\delta}$ the underlying group (with discrete topology). Obviously, we have a continuous map of groups $i:G^{\delta}\rightarrow G$ which induces a map between classifying ...

**10**

votes

**0**answers

252 views

### Do homology classes have “special” representatives?

Recall that, according to Hodge, de-Rham cohomology classes of "nice enough" manifolds have "special" representatives - namely, harmonic forms.
Now, how does one choose a "special" one among ...

**9**

votes

**0**answers

146 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$...

**9**

votes

**0**answers

381 views

### Singular chains as an HZ-module spectrum

For $R$ any ring and $H R$ its Eilenberg-MacLane spectrum -- a ring spectrum -- there is an equivalence between the $\infty$-categories of $H R$-module spectra and that of unbounded chain complexes of ...

**7**

votes

**0**answers

212 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 ...

**6**

votes

**0**answers

123 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 "...

**5**

votes

**0**answers

59 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 ...

**5**

votes

**0**answers

161 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 ...

**5**

votes

**0**answers

417 views

### Does a Dehn twist in the mapping class group of an cobordism give a BV-operator in string topology?

In her article Higher string topology operations, Godin in particular construct for each surface with $n$ incoming and $m \geq 1$ outgoing boundary circles an operation $H_\ast(BMod(S);det^{\otimes d})...

**4**

votes

**0**answers

108 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

**0**answers

194 views

### Applications of cosheaf homology?

What are some applications of cosheaf homology within mathematics?
Some ones I've heard of Sheaves (not cosheaves) are computing global sections and the Picard Group with a sheaf on projective space.

**4**

votes

**0**answers

64 views

### Obstructions to symplectically embedding compact manifolds of dimension $4$ or higher

It is known in Li's paper (http://arxiv.org/pdf/0812.4929v1.pdf) that in compact symplectic manifolds $(X^{2n},\omega)$ of dimension at least $2n\geq 4$, an immersed symplectic surface represents a $2$...

**4**

votes

**0**answers

123 views

### Uniform distribution of special homology classes mod-p

Let $X_0(N)$ be the usual modular curve. For $\chi$ a quadratic Dirichlet character of conductor $D$, define the homology class $c(\chi)=\sum_{i=0}^{|D|-1}\chi(i)\{\frac{i}{|D|}{\infty} \}$; here $\{...

**3**

votes

**0**answers

132 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 ...

**3**

votes

**0**answers

87 views

### A link of four 2-tori $T^2$ in $S^3 \times S^1 \# S^2 \times S^2 \# S^2 \times S^2$

Step 1: We glue two sets of complement space of $D^2\times T^2$ out of the 4-sphere $S^4$, through their $T^3$ boundary to obtain a new 4-manifold:
$$(S^4 \smallsetminus D^2\times T^2) \cup (S^4 \...

**3**

votes

**0**answers

397 views

### What is the formula for the homology class represented by the diagonal?

Let $M$ be a compact oriented manifold and $\{\mu_{i}\}$ a basis
for the homology $H_*(M, \mathbb{Z})$ (we are ignoring any torsion).
Now consider the diagonal $\Delta_{M}$ inside $M\times M$. ...

**3**

votes

**0**answers

118 views

### Homology of derivations of Differential Graded Lie algebra

Let $(L,d)$ be a Differential Graded Lie Algebra ($L=\bigoplus L_i$ and $d:L_i \to L_{i-1}$ satisfying the graded Leibniz rule).
On the algebra $\mathrm{Der}L$ of derivations of $L$ define a grading ...

**2**

votes

**0**answers

71 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 ...

**2**

votes

**0**answers

97 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 \...

**2**

votes

**0**answers

81 views

### Counting chain maps

I initially asked this question over at math stack exchange, you can find it here. I haven't really gotten any traction and I'm beginning to wonder if maybe its a harder question than I originally ...

**2**

votes

**0**answers

170 views

### Tubular neighborhoods in the proof of the Morse homology theorem

I have a question regarding the proof of the Morse homology theorem given by D. Salamon in "Morse theory, the Conley index and Floer homology". The full text can be found here:
http://www.mtm.ufsc.br/...

**2**

votes

**0**answers

477 views

### Cech homology (!) of the Warsaw Circle

Can anyone can give me a reference to the fact that first Cech homology (not cohomology!) group of the Warsaw Circle is $\mathbb{R}$? Thank you in advance :)

**2**

votes

**0**answers

317 views

### Twisted product structure on product of Eilenberg-MacLane spaces

The product of Eilenberg-MacLane spaces $K(\mathbb{Z}/2,1) \times K(\mathbb{Z}/2,2)$ is an $H$-space with respect to a "twisted product structure", where you add the product of the first entries to ...

**1**

vote

**0**answers

45 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 ...

**1**

vote

**0**answers

77 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 $...

**1**

vote

**0**answers

67 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.
...

**1**

vote

**0**answers

115 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

65 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 $...

**1**

vote

**0**answers

211 views

### Invariance of combinatorial/geometric euler characteristic

I am trying to read and understand the paper:
TARGET ENUMERATION VIA EULER CHARACTERISTIC INTEGRALS
by YULIY BARYSHNIKOV AND
ROBERT GHRIST.
And I am having trouble with a statement. First of all, ...

**1**

vote

**0**answers

89 views

### computing homology of subvarieties of Euclidean spaces by persistent homology

Let $M$ be a submanifold of the Euclidean space $\mathbb{R}^n$. Let $G$ be a finite group acting on $M$ freely. I want to compute the homology (or even the cohomology ring) of $M/G$.
Suppose the ...

**1**

vote

**0**answers

92 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 ...

**1**

vote

**0**answers

30 views

### Homology of the subcomplexes of the “diamond shaped” sphere under 1-norm in $R^n$ as a simplicial complex

The 1-norm on $\mathbb{R}^n$ is defined by $\|v\| = |v_1| + |v_2| + \cdots + |v_n|$ for a vector $v = (v_1, \ldots, v_n) \in \mathbb R^n$.
The unit sphere $S^{n-1}_1$ under the 1-norm is a simplicial ...

**1**

vote

**0**answers

124 views

### Homology and Burnside ring

If $G$ is a finite groupe, we denote $\mathcal{S}(G)$ the category of finite $G$-sets and $\mbox{I}(G)$ the set of isomorphism classes of it's objects. The Burnside ring of $G$, denoted by $\Omega(G)$,...

**1**

vote

**0**answers

230 views

### Role of determinant of the matrix corresponding to $i$-th Homology group.

I was thinking about the proof of the Lefschetz's Fixed point theorem and the ingeniuty of the Hopf's Trace formula, i.e. associating the trace of the matrix for deciding about the fixed points. Now ...

**1**

vote

**0**answers

90 views

### Homology and Exterior Square

Let $G$ be a finite group and $G \wedge G$ denote the exterior square of $G$. It is well known that the second integral homology $H_2(G,\mathbb{Z})$ is the kernel of homomorphism $x \wedge y \mapsto [...

**1**

vote

**0**answers

101 views

### some intuition about the degree of a map

Consider a map
$$ f: \Sigma \to X/\sigma,$$
where $\Sigma=\Sigma_g/\Omega$ is a quotient of a Riemann surface by an antiholomorphic involution,
$\sigma:X\to X$ is an antiholomorphic involution
of some ...

**1**

vote

**0**answers

125 views

### Does compactly supported cohomology make sense for cosimplicial spaces?

As far as I understand, whenever one has something (co)simplicial in spaces, one should take a sort of diagonal to reduce the study to a single space. I'm never sure though whether one preserves only ...

**1**

vote

**0**answers

300 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 ...

**1**

vote

**0**answers

322 views

### connection between non-orientable manifolds and torsion in 1D (co) homology

I'm interested in understanding the probability that given a prime $p$, $p$ divides the order of the torsional part of $H^k(X,Z)$, where $X$ is a finite simplicial complex.
Lets say you have a ...

**1**

vote

**0**answers

249 views

### Homology of nice planar sets

Is there a quick and simple proof of the fact that the homology group of a nice (say with piecewise smooth boundary) planar domain is free abelian with a basis corresponding to the holes in the domain?...

**0**

votes

**0**answers

56 views

### show that the set of functions from $ \mathbb{Z}[X^{n}] $ to $ A $ is generated by the characteristic functions

Let $ X $ be a quandle and $ A $ be an abelian group (for simplicity assume
that $ A $ is a finite cyclic group $ \mathbb{Z}_{n} $ or the infinite cyclic group $ \mathbb{Z} $). I need to show that the ...

**0**

votes

**0**answers

127 views

### Homology of $S^n/G_x$

I tried to find the homology groups of the quotient of the unit sphere $S^{n-1}$ by an action of a finite subgroup $G$ of $SO(n)$. I'm especially concerned with
$$H_i(S^{n-1}/G),\quad 1\leq i\leq n-2.$...

**0**

votes

**0**answers

249 views

### Divisibility in homology/homotopy

I have a simply-connected CW-complex $F$ of finite-type, and I know that the imprimitivity of its particular integral homology is divisible by an odd prime $p$; that is,
$$ \forall n,\exists \delta, \...

**0**

votes

**0**answers

207 views

### loop space homology and lens spaces

Is the homology of free loop space of lens spaces known?
Thanks in advance for your help.

**0**

votes

**0**answers

95 views

### Relative homology and a map with degree 1

Let M be a manifold and $B_p(1,M)$ a ball of radius 1 and center p in M. Let $F:B_p(1,M)\to \mathbb{R}^n$ a map such that $F(\partial B_p(1,M))\subset B_0(1+\epsilon,\mathbb{R}^n)\setminus B_0(1-\...

**0**

votes

**0**answers

197 views

### map of inductive systems of distinguished triangles

I have for any $n$ some distinguished triangles
$$X_n->Y_n->Z_n$$
$$X'_n->Y'_n->Z'_n$$
The families $(X_n), (Y_n), (X'_n), (Y'_n)$ are inductive systems, $(X_n)$ is quasi-isomorphic to $(X'...