Deformations of the Veronese embedding and Finsler 2-spheres of constant curvature

TL;DR

This paper establishes a duality between certain Finsler structures on the 2-sphere with all geodesics closed and Weyl connections on spindle orbifolds, using deformations of the Veronese embedding to construct examples.

Contribution

It introduces a duality between Finsler 2-spheres with constant curvature and Weyl connections on orbifolds, and constructs explicit examples via holomorphic deformations of the Veronese embedding.

Findings

Established a one-to-one correspondence between Finsler structures and Weyl connections.

Constructed examples of Finsler 2-spheres with all geodesics closed.

Demonstrated the use of holomorphic deformations of the Veronese embedding for constructing such structures.

Abstract

We establish a one-to-one correspondence between Finsler structures on the $2$-sphere with constant curvature $1$ and all geodesics closed on the one hand, and Weyl connections on certain spindle orbifolds whose symmetric Ricci curvature is positive definite and all of whose geodesics are closed on the other hand. As an application of our duality result, we show that suitable holomorphic deformations of the Veronese embedding $\mathbb{CP}(a_1,a_2)\to \mathbb{CP}(a_1,(a_1+a_2)/2,a_2)$ of weighted projective spaces provide examples of Finsler $2$-spheres of constant curvature whose geodesics are all closed.

Figures

Equations

$$z(z_1,z_2)=(z^{a_1}{z}_1,z^{a_2}{z}_2)$$

$$S^3\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}$$

$$k^{\prime }=\frac{k}{\gcd (k,a_1-a_2)}.$$

$$a=\frac{2}{\gcd (2,a_1^0+a_2^0)}=\frac{2}{\gcd (2,a_1^0-a_2^0)}$$

$$\begin{array}{rl}\mathrm{d}\chi =& -\eta \wedge \nu ,\\ \mathrm{d}\eta =& -\nu \wedge (\chi -I\eta ),\\ \mathrm{d}\nu =& -(K\chi -J\nu )\wedge \eta ,\end{array}$$

$${\dot{\gamma }}^{\ast }\eta =0\text{and}{\dot{\gamma }}^{\ast }\chi =\mathrm{d}t.$$

$$S\mathcal{O}:=\left\{v\in T\mathcal{O}:|v{|}_g=1\right\}\subset T\mathcal{O}$$

$${\alpha }_v(w):=g({\pi }_v^{\prime }(w),v),{\beta }_v(w):=g({\pi }_v^{\prime }(w),iv),w\in T_{v}SM.$$

$$\mathrm{d}\alpha =-\beta \wedge \zeta ,\mathrm{d}\beta =-\zeta \wedge \alpha ,\mathrm{d}\zeta =-(K_g\circ \pi )\alpha \wedge \beta ,$$

$$\nabla g=2\theta \otimes g.$$

$${}^{(g,\theta )}{\nabla }_{X}Y={}^g{\nabla }_{X}Y+g(X,Y){\theta }^{♯}-\theta (X)Y-\theta (Y)X,X,Y\in \Gamma (T\mathcal{O})$$

$${}^{\exp (2u)g}{\nabla }_{X}Y={}^g{\nabla }_{X}Y-g(X,Y)(\mathrm{d}u{)}^{♯}+\mathrm{d}u(X)Y+\mathrm{d}u(Y)X,X,Y\in \Gamma (T\mathcal{O}).$$

$${}^{(\exp (2u)g,\theta +\mathrm{d}u)}\nabla ={}^{(g,\theta )}\nabla .$$

$$(\hat{g},\hat{\theta })\sim (g,\theta )⟺\hat{g}={\mathrm{e}}^{2u}g\text{and}\hat{\theta }=\theta +\mathrm{d}u,u\in C^{\infty }(\mathcal{O}).$$

$$\mathrm{Ric}\left({}^{(g,\theta )}\nabla \right)=\left(K_g-{\delta }_g\theta \right)g+2\mathrm{d}\theta$$

$$K_{{\mathrm{e}}^{2u}g}={\mathrm{e}}^{-2u}\left(K_g-{\Delta }_{g}u\right)$$

$${\delta }_{e^{2u}g}={\mathrm{e}}^{-2u}{\delta }_g$$

$$K_{\hat{g}}-{\delta }_{\hat{g}}\hat{\theta }=\frac{K_g+{\delta }_g\mathrm{d}u}{K_g-{\delta }_g\theta }-\frac{{\delta }_g(\theta +\mathrm{d}u)}{K_g-{\delta }_g\theta }=1.$$

$$\chi :={\pi }^{\ast }({\star }_g\theta )-\zeta ,\eta :=-\beta ,\nu :=-\alpha$$

$$\mathrm{d}\chi =\mathrm{d}\left({\pi }^{\ast }({\star }_g\theta )-\zeta \right)={\pi }^{\ast }\left((K_g-{\delta }_g\theta )d{\sigma }_g\right)=\alpha \wedge \beta =-\eta \wedge \nu$$

$$\mathrm{d}\eta =-\mathrm{d}\beta =\zeta \wedge \alpha =(\chi -{\pi }^{\ast }({\star }_g\theta ))\wedge \nu =-\nu \wedge (\chi -{\pi }^{\ast }({\star }_g\theta ))$$

$$\mathrm{d}\eta =-\nu \wedge \left(\chi -I\eta \right),$$

$$\mathrm{d}\nu =-\mathrm{d}\alpha =\beta \wedge \zeta =-(\chi -{\pi }^{\ast }({\star }_g\theta ))\wedge \eta =-\left(\chi -J\nu \right)\wedge \eta ,$$

$${\mathrm{L}}_X\left(\eta \otimes \eta +\nu \otimes \nu \right)=\nu \otimes \eta +\eta \otimes \nu -\eta \otimes \nu -\nu \otimes \eta =0.$$

$$\Phi :\Sigma$$

$$v$$

$$0=\mathrm{d}\alpha +\beta \wedge \zeta =-\mathrm{d}\nu -\eta \wedge \zeta =(\chi -J\nu )\wedge \eta -\eta \wedge \zeta =-\eta \wedge \left(\chi -J\nu +\zeta \right)$$

$$0=\mathrm{d}\beta +\zeta \wedge \alpha =-\mathrm{d}\eta -\zeta \wedge \nu =\nu \wedge \left(\chi -I\eta \right)-\zeta \wedge \nu =-\left(\chi -I\eta +\zeta \right)\wedge \nu ,$$

$$\zeta =I\eta +J\nu -\chi =-(J\alpha +I\beta )-\chi .$$

$$\left(\begin{array}{c}\alpha \\ \beta \\ \zeta \end{array}\right)=\left(\begin{array}{c}-\nu \\ -\eta \\ I\eta +J\nu -\chi \end{array}\right)$$

$$0={\mathrm{d}}^2\eta =\left(J\chi -\mathrm{d}I\right)\wedge \eta \wedge \nu$$

Full text

1. Introduction

1.1. Background

Riemannian metrics of constant curvature on closed surfaces are fully understood, a complete picture in the case of Finsler metrics is however still lacking. Akbar-Zadeh [2] proved a first key result by showing that on a closed surface a Finsler metric of constant negative curvature must be Riemannian, and locally Minkowskian in the case where the curvature vanishes identically (see also [16]). In the case of constant positive curvature a Finsler metric must still be Riemannian, provided it is reversible [11], but the situation turns out to be much more flexible in the non-reversible case.

Katok [22] gave the first examples (later analysed by Ziller [41]) of non-reversible Finsler metrics of constant positive curvature, though it was only realized later that Katok’s examples actually have constant curvature. Meanwhile, Bryant [8] gave another construction of non-reversible Finsler metrics of constant positive curvature on the $2$-sphere $S^{2}$ and in subsequent work [9] classified all Finsler metrics on $S^{2}$ having constant positive curvature and that are projectively flat. Bryant also observed that every Zoll metric on $S^{2}$ with positive Gauss curvature gives rise to a Finsler metric on $S^{2}$ with constant positive curvature [10]. Hence, already by the work of Zoll [42] from the beginning of the 20th century, the moduli space of constant curvature Finsler metrics on $S^{2}$ is known to be infinite-dimensional. Its global structure is however not well understood.

1.2. A duality result

Recently in [6], Bryant et. al. inter alia showed that a Finsler metric on $S^{2}$ with constant curvature $1$ either admits a Killing vector field, or has all of its geodesics closed. Moreover, in the first case all geodesics become closed, and even of the same length, after a suitable (invertible) Zermelo transformation. Hence, in this sense the assumption that all geodesics are closed is not a restriction. However, in the second case the geodesics can in general have different lengths, unlike the geodesics of the Finsler metrics that arise from Bryant’s construction using Zoll metrics.

In this paper we generalise Bryant’s observation about Zoll metrics to a one-to-one correspondence which covers all Finsler metrics on $S^{2}$ with constant curvature $1$ and all geodesics closed. The correspondence arises from the classical notion of duality for so-called path geometries.

An oriented path geometry on an oriented surface $M$ prescribes an oriented path $\gamma\subset M$ for every oriented direction in $TM$. This notion can be made precise by considering the bundle $\pi:\mathbb{S}(TM):=\left(TM\setminus\{0_{M}\}\right)/\mathbb{R}^{+}\to M$ which comes equipped with a tautological co-orientable contact distribution $C$. An oriented path geometry is a one-dimensional distribution $P\to\mathbb{S}(TM)$ so that $P$ together with the vertical distribution $L=\ker\pi^{\prime}$ span $C$.

The orientation of $M$ equips $P$ and $L$ with an orientation as well and following [9], a $3$-manifold $N$ equipped with a pair of oriented one-dimensional distributions $(P,L)$ spanning a contact distribution is called an oriented generalized path geometry. In this setup the surface $M$ is replaced with the leaf space of the foliation $\mathcal{L}$ defined by $L$ and the leaf space of the foliation $\mathcal{P}$ defined by $P$ can be thought of as the space of oriented paths of the oriented generalized path geometry $(P,L)$. We may reverse the role of $P$ and $L$ and thus consider the dual $(-L,-P)$ of the oriented generalized path geometry $(P,L)$, where here the minus sign indicates reversing the orientation.

The unit circle bundle $\Sigma\subset TM$ of a Finsler metric $F$ on an oriented surface $M$ naturally carries the structure of an oriented generalized path geometry $(P,L)$. In the case where all geodesics are closed, the dual of the path geometry arising from a Finsler metric on the $2$-sphere with constant positive curvature arises from a certain generalization of a Besse $2$-orbifold [24] with positive curvature. Here a $2$-orbifold is called Besse if all its geodesics are closed. Namely, using the recent result [6] by Bryant et al. about such Finsler metrics (see Theorem 3.1 below), we show that the space of oriented geodesics is a spindle-orbifold $\mathcal{O}$ – or equivalently, a weighted projective line – which comes equipped with a positive Besse–Weyl structure. By this we mean an affine torsion-free connection $\nabla$ on $\mathcal{O}$ which preserves some conformal structure – a so-called Weyl connection – and which has the property that the image of every maximal geodesic of $\nabla$ is an immersed circle. Moreover, the symmetric part of the Ricci curvature of $\nabla$ is positive definite. Conversely, having such a positive Besse–Weyl structure on a spindle orbifold, we show that the dual path geometry yields a Finsler metric on $S^{2}$ with constant positive curvature all of whose geodesics are closed. More precisely, we prove the following duality result which generalizes [10, Theorem 3] and [11, Proposition 6, Corollary 2] by Bryant:

Theorem A**.**

There is a one-to-one correspondence between Finsler structures on $S^{2}$ with constant Finsler–Gauss curvature $1$ and all geodesics closed on the one hand, and positive Besse–Weyl structures on spindle orbifolds $S^{2}(a_{1},a_{2})$ with $c:=\gcd(a_{1},a_{2})\in\{1,2\}$, $a_{1}\geqslant a_{2}$, $2|(a_{1}+a_{2})$ and $c^{3}|a_{1}a_{2}$ on the other hand. More precisely,

1. (1)

such a Finsler metric with shortest closed geodesic of length $2\pi\ell\in(\pi,2\pi]$, $\ell=p/q\in(\frac{1}{2},1]$, $\gcd(p,q)=1$, gives rise to a positive Besse–Weyl structure on $S^{2}(a_{1},a_{2})$ with $a_{1}=q$ and $a_{2}=2p-q$, and 2. (2)

a positive Besse–Weyl structure on such a $S^{2}(a_{1},a_{2})$ gives rise to such a Finsler metric on $S^{2}$ with shortest closed geodesic of length $2\pi\left(\frac{a_{1}+a_{2}}{2a_{1}}\right)\in(\pi,2\pi]$,

and these assignments are inverse to each other. Moreover, two such Finsler metrics are isometric if and only if the corresponding Besse–Weyl structures coincide up to a diffeomorphism.

1.3. Construction of examples

In [31], it is shown that Weyl connections with prescribed (unparametrised) geodesics on an oriented surface $M$ are in one-to-one correspondence with certain holomorphic curves into the “twistor space” over $M$. In Section 4 we make use of this observation to construct deformations of positive Besse–Weyl structures on the weighted projective line $\mathbb{CP}(a_{1},a_{2})$ in a fixed projective class, by deforming the Veronese embedding of $\mathbb{CP}(a_{1},a_{2})$ into the weighted projective plane with weights $(a_{1},(a_{1}+a_{2})/2,a_{2})$. Applying our duality result, we obtain a corresponding real two-dimensional family of non-isometric, rotationally symmetric Finsler structures on the $2$-sphere with constant positive curvature and all geodesics closed, but not of the same length. The length of the shortest closed geodesic of the resulting Finsler metric is unchanged for our family of deformations and so it is of different nature than the Zermelo deformation used by Katok in the construction of his examples [22]. Moreover, we expect that not all of these examples are of Riemannian origin in the following sense (cf. Remark 4.13).

