Parabolic conformally symplectic structures II: parabolic contactification

Parabolic almost conformally symplectic structures were introduced in the first part of this series of articles as a class of geometric structures which have an underlying almost conformally symplectic structure. If this underlying structure is conformally symplectic, then one obtains a PCS-structure. In the current article, we relate PCS-structures to parabolic contact structures. Starting from a parabolic contact structure with a transversal infinitesimal automorphism, we first construct a natural PCS-structure on any local leaf space of the corresponding foliation. Then we develop a parabolic version of contactification to show that any PCS-structure can be locally realized (uniquely up to isomorphism) in this way. In the second part of the paper, these results are extended to an analogous correspondence between contact projective structures and so-called conformally Fedosov structures. The developments in this article provide the technical background for a construction of sequences and complexes of differential operators which are naturally associated to PCS-structures by pushing down BGG sequences on parabolic contact structures. This is the topic of the third part of this series of articles.


Introduction
This is the second part in a series of three articles devoted to the study of a class of geometric structures and of differential complexes naturally associated to these structures. The main motivation for this series are the examples of differential complexes on complex projective space, which were constructed and applied to questions of integral geometry in [9]. An attempt to put these complexes into the context of geometric structures was made in the first version of the preprint [8], which introduced the concept of a conformally Fedosov structure. The aim of providing a framework analogous to Bernstein-Gelfand-Gelfand resolutions (or BGG resolutions) associated to parabolic geometries was realized (for conformally Fedosov structures) in the second version of Eastwood and Slovák, [8], which has appeared recently.
Our article builds on [4], where we introduced a family of first-order structures, which all have an underlying almost conformally symplectic structure. There is one such structure for each contact grading of a simple Lie algebra, which is not of type C n . These gradings are related to certain parabolic subalgebras and to parabolic contact structures as discussed below, which motivates the name parabolic almost conformally symplectic structures (or PACS-structures for short). The main result ofČap and Salač [4] is that each such structure determines a canonical connection on the tangent bundle, which is characterized by a normalization condition on its torsion. The torsion of this connection is a basic invariant of the structure, which naturally splits into two parts. One of these parts is the obstruction to the almost conformally symplectic structure being conformally symplectic, and requiring this part of the torsion to vanish, one arrives at the subclass of PCS-structures or parabolic conformally symplectic structures.
In this second part, we only consider PCS-structures and we relate them to another class of geometric structures, called parabolic contact structures. There is one such structure for each contact grading of a simple Lie algebra, and they all have an underlying contact structure. The most prominent example of a parabolic contact structure is provided by (partially integrable almost) CR-structures of hypersurface type. Via the relation to contact gradings, each type of PACS-structure determines a corresponding type of parabolic contact structure in one higher dimension. Now for parabolic contact structures, there is the concept of transversal infinitesimal automorphisms, which in particular are transversal infinitesimal contactomorphisms for the underlying contact structure. Any transversal infinitesimal contactomorphism defines a foliation with one-dimensional leaves. In [6], we have shown that any local leaf space for such a foliation naturally inherits a conformally symplectic structure. Further we have shown that locally any conformally symplectic structure can be realized in this way and that these realizations are locally unique up to contactomorphism.
In the current article, we extend all these results to the setting of PCS-structures and parabolic contact structures, see Theorems 2, 4, and 5. Moreover, we discuss the relation between distinguished connections associated to parabolic contact structures and the canonical connections of PCS-structures. Together with Section 4.7 of [4], this allows us to complete the discussion of the relation of PCS-structures to special symplectic connections in the sense of Cahen and Schwachhöfer [3] and thus to exceptional holonomies, see Theorem 7.
The contact gradings of Lie algebras of type C n do not give rise to a PACS-structure. However, there is a type of parabolic contact structures associated to these gradings, the so-called contact projective structures. For the applications in [9] it was only necessary to construct the initial parts of certain differential complexes. However, the constructions can be extended, exhibiting that the results look similar to the BGG resolutions associated to locally flat contact projective structures. Also, the tractor bundle associated to a conformally Fedosov structure in [8] looks similar to the standard tractor bundle of a contact projective manifold in one higher dimension. So all that suggests that conformally Fedosov structures might be related to parabolic contact structures. In Sect. 3 of this article, we show that this is indeed the case and extend the above-mentioned results on structures on quotients and contactifications fromČap and Salač [6] also to this setting. This will allow us to include the C n -types into a uniform treatment in the last part of this series.
There is also a class of special symplectic connections associated to Lie algebras of type C n , the so-called symplectic connections of Ricci type, see [3] and [1]. We also get a characterization of these connections as conformally Fedosov structures with locally flat parabolic contactification, see Corollary 1. Together with Theorem 7, this recovers the fact that all special symplectic connections can be obtained from local quotients of the homogeneous models of parabolic contact structures, which is the crucial result of Cahen and Schwachhöfer [3].
A third important aim of this article is to give examples of global leaf spaces of compact contact manifolds which inherit PCS-structures, respectively, conformally Fedosov structures. From the point of view of differential complexes, such global quotients are interesting, since they lead to information on the cohomology of the resulting sequences, which are important for the applications in [9]. As one of these examples, we show that the Hopf fibration S 2n+1 → CP n can be considered as a global parabolic contactification in two ways. On the one hand, this concerns the CR-structure on S 2n+1 coming from the embedding as a hypersurface in C n+1 , which induces the Kähler structure on CP n as the underlying PCSstructure. On the other hand, viewing S 2n+1 as the space of real rays in C n+1 (viewed as a real symplectic vector space), it inherits a contact projective structure. This gives rise to the conformally Fedosov structure on CP n studied in [8].
The second example of such a global space of leaves we discuss is a bit more exotic. In Theorem 3, we show that the Grassmannian of complex planes in C n+1 can be realized as a global space of leaves for a transversal infinitesimal automorphism of the space of those quaternionic lines in H n+1 , which are isotropic for a quaternionic skew Hermitian form. This induces on the Grassmannian the PCS-structure of quaternionic type from Corollary 3.8 of [4], which is homogeneous under SU (n + 1) and can be viewed as a counterpart of the quaternion-Kähler metric on the Grassmannian of planes.
In the last part [5] of the series, we show how invariant differential operators for parabolic contact structures induce natural differential operators on PCS-quotients. There is a welldeveloped theory which in particular produces invariant differential complexes on locally flat parabolic contact structures and in certain curved situations. These can then be used to obtain invariant differential complexes associated to special symplectic connections as well as certain more general PCS-structures.

Contactification of PCS-structures
We start this section by briefly recalling the concept of PCS-structures as introduced in [4] and the class of parabolic contact structures. Then we describe the relation between the two kinds of structures, generalizing the analogous results fromČap and Salač [6], which relate conformally symplectic structures to contact structures.

