コンパクト多様体にローレンツ計量は入らんだろ