The construction of rotationally symmetric Zoll metrics on $S^{2}$ can be generalized to give an infinite-dimensional family of rotationally symmetric Riemannian metrics on spindle orbifolds all of whose geodesics are closed [4, 24]. Since every Levi-Civita connection is a Weyl connection, we obtain an infinite-dimensional family of rotationally symmetric positive Riemannian Besse–Weyl structures.

Furthermore, in [27, 28] LeBrun–Mason construct a Weyl connection $\nabla$ on the $2$-sphere $S^{2}$ for every totally real embedding of $\mathbb{RP}^{2}$ into $\mathbb{CP}^{2}$ which is sufficiently close to the standard real linear embedding. The Weyl connection has the property that all of its maximal geodesics are embedded circles and hence defines a Besse–Weyl structure. In addition, they show that every such Weyl connection on $S^{2}$ is part of a complex $5$-dimensional family of Weyl connections having the same unparametrised geodesics (see also [32]). In particular, the Weyl connections of LeBrun–Mason that arise from an embedding of $\mathbb{RP}^{2}$ that is sufficiently close to the standard embedding provide examples of positive Besse–Weyl structures. The corresponding dual Finsler metrics on $S^{2}$ will have geodesics that are all closed and of the same length.

A complete local picture of the space of Finsler $2$-spheres of constant positive curvature and with all geodesics closed likely requires extending the work of LeBrun–Mason to the orbifold setting. Our results in Section 4 lay the foundation for such an extension. We hope to be able to built upon it in future work.

Acknowledgements

The authors would like to thank Vladimir Matveev for drawing their attention to the work of Bryant and its possible extension as well as for helpful correspondence. CL was partially supported by the DFG funded project SFB/TRR 191. A part of the research for this article was carried out while TM was visiting FIM at ETH Zürich and Mathematisches Institut der Universität zu Köln. TM thanks FIM for its hospitality and the DFG for travel support via the project SFB/TRR 191. TM was partially funded by the priority programme SPP 2026 “Geometry at Infinity” of DFG.

2. Preliminaries

2.1. Background on orbifolds

For a detailed account on different perspectives on orbifold we refer the reader to e.g. [1, 5, 25, 36]. Here we only quickly recall some basic notions which are relevant for our purpose. An $n$-dimensional Riemannian orbifold $\mathcal{O}^{n}$ can be defined as a length space such that for each point $x\in\mathcal{O}$ there exists a neighbourhood $U$ of $x$ in $\mathcal{O}$, an $n$-dimensional Riemannian manifold $M$ and a finite group $\Gamma$ acting by isometries on $M$ such that $U$ and $M/\Gamma$ are isometric [25]. In this case we call $M$ a manifold chart for $\mathcal{O}$. Every Riemannian orbifold admits a canonical smooth structure, i.e., roughly speaking, there exist equivariant, smooth transition maps between manifolds charts. Conversely, every smooth orbifold is “metrizable” in the above sense. For a point $x$ on an orbifold the linearised isotropy group of a preimage of $x$ in a manifold chart is uniquely determined up to conjugation. Its conjugacy class is denoted as $\Gamma_{x}$ and is called the local group of $\mathcal{O}$ at $x$. A point $x\in\mathcal{O}$ is called regular if its local group is trivial and otherwise singular.

For example, the metric quotient $\mathcal{O}_{a}$, $a=(a_{1},a_{2})$, of the unit sphere $S^{3}\subset\mathbb{C}^{2}$ by the isometric action of $S^{1}\subset\mathbb{C}$ defined by

[TABLE]

for co-prime numbers $a_{1}\geqslant a_{2}$ is a Riemannian orbifold which is topologically a $2$-sphere, but which metrically has two isolated singular points with cyclic local groups of order $a_{1}$ and $a_{2}$. We denote the underlying smooth orbifold as $S^{2}(a_{1},a_{2})$ and refer to it as a $(a_{1},a_{2})$-spindle orbifold. The quotient map $\pi$ from $S^{3}$ to $\mathcal{O}_{a}$ is an example of an orbifold (Riemannian) submersion, in the sense that for every point $z$ in $S^{3}$, there is a neighbourhood $V$ of $z$ such that $M/\Gamma=U=\pi(V)$ is a chart, and $\pi|_{V}$ factors as $V\stackrel{{\scriptstyle\tilde{\pi}}}{{\longrightarrow}}M{\longrightarrow}M/\Gamma=U$, where $\tilde{\pi}$ is a standard submersion. The anti-Hopf action of $S^{1}$ on $S^{3}$ defined by $z(z_{1},z_{2})=(zz_{1},z^{-1}z_{2})$ commutes with the above $S^{1}$-action and induces an isometric $S^{1}$-action on $\mathcal{O}_{a}$. Let $\Gamma_{k}$ be a cyclic subgroup of the anti-Hopf $S^{1}$-action. The quotient $S^{3}/\Gamma_{k}$ is a lens space of type $L(k,1)$. By moding out such $\Gamma_{k}$-actions on $\mathcal{O}_{a}$ we obtain spindle orbifolds $S^{2}(a_{1},a_{2})$ with arbitrary $a_{1}$ and $a_{2}$ as quotients. These spaces fit in the following commutative diagram

[TABLE]

for some $k^{\prime}|k$. Here the left vertical map is an example of a (Riemannian) orbifold covering $p:\mathcal{O}\rightarrow\mathcal{O}^{\prime}$, i.e. each point $x\in\mathcal{O}^{\prime}$ has a neighbourhood $U$ isomorphic to some $M/\Gamma$ for which each connected component $U_{i}$ of $p^{-1}(U)$ is isomorphic to $M/\Gamma_{i}$ for some subgroup $\Gamma_{i}<\Gamma$ such that the isomorphisms are compatible with the natural projections $M/\Gamma_{i}\rightarrow M/\Gamma$ (see [25] for a metric definition). Thurston has shown that the theory of orbifold coverings works analogously to the theory of ordinary coverings [39]. In particular, there exist universal coverings and one can define the orbifold fundamental group $\pi_{1}^{orb}(\mathcal{O})$ of a connected orbifold $\mathcal{O}$ as the deck transformation group of the universal covering. For instance, the orbifold fundamental group of $S^{2}(a_{1},a_{2})$ is a cyclic group of order $\gcd(a_{1},a_{2})$. Moreover, the number $k^{\prime}$ in the diagram is determined in [18, Theorem 4.10] to be

[TABLE]

More generally, in his fundamental monograph [38] Seifert studies foliations of $3$-manifolds by circles that are locally orbits of effective circle actions without fixed points (for a modern account see e.g. [37]). The orbit space of such a Seifert fibration naturally carries the structure of a $2$-orbifold with isolated singularities. If both the $3$-manifold and the orbit space are orientable, then the Seifert fibration can globally be described as a decomposition into orbits of an effective circle action without fixed points (see e.g. [24, Section 2.4] and the references stated therein). In particular, in [38, Chapter 11] Seifert shows that any Seifert fibration of the $3$-sphere is given by the orbit decomposition of a weighted Hopf action. The classification of Seifert fibrations of lens spaces, their quotients and their behaviour under coverings is described in detail in [18]. Let us record the following special statement which will be needed later.

Lemma 2.1**.**

Let $\mathcal{F}$ be a Seifert fibration of $\mathbb{RP}^{3}\cong L(2,1)$ with orientable quotient orbifold. Then the quotient orbifold is a $S^{2}(a_{1},a_{2})$ spindle orbifold, $a_{1}\geqslant a_{2}$, with $2|(a_{1}+a_{2})$, $c:=\gcd(a_{1},a_{2})\in\{1,2\}$ and $c^{3}|a_{1}a_{2}$.

Proof.

Since $\mathbb{RP}^{3}$ and the quotient surface are orientable, the Seifert fibration is induced by an effective circle action without fixed points. It follows from the homotopy sequence, that the orbifold fundamental group of the quotient is either trivial or $\mathbb{Z}_{2}$ [37, Lemma 3.2]. In particular, the quotient has to be a spindle orbifold (see e.g. [37, Chapter 3] or [38, Chapter 10]). Moreover, such a Seifert fibration is covered by a Seifert fibration of $S^{3}$ [18, Theorem 5.1] with quotient $S^{2}(a^{0}_{1},a^{0}_{2})$ for co-prime $a^{0}_{1}$ and $a^{0}_{2}$ with $a_{i}=aa^{0}_{i}$, and with

[TABLE]

by [18, Theorem 4.10]. This implies $2|(a_{1}+a_{2})$, $c:=\gcd(a_{1},a_{2})\in\{1,2\}$ and $c^{3}|a_{1}a_{2}$ as claimed. ∎

Usually notions that make sense for manifolds can also be defined for orbifolds. The general philosophy is to either define them in manifold charts and demand them to be invariant under the action of the local groups (and transitions between charts as in the manifold case) like in the case of a Riemannian metric, or to demand certain lifting conditions. For instance, a map between orbifolds is called smooth if it locally lifts to smooth maps between manifolds charts. Let us also explicitly mention that the tangent bundle of an orbifold can be defined by gluing together quotients of the tangent bundles of manifold charts by the actions of local groups [1, Proposition 1.21]. In particular, if the orbifold has only isolated singularities, then its unit tangent bundle (with respect to any Riemannian metric) is in fact a manifold. For instance, the unit tangent bundle of a $S^{2}(a_{1},a_{2})$ spindle orbifold is an $L(a_{1}+a_{2},1)$ lens space [24, Lemma 3.1]. General vector bundles on orbifolds can be similarly defined on the level of charts. We will only work with vector bundles on spindle orbifolds $S^{2}(a_{1},a_{2})$ which can be described as associated bundles $\mathrm{SU}(2)\times_{S^{1}}V$ for some linear representation of $S^{1}$ on a vector space $V$.

In the sequel we liberally use orbifold notions which follow this general philosophy without further explanation, and refer to the literature for more details.

2.2. Besse orbifolds

The Riemannian spindle orbifolds $\mathcal{O}_{a}\cong S^{2}(a_{1},a_{2})$ constructed in the preceding section have the additional property that all their geodesics are closed, i.e. any geodesic factors through a closed geodesic. Here an (orbifold) geodesic on a Riemannian orbifold is a path that can locally be lifted to a geodesic in a manifold chart, and a closed geodesic is a loop that is a geodesic on each subinterval. We call a Riemannian metric on an orbifold as well as a Riemannian orbifold Besse, if all its geodesics are closed. The moduli space of (rotationally symmetric) Besse metrics on spindle orbifolds is infinite-dimensional [4, 24]. For more details on Besse orbifolds we refer to [3, 24].

2.3. Finsler structures.

A Finsler metric on a manifold is – roughly speaking – a Banach norm on each tangent space varying smoothly from point to point. Instead of specifying the family of Banach norms, one can also specify the norm’s unit vectors in each tangent space. Here we only consider oriented Finsler surfaces and use definitions for Finsler structures from [9]:

A Finsler structure on an oriented surface $M$ is a smooth hypersurface $\Sigma\subset TM$ for which the basepoint projection $\pi:\Sigma\to M$ is a surjective submersion which has the property that for each $p\in M$ the fibre $\Sigma_{p}=\pi^{-1}(p)=\Sigma\cap T_{p}M$ is a closed, strictly convex curve enclosing the origin $0\in T_{p}M.$ A smooth curve $\gamma:[a,b]\to M$ is said to be a $\Sigma$-curve if its velocity $\dot{\gamma}(t)$ lies in $\Sigma$ for every time $t\in[a,b]$. For every immersed curve $\gamma:[a,b]\to M$ there exists a unique orientation preserving diffeomorphism $\Phi:[0,\mathscr{L}]\to[a,b]$ such that $\phi:=\gamma\circ\Phi$ is a $\Sigma$-curve. The number $\mathscr{L}\in\mathbb{R}^{+}$ is the length of $\gamma$ and the curve $\dot{\phi}:[a,b]\to\Sigma$ is called the tangential lift of $\gamma$. Note that in general the length may depend on the orientation of the curve.

Cartan [13] has shown how to associate a coframing to a Finsler structure on an oriented surface $M$. For a modern reference for Cartan’s construction the reader may consult [7]. Let $\Sigma\subset TM$ be a Finsler structure. Then there exists a unique coframing $\mathscr{P}=(\chi,\eta,\nu)$ of $\Sigma$ with dual vector fields $(X,H,V)$ which satisfies the structure equations

[TABLE]

for some smooth functions $I,J,K:\Sigma\to\mathbb{R}$. Moreover the $\pi$-pullback of any positive volume form on $M$ is a positive multiple of $\chi\wedge\eta$ and the tangential lift of any $\Sigma$-curve $\gamma$ satisfies

[TABLE]

A $\Sigma$-curve $\gamma$ is a $\Sigma$-geodesic, that is, a critical point of the length functional, if and only if its tangential lift satisfies $\dot{\gamma}^{*}\nu=0$. The integral curves of $X$ therefore project to $\Sigma$-geodesics on $M$ and hence the flow of $X$ is called the geodesic flow of $\Sigma$.

