Cartan’s incomplete classification and an explicit ambient metric of holonomy G2∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathrm{G}_2^*$$\end{document}

In his 1910 “Five Variables” paper, Cartan solved the equivalence problem for the geometry of (2, 3, 5) distributions and in doing so demonstrated an intimate link between this geometry and the exceptional simple Lie groups of type G2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathrm{G}_2$$\end{document}. He claimed to produce a local classification of all such (complex) distributions which have infinitesimal symmetry algebra of dimension at least 6 (and which satisfy a natural uniformity condition), but in 2013 Doubrov and Govorov showed that this classification misses a particular distribution E\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {E}$$\end{document}. We produce a closed form for the Fefferman–Graham ambient metric g~E\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\smash {{\smash {\widetilde{g}}}}}_{\mathbf {E}}$$\end{document} of the conformal class induced by (a real form of) E\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {E}$$\end{document}, expanding the small catalogue of known explicit, closed-form ambient metrics. We show that the holonomy group of g~E\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\smash {{\smash {\widetilde{g}}}_{\mathbf {E}}}$$\end{document} is the exceptional group G2∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\smash {\mathrm{G}}_2^*}$$\end{document} and use that metric to give explicitly a projective structure with normal projective holonomy equal to that group. We also present some simple but apparently novel observations about ambient metrics of general left-invariant conformal structures that were used in the determination of the explicit formula for g~E\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\smash {{\smash {\widetilde{g}}}_{\mathbf {E}}}$$\end{document}.


Introduction
Cartan's most involved application of his powerful method of equivalence was the resolution of the (local) equivalence problem for the geometry of 2-plane distributions D on 5-manifolds M, which he reported in his landmark 1910 "Five Variables" paper [14]. Such distributions that are maximally nonintegrable in the sense that This geometry has proved interesting for numerous reasons: It comprises a first class of distributions with continuous local invariants, it is connected to the geometry of surfaces rolling on one another without slipping or twisting [5,8,10] and hence to natural problems in control theory [2], it is intimately linked (as Cartan showed in the aforementioned article 1 ) to the exceptional simple complex Lie group of type G C 2 and then via the natural inclusion G * 2 → SO (3,4) to conformal geometry [26], and it is the appropriate structure for naturally projectively compactifying strictly nearly (para-)Kähler structures in dimension 6 [21]. (Here, G * 2 denotes the automorphism group of the algebra of split octonions, one of the split real forms of the complex, connected simple Lie group G C 2 .) In turn, via the Fefferman-Graham ambient construction [18] and a general extension theorem [22] these structures can be used to construct metrics of holonomy contained in and sometimes equal to G * 2 . Cartan claimed to classify locally all (implicitly, complex) (2, 3, 5) distributions (M, D) that both (a) have infinitesimal symmetry algebra aut(D) of dimension at least 6 and (b) satisfy a natural uniformity condition called constant root type (see Sect. 3). The algebra aut(D) consists of all vector fields X ∈ (T M) whose flow preserves D, or equivalently, for which L X Y ∈ (D) for all Y ∈ (D). Some 103 years later, Doubrov and Govorov upended this classification [16] by showing that it misses a distribution, which we denote E, and which turns out to be a left-invariant distribution on a particular Lie group. In fact, Doubrov and Govorov reported finding this missing distribution to the author during his preparation of an earlier article [30] that relied on Cartan's classification; this distribution was discussed briefly in Example 38 and Remark 39 in that article, but detailed discussion was deferred to the present article.
Nurowski showed that any (2,3,5) distribution (M, D) canonically induces a conformal structure c D of signature (2, 3) on M [26], and he later showed with Leistner that one can exploit certain distributions of this type to produce explicit ambient metrics g with metric holonomy Hol( g) equal to G * 2 . The ambient metric construction assigns to a conformal structure (M, c) of signature ( p, q) an essentially unique Riemannian metric ( M, g) of signature ( p + 1, q + 1); see Sect. 4.1. Though the ambient metric construction enjoys a satisfying existence theorem, producing an explicit ambient 1 In fact, Cartan [13] and Engel [17] (separately) first discovered this relationship in simultaneous notes in 1893: They gave explicit distributions on C 5 whose infinitesimal symmetry algebras are isomorphic to the complex simple Lie algebra g C 2 , hence furnishing the first explicit realization of an exceptional such algebra. See [3] for a concise history of the topic. metric for a particular conformal structure amounts to solving a formidable nonlinear system of partial differential equations on M, and consequently explicit closed forms for ambient metrics are known only for a few special classes of conformal structures [6], [18,Section 3], [20, Theorem 2.1], [24].
We observe in Sect. 4.2 that in the special case that c is a left-invariant conformal structure on a Lie group, after making certain natural choices the system becomes one of ordinary differential equations. In particular this applies to the left-invariant conformal structure c E determined by E; here we abuse notation by using the same notation E for a particular real distribution, as well as Doubrov and Govorov's missing complex distribution, which is in a sense that can be made precise a complexification of that real distribution. In Sect. 5 we manage to solve explicitly the system of ordinary differential equations determined by c E and hence produce for it an explicit ambient metric g E , and its behavior turns out to be qualitatively different from previous explicit examples; see Remark 5.2. Furthermore, computing using the Ambrose-Singer Theorem gives that the holonomy group of g E is G * 2 , furnishing a new example a metric with that exceptional holonomy group. Finally, we apply some general facts relating ambient metrics to projective structures whose normal tractor connections enjoy orthogonal holonomy reductions [21] to produce from g E an explicit example of a projective structure with normal projective holonomy G * 2 . Many computations whose results are reported here were carried out with Ian Anderson's Maple Package DifferentialGeometry. For reasons including those mentioned in the introduction, the class of distributions that the current article concerns is especially interesting: The geometry of these structures was first studied systematically by Cartan, in his well-known "Five Variables" article [14]. There, he solved the equivalence problem for this geometry by canonically assigning to each such distribution (M, D) a principal Q-bundle E → M and a g * 2 -valued pseudoconnection ω on E, where Q is a particular parabolic subgroup of G * 2 . 3 We here consider (2, 3, 5) distributions whose infinitesimal symmetry algebra is large:

