Let be a smooth supermanifold with connection and Batchelor model $\mathcal O_\mathcal M\cong\Gamma_{\Lambda E^\ast}(\mathcal M,\nabla)$ we construct a connection on the total space of the vector bundle . This reduction of is well-defined independently of the isomorphism $\mathcal O_\mathcal M \cong \Gamma_{\Lambda E^\ast}$. It erases information, but however it turns out that the natural identification of supercurves in (as maps from to ) with curves in restricts to a 1 to 1 correspondence on geodesics. This bijection is induced by a natural identification of initial conditions for geodesics on , resp. . Furthermore a Riemannian metric on reduces to a symmetric bilinear form on the manifold . Provided that the connection on is compatible with the metric, resp. torsion free, the reduced connection on inherits these properties. For an odd metric, the reduction of a Levi-Civita connection on turns out to be a Levi-Civita connection on .

生成讲解博客的中文版本

生成AI智能校验的中文版本