For a Riemannian Finsler structure the functions $I,J$ vanish identically, as a result of which $K$ is constant on the fibres of $\pi:\Sigma\to M$ and therefore the $\pi$-pullback of a function on $M$ which is the Gauss curvature $K_{g}$ of $g$. Since in the Riemannian case the function $K$ is simply the Gauss curvature, it is usually called the Finsler–Gauss curvature. In general $K$ need not be constant on the fibres of $\pi:\Sigma\to M$.

Let $\Sigma\subset TM$ and $\hat{\Sigma}\subset T\hat{M}$ be two Finsler structures on oriented surfaces with coframings $\mathscr{P}$ and $\hat{\mathscr{P}}$. An orientation preserving diffeomorphism $\Phi:M\to\hat{M}$ with $\Phi^{\prime}(\Sigma)=\hat{\Sigma}$ is called a Finsler isometry. It follows that for a Finsler isometry $(\Phi^{\prime}|_{\Sigma})^{*}\hat{\mathscr{P}}=\mathscr{P}$ and conversely any diffeomorphism $\Xi:\Sigma\to\hat{\Sigma}$ which pulls-back $\hat{\mathscr{P}}$ to $\mathscr{P}$ is of the form $\Xi=\Phi^{\prime}$ for some Finsler isometry $\Phi:M\to\hat{M}$.

Following [9, Def. 1], we use the following definition:

Definition 2.2**.**

A coframing $(\chi,\eta,\nu)$ on a $3$-manifold $\Sigma$ satisfying the structure equations (2.2) for some functions $I,J$ and $K$ on $\Sigma$ will be called a generalized Finsler structure.

As in the case of a Finsler structure we denote the dual vector fields of $(\chi,\eta,\nu)$ by $(X,H,V)$. Note that a generalized Finsler structure naturally defines an oriented generalized path geometry by defining $P$ to be spanned by $X$ while calling positive multiples of $X$ positive and by defining $L$ to be spanned by $V$ while calling positive multiples of $V$ positive.

Example 2.3*.*

Let $(\mathcal{O},g)$ be an oriented Riemannian $2$-orbifold. In particular, $\mathcal{O}$ has only isolated singularities. Then the unit tangent bundle

[TABLE]

is a manifold, and like in the case of a smooth Finsler structure it can be equipped with a canonical coframing as well. In order to distinguish the Riemannian orbifold case from the smooth Finsler case, we will use the notation $(\alpha,\beta,\zeta)$ instead of $(\chi,\eta,\nu)$ for the coframing. The construction is as follows: A manifold chart $M/\Gamma$ of $\mathcal{O}$ gives rise to a manifold chart $SM/\Gamma$ of $S\mathcal{O}$. In such a chart the first two coframing forms are explicitly given by

[TABLE]

Here $\pi:S\mathcal{O}\to\mathcal{O}$ denotes the basepoint projection and $i:TM\to TM$ the rotation of tangent vectors by $\pi/2$ in positive direction. Note that these expressions are invariant under the group action of $\Gamma$ and hence in fact define forms on $\mathcal{O}M$. The third coframe form $\zeta$ is the Levi-Civita connection form of $g$ and we have the structure equations

[TABLE]

where $K_{g}$ denotes the Gauss curvature of $g$. Moreover, note that $\pi^{*}d\sigma_{g}=\alpha\wedge\beta$ where $d\sigma_{g}$ denotes the area form of $\mathcal{O}$ with respect to $g$. Denoting the vector fields dual to $(\alpha,\beta,\zeta)$ by $(A,B,Z)$ we observe that the flow of $Z$ is $2\pi$-periodic. Finally, if $\mathcal{O}$ is a manifold, then the coframing $(\alpha,\beta,\zeta)$ agrees with Cartan’s coframing $(\chi,\eta,\nu)$ on the Riemannian Finsler structure $\Sigma=S\mathcal{O}$.

2.4. Weyl structures and connections

A Weyl connection on an orbifold $\mathcal{O}$ is an affine torsion-free connection on $\mathcal{O}$ preserving some conformal structure $[g]$ on $\mathcal{O}$ in the sense that its parallel transport maps are angle preserving with respect to $[g]$. An affine torsion-free connection $\nabla$ is a Weyl connection with respect to the conformal structure $[g]$ on $\mathcal{O}$ if for some (and hence any) conformal metric $g\in[g]$ there exists a $1$-form $\theta\in\Omega^{1}(\mathcal{O})$ such that

[TABLE]

Conversely, it follows from Koszul’s identity that for every pair $(g,\theta)$ consisting of a Riemannian metric $g$ and $1$-form $\theta$ on $\mathcal{O}$ the connection

[TABLE]

is the unique affine torsion-free connection satisfying (2.3). Here ${}^{g}\nabla$ denotes the Levi-Civita connection of $g$ and $\theta^{\sharp}$ is the vector field dual to $\theta$ with respect to $g$. Notice that for $u\in C^{\infty}(\mathcal{O})$ we have the formula

[TABLE]

From which one easily computes the identity

[TABLE]

Consequently, we define a Weyl structure to be an equivalence class $[(g,\theta)]$ subject to the equivalence relation

[TABLE]

Clearly, the mapping which assigns to a Weyl structure $[(g,\theta)]$ its Weyl connection ${}^{(g,\theta)}\nabla$ is a one-to-one correspondence between the set of Weyl structures – and the set of Weyl connections on $\mathcal{O}$.

The Ricci curvature of a Weyl connection ${}^{(g,\theta)}\nabla$ on $\mathcal{O}$ is

[TABLE]

where $\delta_{g}$ denotes the co-differential with respect to $g$.

Definition 2.4**.**

We call a Weyl structure $[(g,\theta)]$ positive if the symmetric part of the Ricci curvature of its associated Weyl connection is positive definite.

In the case where $\mathcal{O}$ is oriented we may equivalently say the Weyl structure $[(g,\theta)]$ is positive if the $2$-form $(K_{g}-\delta_{g}\theta)d\sigma_{g}$ – which only depends on the orientation and given Weyl structure – is an orientation compatible volume form on $\mathcal{O}$. Note that by the Gauss–Bonnet theorem [36] simply connected spindle orbifolds are the only simply connected $2$-orbifolds carrying positive Weyl structures.

We now obtain:

Lemma 2.5**.**

Every positive Weyl structure contains a unique pair $(g,\theta)$ satisfying $K_{g}-\delta_{g}\theta=1$.

Proof.

We have the following standard identity for the change of the Gauss curvature under conformal change

[TABLE]

where $\Delta_{g}=-(\mathrm{d}\delta_{g}+\delta_{g}\mathrm{d})$ is the negative of the Laplace–de Rham operator. Also, we have the identity

[TABLE]

for the co-differential acting on $1$-forms.

If $[(g,\theta)]$ is a positive Weyl structure, we may take any representative $(g,\theta)$, define $u=\frac{1}{2}\ln(K_{g}-\delta_{g}\theta)$ and consider the representative $(\hat{g},\hat{\theta})=(\mathrm{e}^{2u}g,\theta+\mathrm{d}u)$. Then we have

[TABLE]

Suppose the two representative pairs $(g,\theta)$ and $(\hat{g},\hat{\theta})$ both satisfy $K_{\hat{g}}-\delta_{\hat{g}}\hat{\theta}=K_{g}-\delta_{g}\theta=1$. Since they define the same Weyl connection, the expression for the Ricci curvature implies that $\hat{g}=(K_{\hat{g}}-\delta_{\hat{g}}\hat{\theta})\hat{g}=(K_{g}-\delta_{g}\theta)g=g$ and hence also $\hat{\theta}=\theta$, as claimed. ∎

Definition 2.6**.**

For a positive Weyl structure $[(g,\theta)]$ we call the unique representative pair $(g,\theta)$ satisfying $K_{g}-\delta_{g}\theta=1$ the natural gauge of $[(g,\theta)]$.

Lemma 2.7**.**

Let $[(g,\theta)]$ be a positive Weyl structure on an orientable $2$-orbifold $\mathcal{O}$ with natural gauge $(g,\theta)$ and let $\pi:S\mathcal{O}\to\mathcal{O}$ denote the unit tangent bundle of $g$ equipped with its canonical coframing $(\alpha,\beta,\zeta)$. Then the coframing

[TABLE]

defines a generalized Finsler structure of constant Finsler–Gauss curvature $K=1$ on $S\mathcal{O}$.

Proof.

We compute that

[TABLE]

and

[TABLE]

Now observe that $\pi^{*}(\star_{g}\theta)=-Z(\theta)\alpha+\theta\beta$ where on the right hand side we think of $\theta$ as a real-valued function on $S\mathcal{O}$. Since $\nu=-\alpha$, we thus have

[TABLE]

for $I=-\theta$, again interpreted as a function on $S\mathcal{O}$. Likewise, we obtain

[TABLE]

where $J=Z(\theta)$. The claim follows. ∎

Remark 2.8*.*

We remark that correspondingly we have a natural gauge $(g,\theta)$ for a negative Weyl structure, that is, $(g,\theta)$ satisfy $K_{g}-\delta_{g}\theta=-1$. On a closed oriented surface (necessarily of negative Euler characteristic) the associated flow generated by the vector field $A-Z(\theta)Z$ falls into the family of flows introduced in [33]. In particular, its dynamics is Anosov.

The geometric significance of the form $\chi$ in Lemma 2.7 is described in the following statement. For a proof in the manifold case – which carries over mutatis mutandis to the orbifold case – the reader may consult [34, Lemma 3.1].

Lemma 2.9**.**

Let $(g,\theta)$ be a pair of a Riemannian metric and a $1$-form on an orientable $2$-orbifold $\mathcal{O}$ and let $\pi:S\mathcal{O}\to\mathcal{O}$ denote the unit tangent bundle of $g$ with canonical coframing $(\alpha,\beta,\zeta)$. Then the leaves of the foliation defined by $\{\beta,\zeta-\pi^{*}(\star_{g}\theta)\}^{\perp}$ project to $\mathcal{O}$ to become the (unparametrised) oriented geodesics of the Weyl connection defined by $[(g,\theta)]$.

We conclude this section with a definition:

Definition 2.10**.**

An affine torsion-free connection $\nabla$ on $\mathcal{O}$ is called Besse if the image of every maximal geodesic of $\nabla$ is an immersed circle. A Weyl structure whose Weyl connection is Besse will be called a Besse–Weyl structure.

Note that the Levi-Civita connection of any (orientable) Besse orbifold $\mathcal{O}$ (see Section 2.2) gives rise to a Besse–Weyl structure on $S\mathcal{O}$.

3. A Duality Theorem

Let us cite the following result from [6]:

Theorem 3.1** (Bryant, Foulon, Ivanov, Matveev, Ziller).**

Let $\Sigma\subset TS^{2}$ be a Finsler structure on $S^{2}$ with constant Finsler–Gauss curvature $1$ and all geodesics closed. Then there exists a shortest closed geodesic of length $2\pi\ell\in(\pi,2\pi]$ and the following holds:

1. (1)

Either $\ell=1$ and all geodesics have the same length $2\pi$, 2. (2)

or $\ell=p/q\in(\frac{1}{2},1)$ with $p,q\in\mathbb{N}$ and $\gcd(p,q)=1$, and in this case all unit-speed geodesics have a common period $2\pi p$. Furthermore, there exists at most two closed geodesics with length less than $2\pi p$. A second one exists only if $2p-q>1$, and its length is $2\pi p/(2p-q)\in(2\pi,2p\pi)$.

In particular, if all geodesics of a Finsler metric on $S^{2}$ are closed, then its geodesic flow is periodic with period $2\pi p$ for some integer $p$.

We now have our main duality result:

Theorem A**.**

There is a one-to-one correspondence between Finsler structures on $S^{2}$ with constant Finsler–Gauss curvature $1$ and all geodesics closed on the one hand, and positive Besse–Weyl structures on spindle orbifolds $S^{2}(a_{1},a_{2})$ with $c:=\gcd(a_{1},a_{2})\in\{1,2\}$, $a_{1}\geqslant a_{2}$, $2|(a_{1}+a_{2})$ and $c^{3}|a_{1}a_{2}$ on the other hand. More precisely,

1. (1)

such a Finsler metric with shortest closed geodesic of length $2\pi\ell\in(\pi,2\pi]$, $\ell=p/q\in(\frac{1}{2},1]$, $\gcd(p,q)=1$, gives rise to a positive Besse–Weyl structure on $S^{2}(a_{1},a_{2})$ with $a_{1}=q$ and $a_{2}=2p-q$, and 2. (2)

a positive Besse–Weyl structure on such a $S^{2}(a_{1},a_{2})$ gives rise to such a Finsler metric on $S^{2}$ with shortest closed geodesic of length $2\pi\left(\frac{a_{1}+a_{2}}{2a_{1}}\right)\in(\pi,2\pi]$,

and these assignments are inverse to each other. Moreover, two such Finsler metrics are isometric if and only if the corresponding Besse–Weyl structures coincide up to a diffeomorphism.

Proof.

