The homology tag has no usage guidance.

**7**

votes

**6**answers

1k views

### reference for (co)homology theories

Hi everyone,
Every now and then, I find myself dealing with such or such (co)homology theory, and I'm frustrated I don't feel more comfortable around it.
I was wondering if someone could recommend a ...

**1**

vote

**0**answers

220 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

**2**answers

578 views

### Theorem on composition of derived functors, question about proof

I got a question about a proof I found in Gelfand-Manin's "Methods of homological algebra" (Page 200):
Theorem 1. Let $\mathcal{A}, \mathcal{B}, \mathcal{C}$ be three abelian categories, $F: ...

**7**

votes

**1**answer

372 views

### What are the applications of Dowker's theorem?

Let $R \subset X \times Y$ be any relation between sets $X$ and $Y$. CH Dowker constructed two simplicial complexes $K$ and $L$ associated to $R$:
a simplex in $K$ consists of finitely many elements ...

**4**

votes

**1**answer

475 views

### Unbounded complexes, resolutions and computation of derived functors

Hey guys, let $F: \mathcal{A} \rightarrow \mathcal{B}$ be a left exact functor between abelian categories with enough injectives, let $K \in Kom(\mathcal{A})$ be an unbounded complex, I've heard that ...

**15**

votes

**0**answers

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

**15**

votes

**5**answers

789 views

### What fraction of n x n invertible integer matrices contain at least one unit?

The question is simple:
What fraction of matrices in $G_n = \text{GL}_n(\mathbb{Z})$ have at least one unit entry (i.e., either $\lbrace\pm 1 \rbrace$)?
I'm not sure what the correct measure ...

**2**

votes

**2**answers

283 views

### Obtaining derived functors from derived functors of similar complexes or “bluntly truncated” unbounded complexes (without adding 0's to the left)

I don't know if I'm actually using the right terminology here, to be clear I'm going to state explicitly what I'm trying to figure out to see if I can be pointed in the right direction:
Let $F: ...

**11**

votes

**3**answers

947 views

### Computer-aided homology computations

Background
I am currently working on the homology of some moduli space and there exists a much simpler chain complex with the same homology.
It is a quotient of a bisimplicial complex by a ...

**1**

vote

**2**answers

481 views

### Hyper(co)homology of exact (acyclic) complexes

Let $\mathcal{A}$ be an abelican category with enough injectives, let $K^\bullet \in Kom^+(\mathcal{A})$ be a complex, where $Kom^+(\mathcal{A})$ is the category of cochain complexes over ...

**6**

votes

**1**answer

295 views

### Torsion in $H^2(X,\mathbb{Z})$ induced by torsion in $H_1(X,\mathbb{Z})$

Let $X$ be a topological space. The universal coefficient theorem says that there is a short exact sequence
$$
0\rightarrow Ext(H_{k-1}(X,\mathbb{Z}),\mathbb{Z})\rightarrow ...

**9**

votes

**4**answers

1k views

### A map inducing isomorphisms on homology but not on homotopy

As a consequence of the Whitehead theorem, Spanier's Algebraic Topology book has on 7.6.25 the following theorem:
A weak homotopy equivalence induces isomorphisms of the corresponding integral ...

**10**

votes

**1**answer

415 views

### finite complex with non-finitely generated homology with local coefficients

I am looking for an explicit example, if one exists, of a (pointed) finite connected CW-complex $X$ such that some homology group with local coefficients $H_n(X,{\mathbb Z}[\pi_1 X])$ is not a ...

**6**

votes

**3**answers

646 views

### 2-cycle of K3 surface

Hi there,
I want to ask about the 2-cycle of K3 surface.
As we know, its betti number $b_2$=22, so there will be 22 2-cycle generators.
Is there any topological way to figure out such cycles ...

**3**

votes

**1**answer

389 views

### Bitopological spaces and algebraic topology

Is it possible to introduce the concept of bitopological spaces such as $(X,T_1,T_2)$ (introduced by J.C.Kelly see Proc. London Math. Soc. (3) 13 (1963) 71–89 MR0143169, J.C. Kelly) in the homotopy ...

**0**

votes

**1**answer

386 views

### The query concerning the Euler-Poincare formula’s generalizations

Euler's equation for polyhedral, Euler's polyhedral formula, V – E + F = 2, where V, E, and F, are the number of points, edges and faces, was discovered by Leonhard Euler in 1752. However, the basic ...

**12**

votes

**2**answers

461 views

### Is the singular homology of a real algebraic set always finitely generated?

