Journal of Nonlinear Mathematical Physics

Volume 28, Issue 1, March 2021, Pages 1 - 13

Nurowski’s Conformal Class of a Maximally Symmetric (2,3,5)-Distribution and its Ricci-flat Representatives

Authors
Matthew Randall*
Institute of Mathematical Sciences, ShanghaiTech University, 393 Middle Huaxia Road, Shanghai 201210, China
Corresponding Author
Matthew Randall
Received 2 September 2019, Accepted 23 January 2020, Available Online 10 December 2020.
DOI
10.2991/jnmp.k.200922.001How to use a DOI?
Keywords
(2,3,5)-distributions; Nurowski’s conformal structure; generalised Chazy equation
Abstract

We show that the solutions to the second-order differential equation associated to the generalised Chazy equation with parameters k = 2 and k = 3 naturally show up in the conformal rescaling that takes a representative metric in Nurowski’s conformal class associated to a maximally symmetric (2,3,5)-distribution (described locally by a certain function φ(x,q)=q2H(x) ) to a Ricci-flat one.

Copyright
© 2020 The Author. Published by Atlantis Press B.V.
Open Access
This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).

The article concerns the occurrence of the k = 2 and k = 3 generalised Chazy equation in a geometric setting, closely connected to the occurrence of the solutions of the generalised Chazy equation with parameters k=23 and k=32 respectively. We first discuss the set-up in which the differential equations will appear. This concerns the theory of maximally non-integrable rank 2 distribution 𝒟 on a 5-manifold M. The maximally non-integrable condition of 𝒟 determines a filtration of the tangent bundle TM given by

𝒟[𝒟,𝒟][𝒟,[𝒟,𝒟]]TM.

The distribution [𝒟,𝒟] has rank 3 while the full tangent space TM has rank 5, hence such a geometry is also known as a (2,3,5)-distribution. Let Mxyzpq denote the 5-dimensional mixed order jet space J2,0(𝕉,𝕉2)J2(𝕉,𝕉)×𝕉 with local coordinates given by (x, y, z, p, q) = (x, y, z, y′,y″) (see also [15], [16]). Let 𝒟φ(x,y,z,y,y) denote the maximally non-integrable rank 2 distribution on Mxyzpq associated to the underdetermined differential equation z′ = φ(x, y, z, y′,y″). This means that the distribution is annihilated by the following three 1-forms

ω1=dy-pdx,ω2=dp-qdx,ω3=dz-φ(x,y,z,p,q)dx.

Such a distribution 𝒟φ(x,y,z,y,y) is said to be in Monge normal form (see page 90 of [15]). In Section 5 of [11], it is shown how to associate canonically to such a (2,3,5)-distribution a conformal class of metrics of split signature (2,3) (henceforth known as Nurowski’s conformal structure or Nurowski’s conformal metrics) such that the rank 2 distribution is isotropic with respect to any metric in the conformal class. The method of equivalence [5] (also see the introduction to [3], Section 5 of [11], [14] and [10]) produces the 1-forms (θ1, θ2, θ3, θ4, θ5) that gives a coframing for Nurowski’s metric. These 1-forms satisfy the structure equations

dθ1=θ1(2Ω1+Ω4)+θ2Ω2+θ3θ4,dθ2=θ1Ω3+θ2(Ω1+2Ω4)+θ3θ5,dθ3=θ1Ω5+θ2Ω6+θ3(Ω1+Ω4)+θ4θ5,dθ4=θ1Ω7+43θ3Ω6+θ4Ω1+θ5Ω2,dθ5=θ2Ω7-43θ3Ω5+θ4Ω3+θ5Ω4, (0.1)
where (Ω1, …, Ω7) and two additional 1-forms (Ω8, Ω9) together define a rank 14 principal bundle over the 5-manifold M (see [5] and Section 5 of [11]). A representative metric in Nurowski’s conformal class [11] is given by
g=2θ1θ5-2θ2θ4+43θ3θ3. (0.2)

When g has vanishing Weyl tensor, the distribution is called maximally symmetric and has split G2 as its group of local symmetries. For further details, see the introduction to [3] and Section 5 of [11]. For further discussion on the relationship between maximally symmetric (2,3,5)-distributions and the automorphism group of the split octonions, see Section 2 of [15].