In case of $2\pi$-periodic geodesic flows the first statement is already contained in [11]. To prove the general statement let $\Sigma\subset TS^{2}$ be a $K=1$ Finsler structure with $2\pi p$-periodic geodesic flow $\phi:\Sigma\times\mathbb{R}\to\Sigma$, i.e. the flow factorizes through a smooth, almost free $S^{1}$-action $\phi:\Sigma\times S^{1}\to\Sigma$. The Cartan coframe will be denoted by $(\chi,\eta,\nu)$ and the dual vector fields by $(X,H,V)$. Since $\Sigma\cong SO(3)$ is an $L(2,1)$ lens space, the quotient map $\lambda$ for the $S^{1}$-action is a smooth orbifold submersion onto a spindle orbifold $\mathcal{O}=S^{2}(a_{1},a_{2})$, with $a_{1}\geqslant a_{2}$, $2|(a_{1}+a_{2})$, $c:=\gcd(a_{1},a_{2})\in\{1,2\}$ and $c^{3}|a_{1}a_{2}$ by Lemma 2.1. With Theorem 3.1 we see that $a_{1}=q$ and $a_{2}=2p-q$. Since $X\hskip 3.0pt\rule[0.5pt]{5.69054pt}{0.5pt}\rule[0.5pt]{0.5pt}{4.5pt}\hskip 3.0pt\eta=X\hskip 3.0pt\rule[0.5pt]{5.69054pt}{0.5pt}\rule[0.5pt]{0.5pt}{4.5pt}\hskip 3.0pt\nu=0$, the $1$-forms $\eta$ and $\nu$ are semibasic for the projection $\lambda$ and using the structure equations for the $K=1$ Finsler structure, we compute the Lie derivative

[TABLE]

Likewise, we compute $\mathrm{L}_{X}\left(\nu\wedge\eta\right)=0$. Hence the symmetric $2$-tensor $\eta\otimes\eta+\nu\otimes\nu$ and the $2$-form $\nu\wedge\eta$ are invariant under $\phi$ and therefore there exists a unique Riemannian metric $g$ on $\mathcal{O}$ for which $\lambda^{*}g=\eta\otimes\eta+\nu\otimes\nu$ where $\lambda:\Sigma\to\mathcal{O}$ is the natural projection. We may orient $\mathcal{O}$ in such a way that the pullback of the area form $d\sigma_{g}$ of $g$ satisfies $\lambda^{*}d\sigma_{g}=\nu\wedge\eta$. The structure equations also imply that $\chi,\eta,\nu$ are invariant under $(\phi_{2\pi})^{\prime}$ (cf. [9, p. 186]). Therefore the map

[TABLE]

and the forms $\chi,\eta,\nu$ are invariant under the action of the cyclic subgroup $\Gamma<S^{1}$ of order $p$ on $\Sigma$. Hence $\Phi$ factors through a map $\bar{\Phi}:\Sigma/\Gamma\rightarrow T\mathcal{O}$, and $\chi,\eta,\nu$ descend to $\Sigma/\Gamma$ where they define a generalized Finsler structure. The composition of $\bar{\Phi}$ with the canonical projection onto the projective sphere bundle $\mathbb{S}T\mathcal{O}:=\left(T\mathcal{O}\setminus\{0\}\right)/\mathbb{R}^{+}$ will be denoted by $\tilde{\Phi}$. Note that $\tilde{\Phi}$ is an immersion, thus a local diffeomorphism and by compactness of $\Sigma/\Gamma$ and connectedness of $\mathbb{S}T\mathcal{O}$ a covering map. Since by [24, Lemma 3.1] both $\Sigma/\Gamma$ and $\mathbb{S}T\mathcal{O}$ have fundamental group of order $2p$, it follows that $\tilde{\Phi}$ is a diffeomorphism. Therefore, $\bar{\Phi}$ is an embedding which sends $\Sigma/\Gamma$ to the total space of the unit tangent bundle $\pi:S\mathcal{O}\to\mathcal{O}$ of $g$. Abusing notation, we also write $\chi,\eta,\nu\in\Omega^{1}(S\mathcal{O})$ to denote the pushforward with respect to $\bar{\Phi}$ of the Cartan coframe on $\Sigma/\Gamma$ . Also we let $\alpha,\beta,\zeta\in\Omega^{1}(S\mathcal{O})$ denote the canonical coframe of $S\mathcal{O}$ with respect to the orientation induced by $d\sigma_{g}$. More precisely, the pullback of $g$ to $S\mathcal{O}$ is $\alpha\otimes\alpha+\beta\otimes\beta$ and $\zeta$ denotes the Levi-Civita connection form. By construction, the map $\Phi$ sends lifts of $\Sigma$ geodesics onto the fibres of the projection $\pi:S\mathcal{O}\to\mathcal{O}$. Moreover, for $v\in\Sigma$ the projection $(\pi\circ\Phi)^{*}V(v)$ to $T_{(\pi\circ\Phi)(v)}\mathcal{O}$, i.e. the horizontal component of $\Phi^{*}V(v)$, is parallel to $\Phi(v)$ and so the vertical vector field $V$ on $\Sigma$ is mapped into the contact distribution defined by the kernel of $\beta$. Therefore, we see that $\beta$ and $\eta$ are linearly dependent and that $\nu(\Phi^{*}V),\alpha(\Phi^{*}V)<0$. However, since both $(\alpha,\beta)$ and $(\nu,\eta)$ are oriented orthonormal coframes for $g$, it follows that $\beta=-\eta$ and $\alpha=-\nu$. The structure equations for the coframing $(\alpha,\beta,\zeta)$ imply

[TABLE]

and

[TABLE]

where again we abuse notation by also writing $I$ and $J$ for the pushforward of the functions $I$ and $J$ with respect to $\bar{\Phi}$. It follows that the Levi-Civita connection form $\zeta$ of $g$ satisfies

[TABLE]

Recall that $\pi:S\mathcal{O}\to\mathcal{O}$ denotes the basepoint projection. Comparing with Lemma 2.7 we want to argue that there exists a unique $1$-form $\theta$ on $\mathcal{O}$ so that $\pi^{*}(\star_{g}\theta)=-(J\alpha+I\beta)$. Since $J\alpha+I\beta$ is semibasic for the projection $\pi$, it is sufficient to show that $J\alpha+I\beta$ is invariant under the $\mathrm{SO}(2)$ right action generated by the vector field $Z$, where $(A,B,Z)$ denote the vector fields dual to $(\alpha,\beta,\zeta)$. Denoting by $(X,H,V)$ the vector fields dual to $(\chi,\eta,\nu)$ on $S\mathcal{O}$, the identities

[TABLE]

imply $Z=-X$. Now observe the Bianchi identity

[TABLE]

so that $XI=J$. Likewise we obtain

[TABLE]

so that $XJ=-I$. From this we compute

[TABLE]

so that $-(J\alpha+I\beta)=\pi^{*}(\star_{g}\theta)$ for some unique $1$-form $\theta$ on $\mathcal{O}$ as desired. We obtain a Weyl structure defined by the pair $(g,\theta)$. Since

[TABLE]

we see that $K_{g}-\delta_{g}\theta=1$. Therefore $(g,\theta)$ is the natural gauge for the positive Weyl structure $[(g,\theta)]$. Finally, by construction, the Weyl structure $[(g,\theta)]$ is Besse.

Conversely, let $\mathcal{O}=S^{2}(a_{1},a_{2})$ be a spindle orbifold as in $(2)$ with a positive Besse–Weyl structure $[(g,\theta)]$. Let $(g,\theta)$ be the natural gauge of $[(g,\theta)]$ and let $\pi:S\mathcal{O}\to\mathcal{O}$ denote the unit tangent bundle with respect to $g$. By [24, Lemma 3.1] the unit-tangent bundle $S\mathcal{O}$ is a lens space of type $L(a_{1}+a_{2},1)$. The canonical coframe on $S\mathcal{O}$ as explained in Example 2.3 will be denoted by $(\alpha,\beta,\zeta)$. By Lemma 2.7 the $1$-forms $\chi,\eta,\nu$ on $S\mathcal{O}$ given by

[TABLE]

define a generalized Finsler structure on $S\mathcal{O}$ of constant Finsler–Gauss curvature $K=1$, i.e. they satisfy the structure equations

[TABLE]

for some smooth functions $I,J:S\mathcal{O}\to\mathbb{R}$. Moreover they parallelise $S\mathcal{O}$ and have the property that the leaves of the foliation $\mathcal{F}_{g}:=\left\{\chi,\eta\right\}^{\perp}$ are tangential lifts of maximal oriented geodesics of the Weyl connection ${}^{(g,\theta)}\nabla$ on $\mathcal{O}$. Since this connection is Besse by assumption, all of these leaves are circles. It follows from a theorem by Epstein [15] that the leaves are the orbits of a smooth, almost free $S^{1}$-action. Since $a_{1}+a_{2}$ is odd, $S\mathcal{O}$ admits a normal covering by a space $M\cong L(2,1)\cong\mathbb{RP}^{3}$ with deck transformation group $\bar{\Gamma}$ isomorphic to $\mathbb{Z}_{(a_{1}+a_{2})/2}$. The lifts of $\chi,\eta,\nu$ to $M$, which we denote by the same symbols, define a generalized Finsler structure on $M$ of constant Finsler–Gauss curvature 1. Moreover, the $S^{1}$-action on $S\mathcal{O}$ lifts to a smooth, almost free $S^{1}$-action on $M$ whose orbits are again the leaves of the foliation $\left\{\chi,\eta\right\}^{\perp}$. The leaves of the foliation $\mathcal{F}_{t}:=\left\{\eta,\nu\right\}^{\perp}$ correspond to (the lifts of) the fibres of the projection $S\mathcal{O}\rightarrow\mathcal{O}$ (to $M$) and are in particular also all circles. We can cover the space $M$ further by $S^{3}$ and lift the $S^{1}$-action and the foliations $\mathcal{F}_{g}$ and $\mathcal{F}_{t}$ to $S^{3}$. By the classification of Seifert fibrations of lens spaces quotienting out the foliations $\mathcal{F}_{t}$ and $\mathcal{F}_{g}$ of $S\mathcal{O}$, $M$ and $S^{3}$ yields a diagram of maps as follows (cf. Section 2.1 and e.g. [18])

[TABLE]

with $a|\gcd(a_{1},a_{2})=c\in\{1,2\}$, $\gcd(k_{1},k_{2})=1$, $k^{\prime}|2$ and $k||\Gamma|=(a_{1}+a_{2})/2$. Here the horizontal maps are smooth orbifold submersions, and the vertical maps are coverings (of manifolds in the middle and of orbifolds on the left and the right). Moreover, the deck transformation groups in the middle descend to deck transformation groups of the orbifold coverings. We claim that $a=1$. To prove this we can assume that $c=2$. In this case the co-prime numbers $a_{1}/c$ and $a_{2}/c$ have different parity by our assumption that $c^{3}|a_{1}a_{2}$. Since $a_{1}/a+a_{2}/a$ has to be even by Lemma 2.1, it follows that $a=1$ as claimed.

The involution

[TABLE]

maps fibres of $\mathcal{F}_{g}$ and $\mathcal{F}_{t}$ to fibres of $\mathcal{F}_{g}$ and $\mathcal{F}_{t}$, respectively, and descends to a smooth orbifold involution $i$ of $\mathcal{O}_{g}$. We claim that the same argument as in [24] shows that $i$ does not fix the singular points on $\mathcal{O}_{g}$. Here we only sketch the ideas and refer to [24] for the details: If $a_{1}$ and $a_{2}$ are odd then $i$ acts freely on $\mathcal{O}_{g}$, and in this case nothing more has to be said. On the other hand, if $a_{1}$ and $a_{2}$ are even, then any geodesic that runs into a singular point is fixed by the action of $i$ on $\mathcal{O}_{g}$. In this case one first has to show that the lift $\tilde{i}:\tilde{M}\rightarrow\tilde{M}$ of $i$ to the universal covering of $S\mathcal{O}$ commutes with the deck transformation group $\Gamma$ of the covering $\tilde{M}\rightarrow S\mathcal{O}$. This can be shown based on the observation that a fibre of $\mathcal{F}_{t}$ on $S^{3}$ over the singular point of $\mathcal{O}$, together with its orientation, is preserved by both $\Gamma$ and $\tilde{i}$ (see [24, Lemma 3.4] for the details). Now, if $a_{1}$ and $a_{2}$ are both even and a singular point on $\mathcal{O}_{g}$ is fixed by $i$, then there also exists a fibre of $\mathcal{F}_{g}$ on $S^{3}$ which is invariant under both $\Gamma$ and $\tilde{i}$. However, in this case only $\Gamma$ preserves the orientation of this fibre, whereas $\tilde{i}$ reverses its orientation. This leads to a contradiction to the facts that $|\Gamma|=a_{1}+a_{2}>2$ and that $\Gamma$ commutes with $\tilde{i}$ (see [24, Lemma 3.5] for the details).

Since $i$ preserves the orbifold structure of $\Gamma_{g}$ and does not fix its singular points, it has to interchange the singular points. In particular, this implies that $kk_{1}=kk_{2}$, and hence $k_{1}=k_{2}=1$. Therefore the foliation $\mathcal{F}$ on $S^{3}$ is the Hopf-fibration and we must have $k^{\prime}=1$ by Lemma 2.1. In other words, $\bar{\mathcal{O}}_{g}$ is a smooth $2$-sphere without singular points and $\tau:M\to\bar{\mathcal{O}}_{g}=S^{2}$ is a smooth submersion. Consider the map

[TABLE]