Here is a precise statement of my question:
Let $p\in \mathbb{R}[x_1, \ldots, x_n]$ be a polynomial, and let $Z(p)\subset \mathbb{R}^n$ be the set of zeros of $p$. Must the singular homology $H_i ...

**1**

vote

**1**answer

368 views

### Can a function from R^n to R^n fail to be one-to-one, and also lack critical points? [closed]

I feel like there should either be a straightforward example of such a thing, or a homological reason why it can't exist. The reason why I ask is that if the Hessian matrix of a Lagrangian is ...

**11**

votes

**1**answer

1k views

### Is it true that all real projective space $RP^n$ can not be smoothly embedded in $R^{n+1}$ for n >1

So first for n even, $RP^n$ is not orientable, hence can not be embedded in $\mathbb{R}^{n+1}$.
For odd n, $RP^{n}$ is orientable, hence the normal bundle is trivial. Now using stiefel-Whitney ...

**4**

votes

**2**answers

857 views

### Homology of Covering Spaces

Let $A$ be a subgroup of a group $G$. Then since $A$ is a subgroup of the fundamental group $\pi_1(K(G,1))=G$, there is a covering space $p\colon Y\to K(G,1)$ with $p_*(\pi_1(Y))=A$. So the homology ...

**1**

vote

**1**answer

293 views

### Simple Equivariant homology [no borel-Moore]

Hey. I'm working with Bredon's equivariant cohomology. At some point I need to compute the $4$th equivariant cohomology group of $S^1 \x D^3$ relatively to its boundary for the antipodal action of ...

**0**

votes

**1**answer

268 views

### What is a quasi-isomorphism of two crossed modules

Could you tell me how are two crossed modules quasi-isomorphic.
And I have known a result:
Let $\mu: M \rightarrow G$ and $\mu': M' \rightarrow G'$ are isomorphic, then the integral homology of them ...

**15**

votes

**2**answers

796 views

### Massey Products vs. $A_\infty$-Structures

Does anyone know a good reference for a proof of the fact that given a dga $A$, an $A_\infty$-structure on $HA$ is ''the same'' as coherent choices for all of the higher Massey products of $HA$? More ...

**13**

votes

**1**answer

739 views

### Does the bordism homology theory satisfy the weak equivalence axiom?

There is an interesting and important homology theory called bordism. Briefly speaking, a singular manifold in a space $X$ is a pair $(M, f)$ where $M$ is a closed smooth manifold and $f : M \to X$ is ...

**2**

votes

**1**answer

484 views

### Rational Homology of a Covering Space

I have heard that the rational homology of a covering space is easy to compute, compared with the ordinary homology. However, I don't know any details about that. Can anyone help me? Any reference ...

**1**

vote

**1**answer

425 views

### Computing the homology groups of spaces in a fibration

Let $F\rightarrow X\rightarrow B$ be a fibration. If we know very well the spaces $F$ and $B$ and wish to compute the homology of $X$. One possible tool is the Serre Spectral Sequence. However, it ...

**1**

vote

**1**answer

351 views

### Coboundary map on the cochain complex of abelian cosimplicial groups?

Maybe I'm looking at the wrong places, but I can't find a definition of
the coboundary map on the cochain complex of abelian cosimplicial groups.
What I have in mind is something similar to the ...

**13**

votes

**2**answers

654 views

### Are acyclic subcomplexes of finite contractible 2-complexes contractible?

