The homology tag has no usage guidance.

**-4**

votes

**0**answers

59 views

### how to calculate $H_2(S^{1}\times S^{1}\times S^{1}\backslash S^{1}\times D)$? [closed]

$S^{1}\times D$ is solid torus. $S^{1}\times D$ is submerged in $S^{1}\times S^{1}\times S^{1}$
Generally,
how to calculate $H_{2}(M\backslash S)$ or $b_{2}(M\backslash S)$ , where $b_{2}$ is ...

**3**

votes

**0**answers

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

**2**

votes

**2**answers

212 views

### Is the “inverse” (i.e., the “cohomological”) numeration for singular (i.e., $H\mathbb{Z}$-)homology of spectra “acceptable”? [closed]

I have recently realized that in one of my (published) papers I have used the "inverse" numeration for the $H\mathbb{Z}$-homology of the objects of the stable homotopy category (so, if we consider ...

**9**

votes

**0**answers

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

**5**

votes

**1**answer

178 views

### group completion theorem of homology as Hopf algebras

Let $M$ be a topological monoid with product $\mu$. Then $H_*(M)$ is a Hopf algebra with product $\mu_*$ and coproduct $\Delta_*$. The group-completion theorem by McDuff-Segal, 1976 gives that as a ...

**3**

votes

**1**answer

188 views

### Constructing a homology class of degree $d(d-1)/2$ in $H_3(S^3)$

There is a nice construction of a class of degree $d^2$ in $H_3(S^3)$. Take a class $h$ of degree $d$ in $H_1(S^1)$, and then take its join with itself: $h*h$ is degree $d^2$ in $H_3(S^1*S^1)$, and ...

**2**

votes

**0**answers

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

**3**

votes

**0**answers

85 views

### Configuration spaces of positive and negative particles

In the paper Mapping class group and function spaces: a survey, F. Cohen, M.A. Maldonado, page 3, line from bottom 1-3, it is given that for a $m$-manifold $M$, there is a map from the labelled ...

**3**

votes

**1**answer

118 views

### group completion theorem by using homology fibrations

In the paper Homology fibrations and group completion theorem, McDuff-Segal (www.maths.ed.ac.uk/~aar/papers/mcdsegal.pdf), page 281:
Let $M$ be a topological monoid such that $\pi_0M$ is generated by ...

**5**

votes

**1**answer

239 views

### If a topological space has vanishing $n$th homology for every possible homology theory, does it have vanishing $n$th homotopy?

I don't have any strong preference as to whether or not the homology theories are required to be ordinary.
Also, if this does not hold in general, does it hold for some nice category of spaces, like ...

**-2**

votes

**1**answer

78 views

### stable splitting into a wedge sum [closed]

Suppose $X$ is a CW-complex such that there is a stable splitting of $X$ into wedge sum
$$
\Sigma^t X\cong \bigvee _{k=1}^\infty Y_k.
$$
(1). Does this imply
$$
X\to \Sigma^tX\to \bigvee ...

**1**

vote

**1**answer

166 views

### Homology of manifold with action of group

Sorry for my ignorance in advance, this should be a very naive question and I would be happy for a reference.
Let $G$ be an arbitrary group (not necessary finite) acting on two (connected) manifolds ...

**9**

votes

**1**answer

209 views

### Dyer-Lashof operations and the homology of GL_n

For any ring R, $\bigsqcup_n {BGL}_n(R)$ is an $E_\infty$-space. Are there examples of rings where people have calculated $H_*(\bigsqcup_n {BGL}_n(R);\mathbb{Z}/2)$ and determined the Dyer-Lashof ...

**1**

vote

**0**answers

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

**5**

votes

**1**answer

219 views

### Strange problem about triplets of differential forms

Suppose we have the following map:
$$(\Omega^1(\mathbb{R}^n))^3\longrightarrow(\Omega^2(\mathbb{R}^n))^3$$
...

**0**

votes

**0**answers

70 views

### Dyer-Lashof algebra structures over graded modules

In Lecture Notes in Mathematics, Vol. 533, The homology of iterated loop spaces, Chapter 3, The homology of $C_{n+1}$-spaces, F. Cohen, Section 2, page 222, line 4, 5, 6:
for an arbitrary graded ...

**4**

votes

**1**answer

522 views

### A lower-dimensional algebraic topology problem between homology group and fundamental group

Let
\begin{equation}
A\stackrel{\alpha}{\longrightarrow}B\stackrel{\beta}{\longrightarrow}C\quad\quad (1)
\end{equation}
be a short sequence of (abelian or nonabelian) groups and homomorphisms. We say ...

**3**

votes

**0**answers

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

**28**

votes

**2**answers

1k views

### Maps which induce the same homomorphism on homotopy and homology groups are homotopic

I am interested in the following question. Are maps which induce the same homomorphism on homotopy and homology groups homotopic? I am sure the answer is no, however I cannot imagine how to construct ...

**1**

vote

**1**answer

213 views

### Example of torsion in orientable manifolds?

An orientable manifold can have torsion in its integer homology. But I believe by Poincare duality the manifold must be at least 4-dimensional -- isn't that right? Anyway are there simple examples ...

**1**

vote

**0**answers

102 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

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

**14**

votes

**5**answers

629 views

### Take contraction wrt a vector field twice and define kernel mod image. Does that give anything interesting?

First, we make the following observation: let $X: M \rightarrow TM $ be a vector
field on a smooth manifold. Taking the contraction with respect to $X$ twice gives zero, i.e.
$$ i_X \circ i_{X} ...

**1**

vote

**0**answers

107 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:
...

**1**

vote

**2**answers

196 views

### The cohomology groups of $\Omega U(n)$

Let $\Omega U(n)$ be the loop space of $U(n)$. Is it true that the cohomology groups $H^*(\Omega U(n); \mathbb{Z})$ are torsion-free? How can one calculate these groups?

**8**

votes

**1**answer

286 views

### Software for computing Thurston's unit ball

Is there any software which can be used for computing Thurston's unit ball(for second homology of 3-manifolds) of link complements? In particular can I do that with SnapPy?
PS: even a table for ...

**8**

votes

**1**answer

373 views

### Naturality of a Kunneth formula for cohomology

Let $X,Y$ be CW complexes. By Kunneth formula, we have a group isomorphim
$$ H^n(X\times Y;G) \cong \oplus_{p+q=n} H^p(X;H^q(Y;G))$$
Is there a natural map realizing this isomorphism?

**-1**

votes

**2**answers

182 views

### Interpretation of $H_1(A_\mathbb{C}^{top},\mathbb{Q})$

In the paper "Sato-Tate Distributions and Galois Endomorphism Modules in Genus 2" (arxiv: http://arxiv.org/abs/1110.6638), the authors use the singular homology $H_1(A_\mathbb{C}^{top},\mathbb{Q})$ ...

**8**

votes

**0**answers

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

**3**

votes

**1**answer

259 views

### Second betti number of compact analytic spaces

Let $V$ be a proper singular complex algebraic variety, possibly nonprojective ($dim(V)=n>0$). I would like to know:
1) if its second Betti number is non zero,
2) same question but now $V$ is a ...