Then by [9, Proposition 1] $\Phi$ immerses each $\tau$-fibre $\tau^{-1}(x)$ as a curve in $T_{x}S^{2}$ that is strictly convex towards $0_{x}$. The number of times $\Phi(\tau^{-1}(x))$ winds around $0_{x}$ does not depend on $x$. Since both $M$ and $\mathbb{S}TS^{2}$ are diffeomorphic to $L(2,1)$, the same argument as above proves that $\Phi$ is one-to-one, and so this number is one. Therefore, by  [9, Proposition 2] $\Phi(M)$ is a Finsler structure on $S^{2}$. Moreover, $S^{2}$ can be oriented in such a way that the $\Phi$-pullback of the canonical coframing induced on $\Phi(M)$ agrees with $(\chi,\eta,\nu)$. In particular, this implies that the Finsler structure satisfies $K=1$ and has periodic geodesic flow. Moreover, because of $a=1$ we have $\bar{\mathcal{O}}=\mathcal{O}$ and therefore the preimages of the leaves of $\mathcal{F}_{t}$ under the covering $M\rightarrow S\mathcal{O}$ are connected. Since the covering $M\rightarrow S\mathcal{O}$ is $(a_{1}+a_{2})/2$-fold, so is its restriction to the fibres of $\mathcal{F}_{t}$. Therefore, $p:=(a_{1}+a_{2})/2$ is the minimal number for which the geodesic flow of the Finsler structure on $S^{2}$ is $2\pi p$-periodic. The structure of $\bar{\mathcal{O}}$ implies that all closed geodesics of $S^{2}$ have length $2\pi p$ except at most two exceptions, which are $q:=a_{1}$ and $2q-p=a_{2}$ times shorter than the regular geodesics. In particular, the shortest geodesic has length $2\pi p/q=2\pi\frac{a_{1}+a_{2}}{2a_{1}}$ as claimed.

Finally, going through the proof shows that an isometry between two Finsler metrics as in the statement of Theorem induces a diffeomorphism between the corresponding spindle orbifolds that pulls back the two natural gauges onto each other, and vice versa. Hence, since such a pullback of a natural gauge is a natural gauge, the last statement of the Theorem follows from uniqueness of the natural gauge of a given Besse–Weyl structure. ∎

4. Construction of Examples

In this section we exhibit our duality result to construct a $2$-dimensional family of deformations of a given rotationally symmetric Finsler metric on $S^{2}$ of constant curvature and all geodesics closed through metrics with the same properties. On the Besse-Weyl side these deformations correspond to deformations through Besse-Weyl structures in a fixed projective equivalence class.

4.1. The twistor space

Inspired by the twistorial construction of holomorphic projective structures by Hitchin [19] and LeBrun [26], it was shown in [14, 35] how to construct a “twistor space” for smooth projective structures. Here we restrict our description to the case of an oriented surface $M$. Let $\mathsf{J}_{+}(M)\to M$ denote the fibre bundle whose fibre at $x\in M$ consists of the orientation compatible linear complex structures on $T_{x}M$. By definition, the sections of $\mathsf{J}_{+}(M)\to M$ are in bijective correspondence with the (almost) complex structures on $M$ that induce the given orientation.

The choice of a torsion-free connection $\nabla$ on $TM$ allows to define an integrable almost complex structure on $\mathsf{J}_{+}(M)$ which depends only on the projective equivalence class $[\nabla]$ of $\nabla$. The projective equivalence class $[\nabla]$ of $\nabla$ consists of all torsion-free connections on $TM$ having the same unparametrised geodesics as $\nabla$. We refer to the resulting complex surface $\mathsf{J}_{+}(M)$ as the twistor space of $(M,[\nabla])$. In [31], it is shown that a Weyl connection in the projective equivalence class $[\nabla]$ corresponds to a section of $\mathsf{J}_{+}(M)\to M$ whose image is a holomorphic curve. In the case of the $2$-sphere $S^{2}$ equipped with the projective structure arising from the Levi-Civita connection of the standard metric – or equivalently, $\mathbb{CP}^{1}$ equipped with the projective structure arising from the Levi-Civita connection of the Fubini–Study metric – the twistor space $\mathsf{J}_{+}(S^{2})$ is biholomorphic to $\mathbb{CP}^{2}\setminus\mathbb{RP}^{2}$. Here we think of $\mathbb{RP}^{2}$ as sitting inside $\mathbb{CP}^{2}$ via its standard real linear embedding. As a consequence, one can show that the Weyl connections on $S^{2}$ whose geodesics are the great circles are in one-to-one correspondence with the smooth quadrics in $\mathbb{CP}^{2}\setminus\mathbb{RP}^{2}$, see [31]. Using our duality result, this recovers on the Finsler side Bryant’s classification of Finsler structures on $S^{2}$ of constant curvature $K=1$ and with linear geodesics [9].

The construction of the twistor space can still be carried out for the case of a projective structure $[\nabla]$ on an oriented orbifold $\mathcal{O}$. Again, sections of $\mathsf{J}_{+}(\mathcal{O})\to\mathcal{O}$ having holomorphic image correspond to Weyl connections in $[\nabla]$. Since the spindle orbifold $S^{2}(a_{1},a_{2})$ may also be thought of as the weighted projective line $\mathbb{CP}(a_{1},a_{2})$ with weights $(a_{1},a_{2})$ (see Section 4.2), one would expect that $\mathsf{J}_{+}(\mathbb{CP}(a_{1},a_{2}))$ can be embedded holomorphically into the weighted projective plane, where we equip $\mathbb{CP}(a_{1},a_{2})$ with the projective structure arising from the Levi-Civita connection of the Fubini–Study metric. This is indeed the case as we will show in Section 4.4. However, a difficulty that arises is that there is more than one natural candidate for the Fubini–Study metric on $\mathbb{CP}(a_{1},a_{2})$. We will next identify the correct metric for our purposes.

4.2. The Fubini–Study metric on the weighted projective line

The (complex) weighted projective space is the quotient of $\mathbb{C}^{n}\setminus\{0\}$ by $\mathbb{C}^{*}$, where $\mathbb{C}^{*}$ acts with weights $(a_{1},\ldots,a_{n})\in\mathbb{N}^{n}$, that is, by the rule

[TABLE]

for all $z\in\mathbb{C}^{*}$ and $(z_{1},\ldots,z_{n})\in\mathbb{C}^{n}\setminus\{0\}$. It inherits a natural quotient complex structure from $\mathbb{C}^{n}$. We denote the projective space with weights $(a_{1},\ldots,a_{n})$ by $\mathbb{CP}(a_{1},\ldots,a_{n})$. Clearly, taking all weights equal to one gives ordinary projective space and for $n=2$ with weights $(a_{1},a_{2})$ we obtain the spindle orbifold $S^{2}(a_{1},a_{2})$. To omit case differentations we will henceforth restrict to the case where the pair $(a_{1},a_{2})$ is co-prime with $a_{1}\geqslant a_{2}$ and both numbers odd.

For what follows we would like to have an explicit Besse orbifold metric on $\mathbb{CP}(a_{1},a_{2})$ which induces the quotient complex structure of $\mathbb{CP}(a_{1},a_{2})$. The quotient Besse orbifold metric on $S^{2}(a_{1},a_{2})$ described in Section 2.1 satisfies this condition if and only if $a_{1}=a_{2}$. Abstractly, the existence of such a metric follows from the uniformisation theorem for orbifolds [40] (see also [17, Theorem 7.8.]). In fact, since the biholomorphism group of $\mathbb{CP}(a_{1},a_{2})$ for $(a_{1},a_{2})\neq(1,1)$ contains a unique subgroup isomorphic to $S^{1}$, it even follows that such a metric can be chosen to be rotationally symmetric. We are now going to describe an orbifold metric with these properties which, in addition, will have strictly positive Gauss curvature. For this purpose it is convenient to describe the weighted projective line $\mathbb{CP}(a_{1},a_{2})$ as a quotient of $\mathrm{SU}(2)$. In particular, we will identify $\mathrm{SU}(2)$ as an $(a_{1}+a_{2})$-fold cover of the unit tangent bundle of $\mathbb{CP}(a_{1},a_{2})$.

We consider

[TABLE]

and think of $\mathrm{U}(1)$ as the subgroup consisting of matrices of the form

[TABLE]

for $\vartheta\in\mathbb{R}$. Consider the smooth $S^{1}$-action

[TABLE]

for $\vartheta\in\mathbb{R}$ and where $L_{g}$ and $R_{g}$ denote left – and right multiplication by the group element $g\in\mathrm{SU}(2)$. Explicitly, we have

[TABLE]

and hence the corresponding quotient can be identified with the weighted projective line $\mathbb{CP}(a_{1},a_{2})$.

Recall that the Maurer–Cartan form $\varrho$ is defined as $\varrho_{g}(v):=\left(L_{g^{-1}}\right)^{\prime}_{g}(v)$ where $v\in T_{g}\mathrm{SU}(2)$. Writing the Maurer–Cartan form $\varrho$ of $\mathrm{SU}(2)$ as

[TABLE]

for a real-valued $1$-form $\kappa$ and a complex-valued $1$-form $\varphi$ on $\mathrm{SU}(2)$, the structure equation $\mathrm{d}\varrho+\varrho\wedge\varrho=0$ is equivalent to

[TABLE]

Since

[TABLE]

we also obtain

[TABLE]

as well as

[TABLE]

In order to compute a basis for the $1$-forms that are semi-basic for the projection $\pi_{a_{1},a_{2}}:\mathrm{SU}(2)\to\mathbb{CP}(a_{1},a_{2})$, we evaluate the Maurer–Cartan form on the infinitesimal generator $Z:=\left.\frac{\mathrm{d}}{\mathrm{d}t}\right|_{t=0}T_{\mathrm{e}^{\mathrm{i}t}}$ of the $S^{1}$-action. We obtain

[TABLE]

so that $\kappa(Z)=\mathscr{U}$ and $\varphi(Z)=\mathscr{V}$, where

[TABLE]

Consequently, we see that the complex-valued $1$-form

[TABLE]

satisfies $\omega(Z)=0$ and hence – by definition – is semibasic for the projection $\pi_{a_{1},a_{2}}:\mathrm{SU}(2)\to\mathbb{CP}(a_{1},a_{2})$. Because of the left-invariance of $\varrho$ we have $T_{\mathrm{e}^{\mathrm{i}\vartheta}}^{*}\varrho=(R_{\mathrm{e}^{\mathrm{i}(a_{1}+a_{2})\vartheta/2}})^{*}\varrho$ and hence

[TABLE]

where we have used the equivariance property $R_{g}^{*}\varrho=g^{-1}\varrho g$ which holds for all $g\in\mathrm{SU}(2)$. Since $(T_{\mathrm{e}^{\mathrm{i}\vartheta}})^{*}\mathscr{U}=\mathscr{U}$ and $(T_{\mathrm{e}^{\mathrm{i}\vartheta}})^{*}\mathscr{V}=\mathrm{e}^{-\mathrm{i}(a_{1}+a_{2})\vartheta}\mathscr{V}$, we obtain

[TABLE]

where

[TABLE]

Infinitesimally we obtain

[TABLE]

with $K_{g}=2(a_{1}+a_{2})/\mathscr{U}^{3}$. For later usage we also record the identities

[TABLE]

Observe that if we write $\omega=\alpha+\mathrm{i}\beta$ for real-valued $1$-forms $\alpha,\beta$ on $\mathrm{SU}(2)$, then we obtain the structure equations

[TABLE]

Now since $(a_{1},a_{2})$ are co-prime, the cyclic group $\mathbb{Z}_{a_{1}+a_{2}}\subset S^{1}$ of order $a_{1}+a_{2}$ acts freely on $\mathrm{SU}(2)$. Therefore, the quotient $\mathrm{SU}(2)/\mathbb{Z}_{a_{1}+a_{2}}$ is a smooth manifold equipped with a smooth action of $S^{1}/\mathbb{Z}_{a_{1}+a_{2}}\simeq S^{1}$ which we denote by $\underline{T}_{\mathrm{e}^{\mathrm{i}\vartheta}}$. Writing $\upsilon:\mathrm{SU}(2)\to\mathrm{SU}(2)/\mathbb{Z}_{a_{1}+a_{2}}$ for the quotient projection, we have the equivariance property

[TABLE]

for all $\mathrm{e}^{\mathrm{i}\vartheta}\in S^{1}$. Denoting the infinitesimal generator of the $S^{1}$ action $\underline{T}_{\mathrm{e}^{\mathrm{i}\vartheta}}$ by $\underline{Z}$ we thus obtain

[TABLE]

Likewise, denoting the framing of $\mathrm{SU}(2)$ that is dual to $(\alpha,\beta,\zeta)$ by $(A,B,Z)$, the equivariance properties (4.4),(4.5) imply that we obtain unique well defined vector fields $\underline{A},\underline{B}$ on $\mathrm{SU}(2)/\mathbb{Z}_{a_{1}+a_{2}}$ so that

[TABLE]

In particular, the structure equations for $(\alpha,\beta,\zeta)$ imply the commutator relation

[TABLE]

where, by abuse of notation, we here think of $K_{g}$ as a function on the quotient $\mathrm{SU}(2)/\mathbb{Z}_{a_{1}+a_{2}}$. These commutator relations in turn imply that the coframing $(\underline{\alpha},\underline{\beta},\underline{\zeta})$ of $\mathrm{SU}(2)/\mathbb{Z}_{a_{1}+a_{2}}$ that is dual to $(\underline{A},\underline{B},\underline{Z})$ defines a generalized Finsler structure of Riemannian type.