(2, 3, 5) distributions
The Lie algebra aut(D) of all such fields is the infinitesimal symmetry algebra of (M, D).

Monge (quasi)normal form
This geometry admits a local quasinormal form: Any ordinary differential equation can be regarded as a differential system on the partial jet space F 5 where the variables p and q are placeholders respectively for y and y , comprising the canonical forms dy − pdx and dp − q dx, and the particular form dz − F(x, y, p, q, z)dx. These forms are linearly independent at each point, so their common kernel D F is a 2-plane distribution on F 5 xypqz , namely, Concretely, a pair (y(x), z(x)) is a solution of the equation (1) iff its prolongation x → (x, y(x), y (x), y (x), z(x)) is an integral curve of D F . Computing directly shows that D F is a (2, 3, 5) distribution iff the second derivative F qq vanishes nowhere. Goursat showed that every (2, 3, 5) distribution is locally equivalent (around any point) to D F for some F [19,Section 76]. A distribution D F specified by a function F is said to be in Monge (quasi)normal form.

The canonical conformal structure
Nurowski showed that any real (2, 3, 5) distribution (M, D) determines a canonical conformal structure c D on the underlying manifold M [26,Section 5.3], and the argument in that reference shows that Nurowski's construction applies just as well to 3 Since G * 2 is semisimple and Q is parabolic, this geometry is an example of an important class of structures called parabolic geometries. For any such geometry one can encode any structure on a manifold M in a bundle E → M equipped with a canonically determined Cartan connection; see the standard reference [12] for a general treatment of parabolic geometries and Section 4.3.2 there for discussion of the geometry of (2, 3, 5) distributions in this setting. Robert Bryant has observed that the pseudoconnection Cartan produces is not in fact a Cartan connection [9]. establish that a complex (2, 3, 5) distribution induces a complex conformal structure on the underlying manifold.
Nurowski also gave an explicit (and, with a length of about 60 terms, daunting) formula [26, (54)] for a representative of the conformal structure c D F of a distribution D F in Monge normal form; its coëfficients in the coördinate coframe are polynomials of degree 6 and lower in the 4-jet of F.

