零测地线重聚焦的拓扑后果及其在$Z^x$流形中的应用
Topological consequences of null-geodesic refocusing and applications to $Z^x$ manifolds
摘要 Abstract
设$(M,h)$为一个连通且完备的黎曼流形,令$x\in M$及$l>0$。若从点$x$出发的所有测地线都返回到$x$,则称$M$为$Z^x$流形;若从点$x$出发的所有单位速度测地线都在时间$l$时返回到$x$,则称$M$为$Y^x_l$流形。目前尚不清楚是否存在某些$l>0$使得$Z^x$流形不是$Y^x_l$流形。根据B\'erard-Bergery定理,任何维度至少为2的$Y^x_l$流形都是紧致的,并具有有限的基本群。我们证明了对于所有从点$x$出发的单位速度测地线在均匀有界时间内返回到$x$的$Z^x$流形$M$,该结果同样成立。此外,我们还证明了若$h$是解析的,则任何$Z^x$流形$(M,h)$均为某个$l>0$下的$Y^x_l$流形。我们首先定义了一类全局双曲时空(称为观测者重聚焦时空),并指出任何$Z^x$流形都是某种观测者重聚焦时空的Cauchy曲面。接着我们证明了在适当条件下,观测者重聚焦时空的Cauchy曲面是紧致的,并具有有限的基本群,同时展示了三维及以上维度的解析观测者重聚焦时空是强重聚焦的。最后,我们提出了一个与我们在黎曼几何和洛伦兹几何中得到的结果相对应的接触几何猜想。
Let $(M,h)$ be a connected, complete Riemannian manifold, let $x\in M$ and $l>0$. Then $M$ is called a $Z^x$ manifold if all geodesics starting at $x$ return to $x$ and it is called a $Y^x_l$ manifold if every unit-speed geodesic starting at $x$ returns to $x$ at time $l$. It is unknown whether there are $Z^x$ manifolds that are not $Y^x_l$-manifolds for some $l>0$. By the B\'erard-Bergery theorem, any $Y^x_l$ manifold of dimension at least $2$ is compact with finite fundamental group. We prove the same result for $Z^x$ manifolds $M$ for which all unit-speed geodesics starting at $x$ return to $x$ in uniformly bounded time. We also prove that any $Z^x$ manifold $(M,h)$ with $h$ analytic is a $Y^x_l$ manifold for some $l>0$. We start by defining a class of globally hyperbolic spacetimes (called observer-refocusing) such that any $Z^x$ manifold is the Cauchy surface of some observer-refocusing spacetime. We then prove that under suitable conditions the Cauchy surfaces of observer-refocusing spacetimes are compact with finite fundamental group and show that analytic observer-refocusing spacetimes of dimension at least $3$ are strongly refocusing. We end by stating a contact-theoretic conjecture analogous to our results in Riemannian and Lorentzian geometry.