The historically important example is the Hilbert-Cartan distribution obtained when φ (x, y, z, p, q) = q2 [5]. This distribution gives the flat model of a (2,3,5)-distribution and is associated to the Hilbert-Cartan equation z′ = (y″)2 (see Section 5 of [11] for a discussion of this equation). When φ (x, y, z, p, q) = qm, we obtain the distribution associated to the equation z′ = (y″)m. For such distributions, Nurowski’s metric [11] given by (0.2) has vanishing Weyl tensor precisely when m{-1,13,23,2} . For the values of m=-1,13and23 the maximally symmetric distributions are all locally diffeomorphic to the m = 2 Hilbert-Cartan case.

In this article, we consider distributions of the form φ(x,y,z,p,q)=q2H(x) . The Weyl tensor vanishes in the case where H(x) satisfies the 6th-order ordinary differential equation (ODE) known as Noth’s equation [3]. For such maximally symmetric distributions we find the corresponding Ricci-flat representatives in Nurowski’s conformal class. This involves solving a second-order differential equation (see Proposition 35 of [15]) to find the conformal scale in which the Ricci tensor of the conformally rescaled metric vanishes, which turns out to be related to the solutions of Noth’s equation. The 6th-order ODE can be solved by the generalised Chazy equation with parameter k=32 and its Legendre dual is another 6th-order ODE that can be solved by the generalised Chazy equation with parameter k=23 [12].

We find the second-order differential equation that determines the conformal scale for Ricci-flatness involves solutions of the generalised Chazy equation with parameter k = 3 and in the dual case k = 2. This is the content of Theorems 3.1 and 3.2 in Section 3. We also give few remarks concerning the case for other parameters of k in Section 4.

The aim of finding Ricci-flat representatives is motivated by the consideration that in the Ricci-flat, conformally flat case, we might be able to integrate the structure equations and redefine local coordinates to obtain the Hilbert-Cartan distribution. This is possible for the distributions of the form φ (x, y, z, p, q) = qm, with m{-1,13,23} (see [9]), but would require further investigations in the general setting.

The computations here are done using the indispensable DifferentialGeometry package in Maple 2018.

1. DERIVING THE EQUATION FOR RICCI-FLATNESS

We consider the rank 2 distribution 𝒟φ(x,q) on Mxyzpq associated to the underdetermined differential equation z′ = φ(x, y″) where φ(x,y)=(y)2H(x) and H″(x) is a non-zero function of x. This is to say that the distribution 𝒟φ(x,q) is annihilated by the three 1-forms

ω1=dy-pdx,ω2=dp-qdx,ω3=dz-φ(x,q)dx,
where φ(x,q)=q2H(x) . These three 1-forms are completed to a coframing on Mxyzpq by the additional 1-forms
ω4=dq-H(3)Hqdx,ω5=-H2dx.

Taking appropriate linear combinations, we let

θ1=ω3-2Hqω2,θ2=ω1,θ3=(2H)13ω2,
with
θ4=(2H)23ω4+a41θ1+a42θ2+a43θ3
and
θ5=(2H)23ω5+a51θ1+a52θ2+a53θ3.

Imposing Cartan’s structure equations (0.1) on (θ1, θ2, θ3, θ4, θ5) then gives the constraints a51 = a53 = 0 and a41 = a52, which we can set both to be zero, and we also find a42=130223(3HH(4)-5(H(3))2)(H)83 and a43=-213H(3)3(H)43 . We obtain the 1-forms (θ1, θ2, θ3, θ4, θ5) that give a coframing for a metric in Nurowski’s conformal class [11], related to the 1-forms (ω1, ω2, ω3, ω4, ω5) as follows:

(θ1θ2θ3θ4θ5)=(0-2qH100100000(2H)13000223(3HH(4)-5(H(3))2)30(H)83-223H(3)3(H)530(2H)2300000(2H)23)(ω1ω2ω3ω4ω5).

The metric g=2θ1θ5-2θ2θ4+43θ3θ3 is conformally flat, i.e. the metric g has vanishing Weyl tensor if and only if H(x) is a solution to the 6th-order nonlinear differential equation

10(H)3H(6)-70(H)2H(3)H(5)-49(H)2(H(4))2+280H(H(3))2H(4)-175(H(3))4=0. (1.1)

