关于热控器共轭点的生成

设 $(M, g)$ 为闭的定向黎曼曲面，$SM$ 为其单位切丛。我们证明了在 $\mathcal{C}^2$ 拓扑下，使得热控器 $(M, g, \lambda)$ 无共轭点的光滑函数集合 $\lambda:SM\to \mathbb{R}$ 的内部，包含的是那些热控器为项目共轭 Anosov 系统的函数。此外，我们证明了如果一个可逆热控器是项目共轭 Anosov 的，则其非wandering 集中不包含共轭点。