“…In particular, lightlike hypersurfaces, which can be constructed as ruled hypersurfaces over spacelike submanifolds of codimension 2, provide good models for the study of different horizon types ( [7] [35]). Singularity theory tools, as illustrated by several papers appeared along the last two decades, have proven to be useful in the description, from both the local and global viewpoint, of geometrical properties of submanifolds immersed in different ambient spaces ( [2,3,4,5,6,8,13,32,36,37,38,39,41,46,47,48]). The natural connection between Geometry and Singularities relies on the basic fact that the contacts of a submanifold with the models (invariant through the action of a suitable transformation group) of the ambient space can be described by means of the analysis of the singularities of appropriate families of contact functions, or equivalently, of their associated Lagrangian and/or Legendrian maps ( [1], [40], [42]).…”