This equation is called Noth’s equation [3]. In this case the distribution of the form 𝒟φ(x,q) is maximally symmetric and in the paper we will concern ourselves with the problem of finding Ricci-flat representatives in the conformal class of metrics associated to this distribution.

The explicit form of the metric given by the distribution 𝒟φ(x,q) is as follows. If we replace H(x)=e23P(x)dx , then we find that equation (1.1) reduces to the k=32 generalised Chazy equation

P-2PP+3P2-436-(32)2(6P-P2)2=0,
and we find that the conformally rescaled metric g˜=2-23(H)23g has the form
g˜=-215(P-49P2)ω1ω1+49Pω1ω2+43ω2ω2+2ω3ω5-2ω1ω4-4qe-23Pdxω2ω5.

We can reexpress this metric as

g˜=-215(P-16P2)ω1ω1+43(P6ω1+ω2)(P6ω1+ω2)+2ω3ω5-2ω1ω4-4qe-23Pdxω2ω5.

By defining the new coframes

ω˜3=e2P3dxω3,ω˜5=e-2P3dxω5,
and making the further substitution Q = P2 − 6P′, we get the following cosmetic improvement for g˜ :
g˜=145Qω1ω1+43(P6ω1+ω2)(P6ω1+ω2)+2ω˜3ω˜5-2ω1ω4-4qω2ω˜5.

From this we can rescale the metric g˜ further by a conformal factor Ω to obtain a Ricci-flat representative. When Ric(Ω2g˜)=0 , we say that Ω2g˜ is a Ricci-flat representative of Nurowski’s conformal class. We find that Ω2g˜ is Ricci-flat when Ω satisfies the second-order differential equation

ΩΩ-2(Ω)2-23PΩΩ-118P2Ω2-130QΩ2=0.

We make the substitution Ω=1ρe-13Pdx to obtain

ρ-145Qρ=0, (1.2)
where ρ(x) is to be determined.

The function H(x) is related to another function F(x˜) by a Legendre transformation [3], [12]. We say that F(x˜) is the Legendre dual of H(x) determined by the relation H(x)+F(x˜)=xx˜ . This implies x˜=H(x) with dx˜=Hdx and H=1Fx˜x˜ . We can make use of this transformation to write dx=Fx˜x˜dx˜ . The Legendre dual of the distribution 𝒟φ(x,q) is therefore given by the annihilator of the three 1-forms

ω1=dy-pFx˜x˜dx˜,ω2=dp-qFx˜x˜dx˜,ω3=dz-q2(Fx˜x˜)2dx˜
on the mixed jet space with local coordinates (x˜,y,z,p,q) . Relabelling x˜ with x, we have
ω1=dy-pFdx,ω2=dp-qFdx,ω3=dz-q2(F)2dx.

Here F now becomes a function of x. These three 1-forms are completed to a coframing on M with local coordinates (x, y, z, p, q) by the additional 1-forms

ω4=dq+FFqdx,ω5=-12dx.
(These are the Legendre transformed 1-forms ω4 and ω5). Similar as before, we consider the linear combinations
θ1=ω3-2Fqω2,θ2=ω1,θ3=(2F)13ω2,
with
θ4=(2F)23ω4+b41θ1+b42θ2+b43θ3
and
θ5=(2F)23ω5+b51θ1+b52θ2+b53θ3.

Imposing Cartan’s structure equations (0.1) on (θ1,θ2,θ3,θ4,θ5) once again gives b51 = b53 = 0 and b41 = b52, which we set to be zero. We also have

b42=-130223(3FF(4)-4(F(3))2)(F)103andb43=213F(3)3(F)53.

We obtain the 1-forms (θ1, θ2, θ3, θ4, θ5) that give a coframing for a metric in Nurowski’s conformal class [11], related to the 1-forms (ω1, ω2, ω3, ω4, ω5) as follows:

(θ1θ2θ3θ4θ5)=(0-2Fq100100000(2F)13000-223(3FF(4)-4(F(3))2)30(F)103223F(3)3(F)430(2F)2300000(2F)23)(ω1ω2ω3ω4ω5).

A representative metric of Nurowski’s conformal class is again given by (0.2). The condition that the metric g is conformally flat, i.e. the metric g has vanishing Weyl tensor, occurs when F(x) is a solution to the nonlinear differential equation

