Let R be a commutative Noetherian ring. We give criteria for flatness of R-modules in terms of associated primes and torsion-freeness of certain tensor products. This allows us to develop a criterion for regularity if R has characteristic p, or more generally if it has a locally contracting endomorphism. Dualizing, we give criteria for injectivity of R-modules in terms of coassociated primes an...

Motivated by the application to spacetimes of general relativity we investigate the geometry and regularity of Lorentzianmanifolds under certain curvature and volume bounds. We establish several injectivity radius estimates at a point or on the past null cone of a point. Our estimates are entirely local and geometric, and are formulated via a reference Riemannian metric that we canonically asso...