5
$\begingroup$

Given $f_1,\ldots,f_r\in K[x_1,\ldots,x_m]$, resp. homogeneous $f_1,\ldots,f_r\in K[x_0,\ldots,x_m]$, is there a chain complex built from these polynomials, such that any polynomial map $\varphi\!: Z(f_1,\ldots,f_r)\!\subseteq\!\mathbb{A}^m\longrightarrow Z(g_1,\ldots,g_s)\!\subseteq\!\mathbb{A}^n$, resp. $\varphi\!: Z(f_1,\ldots,f_r)\!\subseteq\!\mathbb{P}^m\longrightarrow Z(g_1,\ldots,g_s)\!\subseteq\!\mathbb{P}^n$, induces a chain map $\varphi_\ast$?

For example, for simplicial complexes (Poincare), cell complexes, Lie algebras (Chevalley), groups (Eilenberg, MacLane), algebras (Hochschild), knots (Khovanov), etc. there already are nice functors into the category of chain complexes. I'm asking if this can also be done for algebraic sets.

It is desirable that the chain complex consists of free modules and is explicitly given (so we can use a computer), and the homology reflects geometric properties of the algebraic set. Ideally, for $K\!=\!\mathbb{R}$ this would be isomorphic to singular homology, but I am skeptic that a nice functor with this requirement exists.

$\endgroup$
2
  • $\begingroup$ Maybe Delf's homology theory (defined using semi-algebraic sets as the basic building blocks) will be of some use to you: springer.com/us/book/9783540546153 $\endgroup$
    – Misha
    Feb 3, 2015 at 23:45
  • $\begingroup$ @Misha Do you have a more specific reference (page, theorem) in that book? What is the basis of each module and what are the boundary morphisms? $\endgroup$
    – Leo
    Feb 4, 2015 at 11:47

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.