10(F)3F(6)-80(F)2F(3)F(5)-51(F)2(F(4))2+336F(F(3))2F(4)-224(F(3))4=0. (1.3)

If we replace F(x)=e12P(x)dx , then we find that the conformally rescaled metric g˜=213(F)-23g has the form

g˜=130(6P-P2)e-Pdxω1ω1-23Pe-12Pdxω1ω2+83ω2ω2+4ω3ω5-4ω1ω4-8qe12Pdxω2ω5. (1.4)

Here equations (1.3) is reduced to the generalised Chazy equation

P-2PP+3P2-436-(23)2(6P-P2)2=0
for P(x) with parameter k=23 . From the form of the metric g˜ we can locally rescale the metric again by a conformal factor to obtain Ricci-flat representatives.

We find that the Ricci tensor of Ω2g˜ is zero when Ω satisfies

40ΩΩ-80(Ω)2-6Ω2P+Ω2P2=0.

If we make the substitution Ω=1η , then we obtain the differential equation

η-140Qη=0 (1.5)
where Q = P2 − 6P′ and η is to be determined. From the form of the metric g˜ in (1.4), we can also define new coframes by
ω˜1=e-P2dxω1=dyF-pdx,ω˜2=ω2=dp-qFdx,ω˜3=e-P2dxω3=dzF-q2Fdx,ω˜4=eP2dxω4=Fdq+qFdx,ω˜5=eP2dxω5=-F2dx.

We have used that e-P2dx=1F . Also replacing 6P′P2 = −Q, this gives the cosmetic improvement for g˜ :

g˜=-Q30ω˜1ω˜1-2P3ω˜1ω˜2+83ω˜2ω˜2+4ω˜3ω˜5-4ω˜1ω˜4-8qω˜2ω˜5.

We now investigate the solutions to (1.2) and (1.5). They are given by Theorems 3.1 and 3.2. We first review some results about the solutions to the generalised Chazy equation.

2. GENERALISED CHAZY EQUATION

The generalised Chazy equation with parameter k is given by

y-2yy+3y2-436-k2(6y-y2)2=0
and Chazy’s equation
y-2yy+3y2=0
is obtained in the limit as k tends to infinity. The generalised Chazy equation was introduced in [6], [7] and studied more recently in [8], [1], [2] and [4]. The generalised Chazy equation with parameters k=23,32,2and3 was also further investigated in [13]. The solution to the generalised Chazy equation is given as follows (see also Table 2 in Section 3.3 of [4] and Proposition 2.2 of [13]). Let
w1=-12ddxlogss(s-1),w2=-12ddxlogss-1,w3=-12ddxlogss,
where s = s (α, β, γ, x) is a solution to the Schwarzian differential equation
{s,x}+12(s)2V=0 (2.1)
and
{s,x}=ddx(ss)-12(ss)2
is the Schwarzian derivative with the potential V given by
V=1-β2s2+1-γ2(s-1)2+β2+γ2-α2-1s(s-1). (2.2)

The combination y = −2w1 − 2w2 − 2w3 solves the generalised Chazy equation when

(α,β,γ)=(13,13,2k)or(2k,2k,2k). (2.3)

This combination corresponds to cases 1(b) and 3(b) of Table 2 in [4]. The combination y = −w1 − 2w2 − 3w3 solves the generalised Chazy equation when

(α,β,γ)=(1k,13,12)or(1k,2k,12)or(1k,13,3k), (2.4)
with permutations of w1, w2 and w3 in y corresponding to permutations of the values α, β and γ in (α, β, γ ). This combination corresponds to cases 1(a), 2(a) and 2(b) of Table 2 in [4]. The combination y = −w1w2 − 4w3 solves the generalised Chazy equation whenever
(α,β,γ)=(1k,1k,4k)or(1k,1k,23), (2.5)
again permuting w1, w2 and w3 in y corresponds to permuting the values α, β, γ in (α, β, γ ). This combination corresponds to cases 2(c) and 3(a) of Table 2 in [4]. Following [1], the functions w1, w2 and w3 satisfy the following system of differential equations:
w1=w2w3-w1(w2+w3)+τ2,w2=w3w1-w2(w3+w1)+τ2,w3=w1w2-w3(w1+w2)+τ2, (2.6)
where
τ2=α2(w1-w2)(w3-w1)+β2(w2-w3)(w1-w2)+γ2(w3-w1)(w2-w3).