Contact gradings and associated groups
A contact grading on a simple Lie algebra g over K = R or C is a decomposition g = g −2 ⊕ g −1 ⊕ g 0 ⊕ g 1 ⊕ g 2 which is compatible with the Lie bracket in the sense that [g i , g i ] ⊂ g i+ j (putting g = {0} if | | > 2), such that dim(g −2 ) = 1 and such that the bracket g −1 × g −1 → g −2 is a non-degenerate bilinear form. It turns out that then the analogous statements hold for g 2 and the bracket g 1 × g 1 → g 2 .
Such gradings are well known from the theory of quaternionic symmetric spaces as well as from the theory of parabolic contact structures. They exist on any complex simple Lie algebra of rank at least two and on most non-compact real simple Lie algebras (namely on those which contain a highest root vector). If they exist, they are always unique up to isomorphism. The complete list of contact gradings can be found in Example 3.2.10 of [7].
Via g 0 ⊂ g, which is a Lie subalgebra by the grading property, contact gradings give rise to geometric structures in two ways. On the one hand, consider the graded Lie algebra g − := g −2 ⊕ g −1 which, by definition of a contact grading, is a Heisenberg algebra. By the grading property and the Jacobi-identity, the adjoint action of any element A ∈ g 0 can be restricted to g − and defines a derivation on this Lie algebra which preserves the grading. It is easy to see that the resulting Lie algebra homomorphism g 0 → der gr (g − ) is always injective.
It is easy to describe der gr (g − ) explicitly. Viewing the bracket as a linear map Λ 2 g −1 → g −2 , its kernel defines a codimension-one subspace Λ 2 0 g −1 ⊂ Λ 2 g −1 . Now one easily shows that a linear map ϕ : g −1 → g −1 can be extended to a derivation of g − if and only if the induced endomorphism of Λ 2 g −1 preserves the hyperplane Λ 2 0 g −1 and thus factors to an endomorphism of the quotient which is isomorphic to g −2 . The bracket defines a nondegenerate bilinear form on g −1 up to scale and thus a line in Λ 2 (g −1 ) * , which is exactly the annihilator of Λ 2 0 g −1 . The stabilizer of this line in L(g −1 , g −1 ) will be denoted by csp(g −1 ) and called the conformally symplectic Lie algebra of g −1 . The above discussion implies that the adjoint action of g 0 on g −1 defines an injective homomorphism g 0 → csp(g −1 ).
The case of algebras of type C n is special with respect to contact gradings. In this case g itself is a symplectic Lie algebra and it turns out that the adjoint action actually gives rise to an isomorphism g 0 ∼ = csp(g −1 ) ∼ = der gr (g − ), so one just obtains the full conformally symplectic algebra in this case. Therefore, we will have to exclude the algebras of type C n from the considerations in the rest of Sect. 2. Conformally Fedosov structures and their contactifications, which will be discussed in Sect. 3, can be thought of as a C n -analog of the situation discussed here.
To proceed toward geometric structures determined by a contact grading, we also need a choice of group associated to the Lie algebra g 0 . While the theory of PACS-structures can be developed for more general Lie groups with Lie algebra g 0 , we will restrict the choice of group here to get a complete correspondence to parabolic contact structures. Namely, let us start with a Lie group G with Lie algebra g. Then it is well known that the Lie subalgebra p := g 0 ⊕ g 1 ⊕ g 2 ⊂ g is a parabolic subalgebra, so in particular, the normalizer of p in G is a Lie subgroup with Lie algebra p. Let P ⊂ G be a parabolic subgroup of G corresponding to p, i.e., a subgroup lying between this normalizer and its connected component of the identity. Then P has Lie algebra p and it is well known that the adjoint action of any element of P maps each g i to g i ⊕ · · · ⊕ g 2 , so it preserves the filtration of g induced by the grading.
Finally, one defines a Lie subgroup G 0 ⊂ P as consisting of those elements whose adjoint action preserves the grading on g. Let us denote by C Sp(g −1 ) ⊂ G L(g −1 ) the subgroup of those linear isomorphisms for which the induced automorphism of Λ 2 (g −1 ) * preserves the line determined by the bracket. Then this can be identified with the group Aut gr (g − ) of automorphisms of the graded Lie algebra g − and the adjoint action defines an infinitesimally injective homomorphism G 0 → C Sp(g −1 ).

PCS-structures
Having constructed the infinitesimally injective homomorphism G 0 → C Sp(g −1 ) ⊂ G L(g −1 ), there is the natural notion of a first-order structure with structure group G 0 on smooth manifolds of dimension dim(g −1 ). These are the PACS-structures as introduced in [4]. The simplest way to describe such a structure is as a principal bundle p : G 0 → M with structure group G 0 , which is endowed with a strictly horizontal, G 0 -equivariant one-form θ ∈ Ω 1 (G 0 , g −1 ). Here equivariancy means that for the principal right action r g of g ∈ G 0 , one has (r g ) * θ = Ad(g −1 ) • θ while strict horizontality means that in each point u ∈ G 0 , the kernel of θ(u) : T u G 0 → g −1 coincides with the vertical subbundle of G 0 → M. In particular, θ(u) descends to a linear isomorphism T p(u) M → g −1 which identifies G 0 as a reduction of the linear frame bundle of T M.
Given (G 0 → M, θ) as above, a representation of G 0 on a vector space V gives rise to the natural vector bundle Further, the G 0 -invariant line in Λ 2 (g −1 ) * gives rise to a line subbundle ⊂ Λ 2 T * M such that each nonzero element of is non-degenerate as a bilinear form on the corresponding tangent space. This is the almost conformally symplectic structure underlying a PACS-structure. While the theory of PACS-structures is developed in this general setting in [4], we will impose a restriction on such structures throughout this article. Namely, we will only deal with PCS-structures, i.e., assume that the underlying structure is conformally symplectic. This means that the line subbundle admits local sections which are closed as two-forms on M.
A central result ofČap and Salač [4] is that any PACS-structure on M determines a canonical linear connection on T M, whose torsion satisfies a certain normalization condition. We formulate this result only for PCS-structures, where the normalization condition on the torsion is simpler. To formulate this condition, we need the fact that there is a natural G 0 -invariant subspace ker( ) ⊂ Λ 2 (g −1 ) * ⊗ g −1 , called the harmonic subspace. Here : for the definition and Sections 4.5 and 4.6 of this reference as well as Section 4.2 of [7] for an explicit description of this subspace in several cases. Via associated bundles, this gives rise to a subbundle ker( ) ⊂ Λ 2 T * M ⊗ T M, whose elements are called algebraically harmonic. Specialized to the PCS-case, Corollary 4.3 of [4] shows Theorem 1 Let (G 0 → M, θ) be a PCS-structure (associated to a contact grading on a simple Lie algebra which is not of type C n ) on a smooth manifold M. Then there is a unique connection compatible with this structure, such that the induced linear connection on T M has algebraically harmonic torsion.

