Riemann surface
负曲率黎曼曲面的切丛上的阿诺索夫流。这个流可以理解为双曲几何的庞加莱半平面模型的切丛上的流。负曲率黎曼曲面可以用福克斯模型来定义，即上半平面与福克斯群的商。设formula_5为上半平面，formula_6为福克斯群，formula_7为负曲率黎曼曲面，formula_8为流形M上的单位向量的切丛，formula_9是formula_5的单位向量的切丛。注意曲面上单位向量的丛是复直线丛的主丛。