The second-order differential equation associated to the generalised Chazy equation with parameter k is given by

uss+14Vu=0 (2.7)
with the same potential V as given in (2.2) and (α, β, γ) is one of the triples in (2.3), (2.4) or (2.5). The equation (2.7) corresponds to the general solution of the Schwarzian differential equation (2.1) after interchanging dependent and independent variables [8]. In this case x=u2u1 where u1 and u2 are linearly independent solutions to (2.7). Using the further substitution u(s)=(s-1)1-γ2s1-β2z(s) , the equation (2.7) can be brought to the hypergeometric differential equation
s(1-s)zss+(c-(a+b+1)s)zs-abz=0
with
a=12(1-α-β-γ),b=12(1+α-β-γ),c=1-β.

From the differential equations (2.6), we can recover s by s=w1-w3w2-w3 . From this we deduce s′ = 2(w1w2)s and we also obtain the relation ds = 2(w1w2)sdx.

3. MAIN RESULTS: SOLVING THE EQUATIONS FOR RICCI-FLATNESS

In this section we give the general solution to the differential equation (1.2) where Q = P2 – 6P′ and P is a solution of the k=32 generalised Chazy equation in Theorem 3.1 and the general solution to the differential equation (1.5) where again Q = P2 – 6P′ and P is a solution of the k=23 generalised Chazy equation in Theorem 3.2. We first prove the following theorem.

Theorem 3.1.

The solution to the differential equation

ρ-145Qρ=0,
where Q = P2 – 6P′ and P is a solution to the k=32 generalised Chazy equation, is given by ρ=uv where v is the solution to the second-order differential equation associated to the k=32 generalised Chazy equation and u is a solution to the second-order differential equation associated to the k = 3 generalised Chazy equation.

Proof. To prove the claim, we consider the second-order differential equation of the form

vss+14Vv=0 (3.1)
associated to the generalised Chazy equation with parameter k=32 , where V is the function given by
V=1-β2s2+1-γ2(s-1)2+β2+γ2-α2-1s(s-1)
and (α, β, γ) is one of the triples in (2.3), (2.4) or (2.5) with k=32 . We find that v = v(s(x)) as a function of x satisfies
vxx-2(w1-w2-w3)vx-((α2-1)w12+(β2-1)w22+(γ2-1)w32)v+((α2+β2-γ2-1)w1w2+(α2-β2+γ2-1)w1w3-(α2-β2-γ2+1)w2w3)v=0. (3.2)

We have used that

dds=(w2-w3)2(w1-w2)(w1-w3)ddx
and the differential equations (2.6). Furthermore, the Wronskian W = v1(v2)sv2(v1)s of the solutions to the differential equation (3.1) satisfies Ws = 0, so W = c0 and we have
v12=2c0(w1-w2)s
from the consideration that s=2(w1-w2)s=v12W . We also obtain from the differential equation the Wronskian W=v(s(x))22(w1-w2)s(x) satisfies, that
vx-v(w1-w2-w3)=0. (3.3)

This equation implies the differential equation (3.2) for v above, by using the fact that the wi’s satisfy the differential equations (2.6).

Upon making the substitution ρ=u(x)v(x) into equation (1.2), and using equation (3.3), we obtain a differential equation for u(x) of the form

uxx-2(w1-w2-w3)ux-((α˜2-1)w12+(β˜2-1)w22+(γ˜2-1)w32)u+((α˜2+β˜2-γ˜2-1)w1w2+(α˜2-β˜2+γ˜2-1)w1w3-(α˜2-β˜2-γ˜2+1)w2w3)u=0,
which is the same differential equation for v with different constants α˜ , β˜ , γ˜ . We claim that this is the differential equation uss+14V˜u=0 associated to the generalised Chazy equation with parameter k = 3, with
V˜=1-β˜2s2+1-γ˜2(s-1)2+β˜2+γ˜2-α˜2-1s(s-1)
and (α˜,β˜,γ˜) is one of the triples in (2.3), (2.4) or (2.5) with k = 3. We compute the triples (α˜,β˜,γ˜) when Q = P2 − 6P′ and P is the solution of the generalised Chazy equation with parameter k=32 . Fixing (α, β, γ ) to be one of the triples in (2.3), (2.4) or (2.5) determines the values α˜ , β˜ , γ˜ up to sign. Specialising to the case where k=32 , we obtain the following:

For the solutions given by P = −2w1−2w2−2w3, when (α,β,γ)=(43,43,43) , we find (α˜,β˜,γ˜)=(23,23,23) . When (α,β,γ)=(43,13,13) , we find (α˜,β˜,γ˜)=(23,13,13) .

For the solutions given by P = −w1−2w2−3w3, when (α,β,γ)=(23,13,12) , we find (α˜,β˜,γ˜)=(13,13,12) . When (α,β,γ)=(23,43,12) , we find (α˜,β˜,γ˜)=(13,23,12) . When (α,β,γ)=(23,13,2) , we find (α˜,β˜,γ˜)=(13,13,1) .

Finally, for the solutions given by P = −4w1w2w3, when (α,β,γ)=(23,23,23) , we find (α˜,β˜,γ˜)=(23,13,13) . When (α,β,γ)=(83,23,23) , we find (α˜,β˜,γ˜)=(43,13,13) .

The values of (α˜,β˜,γ˜) are precisely the triples (2.3), (2.4) or (2.5) that show up in the solutions of the k = 3 generalised Chazy equation. See [13] for the list of (α˜,β˜,γ˜) when k = 3.

The determination of solutions to equation (1.5) is similar to that of Theorem 3.1.

Theorem 3.2.

The solution to the differential equation

η-140Qη=0, (3.4)
where Q = P2 − 6P′ and P is a solution of the k=23 generalised Chazy equation, is given by η=uv , where v is a solution to the second-order differential equation associated to the k=23 generalised Chazy equation and u is a solution to the second-order differential equation associated to the k = 2 generalised Chazy equation.

Proof. The proof of the claim is similar to the proof of the previous theorem. From the differential equation of the form vss+14Vv=0 associated to the k=23 generalised Chazy equation, where V is the function given by

V=1-β2s2+1-γ2(s-1)2+β2+γ2-α2-1s(s-1),
and (α, β, γ) is one of the triples in (2.3), (2.4) or (2.5) with k=23 , we find that v=v(s(x)) as a function of x satisfies
vxx-2(w1-w2-w3)vx-((α2-1)w12+(β2-1)w22+(γ2-1)w32)v+((α2+β2-γ2-1)w1w2+(α2-β2+γ2-1)w1w3-(α2-β2-γ2+1)w2w3)v=0. (3.5)

Like in the proof of Theorem 3.1, it can also be deduced that (3.3) holds for v, i.e.

vx-v(w1-w2-w3)=0, (3.6)
which again implies the differential equation (3.5) for v above, by using the fact that the wi’s satisfy the differential equations (2.6).

Upon making the substitution η=u(x)v(x) into equation (3.4), and using equation (3.6), we obtain a differential equation for u(x) again given by

uxx-2(w1-w2-w3)ux-((α˜2-1)w12+(β˜2-1)w22+(γ˜2-1)w32)u+((α˜2+β˜2-γ˜2-1)w1w2+(α˜2-β˜2+γ˜2-1)w1w3-(α˜2-β˜2-γ˜2+1)w2w3)u=0, (3.7)
which is the same differential equation for v but with different constants α˜ , β˜ , γ˜ . Equation (3.7) corresponds to the second-order differential equation uss+14V˜u=0 associated to the k = 2 generalised Chazy equation, with
V˜=1-β˜2s2+1-γ˜2(s-1)2+β˜2+γ˜2-α˜2-1s(s-1)
and (α˜,β˜,γ˜) is one of the triples in (2.3), (2.4) or (2.5) with k = 2. To see this, we shall compute these constants when Q = P2−6P′ and P is the solution of the generalised Chazy equation with parameter k=23 . Specialising to the case where k=23 , we obtain the following:

For the solutions given by P = −2w1−2w2−2w3, when (α, β, γ ) = (3, 3, 3), we find (α˜,β˜,γ˜)=(1,1,1) . When (α,β,γ)=(3,13,13) , we find (α˜,β˜,γ˜)=(1,13,13) .

