Lightlike hypersurfaces and time-minimizing geodesics in cone structures

Some well-known Lorentzian concepts are transferred into the more general setting of cone structures, which provide both the causality of the spacetime and the notion of cone geodesics without making use of any metric. Lightlike hypersurfaces are defined within this framework, showing that they admit a unique folitation by cone geodesics. This property becomes crucial after proving that, in globally hyperbolic spacetimes, achronal boundaries are lightlike hypersurfaces under some restrictions, allowing one to easily obtain some time-minimization properties of cone geodesics among causal curves departing from a hypersurface of the spacetime.