Cartan's ostensible classification
In [14] Cartan claimed to classify, up to local equivalence, and implicitly in the complex setting, all (2, 3, 5) distributions whose infinitesimal symmetry algebra has dimension at least 6 and which have constant root type: The fundamental curvature invariant of a (2, 3, 5) distribution (M, D)-analogous to the Riemann curvature tensor in Riemannian geometry-is a section A ∈ ( 4 D * ). The value of A at u ∈ M depends on the 4-jet of D at u, and the quantity A is natural in the sense that it is preserved by diffeomorphism. The root type of D at x ∈ M is just the collection of multiplicities of the zeros of A x viewed as a polynomial on the projective line P(D), or if D is real, on P(D⊗C). 4 A distribution has constant root type if the root type is the same for every point, and of course, homogeneous (2, 3, 5) distributions have this property.
The structures he found were the following, organized by root type. (The section numbers indicate the corresponding (sub)sections in [14].) • (Section 8: A identically zero) The flat model (G * 2 /Q, ) of the geometry, which can be realized locally (a) via the algebra of the split octonions [28], (b) as the socalled rolling distribution for two spheres whose radii have ratio 3:1 (see the item for Section 50 below for references), and (c) as the distribution given in Monge normal form F(x, y, p, q, z) = q 2 [26]; aut( ) = g * 2 . • (Section 9: A has a single quadruple root at each point) A class of distributions D I specified by a single function I of one variable. If I is constant then D I is homogeneous and dim aut(D I ) = 7; otherwise dim aut(D I ) = 6 and D I is not homogeneous. In both cases aut(D I ) is solvable. • (Section 11: A has two double roots at each point) A family of distributions parameterized by one complex parameter. Up to isomorphism, three different infinitesimal symmetry algebras occur, all of which have dimension 6.
-(Section 50) A general distribution in the family has infinitesimal symmetry algebra isomorphic to so(3, C)⊕so (3, C). This family includes appropriate complexifications of the rolling distributions of two real surfaces of different nonzero constant curvature whose curvatures do not have ratio 9:1; for that ratio the rolling distribution is flat. See [1,7,8,10,32] for much more. -(Section 51) There is a single distribution with infinitesimal symmetry algebra isomorphic to so(3, C)⊕(so(2, C) C 2 ).
-(Section 52) There is a single distribution with infinitesimal symmetry algebra isomorphic to so(3, C) C 3 . This distribution is locally equivalent to the appropriate complexification of the rolling distribution of a real surface of constant curvature and a plane.

Doubrov-Govorov's distribution
Some 103 years after Cartan's work, Doubrov and Govorov found a complex (2,3,5) distribution E that has 6-dimensional infinitesimal symmetry algebra but which is missing from Cartan's classification. Define a Lie algebra structure h on where (E a ) is any basis, and define E 0 . Doubrov and Govorov integrated these structure equations and produced a Monge normal form for the distribution, given by the function F E (x, y, p, q, z) . . = y + q 1/3 , on a suitable domain. For readability, we use coördinates (x, y, p, r, z), where q = r 3 .
One can verify directly that F E defines a Monge normal form for E by showing that the frame L a defined by satisfies the bracket relations of (E a ) and that the identifications E a ↔ L a identify E with the distribution determined by F E (we henceforth make these identifications locally). Since E is left-invariant, its infinitesimal symmetry algebra aut(E) contains the Lie algebra of right-invariant vector fields on H ; one basis of this subalgebra is Direct computation shows that the vector field − y∂ x + p 2 ∂ p + pr ∂ r − y 2 ∂ z /2, which is not right-invariant, is also in aut(E). Tedious verification shows that this field and the right-invariant fields together span the infinitesimal symmetry algebra and establishes that aut(E) ∼ = sl(2, F) n 3 , where n 3 is the 3-dimensional Heisenberg algebra over F, and hence dim aut(E) = 6.

Ambient metrics
The Fefferman-Graham ambient construction associates to a conformal structure (M, c) of signature ( p, q), dim M = p + q 2, a unique pseudo-Riemannian metric ( M, g) of signature ( p + 1, q + 1). When dim M is odd, this construction is essentially unique, and hence invariants of g (that are independent of the choices made) are also invariants of the underlying conformal structure; indeed, this was the original motivation for the construction [18].