For the solutions given by P=-w1-2w2-3w3 , when (α,β,γ)=(32,13,12) , we find (α˜,β˜,γ˜)=(12,13,12) . When (α,β,γ)=(32,3,12) , we find (α˜,β˜,γ˜)=(12,1,12) . When (α,β,γ)=(32,13,92) , we find (α˜,β˜,γ˜)=(12,13,32) .

Finally, for the solutions given by P = −4w1w2w3, when (α,β,γ)=(23,32,32) , we find (α˜,β˜,γ˜)=(23,12,12) . When (α,β,γ)=(6,32,32) , we find (α˜,β˜,γ˜)=(2,12,12) .

The values of (α˜,β˜,γ˜) are again precisely the triples (2.3), (2.4) or (2.5) that show up in the solutions of the k = 2 generalised Chazy equation. See also [13] for the list of (α˜,β˜,γ˜) when k = 2.

4. SOLUTION TO THE EQUATION FOR RICCI-FLATNESS FOR GENERAL CHAZY PARAMETER

More generally, when P is a solution to the generalised Chazy equation with parameter k, the metric g is no longer conformally flat but we can still find the conformal scale for which the Ricci tensor vanishes.

In the case of (1.2) with solutions given by ρ=uv where v is the second-order differential equation associated to the generalised Chazy equation with parameter k, we find that u is a solution to the second-order differential equation associated to the generalised Chazy equation with parameter k˜ with

45k˜2-9k2=1. (4.1)

The values (α, β, γ) appearing in V in the differential equation vss+14Vv=0 are related to the values (α˜,β˜,γ˜) appearing in V˜ in the differential equation uss+14V˜u=0 by the following. For the solutions given by P = −2w1−2w2−2w3, when (α,β,γ)=(2k,2k,2k) , we find (α˜,β˜,γ˜) with

454α˜2-(3k)2=1,454β˜2-(3k)2=1,454γ˜2-(3k)2=1...

When (α,β,γ)=(2k,13,13) , we find (α˜,β˜,γ˜) with

454α˜2-(3k)2=1
and β˜=13 , γ˜=13 . Here and subsequently, we consider the positive square root that gives positive α˜ , β˜ and γ˜ .

For the solutions given by P = −w1−2w2−3w3, when (α,β,γ)=(1k,13,12) , we find (α˜,β˜,γ˜) with

45α˜2-(3k)2=1,β˜=13,γ˜=12.

When (α,β,γ)=(1k,2k,12) , we find (α˜,β˜,γ˜) with

45α˜2-(3k)2=1,454β˜2-(3k)2=1,γ˜=12.

When (α,β,γ)=(1k,13,3k) , we find (α˜,β˜,γ˜) with

45α˜2-(3k)2=1,β˜=13,5γ˜-(3k)2=1.

Finally for the solutions given by P = −4w1w2w3, when (α,β,γ)=(4k,1k,1k) , we find (α˜,β˜,γ˜) with

4516α˜2-(3k)2=1,45β˜2-(3k)2=1,45γ˜2-(3k)2=1.

When (α,β,γ)=(23,1k,1k) , we find (α˜,β˜,γ˜) with

α˜=23,45β˜2-(3k)2=1,45γ˜2-(3k)2=1.

In all cases the appropriate substitution of α˜ , β˜ and γ˜ in terms of the Chazy parameter k˜ gives equation (4.1), so it can be seen that the equation for u is the second-order differential equation associated to the generalised Chazy equation with parameter k˜ , related to k by (4.1). The further substitution k=3m and k˜=3m˜ into (4.1) gives

5m˜2-m2=1,
which has integer solutions when considered as a negative Pell equation. For integer solutions m and m˜ we obtain
m=±(12(2+5)2n+1+12(2-5)2n+1),m˜=±(510(2+5)2n+1-510(2-5)2n+1).

They take on values (m,m˜) = (2, 1), (38, 17), (682, 305), (12238, 5473) and so on for n𝕅{0} . They also give the corresponding pairs of Chazy parameters (k,k˜)=(32,3),(338,317) and so on, with the fundamental solution (n = 0) agreeing with the result of Theorem 3.1 in the conformally flat case.

In the case of (1.5) with solutions given by η=uv where v is the second-order differential equation associated to the generalised Chazy equation with parameter k, we find that u is a solution to the second-order differential equation associated to the generalised Chazy equation with parameter k˜ with

40k˜2-4k2=1. (4.2)

