Coordinate sphere intersection basis

ID: coordinate-sphere-intersection-basis

In the product , for , vary the factors indexed by an -element subset and fix points in the other factors. Orient the resulting submanifold in increasing factor order. These homology classes form an integral middle-dimensional basis by the Künneth theorem. Complementary subsets give a transverse intersection at one point, with positive sign since all factor dimensions are even. For noncomplementary subsets some factor is fixed in both representatives; moving that point makes them disjoint. In particular every basis class has zero self-intersection number. Complementary pairs give hyperbolic blocks in the intersection form.

New to topics? Read the docs here!