In
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, more specifically in
geometric topology
In mathematics, geometric topology is the study of manifolds and Map (mathematics)#Maps as functions, maps between them, particularly embeddings of one manifold into another.
History
Geometric topology as an area distinct from algebraic topo ...
, the Kirby–Siebenmann class is an obstruction for topological manifolds to allow a ''PL''-structure.
The KS-class
For a
topological manifold
In topology, a topological manifold is a topological space that locally resembles real ''n''- dimensional Euclidean space. Topological manifolds are an important class of topological spaces, with applications throughout mathematics. All manifolds ...
''M'', the Kirby–Siebenmann class
is an element of the fourth
cohomology group
In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed ...
of ''M'' that vanishes if ''M'' admits a
piecewise linear structure.
It is the only such obstruction, which can be phrased as the weak equivalence
of ''TOP/PL'' with an
Eilenberg–MacLane space
In mathematics, specifically algebraic topology, an Eilenberg–MacLane spaceSaunders Mac Lane originally spelt his name "MacLane" (without a space), and co-published the papers establishing the notion of Eilenberg–MacLane spaces under this name. ...
..
The Kirby-Siebenmann class can be used to prove the existence of topological manifolds that do not admit a PL-structure. Concrete examples of such manifolds are
, where
stands for
Freedman's E8 manifold
In low-dimensional topology, a branch of mathematics, the ''E''8 manifold is the unique compact, simply connected topological 4-manifold with intersection form the ''E''8 lattice.
History
The E_8 manifold was discovered by Michael Freedman ...
.
[ ]
The class is named after
Robion Kirby
Robion Cromwell Kirby (born February 25, 1938) is a Professor of Mathematics at the University of California, Berkeley who specializes in low-dimensional topology. Together with Laurent C. Siebenmann he developed the Kirby–Siebenmann invariant ...
and
Larry Siebenmann, who developed the theory of topological and ''PL''-manifolds.
See also
*
Hauptvermutung
The ''Hauptvermutung'' of geometric topology is a now refuted conjecture asking whether any two Triangulation (topology), triangulations of a triangulable space have subdivisions that are combinatorially equivalent, i.e. the subdivided triangulati ...
*
Kervaire–Milnor group
In mathematics, especially differential topology and cobordism theory, a Kervaire–Milnor group is an abelian group defined as the h-cobordism classes of homotopy spheres with the connected sum as composition and the reverse orientation as invers ...
, further obstruction for the existence of smooth structures
References
Homology theory
Geometric topology
Structures on manifolds
Surgery theory
{{topology-stub