The Fefferman-Graham ambient metric construction
We describe the ambient metric construction for odd dimension n > 1 following [18]. Fix a conformal structure c of dimension n. The metric bundle associated to c is the ray bundle π : G → M defined by The bundle G enjoys a natural topology and smooth structure such that its smooth sections are precisely the representative metrics of c. The natural dilation action R + ×G → G defined by s · g u = δ s (g u ) . . = s 2 g u realizes G as a principal R + -bundle. Also, G admits a tautological symmetric 2-tensor g 0 ∈ ( 2 T * G) defined by (g 0 ) g u (ξ, η) = g u (T g u π ·ξ, T g u π ·η); g 0 annihilates π -vertical vectors and hence is degenerate. By construction, δ * s g 0 = s 2 g 0 .
Fixing a representative g ∈ c trivializes G ↔ R + × M via the identification t 2 g u ↔ (t, u). With respect to this trivialization, the tautological 2-tensor is given by g 0 = t 2 π * g and the dilations by δ s : (t, u) → (st, u). Now, consider the space G×R and denote the standard coördinate on R by ρ. Then, the map ι : G → G×R defined by z → (z, 0) embeds G as a hypersurface in G×R and we identify G with this hypersurface. The dilations δ s extend trivially to G×R, that is, by s ·(g u , ρ) = δ s (g u , ρ) . . = (s 2 g u , ρ). Likewise, a choice of representative g ∈ c determines a trivialization G×R ↔ R + × M ×R that identifies (t 2 g u , ρ) ↔ (t, u, ρ), which in turn defines an embedding M → G×R by u → (1, u, 0) and yields an identification T (G×R) ∼ = R⊕ T M ⊕R. As is conventional, we denote indices corresponding to the factor R + by 0, those corresponding to M by lowercase Latin  letters, a, b, c, . . ., and those corresponding to the factor R by ∞.
A smooth metric g of signature ( p + 1, q + 1) on an open neighborhood M of G in G×R invariant under the dilations δ s , s ∈ R + , is a pre-ambient metric for (M, c) if • it extends g 0 in the sense that ι * g = g 0 , and • it is homogeneous of degree 2 with respect to the dilations δ s , that is, δ * s g = s 2 g. A pre-ambient metric is straight if for all u ∈ M the parameterized curve R + → M defined by s → s ·u is a geodesic. Any (nonempty) conformal structure admits many pre-ambient metrics; Cartan's normalization condition for a conformal connection [15] suggests that Ricci-flatness is a natural distinguishing criterion. Here, we say that a tensor field on M is O(ρ ∞ ) if it vanishes to infinite order in ρ at each point in the zero set G of ρ.
We formulate Fefferman-Graham's existence and uniqueness results for ambient metrics of odd-dimensional conformal structures as follows: The proof of the theorem uses the fact that for any representative g ∈ c we may write any ambient metric g (possibly after restricting to an open, dilation-invariant set containing G) in the normal form where g(u, 0) = g and where we may regard g(u, ρ) as a family of metrics on M depending on the parameter ρ; here and henceforth we suppress notation for pullback by the inclusion M → M determined by g. We want to write the Ricci-flatness condition R = 0 for a metric g on M in normal form: The components R 00 , R 0a , R 0∞ of Ric . . = Ric g with respect to the splitting R + × M ×R of G×R ⊇ M are zero. The vanishing of the remaining components R ab , R a∞ , R ∞∞ is equivalent to a system of (n + 2)(n + 1)/2 partial differential equations in g ab ; these components are given by [18, (3.17)] R ab = ρg ab − ρg cd g ac g bd + 1 2 ρg cd g cd g ab − n 2 − 1 g ab − 1 2 g cd g cd g ab + R ab , R ∞∞ = − 1 2 g cd g cd + 1 4 g cd g e f g ce g d f ; ( here g = g(x, ρ), denotes differentiation with respect to ρ, and ∇ a and R ab respectively denote the Levi-Civita connection and Ricci curvature of g(x, ρ) with ρ fixed. Differentiating these expressions, setting them equal to zero, and then evaluating at ρ = 0 successively determines all of the derivatives ∂ m ρ g| ρ=0 . If the representative g is real-analytic, then the Taylor series of g(u, ρ) about ρ = 0 (that is, along G) converges to a real-analytic ambient metric g on some open subset of M containing G, and in particular Ric = 0.
Despite the existence of ambient metrics that Theorem 4.2 guarantees, explicit examples have been produced for only a few isolated classes of conformal structures [18, Section 3], [20, Theorem 2.1], [24], [23, Section 2], owing in part to the severe nonlinearity of the system Ric = 0. Nurowski produced explicit ambient metrics for the conformal structures induced by a special class of (2, 3, 5) distributions [27] and with Leistner showed that most of these metrics have holonomy G * 2 [25]; the same has been accomplished for a proper superset of this family, namely for the conformal structures induced by the distributions given in Monge normal form by the functions F f,h (x, y, p, q, z) . . = q 2 + f (x, y, p) + h(x, y)z [6].