Exactly as in the proof of A it follows that there exists a unique orientation and orbifold metric $g$ on $\mathbb{CP}(a_{1},a_{2})$, so that $\pi^{*}g=\underline{\alpha}\otimes\underline{\alpha}+\underline{\beta}\otimes\underline{\beta}$ and so that the area form of $g$ satisfies $\pi^{*}d\sigma_{g}=\underline{\alpha}\wedge\underline{\beta}$. Here $\pi:\mathrm{SU}(2)/\mathbb{Z}_{a_{1}+a_{2}}\to\mathbb{CP}(a_{1},a_{2})$ denotes the quotient projection with respect to the $S^{1}$ action $\underline{T}_{\mathrm{e}^{\mathrm{i}\vartheta}}$. Moreover, the map

[TABLE]

is a diffeomorphism onto the unit tangent bundle $S\mathbb{CP}(a_{1},a_{2})$ of $g$ which has the property that the pullback of the canonical coframing on $S\mathbb{CP}(a_{1},a_{2})$ yields $(\underline{\alpha},\underline{\beta},\underline{\zeta})$. Thus, we will henceforth identify the unit tangent bundle $S\mathbb{CP}(a_{1},a_{2})$ of $(\mathbb{CP}(a_{1},a_{2}),g)$ with $\mathrm{SU}(2)/\mathbb{Z}_{a_{1}+a_{2}}$.

We will next show that $g$ is a Besse orbifold metric. For an element $y$ in the Lie algebra $\mathfrak{su}(2)$ of $\mathrm{SU}(2)$ we let $Y_{y}$ denote the vector field on $\mathrm{SU}(2)$ generated by the flow $R_{\exp(ty)}$. Recall that the Maurer–Cartan form $\varrho$ satisfies $\varrho(Y_{y})=y$ for all $y\in\mathfrak{su}(2)$. It follows that the basis

[TABLE]

of $\mathfrak{su}(2)$ yields a framing $(Y_{e_{1}},Y_{e_{2}},Y_{e_{3}})$ of $\mathrm{SU}(2)$ which is dual to the coframing $(\mathrm{Re}(\varphi),\mathrm{Im}(\varphi),\kappa)$. Therefore, using (4.3), (4.6) and the definition of $\alpha,\beta$, we obtain $A=Y_{e_{1}}/\mathscr{U}$. The flow of $Y_{e_{1}}$ is given by $R_{\exp(te_{1})}$ and hence periodic with period $2\pi$. Recall that the geodesic flow of the metric $g$ on $\mathbb{CP}(a_{1},a_{2})$ is $\underline{A}$. Thinking of $\mathscr{U}$ as a function on $S\mathbb{CP}(a_{1},a_{2})$, we have

[TABLE]

and hence $g$ is a Besse orbifold metric.

In complex notation, we have $(\pi_{a_{1},a_{2}})^{*}g=\omega\circ\overline{\omega}$, where $\circ$ denotes the symmetric tensor product and $\omega=\alpha+\mathrm{i}\beta$. The complex structure on $\mathbb{CP}(a_{1},a_{2})$ defined by $g$ and the orientation is thus characterized by the property that its $(1,\!0)$-forms pull-back to $\mathrm{SU}(2)$ to become complex multiples of $\omega$. In particular, this complex structure coincides with the natural quotient complex structure of $\mathbb{CP}(a_{1},a_{2})$ since $\omega$ is a linear combination of $\mathrm{d}z$ and $\mathrm{d}w$, see (4.2).

Finally, observe that $K_{g}$ is strictly positive. We have thus shown:

Lemma 4.1**.**

There exists a Besse orbifold metric $g$ and orientation on $\mathbb{CP}(a_{1},a_{2})$ so that $(\pi_{a_{1},a_{2}})^{*}g=\alpha\otimes\alpha+\beta\otimes\beta$ and so that $(\pi_{a_{1},a_{2}})^{*}d\sigma_{g}=\alpha\wedge\beta$. This metric and orientation induce the quotient complex structure of $\mathbb{CP}(a_{1},a_{2})$. Moreover, $g$ has strictly positive Gauss curvature $K_{g}=2(a_{1}+a_{2})/(a_{1}|z|^{2}+a_{2}|w|^{2})^{3}$.

Remark 4.2*.*

The reader may easily verify that in the case $a_{1}=a_{2}=1$ we recover the usual Fubini–Study metric on $\mathbb{CP}^{1}$. For this reason we refer to $g$ as the Fubini–Study metric of $\mathbb{CP}(a_{1},a_{2})$.

4.3. Constructing the twistor space

We will next construct the twistor space $\mathsf{J}_{+}(\mathcal{O})$ in the case of the weighted projective line $\mathbb{CP}(a_{1},a_{2})$ and where $[\nabla]$ is the projective equivalence class of the Levi-Civita connection of the Fubini–Study metric on $\mathbb{CP}(a_{1},a_{2})$ constructed in Lemma 4.1. As we will see, in this special case the twistor space $\mathsf{J}_{+}(\mathbb{CP}(a_{1},a_{2}))$ can indeed be embedded into the weighted projective plane $\mathbb{CP}(a_{1},(a_{1}+a_{2})/2,a_{2})$. We will henceforth also write $\mathsf{J}_{+}$ for the twistor space, whenever the underlying orbifold is clear from the context.

In the case of a Riemann surface $(M,J)$ the orientation inducing complex structures on $M$ are in one-to-one correspondence with the Beltrami differentials on $(M,J)$. A Beltrami differential $\mu$ on $M$ is a section of $B=K_{M}^{-1}\otimes\overline{K_{M}}$, where $K_{M}=(T^{*}_{\mathbb{C}}M)^{1,0}$ denotes the canonical bundle of $(M,J)$ with inverse $K_{M}^{-1}$ and where $\overline{K_{M}}$ denotes its complex conjugate bundle. The line bundle $B$ carries a natural Hermitian bundle metric $h$ and Beltrami differentials are precisely those sections which satisfy the condition $h(\mu,\mu)<1$ at each point of $M$. This identifies $\mathsf{J}_{+}(M)$ with the open unit disk bundle in $B$. We refer the reader to [20] for additional details.

In the case of the orbifold $\mathbb{CP}(a_{1},a_{2})$, the orbifold canonical bundle with respect to the Riemann surface structure induced by the orientation and the Fubini–Study metric $g$ described in Lemma 4.1, can be defined as a suitable quotient of $\mathrm{SU}(2)\times\mathbb{C}$.

Recall that the metric $g$ on $\mathbb{CP}(a_{1},a_{2})$ satisfies $(\pi_{a_{1},a_{2}})^{*}g=\omega\circ\overline{\omega}$ and $(\pi_{a_{1},a_{2}})^{*}d\sigma_{g}=\frac{\mathrm{i}}{2}\omega\wedge\overline{\omega}$, where $\omega=\alpha+\mathrm{i}\beta$. In particular, the complex structure on $\mathbb{CP}(a_{1},a_{2})$ induced by $g$ and the orientation has the property that its $(1,\!0)$-forms pull-back to $\mathrm{SU}(2)$ to become complex multiples of $\omega$.

Moreover, recall that from (4.4) that we have $(T_{\mathrm{e}^{\mathrm{i}\vartheta}})^{*}\omega=\mathrm{e}^{-\mathrm{i}(a_{1}+a_{2})\vartheta}\omega$. We thus define

[TABLE]

where $S^{1}$ acts on $\mathrm{SU}(2)$ by (4.1) and on $\mathbb{C}$ with spin $(a_{1}+a_{2})$, that is, by the rule

[TABLE]

Likewise, $K^{-1}_{\mathbb{CP}(a_{1},a_{2})}$ arises from acting with spin $-(a_{1}+a_{2})$ and $\overline{K_{\mathbb{CP}(a_{1},a_{2})}}$ arises from the complex conjugate of the spin $(a_{1}+a_{2})$ action, that is, also from the action with spin $-(a_{1}+a_{2})$. Therefore, we obtain $B=\mathrm{SU}(2)\times_{S^{1}}\mathbb{C}$, where now $S^{1}$ acts with spin $-2(a_{1}+a_{2})$ on $\mathbb{C}$. The Hermitian bundle metric $h$ on $B$ arises from the usual Hermitian inner product on $\mathbb{C}$ and hence we obtain

[TABLE]

where $\mathbb{D}\subset\mathbb{C}$ denotes the open unit disk and $S^{1}$ acts with spin $-2(a_{1}+a_{2})$ on $\mathbb{D}$.

We now define an almost complex structure $\mathfrak{J}$ on $\mathsf{J}_{+}(\mathbb{CP}(a_{1},a_{2}))$. On $\mathrm{SU}(2)\times\mathbb{D}$ we consider the complex-valued $1$-forms

[TABLE]

where $\mu$ denotes the standard coordinate on $\mathbb{D}$. Abusing notation and writing $T_{\mathrm{e}^{\mathrm{i}\varphi}}$ for the combined $S^{1}$-action on $\mathrm{SU}(2)\times\mathbb{D}$, we obtain

[TABLE]

Furthermore, by construction, the forms $\xi_{1}$ and $\xi_{2}$ are semi-basic for the projection $\mathrm{SU}(2)\times\mathbb{D}\to\mathsf{J}_{+}(\mathbb{CP}(a_{1},a_{2}))$. It follows that there exists a unique almost complex structure $\mathfrak{J}$ on $\mathsf{J}_{+}(\mathbb{CP}(a_{1},a_{2}))$ whose $(1,\!0)$-forms pull-back to $\mathrm{SU}(2)\times\mathbb{D}$ to become linear combinations of $\xi_{1}$ and $\xi_{2}$. Finally, in [34, §4.2] it is shown that the so constructed almost complex structure agrees with the complex structure on the twistor space associated to $(\mathbb{CP}(p,q),[{}^{g}\nabla])$ where ${}^{g}\nabla$ denotes the Levi-Civita connection of $g$.

Remark 4.3*.*

More precisely, in [34, §4.2] only the case of smooth surfaces is considered, but the construction carries over to the orbifold setting without difficulty.

4.4. Embedding the twistor space

Recall that the twistor space of the $2$-sphere $\mathsf{J}_{+}(S^{2})$ equipped with the complex structure coming from the projective structure of the standard metric maps biholomorphically onto $\mathbb{CP}^{2}\setminus\mathbb{RP}^{2}$. The map arises as follows. Consider $S^{2}$ as the unit sphere in $\mathbb{R}^{3}$ and identify the tangent space $T_{e}S^{2}$ to an element $e\in S^{2}$ with the orthogonal complement $\{e\}^{\perp}\subset\mathbb{R}^{3}$. Then an orientation compatible complex structure $J$ on $T_{e}S^{2}$ is mapped to the element $[v+iJv]\in\mathbb{CP}^{2}\setminus\mathbb{RP}^{2}$ where $v\in T_{e}S^{2}$ is any non-zero tangent vector. With respect to our present model of $\mathsf{J}_{+}(S^{2})$ as an associated bundle this map takes the following explicit form

[TABLE]

after applying a linear coordinate change (see Appendix A). In this new coordinate system the real projective space $\mathbb{RP}^{2}$ sits inside $\mathbb{CP}^{2}$ as the image of the unit sphere in $\mathbb{C}\times\mathbb{R}$ under the map $j=\pi\circ\hat{j}:\mathbb{C}\times\mathbb{R}\rightarrow\mathbb{CP}^{2}$ where $j:\mathbb{C}\times\mathbb{R}\rightarrow\mathbb{C}^{3}$ is defined as $j(z,t)=(z,it,\overline{z})$ and where $\pi:\mathbb{C}^{3}\backslash\{0\}\rightarrow\mathbb{CP}^{2}$ is the quotient projection. Note that for $\mu=0$ the map $\Xi$ restricts to the Veronese embedding of $\mathbb{CP}^{1}$ into $\mathbb{CP}^{2}$.

We observe that in the weighted case the very same map $\Xi$ also defines a smooth map of orbifolds. In fact, we are going to show the following statement in a sequence of lemmas.

Proposition 4.4**.**

The map

[TABLE]

defined by

[TABLE]

is a biholomorphism onto $\mathbb{C}\mathbb{P}(a_{1},(a_{1}+a_{2})/2,a_{2})\backslash j(S^{2})$ where $j=\pi\circ\hat{j}$ as above. Moreover, $j(S^{2})$ is a real projective plane $\mathbb{RP}^{2}((a_{1}+a_{2})/2)$ with a cyclic orbifold singularity of order $(a_{1}+a_{2})/2$.

Remark 4.5*.*

More precisely, by biholomorphism, we mean a diffeomorphism $\Xi$ which is holomorphic in the sense that it is $(\mathfrak{J},J_{0})$-linear. By this we mean that it satisfies $J_{0}\circ\Xi^{\prime}=\Xi^{\prime}\circ\mathfrak{J}$, where $\mathfrak{J}$ denotes the almost complex structure defined on $\mathsf{J}_{+}(\mathbb{CP}(a_{1},a_{2}))$ in Section 4.3 and $J_{0}$ the standard complex structure on the weighted projective space $\mathbb{CP}(a_{1},(a_{1}+a_{2})/2,a_{2})$.