**21**

votes

**9**answers

2k views

### Why localize spaces with respect to homology?

A basic construction in algebraic topology is the localization of spaces or spectra with respect to a homology theory: one formally inverts the $E$-homology isomorphisms, reflecting each space into ...

**0**

votes

**0**answers

219 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, ...

**1**

vote

**0**answers

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

**2**

votes

**0**answers

314 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 :)

**1**

vote

**1**answer

160 views

### What are finite groups $H$ such that $H^n(H,\mathbb{Q/Z}) \cong H_n(G,\mathbb{Z})$?

Let $G$ be a finite group and $G^{\prime}$ be its commutator subgroup. Let $\mathbb{Z}$ and $\mathbb{Q}$ denote the integers and rationals. $\mathbb{Z}$ and $\mathbb{Q/Z}$ treated as trivial ...

**1**

vote

**1**answer

161 views

### Universal coefficient theorem for local ring

Let $R$ be a commutative local artin $k$-algebra,where $k$ is a field with characteristic $0$.I wonder whether universal coefficient theorem holds in this case.Namely,if $C$ is a chain of flat ...

**8**

votes

**1**answer

285 views

### worked out examples in borel-moore homology

I'm trying to learn about BM homology. I've found a few references and they are all quite abstract and high-powered. I am actually familiar with derived categories and sheaves so I don't mind thinking ...

**4**

votes

**1**answer

133 views

### 0-homologous surface bounds

Given a map $f : S \to M^4$ from a compact closed not necessarily connected oriented surface to a compact oriented 4-manifold, such that $f_*([S])$ is zero in $H_2(M)$, is there a compact oriented ...

**12**

votes

**1**answer

339 views

### Are totally degenerate chains null-homologous?

Let $X$ be a CW complex.
Suppose $\gamma\in C_n(X)$ is a cycle which is a sum of maps $\sigma:\Delta^n\to X$ which factor as $\Delta^n\to\mathbb R^{n-1}\to X$. Does it follow that $\gamma$ is ...

**12**

votes

**0**answers

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

**48**

votes

**15**answers

4k views

### Teaching homology via everyday examples

What stories, puzzles, games, paradoxes, toys, etc from everyday life are better understood after learning homology theory?
To be more precise, I am teaching a short course on homology, from ...

**11**

votes

**0**answers

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

**0**

votes

**0**answers

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

**8**

votes

**1**answer

233 views

### The Image of the Mod 2 Homology of BSp in the Homology of BSO

I'm essentially trying to figure out exactly what the title asks for. I've been scouring old Seminaires Henri Cartan and books by Stong to try to see exactly how to do this, but the combination of ...

**2**

votes

**1**answer

128 views

### Spectral sequence in Lie algebra

The exact sequence $0\rightarrow sl(A)\rightarrow gl(A)\rightarrow A/[A,A]\rightarrow 0$ gives rise to a spectral sequence in homology, I want to know the details for this spectral sequence at the ...

**2**

votes

**2**answers

231 views

### Dimension of the homology group with coefficients in $\mathbb{Z}/2\mathbb{Z}$

I asked this on math.stackexchange.com, but didn't get a single answer.
Charles Weibel writes in his survey of homological algebra
Riemann defined a surface $S$ to be $(n + 1)$-fold
connected ...

**12**

votes

**1**answer

740 views

### On the wikipedia entry for Borel-Moore homology

The wikipedia page on Borel-Moore homology claims to give several definitions of it,
all of which are supposed to coincide for those spaces $X$ which are homotopy equivalent to a finite CW complex and ...

**2**

votes

**0**answers

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

**2**

votes

**1**answer

153 views

### Finding null-homologous curves via the matrix equation $AB^iC^jx=0$

Motivation: I have a family of curves obtained from a single curve by repeatedly applying two automorphisms of the surface (Dehn twists to be specific). I am interested in the images of these curves ...

**0**

votes

**0**answers

110 views

### loop space homology and lens spaces

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