The homology tag has no usage guidance.

**16**

votes

**0**answers

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

**12**

votes

**0**answers

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

**11**

votes

**0**answers

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

**10**

votes

**0**answers

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

**8**

votes

**0**answers

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

**8**

votes

**0**answers

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

**3**

votes

**0**answers

145 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

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

**3**

votes

**0**answers

117 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

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

**2**

votes

**0**answers

75 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

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

**2**

votes

**0**answers

332 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

136 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

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

**1**

vote

**0**answers

109 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

71 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

111 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

**0**answers

75 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

231 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

282 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

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

**0**

votes

**0**answers

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

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

**0**

votes

**0**answers

220 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

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

**0**

votes

**0**answers

111 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

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

**0**

votes

**0**answers

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