In the following we also describe $\mathrm{SU}(2)\times_{S^{1}}\mathbb{D}$ as a quotient of $\mathbb{C}^{2}\backslash\{0\}\times\mathbb{C}$ by the respective weighted $\mathbb{C}^{*}$-action. Here $\lambda\in\mathbb{C}^{*}$ acts as $\lambda/|\lambda|$ on the second factor. Then the map $\Xi$ is covered by the $\mathbb{C}^{*}$-equivariant map

[TABLE]

Since we already know that the map $\Xi$ is an immersion in the unweighted case, and since the $\mathbb{C}^{*}$-actions on $\mathbb{C}^{2}\backslash\{0\}\times\mathbb{D}$ and on $\mathbb{C}^{3}\backslash\{0\}$ do not have fixed points, it follows that the map $\hat{\Xi}$, and hence also the map $\Xi$ in the weighted case, is an immersion as well. Alternatively, the same conclusion can be drawn from an explicit computation which shows that the determinant of the Jacobian of the map $\hat{\Xi}$ is given by $\mathrm{det}(J(z,w,\mu))=4(1-|\mu|^{2})(|z|^{2}+|w|^{2})^{4}$.

There are different ways to continue the proof of Proposition 4.4. For instance, one can show that the map $\Xi$ extends to a smooth orbifold immersion of a certain compactification of $\mathsf{J}_{+}$ onto $\mathbb{C}\mathbb{P}(a_{1},(a_{1}+a_{2})/2,a_{2})$ so that the complement of $\mathsf{J}_{+}$ is mapped onto $j(S^{2})$. Compactness and the fact that $\mathbb{C}\mathbb{P}(a_{1},(a_{1}+a_{2})/2,a_{2})$ is simply connected as an orbifold then imply that this map is a diffeomorphism. Since we do not need such a compactification otherwise at the moment, we instead prove the proposition by hand, which, in total, is less work. More precisely, we proceed by proving the following three lemmas.

Lemma 4.6**.**

The image of $\Xi:\mathsf{J}_{+}\rightarrow\mathbb{C}\mathbb{P}(a_{1},(a_{1}+a_{2})/2,a_{2})$ is disjoint from $j(S^{2})$.

Proof.

Suppose we have $[z:w:\mu]\in\mathsf{J}_{+}$ with $\Xi([z:w:\mu])\in j(S^{2})$. We can assume that $|z|^{2}+|w|^{2}=1$. Then there exists some $\lambda\in\mathbb{C}^{*}$ such that $\lambda^{2a_{1}}(z^{2}-\overline{w}^{2}\mu)=\overline{\lambda}^{2a_{2}}(\overline{w}^{2}-z^{2}\overline{\mu})$, $\lambda^{a_{1}+a_{2}}(zw+\overline{z}\overline{w}\mu)\in i\mathbb{R}$ and

[TABLE]

If $zw\neq 0$ the last two conditions imply that $|\mu|=1$, a contradiction. Let us assume that $z=0$. Then $w\neq 0$ and so the first condition implies that $-\lambda^{2a_{1}}\mu=\overline{\lambda}^{2a_{2}}$. Together with $1=-\lambda^{2(a_{1}+a_{2})}\mu$ this also implies $|\mu|=1$. The same conclusion follows analogously in the case $z\neq 0$. Hence, in any case we obtain a contradiction and so the lemma is proven. ∎

Lemma 4.7**.**

The map $\Xi:\mathsf{J}_{+}\rightarrow\mathbb{C}\mathbb{P}(a_{1},(a_{1}+a_{2})/2,a_{2})$ is injective.

Proof.

Suppose we have $[z:w:\mu],[z^{\prime}:w^{\prime}:\mu^{\prime}]\in\mathsf{J}_{+}$ with $\Xi([z:w:\mu])=\Xi([z^{\prime}:w^{\prime}:\mu^{\prime}])$. Again we can assume that $|z|^{2}+|w|^{2}=1$ and $|z^{\prime}|^{2}+|w^{\prime}|^{2}=1$. There exists some $\lambda\in\mathbb{C}^{*}$ such that

[TABLE]

Computing the expression $z_{2}^{2}-z_{1}z_{3}$ on both sides implies $\mu=\lambda^{2(a_{1}+a_{2})}\mu^{\prime}$. We set $z^{\prime\prime}=\lambda^{a_{1}}z^{\prime}$, $w^{\prime\prime}=\lambda^{a_{2}}w^{\prime}$, $\mu^{\prime\prime}=\mu=\lambda^{2(a_{1}+a_{2})}\mu^{\prime}$ and obtain

[TABLE]

Computing the expressions $z_{1}+\mu\overline{z}_{3}$ and $z_{3}+\mu\overline{z}_{1}$ on both sides yields

[TABLE]

Because of $|\mu|<1$ it follows that $z^{2}=\lambda^{2a_{1}}z^{\prime 2}$ and $w^{2}=\lambda^{2a_{2}}w^{\prime 2}$, and hence $z=\varepsilon_{z}\lambda^{a_{1}}z^{\prime}=\varepsilon_{z}z^{\prime\prime}$ and $w=\varepsilon_{w}\lambda^{a_{2}}w^{\prime}=\varepsilon_{w}w^{\prime\prime}$ for some $\varepsilon_{z},\varepsilon_{w}\in\{\pm 1\}$. Plugging this into the third component of equation (4.9) we get

[TABLE]

If $z\neq 0\neq w$ then the expression on the left hand side is non-trivial because of $|\mu|<1$, and then $\varepsilon_{z}$ and $\varepsilon_{w}$ have the same sign. In this case it follows, perhaps after replacing $\lambda$ by $-\lambda$, that $z=\lambda^{a_{1}}z^{\prime}$, $w=\lambda^{a_{2}}w^{\prime}$ and hence $[z:w:\mu]=[z^{\prime}:w^{\prime}:\mu^{\prime}]$. Otherwise we can draw the same conclusion, again perhaps after replacing $\lambda$ by $-\lambda$. ∎

Lemma 4.8**.**

The map $\Xi:\mathsf{J}_{+}\rightarrow\mathbb{C}\mathbb{P}(a_{1},(a_{1}+a_{2})/2,a_{2})-j(S^{2})$ is onto.

Proof.

Let $(z_{1},z_{2},z_{3})\in\mathbb{C}^{3}\backslash\{0\}$ which does not project to $j(S^{2})$. We set $\mu:=z_{2}^{2}-z_{1}z_{3}$. Replacing $(z_{1},z_{2},z_{3})$ by $\lambda(z_{1},z_{2},z_{3})$ for some $\lambda\in\mathbb{C}^{*}$ changes $\mu$ to $\lambda^{a_{1}+a_{2}}u$. We first want to show that there exists some $\lambda\in\mathbb{R}_{>0}$ so that after replacing $(z_{1},z_{2},z_{3})$ by $\lambda(z_{1},z_{2},z_{3})$ we have $\mu\in(-1,0]$ and

[TABLE]

To prove this we consider the cases $\mu=0$ and $\mu\neq 0$ separately.

Let us first assume that $\mu=0$. In this case we need to find some $\lambda\in(0,\infty)$ such that

[TABLE]

If $|z_{1}|+|z_{3}|>0$, this is possible by the intermediate value theorem. Otherwise we have $z_{1}=z_{3}=0$ and hence also $z_{2}=0$ (recall that $\mu=z_{2}^{2}-z_{1}z_{3}=0$), a contradiction.

In the case $\mu\neq 0$ we can also assume that $\mu=-1$. So we need to find $\lambda\in(0,1)$ such that

[TABLE]

By the intermediate value theorem this is possible if $\mathscr{F}(1)>0$. Otherwise we have $z_{1}=\overline{z_{3}}$ and $z_{2}^{2}=|z_{1}|^{2}-1$. In the case $|z_{1}|\leq 1$ this implies $z_{2}=it\in i\mathbb{R}$ and $|z_{1}|^{2}+t^{2}=|z_{1}|^{2}-z_{2}^{2}=1$ in contradiction to our assumption that $(z_{1},z_{2},z_{3})$ does not project to $j(S^{2})$. Therefore we can assume that $|z_{1}|>1$ and $z_{1}=\overline{z_{3}}$, in which case we have $\mathscr{F}(1)=\mathscr{G}(1)=0$. In order to find an appropriate $\lambda$ in this case it is sufficient to show that $\mathscr{F}^{\prime}(1)<\mathscr{G}^{\prime}(1)$. A computation shows that $\mathscr{G}^{\prime}(1)=-2(p+q)$ and $\mathscr{F}^{\prime}(1)=-|z_{1}|2(p+q)$. Hence in any case we can assume that $\mu\in[0,1)$ and that (4.10) holds.

Now we can choose $z,w\in\mathbb{C}$ such that $z^{2}(1-|\mu|^{2})=z_{1}+\overline{z}_{3}\mu$ and $w^{2}(1-|\mu|^{2})=z_{3}+\overline{z}_{1}\mu$. By construction we have $|z|^{2}+|w|^{2}=1$, and $z^{2}-\overline{w}^{2}\mu=z_{1}$ and $w^{2}-\overline{z}^{2}\mu=z_{3}$. Moreover, we see that

[TABLE]

Perhaps after using our freedom to change the sign of $z$ we obtain $(zw+\overline{z}\overline{w}\mu)=z_{2}$, and hence $\Xi([z:w:u])=[z_{1}:z_{2}:z_{3}]$ as desired. ∎

We have shown that $\Xi$ is a bijective immersion onto the complement of $j(S^{2})$ in $\mathbb{C}\mathbb{P}(a_{1},(a_{1}+a_{2})/2,a_{2})$. It follows from the local structure of such maps that the inverse is smooth as well. Hence, the map $\Xi$ is a diffeomorphism onto the complement of $j(S^{2})$.

In order to complete the proof of Proposition 4.4 it remains to verify that the map $\Xi$ is holomorphic. The map $\Xi$ is holomorphic if and only if it pulls back $(1,0)$-forms to $(1,0)$-forms. By definition the $(1,0)$-forms of $\mathsf{J}_{+}$ pull back to linear combinations of $\xi_{1}$ and $\xi_{2}$ on $\mathrm{SU}(2)\times\mathbb{D}$. On the other hand, the $(1,0)$-forms on $\mathbb{C}\mathbb{P}(a_{1},(a_{1}+a_{2})/2,a_{2})$ pull back to the $(1,0)$-forms on $\mathbb{C}^{3}\backslash\{0\}$ which vanish on the infinitesimal generator of the defining $\mathbb{C}^{*}$-action on $\mathbb{C}^{3}\backslash\{0\}$. The latter are linear combinations of the complex valued $1$-forms

[TABLE]

Hence, we need to show that $\Psi=\hat{\Xi}|_{\mathrm{SU}(2)\times\mathbb{D}}:\mathrm{SU}(2)\times\mathbb{D}\to\mathbb{C}^{3}\setminus\{0\}$ satisfies

[TABLE]

Recall the identities (4.7) and (4.8)

[TABLE]

Using these identities a tedious – but straightforward – calculation gives

[TABLE]

and

[TABLE]

thus (4.11) is satisfied and $\Xi$ is a biholomorphism. This finishes the proof of Proposition 4.4.

4.5. Projective transformations

Let $\mathcal{O}$ be an orbifold equipped with a torsion-free connection $\nabla$ on its tangent bundle. A projective transformation for $(\mathcal{O},\nabla)$ is a diffeomorphism $\Psi:\mathcal{O}\to\mathcal{O}$ which sends geodesics of $\nabla$ to geodesics of $\nabla$ up to parametrisation. In the case where $\mathcal{O}$ is a smooth manifold the group of projective transformations of $\nabla$ is known to be a Lie group (see for instance [23]). In our setting, the projective transformations of the Besse orbifold metric on $\mathbb{CP}(a_{1},a_{2})$ also form a Lie group, since the automorphisms of the associated generalized path geometry form a Lie group, see [21] for details. Moreover, a vector field is called projective if its (local) flow consists of projective transformations. Clearly, if $\nabla$ is a Levi-Civita connection for some Riemannian metric $g$, then every Killing vector field for $g$ is a projective vector field. The set of vector fields for $\nabla$ form a Lie algebra given by the solutions of a linear second order PDE system of finite type. In the case of two dimensions and writing a projective vector field as $W=W^{1}(x,y)\frac{\partial}{\partial x}+W^{2}(x,y)\frac{\partial}{\partial y}$ for local coordinates $(x,y):U\to\mathbb{R}^{2}$ and real-valued functions $W^{i}$ on $U$, the PDE system is [12]

[TABLE]

where

[TABLE]

and where $\Gamma^{i}_{jk}$ denote the Christoffel symbols of $\nabla$ with respect to $(x,y)$.

In order to show that the deformations we are going to construct in Section 4.6 are nontrivial, we need to know that the identity component of the group of projective transformations of $(\mathbb{CP}(a_{1},a_{2}),g)$ consists solely of isometries. Up to rescaling, any rotationally symmetric Besse metric on $\mathbb{CP}(a_{1},a_{2})$ is isometric to the metric completion of one of the following examples (see [24, Section 2.2] and [4, Thm. 4.13]): let $h:[-1,1]\rightarrow(-\frac{a_{1}+a_{2}}{2},\frac{a_{1}+a_{2}}{2})$ be a smooth, odd function with $h(1)=\frac{a_{1}-a_{2}}{2}=-h(-1)$ and let a Riemannian metric on $(0,\pi)\times([0,2\pi]/0\sim 2\pi)\ni(r,\phi)$ be defined by

[TABLE]