Parabolic contact structures
There is a second way to obtain a geometric structure from a contact grading of a real simple Lie algebra g. Consider a smooth manifold M # of dimension dim(g − ) = dim(g −1 ) + 1 and suppose that H ⊂ T M # is a smooth distribution of corank one. Denoting by Q the quotient bundle T M # /H (which is a real line bundle), the Lie bracket of vector fields induces a skew symmetric bilinear bundle map L : H × H → Q called the Levi bracket. Now H is a contact structure if and only if this Levi bracket is non-degenerate in each point x ∈ M # . Equivalently, for each point x, the associated graded H x ⊕ Q x of the tangent space T x M # endowed with L x as a Lie bracket is isomorphic to g − . Supposing that H ⊂ T M # is a contact structure, it is then easy to obtain an adapted frame bundle for the associated graded vector bundle gr(T M # ) to the filtered vector bundle H ⊂ T M # with structure group Aut gr (g − ) ∼ = C Sp(g −1 ).
If g is not of type C n , then a parabolic contact structure of the corresponding type can be simply described as a reduction of structure group of this adapted frame bundle corresponding to the infinitesimally injective homomorphism G 0 → Aut gr (g − ) defined by the adjoint action. Similarly to the case of standard first-order structures, such a reduction can be described as an abstract principal G 0 -bundle p # 0 : G # 0 → M # endowed with an analog of a soldering form as follows.
Define T −1 G # 0 ⊂ T G # 0 as the preimage of H ⊂ T M # under the natural projection. Of course, this contains the vertical subbundle V G # 0 = ker(T p # 0 ). Then the soldering form consists of two components, namely θ # ). So while θ # −2 is an ordinary differential form, θ # −1 is only defined on the subbundle T −1 G # 0 . Both components are required to be G 0 -equivariant (with respect to the adjoint action), and they should be strictly horizontal in the sense that for each u ∈ G # 0 one has ker(θ # −2 (u)) = These isomorphisms together define an isomorphism of Lie algebras, i.e., they intertwine between the Levi bracket and the Lie bracket on g − .
Parabolic contact structures admit an equivalent uniform description, which also works in the C n -case. Namely, given a smooth manifold M # as above, one considers a principal bundle p # : G # → M # with structure group P, which is endowed with a Cartan connection ω ∈ Ω 1 (G # , g). This by definition means that ω is P-equivariant and reproduces the generators of fundamental vector fields, and that for each u ∈ G # the map ω(u) : T u G # → g is a linear isomorphism. Moreover, one has to assume the conditions of regularity and normality on the curvature of the Cartan connection ω, see Section 3.1 of [7] for the precise definitions.
The two descriptions are related as follows. Given the Cartan geometry (G # , ω) and a point u ∈ G # with x = p # (u) ∈ M # , ω(u) descends to a linear isomorphism T x M # → g/p. The subset g −1 ⊕ p ⊂ g is P-invariant so its preimage gives rise to a well-defined subspace H x ⊂ T x M # . These subspaces fit together to a corank one subbundle H ⊂ T M # which defines a contact structure by regularity of ω. Moreover, the exponential mapping restricts to a diffeomorphism from p + := g 1 ⊕ g 2 onto a closed normal subgroup P + ⊂ P, such that G 0 ∼ = P/P + via the restriction of the canonical projection. The group P + acts freely on G # via the principal right action, and the quotient G # 0 := G # /P + naturally is a principal bundle over M # with structure group P/P + = G 0 . Finally, one shows that the component of ω in ). In the C n -case, the underlying structure constructed in this way is just the adapted frame bundle of a contact structure on M # and does not contain any additional information. In all other cases, however, the Cartan geometry (G # , ω) can be reconstructed from the underlying structure by a prolongation procedure as described in Section 3.1 of [7]. One forms the obvious extension G # 0 × G 0 P of structure group and then shows that there is a normal Cartan connection on this principal bundle inducing the given soldering form. Further, one proves that any isomorphism of underlying structures lifts to an isomorphism of normal Cartan geometries, which establishes an equivalence (in the categorical sense) between the two pictures.

PCS-quotients and parabolic contactifications
Recall that for a contact manifold (M # , H ) an infinitesimal contactomorphism is a vector field ξ ∈ X(M # ) such that for all η ∈ Γ (H ) we get [ξ, η] ∈ Γ (H ). An infinitesimal contactomorphism is called transversal if ξ(x) / ∈ H x for all x ∈ M # . This in particular implies that ξ is nowhere vanishing and thus defines a foliation of M # with one-dimensional leaves. By a quotient of M # by ξ one then means a global space of leaves, i.e., a surjective submersion q : M # → M with connected fibers such that for each x ∈ M # the vertical subspace ker(T x q) ⊂ T x M # coincides with the line spanned by ξ(x).
In this situation, Proposition 2.2 of [6] shows that the contact structure on M # induces a conformally symplectic structure ⊂ Λ 2 T * M. Denoting by α the unique contact form on M # such that α(ξ ) = 1, there even is a global symplectic form ω on M, which is a section of and such that q * ω = dα. Conversely, given a manifold M endowed with a conformally symplectic structure , one can try to (locally) realize it as a quotient of a contact manifold (M # , H ), which then is called a (local) contactification of (M, ). Existence and uniqueness of such contactifications is established in [6].
We want to develop refinements of these concepts which relate parabolic contact structures to PCS-structures. Let us start with the regular normal parabolic geometry ( p : G # → M # , ω) of type (G, P) corresponding to a parabolic contact structure with contact distribution H ⊂ T M # . An infinitesimal symmetry of the geometry then is a vector fieldξ ∈ X(G # ) which is P-invariant and satisfies Lξ ω = 0, where L denotes the Lie derivative. A P-invariant vector field is automatically projectable, so there is a corresponding vector field ξ ∈ X(M # ) as well as an intermediate G 0 -invariant vector field ξ 0 ∈ X(G # 0 ). It is easy to verify directly that ξ is an infinitesimal contactomorphism. As before, an infinitesimal symmetry is called transverse ∈ H x for all x ∈ M # . In the case that g is not of type C n , infinitesimal symmetries can be equivalently described in terms of the underlying structure ( p # 0 : to be an infinitesimal symmetry, one first has to require that Definition 1 Consider a parabolic contact structure of type (G, P) with underlying structure In this situation, To study these concepts, we need some preliminary observations. Consider the underlying structure ( p # 0 : G # 0 → M # , θ # ) of a parabolic contact structure of type (G, P), a transverse symmetry ξ 0 ∈ X(G # 0 ) of this structure and the projected vector field ξ ∈ X(M # ). Then both ξ 0 and ξ are nowhere vanishing and hence define foliations with one-dimensional leaves.

Lemma 1
In this situation, we have: 0 is a leaf of the foliation defined by ξ 0 , then p # 0 (N ) ⊂ M # is a leaf of the foliation defined by ξ and the restriction of p # 0 to N is a covering map N → p # 0 (N ). 2. Suppose that there is a PCS-structure ( p 0 : G 0 → M, θ) and a PCS-quotient q 0 : Then the base map q : M # → M of q 0 is a quotient by the transverse infinitesimal contactomorphism ξ . Moreover, in this case the coverings from (1) actually have to be diffeomorphisms. Proof 1. Since ξ 0 projects to ξ and is transversal to the vertical subbundle of p # 0 , it is clear that p # 0 maps small open subsets of N to integral submanifolds of the distribution spanned by ξ . Hence p # 0 (N ) is a connected immersed integral manifold for the foliation defined by ξ and thus contained in some leaf N of this foliation. Again by construction, p # 0 | N : N → N has bijective tangent maps in all points, so it is a local diffeomorphism and hence p # 0 (N ) ⊂ N is open. Next, we observe that ξ 0 is G 0 -equivariant. Hence if the flow of ξ 0 through a point u # is defined on some time interval around zero, the same is true for u # · g for each g ∈ G 0 . Now each such local flow line is either contained in N or disjoint from it. In particular, for u # ∈ N , such a local flow line projects to an open neighborhood of p # 0 (u # ) in N , whose preimage in N is the disjoint union of those flow lines, which are contained in N . By definition, these are open in the manifold topology of N .
Shifting c by the principal right action of an appropriate element of G 0 , we may assume that c intersects N , and hence is contained in N . Thus Since we have constructed trivializing neighborhoods for p # 0 : N → N already, this completes the proof of 1. 2. By assumption, we have p 0 q 0 = q • p # 0 . Since both p 0 and q 0 are surjective submersions, we see that q is a surjective submersion. Since ξ 0 projects to ξ , it is also clear that the values of ξ lie in ker(T q) and since each of these kernels has to be one-dimensional, it is spanned by the value of ξ . Now consider a fiber N of q 0 . Then p # 0 (N ) lies in one fiber of q and using G 0 -equivariancy of q 0 , one easily verifies that p # 0 (N ) is all of this fiber. Hence the fibers of q are connected, so the first statement is proved. But now the fibers of q 0 and q are closed connected integral submanifolds for the distributions defined by ξ 0 and ξ , and hence have to coincide with the leaves. But since q 0 is a morphism of principal bundles, its restriction to each fiber of p # 0 is injective, so p # 0 is injective on fibers of q 0 , and the last claim follows.

Existence of PCS-quotients
Part 2 of Lemma 1 tells us how to naturally phrase the question of existence of PCS-quotients. We assume that we start with a parabolic contact structure on M # and the underlying vector field ξ ∈ X(M # ) of an infinitesimal symmetry of this structure. Then the natural question to ask is when a quotient q : M # → M of M # by ξ can be made into a PCS-quotient. We can now show that the necessary condition from part 2 of Lemma 1 is also sufficient.

Theorem 2 Consider a parabolic contact structure of type (G, P) with G not of type C n on a smooth manifold M
be a transverse infinitesimal symmetry of this structure and let ξ ∈ X(M # ) be the underlying infinitesimal contactomorphism. Suppose that for each leaf N ⊂ G # 0 of the foliation defined by ξ 0 , the restriction p # 0 | N : N → p # 0 (N ) is a diffeomorphism. Then for any quotient q : M # → M by ξ , there is a canonical PCS-structure G 0 → M on M such that q becomes a PCS-quotient.
Proof Let ∼ be the equivalence relation on G # 0 defined by the foliation induced by ξ 0 , i.e., two points are equivalent if they lie in the same leaf. Define G 0 := G # 0 / ∼, the set of equivalence classes, and let q 0 : G # 0 → G 0 be the canonical map. From the proof of Lemma 1, we know that p # 0 maps leaves to leaves, and the leaves in M # are the fibers of q, so there is a set map We claim that p 0 : G 0 → M is a G 0 -principal bundle and q 0 is a morphism of principal bundles. To prove this, observe first that q • p # 0 is a surjective submersion. Hence for each . This evidently satisfies p 0 • ψ = pr 1 , so it has values in p −1 0 (U ). If ψ(y, g) = ψ(ỹ,g), then applying p 0 we get y =ỹ. Moreover, τ (y) · g and τ (y) ·g lie in the same leaf in G # 0 . Since we have assumed that p # 0 restricts to an injection on each leaf, we conclude that τ (y) · g = τ (y) ·g and thus g =g. On the other hand, for y ∈ U , a point z in is bijective. Now suppose that for some open subset U ⊂ M we have two sections τ andτ as above, and let us consider the "chart change" ϕ : U × G 0 → G 0 , i.e., the map characterized by q 0 (τ (x) · g) = q 0 (τ (x) · ϕ(x, g)) (which evidently exists). It suffices to do this locally around a fixed point x. By construction p # 0 (τ (x)) and ). It is easy to see that the flow Fl ξ 0 t 0 is defined in the pointτ (x). Thus, we may shrink U in such a way that for some > 0, Fl This shows that we can endow G 0 with a topology by requiring that the maps ψ are homeomorphisms, and then there inverses define principal bundle charts, so the claim is proved.
By construction, the quotient q : M # → M has the property that for each x ∈ M # , the tangent map T x q restricts to a linear isomorphism H x → T q(x) M. Hence for each u ∈ G * 0 the tangent map T u q 0 restricts to a linear isomorphism T −1 u G # 0 → T q 0 (u) G 0 , which in addition respects the vertical subbundles. Composing θ # −1 (u) with the inverse of this isomorphism, we obtain a surjective linear map T q 0 (u) G 0 → g −1 whose kernel is the vertical subspace V q 0 (u) G 0 . Since θ # −1 is preserved by the flow of ξ 0 , it follows that locally around u points in the same fiber lead to the same map on T q 0 (u) G 0 . Since the fibers of q 0 are connected, we obtain a well-defined map θ(q 0 (u)) : T q 0 (u) G 0 → g −1 with kernel the vertical subspace. Now ker(T q 0 ) ⊂ T G # 0 is a smooth subbundle which is complementary to T −1 G # 0 , so we can use this to define a projection : Given η ∈ X(G 0 ), we can use a local smooth section σ of q 0 to write θ(η) as θ # −1 ( (T σ • η)), which shows that θ is smooth.

Examples
It is an easy consequence of the Frobenius theorem that given a contact manifold M # and a transversal infinitesimal contactomorphism ξ ∈ X(M # ), there locally exist quotients by ξ for which the fibers are intervals. Hence Theorem 2 shows that locally any transversal infinitesimal automorphism of a parabolic contact structure admits PCS-quotients. Likewise, Theorem 2 shows that any global quotient q : M # → M can be made into a PCS-quotient in case that all fibers of q are simply connected. We now discuss examples which show that in the case of fibers which are circles, the situation is more subtle. Nonetheless, we obtain several interesting examples of global contactifications in which all fibers are circles. These examples start from the homogeneous models of parabolic contact structures. So we start with a simple Lie group G and a parabolic subgroup P ⊂ G corresponding to a contact grading of the Lie algebra g of G, and consider the homogeneous space G/P with the parabolic contact structure coming from the Maurer-Cartan form on G. The automorphism group of this geometry is G, so looking for quotients, it is natural to consider the actions of 1parameter subgroups of G on G/P. We are particularly interested in finding such actions for which the infinitesimal generator is transversal everywhere, since these may lead to compact quotients.
The first example concerns complex projective space CP n . The Fubini-Study metric on CP n is a Kähler metric, thus defining a PCS-structure by Proposition 3.3 of [4].
Proposition 1 Consider S 2n+1 as the unit sphere in C n+1 and let q : S 2n+1 → CP n be the Hopf fibration. Then endowing S 2n+1 with its usual CR-structure and CP n with the PCSstructure of type (P SU (n + 1, 1), P) defined the Fubini-Study metric, the map q is a global parabolic contactification with circles as fibers.
Proof Recall the description of S 2n+1 as the homogeneous model of strictly pseudoconvex CR-structures. Consider V := C n+1 × C endowed with the standard Hermitian form of signature (n + 1, 1), i.e., the difference of the standard positive definite forms on the two factors. Then any nonzero isotropic vector has to have nonzero first component. Mapping a point z in the unit sphere S 2n+1 ⊂ C n+1 to the line spanned by (z, 1) identifies S 2n+1 with the space of isotropic complex lines in V . This gives rise to a transitive action of G := SU (n + 1, 1) on S 2n+1 , thus identifying it with G/P, where P is the stabilizer of an isotropic line. It is well known that the resulting diffeomorphisms of S 2n+1 are exactly those which preserve the strictly pseudoconvex CR-structure induced by the embedding S 2n+1 → C n+1 .
Next, the obvious action of U (1) on S 2n+1 by complex multiplication can be realized by the action of a 1-parameter subgroup in SU (n + 1, 1). Namely, for t ∈ R, one considers multiplication by e it/(n+2) in the first factor and multiplication by e −i(n+1)t/(n+2) in the second factor. This evidently defines a unitary map of determinant one and the point (e it/(n+2) z, e −i(n+1)t/(n+2) ) determines the same complex line as (e it z, 1). From this it is clear that the infinitesimal generator of this group is simply multiplication by i, which maps any point into its real orthocomplement. However, i z never lies in the complex orthocomplement of z, which defines the CR subspace. Hence we conclude that the infinitesimal automorphism generating the one-parameter group is transversal everywhere, and by definition the Hopf fibration q is a global space of leaves for this foliation.
By construction, the U (1)-orbits of the action on SU (n + 1, 1) are (n + 2)-fold coverings of the U (1) orbits in S 2n+1 , since the projection sends λ to multiplication by λ n+2 . The underlying G 0 -bundle in this case is simply G/P + → G/P, where P + ⊂ P is the subgroup introduced in Sect. 2.3. It is well known that its Lie algebra p + consists of maps vanishing on the distinguished complex line in C n+2 , so any element of P + acts as the identity on this line. This shows that P + intersects our one-parameter subgroup only in the identity, so the projection G → G/P + restricts to a diffeomorphism on each orbit. Thus Lemma 1 shows that q : S 2n+1 → CP n cannot be globally made into a PCS-quotient for the parabolic contact structure of type (G, P).
This is related to the fact that G does not act effectively on G/P, and correspondingly G 0 does not act effectively on C n (it is an (n + 2)-fold covering of the conformal unitary group CU (n)). This problem can be resolved by replacing G by the projective group G := P SU (n + 1, 1) and P by its image P in G. Then G/P = G/P and now the action becomes effective. Moreover, G is the quotient of G by its center, which consists of the (n + 2)nd roots of unity times the identity map. This shows that the projection G → G restricts to an (n + 2)-fold covering on U (1)-orbits which exactly identifies the different preimages of points in S 2n+1 . Hence Theorem 2 implies that q : S 2n+1 → CP n is globally a PCS-quotient of geometries of type (G, P), for which G 0 = CU (n).
Our second example involves a type of parabolic contact structures which has not been studied intensively in the literature, namely the one associated to the groups SO * (2n). To formulate the necessary background, consider a finite-dimensional right quaternionic vector space V . Then a quaternionically skew Hermitian form is a map τ : V × V → H, which is bilinear over R and satisfies τ (v, wq) = τ (v, w)q and τ (w, v) = −τ (v, w) for all v, w ∈ V and q ∈ H. It is well known that any finite-dimensional quaternionic vector space admits a unique non-degenerate quaternionically skew Hermitian form up to isomorphism.
The group SO * (2n) is defined as the group of all quaternionically linear automorphisms of H n which preserve a non-degenerate quaternionically skew Hermitian form τ . It is easy to see that τ can be recovered from its real part τ R , so preserving τ is equivalent to preserving τ R . Of course, τ R is just a skew symmetric bilinear form H n × H n → R which satisfies τ R (va, wa) = τ R (v, w) for any a = i, j, k or equivalently for any unit quaternion a.
For n ≥ 3 consider the quaternionic projective space HP n of one-dimensional quaternionic subspaces in H n+1 . The standard representation of G L(n + 1, H) induces a transitive action on HP n , which can be restricted to G := SO * (2n + 2). However, this subgroup does not act transitively, since the restriction of τ to a one-dimensional subspace can either be zero or non-degenerate. It is easy to see that G acts transitively on the spaces of non-degenerate lines, which form an open subspace in HP n , and on the space N of isotropic lines, which is a closed subspace of HP n . This identifies N with G/P, where P ⊂ G is the stabilizer of an isotropic line in H n+1 .
For a quaternionic line ⊂ H n+1 , we can realize T HP n as H n+1 / . Differentiating the defining equation τ (v, v) = 0, we see that N ⊂ HP n is a smooth submanifold and that T N = {w ∈ V : im(τ (v, w)) = 0}/ , so in particular this submanifold has real codimension three. Moreover, there is a natural subspace H := {w : τ (v, w) = 0}/ ⊂ T N , which has real codimension one. Taking an explicit realization of G, it is easy to verify that the codimension-one subbundle H ⊂ T N constructed above defines a parabolic contact structure, consisting of a quaternionic structure on H such that the Levi bracket is the real part of a quaternionically skew Hermitian form. One further verifies directly that the resulting subgroup G 0 is a twofold covering of the group C SO * (2n) generated by SO * (2n) and real multiples of the identity.
On the other hand, consider the complex Grassmannian Gr(2, C n+1 ) of two planes as a homogeneous space of SU (n + 1). Then it is well known that this space admits an invariant complex structure as well as an invariant quaternionic structure, and an invariant Riemannian metric which is Kähler, respectively, quaternion-Kähler with respect to these structures. In Corollary 3.8 of [4] we have shown that the Kähler form of the Kähler metric together with the quaternionic structure defines an SU (n + 1)-invariant PCS-structure of quaternionic type on Gr(2, C n+1 ). Scalar multiplication with respect to the complex structure on V defined by J defines an action of U (1) on V by quaternionically linear maps. From the construction of τ , one readily verifies that this action is orthogonal for τ , so we have found a subgroup of G isomorphic to U (1). By definition, τ (v, v) = 0 means that v, J (v) = 0, so J (v) does not lie in the quaternionic span of v. This shows that only ±1 ∈ U (1) acts as the identity on G/P. Moreover, for v ∈ we have τ (v, J (v)) = − v, v = 0, so the infinitesimal automorphism generating this subgroup is transversal on all of G/P.
Given an isotropic line ∈ N , we conclude from ∩ J ( ) = {0} that ⊕ J ( ) is quaternionic subspace in V of quaternionic dimension two, which in addition is invariant under J . The U (1)-orbit of by construction consists of null lines which are contained in this plane. From above, we know that the space of null lines in a quaternionic plane is a codimension three subspace in HP 1 ∼ = S 4 , so it has dimension one, and it is easily verified to be connected. This shows that the U (1)-orbit of coincides with the space of those isotropic lines which are contained in ⊕ J ( ).
Hence, we see that mapping to ⊕ J ( ) defines a (evidently smooth) map q from G/P to the space of J -invariant quaternionic planes in V , whose fibers are exactly the orbits of the U (1)-action constructed above. On the other hand, since τ (v, J (v)) = 0 for any v ∈ V , it follows that the restriction of τ to any J -invariant quaternionic plane W ⊂ V is non-degenerate. In particular, any such plane contains a family of quaternionic null lines isomorphic to U (1), so q is surjective.
So it remains to show that the space of J -invariant quaternionic planes in V is isomorphic to the complex Grassmannian. Choose two anti-commuting imaginary unit quaternions, for example i and j. Then right multiplication by i defines a linear map V → V which squares to − id and commutes with J . Hence we obtain a decomposition V = V (1,0) for v ∈ V (0,1) . Moreover, one immediately verifies that multiplication by j from the right maps V (1,0) to V (0,1) and vice versa, so both spaces must have complex dimension n + 1. The projections onto V (1,0) and V (0,1) can be constructed from J and right multiplication by i. A J -invariant quaternionic subspace W ⊂ V thus is invariant under the projections, and hence W = (W ∩ V (1,0) ) ⊕ (W ∩ V (1,0) ) · j. Hence we see that we can identify the space of J -invariant quaternionic planes in V with the space of complex planes in V (1,0) and hence with the Grassmannian Gr(2, C n+1 ).
Hence we see that there is a natural projection q : N → Gr(2, C n+1 ), which is a quotient by a transversal infinitesimal contactomorphism. The action of G on N does not descend to the Grassmannian, but one can consider the stabilizer of J in G. It is easy to see that this stabilizer is isomorphic to U (n + 1) via the action on V (1,0) , and the action on Gr(2, C n+1 ) further factorizes to SU (n + 1). The conformally symplectic structure on the Grassmannian is SU (n + 1) invariant and coincides with the one used in Example 3.7 and Corollary 3.8 of [4]. Now as in the first example, the projection G → G/P induces a covering on each U (1)orbit but this time, the covering is just twofold. Hence q can be made into a PCS-quotient by passing to the quotient of G by Z 2 = {±I}, and the resulting PCS-structure of quaternionic type on the Grassmannian is exactly the one from Corollary 3.8 of [4].

Contactification of PCS-structures
For the applications to BGG sequences, we will mainly need the following counterpart to Theorem 2. We show that any local contactification of the conformally symplectic structure underlying a PCS-structure can be canonically made into a PCS-quotient. Together with the result in Lemma 3.1 of [6], this shows that any PCS-structure can be locally realized as a PCS-quotient.

Theorem 4 Suppose that (M # , H ) is a contact manifold, (M, ) is a conformally symplectic manifold and q : M # → M is a reduction by a transverse infinitesimal contactomorphism ξ ∈ X(M # ).
Then any PCS-structure on M, which has as its underlying conformally symplectic structure canonically lifts to a parabolic contact structure on M # for which ξ is an infinitesimal automorphism.
Proof As discussed in Sect. 2.2, a PCS-structure on M corresponding to the group G 0 ⊂ C Sp(g −1 ) is given by a principal G 0 -bundle p 0 : G 0 → M together with a one-form θ ∈ Ω 1 (G 0 , g −1 ) which is G 0 -equivariant and strictly horizontal. Now we can simply form the pullback G # 0 := q * G 0 → M # , which is a principal G 0 -bundle over M # . Explicitly, , and the principal right action on this bundle is given by the principal right action of G 0 acting on the first factor. Pulling back θ along the projection onto the first factor, we obtain a smooth g −1 -valued one-form θ # −1 on G # 0 , which evidently is G 0 -equivariant. From the construction it is clear that, for each x # ∈ M # , θ # −1 (u, x # ) descends to a linear map T x # M # → g −1 , which restricts to a linear isomorphism on the contact subspace H x # .
Next, there is a unique contact form α on M # such that α(ξ ) ≡ 1 and by Proposition 2.2 of [6], there is a unique symplectic form ω on M which is a section of and satisfies q * ω = dα. By assumption, the conformally symplectic structure induced by the reduction p 0 : G 0 → M of structure group is ⊂ Λ 2 T * M. Given a point u ∈ G 0 with p 0 (u) = x, we have ω(x) ∈ x so there is a linear isomorphism ψ(u) : g −2 → R such that, viewing θ(u) as a map T x M → g −1 , we get where the Lie bracket is in g − . This defines a smooth map ψ : G 0 → L(g −2 , R) and equivariancy of θ implies that θ(u · g)(η) = Ad(g −1 )(θ (u)(η)), and hence ψ(u · g) = ψ(u) • Ad(g).

Using this, we now define
This evidently is a smooth one-form, and since ( p # 0 ) * α is invariant under the principal right action, we see that θ # −2 is G 0 -equivariant. Next, the kernel of θ # −2 in a point coincides with the kernel of ( p # 0 ) * α in that point and thus with the preimage (T p # 0 ) −1 (H ). Finally, ifη 1 andη 2 are two sections of this subbundle, then we compute we get, putting x = q(x # ) and denoting by η i ∈ T x M the value ofη i (u, x # ) under the natural projection for i = 1, 2: where the Lie bracket is in g − . Together with the above properties, this shows that θ # := (θ # −2 , θ # −1 ) makes p # 0 : G # 0 → M # into a regular infinitesimal flag structure on M # , see Sect. 2.3. Since g is not of type C n , this is equivalent to a parabolic contact structure of type (G, P).
So it remains to show that ξ is an infinitesimal automorphism of this parabolic contact structure or equivalently of the infinitesimal flag structure. Observe first that The flow of this vector field is clearly given by Flξ t (u, x # ) = (u, Fl ξ t (x # )) and it suffices to prove that this flow preserves θ # .

Local uniqueness of PCS-contactifications
To complete the picture, we have to prove that different realizations of PCS-structures as PCS-quotients as constructed in Theorem 4 are locally compatible. The corresponding result for conformally symplectic structures has been proved in Proposition 3.1 of [6], so we only have to prove compatibility with the additional structures. Proof Since ϕ # is a contactomorphism, (ϕ # ) * ξ ∈ X(M # ) is a transverse infinitesimal automorphism of the contact structure H ⊂ T M # . On the other hand, since ϕ # lifts ϕ it has to map fibers of q to fibers ofq, which shows that (ϕ # ) * ξ = λξ for some smooth function λ on M # . But then for η ∈ X(M # ) we get [λξ, η] = λ[ξ, η] − (η · λ)ξ , and if η ∈ Γ (H ), then by assumption both the left-hand side and the first summand in the right-hand side are sections of H . Since ξ is transverse, this implies that η · λ = 0 for any η ∈ Γ (H ) and since H is bracket-generating this shows that λ is locally constant. Now let ( p : G 0 → M, θ) and (p :G 0 →M,θ) be the bundles defining the PCSstructures. Then by assumption there is an isomorphism Φ : G 0 →G 0 of principal G 0bundles such thatp • Φ = ϕ • p and such that Φ * θ = θ . Forming the pullback bundles as in the proof of Theorem 4, we see that defines an isomorphism (Φ, ϕ # ) : G # 0 →G # 0 lifting ϕ # , so it remains to prove that this is compatible with the frame forms on the two bundles constructed in the proof of Theorem 4. Inserting the definitions, one immediately verifies that On the other hand, since (ϕ # ) * ξ = λξ , we see that the contact forms corresponding to ξ andξ are related by (ϕ # ) * α = 1 λ α. Since 1 λ is locally constant, the corresponding symplectic forms are related by ϕ * ω = 1 λ ω. Viewing the values of θ andθ as linear isomorphisms on tangent spaces of M andM, the fact that Φ * θ = θ reads as for all u ∈ G 0 and η ∈ T p(u) M. Together with ϕ * ω = 1 λ ω, this implies that the isomorphisms ψ andψ as constructed in the proof of Theorem 4 satisfyψ(Φ(u)) = 1 λ ψ(u). Using this, we compute

Distinguished connections and contactifications
As shown in [4], any PACS-structure on M determines a canonical compatible linear connection on T M. In the case of PCS-structures, these are closely related to special symplectic connections as studied in [3], see Section 4.7 of [4] for a discussion of the relation. We now conclude the discussion of parabolic contactifications by relating the distinguished connection associated to a PCS-quotient of a parabolic contact structure to distinguished connections "upstairs". On the one hand, this provides alternative proofs for and extensions of some results from Cahen and Schwachhöfer [3], on the other hand, the result will be useful for the discussion of conformally Fedosov structures in Sect. 3 below as well as for the third part of this series.
A family of distinguished connections associated to a parabolic contact structure is obtained via so-called Weyl structures as discussed in Chapter 5 of [7]. Consider the Cartan geometry (G # → M # , ω) of type (G, P) determined by a parabolic contact structure and the underlying bundle G # 0 → M. A Weyl structure is defined as a G 0 -equivariant section σ of the natural projection G # → G # 0 . Taking the component ω 0 ∈ Ω 1 (G # , g 0 ) of the Cartan connection in g 0 ⊂ g, the pull back σ * ω 0 is a principal connection on G # 0 called the Weyl connection determined by σ .
A principal connection on G # 0 can be equivalently viewed as a linear connection ∇ # on the vector bundle H → M # , which is compatible with the reduction of structure group defined by G # 0 . In particular, ∇ # is a contact connection, in the sense that the induced connection on Λ 2 H preserves the subbundle Λ 2 0 H formed by the kernel of the Levi bracket. Further, the pull back of the components in g −2 ⊕ g −1 of the Cartan connection ω along σ can be interpreted as defining an isomorphism between T M # and its associated graded vector bundle H ⊕ Q, where Q := T M # /H . In particular, this defines a projection π from T M # onto the subbundle H ⊂ T M # . Using this projection, we can define the contact torsion of ∇ # via for sections η 1 , η 2 ∈ Γ (H ). This expression is immediately seen to be bilinear over smooth functions and thus defines a bundle map T : We have to recall a few further facts on Weyl structures from Section 5.2.11 of [7]. The line bundle Q can be used as a so-called bundle of scales, so passing to the induced linear connection on Q defines a bijection between Weyl structures and linear connections on Q. Now consider a reduction q : M # → M by a transverse symmetry ξ ∈ X(M # ). Then we can project ξ to a section of Q, which by construction is nowhere vanishing. Of course, there is a unique linear connection on Q, for which this section is parallel, and this in turn uniquely determines a Weyl structure σ . This will be called the Weyl structure associated to ξ . Theorem 6 Let q 0 : G # 0 → G 0 be a PCS-quotient with respect to a transverse infinitesimal automorphism ξ 0 ∈ X(G # 0 ) with base map q : M # → M. Then there is a unique principal connection form γ # on p # 0 : G # 0 → M # for which ξ 0 ∈ X(G # 0 ) is horizontal and which coincides with the principal connection form determined by the Weyl structure associated to ξ on T −1 G # 0 ⊂ T G # 0 . The form γ # descends to a principal connection form on G 0 → M, which corresponds to the canonical connection associated to the PCS-structure from Theorem 1.
By definition, the fibers of q 0 : G # 0 → G 0 are connected and can locally be represented as flow lines of ξ 0 . Hence by Corollary 2.3 in [2] we can prove that γ # descends to G 0 by showing that it is invariant under the flow of ξ 0 . As discussed in Sect. 2.3, the infinitesimal automorphism ξ 0 uniquely lifts to a P-invariant vector fieldξ ∈ X(G) whose local flows preserve the Cartan connection ω. Supposing that both flows are defined, the map Flξ −t •σ • Fl ξ 0 t is again a Weyl structure. Since (Flξ t ) * ω = ω, we conclude that (Fl ξ 0 t ) * γ # is the Weyl connection associated to this pulled back Weyl structure. Thus we can prove invariance of γ # under the flow of ξ 0 by showing that Flξ −t •σ • Fl ξ 0 t = σ for small t. Denoting by τ ∈ Γ (Q) the section obtained by projecting ξ , it is evident that (Fl ξ t ) * τ is parallel for the Weyl connection corresponding to Flξ −t •σ • Fl ξ 0 t , and we know from above that this characterizes the pulled back Weyl structure. But since τ is a projection of ξ and the Lie derivative of ξ along ξ equals [ξ, ξ ] = 0, we conclude (Fl Knowing thatγ # is invariant under the flow of ξ 0 , it follows readily that the same is true for the functionγ # (ξ 0 ). Also, the pullback of α clearly is invariant under the flow of ξ 0 , since α is invariant under the flow of ξ . Thus we conclude that γ # is invariant under the flow of ξ 0 and hence descends to a g 0 -valued one-form on G 0 , which then clearly is a principal connection form on G 0 → M.
To complete the proof it thus suffices to prove that the corresponding linear connection on T M has algebraically harmonic torsion. Now the torsion of a linear connection on T M can be computed from the corresponding principal connection by evaluating the exterior derivative of the soldering form on horizontal lifts of the vector fields. Now the soldering form on G 0 pulls back to the form θ # −1 on G # 0 . This can be extended to a one-form on G # 0 by requiring that it vanishes on ξ 0 (which corresponds to the isomorphism between T M # and H ⊕ Q defined by the Weyl structure determined by ξ ). Evaluating the exterior derivative of this one-form on the horizontal lifts sections of H → M # , one obtains the function corresponding to the contact torsion of the corresponding Weyl connection. This contact torsion is well known to have values in ker( ), see Theorem 5.2.11 of [7]. Now consider the definition of the contact torsion T (η 1 , η 2 ) in case that η 1 and η 2 are local lifts of vector fields on M. Then [η 1 , η 2 ] is a local lift of their Lie bracket and this differs from π([η 1 , η 2 ]) by a multiple of ξ . Thus π([η 1 , η 2 ]) is the section of H lifting the Lie bracket of the downstairs vector fields. This immediately implies that this contact torsion coincides with the torsion of the linear connection associated to γ , which completes the proof.

Contactifications and special symplectic connections
Using Theorem 6, we can now complete the discussion of the relation between PCS-structures and special symplectic connections in the sense of Cahen and Schwachhöfer [3]. Consider a contact grading of a simple Lie algebra g, which is not of type C n , and let g 0 ⊂ csp(g −1 ) be the corresponding reductive subalgebra. As discussed in Section 4.7 of [4], the intersection g 0 0 of g 0 with sp(g −1 ) is called a special symplectic subalgebra and there is a corresponding concept of special symplectic connections. In particular, that class contains all linear connections with exceptional holonomy that preserve a symplectic form.
In Theorem 4.7 of [4], we have shown that any special symplectic connection of type g is the distinguished connection of some torsion-free PCS-structure of type (G, P) for a group G with Lie algebra g. Now we can characterize the special symplectic connections among these distinguished connections via local flatness of contactifications.

Theorem 7 Consider a PCS-structure of type (G, P) on a smooth manifold M and let ∇ be the distinguished connection on T M determined by this structure. Then ∇ is a special symplectic connection if and only if any local parabolic contactification of M is locally flat (as a parabolic contact structure).
Proof For a local parabolic contactification M # of M with corresponding infinitesimal automorphism ξ , we have seen in the last part of the proof of Theorem 6 that the contact torsion of the Weyl connection ∇ # determined by ξ coincides with the torsion of ∇. Torsion freeness of ∇ thus implies vanishing of the contact torsion of ∇ # . But by Lemma 4.2.2 of [7], all the harmonic torsion of a parabolic contact structure is contained in the contact torsion, so torsion freeness of ∇ is equivalent to vanishing of the harmonic torsion of the parabolic geometry on M # .
From the discussion of parabolic contact structures in Section 4.2 of [7] it follows that for g not of type A n , vanishing of the harmonic torsion is equivalent to local flatness of the parabolic geometry. On the other hand, by Theorem 4.7 of [4], for g not of type A n , torsion freeness of ∇ is equivalent to ∇ being special symplectic, so the proof is complete in this case.
For g of type A n , Proposition 4.2.3 and the discussion in Section 4.2.4 in [7] show that vanishing of the harmonic torsion of the parabolic geometry on M # is equivalent to torsion freeness of this geometry. Moreover, we can apply part (3) of Theorem 4.2.2 of [7] to ∇ # and conclude that the harmonic curvature component in homogeneity two of this geometry (which is the only remaining component in dimensions ≥ 5) can be recovered as a component of the curvature of ∇ # . This curvature is a two-form with values in End(H ) and one has to restrict this two-form to Λ 2 0 H * ⊂ Λ 2 T * M, the kernel of the Levi bracket within Λ 2 H . This defines a section of the bundle associated to Λ 2 0 g 1 ⊗ g 0 , and one has to further restrict to the kernel of the Kostant-Laplacian on this representation. But on Λ 2 0 H * , one can also compute the curvature via This shows that the relevant component of the curvature of ∇ # is just the pullback of the curvature of ∇. Hence we see that the parabolic contact structure on M # is locally flat if and only if the component of its curvature in the subbundle corresponding to ker( ) ⊂ Λ 2 g 1 ⊗g 0 vanishes identically. This subspace is well known to be the g 0 -irreducible component of maximal highest weight, which immediately implies that this condition is equivalent to vanishing of the Bochner curvature of ∇ and thus the result.

Conformally Fedosov structures and their contactifications
In the previous discussions, we have excluded type C n , since in this case g 0 = csp(g −1 ). This corresponds to the fact that the parabolic contact structure determined by this grading is not defined by a regular infinitesimal flag structure in the sense of Sect. 2.3. The contact grading of sp(2n, R) gives rise to so-called contact projective structures, an analog of classical projective structures. In this section, we discuss a geometric structure refining a conformally symplectic structure, which can be thought of as the PCS-structure associated to the contact grading of sp(2n, R). (It seems to be possible to define a similar concept related to almost conformally symplectic structures, but since contactifications are only available in the conformally symplectic case, we do not pursue this direction here.) Initially, this structure can be described as a projective structure compatible with a conformally symplectic structure. However, there is a counterpart to the vanishing of the first prolongation for PACS-structures, which implies that such a geometry is given by a conformally symplectic structure and a torsion-free affine connection preserving this structure. Locally, such a structure is even equivalent to a symplectic structure together with a torsionfree symplectic connection. These geometries were originally introduced by Eastwood and Slovák (in a slightly different presentation) in the first version of [8] under the name "conformally Fedosov structures", and we will keep this name here.

Projective structures and conformally Fedosov structures
Recall that two torsion-free linear connections ∇ and∇ on the tangent bundle of a smooth manifold M are called projectively equivalent if and only if they have the same geodesics up to parametrization. This can be equivalently characterized as the existence of a one-form ϒ on M such that∇ for all ξ, η ∈ X(M). A projective structure on a smooth manifold M is then defined as a projective equivalence class of torsion-free connections on M. Equivalently, it can be viewed as being given by the family of one-dimensional submanifolds formed by the geodesic paths of the connections in the class. The following characterization is essentially contained in [8], we reproduce it for convenience of the reader. We use abstract index notation as in [8]. Moreover, the connection on induced by the connection ∇ from (iii) is flat with any local closed section being parallel. In particular, locally ∇ is a torsion-free symplectic connection with respect to each of these closed sections.
Proof The formula for the change of the induced connection on two-forms from [8] says that changing from ∇ a to∇ a corresponding to a one-form ϒ a one getŝ If we symmetrize over (a, b),then the last term does not contribute and we get This shows that if the condition in (ii) is satisfied for one connection in the projective class Φ, then it is satisfied for all such connections. Likewise, one easily verifies that if the condition in (ii) is satisfied for one non-vanishing section, then it is satisfied for any section of .
Condition (i) by definition means that there is a connection ∇ a in Φ such that for any local section ω bc of , we have ∇ a ω bc = ϕ a ω bc for some one-form ϕ = ϕ a . Thus (i) implies (ii) and evidently (iii) implies (i), so we can complete the proof by showing that (ii) implies (iii).
To do this, take a local non-vanishing section ω bc of , which is closed as a two-form on M, and any connection ∇ a in the class Φ. Then by (ii) there is a one-form ϕ a such that ∇ (a ω b)c = ϕ (a ω b)c . Passing to the projectively equivalent connection∇ corresponding to ϒ a = 1 3 ϕ a we see from above that∇ (a ω b)c = 0. This means that apart from the apparent skew symmetry in b and c,∇ a ω bc is also skew symmetric in a and b. But this easily implies that the complete alternation of∇ a ω bc is a multiple of∇ a ω bc , and since this alternation coincides with dω = 0, we see that ω is parallel for∇. This implies the existence part of (iii) as well as the last claim.
To prove the uniqueness part of (iii), observe that by part (4) of Proposition 2.3 of [4] every torsion-free connection compatible with has the property that any local closed section of is parallel for the induced connection. But if ω is any such section, then by non-degeneracy ω n = ω ∧· · ·∧ω is a volume form on M, which clearly is parallel for the induced connection. But it is a well-known fact in the theory of projective structures that a projective class can contain at most one connection which leaves some fixed volume form parallel.

Contact projective structures
A parabolic contact structure corresponding to the contact grading of a simple Lie algebra of type C n is a so-called contact projective structure. As discussed above, this geometry is exceptional among parabolic contact structures, since it is not equivalent to an underlying regular infinitesimal flag structure. Rather than that, it can be described in terms of an equivalence class of compatible (partial) connections.
To recall the necessary notions, let M # be a smooth manifold endowed with a contact structure H ⊂ T M # . A partial connection on H is a bilinear operator ∇ : Γ (H ) × Γ (H ) → Γ (H ), which is linear over smooth functions in the first variable and satisfies the usual Leibniz rule in the second variable. So this is like a covariant derivative, but it is possible to differentiate only in directions lying in the contact subbundle. It is no problem to form the induced partial connection on Λ 2 H , and parallel to Sect. 2.9 a partial contact connection is one that preserves Λ 2 0 H . Since the Levi bracket identifies Λ 2 H/Λ 2 0 H with Q = T M # /H , we get an induced partial connection ∇ Q on the line bundle Q.
Using this, one can next associate a projection π : T M # → H to a partial contact connection ∇, see Sections 4.2.2 and 4.2.6 of [7]. This is uniquely characterized by the fact that for ζ ∈ X(M # ) and η ∈ Γ (H ) we have here ζ + H denotes the section of Q determined by ζ and likewise for the Lie bracket. Having this projection we define the contact torsion T : Λ 2 H → H of a partial contact connection ∇ exactly as in Sect. 2.9.
Finally, there is a notion of contact projective equivalence for partial contact connections. Consider a smooth section ϒ of the bundle H * of linear functionals on the contact subbundle. Then using the Levi bracket L, we defineΥ : Q → H by L(Υ(τ ), η) = ϒ(η)τ . Given a partial contact connection ∇ on H , one defines a partial connection∇ on H bŷ One easily verifies directly that this is again a partial contact connection on H . Further, one shows that the projectionπ associated to∇ is given byπ(ζ ) = π(ζ ) + 2Υ(ζ + H ) and this easily implies that∇ and ∇ have the same contact torsion.
One calls two partial contact connections contact projectively equivalent if they are related in the above way. A (torsion-free) contact projective structure on M # is then given by a contact structure together with a class of contact projectively equivalent partial contact connections with vanishing contact torsion. It turns out that such a structure can be equivalently described by a Cartan geometry as discussed in Sect. 2.3, which corresponds to the contact grading of the Lie algebra sp(2n + 2, R). As a group, one can take G = Sp(2n + 2, R) and P ⊂ G the stabilizer of a ray in the standard representation R 2n+2 of G. Then it turns out that G 0 is the conformally symplectic group C Sp(2n, R), see Section 4.2.6 of [7].
Remark 1 1. Similarly to classical projective structures, there is also an interpretation of contact projective equivalence in terms of geodesics in directions tangent to the contact distribution, and a corresponding description of contact projective structures, see [10] and Section 4.2.7 in [7]. 2. In contrast to the case of usual affine connections, it is in general not possible to remove the contact torsion of a partial contact connection without changing its contact geodesics. Hence it is natural to extend the notion of a contact projective structure to the case of non-vanishing contact torsion, see [10]. It turns out that also in this more general setting, one can associate a canonical Cartan geometry to such a structure. The resulting Cartan geometry does not fit into the general scheme of regular normal parabolic geometries, however.

Contactifications of conformally Fedosov structures
Our final task in this article is to establish analogs of Theorems 2, 4 and 5 for contact projective structures and conformally Fedosov structures. This turns out to be rather easy since, as indicated in Sect. 3.1, the projective freedom in a conformally Fedosov structure does not really show up. Likewise, in the setting of contact projective structures, we will always have a preferred infinitesimal automorphism around. As discussed in Sect. 2.9, this determines a preferred Weyl structure and thus a distinguished representative in the contact projective class. Hence we can always relate connections rather than projective equivalence classes, and this works similarly as in the proof of Theorem 6.  Proof Let G # 0 → M # be the natural frame bundle for the contact subbundle H with structure group G 0 = C Sp(2n, R) and let G 0 → M be the natural frame bundle for T M induced by , which also has structure group G 0 , see Section 2.3 of [4]. By construction, there is a tautological soldering form θ ∈ Ω 1 (G 0 , R 2n ). Denoting as before by T −1 G # 0 the preimage of H ⊂ T M # in T G # 0 , we likewise get a tautological soldering form θ # −1 ∈ Γ (L(T −1 G # 0 , R 2n )). By definition, the local flows of ξ are contactomorphisms and hence lift to local principal bundle automorphisms of G # 0 . Differentiating these local flows, we obtain a G 0 -invariant lift ξ 0 ∈ X(G # 0 ) of ξ . As observed in the proof of Theorem 2, the tangent maps of q restrict to linear isomorphisms on the contact subspaces, which provides a G 0 -equivariant lift q 0 : G # 0 → G 0 of q : M # → M. Moreover, by construction the restriction of q 0 to each fiber of G # 0 is injective. As in the proofs of Lemma 1 and Theorem 2, this shows that q 0 is a surjective submersion and that the restriction of p # 0 : G # 0 → M # to any fiber of q 0 is a diffeomorphism onto a fiber of q, so in particular q 0 has connected fibers. Finally, it is easy to see that the tangent spaces to these fibers are spanned by ξ 0 .
1. We can pass to the Cartan geometry determined by the given contact projective structure on M # , which has G # 0 as its underlying G 0 -bundle. The general theory of Weyl structures applies to contact projective structures. Hence as in the proof of Theorem 6, we see that the Weyl structure determined by ξ determines a principal connection formγ # on G # 0 . Here the Weyl connection is an extension of a partial contact connection with vanishing contact torsion, which lies in the contact projective class. Continuing as in the proof of Theorem 6, we can change this to a principal connection form γ # for which ξ 0 is horizontal, and show that this descends to G 0 . Still as in that proof, we can verify that the resulting connection on M is torsion-free and by construction it preserves . So we can use the projective class of this connection to define a conformally Fedosov structure on M.
2. Starting with a conformally Fedosov structure on M, we know from Proposition 2 that there is a unique connection ∇ in the projective class, which preserves the conformally symplectic structure . Then ∇ defines a principal connection γ ∈ Ω 1 (G 0 , g 0 ). Now we can pull back this connection form to G # 0 and then restrict it to T −1 G # 0 . The result is a G 0 -equivariant section of L(T −1 G # 0 , g 0 ) which by construction reproduces the generators of fundamental vector fields. Analogously to the standard construction of induced connections, this gives rise to a partial contact connection ∇ # on H ⊂ T M # . By construction, the local flows Fl ξ 0 t satisfy q 0 • Fl ξ 0 t = q 0 and they preserve the contact distribution H ⊂ T M # . This immediately implies that these flows preserve the pullback of γ and its restriction to the contact distribution and hence the partial contact connection ∇ # . Now let α be the unique contact form on M # such that α(ξ ) = 1 and ω the unique symplectic form on M in the given conformal symplectic class such that q * ω = dα. Consider sections η 1 , η 2 and ζ of H ⊂ T M # which project onto vector fields η 1 , η 2 and ζ on M. Then by definition, the Levi bracket L(η 1 , η 2 ) is equal to α([η 1 , η 2 ])(ξ + H ) = −(ω(η 1 , η 2 ) • q)(ξ + H ). Now by definition of the partial connection on Q induced by ∇ # , we get By construction ∇ # ζ η i is a lift of ∇ ζ η i for i = 1, 2. From Proposition 2, we then know that ∇ω = 0 and inserting this, we easily conclude that ∇ Q (ξ + H ) = 0. Since ξ is an infinitesimal contactomorphism, this implies that the projection π : T M # → H induced by ∇ # satisfies π(ξ ) = 0, which of course determines π completely. Using these facts, we can now continue completely parallel to the proof of Theorem 6. We see that π([η 1 , η 2 ]) ∈ Γ (H ) is the unique section of H lifting [η 1 , η 2 ]. Using this, torsion freeness of ∇ implies that ∇ # has vanishing contact torsion. Hence we can use its contact projective equivalence class to define a contact projective structure on M, and since the flows of ξ even preserve the partial contact connection ∇ # , it is an infinitesimal automorphism of this structure.
3. Let ϕ : M →M be the given morphism of conformally Fedosov structures and let ϕ # : M # →M # be a contactomorphism lifting ϕ. Then the first step of the proof of Theorem 5 shows that (ϕ # ) * ξ = λξ for a nowhere vanishing, locally constant function λ. Now there are natural lifts Φ : G 0 →G 0 and Φ # : G # 0 →G # 0 to the frame bundles and (Φ # ) * ξ 0 = λξ 0 . In view of the constructions of Φ # and q 0 andq 0 , we see that Now a morphism of conformally Fedosov structures preserves both the conformally symplectic structure and the projective class. Hence the uniqueness statement in statement (iii) in Proposition 2 implies that it is also compatible with the (unique) connections in the projective class which preserve the conformally symplectic structures. Hence for their connection forms, we get Φ * γ = γ , which together with the above implies that (Φ # ) * q * 0γ = q * 0 Φ * γ = q * 0 γ . Together with the fact that (Φ # ) * ξ 0 = λξ 0 , this implies that Φ # is compatible with the partial contact connections constructed in (2) and hence in particular with the contact projective structures they generate.
Parallel to Theorem 7, there also is a relation between conformally Fedosov structure and a class of special symplectic connections. The relevant connections here are called symplectic connections of Ricci type, see [1] and [3]. The module of formal curvatures of symplectic connections splits over sp(2n) as a direct sum of the kernel of the Ricci-type contractions and a complementary submodule. A symplectic connection of Ricci type is a torsion-free symplectic connection for which the curvature is concentrated in that complementary submodule.
For a symplectic manifold (M, ω) and a torsion-free symplectic connection ∇, the underlying conformally symplectic and projective structures evidently define a conformally Fedosov structure. On the other hand, for a general conformally Fedosov structure, the connection ∇ from part (iii) of Proposition 2 has curvature in Λ 2 T * M ⊗ sp(T M) by the last part of the proposition. Hence the concept of being of Ricci type makes sense for this connection.

Corollary 1
The distinguished connection ∇ of a conformally Fedosov structure from part (iii) of Proposition 2 is of Ricci type if and only if any local parabolic contactification of the structure is locally flat as a contact projective structure.
Proof Consider a local parabolic contactification q : M # → M. In the construction of the contact projective structure on M # in the proof of part 2 of Theorem 8, we used ∇ to construct a partial contact connection ∇ # on M # . The verifications in that proof actually show that ∇ # is the partial contact connection coming from the Weyl structure determined by the infinitesimal automorphism ξ giving rise to q.
The parabolic geometry determined by a contact projective structure with vanishing contact torsion is well known to be torsion-free, see Section 4.2.6 of [7]. There it is also verified that the only harmonic curvature of a contact projective structure has homogeneity 2 and is a section of the bundle induces by the highest weight subspace in Λ 2 g * −1 ⊗ g 0 , which is exactly the kernel of the Ricci-type contraction. Now using Theorem 4.2.2 of [7], one concludes as in the proof of Theorem 7 that this harmonic curvature can be computed from ∇ # . Using the information from the proof of part 2 of Theorem 8 one deduces as in the proof of Theorem 7 that vanishing of the component is equivalent to vanishing of the corresponding component of the curvature of ∇, which implies the result.

Example
There is an analog of the global contactifications discussed in Sect. 2.6 in the context of conformally Fedosov structures. This actually is the example relevant for the results on integral geometry in [9] which motivate the developments in this series of articles.
Let us realize the standard symplectic form in dimension 2n + 2 as the imaginary part of the standard Hermitian form on C n+1 . This gives rise to an action of G = Sp(2n + 2, R) on C n+1 (which does not preserve the complex structure). Viewing S 2n+1 as the space of real rays in C n+1 we get a transitive action of G, which makes S 2n+1 into the homogeneous model for contact projective structures, compare with Section 4.2.6 of [7]. Now the standard action of U (1) on C n+1 by complex multiplication defines a subgroup in G and hence an action of U (1) on S 2n+1 by automorphisms of the contact projective structure. The tangent space of S 2n+1 in a point corresponding to a ray in C n+1 can be viewed as the quotient of the real vector space C n+1 by the line spanned by the ray. The contact subspaces then correspond to the quotient of the symplectic orthocomplement of the ray by this line. This readily implies that the infinitesimal generator of our U (1)-action is transversal everywhere. Of course the U (1)-action on S 2n+1 admits a global quotient, namely the canonical projection q : S 2n+1 → CP n mapping a real ray in C n+1 to the complex line it spans.
Hence we obtain exactly the same quotient map as in the first example in Sect. 2.6, where we started from the CR-structure on S 2n+1 , which is also preserved by the U (1)-action. It is actually easy to see that the Weyl connections associated to the infinitesimal generator of the U (1)-action via the CR-structure and via the projective contact structure coincide. But this implies that the underlying conformally Fedosov structure on CP n actually is the one determined by the Levi-Civita connection of its Kähler metric.

Remark 2
The last bit of this example actually exhibits a general phenomenon. Suppose that we have a torsion-free PCS-structure (not of type C n ) on a smooth manifold M. Then via Proposition 2, the (torsion-free) canonical connection actually determines an underlying conformally Fedosov structure. This may look surprising, since there is no corresponding construction for an "underlying contact projective structure" associated to a (torsion-free) parabolic contact structure of different type. However, such an underlying structure does become available in the presence of a transversal infinitesimal automorphism. Indeed, one can then consider the Weyl connection determined by this transversal infinitesimal automorphism and restrict it to a partial contact connection. General results then ensure that in the case of a torsion-free parabolic contact structure, this partial contact connection has vanishing contact torsion and hence determines a torsion-free contact projective structure, which is preserved by the given infinitesimal automorphism. Hence a contactification of the initial PCS-structure at the same time defines a contactification of the underlying conformally Fedosov structure.