Ambient metrics of left-invariant conformal structures
The typically intractable problem of computing explicit ambient metrics of particular conformal structures in principle simplifies significantly (but in general remains difficult) in the special case of left-invariant conformal structures on Lie groups. We indicate some of these simplifications here and treat this problem in more detail in a work in progress [31].
Given a Lie group G, let L h : G → G be the left multiplication map k → hk. A conformal structure c on a Lie group G is left-invariant iff L * h c = c for all h ∈ G, that is, iff for any (equivalently, every) representative metric g ∈ c we have L * h g ∈ c. Any such conformal structure contains a distinguished 1-parameter family of representative metrics, namely the left-invariant ones: Any g 0 ∈ c| id determines a unique left-invariant metric g satisfying g| id = g 0 , and by left-invariance g| h ∈ c| h for all h ∈ G, that is, g ∈ c. Since the choice of g 0 ∈ c| id is arbitrary, all left-invariant metrics in c arise this way.
The problem of finding an explicit expression for the ambient metric simplifies in a critical way when writing the ambient metric in normal form (2) with respect to a left-invariant representative metric g.

Proposition 4.3 Let (G, c) be a left-invariant conformal structure on a Lie group of odd dimension n
3 and g ∈ c a left-invariant representative metric, and let (E a ) be any left-invariant frame on G.  , E a , ∂ ρ ) of T G comprise a system of ordinary differential equations in g ab (ρ).
Theorem 4.2 thus guarantees that any ambient metric for a left-invariant conformal structure is, informally, "invariant to infinite order" under the G-action on G specified therein.
Proof (i) Since g is left-invariant it is real-analytic, and hence its local invariants are left-invariant and real-analytic, too, including its Levi-Civita connection ∇, its Ricci curvature Ric, and the covariant derivatives ∇ k Ric thereof. On the other hand, [18,Proposition 3.5] gives that for an ambient metric in normal form (2) each of the derivatives ∂ m ρ g(u, ρ)| ρ=0 of g(u, ρ) is a certain linear combination of contractions of Ricci curvature and its covariant derivatives, and so in particular these derivatives are left-invariant and real-analytic. Thus, so is the real-analytic function g(u, ρ) they define, and hence substituting this function in (2) yields a real-analytic ambient metric g with the specified invariance property. By left-invariance of g ab (h, ρ) and (E a ), for all h ∈ G and coframe elements E a , , so g ab (h, ρ) does not depend on h and hence we may write it as a function g ab (ρ) of ρ alone. (ii) The condition Ric = 0 is equivalent to the vanishing of R ab , R a∞ , and R ∞∞ , so its suffices to express each of those as differential expressions in g ab (ρ) involving only derivatives with respect to ρ. Note that the expression for R ∞∞ in (3) already has this form.
The only term in the expression for R ab in (3) that depends on derivatives of g in directions other than ρ is R ab , the Ricci curvature. Let C c ab be the structure constants of G with respect to the frame (E a ), that is, the unique constants that satisfy [E a , E b ] = C c ab E c for all a, b, c; by the Koszul formula, the Levi-Civita connection ∇ of a left-invariant metric g on G is given by We can use this formula to express the Riemannian curvature tensor R abcd and hence the Ricci curvature R ab as a sum of formal contractions of the metric g ab , its inverse, g ab , and the structure constants, C c ab of G. (The formula is unwieldy so we do not reproduce it here.) By computing directly using (4) again along with the formula for the Levi-Civita connection ∇ of an ambient metric in normal form (2), we can express the component R a∞ in terms of g ab , g ab , g ab , and C c ab , as cd g e f g ab g ce g d f .