Our specific Besse orbifold metric $g$ on $\mathbb{CP}(a_{1},a_{2})$ takes the form $g_{h}/4$ with $h(x)=\frac{1}{2}(a_{1}-a_{2})x$ with respect to the parametrization

[TABLE]

where $(r,\phi)\in(0,\pi)\times([0,2\pi]/0\sim 2\pi)$.

Lemma 4.9**.**

In our setting where $a_{1}>a_{2}$ are co-prime and odd the identity component of the group of smooth projective transformations of a rotationally symmetric Besse metric on $\mathbb{CP}(a_{1},a_{2})$ consists only of isometries.

Proof.

Since $a_{1}>a_{2}\geqslant 1$ every projective transformation $\tau$ fixes the singular point of order $a_{1}$, the northpole ($r=0$), and hence also its antipodal point of order $a_{2}$, the southpole ($r=\pi$). Moreover it leaves the unique exceptional geodesic, the equator ($r=\pi/2$), invariant. After composition with an isometry we can assume that $\tau$ fixes a point $x_{0}$ on the equator. Then $\tau$ also leaves invariant the minimizing geodesic between $x_{0}$ and the northpole. Because of $a_{1}>2$ it follows that the differential of $\tau$ at the northpole is a homotethy, i.e. it scales by some factor $\lambda>0$. Therefore, $\tau$ in fact leaves invariant all geodesics starting at the northpole and consequently fixes the equator pointwise. In particular, the derivative of $\tau$ in the east-west direction along the equator is the identity. We write our Besse orbifold metric in coordinates as in (Eq. 4.13). Let $x$ be some point on the equator. We can assume that is has coordinates $(r,\phi)=(\pi/2,0)$. We look at regular unit-speed geodesics $\gamma(s)=(r(s),\phi(s))$ with $\phi^{\prime}(0)>0$ that start at $x$ and do not pass the singular points. Let $r_{m}$ be the maximal (or minimal) latitude attained by such a geodesic. By [4, Theorem 4.11] this latitude is attained at a unique value of $s$ during one period. By symmetry and continuity the corresponding $\phi$-coordinate $\phi_{m}$ is constant as long as $r^{\prime}(0)$ does not change its sign. According to Clairaut’s relation we have $\sin^{2}(r)\phi^{\prime}(s)=\sin(r_{m})$ along $\gamma$ and the geodesic oscillates between the parallels $r=r_{m}$ and $r=\pi-r_{m}$ [4, p. 101]. Let $\tilde{\gamma}(s)=(\tilde{r}(s),\tilde{\phi}(s))$ be the unit-speed parametrization of the geodesic $\tau(\gamma)$. Suppose the differential of $\tau$ at $x$ scales by a factor of $\lambda^{\prime}>0$ in the north-south direction. Then we have

[TABLE]

and a corresponding relation between $\sin(\tilde{r}_{m})$ and $\sin(r_{m})$ by Clairaut’s relation. Therefore, $\tau$ maps the curve $c:[0,\pi/2]\ni t\mapsto(t,\phi_{m})$ to the curve

[TABLE]

with $\tilde{c}^{\prime}(0)=(1/\lambda^{\prime},0)$. Hence, we have $\lambda=1/\lambda^{\prime}$. In particular, in our coordinates the differential of $\tau$ looks the same at every point of the equator. It follows that $\tau=\tau_{\lambda}$ maps the $r$-parallels to the $\tilde{r}$-parallels, where

[TABLE]

The family of transformations $\tau_{\lambda}$ satisfies $\tau_{\lambda\mu}=\tau_{\lambda}\circ\tau_{\mu}$ and, in our $(r,\phi)$ coordinates, is induced by the vector field

[TABLE]

For our metric the functions $R^{i}$ are easily computed to be $R^{0}=R^{2}=0$ and

[TABLE]

It follows from elementary computations that the vector field $W$ does not solve the PDE system (4.12). Therefore, the Lie algebra of projective vector fields of $(\mathbb{CP}(a_{1},a_{2}),g)$ is spanned by the Killing vector field $\frac{\partial}{\partial\phi}$. ∎

Remark 4.10*.*

Alternatively, it is easy to check that $r(\phi)$-parametrizations of the curves $\tau_{\lambda}(\gamma)$ do not satisfy the geodesic equations [4, 4.1.12] for all $\lambda>0$, which also implies the claim. Also, a more refined but cumbersome analysis of the geodesic equations seems to show that $\tau_{\lambda}$ is only a projective transformation for $\lambda=1$, so that any projective transformation is in fact an isometry.

Remark 4.11*.*

Note that if a connected group of projective transformations acts on a complete connected two-dimensional Riemannian manifold $(M,g)$, then it acts by isometries or $g$ has constant non-negative curvature [29] (see also [30] for the case of higher dimensions).

4.6. Deformations of Finsler metrics and the Veronese embedding

Recall from Section 4.1 that sections of $\mathsf{J}_{+}\to\mathbb{CP}(a_{1},a_{2})$ with holomorphic image correspond to Weyl connections in $[\nabla]$. Moreover, a projective transformation gives rise to a biholomorphism of $\mathsf{J}_{+}$, and it pulls-back a Weyl connection $\nabla_{1}\in[\nabla]$ to $\nabla_{2}\in[\nabla]$ if and only if the corresponding holomorphic curves are mapped onto each other.

Let us identify $\mathsf{J}_{+}$ with $\mathbb{CP}(a_{1},(a_{1}+a_{2})/2,a_{2})\setminus j(S^{2})$ via Proposition 4.4 in the case where $\nabla=\nabla^{g}$ for the Besse orbifold metric $g$ from Lemma 4.1. In this case, the complex structure on $\mathbb{CP}(a_{1},a_{2})$ arising from the chosen orientation and the metric $g$ corresponds to the Veronese embedding

[TABLE]

We would like to construct deformations of Finsler metrics via deformations of this embedding. Note that the image of the Veronese embedding is defined by the equation $y^{2}_{2}=y_{1}y_{3}$, where we use $(y_{1},y_{2},y_{3})$ as coordinates on $\mathbb{CP}(a_{1},(a_{1}+a_{2})/2,a_{2})$. An explicit complex one-dimensional family of deformations is given by the equation $y_{2}^{2}=\lambda y_{1}y_{3}$ for some $\lambda\in\mathbb{C}^{*}$. Choosing $\lambda$ sufficiently close to $1$ will cut out a holomorphic curve which continues to be a section of $\mathsf{J}_{+}\to\mathbb{CP}(a_{1},a_{2})$ and hence corresponds to a positive Weyl connection since the metric $g$ has strictly positive Gauss curvature. Therefore, according to our A, small deformations of the Veronese embedding through holomorphic curves give rise to deformations of the Finsler metric dual to $g$ through Finsler metrics of constant curvature $1$ and all geodesics closed.

It remains to show that the so obtained Finsler metrics are not all isometric. Again, according to our A, this amounts to showing that the resulting Weyl structures do not coincide up to an orientation preserving diffeomorphism. Let $\mathscr{W}_{\lambda_{i}}$ for $i=1,2$ denote the Weyl structures corresponding to the deformations by $\lambda_{1}\neq\lambda_{2}$ sufficiently close to $1$. Suppose $\Psi:\mathbb{CP}(a_{1},a_{2})\to\mathbb{CP}(a_{1},a_{2})$ is an orientation preserving diffeomorphism which identifies $\mathscr{W}_{\lambda_{1}}$ with $\mathscr{W}_{\lambda_{2}}$. By construction, the Weyl structures $\mathscr{W}_{\lambda_{i}}$ have Weyl connections whose geodesics agree with the geodesics of the Besse orbifold metric $g$ up to parametrisation. Therefore, $\Psi$ is a projective transformation for the Levi-Civita connection of $g$ and hence by Lemma 4.9 an isometry for $g$ up to possibly applying a transformation from a discrete set of non-isometric projective transformations.

Every orientation preserving diffeomorphism of $\mathbb{CP}(a_{1},a_{2})$ naturally lifts to a diffeomorphism of $\mathsf{J}_{+}$ and in the case of an orientation preserving isometry $\Upsilon:\mathbb{CP}(a_{1},a_{2})\to\mathbb{CP}(a_{1},a_{2})$ the lift $\mathsf{J}_{+}\to\mathsf{J}_{+}$ is covered by a map $\mathrm{SU}(2)\times\mathbb{D}\to\mathrm{SU}(2)\times\mathbb{D}$ which is the product of the identity on the $\mathbb{D}$ factor and the natural lift of $\Upsilon$ to $\mathrm{SU}(2)$ on the first factor. With respect to our coordinates (4.14) the isometries generated by the Killing vector field $\frac{\partial}{\partial\phi}$ lift to $\mathrm{SU}(2)$ to become left-multiplication by the element $\mathrm{e}^{\mathrm{i}\vartheta}$. Thus, under our biholomorphism $\Xi:\mathsf{J}_{+}\to\mathbb{CP}(a_{1},(a_{1}+a_{2})/2,a_{2})\setminus j(S^{2})$ lifts of orientation preserving isometries to $\mathsf{J}_{+}$ take the form

[TABLE]

for $\vartheta\in\mathbb{R}$. Observe that each such transformation leaves each member of the family $y_{2}^{2}=\lambda y_{1}y_{3}$ invariant. In particular, the deformed Besse–Weyl structures are rotationally symmetric as well. Since $\Psi$ identifies the two Weyl structures, its lift $\tilde{\Psi}:\mathsf{J}_{+}\to\mathsf{J}_{+}$ must map the holomorphic curves cut out by $y_{2}^{2}=\lambda_{i}y_{1}y_{3}$ for $i=1,2$ onto each other and hence $\Psi$ must be a member of the discrete set of non-isometric projective transformations. Since we have a real two-dimensional family of deformations of the Veronese embedding, we conclude that we have a corresponding real two-dimensional family of non-isometric, rotationally symmetric Finsler metrics of constant curvature $K=1$ on $S^{2}$ and with all geodesics closed.

Remark 4.12*.*

The Besse–Weyl structures arising from the deformations of the Veronese embedding are defined on $\mathbb{CP}(a_{1},a_{2})$ and hence on the Finsler side yield examples of Finsler $2$-spheres of constant curvature and with shortest closed geodesics of length $2\pi\left(\frac{a_{1}+a_{2}}{2a_{1}}\right)$.

Remark 4.13*.*

To the best of our knowledge no two-dimensional family of deformations of rotationally symmetric Besse metrics on $\mathbb{CP}(a_{1},a_{2})$, $a_{1},a_{2}>1$, in a fixed projective class is known.

Appendix A The Biholomorphism for the $2$-Sphere

Recall that the Killing form $B$ on $\mathfrak{su}(2)$ is negative definite. Therefore, fixing an isomorphism $(\mathfrak{su}(2),-B)\simeq\mathbb{E}^{3}$ with Euclidean $3$-space $\mathbb{E}^{3}$, the adjoint representation of $\mathrm{SU}(2)$ gives a group homomorphism

[TABLE]

Explicitly, mapping the $-B$-orthonormal basis of $\mathfrak{su}(2)$ given by

[TABLE]

to the standard basis of $\mathbb{R}^{3}$, the adjoint representation becomes

[TABLE]

The unit tangent bundle of the Euclidean $2$-sphere $S^{2}\subset\mathbb{E}^{3}$ may be identified with $\mathrm{SO}(3)$ by thinking of the third column vector $e$ of an element $(e_{1}\;e_{2}\;e)\in\mathrm{SO}(3)$ as the basepoint $e\in S^{2}$ and by thinking of the remaining two column vectors $(e_{1}\;e_{2})$ as a positively oriented orthonormal basis of $T_{e}S^{2}$, where we identify the tangent plane to $e$ with the orthogonal complement $\{e\}^{\perp}$ of $\mathrm{e}$ in $\mathbb{E}^{3}$.

We can represent an orientation compatible linear complex structure $J$ on $T_{e}S^{2}$ by mapping $J$ to the (complex) projectivisation of the vector $v+iJv$, where $v\in T_{e}S^{2}\simeq\{e\}^{\perp}\subset\mathbb{R}^{3}$ is any non-zero tangent vector. This defines a map $\mathsf{J}_{+}(S^{2})\to\mathbb{CP}^{2}$. Since $v$ and $Jv$ are linearly independent, the image of this map is disjoint from $\mathbb{RP}^{2}$, where we think of $\mathbb{RP}^{2}$ as sitting inside $\mathbb{CP}^{2}$ via its standard real linear embedding. An elementary calculation shows that an orientation compatible linear complex structure $J$ on $T_{e}S^{2}$ with Beltrami coefficient $\mu\in\mathbb{D}$ relative to the standard complex structure $J_{0}$ has matrix representation

[TABLE]

with respect to the basis $\{e_{1},J_{0}e_{1}\}$ of $T_{e}S^{2}$. Hence, we obtain a map

[TABLE]

where we have used that the standard complex structure $J_{0}$ of $S^{2}$ satisfies $e_{2}=J_{0}e_{1}$ for all $(e_{1}\;e_{2}\;e)\in\mathrm{SO}(3)$. Composing with the adjoint representation this becomes the map $\mathrm{SU}(2)\times\mathbb{D}\to\mathbb{CP}^{2}\setminus\mathbb{RP}^{2}$ defined by

[TABLE]

A linear coordinate transformation

[TABLE]

thus gives the map

[TABLE]

used in Section 4.4.