Topological classification of black holes: Generic maxwell set and crease set of a horizon

The crease set of an event horizon or a Cauchy horizon is an important object which determines the qualitative properties of the horizon. In particular, it determines the possible topologies of the spatial sections of the horizon. By Fermat's principle in geometric optics, we relate the crease set and the Maxwell set of a smooth function in the context of singularity theory. We thereby give a classification of generic topological structures of the Maxwell sets and the generic topologies of the spatial section of the horizon.