Remark 4.4
There is an even-dimensional analogues of Theorem 4.2, but it is more subtle: In short, for a conformal manifold of even dimension n, both formal existence and uniqueness of ambient metrics are guaranteed roughly only to order n/2 in ρ [18, Section 3]. There is a corresponding even-dimensional version of Proposition 4.3 but we delay its precise statement to [31].

Remark 4.5 Any left-invariant bilinear form on G is determined by its restriction to
T id G, which we may identify with the Lie algebra g of G. Thus, we can regard the ambient metric system Ric = 0 as an ordinary differential equation on 2 g * .
on H . . = R + × H ×(−2, ∞) is an ambient metric for the (real) left-invariant conformal structure (H, c E ) induced by the (real) distribution E.
Proof Evaluating the quantity in parentheses at ρ = 0 shows that g E is in normal form with respect to g E , and computing directly shows that Ric . . = Ric g E = 0.
Since solving the system (3) outright is typically difficult, even for left-invariant conformal structures, we indicate briefly a naïve method for producing the explicit solution (6 for this particular case. First, note that for our chosen left-invariant frame (E a ) most of the structure constants C c ab (five of the 50 with a < b) are zero, as are most of the coefficients of the representative metric g E and Ricci curvature After computing the first several derivatives g (m) ab (0) of g ab (ρ) using the algorithm described after (3) some visible patterns emerge. First, only certain components g ab (ρ) have nonzero derivatives among them: Up to the symmetry g ab = g ba , only g 11 , g 13 , g 22 , g 25 , g 33 , g 34 are nonzero. 5 Second, the truncated Taylor series at ρ = 0 of g 25 , g 34 agree. Third, the truncated Taylor series at ρ = 0 of the coëfficients g 11 (ρ), g 13 (ρ), g 22 (ρ), g 33 (ρ) coincide with those of simple rational functions, namely, those in (6).
These observations suggest the ansatz for the quantity g(h, ρ) in the normal form (2) for the ambient metric g of c E . Then, decomposing the equation Ric g = 0 with respect to the frame (∂ t , E a , ∂ ρ ) yields a system of ordinary differential equations in a(ρ). The full system, which has eight nonzero components, is too large to reproduce here, but, e.g., the component Ric g (E 2 , ∂ ρ ) = 0 is a relatively simple first-order equation: This is separable and so can be solved readily by hand, and using the initial value h(0) = g 25 (0) = g 34 (0) = 2 gives the candidate solution a(ρ) = √ 2(2 + ρ). Substituting shows that this candidate is a solution to the system, so the resulting metric g E is indeed an ambient metric for c E .
Remark 5.2 This is a first example of an explicit, closed-form ambient metric not polynomial in the ambient coördinate ρ. Since this article was first uploaded to the arXiv, more examples were produced in [6], including some of the ambient metrics g f,h of conformal structures induced by (2,3,5) distributions D f,h given respectively in Monge normal form by the functions F f,h (x, y, p, q, z) . . = q 2 + f (x, y, p)+h(x, y)z. As an anonymous referee observed, a priori the conformal structure c E may be (locally) equivalent to the conformal structure c f,h induced by a distribution D f,h for some f, h-and hence g E may occur (at least up to local isometry) in the family g f,h -but it turns out this is not the case. We give a proof of this assertion here, in part because the techniques used may be of independent interest.
Suppose there are such f, h. We first show briefly that local equivalence of c E and c f,h implies local equivalence of E and D f,h : Theorem C of [29] states that if for two different (2,3,5) distributions D, D the induced conformal structures satisfy c D = c D then that conformal structure admits a so-called almost Einstein scale (see Section 2.5 of that reference), in which case Proposition A of that reference implies that the normal conformal holonomy of that conformal structure is a proper subgroup of G * 2 . On the other hand, Proposition 5.4 below shows that the metric holonomy Hol( g E ) is equal to G * 2 , and by [ We can thus establish the claim by showing there is no g ∈ c E for which the ambient metric for c E in normal form with respect to g is linear in ρ.
For a general conformal structure c and choice g ∈ c of representative metric consider the Taylor series expansion g(u, ρ) ∼ g(u) + μ (1) (u)ρ + μ (2) (u)ρ 2 + · · · about ρ = 0 of the quantity g(u, ρ) in (2). The first equation in [18, (3.18)] gives that (in dimension 5) the coëfficient μ (2) ab of the quadratic term is −B ab + P a c P bc , where (again specializing to dimension 5) P is the Schouten tensor of g, P ab = (R ab − g cd R cd g ab /8)/3, B is the Bach tensor of g, B ab = P b [c,a] c + P cd W cabd , and W is the Weyl tensor of g. Using the conformal invariance of W and the conformal transformation laws for B and P [18, pp. 56, 71, resp.] thus yields a formula for the coëfficient μ (2) of the Taylor series expansion of the quantity g(u, ρ) in (2) for an ambient metric in normal form with respect to the general representative e 2ϒ g ∈ c in terms of the arbitrary smooth function ϒ and g and its tensor invariants. (The formula is unwieldy and unenlightening, so we do not reproduce it here.) In the case of the metric g E ∈ c E , computing gives, for example, that μ (2) (E 1 , E 1 ) = −e −2ϒ /2, which does not vanish for any ϒ. Thus, c E admits no representative metric with respect to which the normal-form ambient metric is linear in ρ, and hence it cannot be conformally equivalent to c f,g for any f, g.

G * 2 holonomy
Here we show that the metric g E produced in the previous subsection has holonomy equal to G * 2 . We use the following theorem: Theorem 5.3 ([22, Theorem 1.1]) Let D be an oriented, real-analytic (2, 3, 5) distribution. Then, the metric holonomy Hol( g D ) of any real-analytic ambient metric g D for the conformal structure c D is contained in G * 2 .

Proposition 5.4
The metric holonomy Hol( g E ) of the ambient metric ( H , g E all such distributions (in a sense that can be made precise), they do not all hold for E, and hence that result cannot be used to prove Proposition 5.4: One of the conditions is that there is a point u at which the fundamental curvature A u does not have a multiple root in D u ⊗C, but as we found in the proof of Proposition 3.1 for E the fundamental curvature has a quadruple root at every point.

5.2
Projective structure with normal projective holonomy G *

2
By [21] we may regard the real-analytic ambient manifold of a real-analytic conformal structure of odd dimension n 3 and signature ( p, q) as the so-called Thomas cone of a projective structure of dimension n + 1, which is defined on the space of orbits of the R + -action defined by the dilations δ s . This identifies the Levi-Civita connection of the ambient metric with the normal tractor connection-a natural, projectively invariant vector bundle connection on a particular vector bundle of rank n + 2 over and canonically associated to the projective manifold-whose holonomy is thus reduced to O( p + 1, q + 1). Thus, the metric g E can be used to construct an explicit 6-dimensional projective structure (H ×(−2, ∞), p) whose normal projective holonomy is equal to G * 2 . Computing the connection forms of ∇ and applying the formula in [21, Remark 6.6] (using the section H ×(−2, ∞) → H ↔ R + × H ×(−2, ∞) with image {t = 1}) gives an explicit representative connection ∇ in p; the connection is characterized by the covariant derivative formulae in the "Appendix".
Example 7.1 of [21] also gives a 1-parameter family of nontrivial 6-dimensional projective structures with normal holonomy contained in G * 2 , but for every member of that family the containment is proper.
6 Appendix: Data for the connection in Sect.

5.2
Here we give the nonzero connection forms ω c ab of the connection ∇ defined in Sect. 5.2 in the frame (E 1 , . . . , E 6 ), where we set E 6 = ∂ ρ , on H ×(−2, ∞). These are characterized by ∇ E a E b = ω c ab E c . .