Session A4 - Computational Geometry and Topology
July 11, 14:30 ~ 14:55 - Room B7
Local cohomology and stratification
The Alan Turing Institute and The University of Oxford, UK - email@example.com
I will outline an algorithm to recover the canonical (or, coarsest possible) stratification of a given regular CW complex into cohomology manifolds, each of which is a union of cells. The construction proceeds by iteratively localizing the poset of cells about a family of subposets; these subposets are in turn determined by a collection of cosheaves which capture variations in local cohomology across cells in the underlying complex. The result is a finite sequence of categories whose colimit recovers the canonical strata via isomorphism classes of its objects. The entire process is amenable to efficient distributed computation.