1
vote
1answer
120 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 ...
0
votes
1answer
132 views

Subvarieties with different topology representing the same cycle

Let $X$ be a topological space, and $Y,Z$ be subspaces. My question is a bit vague and open-ended: when is it the case that, if $Y$ and $Z$ represent the same (nonzero) cycle in homology, then $Y$ and ...
14
votes
0answers
542 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 ...
6
votes
3answers
610 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 ...
12
votes
2answers
427 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 ...
0
votes
1answer
259 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 ...
1
vote
1answer
188 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. ...
3
votes
1answer
516 views

Computation of homology groups of $M_{g,n}$

First some definitions: $\bar{M_{g,n}}$ is Deligne-Mumford space, i.e., the moduli space of stable nodal complex projective curves of genus $g$ with $n$ marked points. It is a complex orbifold, ...
30
votes
11answers
4k views

Why torsion is important in (co)homology ?

I've once been told that "torsion in homology and cohomology is regarded by topologists as a very deep and important phenomenon". I presume an analogous statement could be said in the context of ...
2
votes
1answer
439 views

Given a ramified cover of a Riemann surface, is there a good choice of basis for H_1 of the source?

Suppose we are given a map $f: X \to Y$ between two Riemann Surfaces, with branch points $p_1,p_2,\dots,p_n$ and known multiplicities at these points. Assuming we have a basis of $H_1(Y, ...