Directed combinatorial homology and noncommutative geometry

Program


1. Singular homology by cubes
2. Cubical sets: limits, colimits, tensor product and internal homs
3. Directed homotopy of cubical sets
4. Directed homology of cubical sets
5. Action of groups on cubical sets
6. Noncommutative tori, Kronecker foliations and cubical sets
7. Metric aspects by normed cubical sets
8. Similar models by equilogical and inequilogical spaces.

__________

1. Singular homology by cubes [Ms]

1.1. The singular cubical set of a space
1.2. The singular chain complex of a space
1.3. Homology
1.4. Elementary results
1.5. Homotopy for topological spaces
1.6. Homotopy for chain complexes of abelian groups
1.7. Homotopy Invariance of singular homology

__________

2. Cubical sets [G1, Section1]

2.1. Remarks on Directed Algebraic Topology
2.2. Cubical sets
2.3. Subobjects and quotients
2.4. Tensor product of cubical sets
2.5. Standard models

__________

3. Directed homotopy of cubical sets [G1, Section 1]

3.1. Elementary directed homotopies
3.2. Cones and suspension
3.3. Geometric realisation

__________

4. Directed homology of cubical sets [G1, Section 2]

4.1. Directed homology
4.2. Elementary computations
4.3. Invariance Theorem
4.4. Mayer-Vietoris and Excision
4.5. Theorem (Tensor products)
4.6. Elementary cubical tori
4.7. Theorem (Homology of suspension)

__________

5. Action of groups on cubical sets [G1, Section 3]

5.1. Basics
5.2. Lemma (Free actions)
5.3. Theorem (Free actions on acyclic cubical sets)
5.4. Corollary (Free actions on acyclic spaces)

__________

6. Noncommutative tori, Kronecker foliations and cubical sets [G1, Section 4]

6.1. Rotation algebras
6.2. Irrational rotation structures
6.3. The noncommutative two-dimensional torus
6.4. Higher foliations of codimension 1
6.5. Remarks
6.6. Lemma
6.7. Theorem (Directed homology of the irrational rotation cubical sets)
6.8. Classification Theorem (For the cubical sets of irrational rotation)

__________

7. Metric aspects by normed cubical sets [G2]

7.1. Normed cubical sets
7.2. Elementary models
7.3. Normed circles and irrational rotation structures
7.4. Normed abelian groups and chain complexes
7.5. Normed directed homology
7.6. Normed homology of circles and tori
7.7. Theorem (Normed homology of the normed cubical sets of irrational rotation)
7.8. Classification Theorem (For the normed cubical sets of irrational rotation)
7.9. An extension

__________

8. Similar models by equilogical and inequilogical spaces [G3, G4]

8.1. Equilogical spaces
8.2. Limits
8.3. Equilogical circles and spheres
8.4. Local maps
8.5. Singular homology of equilogical spaces
8.6. Actions of groups
8.7. Equilogical spaces and irrational rotations
8.8. Inequilogical spaces
8.9. Directed homology of inequilogical spaces
8.10. Classification of the inequilogical spaces of irrational rotation

___________

[G1] M. Grandis, Directed combinatorial homology and noncommutative tori, Math. Proc. Cambridge Philos. Soc., to appear. [Dip. Mat. Univ. Genova, Preprint 480 (2003), 29 p.]

[G2] M. Grandis, Normed combinatorial homology and noncommutative tori, Dip. Mat. Univ. Genova, Preprint 484 (2003), 14 p.

[G3] M. Grandis, Equilogical spaces, homology and noncommutative geometry, Dip. Mat. Univ. Genova, Preprint 493 (2003), 24 p.

[G4] M. Grandis, Inequilogical spaces, directed homology and noncommutative geometry, Dip. Mat. Univ. Genova, Preprint 494 (2004), 22 p.

[G5] M. Grandis, Directed combinatorial homology and noncommutative geometry (course notes).

[Ms] W. Massey, Singular homology theory, Springer, Berlin 1980.