Let $Y$ be a contractible finite simplicial 2-complex.
Let $X$ be an acyclic subcomplex of $Y$ (i.e. $X$ connected, $H_1(X)=0$, $H_2(X)=0$).
Is $X$ contractible? (Equivalently, is $\pi_1(X)$ ...

**22**

votes

**3**answers

1k views

### Geometric Interpretation of the Lower Central Series for the Fundamental Group?

For any group G we can form the lower central series of normal subgroups by taking $G_0 = G$, $G_1 = [G,G]$, $G_{i+1} = [G,G_i]$. We can check this gives a normal chain
$G_0 > G_1 > ... > ...

**18**

votes

**3**answers

2k views

### Homology theory constructed in a homotopy-invariant way

Singular homology sends homotopic morphisms on equal morphisms and weakly equivalent spaces on isomorphic objects. So singular homology is in fact defined on the homotopy category of topological ...

**0**

votes

**0**answers

57 views

### weak divisble module [duplicate]

hi, all! I want to know what is the definition of reduced module over general ring.
I remember that: a module $B$ always have smallest submodule $D(B)$ satisfy $B/D(B)$ is divisible module. If ...

**6**

votes

**4**answers

2k views

### Examples of non-simply connected manifolds with trivial H^1

It is known that, if a topological space is simply connected,its first homology group vanishes. The converse is not true, since for every presentation of a (say, finite) perfect group G we can ...

**8**

votes

**0**answers

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

**6**

votes

**1**answer

316 views

### Third bordism group of BG, where G is an arbitrary compact Lie group.

Is anything known about $\Omega_3(BG)$, where $G$ is an arbitrary compact Lie group; i.e., is it possible to describe the structure of $\Omega_3(BG)$ for any compact Lie group? I know that $H_3(BG)$ ...

**2**

votes

**1**answer

404 views

### Homology of a region of the plane

This is related to this MO question, I don't know if it's really "research-level". As in that question, let $U$ be a domain of the complex plane $\mathbb{C}$, i.e. an open connected subset. Let
$$ ...

**1**

vote

**0**answers

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

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

**1**

vote

**1**answer

705 views

### Is there a connection between the theory of motives and homotopy theory?

I have read that motives were designed to be the common part of the many homology theories, a way of unifying them. But as I understand it: homotopy is closely related to homology, there is only 1 ...

**4**

votes

**3**answers

438 views

### Reference needed: Isomorphism on pi_1 and homology gives weak equivalence

Let $f : X \to Y$ be a map between a connected space $X$ and a space $Y$. If $\pi(f) : \pi_1(X) \to \pi_1(Y)$ is an isomorphism, and $H_n(f) : H_n(X, G) \to H_n(Y, G)$ is an isomorphism for all $n \ge ...

**14**

votes

**1**answer

439 views

### Ordinal-indexed homology theory?

Back when I was a grad student sitting in on Mike Freedman's topology seminar at UCSD, he posed the following question. Does there exist a good homology theory $H_{\alpha}(X)$ where $\alpha$ is an ...

**6**

votes

**3**answers

591 views

### Can homologous submanifolds be connected by an immersed manifold with boundary?

Supposed I have an n-dimensional manifold M with a k-dimensional submanifold that is homologous to zero (or, equivalently, two homologous submanifolds). Can I always construct a k+1-dimensional ...

**2**

votes

**2**answers

346 views

### Algorithm that decreases the size of the simplicial triangulation

Hello!
Let X be a topological space. We are considering only abstract simplicial complexes, i.e. a finite list of finite lists of integers. Is there any algorithm (more or less efficient?), that ...

**0**

votes

**0**answers

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

**30**

votes

**3**answers

4k views

### Spaces with same homotopy and homology groups that are not homotopy equivalent?

A common caution about Whitehead's theorem is that you need the map between the spaces; it's easy to give examples of spaces with isomorphic homotopy groups that are not homotopy equivalent. (See Are ...

**1**

vote

**1**answer

204 views

### Equivariant homology of Hilb and torus stable curves

The torus equivariant homology of a compact homogeneous variety $G/B$ may be described by using the "skeleton" consisting of torus fixed points and the torus invariant curves that connect them. ...

**5**

votes

**2**answers

657 views

### Proof of the ''trangression theorem''

Here is what I would call the transgression theorem. Let $X$ be a pointed space and $\Omega X$ its loop space. There are two maps $H_{p}(\Omega X) \to H_{p+1}(X)$ which should be the same. I am ...

**7**

votes

**2**answers

921 views

### Deformation theory of co-$A_\infty$ structures.

The following question is related to my previous post on co-$A_\infty$ spaces (co-$A_\infty$ spaces), but goes in a somewhat different direction.
Some Background:
In trying to classify $A_\infty$ ...

**4**

votes

**4**answers

2k views

### How to triangulate real projective spaces (as simplicial complexes in Mathematica)?

Hello!
I have written a program in Mathematica 7, which calculates for a (finite abstract) simplicial complex all its homology groups. I would really like to test it on the projective spaces, but ...

**6**

votes

**2**answers

708 views

### Simple examples of equivariant homology and bordism

I'm looking for simple examples of calculations of equivariant homology and of equivariant bordism.
I have a finite group G acting on an CW-complex X. I would like to calculate the equivariant ...

**16**

votes

**2**answers

1k views

### Is there a map of spectra implementing the Thom isomorphism?

A well known theorem in algebraic topology relates the (co)homology of the Thom space $X^\mu$ of a orientable vector bundle $\mu$ of dimension $n$ over a space $X$ to the (co)homology of $X$ itself: ...