A Seifert hypersurface for an oriented codimension-two submanifold is an oriented codimension-one submanifold having it as boundary. For a closed oriented surface in , an integral meridional map from the complement to the circle, with angular behavior near the surface, supplies a Seifert hypersurface by taking a regular value.
New to topics? Read the docs here!