In this case we obtain the relationship between the values (α, β, γ ) and (α˜,β˜,γ˜) as follows. For P = −2w1−2w2−2w3, when (α,β,γ)=(2k,2k,2k) , we find (α˜,β˜,γ˜) with

10α˜2-(2k)2=1,10β˜2-(2k)2=1,10γ˜2-(2k)2=1.

Considering integer solutions α and α˜ to the negative Pell equation 10α˜2-α2=1 (and also β, β˜ and γ, γ˜ respectively), we find

α=±(12(3+10)2n+1+12(3-10)2n+1),
α˜=±(1020(3+10)2n+1-1020(3-10)2n+1),
where n𝕑 . Positive integer solutions are given by (α,α˜) = (3, 1), (117, 37), (4443, 1405), (168717, 53353) and so on for n𝕅{0} . They give the relationship between the pairs of Chazy parameters k=2α and k˜=2α˜ , with (k,k˜)=(23,2),(2117,237) and so on for n𝕅{0} . For these parameters, the associated hypergeometric functions are algebraic. Again the fundamental solution (n = 0) agrees with the result of Theorem 3.2 in the conformally flat case.

The determination of the other values of (α, β, γ) and (α˜,β˜,γ˜) is as follows. For the same P, when (α,β,γ)=(2k,13,13) , we find (α˜,β˜,γ˜) with

10α˜2-(2k)2=1
and β˜=13 , γ˜=13 .

For the solutions given by P = −w1−2w2−3w3, when (α,β,γ)=(1k,13,12) , we find (α˜,β˜,γ˜) with

40α˜2-(2k)2=1,β˜=13,γ˜=12.
When (α,β,γ)=(1k,2k,12) , we find (α˜,β˜,γ˜) with
40α˜2-(2k)2=1,10β˜2-(2k)2=1,γ˜=12.
When (α,β,γ)=(1k,13,3k) , we find (α˜,β˜,γ˜) with
40α˜2-(2k)2=1,β˜=13,409γ˜-(2k)2=1.

Finally, for the solutions given by P = −4w1w2w3, when (α,β,γ)=(4k,1k,1k) , we find (α˜,β˜,γ˜) with

52α˜2-(2k)2=1,40β˜2-(2k)2=1,40γ˜2-(2k)2=1.

When (α,β,γ)=(23,1k,1k) , we find (α˜,β˜,γ˜) with

α˜=23,40β˜2-(2k)2=1,40γ˜2-(2k)2=1.

In all cases the appropriate substitution of α˜ , β˜ and γ˜ in terms of the Chazy parameter k˜ gives equation (4.2), and therefore the equation for u is the second-order differential equation associated to the generalised Chazy equation with parameter k˜ , related to k by (4.2). Altogether, with the exception of the parameters k=32 and k=23 as mentioned above, they give Ricci-flat but non-conformally flat examples of Nurowski’s metric.

REFERENCES

[6]J Chazy, Sur les équations différentielles dont l’intégrale générale est uniforme et admet des singularités essentielles mobiles, C. R. Acad. Sc. Paris, Vol. 149, 1909, pp. 563-565.
[13]M Randall, Schwarz triangle functions and duality for certain parameters of the generalised Chazy equation. arxiv:1607.04961v2.
[14]F Strazzullo, Symmetry analysis of general rank-3 Pfaffian systems in five variables, Utah State University, 2009. Ph.D. Thesis
Journal
Journal of Nonlinear Mathematical Physics
Volume-Issue
28 - 1
Pages
1 - 13
Publication Date
2020/12/10
ISSN (Online)
1776-0852
ISSN (Print)
1402-9251
DOI
10.2991/jnmp.k.200922.001How to use a DOI?
Copyright
© 2020 The Author. Published by Atlantis Press B.V.
Open Access
This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - JOUR
AU  - Matthew Randall
PY  - 2020
DA  - 2020/12/10
TI  - Nurowski’s Conformal Class of a Maximally Symmetric (2,3,5)-Distribution and its Ricci-flat Representatives
JO  - Journal of Nonlinear Mathematical Physics
SP  - 1
EP  - 13
VL  - 28
IS  - 1
SN  - 1776-0852
UR  - https://doi.org/10.2991/jnmp.k.200922.001
DO  - 10.2991/jnmp.k.200922.001
ID  - Randall2020
ER  -