Abstract.
We establish a one-to-one correspondence between Kähler metrics in a
given conformal class and parallel sections of a certain vector bundle
with conformally invariant connection, where the parallel sections
satisfy a set of non–linear algebraic constraints that we
describe. The vector bundle captures 2-form prolongations and is isomorphic
to Λ 3 ( 𝒯 ) superscript Λ 3 𝒯 \Lambda^{3}(\mathcal{T}) roman_Λ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( caligraphic_T ) , where 𝒯 𝒯 {\mathcal{T}} caligraphic_T is the tractor bundle of conformal
geometry, but the resulting connection differs from the normal
tractor connection by curvature terms.
Our analysis leads to a set of obstructions for a Riemannian metric
to be conformal to a Kähler metric. In particular we find an
explicit algebraic condition for a Weyl tensor which must hold if
there exists a conformal Killing-Yano tensor, which is a necessary
condition for a metric to be conformal to Kähler. This gives an
invariant characterisation of algebraically special Riemannian
metrics of type D 𝐷 D italic_D in dimensions higher than four.
1. Introduction
Let ( M , g ) 𝑀 𝑔 (M,g) ( italic_M , italic_g ) be a Riemannian manifold of even dimension n ≥ 4 𝑛 4 n\geq 4 italic_n ≥ 4 . Does there exist a non–zero function Ω : M ⟶ ℝ : Ω ⟶ 𝑀 ℝ \Omega:M\longrightarrow\mathbb{R} roman_Ω : italic_M ⟶ blackboard_R such that g ^ = Ω 2 g ^ 𝑔 superscript Ω 2 𝑔 \hat{g}=\Omega^{2}g over^ start_ARG italic_g end_ARG = roman_Ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g is Kähler? That is does there exists a
non–degenerate two–form ω ^ ^ 𝜔 \hat{\omega} over^ start_ARG italic_ω end_ARG which is covariantly constant
with respect to the Levi–Civita connection of g ^ ^ 𝑔 \hat{g} over^ start_ARG italic_g end_ARG and such that
the endomorphism J : T M → T M : 𝐽 → 𝑇 𝑀 𝑇 𝑀 J:TM\rightarrow TM italic_J : italic_T italic_M → italic_T italic_M defined by
ω ^ ( X , Y ) = g ^ ( X , J Y ) ^ 𝜔 𝑋 𝑌 ^ 𝑔 𝑋 𝐽 𝑌 {\hat{\omega}(X,Y)}=\hat{g}(X,JY) over^ start_ARG italic_ω end_ARG ( italic_X , italic_Y ) = over^ start_ARG italic_g end_ARG ( italic_X , italic_J italic_Y ) satisfies J 2 = − Id superscript 𝐽 2 Id J^{2}=-\mbox{Id} italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = - Id ?
In this paper we shall focus on local obstructions, which arise
because the conformal to Kähler problem leads to an
over–determined system of PDEs of finite type [4 ] . We
shall establish a one–to–one correspondence between Kähler
metrics in a conformal class and certain (special ) parallel sections of a
vector bundle E → M → 𝐸 𝑀 E\rightarrow M italic_E → italic_M of rank n ( n + 1 ) ( n + 2 ) / 6 𝑛 𝑛 1 𝑛 2 6 n(n+1)(n+2)/6 italic_n ( italic_n + 1 ) ( italic_n + 2 ) / 6
E ≅ ( Λ 2 ( M ) Λ 1 ( M ) ⊕ Λ 3 ( M ) Λ 2 ( M ) ) 𝐸 superscript Λ 2 𝑀 direct-sum superscript Λ 1 𝑀 superscript Λ 3 𝑀 superscript Λ 2 𝑀 E\cong\left(\begin{array}[]{c}\Lambda^{2}(M)\\
\Lambda^{1}(M)\oplus\Lambda^{3}(M)\\
\Lambda^{2}(M)\end{array}\right) italic_E ≅ ( start_ARRAY start_ROW start_CELL roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_M ) end_CELL end_ROW start_ROW start_CELL roman_Λ start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT ( italic_M ) ⊕ roman_Λ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( italic_M ) end_CELL end_ROW start_ROW start_CELL roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_M ) end_CELL end_ROW end_ARRAY )
(1.1)
equipped with a connection that takes the form
𝒟 ( ω K , μ Σ ) = ( ∇ ω − μ − g ⊘ K ∇ K − Σ − P ⊘ ω , ∇ μ − g ⊘ Σ − P ⊘ ω − C ⊘ ω ∇ Σ − P ⊘ K − A ⊘ ω − C ⊘ K ) . 𝒟 𝜔 𝐾 𝜇
Σ ∇ 𝜔 𝜇 ⊘ 𝑔 𝐾 ∇ 𝐾 Σ ⊘ 𝑃 𝜔 ∇ 𝜇 ⊘ 𝑔 Σ ⊘ 𝑃 𝜔 ⊘ 𝐶 𝜔
∇ Σ ⊘ 𝑃 𝐾 ⊘ 𝐴 𝜔 ⊘ 𝐶 𝐾 {\quad{\mathcal{D}}\left(\begin{array}[]{c}\omega\\
K,\;\mu\\
\Sigma\end{array}\right)=\left(\begin{array}[]{c}\nabla\omega-{\mu}-g\oslash{K%
}\\
\nabla K-{\Sigma}-P\oslash{\omega}{,}\;\;\;\nabla\mu-g\oslash{\Sigma}-P\oslash%
{\omega}-C\oslash{\omega}\\
\nabla\Sigma-P\oslash{K}-A\oslash{\omega}-C\oslash{K}\end{array}\right).} caligraphic_D ( start_ARRAY start_ROW start_CELL italic_ω end_CELL end_ROW start_ROW start_CELL italic_K , italic_μ end_CELL end_ROW start_ROW start_CELL roman_Σ end_CELL end_ROW end_ARRAY ) = ( start_ARRAY start_ROW start_CELL ∇ italic_ω - italic_μ - italic_g ⊘ italic_K end_CELL end_ROW start_ROW start_CELL ∇ italic_K - roman_Σ - italic_P ⊘ italic_ω , ∇ italic_μ - italic_g ⊘ roman_Σ - italic_P ⊘ italic_ω - italic_C ⊘ italic_ω end_CELL end_ROW start_ROW start_CELL ∇ roman_Σ - italic_P ⊘ italic_K - italic_A ⊘ italic_ω - italic_C ⊘ italic_K end_CELL end_ROW end_ARRAY ) .
(1.2)
Here A = 𝐴 absent A= italic_A = Cotton, C = 𝐶 absent C= italic_C = Weyl and P = 𝑃 absent P= italic_P = Schouten are different
components of the curvature tensor of g 𝑔 g italic_g and its derivatives, and
⊘ ⊘ \oslash ⊘ indicates an algebraic operation involving contractions of
various kinds (differing in each line above). The latter will be
specified in Theorem 2.1 in §2 . We shall say
that a section Ψ = ( ω , K , μ , Σ ) Ψ 𝜔 𝐾 𝜇 Σ \Psi=(\omega,K,\mu,\Sigma) roman_Ψ = ( italic_ω , italic_K , italic_μ , roman_Σ ) of ( E , 𝒟 ) 𝐸 𝒟 (E,{\mathcal{D}}) ( italic_E , caligraphic_D )
is special if it satisfies a set of algebraic conditions
𝒬 ( Ψ ) = 0 , 𝒬 Ψ 0 \mathcal{Q}(\Psi)=0, caligraphic_Q ( roman_Ψ ) = 0 ,
(1.3)
which will be specified in Theorem 4.1 in §4 .
It is the presence of these conditions which makes the analysis difficult.
General parallel sections of ( E , 𝒟 ) 𝐸 𝒟 (E,{\mathcal{D}}) ( italic_E , caligraphic_D ) are in one–to–one correspondence
with conformal Killing–Yano tensors [20 , 17 , 12 ] , and the algebraic constraints single out
those conformal Killing–Yano tensors which give rise to Kähler forms.
The analysis leads to two kinds of obstructions. Those arising from reducing the holonomy
of the curvature of 𝒟 𝒟 {\mathcal{D}} caligraphic_D to a subgroup stabilising a section of E 𝐸 E italic_E ,
and those arising from differentiating the algebraic conditions. This second class
of constraints is an overdetermined system of algebraic equations which can admit
non–zero solutions if and only if the relevant Bezout resultants
vanish (Theorem 3.1 ). The dimension of the variety of constraints
(1.3 ) in the fibres of E 𝐸 E italic_E is at most ( n 2 + 2 n + 4 ) / 4 superscript 𝑛 2 2 𝑛 4 4 (n^{2}+2n+4)/4 ( italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 2 italic_n + 4 ) / 4 if n > 4 𝑛 4 n>4 italic_n > 4 . In dimension n = 4 𝑛 4 n=4 italic_n = 4 the constraints can be solved
explicitly, reducing the rank 20 20 20 20 vector bundle E 𝐸 E italic_E to a rank 10 10 10 10
sub-bundle
E 0 = Λ + 2 ( M ) ⊕ Λ 1 ( M ) ⊕ Λ − 2 ( M ) , subscript 𝐸 0 direct-sum subscript superscript Λ 2 𝑀 superscript Λ 1 𝑀 subscript superscript Λ 2 𝑀 E_{0}=\Lambda^{2}_{+}(M)\oplus\Lambda^{1}(M)\oplus\Lambda^{2}_{-}(M), italic_E start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ( italic_M ) ⊕ roman_Λ start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT ( italic_M ) ⊕ roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ( italic_M ) ,
whose section consists of a self–dual two–form, a one–form, and an anti–self–dual
two–form [8 ] (this is isomorphic to the bundle Λ + 3 ( 𝐓 ) subscript superscript Λ 3 𝐓 \Lambda^{3}_{+}({\bf{T}}) roman_Λ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ( bold_T ) of self–dual
tractor three-forms). That is, using the notation above, the system of 𝒬 ( Ψ ) = 0 𝒬 Ψ 0 \mathcal{Q}(\Psi)=0 caligraphic_Q ( roman_Ψ ) = 0 is equivalent to
∗ ω = ω , K = ∗ μ , ∗ Σ = − Σ . *\omega=\omega,\quad K=*\mu,\quad*\Sigma=-\Sigma. ∗ italic_ω = italic_ω , italic_K = ∗ italic_μ , ∗ roman_Σ = - roman_Σ .
The complete set of obstructions has been constructed explicitly in this
case [8 ] .
In §5 we shall link Theorem 2.1 and Theorem 4.1 with the tractor approach to conformal geometry
[2 ] , and identify the prolongation bundle E 𝐸 E italic_E with the third exterior power of the rank ( n + 2 ) 𝑛 2 (n+2) ( italic_n + 2 ) tractor
bundle 𝒯 𝒯 \mathcal{T} caligraphic_T over M 𝑀 M italic_M . The prolongation connection (1.2 ) differs from the standard tractor connection by the curvature terms, and some of the non–linear constraints can be encoded in algebraic conditions involving the scale tractor.
Acknowledgements
Both authors acknowledge support
from the Royal Society of New Zealand via Marsden Grant 19-UOA-008.
MD is also grateful to the University of Auckland, and similarly RG to
the University of Cambridge, for the hospitality during visits when
this work was carried over. The authors would also like to thank the
Isaac Newton Institute for Mathematical Sciences, Cambridge, for
support and hospitality during the programme Twistor theory, where
work on this paper was completed. This work was supported by EPSRC
grant EP/Z000580/1. RG was also suppported by a Simons Foundation
Fellowship during this period.
2. Prolongation of the conformal-to-Kähler system
In this section we shall directly construct the prolongation connection
(1.2 ) underling the conformal-to-Kähler problem.
Theorem 2.1 .
There exists a correspondence between Kähler metrics in a given
conformal class and parallel sections Ψ = ( ω , K , μ , Σ ) Ψ 𝜔 𝐾 𝜇 Σ \Psi=(\omega,K,\mu,\Sigma) roman_Ψ = ( italic_ω , italic_K , italic_μ , roman_Σ )
of ( E → M , 𝒟 ) → 𝐸 𝑀 𝒟
(E\rightarrow M,\mathcal{D}) ( italic_E → italic_M , caligraphic_D ) given by (1.1 ) and
(1.2 ).
Remark. This is not a one–to–one correspondence. Every Kähler metric corresponds to a parallel section of ( E , 𝒟 ) 𝐸 𝒟 (E,\mathcal{D}) ( italic_E , caligraphic_D ) ,
but not all parallel sections give rise to Kähler metrics. Those which do will be characterised in Theorem 4.1 .
Proof of Theorem 2.1 . Consider a Kähler structure ( g ^ , ω ^ ) ^ 𝑔 ^ 𝜔 (\hat{g},\hat{\omega}) ( over^ start_ARG italic_g end_ARG , over^ start_ARG italic_ω end_ARG ) , and define ( g , ω ) 𝑔 𝜔 (g,\omega) ( italic_g , italic_ω )
by
g ^ = Ω 2 g , ω ^ = Ω 3 ω , formulae-sequence ^ 𝑔 superscript Ω 2 𝑔 ^ 𝜔 superscript Ω 3 𝜔 \hat{g}=\Omega^{2}g,\qquad\hat{\omega}=\Omega^{3}\omega, over^ start_ARG italic_g end_ARG = roman_Ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g , over^ start_ARG italic_ω end_ARG = roman_Ω start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_ω ,
where Ω Ω \Omega roman_Ω is a smooth positive function.
The condition ∇ ^ ω ^ = 0 ^ ∇ ^ 𝜔 0 \hat{\nabla}\hat{\omega}=0 over^ start_ARG ∇ end_ARG over^ start_ARG italic_ω end_ARG = 0 yields
∇ a ω b c = μ a b c + 2 g a [ b K c ] , \nabla_{a}\omega_{bc}=\mu_{abc}+2g_{a[b}K_{c]}, ∇ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_b italic_c end_POSTSUBSCRIPT = italic_μ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT + 2 italic_g start_POSTSUBSCRIPT italic_a [ italic_b end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT italic_c ] end_POSTSUBSCRIPT ,
(2.1)
where μ ∈ Λ 3 ( M ) 𝜇 superscript Λ 3 𝑀 \mu\in\Lambda^{3}(M) italic_μ ∈ roman_Λ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( italic_M ) and K ∈ Λ 1 ( M ) 𝐾 superscript Λ 1 𝑀 K\in\Lambda^{1}(M) italic_K ∈ roman_Λ start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT ( italic_M ) are given by
μ = − 3 Υ ∧ ω , K = − Υ ω , formulae-sequence 𝜇 3 Υ 𝜔 𝐾 Υ 𝜔 \mu=-3\Upsilon\wedge\omega,\quad K=-\Upsilon{\begin{picture}(0.833,0.8)\put(0.%
15,0.08){\line(1,0){0.35}}
\put(0.5,0.08){\line(0,1){0.5}}
\end{picture}}\omega, italic_μ = - 3 roman_Υ ∧ italic_ω , italic_K = - roman_Υ italic_ω ,
(2.2)
and Υ = Ω − 1 d Ω Υ superscript Ω 1 𝑑 Ω \Upsilon=\Omega^{-1}d\Omega roman_Υ = roman_Ω start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT italic_d roman_Ω .
Conversely, assume that (2.1 ) holds with arbitrary μ 𝜇 \mu italic_μ and K 𝐾 K italic_K , for some ω 𝜔 \omega italic_ω such that ω a b ω b c subscript superscript 𝜔 𝑎 𝑏 subscript superscript 𝜔 𝑏 𝑐 {\omega^{a}}_{b}{\omega^{b}}_{c} italic_ω start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT is pure trace.
Recall the decomposition of the Riemann tensor in conformal geometry
R a b c d = C a b c d + P a c g b d − P b c g a d + P b d g a c − P a d g b c , subscript 𝑅 𝑎 𝑏 𝑐 𝑑 subscript 𝐶 𝑎 𝑏 𝑐 𝑑 subscript 𝑃 𝑎 𝑐 subscript 𝑔 𝑏 𝑑 subscript 𝑃 𝑏 𝑐 subscript 𝑔 𝑎 𝑑 subscript 𝑃 𝑏 𝑑 subscript 𝑔 𝑎 𝑐 subscript 𝑃 𝑎 𝑑 subscript 𝑔 𝑏 𝑐 R_{abcd}=C_{abcd}+P_{ac}g_{bd}-P_{bc}g_{ad}+P_{bd}g_{ac}-P_{ad}g_{bc}, italic_R start_POSTSUBSCRIPT italic_a italic_b italic_c italic_d end_POSTSUBSCRIPT = italic_C start_POSTSUBSCRIPT italic_a italic_b italic_c italic_d end_POSTSUBSCRIPT + italic_P start_POSTSUBSCRIPT italic_a italic_c end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_b italic_d end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_b italic_c end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_a italic_d end_POSTSUBSCRIPT + italic_P start_POSTSUBSCRIPT italic_b italic_d end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_a italic_c end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_a italic_d end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_b italic_c end_POSTSUBSCRIPT ,
where C a b c d subscript 𝐶 𝑎 𝑏 𝑐 𝑑 C_{abcd} italic_C start_POSTSUBSCRIPT italic_a italic_b italic_c italic_d end_POSTSUBSCRIPT is the Weyl curvature and
P a b = 1 n − 2 ( R a b + R 2 ( 1 − n ) g a b ) subscript 𝑃 𝑎 𝑏 1 𝑛 2 subscript 𝑅 𝑎 𝑏 𝑅 2 1 𝑛 subscript 𝑔 𝑎 𝑏 P_{ab}=\frac{1}{n-2}\Big{(}R_{ab}+\frac{R}{2(1-n)}g_{ab}\Big{)} italic_P start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG italic_n - 2 end_ARG ( italic_R start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT + divide start_ARG italic_R end_ARG start_ARG 2 ( 1 - italic_n ) end_ARG italic_g start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT )
is the Schouten tensor. Under conformal rescalings g ^ = Ω 2 g ^ 𝑔 superscript Ω 2 𝑔 \hat{g}=\Omega^{2}g over^ start_ARG italic_g end_ARG = roman_Ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g we have
C ^ a b c d = Ω 2 C a b c d , P ^ a b = P a b − ∇ a Υ b + Υ a Υ b − 1 2 | Υ | 2 g a b . formulae-sequence subscript ^ 𝐶 𝑎 𝑏 𝑐 𝑑 superscript Ω 2 subscript 𝐶 𝑎 𝑏 𝑐 𝑑 subscript ^ 𝑃 𝑎 𝑏 subscript 𝑃 𝑎 𝑏 subscript ∇ 𝑎 subscript Υ 𝑏 subscript Υ 𝑎 subscript Υ 𝑏 1 2 superscript Υ 2 subscript 𝑔 𝑎 𝑏 \hat{C}_{abcd}=\Omega^{2}C_{abcd},\quad\hat{P}_{ab}=P_{ab}-\nabla_{a}\Upsilon_%
{b}+\Upsilon_{a}\Upsilon_{b}-\frac{1}{2}|\Upsilon|^{2}g_{ab}. over^ start_ARG italic_C end_ARG start_POSTSUBSCRIPT italic_a italic_b italic_c italic_d end_POSTSUBSCRIPT = roman_Ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_C start_POSTSUBSCRIPT italic_a italic_b italic_c italic_d end_POSTSUBSCRIPT , over^ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT - ∇ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT roman_Υ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT + roman_Υ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT roman_Υ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG | roman_Υ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT .
We differentiate (2.1 ),
commute the derivatives, and use the Ricci identity
[ ∇ a , ∇ b ] ω c d = − R a b c p ω d p + R a b d p ω c p . subscript ∇ 𝑎 subscript ∇ 𝑏 subscript 𝜔 𝑐 𝑑 superscript subscript 𝑅 𝑎 𝑏 𝑐 𝑝 subscript 𝜔 𝑑 𝑝 superscript subscript 𝑅 𝑎 𝑏 𝑑 𝑝 subscript 𝜔 𝑐 𝑝 [\nabla_{a},\nabla_{b}]\omega_{cd}=-{R_{abc}}^{p}\omega_{dp}+{R_{abd}}^{p}%
\omega_{cp}. [ ∇ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT , ∇ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ] italic_ω start_POSTSUBSCRIPT italic_c italic_d end_POSTSUBSCRIPT = - italic_R start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_d italic_p end_POSTSUBSCRIPT + italic_R start_POSTSUBSCRIPT italic_a italic_b italic_d end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_c italic_p end_POSTSUBSCRIPT .
This leads to a set of
algebraic conditions
C b c [ a e ω d ] e + C a d [ b e ω c ] e = 0 , {C_{bc[a}}^{e}\omega_{d]e}+{C_{ad[b}}^{e}\omega_{c]e}=0, italic_C start_POSTSUBSCRIPT italic_b italic_c [ italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_d ] italic_e end_POSTSUBSCRIPT + italic_C start_POSTSUBSCRIPT italic_a italic_d [ italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_c ] italic_e end_POSTSUBSCRIPT = 0 ,
(2.3)
and a pair of linear differential equations
∇ a K b = P a c ω b c + Σ a b subscript ∇ 𝑎 subscript 𝐾 𝑏 superscript subscript 𝑃 𝑎 𝑐 subscript 𝜔 𝑏 𝑐 subscript Σ 𝑎 𝑏 \nabla_{a}K_{b}={P_{a}}^{c}\omega_{bc}+\Sigma_{ab} ∇ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_b italic_c end_POSTSUBSCRIPT + roman_Σ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT
(2.4)
and
∇ a μ b c d = − 3 g a [ b Σ c d ] − 3 P a [ b ω c d ] − 3 2 C [ b c | a p ω p | d ] , \nabla_{a}\mu_{bcd}=-3g_{a[b}\Sigma_{cd]}-3P_{a[b}\omega_{cd]}-\frac{3}{2}{C_{%
[bc|a}}^{p}\omega_{p|d]}, ∇ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_μ start_POSTSUBSCRIPT italic_b italic_c italic_d end_POSTSUBSCRIPT = - 3 italic_g start_POSTSUBSCRIPT italic_a [ italic_b end_POSTSUBSCRIPT roman_Σ start_POSTSUBSCRIPT italic_c italic_d ] end_POSTSUBSCRIPT - 3 italic_P start_POSTSUBSCRIPT italic_a [ italic_b end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_c italic_d ] end_POSTSUBSCRIPT - divide start_ARG 3 end_ARG start_ARG 2 end_ARG italic_C start_POSTSUBSCRIPT [ italic_b italic_c | italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_p | italic_d ] end_POSTSUBSCRIPT ,
(2.5)
where Σ a b subscript Σ 𝑎 𝑏 \Sigma_{ab} roman_Σ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT is as yet undetermined two–form. Differentiating
(2.4 ) and (2.5 ) once
more gives
∇ a Σ b c = 2 P a [ b K c ] − P a e μ e b c + 1 2 A p b c ω p a + A p a [ b ω c ] p + C b c a p K p , \nabla_{a}\Sigma_{bc}=2P_{a[b}K_{c]}-{P_{a}}^{e}\mu_{ebc}+\frac{1}{2}{A^{p}}_{%
bc}\omega_{pa}+{A^{p}}_{a[b}\omega_{c]p}+{C_{bca}}^{p}K_{p}, ∇ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT roman_Σ start_POSTSUBSCRIPT italic_b italic_c end_POSTSUBSCRIPT = 2 italic_P start_POSTSUBSCRIPT italic_a [ italic_b end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT italic_c ] end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e end_POSTSUPERSCRIPT italic_μ start_POSTSUBSCRIPT italic_e italic_b italic_c end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_A start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_b italic_c end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_p italic_a end_POSTSUBSCRIPT + italic_A start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a [ italic_b end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_c ] italic_p end_POSTSUBSCRIPT + italic_C start_POSTSUBSCRIPT italic_b italic_c italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT italic_K start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ,
(2.6)
where A a b c = ∇ b P c a − ∇ c P b a subscript 𝐴 𝑎 𝑏 𝑐 subscript ∇ 𝑏 subscript 𝑃 𝑐 𝑎 subscript ∇ 𝑐 subscript 𝑃 𝑏 𝑎 A_{abc}=\nabla_{b}P_{ca}-\nabla_{c}P_{ba} italic_A start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT = ∇ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT italic_c italic_a end_POSTSUBSCRIPT - ∇ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT italic_b italic_a end_POSTSUBSCRIPT is the Cotton tensor.
The system is now closed, as derivatives of all unknowns have been determined.
We can combine equations (2.1 ), (2.4 ),
(2.5 ), (2.6 ) into a connection (1.2 ), where the
meaning of ⊘ ⊘ \oslash ⊘ in each slot is now clear.
□ □ \Box □
As a spin off from the prolongation procedure we deduce the
following (well known)
Corollary 2.2 .
If a non Kähler manifold ( M , g ) 𝑀 𝑔 (M,g) ( italic_M , italic_g ) is Einstein and conformal to Kähler, then
g 𝑔 g italic_g admits a Killing vector.
Proof.
This follows directly from (2.4 ).
If g 𝑔 g italic_g is Einstein then the RHS of (2.4 ) is skew-symmetric, and thus K 𝐾 K italic_K satisfies the Killing equations ∇ ( a K b ) = 0 \nabla_{(a}K_{b)}=0 ∇ start_POSTSUBSCRIPT ( italic_a end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT italic_b ) end_POSTSUBSCRIPT = 0 .
□ □ \Box □
In four dimensions one can establish a stronger result:
an ASD Einstein metric with non–zero Ricci scalar is conformal to Kähler
if and only if it admits a Killing vector [7 , 8 ] .
3. Type D 𝐷 D italic_D and obstructions algebraic in Weyl tensor
If we view both C 𝐶 C italic_C and ω 𝜔 \omega italic_ω as endomorphisms of Λ 2 superscript Λ 2 \Lambda^{2} roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT given by
C ( ϕ ) a b = C c d a b ϕ c d and ω ( ϕ ) a b = ω [ a c ϕ b ] c , C(\phi)_{ab}={C^{cd}}_{ab}\phi_{cd}\quad\mbox{and}\quad\omega(\phi)_{ab}={%
\omega_{[a}}^{c}\phi_{b]c}, italic_C ( italic_ϕ ) start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT = italic_C start_POSTSUPERSCRIPT italic_c italic_d end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT italic_ϕ start_POSTSUBSCRIPT italic_c italic_d end_POSTSUBSCRIPT and italic_ω ( italic_ϕ ) start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT = italic_ω start_POSTSUBSCRIPT [ italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT italic_ϕ start_POSTSUBSCRIPT italic_b ] italic_c end_POSTSUBSCRIPT ,
then the constraint (2.3 ) is equivalent to the commutativity of these endomorphisms.
Thus, they can be diagonalised in the same basis. In [17 ] it was used
to show that the Weyl tensor is of algebraic type D 𝐷 D italic_D in the sense of [5 , 18 ] .
We adopt a different approach. Consider a linear map
B : Λ 2 → 𝒲 ⊂ Λ 2 ⊙ Λ 2 , with \displaystyle B:\Lambda^{2}\rightarrow\mathcal{W}\subset\Lambda^{2}\odot%
\Lambda^{2},\quad\mbox{with} italic_B : roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT → caligraphic_W ⊂ roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⊙ roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , with
B ( ϕ ) b c a d := C b c [ a e ϕ d ] e + C a d [ b e ϕ c ] e , \displaystyle B(\phi)_{bcad}:={C_{bc[a}}^{e}\phi_{d]e}+{C_{ad[b}}^{e}\phi_{c]e}, italic_B ( italic_ϕ ) start_POSTSUBSCRIPT italic_b italic_c italic_a italic_d end_POSTSUBSCRIPT := italic_C start_POSTSUBSCRIPT italic_b italic_c [ italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e end_POSTSUPERSCRIPT italic_ϕ start_POSTSUBSCRIPT italic_d ] italic_e end_POSTSUBSCRIPT + italic_C start_POSTSUBSCRIPT italic_a italic_d [ italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e end_POSTSUPERSCRIPT italic_ϕ start_POSTSUBSCRIPT italic_c ] italic_e end_POSTSUBSCRIPT ,
given by the
LHS of equation (2.3 ). Here 𝒲 𝒲 \mathcal{W} caligraphic_W is a vector space of
rank-four tensors which have the algebraic symmetries of a Weyl
tensor,
i.e. if e ∈ Γ ( 𝒲 ) 𝑒 Γ 𝒲 e\in\Gamma(\mathcal{W}) italic_e ∈ roman_Γ ( caligraphic_W ) then
e a [ b c d ] = 0 , e a b c d = e [ a b ] c d , e a b c d = e a b [ c d ] , formulae-sequence subscript 𝑒 𝑎 delimited-[] 𝑏 𝑐 𝑑 0 formulae-sequence subscript 𝑒 𝑎 𝑏 𝑐 𝑑 subscript 𝑒 delimited-[] 𝑎 𝑏 𝑐 𝑑 subscript 𝑒 𝑎 𝑏 𝑐 𝑑 subscript 𝑒 𝑎 𝑏 delimited-[] 𝑐 𝑑 e_{a[bcd]}=0,\quad e_{abcd}=e_{[ab]cd},\quad e_{abcd}=e_{ab[cd]}, italic_e start_POSTSUBSCRIPT italic_a [ italic_b italic_c italic_d ] end_POSTSUBSCRIPT = 0 , italic_e start_POSTSUBSCRIPT italic_a italic_b italic_c italic_d end_POSTSUBSCRIPT = italic_e start_POSTSUBSCRIPT [ italic_a italic_b ] italic_c italic_d end_POSTSUBSCRIPT , italic_e start_POSTSUBSCRIPT italic_a italic_b italic_c italic_d end_POSTSUBSCRIPT = italic_e start_POSTSUBSCRIPT italic_a italic_b [ italic_c italic_d ] end_POSTSUBSCRIPT ,
and e 𝑒 e italic_e is trace free with respect to metric contractions.
The dimension of ℰ ℰ \mathcal{E} caligraphic_E is greater than that of Λ 2 superscript Λ 2 \Lambda^{2} roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , and
equation (2.3 )
implies that B 𝐵 B italic_B has a non–empty kernel which contains a non–degenerate two–form.
Therefore the rank of
B 𝐵 B italic_B is not maximal. This leads to a set of algebraic conditions on the Weyl tensor
which we shall now give.
Theorem 3.1 .
Let X ∈ Λ 2 ( T M ) 𝑋 superscript Λ 2 𝑇 𝑀 X\in\Lambda^{2}(TM) italic_X ∈ roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_T italic_M ) be a bi–vector and let β X : Λ 2 → Λ 2 : subscript 𝛽 𝑋 → superscript Λ 2 superscript Λ 2 \beta_{X}:\Lambda^{2}\rightarrow\Lambda^{2} italic_β start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT : roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT → roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT be given by
( β X ) a b c d ≡ X e f β e f a b c d , where β b c a d e f = C b c [ a e δ f d ] + C a d [ b e δ f c ] . {({\beta_{X}})_{ab}}^{cd}\equiv X^{ef}{\beta_{efab}}^{cd},\quad\mbox{where}%
\quad{\beta_{bcad}}^{ef}={C_{bc[a}}^{e}{\delta^{f}}_{d]}+{C_{ad[b}}^{e}{\delta%
^{f}}_{c]}. ( italic_β start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_c italic_d end_POSTSUPERSCRIPT ≡ italic_X start_POSTSUPERSCRIPT italic_e italic_f end_POSTSUPERSCRIPT italic_β start_POSTSUBSCRIPT italic_e italic_f italic_a italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_c italic_d end_POSTSUPERSCRIPT , where italic_β start_POSTSUBSCRIPT italic_b italic_c italic_a italic_d end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e italic_f end_POSTSUPERSCRIPT = italic_C start_POSTSUBSCRIPT italic_b italic_c [ italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e end_POSTSUPERSCRIPT italic_δ start_POSTSUPERSCRIPT italic_f end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_d ] end_POSTSUBSCRIPT + italic_C start_POSTSUBSCRIPT italic_a italic_d [ italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e end_POSTSUPERSCRIPT italic_δ start_POSTSUPERSCRIPT italic_f end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_c ] end_POSTSUBSCRIPT .
(3.1)
Then g 𝑔 g italic_g is conformal to a Kähler metric only if, for all bi–vectors X 𝑋 X italic_X ,
det ( ℬ ) = 0 det ℬ 0 \mbox{det}(\mathcal{B})=0 det ( caligraphic_B ) = 0 ,
where
ℬ = 1 N ! ( 0 ( N − 1 ) ! 0 … 0 0 s 2 0 ( N − 2 ) ! … 0 0 s 3 s 2 0 ( N − 3 ) ! … 0 ⋮ ⋮ ⋱ ⋮ ⋮ s N − 1 s N − 2 0 1 s N s N − 1 s N − 2 … s 2 0 ) , ℬ 1 𝑁 0 𝑁 1 0 … 0 0 subscript 𝑠 2 0 𝑁 2 … 0 0 subscript 𝑠 3 subscript 𝑠 2 0 𝑁 3 … 0 ⋮ ⋮ missing-subexpression ⋱ ⋮ ⋮ subscript 𝑠 𝑁 1 subscript 𝑠 𝑁 2 missing-subexpression missing-subexpression 0 1 subscript 𝑠 𝑁 subscript 𝑠 𝑁 1 subscript 𝑠 𝑁 2 … subscript 𝑠 2 0 {\mathcal{B}}=\frac{1}{N!}\left(\begin{array}[]{cccccc}0&(N-1)!&0&\dots&0&0\\
s_{2}&0&(N-2)!&\dots&0&0\\
s_{3}&s_{2}&0&(N-3)!&\dots&0\\
\vdots&\vdots&&\ddots&\vdots&\vdots\\
s_{N-1}&s_{N-2}&&&0&1\\
s_{N}&s_{N-1}&s_{N-2}&\dots&s_{2}&0\end{array}\right), caligraphic_B = divide start_ARG 1 end_ARG start_ARG italic_N ! end_ARG ( start_ARRAY start_ROW start_CELL 0 end_CELL start_CELL ( italic_N - 1 ) ! end_CELL start_CELL 0 end_CELL start_CELL … end_CELL start_CELL 0 end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL italic_s start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL start_CELL 0 end_CELL start_CELL ( italic_N - 2 ) ! end_CELL start_CELL … end_CELL start_CELL 0 end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL italic_s start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_CELL start_CELL italic_s start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL start_CELL 0 end_CELL start_CELL ( italic_N - 3 ) ! end_CELL start_CELL … end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL ⋮ end_CELL start_CELL ⋮ end_CELL start_CELL end_CELL start_CELL ⋱ end_CELL start_CELL ⋮ end_CELL start_CELL ⋮ end_CELL end_ROW start_ROW start_CELL italic_s start_POSTSUBSCRIPT italic_N - 1 end_POSTSUBSCRIPT end_CELL start_CELL italic_s start_POSTSUBSCRIPT italic_N - 2 end_POSTSUBSCRIPT end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL 0 end_CELL start_CELL 1 end_CELL end_ROW start_ROW start_CELL italic_s start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT end_CELL start_CELL italic_s start_POSTSUBSCRIPT italic_N - 1 end_POSTSUBSCRIPT end_CELL start_CELL italic_s start_POSTSUBSCRIPT italic_N - 2 end_POSTSUBSCRIPT end_CELL start_CELL … end_CELL start_CELL italic_s start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL start_CELL 0 end_CELL end_ROW end_ARRAY ) ,
(3.2)
and s k ≡ Tr ( β X k ) subscript 𝑠 𝑘 Tr superscript subscript 𝛽 𝑋 𝑘 s_{k}\equiv\mbox{Tr}({\beta_{X}}^{k}) italic_s start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ≡ Tr ( italic_β start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ) , and k = 1 , 2 , … , N 𝑘 1 2 … 𝑁
k=1,2,\dots,N italic_k = 1 , 2 , … , italic_N .
Proof.
Rewriting (2.3 ) as
β b c a d e f ω e f = 0 , superscript subscript 𝛽 𝑏 𝑐 𝑎 𝑑 𝑒 𝑓 subscript 𝜔 𝑒 𝑓 0 {\beta_{bcad}}^{ef}\omega_{ef}=0, italic_β start_POSTSUBSCRIPT italic_b italic_c italic_a italic_d end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e italic_f end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_e italic_f end_POSTSUBSCRIPT = 0 ,
where β 𝛽 \beta italic_β is given by (3.1 ),
we deduce that for any fixed values of the pair of indices [ b c ] delimited-[] 𝑏 𝑐 [bc] [ italic_b italic_c ] the
determinant of the resulting n ( n − 1 ) / 2 𝑛 𝑛 1 2 n(n-1)/2 italic_n ( italic_n - 1 ) / 2 by n ( n − 1 ) / 2 𝑛 𝑛 1 2 n(n-1)/2 italic_n ( italic_n - 1 ) / 2 traceless square matrix β 𝛽 \beta italic_β must vanish.
In the case n = 4 𝑛 4 n=4 italic_n = 4 this leads to an invariant condition on the self–dual part of Weyl
tensor, as explained in [8 ] .
For any bi–vector X ≡ X a b 𝑋 superscript 𝑋 𝑎 𝑏 X\equiv X^{ab} italic_X ≡ italic_X start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT consider a composition of homomorphisms
Λ 2 ( M ) → 𝐵 ℰ → X ¯ Λ 2 ( M ) 𝐵 → superscript Λ 2 𝑀 ℰ 𝑋 ¯ absent → superscript Λ 2 𝑀 \textstyle\Lambda^{2}(M)\xrightarrow{\;B\;}\mathcal{E}\xrightarrow{\;X{%
\begin{picture}(0.833,0.8)\put(0.15,0.08){\line(1,0){0.35}}
\put(0.5,0.08){\line(0,1){0.5}}
\end{picture}}\underline{\enskip}\;}\Lambda^{2}(M) roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_M ) start_ARROW start_OVERACCENT italic_B end_OVERACCENT → end_ARROW caligraphic_E start_ARROW start_OVERACCENT italic_X under¯ start_ARG end_ARG end_OVERACCENT → end_ARROW roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_M )
where the second map is a contraction. This gives a traceless
homomorphism
( β X ) a b c d ≡ X e f β e f a b c d . superscript subscript subscript 𝛽 𝑋 𝑎 𝑏 𝑐 𝑑 superscript 𝑋 𝑒 𝑓 superscript subscript 𝛽 𝑒 𝑓 𝑎 𝑏 𝑐 𝑑 {({\beta_{X}})_{ab}}^{cd}\equiv X^{ef}{\beta_{efab}}^{cd}. ( italic_β start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_c italic_d end_POSTSUPERSCRIPT ≡ italic_X start_POSTSUPERSCRIPT italic_e italic_f end_POSTSUPERSCRIPT italic_β start_POSTSUBSCRIPT italic_e italic_f italic_a italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_c italic_d end_POSTSUPERSCRIPT .
To find an invariant obstruction - a tensor of rank n ( n − 1 ) 𝑛 𝑛 1 n(n-1) italic_n ( italic_n - 1 ) on T M 𝑇 𝑀 TM italic_T italic_M -
we shall use
the Cayley–Hamilton theorem for traceless N × N 𝑁 𝑁 N\times N italic_N × italic_N matrices, where
N = n ( n − 1 ) / 2 𝑁 𝑛 𝑛 1 2 N=n(n-1)/2 italic_N = italic_n ( italic_n - 1 ) / 2 is the dimension of Λ 2 ( M ) superscript Λ 2 𝑀 \Lambda^{2}(M) roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_M ) . Set
s k = Tr ( β X k ) , k = 1 , 2 , … , N formulae-sequence subscript 𝑠 𝑘 Tr superscript subscript 𝛽 𝑋 𝑘 𝑘 1 2 … 𝑁
s_{k}=\mbox{Tr}({\beta_{X}}^{k}),\quad k=1,2,\dots,N italic_s start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = Tr ( italic_β start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ) , italic_k = 1 , 2 , … , italic_N
so that
s 1 = 0 , s 2 = X a b X c d β a b p q r s β c d r s p q , s 3 = X a b X c d X e f β a b p q r s β c d r s u v β e f u v p q , … . formulae-sequence subscript 𝑠 1 0 formulae-sequence subscript 𝑠 2 superscript 𝑋 𝑎 𝑏 superscript 𝑋 𝑐 𝑑 superscript subscript 𝛽 𝑎 𝑏 𝑝 𝑞 𝑟 𝑠 superscript subscript 𝛽 𝑐 𝑑 𝑟 𝑠 𝑝 𝑞 subscript 𝑠 3 superscript 𝑋 𝑎 𝑏 superscript 𝑋 𝑐 𝑑 superscript 𝑋 𝑒 𝑓 superscript subscript 𝛽 𝑎 𝑏 𝑝 𝑞 𝑟 𝑠 superscript subscript 𝛽 𝑐 𝑑 𝑟 𝑠 𝑢 𝑣 superscript subscript 𝛽 𝑒 𝑓 𝑢 𝑣 𝑝 𝑞 …
s_{1}=0,\quad s_{2}=X^{ab}X^{cd}{\beta_{abpq}}^{rs}{\beta_{cdrs}}^{pq},\quad s%
_{3}=X^{ab}X^{cd}X^{ef}{\beta_{abpq}}^{rs}{\beta_{cdrs}}^{uv}{\beta_{efuv}}^{%
pq},\quad\dots. italic_s start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0 , italic_s start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = italic_X start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT italic_X start_POSTSUPERSCRIPT italic_c italic_d end_POSTSUPERSCRIPT italic_β start_POSTSUBSCRIPT italic_a italic_b italic_p italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r italic_s end_POSTSUPERSCRIPT italic_β start_POSTSUBSCRIPT italic_c italic_d italic_r italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p italic_q end_POSTSUPERSCRIPT , italic_s start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = italic_X start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT italic_X start_POSTSUPERSCRIPT italic_c italic_d end_POSTSUPERSCRIPT italic_X start_POSTSUPERSCRIPT italic_e italic_f end_POSTSUPERSCRIPT italic_β start_POSTSUBSCRIPT italic_a italic_b italic_p italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r italic_s end_POSTSUPERSCRIPT italic_β start_POSTSUBSCRIPT italic_c italic_d italic_r italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_u italic_v end_POSTSUPERSCRIPT italic_β start_POSTSUBSCRIPT italic_e italic_f italic_u italic_v end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p italic_q end_POSTSUPERSCRIPT , … .
The determinant of β X subscript 𝛽 𝑋 \beta_{X} italic_β start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT can then be expressed as the N 𝑁 N italic_N th Bell
polynomial [3 ]
det ( β X ) det subscript 𝛽 𝑋 \displaystyle\mbox{det}(\beta_{X}) det ( italic_β start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT )
= \displaystyle= =
1 N ! B N ( s 1 , − 1 ! s 2 , 2 ! s 3 , … , ( − 1 ) N N ! s N ) 1 𝑁 subscript 𝐵 𝑁 subscript 𝑠 1 1 subscript 𝑠 2 2 subscript 𝑠 3 … superscript 1 𝑁 𝑁 subscript 𝑠 𝑁 \displaystyle\frac{1}{N!}B_{N}(s_{1},-1!s_{2},2!s_{3},\dots,(-1)^{N}N!s_{N}) divide start_ARG 1 end_ARG start_ARG italic_N ! end_ARG italic_B start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ( italic_s start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , - 1 ! italic_s start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , 2 ! italic_s start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT , … , ( - 1 ) start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT italic_N ! italic_s start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT )
= \displaystyle= =
det ( ℬ ) , det ℬ \displaystyle\mbox{det}(\mathcal{B}), det ( caligraphic_B ) ,
where ℬ ℬ {\mathcal{B}} caligraphic_B is given by (3.2 ).
□ □ \Box □
For this to be a non–trivial obstruction we need to show that β X subscript 𝛽 𝑋 \beta_{X} italic_β start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT can have maximal rank
(and therefore is injective) for some Weyl tensor C a b c d superscript subscript 𝐶 𝑎 𝑏 𝑐 𝑑 {C_{abc}}^{d} italic_C start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_d end_POSTSUPERSCRIPT as it will then have maximal rank
in a neighbourhood of this Weyl tensor in ℰ ℰ {\mathcal{E}} caligraphic_E . We could show it by specifying an element
of ℰ ℰ {\mathcal{E}} caligraphic_E at a point in M 𝑀 M italic_M , but we can do even better, and write down a metric
which gives rise to such an injective Weyl tensor. On an open set in ℝ 6 superscript ℝ 6 \mathbb{R}^{6} blackboard_R start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT with
coordinates ( x , y , z , t , u , v ) 𝑥 𝑦 𝑧 𝑡 𝑢 𝑣 (x,y,z,t,u,v) ( italic_x , italic_y , italic_z , italic_t , italic_u , italic_v )
consider a metric
g = d x 2 + d y 2 + d z 2 + d t 2 + d u 2 + d v 2 + c ( t 2 + y t ) d x d y + c ( t 2 + t u ) d u d v , 𝑔 𝑑 superscript 𝑥 2 𝑑 superscript 𝑦 2 𝑑 superscript 𝑧 2 𝑑 superscript 𝑡 2 𝑑 superscript 𝑢 2 𝑑 superscript 𝑣 2 𝑐 superscript 𝑡 2 𝑦 𝑡 𝑑 𝑥 𝑑 𝑦 𝑐 superscript 𝑡 2 𝑡 𝑢 𝑑 𝑢 𝑑 𝑣 g=dx^{2}+dy^{2}+dz^{2}+dt^{2}+du^{2}+dv^{2}+c(t^{2}+yt)dxdy+c(t^{2}+tu)dudv, italic_g = italic_d italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_d italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_d italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_d italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_d italic_u start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_d italic_v start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_c ( italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_y italic_t ) italic_d italic_x italic_d italic_y + italic_c ( italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_t italic_u ) italic_d italic_u italic_d italic_v ,
where c 𝑐 c italic_c is a constant,
and take
X = 2 ∂ x ∧ ∂ y + ∂ z ∧ ∂ u . 𝑋 2 subscript 𝑥 subscript 𝑦 subscript 𝑧 subscript 𝑢 X=2\partial_{x}\wedge\partial_{y}+\partial_{z}\wedge\partial_{u}. italic_X = 2 ∂ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ∧ ∂ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT + ∂ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ∧ ∂ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT .
Evaluating the Weyl tensor of this metric at the point
( 0 , 0 , 0 , 0 , 0 , 0 ) 0 0 0 0 0 0 (0,0,0,0,0,0) ( 0 , 0 , 0 , 0 , 0 , 0 ) , and computing the obstruction
(3 ) which yields
ℬ ℬ \displaystyle\mathcal{B} caligraphic_B
= \displaystyle= =
− s 3 s 4 3 1152 + s 2 6 s 3 138240 − s 2 3 s 3 3 7776 + s 3 s 6 2 216 − s 2 5 s 5 19200 − s 3 3 s 6 972 + s 2 4 s 7 2688 + s 4 2 s 7 224 − s 7 s 8 56 subscript 𝑠 3 superscript subscript 𝑠 4 3 1152 superscript subscript 𝑠 2 6 subscript 𝑠 3 138240 superscript subscript 𝑠 2 3 superscript subscript 𝑠 3 3 7776 subscript 𝑠 3 superscript subscript 𝑠 6 2 216 superscript subscript 𝑠 2 5 subscript 𝑠 5 19200 superscript subscript 𝑠 3 3 subscript 𝑠 6 972 superscript subscript 𝑠 2 4 subscript 𝑠 7 2688 superscript subscript 𝑠 4 2 subscript 𝑠 7 224 subscript 𝑠 7 subscript 𝑠 8 56 \displaystyle-{\frac{{\it s_{3}}\,{{\it s_{4}}}^{3}}{1152}}+{\frac{{{\it s_{2}%
}}^{6}{\it s_{3}}}{138240}}-{\frac{{{\it s_{2}}}^{3}{{\it s_{3}}}^{3}}{7776}}+%
{\frac{{\it s_{3}}\,{{\it s_{6}}}^{2}}{216}}-{\frac{{{\it s_{2}}}^{5}{\it s_{5%
}}}{19200}}-{\frac{{{\it s_{3}}}^{3}{\it s_{6}}}{972}}+{\frac{{{\it s_{2}}}^{4%
}{\it s_{7}}}{2688}}+{\frac{{{\it s_{4}}}^{2}{\it s_{7}}}{224}}-{\frac{{\it s_%
{7}}\,{\it s_{8}}}{56}} - divide start_ARG italic_s start_POSTSUBSCRIPT italic_3 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG 1152 end_ARG + divide start_ARG italic_s start_POSTSUBSCRIPT italic_2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_3 end_POSTSUBSCRIPT end_ARG start_ARG 138240 end_ARG - divide start_ARG italic_s start_POSTSUBSCRIPT italic_2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG 7776 end_ARG + divide start_ARG italic_s start_POSTSUBSCRIPT italic_3 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_6 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 216 end_ARG - divide start_ARG italic_s start_POSTSUBSCRIPT italic_2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_5 end_POSTSUBSCRIPT end_ARG start_ARG 19200 end_ARG - divide start_ARG italic_s start_POSTSUBSCRIPT italic_3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_6 end_POSTSUBSCRIPT end_ARG start_ARG 972 end_ARG + divide start_ARG italic_s start_POSTSUBSCRIPT italic_2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_7 end_POSTSUBSCRIPT end_ARG start_ARG 2688 end_ARG + divide start_ARG italic_s start_POSTSUBSCRIPT italic_4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_7 end_POSTSUBSCRIPT end_ARG start_ARG 224 end_ARG - divide start_ARG italic_s start_POSTSUBSCRIPT italic_7 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_8 end_POSTSUBSCRIPT end_ARG start_ARG 56 end_ARG
− s 2 3 s 9 432 + s 3 2 s 9 162 − s 6 s 9 54 − 1 50 s 10 s 5 + s 11 s 2 2 88 − 1 44 s 11 s 4 − 1 36 s 3 s 12 − s 2 2 s 3 s 8 192 + superscript subscript 𝑠 2 3 subscript 𝑠 9 432 superscript subscript 𝑠 3 2 subscript 𝑠 9 162 subscript 𝑠 6 subscript 𝑠 9 54 1 50 subscript 𝑠 10 subscript 𝑠 5 subscript 𝑠 11 superscript subscript 𝑠 2 2 88 1 44 subscript 𝑠 11 subscript 𝑠 4 1 36 subscript 𝑠 3 subscript 𝑠 12 limit-from superscript subscript 𝑠 2 2 subscript 𝑠 3 subscript 𝑠 8 192 \displaystyle-{\frac{{{\it s_{2}}}^{3}{\it s_{9}}}{432}}+{\frac{{{\it s_{3}}}^%
{2}{\it s_{9}}}{162}}-{\frac{{\it s_{6}}\,{\it s_{9}}}{54}}-{\frac{1}{50}}\,{%
\it s_{10}}\,{\it s_{5}}+{\frac{{\it s_{11}}\,{{\it s_{2}}}^{2}}{88}}-\frac{1}%
{44}\,{\it s_{11}}\,{\it s_{4}}-\frac{1}{36}\,{\it s_{3}}\,{\it s_{12}}-{\frac%
{{{\it s_{2}}}^{2}{\it s_{3}}\,{\it s_{8}}}{192}}+ - divide start_ARG italic_s start_POSTSUBSCRIPT italic_2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_9 end_POSTSUBSCRIPT end_ARG start_ARG 432 end_ARG + divide start_ARG italic_s start_POSTSUBSCRIPT italic_3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_9 end_POSTSUBSCRIPT end_ARG start_ARG 162 end_ARG - divide start_ARG italic_s start_POSTSUBSCRIPT italic_6 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_9 end_POSTSUBSCRIPT end_ARG start_ARG 54 end_ARG - divide start_ARG 1 end_ARG start_ARG 50 end_ARG italic_s start_POSTSUBSCRIPT italic_10 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_5 end_POSTSUBSCRIPT + divide start_ARG italic_s start_POSTSUBSCRIPT italic_11 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 88 end_ARG - divide start_ARG 1 end_ARG start_ARG 44 end_ARG italic_s start_POSTSUBSCRIPT italic_11 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_4 end_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG 36 end_ARG italic_s start_POSTSUBSCRIPT italic_3 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_12 end_POSTSUBSCRIPT - divide start_ARG italic_s start_POSTSUBSCRIPT italic_2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_3 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_8 end_POSTSUBSCRIPT end_ARG start_ARG 192 end_ARG +
s 2 s 5 s 8 80 + s 3 s 4 s 8 96 − s 2 2 s 4 s 7 224 − s 2 s 3 2 s 7 252 + s 2 s 6 s 7 84 + s 3 s 5 s 7 105 + subscript 𝑠 2 subscript 𝑠 5 subscript 𝑠 8 80 subscript 𝑠 3 subscript 𝑠 4 subscript 𝑠 8 96 superscript subscript 𝑠 2 2 subscript 𝑠 4 subscript 𝑠 7 224 subscript 𝑠 2 superscript subscript 𝑠 3 2 subscript 𝑠 7 252 subscript 𝑠 2 subscript 𝑠 6 subscript 𝑠 7 84 limit-from subscript 𝑠 3 subscript 𝑠 5 subscript 𝑠 7 105 \displaystyle{\frac{{\it s_{2}}\,{\it s_{5}}\,{\it s_{8}}}{80}}+{\frac{{\it s_%
{3}}\,{\it s_{4}}\,{\it s_{8}}}{96}}-{\frac{{{\it s_{2}}}^{2}{\it s_{4}}\,{\it
s%
_{7}}}{224}}-{\frac{{\it s_{2}}\,{{\it s_{3}}}^{2}{\it s_{7}}}{252}}+{\frac{{%
\it s_{2}}\,{\it s_{6}}\,{\it s_{7}}}{84}}+{\frac{{\it s_{3}}\,{\it s_{5}}\,{%
\it s_{7}}}{105}}+ divide start_ARG italic_s start_POSTSUBSCRIPT italic_2 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_5 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_8 end_POSTSUBSCRIPT end_ARG start_ARG 80 end_ARG + divide start_ARG italic_s start_POSTSUBSCRIPT italic_3 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_4 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_8 end_POSTSUBSCRIPT end_ARG start_ARG 96 end_ARG - divide start_ARG italic_s start_POSTSUBSCRIPT italic_2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_4 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_7 end_POSTSUBSCRIPT end_ARG start_ARG 224 end_ARG - divide start_ARG italic_s start_POSTSUBSCRIPT italic_2 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_7 end_POSTSUBSCRIPT end_ARG start_ARG 252 end_ARG + divide start_ARG italic_s start_POSTSUBSCRIPT italic_2 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_6 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_7 end_POSTSUBSCRIPT end_ARG start_ARG 84 end_ARG + divide start_ARG italic_s start_POSTSUBSCRIPT italic_3 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_5 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_7 end_POSTSUBSCRIPT end_ARG start_ARG 105 end_ARG +
s 2 3 s 3 s 6 864 − s 2 2 s 5 s 6 240 + s 4 s 5 s 6 120 + s 2 3 s 4 s 5 960 + s 2 2 s 3 2 s 5 720 − s 2 s 3 s 5 2 300 superscript subscript 𝑠 2 3 subscript 𝑠 3 subscript 𝑠 6 864 superscript subscript 𝑠 2 2 subscript 𝑠 5 subscript 𝑠 6 240 subscript 𝑠 4 subscript 𝑠 5 subscript 𝑠 6 120 superscript subscript 𝑠 2 3 subscript 𝑠 4 subscript 𝑠 5 960 superscript subscript 𝑠 2 2 superscript subscript 𝑠 3 2 subscript 𝑠 5 720 subscript 𝑠 2 subscript 𝑠 3 superscript subscript 𝑠 5 2 300 \displaystyle{\frac{{{\it s_{2}}}^{3}{\it s_{3}}\,{\it s_{6}}}{864}}-{\frac{{{%
\it s_{2}}}^{2}{\it s_{5}}\,{\it s_{6}}}{240}}+{\frac{{\it s_{4}}\,{\it s_{5}}%
\,{\it s_{6}}}{120}}+{\frac{{{\it s_{2}}}^{3}{\it s_{4}}\,{\it s_{5}}}{960}}+{%
\frac{{{\it s_{2}}}^{2}{{\it s_{3}}}^{2}{\it s_{5}}}{720}}-{\frac{{\it s_{2}}%
\,{\it s_{3}}\,{{\it s_{5}}}^{2}}{300}} divide start_ARG italic_s start_POSTSUBSCRIPT italic_2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_3 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_6 end_POSTSUBSCRIPT end_ARG start_ARG 864 end_ARG - divide start_ARG italic_s start_POSTSUBSCRIPT italic_2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_5 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_6 end_POSTSUBSCRIPT end_ARG start_ARG 240 end_ARG + divide start_ARG italic_s start_POSTSUBSCRIPT italic_4 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_5 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_6 end_POSTSUBSCRIPT end_ARG start_ARG 120 end_ARG + divide start_ARG italic_s start_POSTSUBSCRIPT italic_2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_4 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_5 end_POSTSUBSCRIPT end_ARG start_ARG 960 end_ARG + divide start_ARG italic_s start_POSTSUBSCRIPT italic_2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_5 end_POSTSUBSCRIPT end_ARG start_ARG 720 end_ARG - divide start_ARG italic_s start_POSTSUBSCRIPT italic_2 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_3 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_5 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 300 end_ARG
− s 2 s 4 2 s 5 320 − s 3 2 s 4 s 5 360 − s 2 4 s 3 s 4 4608 + s 2 2 s 3 s 4 2 768 + s 2 s 3 3 s 4 1296 − subscript 𝑠 2 superscript subscript 𝑠 4 2 subscript 𝑠 5 320 superscript subscript 𝑠 3 2 subscript 𝑠 4 subscript 𝑠 5 360 superscript subscript 𝑠 2 4 subscript 𝑠 3 subscript 𝑠 4 4608 superscript subscript 𝑠 2 2 subscript 𝑠 3 superscript subscript 𝑠 4 2 768 limit-from subscript 𝑠 2 superscript subscript 𝑠 3 3 subscript 𝑠 4 1296 \displaystyle-{\frac{{\it s_{2}}\,{{\it s_{4}}}^{2}{\it s_{5}}}{320}}-{\frac{{%
{\it s_{3}}}^{2}{\it s_{4}}\,{\it s_{5}}}{360}}-{\frac{{{\it s_{2}}}^{4}{\it s%
_{3}}\,{\it s_{4}}}{4608}}+{\frac{{{\it s_{2}}}^{2}{\it s_{3}}\,{{\it s_{4}}}^%
{2}}{768}}+{\frac{{\it s_{2}}\,{{\it s_{3}}}^{3}{\it s_{4}}}{1296}}- - divide start_ARG italic_s start_POSTSUBSCRIPT italic_2 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_5 end_POSTSUBSCRIPT end_ARG start_ARG 320 end_ARG - divide start_ARG italic_s start_POSTSUBSCRIPT italic_3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_4 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_5 end_POSTSUBSCRIPT end_ARG start_ARG 360 end_ARG - divide start_ARG italic_s start_POSTSUBSCRIPT italic_2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_3 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_4 end_POSTSUBSCRIPT end_ARG start_ARG 4608 end_ARG + divide start_ARG italic_s start_POSTSUBSCRIPT italic_2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_3 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 768 end_ARG + divide start_ARG italic_s start_POSTSUBSCRIPT italic_2 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_4 end_POSTSUBSCRIPT end_ARG start_ARG 1296 end_ARG -
s 2 s 3 s 4 s 6 144 + s 15 15 + s 5 3 750 − 1 26 s 2 s 13 + s 3 5 29160 + s 10 s 2 s 3 60 + s 2 s 4 s 9 72 , subscript 𝑠 2 subscript 𝑠 3 subscript 𝑠 4 subscript 𝑠 6 144 subscript 𝑠 15 15 superscript subscript 𝑠 5 3 750 1 26 subscript 𝑠 2 subscript 𝑠 13 superscript subscript 𝑠 3 5 29160 subscript 𝑠 10 subscript 𝑠 2 subscript 𝑠 3 60 subscript 𝑠 2 subscript 𝑠 4 subscript 𝑠 9 72 \displaystyle{\frac{{\it s_{2}}\,{\it s_{3}}\,{\it s_{4}}\,{\it s_{6}}}{144}}+%
\frac{{\it s_{15}}}{15}+{\frac{{{\it s_{5}}}^{3}}{750}}-\frac{1}{26}\,{\it s_{%
2}}\,{\it s_{13}}+{\frac{{{\it s_{3}}}^{5}}{29160}}+{\frac{{\it s_{10}}\,{\it s%
_{2}}\,{\it s_{3}}}{60}}+{\frac{{\it s_{2}}\,{\it s_{4}}\,{\it s_{9}}}{72}}, divide start_ARG italic_s start_POSTSUBSCRIPT italic_2 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_3 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_4 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_6 end_POSTSUBSCRIPT end_ARG start_ARG 144 end_ARG + divide start_ARG italic_s start_POSTSUBSCRIPT italic_15 end_POSTSUBSCRIPT end_ARG start_ARG 15 end_ARG + divide start_ARG italic_s start_POSTSUBSCRIPT italic_5 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG 750 end_ARG - divide start_ARG 1 end_ARG start_ARG 26 end_ARG italic_s start_POSTSUBSCRIPT italic_2 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_13 end_POSTSUBSCRIPT + divide start_ARG italic_s start_POSTSUBSCRIPT italic_3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT end_ARG start_ARG 29160 end_ARG + divide start_ARG italic_s start_POSTSUBSCRIPT italic_10 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_2 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_3 end_POSTSUBSCRIPT end_ARG start_ARG 60 end_ARG + divide start_ARG italic_s start_POSTSUBSCRIPT italic_2 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_4 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_9 end_POSTSUBSCRIPT end_ARG start_ARG 72 end_ARG ,
and gives a non zero answer
ℬ = 9639 c 15 17592186044416 . ℬ 9639 superscript 𝑐 15 17592186044416 {\mathcal{B}}={\frac{9639\,{c}^{15}}{17592186044416}}. caligraphic_B = divide start_ARG 9639 italic_c start_POSTSUPERSCRIPT 15 end_POSTSUPERSCRIPT end_ARG start_ARG 17592186044416 end_ARG .
4. Nonlinear algebraic conditions
We now move to the second source of obstructions, namely the
nonlinear condition J 2 = − Id superscript 𝐽 2 Id J^{2}=-\mbox{Id} italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = - Id . In the index notation this is
ω a b ω b c + 1 n | ω | 2 δ a c = 0 . subscript superscript 𝜔 𝑎 𝑏 subscript superscript 𝜔 𝑏 𝑐 1 𝑛 superscript 𝜔 2 subscript superscript 𝛿 𝑎 𝑐 0 {\omega^{a}}_{b}{\omega^{b}}_{c}+\frac{1}{n}|\omega|^{2}{\delta^{a}}_{c}=0. italic_ω start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG italic_n end_ARG | italic_ω | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_δ start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 0 .
(4.1)
The case n = 4 𝑛 4 n=4 italic_n = 4 was treated in [8 ] , so in the Theorem below we shall assume that n > 4 𝑛 4 n>4 italic_n > 4 .
Theorem 4.1 .
There is a one–to–one correspondence between Kähler metrics in a
conformal class and parallel sections Ψ Ψ \Psi roman_Ψ of the vector bundle ( E , 𝒟 ) 𝐸 𝒟 (E,\mathcal{D}) ( italic_E , caligraphic_D ) from Theorem 2.1 such that
𝒬 ( Ψ ) = 0 , 𝒬 Ψ 0 \mathcal{Q}(\Psi)=0, caligraphic_Q ( roman_Ψ ) = 0 ,
(4.2)
where 𝒬 𝒬 \mathcal{Q} caligraphic_Q is the set of non-linear
algebraic conditions given by (4.1 ) and
μ a b c + 3 n | ω | 2 ω [ a b ω d c ] K d = 0 , \displaystyle\mu_{abc}+\frac{3n}{|\omega|^{2}}\omega_{[ab}{\omega^{d}}_{c]}K_{%
d}=0, italic_μ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT + divide start_ARG 3 italic_n end_ARG start_ARG | italic_ω | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_ω start_POSTSUBSCRIPT [ italic_a italic_b end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_d end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_c ] end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT = 0 ,
(4.3)
Σ a b = − ( n 2 | ω | − 2 | K | 2 + n 4 ( n − 2 ) ( n − 4 ) C c d e f ω c d ω e f ) ω a b subscript Σ 𝑎 𝑏 𝑛 2 superscript 𝜔 2 superscript 𝐾 2 𝑛 4 𝑛 2 𝑛 4 subscript 𝐶 𝑐 𝑑 𝑒 𝑓 superscript 𝜔 𝑐 𝑑 superscript 𝜔 𝑒 𝑓 subscript 𝜔 𝑎 𝑏 \displaystyle\Sigma_{ab}=-\Big{(}\frac{n}{2}|\omega|^{-2}|K|^{2}+\frac{n}{4(n-%
2)(n-4)}C_{cdef}\omega^{cd}\omega^{ef}\Big{)}\omega_{ab} roman_Σ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT = - ( divide start_ARG italic_n end_ARG start_ARG 2 end_ARG | italic_ω | start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT | italic_K | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG italic_n end_ARG start_ARG 4 ( italic_n - 2 ) ( italic_n - 4 ) end_ARG italic_C start_POSTSUBSCRIPT italic_c italic_d italic_e italic_f end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_c italic_d end_POSTSUPERSCRIPT italic_ω start_POSTSUPERSCRIPT italic_e italic_f end_POSTSUPERSCRIPT ) italic_ω start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT
(4.4)
+ 1 2 ( n − 4 ) C c d a b ω c d + 2 n | ω | − 2 K c ω c [ b K a ] ( n > 4 ) . \displaystyle+\frac{1}{2(n-4)}C_{cdab}\omega^{cd}+2n|\omega|^{-2}K_{c}{\omega^%
{c}}_{[b}K_{a]}\quad(n>4). + divide start_ARG 1 end_ARG start_ARG 2 ( italic_n - 4 ) end_ARG italic_C start_POSTSUBSCRIPT italic_c italic_d italic_a italic_b end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_c italic_d end_POSTSUPERSCRIPT + 2 italic_n | italic_ω | start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT italic_K start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT start_POSTSUBSCRIPT [ italic_b end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT italic_a ] end_POSTSUBSCRIPT ( italic_n > 4 ) .
We shall split the proof into two steps.
Proposition 4.2 .
Solutions ω b c subscript 𝜔 𝑏 𝑐 \omega_{bc} italic_ω start_POSTSUBSCRIPT italic_b italic_c end_POSTSUBSCRIPT to the CKY equation (2.1 ) that also satisfy (4.1 )
correspond to conformally related Kähler metrics iff (4.3 ) holds.
Proof. ⇒ : ⇒ absent : \Rightarrow: ⇒ : In this direction the result is immediate
as (2.2 ) implies (4.3 ).
⇐ : ⇐ absent : \Leftarrow: ⇐ : Assume (2.1 ) and (4.1 ) hold. We would
like to deduce (2.2 ), as then a conformal factor can be
found which turns g 𝑔 g italic_g into a Kähler metric.
Differentiating the condition (4.1 ) leads to
ω a ∇ d b ω b c + ω c ∇ d b ω b a = 2 Ω − 2 g a c Υ d , \omega_{a}{}^{b}\nabla_{d}\omega_{bc}+\omega_{c}{}^{b}\nabla_{d}\omega_{ba}=2%
\Omega^{-2}g_{ac}\Upsilon_{d}, italic_ω start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_FLOATSUPERSCRIPT italic_b end_FLOATSUPERSCRIPT ∇ start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_b italic_c end_POSTSUBSCRIPT + italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_FLOATSUPERSCRIPT italic_b end_FLOATSUPERSCRIPT ∇ start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_b italic_a end_POSTSUBSCRIPT = 2 roman_Ω start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT italic_g start_POSTSUBSCRIPT italic_a italic_c end_POSTSUBSCRIPT roman_Υ start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ,
where we defined the positive function Ω Ω \Omega roman_Ω by | w | g 2 = n Ω − 2 subscript superscript 𝑤 2 𝑔 𝑛 superscript Ω 2 |w|^{2}_{g}=n\Omega^{-2} | italic_w | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_g end_POSTSUBSCRIPT = italic_n roman_Ω start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT , and as usual
Υ a := Ω − 1 ∇ a Ω assign subscript Υ 𝑎 superscript Ω 1 subscript ∇ 𝑎 Ω \Upsilon_{a}:=\Omega^{-1}\nabla_{a}\Omega roman_Υ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT := roman_Ω start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ∇ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT roman_Ω .
Substituting (2.1 ) yields
ω a μ d b c b + ω c μ d b a b + ω a d K c + ω c d K a − g d c ω a K b b − g d a ω c K b b = 2 Ω − 2 g a c Υ d . subscript 𝜔 𝑎 superscript subscript 𝜇 𝑑 𝑏 𝑐 𝑏 subscript 𝜔 𝑐 superscript subscript 𝜇 𝑑 𝑏 𝑎 𝑏 subscript 𝜔 𝑎 𝑑 subscript 𝐾 𝑐 subscript 𝜔 𝑐 𝑑 subscript 𝐾 𝑎 subscript 𝑔 𝑑 𝑐 subscript 𝜔 𝑎 superscript subscript 𝐾 𝑏 𝑏 subscript 𝑔 𝑑 𝑎 subscript 𝜔 𝑐 superscript subscript 𝐾 𝑏 𝑏 2 superscript Ω 2 subscript 𝑔 𝑎 𝑐 subscript Υ 𝑑 \omega_{a}{}^{b}\mu_{dbc}+\omega_{c}{}^{b}\mu_{dba}+\omega_{ad}K_{c}+\omega_{%
cd}K_{a}-g_{dc}\omega_{a}{}^{b}K_{b}-g_{da}\omega_{c}{}^{b}K_{b}=2\Omega^{-2}g%
_{ac}\Upsilon_{d}. italic_ω start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_FLOATSUPERSCRIPT italic_b end_FLOATSUPERSCRIPT italic_μ start_POSTSUBSCRIPT italic_d italic_b italic_c end_POSTSUBSCRIPT + italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_FLOATSUPERSCRIPT italic_b end_FLOATSUPERSCRIPT italic_μ start_POSTSUBSCRIPT italic_d italic_b italic_a end_POSTSUBSCRIPT + italic_ω start_POSTSUBSCRIPT italic_a italic_d end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT + italic_ω start_POSTSUBSCRIPT italic_c italic_d end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT - italic_g start_POSTSUBSCRIPT italic_d italic_c end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_FLOATSUPERSCRIPT italic_b end_FLOATSUPERSCRIPT italic_K start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT - italic_g start_POSTSUBSCRIPT italic_d italic_a end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_FLOATSUPERSCRIPT italic_b end_FLOATSUPERSCRIPT italic_K start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT = 2 roman_Ω start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT italic_g start_POSTSUBSCRIPT italic_a italic_c end_POSTSUBSCRIPT roman_Υ start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT .
(4.5)
From this we find easily the second part of (2.2 ), as follows. Contracting
(4.5 ) with g a c superscript 𝑔 𝑎 𝑐 g^{ac} italic_g start_POSTSUPERSCRIPT italic_a italic_c end_POSTSUPERSCRIPT and g d c superscript 𝑔 𝑑 𝑐 g^{dc} italic_g start_POSTSUPERSCRIPT italic_d italic_c end_POSTSUPERSCRIPT respectively, and taking an appropriate linear combination
of the resulting two equations yields
( n − 2 ) K c ω c + a ω b c μ a b c = 0 , (n-2)K_{c}\omega^{c}{}_{a}+\omega^{bc}\mu_{abc}=0, ( italic_n - 2 ) italic_K start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT italic_a end_FLOATSUBSCRIPT + italic_ω start_POSTSUPERSCRIPT italic_b italic_c end_POSTSUPERSCRIPT italic_μ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT = 0 ,
(4.6)
which then implies
K a = ω a b Υ b . subscript 𝐾 𝑎 subscript 𝜔 𝑎 𝑏 superscript Υ 𝑏 K_{a}=\omega_{ab}\Upsilon^{b}. italic_K start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT = italic_ω start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT roman_Υ start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT .
(4.7)
Thus (4.5 ) now gives a stronger relation
between K 𝐾 K italic_K and μ 𝜇 \mu italic_μ , namely
ω a μ d b c b + ω c μ d b a b + ω a d K c + ω c d K a − g d c ω a K b b − g d a ω c K b b = − 2 g a c ω d K b b , subscript 𝜔 𝑎 superscript subscript 𝜇 𝑑 𝑏 𝑐 𝑏 subscript 𝜔 𝑐 superscript subscript 𝜇 𝑑 𝑏 𝑎 𝑏 subscript 𝜔 𝑎 𝑑 subscript 𝐾 𝑐 subscript 𝜔 𝑐 𝑑 subscript 𝐾 𝑎 subscript 𝑔 𝑑 𝑐 subscript 𝜔 𝑎 superscript subscript 𝐾 𝑏 𝑏 subscript 𝑔 𝑑 𝑎 subscript 𝜔 𝑐 superscript subscript 𝐾 𝑏 𝑏 2 subscript 𝑔 𝑎 𝑐 subscript 𝜔 𝑑 superscript subscript 𝐾 𝑏 𝑏 \omega_{a}{}^{b}\mu_{dbc}+\omega_{c}{}^{b}\mu_{dba}+\omega_{ad}K_{c}+\omega_{%
cd}K_{a}-g_{dc}\omega_{a}{}^{b}K_{b}-g_{da}\omega_{c}{}^{b}K_{b}=-2g_{ac}%
\omega_{d}{}^{b}K_{b}, italic_ω start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_FLOATSUPERSCRIPT italic_b end_FLOATSUPERSCRIPT italic_μ start_POSTSUBSCRIPT italic_d italic_b italic_c end_POSTSUBSCRIPT + italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_FLOATSUPERSCRIPT italic_b end_FLOATSUPERSCRIPT italic_μ start_POSTSUBSCRIPT italic_d italic_b italic_a end_POSTSUBSCRIPT + italic_ω start_POSTSUBSCRIPT italic_a italic_d end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT + italic_ω start_POSTSUBSCRIPT italic_c italic_d end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT - italic_g start_POSTSUBSCRIPT italic_d italic_c end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_FLOATSUPERSCRIPT italic_b end_FLOATSUPERSCRIPT italic_K start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT - italic_g start_POSTSUBSCRIPT italic_d italic_a end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_FLOATSUPERSCRIPT italic_b end_FLOATSUPERSCRIPT italic_K start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT = - 2 italic_g start_POSTSUBSCRIPT italic_a italic_c end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT start_FLOATSUPERSCRIPT italic_b end_FLOATSUPERSCRIPT italic_K start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ,
or equivalently in terms of Υ Υ \Upsilon roman_Υ
ω a μ d b c b + ω c μ d b a b + 3 ω a Υ [ d b ω b c ] + 3 ω c Υ [ d b ω b a ] = 0 . \omega_{a}{}^{b}\mu_{dbc}+\omega_{c}{}^{b}\mu_{dba}+3\omega_{a}{}^{b}\Upsilon_%
{[d}\omega_{bc]}+3\omega_{c}{}^{b}\Upsilon_{[d}\omega_{ba]}=0. italic_ω start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_FLOATSUPERSCRIPT italic_b end_FLOATSUPERSCRIPT italic_μ start_POSTSUBSCRIPT italic_d italic_b italic_c end_POSTSUBSCRIPT + italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_FLOATSUPERSCRIPT italic_b end_FLOATSUPERSCRIPT italic_μ start_POSTSUBSCRIPT italic_d italic_b italic_a end_POSTSUBSCRIPT + 3 italic_ω start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_FLOATSUPERSCRIPT italic_b end_FLOATSUPERSCRIPT roman_Υ start_POSTSUBSCRIPT [ italic_d end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_b italic_c ] end_POSTSUBSCRIPT + 3 italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_FLOATSUPERSCRIPT italic_b end_FLOATSUPERSCRIPT roman_Υ start_POSTSUBSCRIPT [ italic_d end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_b italic_a ] end_POSTSUBSCRIPT = 0 .
(4.8)
Now clearly μ a b c = − 3 Υ [ a ω b c ] \mu_{abc}=-3\Upsilon_{[a}\omega_{bc]} italic_μ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT = - 3 roman_Υ start_POSTSUBSCRIPT [ italic_a end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_b italic_c ] end_POSTSUBSCRIPT is a solution of
(4.8 ). Note however that, by linearlity, (4.8 ) only
determines μ a b c subscript 𝜇 𝑎 𝑏 𝑐 \mu_{abc} italic_μ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT up to the addition of three–forms which belong
to the kernel of a linear operator T : Λ 3 → ( Λ 1 ⊙ Λ 1 ) ⊗ Λ 1 : 𝑇 → superscript Λ 3 tensor-product direct-product superscript Λ 1 superscript Λ 1 superscript Λ 1 T:\Lambda^{3}\rightarrow(\Lambda^{1}\odot\Lambda^{1})\otimes\Lambda^{1} italic_T : roman_Λ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT → ( roman_Λ start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT ⊙ roman_Λ start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT ) ⊗ roman_Λ start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT given by
T ( τ ) a b c = ω a d τ b c d + ω b d τ a c d . 𝑇 subscript 𝜏 𝑎 𝑏 𝑐 superscript subscript 𝜔 𝑎 𝑑 subscript 𝜏 𝑏 𝑐 𝑑 superscript subscript 𝜔 𝑏 𝑑 subscript 𝜏 𝑎 𝑐 𝑑 T(\tau)_{abc}={{\omega_{a}}^{d}}\tau_{bcd}+{{\omega_{b}}^{d}}\tau_{acd}. italic_T ( italic_τ ) start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT = italic_ω start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_d end_POSTSUPERSCRIPT italic_τ start_POSTSUBSCRIPT italic_b italic_c italic_d end_POSTSUBSCRIPT + italic_ω start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_d end_POSTSUPERSCRIPT italic_τ start_POSTSUBSCRIPT italic_a italic_c italic_d end_POSTSUBSCRIPT .
(4.9)
We can decompose
Λ 3 superscript Λ 3 \Lambda^{3} roman_Λ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT orthogonally into parts that are trace-free and pure trace with respect to ω 𝜔 \omega italic_ω :
Λ 3 = Λ ̊ 3 ⊕ Λ 1 , 3 . superscript Λ 3 direct-sum superscript ̊ Λ 3 superscript Λ 1 3
\Lambda^{3}=\mathring{\Lambda}^{3}\oplus\Lambda^{1,3}. roman_Λ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT = over̊ start_ARG roman_Λ end_ARG start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ⊕ roman_Λ start_POSTSUPERSCRIPT 1 , 3 end_POSTSUPERSCRIPT .
The kernel of T 𝑇 T italic_T consists of 3-forms that are in Λ 3 , 0 ⊕ Λ 0 , 3 direct-sum superscript Λ 3 0
superscript Λ 0 3
\Lambda^{3,0}\oplus\Lambda^{0,3} roman_Λ start_POSTSUPERSCRIPT 3 , 0 end_POSTSUPERSCRIPT ⊕ roman_Λ start_POSTSUPERSCRIPT 0 , 3 end_POSTSUPERSCRIPT with respect to J 𝐽 J italic_J , but all we need to know currently
is that if τ ∈ Ker ( T ) 𝜏 Ker 𝑇 \tau\in\mbox{Ker}\;(T) italic_τ ∈ Ker ( italic_T ) then ω a b τ a b c = 0 superscript 𝜔 𝑎 𝑏 subscript 𝜏 𝑎 𝑏 𝑐 0 \omega^{ab}\tau_{abc}=0 italic_ω start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT italic_τ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT = 0 (as follows immediately by contracting (4.9 ) with g a b superscript 𝑔 𝑎 𝑏 g^{ab} italic_g start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT ), so
ker ( T ) ⊂ Λ ̊ 3 kernel 𝑇 superscript ̊ Λ 3 \ker(T)\subset\mathring{\Lambda}^{3} roman_ker ( italic_T ) ⊂ over̊ start_ARG roman_Λ end_ARG start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT .
Let us write I 𝐼 I italic_I for the linear sub-bundle of ( Λ 1 ⊙ Λ 1 ) ⊗ Λ 1 tensor-product direct-product superscript Λ 1 superscript Λ 1 superscript Λ 1 (\Lambda^{1}\odot\Lambda^{1})\otimes\Lambda^{1} ( roman_Λ start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT ⊙ roman_Λ start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT ) ⊗ roman_Λ start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT consisting of elements of the form
− 3 ω a Υ [ d b ω b c ] − 3 ω c Υ [ d b ω b a ] . -3\omega_{a}{}^{b}\Upsilon_{[d}\omega_{bc]}-3\omega_{c}{}^{b}\Upsilon_{[d}%
\omega_{ba]}. - 3 italic_ω start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_FLOATSUPERSCRIPT italic_b end_FLOATSUPERSCRIPT roman_Υ start_POSTSUBSCRIPT [ italic_d end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_b italic_c ] end_POSTSUBSCRIPT - 3 italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_FLOATSUPERSCRIPT italic_b end_FLOATSUPERSCRIPT roman_Υ start_POSTSUBSCRIPT [ italic_d end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_b italic_a ] end_POSTSUBSCRIPT .
Then T − 1 ( I ) superscript 𝑇 1 𝐼 T^{-1}(I) italic_T start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_I ) is a linear sub-bundle of Λ 3 superscript Λ 3 \Lambda^{3} roman_Λ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT . On the other hand, since
μ a b c = − 3 Υ [ a ω b c ] \mu_{abc}=-3\Upsilon_{[a}\omega_{bc]} italic_μ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT = - 3 roman_Υ start_POSTSUBSCRIPT [ italic_a end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_b italic_c ] end_POSTSUBSCRIPT is a solution of (4.8 ),
it is clear that Λ 1 , 3 ⊂ T − 1 ( I ) superscript Λ 1 3
superscript 𝑇 1 𝐼 \Lambda^{1,3}\subset T^{-1}(I) roman_Λ start_POSTSUPERSCRIPT 1 , 3 end_POSTSUPERSCRIPT ⊂ italic_T start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_I ) and every
element in T − 1 ( I ) superscript 𝑇 1 𝐼 T^{-1}(I) italic_T start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_I ) is, pointwise, the vector sum of an element
Λ 1 , 3 superscript Λ 1 3
\Lambda^{1,3} roman_Λ start_POSTSUPERSCRIPT 1 , 3 end_POSTSUPERSCRIPT with an element of ker ( T ) kernel 𝑇 \ker(T) roman_ker ( italic_T ) . Putting these things
together it is clear that we obtain unique solutions μ 𝜇 \mu italic_μ to
(4.8 ) if we restrict to μ 𝜇 \mu italic_μ which are pure trace. Or in other
words μ 𝜇 \mu italic_μ s such that their trace-free part is zero:
We can write the condition for μ 𝜇 \mu italic_μ explicitly
as
| ω | 2 μ a b c − 3 n n − 2 ω [ b c μ a ] p q ω p q = 0 . |\omega|^{2}\mu_{abc}-\frac{3n}{n-2}\omega_{[bc}\mu_{a]pq}\omega^{pq}=0. | italic_ω | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_μ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT - divide start_ARG 3 italic_n end_ARG start_ARG italic_n - 2 end_ARG italic_ω start_POSTSUBSCRIPT [ italic_b italic_c end_POSTSUBSCRIPT italic_μ start_POSTSUBSCRIPT italic_a ] italic_p italic_q end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_p italic_q end_POSTSUPERSCRIPT = 0 .
(4.10)
If this condition holds together with (4.1 ) then, using (4.7 ), there exists a unique solution to (2.1 ) given by (2.2 ).
Using (4.6 ) we see that (4.10 ) is equivalent to (4.3 ).
□ □ \Box □
Lemma 4.3 .
For μ 𝜇 \mu italic_μ and K 𝐾 K italic_K as defined in (2.1 ), the following
identities hold
μ a b c K c = 0 , and ω a [ b Σ c ] a = 0 . \mu_{abc}K^{c}=0,\quad\mbox{and}\quad{\omega^{a}}_{[b}\Sigma_{c]a}=0. italic_μ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT italic_K start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT = 0 , and italic_ω start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT start_POSTSUBSCRIPT [ italic_b end_POSTSUBSCRIPT roman_Σ start_POSTSUBSCRIPT italic_c ] italic_a end_POSTSUBSCRIPT = 0 .
(4.11)
Proof. In the conformal to Kähler scale we have μ a b c = − 3 Υ [ a ω b c ] \mu_{abc}=-3\Upsilon_{[a}\omega_{bc]} italic_μ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT = - 3 roman_Υ start_POSTSUBSCRIPT [ italic_a end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_b italic_c ] end_POSTSUBSCRIPT and
Υ a = n | ω | − 2 K d ω d a subscript Υ 𝑎 𝑛 superscript 𝜔 2 superscript 𝐾 𝑑 subscript 𝜔 𝑑 𝑎 \Upsilon_{a}=n|\omega|^{-2}K^{d}\omega_{da} roman_Υ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT = italic_n | italic_ω | start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT italic_K start_POSTSUPERSCRIPT italic_d end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_d italic_a end_POSTSUBSCRIPT so that
K c μ a b c ∼ ( Υ a Υ b − Υ b Υ a ) = 0 . similar-to superscript 𝐾 𝑐 subscript 𝜇 𝑎 𝑏 𝑐 subscript Υ 𝑎 subscript Υ 𝑏 subscript Υ 𝑏 subscript Υ 𝑎 0 K^{c}\mu_{abc}\sim(\Upsilon_{a}\Upsilon_{b}-\Upsilon_{b}\Upsilon_{a})=0. italic_K start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT italic_μ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT ∼ ( roman_Υ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT roman_Υ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT - roman_Υ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT roman_Υ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ) = 0 .
For the second property, which shows that Σ Σ \Sigma roman_Σ is Hermitian, we use that from the expression for Υ Υ \Upsilon roman_Υ in
terms of ω 𝜔 \omega italic_ω and K 𝐾 K italic_K , as above, we have
∇ a Υ b = Ω 2 ( 2 n Υ a Υ b Ω # + P a d ω c d ω c b + Σ a c ω c b − K c μ a b c − g a b | K | 2 + K a K b ) , subscript ∇ 𝑎 subscript Υ 𝑏 superscript Ω 2 2 𝑛 subscript Υ 𝑎 subscript Υ 𝑏 superscript Ω # superscript subscript P 𝑎 𝑑 subscript 𝜔 𝑐 𝑑 subscript superscript 𝜔 𝑐 𝑏 subscript Σ 𝑎 𝑐 subscript superscript 𝜔 𝑐 𝑏 superscript 𝐾 𝑐 subscript 𝜇 𝑎 𝑏 𝑐 subscript 𝑔 𝑎 𝑏 superscript 𝐾 2 subscript 𝐾 𝑎 subscript 𝐾 𝑏 \nabla_{a}\Upsilon_{b}=\Omega^{2}(2n\Upsilon_{a}\Upsilon_{b}\Omega^{\#}+{%
\mathrm{P}_{a}}^{d}\omega_{cd}{\omega^{c}}_{b}+\Sigma_{ac}{\omega^{c}}_{b}-K^{%
c}\mu_{abc}-g_{ab}|K|^{2}+K_{a}K_{b}), ∇ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT roman_Υ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT = roman_Ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 2 italic_n roman_Υ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT roman_Υ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT roman_Ω start_POSTSUPERSCRIPT # end_POSTSUPERSCRIPT + roman_P start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_d end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_c italic_d end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT + roman_Σ start_POSTSUBSCRIPT italic_a italic_c end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT - italic_K start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT italic_μ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT - italic_g start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT | italic_K | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_K start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ) ,
and so
∇ [ a Υ b ] = − Σ c [ a ω c b ] . \nabla_{[a}\Upsilon_{b]}=-\Sigma_{c[a}{\omega^{c}}_{b]}. ∇ start_POSTSUBSCRIPT [ italic_a end_POSTSUBSCRIPT roman_Υ start_POSTSUBSCRIPT italic_b ] end_POSTSUBSCRIPT = - roman_Σ start_POSTSUBSCRIPT italic_c [ italic_a end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_b ] end_POSTSUBSCRIPT .
But of course Υ Υ \Upsilon roman_Υ is exact, and hence closed.
□ □ \Box □
Proposition 4.4 .
If n > 4 𝑛 4 n>4 italic_n > 4 then Σ Σ \Sigma roman_Σ is determined by ω 𝜔 \omega italic_ω and K 𝐾 K italic_K , and is given by
(4.4 ).
Proof.
Consider (2.4 ), (2.5 ) and (4.6 )
and compute
∇ a ( μ b c d ω c d ) = ( n − 2 ) ∇ a ( ω b e K e ) . subscript ∇ 𝑎 subscript 𝜇 𝑏 𝑐 𝑑 superscript 𝜔 𝑐 𝑑 𝑛 2 subscript ∇ 𝑎 superscript subscript 𝜔 𝑏 𝑒 subscript 𝐾 𝑒 \nabla_{a}(\mu_{bcd}\omega^{cd})=(n-2)\nabla_{a}({\omega_{b}}^{e}K_{e}). ∇ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ( italic_μ start_POSTSUBSCRIPT italic_b italic_c italic_d end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_c italic_d end_POSTSUPERSCRIPT ) = ( italic_n - 2 ) ∇ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ( italic_ω start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e end_POSTSUPERSCRIPT italic_K start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ) .
The RHS gives
( n − 2 ) ( g a b | K | 2 − K a K b − 1 n | ω | 2 P a b + ω b e Σ a e ) 𝑛 2 subscript 𝑔 𝑎 𝑏 superscript 𝐾 2 subscript 𝐾 𝑎 subscript 𝐾 𝑏 1 𝑛 superscript 𝜔 2 subscript P 𝑎 𝑏 superscript subscript 𝜔 𝑏 𝑒 subscript Σ 𝑎 𝑒 (n-2)(g_{ab}|K|^{2}-K_{a}K_{b}-\frac{1}{n}|\omega|^{2}\mathrm{P}_{ab}+{\omega_%
{b}}^{e}\Sigma_{ae}) ( italic_n - 2 ) ( italic_g start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT | italic_K | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_K start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG italic_n end_ARG | italic_ω | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_P start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT + italic_ω start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e end_POSTSUPERSCRIPT roman_Σ start_POSTSUBSCRIPT italic_a italic_e end_POSTSUBSCRIPT )
(4.12)
and the LHS gives
− g a b Σ ⋅ ω − 2 Σ b c ω c a + μ b c d μ a c d + 2 − n n | ω | 2 P a b − 1 2 C c d a p ω p b ω c d ⋅ subscript 𝑔 𝑎 𝑏 Σ 𝜔 2 subscript Σ 𝑏 𝑐 subscript superscript 𝜔 𝑐 𝑎 superscript subscript 𝜇 𝑏 𝑐 𝑑 subscript 𝜇 𝑎 𝑐 𝑑 2 𝑛 𝑛 superscript 𝜔 2 subscript P 𝑎 𝑏 1 2 superscript subscript 𝐶 𝑐 𝑑 𝑎 𝑝 subscript 𝜔 𝑝 𝑏 superscript 𝜔 𝑐 𝑑 -g_{ab}\Sigma\cdot\omega-2\Sigma_{bc}{\omega^{c}}_{a}+{\mu_{b}}^{cd}\mu_{acd}+%
\frac{2-n}{n}|\omega|^{2}\mathrm{P}_{ab}-\frac{1}{2}{C_{cda}}^{p}\omega_{pb}%
\omega^{cd} - italic_g start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT roman_Σ ⋅ italic_ω - 2 roman_Σ start_POSTSUBSCRIPT italic_b italic_c end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT + italic_μ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_c italic_d end_POSTSUPERSCRIPT italic_μ start_POSTSUBSCRIPT italic_a italic_c italic_d end_POSTSUBSCRIPT + divide start_ARG 2 - italic_n end_ARG start_ARG italic_n end_ARG | italic_ω | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_P start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_C start_POSTSUBSCRIPT italic_c italic_d italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_p italic_b end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_c italic_d end_POSTSUPERSCRIPT
(4.13)
where we have used (4.11 ).
Next use
μ = 3 Υ [ a ω b c ] , and Υ a = n | ω | − 2 K b ω b c \mu=3\Upsilon_{[a}\omega_{bc]},\quad\mbox{and}\quad\Upsilon_{a}=n|\omega|^{-2}%
K_{b}{\omega^{b}}_{c} italic_μ = 3 roman_Υ start_POSTSUBSCRIPT [ italic_a end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_b italic_c ] end_POSTSUBSCRIPT , and roman_Υ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT = italic_n | italic_ω | start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT italic_K start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT
to compute
μ b c d μ a c d = 2 | K | 2 g a b − 2 K a K b + ( n − 4 ) n | ω | − 2 K p K q ω p a ω q b . superscript subscript 𝜇 𝑏 𝑐 𝑑 subscript 𝜇 𝑎 𝑐 𝑑 2 superscript 𝐾 2 subscript 𝑔 𝑎 𝑏 2 subscript 𝐾 𝑎 subscript 𝐾 𝑏 𝑛 4 𝑛 superscript 𝜔 2 subscript 𝐾 𝑝 subscript 𝐾 𝑞 subscript superscript 𝜔 𝑝 𝑎 subscript superscript 𝜔 𝑞 𝑏 {\mu_{b}}^{cd}\mu_{acd}=2|K|^{2}g_{ab}-2K_{a}K_{b}+(n-4)n|\omega|^{-2}K_{p}K_{%
q}{\omega^{p}}_{a}{\omega^{q}}_{b}. italic_μ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_c italic_d end_POSTSUPERSCRIPT italic_μ start_POSTSUBSCRIPT italic_a italic_c italic_d end_POSTSUBSCRIPT = 2 | italic_K | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT - 2 italic_K start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT + ( italic_n - 4 ) italic_n | italic_ω | start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT italic_K start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT .
Substituting this formula in (4.13 ), comparing with (4.12 )
and contracting both sides with ω b e subscript superscript 𝜔 𝑏 𝑒 {\omega^{b}}_{e} italic_ω start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT
gives
n − 4 n | ω | 2 Σ a e = − ( Σ ⋅ ω ) ω a e + 1 2 n | ω | 2 C c d a e ω c d + ( 4 − n ) | K | 2 ω a e + 2 ( n − 4 ) K b ω b [ e K a ] . \frac{n-4}{n}|\omega|^{2}\Sigma_{ae}=-(\Sigma\cdot\omega)\omega_{ae}+\frac{1}{%
2n}|\omega|^{2}C_{cdae}\omega^{cd}+(4-n)|K|^{2}\omega_{ae}+2(n-4)K_{b}{\omega^%
{b}}_{[e}K_{a]}. divide start_ARG italic_n - 4 end_ARG start_ARG italic_n end_ARG | italic_ω | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Σ start_POSTSUBSCRIPT italic_a italic_e end_POSTSUBSCRIPT = - ( roman_Σ ⋅ italic_ω ) italic_ω start_POSTSUBSCRIPT italic_a italic_e end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 italic_n end_ARG | italic_ω | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_C start_POSTSUBSCRIPT italic_c italic_d italic_a italic_e end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_c italic_d end_POSTSUPERSCRIPT + ( 4 - italic_n ) | italic_K | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_a italic_e end_POSTSUBSCRIPT + 2 ( italic_n - 4 ) italic_K start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT start_POSTSUBSCRIPT [ italic_e end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT italic_a ] end_POSTSUBSCRIPT .
(4.14)
Contracting this with ω a e superscript 𝜔 𝑎 𝑒 \omega^{ae} italic_ω start_POSTSUPERSCRIPT italic_a italic_e end_POSTSUPERSCRIPT gives an expression for
Σ ⋅ ω ⋅ Σ 𝜔 \Sigma\cdot\omega roman_Σ ⋅ italic_ω which we can substitute back to
(4.14 ).
This gives (4.4 ).
□ □ \Box □
Theorem 4.1 now follows from
Proposition 4.2 and Proposition 4.4 .
The non-linear conditions in Theorem 4.1 trace a variety 𝒮 𝒮 \mathcal{S} caligraphic_S
in the fibres of the prolongation bundle E 𝐸 E italic_E . If n > 4 𝑛 4 n>4 italic_n > 4 then
dim 𝒮 ≤ 1 4 ( n 2 + 2 n + 4 ) . dimension 𝒮 1 4 superscript 𝑛 2 2 𝑛 4 \dim{\mathcal{S}}\leq\frac{1}{4}(n^{2}+2n+4). roman_dim caligraphic_S ≤ divide start_ARG 1 end_ARG start_ARG 4 end_ARG ( italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 2 italic_n + 4 ) .
(4.15)
To see it, note that in Theorem 4.1 both Σ Σ \Sigma roman_Σ and μ 𝜇 \mu italic_μ have been determined in
terms of ω 𝜔 \omega italic_ω and K 𝐾 K italic_K . Substituting
the expression for Σ a b subscript Σ 𝑎 𝑏 \Sigma_{ab} roman_Σ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT into the expression (2.6 ) for ∇ a Σ b c subscript ∇ 𝑎 subscript Σ 𝑏 𝑐 \nabla_{a}\Sigma_{bc} ∇ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT roman_Σ start_POSTSUBSCRIPT italic_b italic_c end_POSTSUBSCRIPT
could lead to an algebraic condition only involving K 𝐾 K italic_K and ω 𝜔 \omega italic_ω . We claim that, at least in the conformally flat case, this condition is an identity, and does not lead to any further constraints on K 𝐾 K italic_K . Indeed, we can choose a flat metric g 𝑔 g italic_g in the conformal class in which case
(4.4 ) and (2.6 )
reduce to
Σ a b = − n 2 | ω | − 2 | K | 2 ω a b + 2 n | ω | − 2 K c ω c [ b K a ] , ∇ a Σ b c = 0 . \Sigma_{ab}=-\frac{n}{2}|\omega|^{-2}|K|^{2}\omega_{ab}+2n|\omega|^{-2}K_{c}{%
\omega^{c}}_{[b}K_{a]},\quad\nabla_{a}\Sigma_{bc}=0. roman_Σ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT = - divide start_ARG italic_n end_ARG start_ARG 2 end_ARG | italic_ω | start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT | italic_K | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT + 2 italic_n | italic_ω | start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT italic_K start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT start_POSTSUBSCRIPT [ italic_b end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT italic_a ] end_POSTSUBSCRIPT , ∇ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT roman_Σ start_POSTSUBSCRIPT italic_b italic_c end_POSTSUBSCRIPT = 0 .
Substituting the first expression into the second, and eliminating the
derivatives of μ , ω 𝜇 𝜔
\mu,\omega italic_μ , italic_ω and K 𝐾 K italic_K using the prolongation connection
leads to an identity. Therefore we can specify the n 𝑛 n italic_n components of
K 𝐾 K italic_K which are unconstrained, and the components of skew form ω 𝜔 \omega italic_ω
which squares to a pure trace. To count those set n = 2 m 𝑛 2 𝑚 n=2m italic_n = 2 italic_m , take
J = ( 0 I m − I m 0 ) . 𝐽 0 subscript 𝐼 𝑚 subscript 𝐼 𝑚 0 J=\left(\begin{array}[]{cc}0&I_{m}\\
-I_{m}&0\end{array}\right). italic_J = ( start_ARRAY start_ROW start_CELL 0 end_CELL start_CELL italic_I start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL - italic_I start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT end_CELL start_CELL 0 end_CELL end_ROW end_ARRAY ) .
and consider
ω = J + ϵ A , where A = ( a b c d ) . formulae-sequence 𝜔 𝐽 italic-ϵ 𝐴 where
A 𝑎 𝑏 𝑐 𝑑 \omega=J+\epsilon A,\quad\mbox{where}\quad\mbox{A}=\left(\begin{array}[]{cc}a&%
b\\
c&d\end{array}\right). italic_ω = italic_J + italic_ϵ italic_A , where A = ( start_ARRAY start_ROW start_CELL italic_a end_CELL start_CELL italic_b end_CELL end_ROW start_ROW start_CELL italic_c end_CELL start_CELL italic_d end_CELL end_ROW end_ARRAY ) .
Impose ω 2 = − I 2 n superscript 𝜔 2 subscript 𝐼 2 𝑛 \omega^{2}=-I_{2n} italic_ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = - italic_I start_POSTSUBSCRIPT 2 italic_n end_POSTSUBSCRIPT . This gives A = J A J 𝐴 𝐽 𝐴 𝐽 A=JAJ italic_A = italic_J italic_A italic_J , and
gives b = c , a = − d formulae-sequence 𝑏 𝑐 𝑎 𝑑 b=c,a=-d italic_b = italic_c , italic_a = - italic_d . If ω 𝜔 \omega italic_ω is a two–form
then a = − a T 𝑎 superscript 𝑎 𝑇 a=-a^{T} italic_a = - italic_a start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , and only the skew–part of b 𝑏 b italic_b contributes so we can take b = − b T 𝑏 superscript 𝑏 𝑇 b=-b^{T} italic_b = - italic_b start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT
which gives a total of m ( m − 1 ) 𝑚 𝑚 1 m(m-1) italic_m ( italic_m - 1 ) components. There is one remaining component corresponding to the choice of an overall scale of ω 𝜔 \omega italic_ω . Therefore the dimension of 𝒮 𝒮 \mathcal{S} caligraphic_S is
m ( m − 1 ) + 1 + 2 m 𝑚 𝑚 1 1 2 𝑚 m(m-1)+1+2m italic_m ( italic_m - 1 ) + 1 + 2 italic_m which gives (4.15 ).
In dimension four, where the constraints on ( Σ , ω ) Σ 𝜔 (\Sigma,\omega) ( roman_Σ , italic_ω ) have been solved using self-duality [8 ] ,
and the bundle E 𝐸 E italic_E has been identified with the the bundle of self-dual
tractor three–forms which has rank 10 10 10 10 . The tractor approach for the general n 𝑛 n italic_n will be discussed in the next Section.
5. Tractors
The aim of this Section is to outline how the prolongation of the conformal Killing-Yano equations
in Theorem 2.1
and the associated non–linear conditions on the parallel sections (Theorem 4.1 ) can be formulated in the tractor language of [2 ] .
In this section by a conformal manifold we mean a manifold equipped with an
equivalence class 𝒄 𝒄 \boldsymbol{c} bold_italic_c of Riemannian metrics such that if
g , g ^ ∈ 𝒄 𝑔 ^ 𝑔
𝒄 g,\hat{g}\in\boldsymbol{c} italic_g , over^ start_ARG italic_g end_ARG ∈ bold_italic_c then g ^ = Ω 2 g ^ 𝑔 superscript Ω 2 𝑔 \hat{g}=\Omega^{2}g over^ start_ARG italic_g end_ARG = roman_Ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g for some positive
function Ω Ω \Omega roman_Ω . With ℱ ℱ \mathcal{F} caligraphic_F denoting the frame bundle, the bundle of densities of
weight w ∈ ℝ 𝑤 ℝ w\in\mathbb{R} italic_w ∈ blackboard_R is the associated line bundle
ℰ [ w ] = ℱ × ρ w ℝ ℰ delimited-[] 𝑤 subscript subscript 𝜌 𝑤 ℱ ℝ {\mathcal{E}}[w]=\mathcal{\mathcal{F}}\times_{\rho_{w}}\mathbb{R} caligraphic_E [ italic_w ] = caligraphic_F × start_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT italic_w end_POSTSUBSCRIPT end_POSTSUBSCRIPT blackboard_R where ρ w subscript 𝜌 𝑤 \rho_{w} italic_ρ start_POSTSUBSCRIPT italic_w end_POSTSUBSCRIPT is the
representation of G L ( n , ℝ ) 𝐺 𝐿 𝑛 ℝ GL(n,\mathbb{R}) italic_G italic_L ( italic_n , blackboard_R ) on ℝ ℝ \mathbb{R} blackboard_R given by
ℝ × G L ( n , ℝ ) ∋ ( x , A ) ↦ | det ( A ) | − w / n x ∈ ℝ . contains ℝ 𝐺 𝐿 𝑛 ℝ 𝑥 𝐴 maps-to superscript 𝐴 𝑤 𝑛 𝑥 ℝ \mathbb{R}\times GL(n,\mathbb{R})\ni(x,A)\mapsto|\det(A)|^{-w/n}x\in\mathbb{R}. blackboard_R × italic_G italic_L ( italic_n , blackboard_R ) ∋ ( italic_x , italic_A ) ↦ | roman_det ( italic_A ) | start_POSTSUPERSCRIPT - italic_w / italic_n end_POSTSUPERSCRIPT italic_x ∈ blackboard_R .
Therefore there exists a canonical isomorphism ℰ [ 2 n ] ≅ ⊗ 2 ( Λ n T M ) {\mathcal{E}}[2n]\cong\otimes^{2}(\Lambda^{n}TM) caligraphic_E [ 2 italic_n ] ≅ ⊗ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( roman_Λ start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_T italic_M ) .
Using the conformal
structure a section φ ∈ Γ ( ℰ [ w ] ) 𝜑 Γ ℰ delimited-[] 𝑤 \varphi\in\Gamma({\mathcal{E}}[w]) italic_φ ∈ roman_Γ ( caligraphic_E [ italic_w ] ) can be identified with an
equivalence class of metric function pairs [ ( g , f ) ] delimited-[] 𝑔 𝑓 [(g,f)] [ ( italic_g , italic_f ) ] where
( Ω 2 g , Ω w f ) ∼ ( g , f ) . similar-to superscript Ω 2 𝑔 superscript Ω 𝑤 𝑓 𝑔 𝑓 (\Omega^{2}g,\Omega^{w}f)\sim(g,f). ( roman_Ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g , roman_Ω start_POSTSUPERSCRIPT italic_w end_POSTSUPERSCRIPT italic_f ) ∼ ( italic_g , italic_f ) .
For any weight w 𝑤 w italic_w , the bundle ℰ [ w ] ℰ delimited-[] 𝑤 {\mathcal{E}}[w] caligraphic_E [ italic_w ] is oriented and we write
ℰ + [ w ] subscript ℰ delimited-[] 𝑤 {\mathcal{E}}_{+}[w] caligraphic_E start_POSTSUBSCRIPT + end_POSTSUBSCRIPT [ italic_w ] for the positive elements.
Using this notation it is straightforward to see that the conformal
structure determines a tautological section 𝒈 𝒈 \boldsymbol{g} bold_italic_g of S 2 T ∗ M ⊗ ℰ [ 2 ] tensor-product superscript 𝑆 2 superscript 𝑇 𝑀 ℰ delimited-[] 2 S^{2}T^{*}M\otimes{\mathcal{E}}[2] italic_S start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_T start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_M ⊗ caligraphic_E [ 2 ] that we term the conformal metric. Then metrics in conformal
class correspond 1-1 with sections σ ∈ Γ ( ℰ + [ 1 ] ) 𝜎 Γ subscript ℰ delimited-[] 1 \sigma\in\Gamma({\mathcal{E}}_{+}[1]) italic_σ ∈ roman_Γ ( caligraphic_E start_POSTSUBSCRIPT + end_POSTSUBSCRIPT [ 1 ] ) by the formula
g = σ − 2 𝒈 . 𝑔 superscript 𝜎 2 𝒈 g=\sigma^{-2}\boldsymbol{g}. italic_g = italic_σ start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT bold_italic_g .
We call σ ∈ Γ ( ℰ + [ 1 ] ) 𝜎 Γ subscript ℰ delimited-[] 1 \sigma\in\Gamma({\mathcal{E}}_{+}[1]) italic_σ ∈ roman_Γ ( caligraphic_E start_POSTSUBSCRIPT + end_POSTSUBSCRIPT [ 1 ] ) (or the corresponding g ∈ 𝒄 𝑔 𝒄 g\in\boldsymbol{c} italic_g ∈ bold_italic_c ) a
scale . In the following we mainly follow [2 ] and [6 ] .
5.1. The standard tractor bundle and normal tractor connection
On a conformal manifold ( M , 𝒄 ) 𝑀 𝒄 (M,\boldsymbol{c}) ( italic_M , bold_italic_c ) there is, in general, no preferred connection on T M 𝑇 𝑀 TM italic_T italic_M but (in dimensions n ≥ 3 𝑛 3 n\geq 3 italic_n ≥ 3 ) there exists a connection on a rank-2 extension
𝒯 = ℰ [ 1 ] + T ∗ M [ 1 ] + ℰ [ − 1 ] , 𝒯 ℰ delimited-[] 1 + superscript 𝑇 𝑀 delimited-[] 1 + ℰ delimited-[] 1 \mathcal{T}={\mathcal{E}}[1]\mbox{$\begin{picture}(12.7,8.0)(-0.5,-1.0)\put(2.%
0,0.2){$+$}
\put(6.2,2.8){\oval(8.0,8.0)[l]}
\end{picture}$}T^{*}M[1]\mbox{$\begin{picture}(12.7,8.0)(-0.5,-1.0)\put(2.0,0.%
2){$+$}
\put(6.2,2.8){\oval(8.0,8.0)[l]}
\end{picture}$}{\mathcal{E}}[-1], caligraphic_T = caligraphic_E [ 1 ] + italic_T start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_M [ 1 ] + caligraphic_E [ - 1 ] ,
(5.1)
that we call the conformal tractor bundle 𝒯 𝒯 \mathcal{T} caligraphic_T . The right
hand side of (5.1 ) gives the composition series of 𝒯 𝒯 \mathcal{T} caligraphic_T
and means that ℰ [ − 1 ] ℰ delimited-[] 1 {\mathcal{E}}[-1] caligraphic_E [ - 1 ] is a canonical sub-bundle of 𝒯 𝒯 \mathcal{T} caligraphic_T . The
quotient of 𝒯 𝒯 \mathcal{T} caligraphic_T by this has T ∗ M [ 1 ] superscript 𝑇 𝑀 delimited-[] 1 T^{*}M[1] italic_T start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_M [ 1 ] as a canonical sub-bundle,
and then the quotient by this is ℰ [ 1 ] ℰ delimited-[] 1 {\mathcal{E}}[1] caligraphic_E [ 1 ] . The tractor bundle
𝒯 𝒯 \mathcal{T} caligraphic_T will be denoted ℰ A subscript ℰ 𝐴 {\mathcal{E}}_{A} caligraphic_E start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT in the abstract index notation.
Given g ∈ 𝒄 𝑔 𝒄 g\in\boldsymbol{c} italic_g ∈ bold_italic_c the tractor bundle splits into a direct sum
𝒯 = g ℰ [ 1 ] ⊕ T ∗ M [ 1 ] ⊕ ℰ [ − 1 ] . superscript 𝑔 𝒯 direct-sum ℰ delimited-[] 1 superscript 𝑇 𝑀 delimited-[] 1 ℰ delimited-[] 1 \mathcal{T}\stackrel{{\scriptstyle g}}{{=}}{\mathcal{E}}[1]\oplus T^{*}M[1]%
\oplus{\mathcal{E}}[-1]. caligraphic_T start_RELOP SUPERSCRIPTOP start_ARG = end_ARG start_ARG italic_g end_ARG end_RELOP caligraphic_E [ 1 ] ⊕ italic_T start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_M [ 1 ] ⊕ caligraphic_E [ - 1 ] .
So V B ∈ Γ ( ℰ B ) subscript 𝑉 𝐵 Γ subscript ℰ 𝐵 V_{B}\in\Gamma({\mathcal{E}}_{B}) italic_V start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ∈ roman_Γ ( caligraphic_E start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ) can be then represented by a triple
V B = g ( σ μ b ρ ) . superscript 𝑔 subscript 𝑉 𝐵 matrix 𝜎 subscript 𝜇 𝑏 𝜌 V_{B}\stackrel{{\scriptstyle g}}{{=}}\begin{pmatrix}\sigma\\
\mu_{b}\\
\rho\end{pmatrix}. italic_V start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT start_RELOP SUPERSCRIPTOP start_ARG = end_ARG start_ARG italic_g end_ARG end_RELOP ( start_ARG start_ROW start_CELL italic_σ end_CELL end_ROW start_ROW start_CELL italic_μ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_ρ end_CELL end_ROW end_ARG ) .
The normal tractor connection is
∇ a 𝒯 ( σ , μ b , ρ ) = ( ∇ a σ − μ a , ∇ μ b + P a b σ + 𝒈 a b ρ , ∇ a ρ − P a b μ b ) . subscript superscript ∇ 𝒯 𝑎 𝜎 subscript 𝜇 𝑏 𝜌 subscript ∇ 𝑎 𝜎 subscript 𝜇 𝑎 ∇ subscript 𝜇 𝑏 subscript 𝑃 𝑎 𝑏 𝜎 subscript 𝒈 𝑎 𝑏 𝜌 subscript ∇ 𝑎 𝜌 subscript 𝑃 𝑎 𝑏 superscript 𝜇 𝑏 \nabla^{\mathcal{T}}_{a}(\sigma,\mu_{b},\rho)=(\nabla_{a}\sigma-\mu_{a},~{}%
\nabla\mu_{b}+P_{ab}\sigma+\boldsymbol{g}_{ab}\rho,~{}\nabla_{a}\rho-P_{ab}\mu%
^{b}). ∇ start_POSTSUPERSCRIPT caligraphic_T end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ( italic_σ , italic_μ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT , italic_ρ ) = ( ∇ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_σ - italic_μ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT , ∇ italic_μ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT + italic_P start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT italic_σ + bold_italic_g start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT italic_ρ , ∇ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_ρ - italic_P start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT italic_μ start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT ) .
This connection acts on tensor powers of 𝒯 𝒯 \mathcal{T} caligraphic_T , and ∇ 𝒯 superscript ∇ 𝒯 \nabla^{\mathcal{T}} ∇ start_POSTSUPERSCRIPT caligraphic_T end_POSTSUPERSCRIPT
preserves a conformally invariant tractor metric h ℎ h italic_h that is given as a
quadratic form by
𝒯 ∋ V = ( σ , μ b , ρ ) ↦ 2 σ ρ + μ b μ b = h ( V , V ) . contains 𝒯 𝑉 𝜎 subscript 𝜇 𝑏 𝜌 maps-to 2 𝜎 𝜌 subscript 𝜇 𝑏 superscript 𝜇 𝑏 ℎ 𝑉 𝑉 \mathcal{T}\ni V=(\sigma,\mu_{b},\rho)\mapsto 2\sigma\rho+\mu_{b}\mu^{b}=h(V,V). caligraphic_T ∋ italic_V = ( italic_σ , italic_μ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT , italic_ρ ) ↦ 2 italic_σ italic_ρ + italic_μ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT italic_μ start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT = italic_h ( italic_V , italic_V ) .
In abstract indices we denote this h A B subscript ℎ 𝐴 𝐵 h_{AB} italic_h start_POSTSUBSCRIPT italic_A italic_B end_POSTSUBSCRIPT and use it to raise and
lower tractor indices.
It is convenient to introduce the algebraic splitting operators X A , Y A , Z A b superscript 𝑋 𝐴 superscript 𝑌 𝐴 superscript 𝑍 𝐴 𝑏
X^{A},Y^{A},Z^{Ab} italic_X start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT , italic_Y start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT , italic_Z start_POSTSUPERSCRIPT italic_A italic_b end_POSTSUPERSCRIPT that encode the slots,
V A = σ Y A + Z A b μ b + X A ρ , superscript 𝑉 𝐴 𝜎 superscript 𝑌 𝐴 superscript 𝑍 𝐴 𝑏 subscript 𝜇 𝑏 superscript 𝑋 𝐴 𝜌 V^{A}=\sigma Y^{A}+Z^{Ab}\mu_{b}+X^{A}\rho, italic_V start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT = italic_σ italic_Y start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT + italic_Z start_POSTSUPERSCRIPT italic_A italic_b end_POSTSUPERSCRIPT italic_μ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT + italic_X start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_ρ ,
(5.2)
and we will need this below.
For example in the slot notation X B subscript 𝑋 𝐵 X_{B} italic_X start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT is represented by ( 0 , 0 , 1 ) 0 0 1 (0,~{}0,~{}1) ( 0 , 0 , 1 ) .
There is a conformally invariant differential
operator D : Γ ( ℰ [ 1 ] ) → 𝒯 : 𝐷 → Γ ℰ delimited-[] 1 𝒯 D:\Gamma({\mathcal{E}}[1])\to\mathcal{T} italic_D : roman_Γ ( caligraphic_E [ 1 ] ) → caligraphic_T given, in a scale g 𝑔 g italic_g , by
σ ↦ D B σ = g ( σ , ∇ b σ , − 1 n ( Δ σ + P σ ) ) , maps-to 𝜎 subscript 𝐷 𝐵 𝜎 superscript 𝑔 𝜎 subscript ∇ 𝑏 𝜎 1 𝑛 Δ 𝜎 𝑃 𝜎 \sigma\mapsto D_{B}\sigma\stackrel{{\scriptstyle g}}{{=}}(\sigma,~{}\nabla_{b}%
\sigma,-\frac{1}{n}(\Delta\sigma+P\sigma)), italic_σ ↦ italic_D start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_σ start_RELOP SUPERSCRIPTOP start_ARG = end_ARG start_ARG italic_g end_ARG end_RELOP ( italic_σ , ∇ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT italic_σ , - divide start_ARG 1 end_ARG start_ARG italic_n end_ARG ( roman_Δ italic_σ + italic_P italic_σ ) ) ,
where P := 𝒈 a b P a b assign 𝑃 superscript 𝒈 𝑎 𝑏 subscript 𝑃 𝑎 𝑏 P:=\boldsymbol{g}^{ab}P_{ab} italic_P := bold_italic_g start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT italic_P start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT . Given the splittings as described this
is determined by the tractor connection formula. (Alternatively, when
the tractor bundle is constructed via jets, this operator actually
determines the splitting of tractor bundle into the triples
[6 ] .) It is termed a splitting operator as the composition X B D B superscript 𝑋 𝐵 subscript 𝐷 𝐵 X^{B}D_{B} italic_X start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT italic_D start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT is the identity on Γ ( ℰ [ 1 ] ) Γ ℰ delimited-[] 1 \Gamma({\mathcal{E}}[1]) roman_Γ ( caligraphic_E [ 1 ] ) . If σ 𝜎 \sigma italic_σ is a scale, then
we define
I B := D B σ , assign subscript 𝐼 𝐵 subscript 𝐷 𝐵 𝜎 I_{B}:=D_{B}\sigma, italic_I start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT := italic_D start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_σ ,
and call I B subscript 𝐼 𝐵 I_{B} italic_I start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT the corresponding scale tractor . So σ = X A I A 𝜎 superscript 𝑋 𝐴 subscript 𝐼 𝐴 \sigma=X^{A}I_{A} italic_σ = italic_X start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_I start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT .
The squared length of the scale tractor recovers a multiple of
the scalar curvature of the metric g = σ − 2 𝒈 𝑔 superscript 𝜎 2 𝒈 g=\sigma^{-2}\boldsymbol{g} italic_g = italic_σ start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT bold_italic_g :
I A I A = h A B I A I B = − 1 n ( n − 1 ) R . superscript 𝐼 𝐴 subscript 𝐼 𝐴 superscript ℎ 𝐴 𝐵 subscript 𝐼 𝐴 subscript 𝐼 𝐵 1 𝑛 𝑛 1 𝑅 I^{A}I_{A}=h^{AB}I_{A}I_{B}=-\frac{1}{n(n-1)}R. italic_I start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_I start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT = italic_h start_POSTSUPERSCRIPT italic_A italic_B end_POSTSUPERSCRIPT italic_I start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_I start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT = - divide start_ARG 1 end_ARG start_ARG italic_n ( italic_n - 1 ) end_ARG italic_R .
One reason that D B subscript 𝐷 𝐵 D_{B} italic_D start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT is important is that if V B ∈ Γ ( ℰ B ) subscript 𝑉 𝐵 Γ subscript ℰ 𝐵 V_{B}\in\Gamma({\mathcal{E}}_{B}) italic_V start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ∈ roman_Γ ( caligraphic_E start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT )
is parallel for the tractor connection then V B = D B τ subscript 𝑉 𝐵 subscript 𝐷 𝐵 𝜏 V_{B}=D_{B}\tau italic_V start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT = italic_D start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_τ for some
τ ∈ Γ ( ℰ [ 1 ] ) 𝜏 Γ ℰ delimited-[] 1 \tau\in\Gamma({\mathcal{E}}[1]) italic_τ ∈ roman_Γ ( caligraphic_E [ 1 ] ) .
5.2. 3-form tractors
It follows
from the semi-direct composition series of 𝒯 𝒯 \mathcal{T} caligraphic_T that the
corresponding decomposition of Λ 3 𝒯 superscript Λ 3 𝒯 \Lambda^{3}\mathcal{T} roman_Λ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT caligraphic_T is
ℰ [ A B C ] = ℰ 2 [ 3 ] + ( ℰ 3 [ 3 ] ⊕ ℰ 1 [ 1 ] ) + ℰ 2 [ 1 ] , subscript ℰ delimited-[] 𝐴 𝐵 𝐶 superscript ℰ 2 delimited-[] 3 + direct-sum superscript ℰ 3 delimited-[] 3 superscript ℰ 1 delimited-[] 1 + superscript ℰ 2 delimited-[] 1 \mathcal{E}_{[ABC]}=\mathcal{E}^{2}[3]\mbox{$\begin{picture}(12.7,8.0)(-0.5,-1%
.0)\put(2.0,0.2){$+$}
\put(6.2,2.8){\oval(8.0,8.0)[l]}
\end{picture}$}\left(\mathcal{E}^{3}[3]\oplus\mathcal{E}^{1}[1]\right)\mbox{$%
\begin{picture}(12.7,8.0)(-0.5,-1.0)\put(2.0,0.2){$+$}
\put(6.2,2.8){\oval(8.0,8.0)[l]}
\end{picture}$}\mathcal{E}^{2}[1], caligraphic_E start_POSTSUBSCRIPT [ italic_A italic_B italic_C ] end_POSTSUBSCRIPT = caligraphic_E start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ 3 ] + ( caligraphic_E start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT [ 3 ] ⊕ caligraphic_E start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT [ 1 ] ) + caligraphic_E start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ 1 ] ,
(5.3)
where ℰ k [ w ] superscript ℰ 𝑘 delimited-[] 𝑤 {\mathcal{E}}^{k}[w] caligraphic_E start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT [ italic_w ] denotes Λ k ( T ∗ M ) ⊗ ℰ [ w ] tensor-product superscript Λ 𝑘 superscript 𝑇 𝑀 ℰ delimited-[] 𝑤 \Lambda^{k}(T^{*}M)\otimes{\mathcal{E}}[w] roman_Λ start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ( italic_T start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_M ) ⊗ caligraphic_E [ italic_w ] .
3-form tractors are useful for studying the conformal Killing Yano equation.
For σ a b ∈ Γ ( ℰ [ a b ] [ 3 ] ) subscript 𝜎 𝑎 𝑏 Γ subscript ℰ delimited-[] 𝑎 𝑏 delimited-[] 3 \sigma_{ab}\in\Gamma({\mathcal{E}}_{[ab]}[3]) italic_σ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ∈ roman_Γ ( caligraphic_E start_POSTSUBSCRIPT [ italic_a italic_b ] end_POSTSUBSCRIPT [ 3 ] ) let us write
K Y ( σ ) a b c := ∇ a σ b c − ∇ [ a σ b c ] + 2 n − 1 𝒈 a [ b ∇ p σ c ] p . KY(\sigma)_{abc}:=\nabla_{a}\sigma_{bc}-\nabla_{[a}\sigma_{bc]}+\frac{2}{n-1}%
\boldsymbol{g}_{a[b}\nabla^{p}\sigma_{c]p}\,. italic_K italic_Y ( italic_σ ) start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT := ∇ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_b italic_c end_POSTSUBSCRIPT - ∇ start_POSTSUBSCRIPT [ italic_a end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_b italic_c ] end_POSTSUBSCRIPT + divide start_ARG 2 end_ARG start_ARG italic_n - 1 end_ARG bold_italic_g start_POSTSUBSCRIPT italic_a [ italic_b end_POSTSUBSCRIPT ∇ start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT italic_σ start_POSTSUBSCRIPT italic_c ] italic_p end_POSTSUBSCRIPT .
This is conformally invariant and σ 𝜎 \sigma italic_σ is a conformal Killing-Yano tensor if
K Y ( σ ) a b c = 0 . 𝐾 𝑌 subscript 𝜎 𝑎 𝑏 𝑐 0 KY(\sigma)_{abc}=0. italic_K italic_Y ( italic_σ ) start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT = 0 .
(5.4)
Now, given a choice of metric g 𝑔 g italic_g from the conformal class this
determines a splitting of the bundle Λ 3 𝒯 superscript Λ 3 𝒯 \Lambda^{3}\mathcal{T} roman_Λ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT caligraphic_T into four components (a
replacement of the + + + s with ⊕ direct-sum \oplus ⊕ s is effected) so that a 3-tractor
Φ Φ \Phi roman_Φ can be written a 4-tuple
Φ A B C = g ( σ b c ν a b c φ c ρ b c ) superscript 𝑔 subscript Φ 𝐴 𝐵 𝐶 matrix subscript 𝜎 𝑏 𝑐 subscript 𝜈 𝑎 𝑏 𝑐 subscript 𝜑 𝑐
subscript 𝜌 𝑏 𝑐 \Phi_{ABC}\stackrel{{\scriptstyle g}}{{=}}\begin{pmatrix}\sigma_{bc}\\
\nu_{abc}\quad\varphi_{c}\\
\rho_{bc}\end{pmatrix} roman_Φ start_POSTSUBSCRIPT italic_A italic_B italic_C end_POSTSUBSCRIPT start_RELOP SUPERSCRIPTOP start_ARG = end_ARG start_ARG italic_g end_ARG end_RELOP ( start_ARG start_ROW start_CELL italic_σ start_POSTSUBSCRIPT italic_b italic_c end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_ν start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT italic_φ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_ρ start_POSTSUBSCRIPT italic_b italic_c end_POSTSUBSCRIPT end_CELL end_ROW end_ARG )
where σ b c ∈ ℰ 2 [ 3 ] subscript 𝜎 𝑏 𝑐 superscript ℰ 2 delimited-[] 3 \sigma_{bc}\in{\mathcal{E}}^{2}[3] italic_σ start_POSTSUBSCRIPT italic_b italic_c end_POSTSUBSCRIPT ∈ caligraphic_E start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ 3 ] , ν ∈ ℰ 3 [ 3 ] 𝜈 superscript ℰ 3 delimited-[] 3 \nu\in\mathcal{E}^{3}[3] italic_ν ∈ caligraphic_E start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT [ 3 ] and so forth.
Given σ b c ∈ Γ ( ℰ 2 [ 3 ] ) subscript 𝜎 𝑏 𝑐 Γ superscript ℰ 2 delimited-[] 3 \sigma_{bc}\in\Gamma({\mathcal{E}}^{2}[3]) italic_σ start_POSTSUBSCRIPT italic_b italic_c end_POSTSUBSCRIPT ∈ roman_Γ ( caligraphic_E start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ 3 ] ) there is a conformally invariant
differential splitting operator
L : Γ ( ℰ 2 [ 3 ] ) → Γ ( Λ 3 𝒯 ) , : 𝐿 → Γ superscript ℰ 2 delimited-[] 3 Γ superscript Λ 3 𝒯 L:\Gamma({\mathcal{E}}^{2}[3])\to\Gamma(\Lambda^{3}\mathcal{T}), italic_L : roman_Γ ( caligraphic_E start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ 3 ] ) → roman_Γ ( roman_Λ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT caligraphic_T ) ,
determined by the tractor connection, and given by
Γ ( ℰ 2 [ 3 ] ) ∋ σ b c ↦ L ( σ ) = g ( σ b c ∇ [ a σ b c ] 2 n − 1 ∇ b σ b c 1 2 n ∇ p K Y ( σ ) p b c − 1 n − 1 ∇ b ∇ p σ p c − P b p σ p c ) ) ∈ Γ ( Λ 3 𝒯 ) , \Gamma({\mathcal{E}}^{2}[3])\ni\sigma_{bc}\mapsto L(\sigma)\stackrel{{%
\scriptstyle g}}{{=}}\begin{pmatrix}\sigma_{bc}\\
\nabla_{[a}\sigma_{bc]}\qquad\frac{2}{n-1}\nabla^{b}\sigma_{bc}\\
\frac{1}{2n}\nabla^{p}KY(\sigma)_{pbc}-\frac{1}{n-1}\nabla_{b}\nabla^{p}\sigma%
_{pc}-P_{b}^{\ p}\sigma_{pc}\Bigr{)}\end{pmatrix}\in\Gamma(\Lambda^{3}\mathcal%
{T}), roman_Γ ( caligraphic_E start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ 3 ] ) ∋ italic_σ start_POSTSUBSCRIPT italic_b italic_c end_POSTSUBSCRIPT ↦ italic_L ( italic_σ ) start_RELOP SUPERSCRIPTOP start_ARG = end_ARG start_ARG italic_g end_ARG end_RELOP ( start_ARG start_ROW start_CELL italic_σ start_POSTSUBSCRIPT italic_b italic_c end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL ∇ start_POSTSUBSCRIPT [ italic_a end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_b italic_c ] end_POSTSUBSCRIPT divide start_ARG 2 end_ARG start_ARG italic_n - 1 end_ARG ∇ start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT italic_σ start_POSTSUBSCRIPT italic_b italic_c end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL divide start_ARG 1 end_ARG start_ARG 2 italic_n end_ARG ∇ start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT italic_K italic_Y ( italic_σ ) start_POSTSUBSCRIPT italic_p italic_b italic_c end_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG italic_n - 1 end_ARG ∇ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ∇ start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT italic_σ start_POSTSUBSCRIPT italic_p italic_c end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT italic_σ start_POSTSUBSCRIPT italic_p italic_c end_POSTSUBSCRIPT ) end_CELL end_ROW end_ARG ) ∈ roman_Γ ( roman_Λ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT caligraphic_T ) ,
(5.5)
see [12 ] .
Now the key importance of L 𝐿 L italic_L is that is is related to
the prolongation connection 𝒟 𝒟 \mathcal{D} caligraphic_D of Theorem 2.1 for
the conformal Killing-Yano equation (5.4 ). The following is a
special case of Theorem 3.9 in [12 ] .
Proposition 5.1 .
There is a conformally invariant connection
𝒟 𝒟 \mathcal{D} caligraphic_D on Λ 3 𝒯 superscript Λ 3 𝒯 \Lambda^{3}\mathcal{T} roman_Λ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT caligraphic_T
with the property that
(1)
𝒟 Φ = 0 𝒟 Φ 0 {\mathcal{D}}\Phi=0 caligraphic_D roman_Φ = 0
implies that
Φ = L ( σ a b ) and K Y ( σ a b ) = 0 ; formulae-sequence Φ 𝐿 subscript 𝜎 𝑎 𝑏 and
𝐾 𝑌 subscript 𝜎 𝑎 𝑏 0 \Phi=L(\sigma_{ab})\quad\mbox{and}\quad KY(\sigma_{ab})=0; roman_Φ = italic_L ( italic_σ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ) and italic_K italic_Y ( italic_σ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ) = 0 ;
(2)
If K Y ( σ a b ) = 0 𝐾 𝑌 subscript 𝜎 𝑎 𝑏 0 KY(\sigma_{ab})=0 italic_K italic_Y ( italic_σ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ) = 0 then
𝒟 ( L ( σ a b ) ) = 0 𝒟 𝐿 subscript 𝜎 𝑎 𝑏 0 \mathcal{D}(L(\sigma_{ab}))=0 caligraphic_D ( italic_L ( italic_σ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ) ) = 0 .
This has the form
𝒟 a Φ B C D = ∇ a Φ B C D + ( κ ♯ Φ ) a B C D subscript 𝒟 𝑎 subscript Φ 𝐵 𝐶 𝐷 subscript ∇ 𝑎 subscript Φ 𝐵 𝐶 𝐷 subscript 𝜅 ♯ Φ 𝑎 𝐵 𝐶 𝐷 {\mathcal{D}}_{a}\Phi_{BCD}=\nabla_{a}\Phi_{BCD}+(\kappa\sharp\Phi)_{aBCD} caligraphic_D start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT roman_Φ start_POSTSUBSCRIPT italic_B italic_C italic_D end_POSTSUBSCRIPT = ∇ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT roman_Φ start_POSTSUBSCRIPT italic_B italic_C italic_D end_POSTSUBSCRIPT + ( italic_κ ♯ roman_Φ ) start_POSTSUBSCRIPT italic_a italic_B italic_C italic_D end_POSTSUBSCRIPT
where ∇ a subscript ∇ 𝑎 \nabla_{a} ∇ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT is the normal tractor connection and κ ♯ Φ 𝜅 ♯ Φ \kappa\sharp\Phi italic_κ ♯ roman_Φ a linear action of its curvature on Φ Φ \Phi roman_Φ .
The details of ( κ ♯ Φ ) a B C D subscript 𝜅 ♯ Φ 𝑎 𝐵 𝐶 𝐷 (\kappa\sharp\Phi)_{aBCD} ( italic_κ ♯ roman_Φ ) start_POSTSUBSCRIPT italic_a italic_B italic_C italic_D end_POSTSUBSCRIPT will not be needed below, but, with a little translation, they can
be read-off from (2.6 ).
We want to apply this to ω a b ∈ Γ ( ℰ 2 [ 3 ] ) subscript 𝜔 𝑎 𝑏 Γ superscript ℰ 2 delimited-[] 3 \omega_{ab}\in\Gamma({\mathcal{E}}^{2}[3]) italic_ω start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ∈ roman_Γ ( caligraphic_E start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ 3 ] ) . If we assume that
ω a b subscript 𝜔 𝑎 𝑏 \omega_{ab} italic_ω start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT satisfies the conformal Killing-Yano equation then the image of
(5.5 ) simplifies to
L ( ω a b ) := ( ω b c ∇ [ a ω b c ] 2 n − 1 ∇ b ω b c − 1 n − 1 ∇ b ∇ p ω p c − P b p ω p c ) . L(\omega_{ab}):=\begin{pmatrix}\omega_{bc}\\
\nabla_{[a}\omega_{bc]}\qquad\frac{2}{n-1}\nabla^{b}\omega_{bc}\\
-\frac{1}{n-1}\nabla_{b}\nabla^{p}\omega_{pc}-P_{b}^{\ p}\omega_{pc}\end{%
pmatrix}. italic_L ( italic_ω start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ) := ( start_ARG start_ROW start_CELL italic_ω start_POSTSUBSCRIPT italic_b italic_c end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL ∇ start_POSTSUBSCRIPT [ italic_a end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_b italic_c ] end_POSTSUBSCRIPT divide start_ARG 2 end_ARG start_ARG italic_n - 1 end_ARG ∇ start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_b italic_c end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL - divide start_ARG 1 end_ARG start_ARG italic_n - 1 end_ARG ∇ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ∇ start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_p italic_c end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_p italic_c end_POSTSUBSCRIPT end_CELL end_ROW end_ARG ) .
(5.6)
5.3. Characterisations of conformally Kähler
For ω a b ∈ Γ ( ℰ 2 [ 3 ] ) subscript 𝜔 𝑎 𝑏 Γ superscript ℰ 2 delimited-[] 3 \omega_{ab}\in\Gamma({\mathcal{E}}^{2}[3]) italic_ω start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ∈ roman_Γ ( caligraphic_E start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ 3 ] ) let us write
σ := | ω | := 1 n ω a b ω a b , assign 𝜎 𝜔 assign 1 𝑛 subscript 𝜔 𝑎 𝑏 superscript 𝜔 𝑎 𝑏 \sigma:=|\omega|:=\sqrt{\frac{1}{n}\omega_{ab}\omega^{ab}}, italic_σ := | italic_ω | := square-root start_ARG divide start_ARG 1 end_ARG start_ARG italic_n end_ARG italic_ω start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT end_ARG ,
(5.7)
where indices have been raised
by the conformal metric, so if ω 𝜔 \omega italic_ω is non-zero then
σ ∈ Γ ( ℰ + [ 1 ] ) 𝜎 Γ subscript ℰ delimited-[] 1 \sigma\in\Gamma({\mathcal{E}}_{+}[1]) italic_σ ∈ roman_Γ ( caligraphic_E start_POSTSUBSCRIPT + end_POSTSUBSCRIPT [ 1 ] )
is a distinguished scale determined by ω 𝜔 \omega italic_ω .
Proposition 5.2 .
The conformal class 𝐜 𝐜 \boldsymbol{c} bold_italic_c contains a Kähler metric iff there exists ω ∈ Λ 2 ( M ) 𝜔 superscript Λ 2 𝑀 \omega\in\Lambda^{2}(M) italic_ω ∈ roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_M ) such that
ω a ω c c = b − σ 2 δ b a , \omega^{a}{}_{c}\omega^{c}{}_{b}=-\sigma^{2}\delta^{a}_{b}, italic_ω start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT italic_c end_FLOATSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT italic_b end_FLOATSUBSCRIPT = - italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_δ start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ,
(5.8)
and
X ∧ I ∧ Φ = 0 , 𝑋 𝐼 Φ 0 X\wedge I\wedge\Phi=0, italic_X ∧ italic_I ∧ roman_Φ = 0 ,
(5.9)
where Φ = L ( ω ) Φ 𝐿 𝜔 \Phi=L(\omega) roman_Φ = italic_L ( italic_ω ) and
I := D σ assign 𝐼 𝐷 𝜎 I:=D\sigma italic_I := italic_D italic_σ , with σ 𝜎 \sigma italic_σ defined by (5.7 ).
Proof. ⇐ ⇐ \Leftarrow ⇐ : From (5.8 ) we have that σ 𝜎 \sigma italic_σ is a
scale and that σ − 3 ω a b superscript 𝜎 3 subscript 𝜔 𝑎 𝑏 \sigma^{-3}\omega_{ab} italic_σ start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT is Hermitian for the metric
g := σ − 2 𝒈 assign 𝑔 superscript 𝜎 2 𝒈 g:=\sigma^{-2}\boldsymbol{g} italic_g := italic_σ start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT bold_italic_g . The Levi-Civita for g 𝑔 g italic_g preserves σ 𝜎 \sigma italic_σ ,
i.e. ∇ g σ = 0 superscript ∇ 𝑔 𝜎 0 \nabla^{g}\sigma=0 ∇ start_POSTSUPERSCRIPT italic_g end_POSTSUPERSCRIPT italic_σ = 0 . Working in this scale we have
D A σ = σ Y A + σ P X A . subscript 𝐷 𝐴 𝜎 𝜎 subscript 𝑌 𝐴 𝜎 𝑃 subscript 𝑋 𝐴 D_{A}\sigma=\sigma Y_{A}+\sigma PX_{A}. italic_D start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_σ = italic_σ italic_Y start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT + italic_σ italic_P italic_X start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT .
Thus
X ∧ I ∧ Φ = σ X ∧ Y ∧ Φ . 𝑋 𝐼 Φ 𝜎 𝑋 𝑌 Φ X\wedge I\wedge\Phi=\sigma X\wedge Y\wedge\Phi. italic_X ∧ italic_I ∧ roman_Φ = italic_σ italic_X ∧ italic_Y ∧ roman_Φ .
So, with Φ = L ( ω ) Φ 𝐿 𝜔 \Phi=L(\omega) roman_Φ = italic_L ( italic_ω ) , (5.9 ) exactly captures the condition that
the Z ∧ Z ∧ Z 𝑍 𝑍 𝑍 Z\wedge Z\wedge Z italic_Z ∧ italic_Z ∧ italic_Z -slot of (5.6 ) is zero, that is that σ − 3 ω superscript 𝜎 3 𝜔 \sigma^{-3}\omega italic_σ start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT italic_ω is closed. Thus σ − 3 ω superscript 𝜎 3 𝜔 \sigma^{-3}\omega italic_σ start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT italic_ω is the Kähler form for the Kähler metric g 𝑔 g italic_g .
⇒ ⇒ \Rightarrow ⇒ : If σ − 3 ω superscript 𝜎 3 𝜔 \sigma^{-3}\omega italic_σ start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT italic_ω is a Kähler form for a metric g = σ − 2 𝒈 𝑔 superscript 𝜎 2 𝒈 g=\sigma^{-2}\boldsymbol{g} italic_g = italic_σ start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT bold_italic_g then we have (5.8 ). Moreover
the Levi-Civita connection of g 𝑔 g italic_g preserves σ 𝜎 \sigma italic_σ and σ − 3 ω superscript 𝜎 3 𝜔 \sigma^{-3}\omega italic_σ start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT italic_ω . Thus, in particular, the latter is closed and co-closed in the scale g 𝑔 g italic_g , and
L ( ω ) 𝐿 𝜔 L(\omega) italic_L ( italic_ω ) takes the form
L ( ω ) = g ( ω b c 0 0 − P b p ω p c . ) superscript 𝑔 𝐿 𝜔 matrix subscript 𝜔 𝑏 𝑐 0 0
superscript subscript 𝑃 𝑏 𝑝 subscript 𝜔 𝑝 𝑐 L(\omega)\stackrel{{\scriptstyle g}}{{=}}\begin{pmatrix}\omega_{bc}\\
0\qquad 0\\
-P_{b}^{\ p}\omega_{pc}.\end{pmatrix} italic_L ( italic_ω ) start_RELOP SUPERSCRIPTOP start_ARG = end_ARG start_ARG italic_g end_ARG end_RELOP ( start_ARG start_ROW start_CELL italic_ω start_POSTSUBSCRIPT italic_b italic_c end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL 0 0 end_CELL end_ROW start_ROW start_CELL - italic_P start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_p italic_c end_POSTSUBSCRIPT . end_CELL end_ROW end_ARG )
(5.10)
From this it is evident that (5.9 ) holds.
□ □ \Box □
Remark.
From the last display we see that for Φ = L ( ω ) Φ 𝐿 𝜔 \Phi=L(\omega) roman_Φ = italic_L ( italic_ω ) satisfying
(5.8 ) and (5.9 ) we must also have
X I Φ = 0 . 𝑋 𝐼 Φ 0 X{\begin{picture}(0.833,0.8)\put(0.15,0.08){\line(1,0){0.35}}
\put(0.5,0.08){\line(0,1){0.5}}
\end{picture}}I{\begin{picture}(0.833,0.8)\put(0.15,0.08){\line(1,0){0.35}}
\put(0.5,0.08){\line(0,1){0.5}}
\end{picture}}\Phi=0. italic_X italic_I roman_Φ = 0 .
(5.11)
This is the co-closed condition.
Next, from the same display we also see that in the case that (5.8 ) and (5.9 ) hold, then the squared length of L ( ω ) 𝐿 𝜔 L(\omega) italic_L ( italic_ω ) , i.e.
Φ A B C Φ A B C superscript Φ 𝐴 𝐵 𝐶 subscript Φ 𝐴 𝐵 𝐶 \Phi^{ABC}\Phi_{ABC} roman_Φ start_POSTSUPERSCRIPT italic_A italic_B italic_C end_POSTSUPERSCRIPT roman_Φ start_POSTSUBSCRIPT italic_A italic_B italic_C end_POSTSUBSCRIPT
is a non-zero constant times the scalar curvature of the Kähler metric g = σ − 2 𝒈 𝑔 superscript 𝜎 2 𝒈 g=\sigma^{-2}\boldsymbol{g} italic_g = italic_σ start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT bold_italic_g .
It is well known that on a conformal structure a metric g 𝑔 g italic_g is
Einstein iff there is a parallel tractor I A subscript 𝐼 𝐴 I_{A} italic_I start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT and g = σ − 2 𝒈 𝑔 superscript 𝜎 2 𝒈 g=\sigma^{-2}\boldsymbol{g} italic_g = italic_σ start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT bold_italic_g
where σ = X A I A ∈ Γ ( ℰ + [ 1 ] ) 𝜎 superscript 𝑋 𝐴 subscript 𝐼 𝐴 Γ subscript ℰ delimited-[] 1 \sigma=X^{A}I_{A}\in\Gamma({\mathcal{E}}_{+}[1]) italic_σ = italic_X start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_I start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ∈ roman_Γ ( caligraphic_E start_POSTSUBSCRIPT + end_POSTSUBSCRIPT [ 1 ] ) is nowhere zero. If a tractor I A subscript 𝐼 𝐴 I_{A} italic_I start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT is parallel for the normal tractor connection then I A = D A σ subscript 𝐼 𝐴 subscript 𝐷 𝐴 𝜎 I_{A}=D_{A}\sigma italic_I start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT = italic_D start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_σ for some σ ∈ Γ ( ℰ [ 1 ] ) 𝜎 Γ ℰ delimited-[] 1 \sigma\in\Gamma({\mathcal{E}}[1]) italic_σ ∈ roman_Γ ( caligraphic_E [ 1 ] ) . These results follows
from the construction of the tractor connection in [2 ] , as
discussed in [11 , 13 ] .
Thus one immediately has the the following result.
Proposition 5.3 .
The conformal class 𝐜 𝐜 \boldsymbol{c} bold_italic_c contains a Kähler–Einstein metric if
there exists ω ∈ Λ 2 ( M ) 𝜔 superscript Λ 2 𝑀 \omega\in\Lambda^{2}(M) italic_ω ∈ roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_M ) such that
ω a ω c c = b − σ 2 δ b a , \omega^{a}{}_{c}\omega^{c}{}_{b}=-\sigma^{2}\delta^{a}_{b}, italic_ω start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT italic_c end_FLOATSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT italic_b end_FLOATSUBSCRIPT = - italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_δ start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ,
and
X ∧ I ∧ Φ = 0 , 𝑋 𝐼 Φ 0 X\wedge I\wedge\Phi=0, italic_X ∧ italic_I ∧ roman_Φ = 0 ,
where
I = D σ 𝐼 𝐷 𝜎 I=D\sigma italic_I = italic_D italic_σ is parallel for the normal tractor connection and Φ = L ( ω ) Φ 𝐿 𝜔 \Phi=L(\omega) roman_Φ = italic_L ( italic_ω ) .
A special case is when the Einstein structure considered is Ricci
flat. The length of the scale tractor is a multiple of the scalar
curvature. Thus g = σ − 2 𝒈 𝑔 superscript 𝜎 2 𝒈 g=\sigma^{-2}\boldsymbol{g} italic_g = italic_σ start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT bold_italic_g is scalar flat iff I := D σ assign 𝐼 𝐷 𝜎 I:=D\sigma italic_I := italic_D italic_σ is
null. On the other hand from (5.10 ) we see that if the Kähler scale is Ricci flat then I ∧ L ( ω ) = 0 𝐼 𝐿 𝜔 0 I\wedge L(\omega)=0 italic_I ∧ italic_L ( italic_ω ) = 0 . So we have the following result.
Proposition 5.4 .
The conformal class 𝐜 𝐜 \boldsymbol{c} bold_italic_c contains a Ricci–flat Kähler metric iff there exists ω ∈ Λ 2 ( M ) 𝜔 superscript Λ 2 𝑀 \omega\in\Lambda^{2}(M) italic_ω ∈ roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_M ) such that
ω a ω c c = b − σ 2 δ b a , \omega^{a}{}_{c}\omega^{c}{}_{b}=-\sigma^{2}\delta^{a}_{b}, italic_ω start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT italic_c end_FLOATSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT italic_b end_FLOATSUBSCRIPT = - italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_δ start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ,
and
I ∧ Φ = 0 , 𝐼 Φ 0 I\wedge\Phi=0, italic_I ∧ roman_Φ = 0 ,
where
I = D σ 𝐼 𝐷 𝜎 I=D\sigma italic_I = italic_D italic_σ is parallel and null for the normal tractor connection, and Φ = L ( ω ) Φ 𝐿 𝜔 \Phi=L(\omega) roman_Φ = italic_L ( italic_ω ) .
6. Outlook
We have constructed a rank n ( n + 1 ) ( n + 2 ) / 6 𝑛 𝑛 1 𝑛 2 6 n(n+1)(n+2)/6 italic_n ( italic_n + 1 ) ( italic_n + 2 ) / 6 vector bundle E 𝐸 E italic_E with a connection 𝒟 𝒟 {\mathcal{D}} caligraphic_D over a Riemannian manifold ( M , g ) 𝑀 𝑔 (M,g) ( italic_M , italic_g ) of even dimension n 𝑛 n italic_n , such that
the 𝒟 𝒟 {\mathcal{D}} caligraphic_D –parallel sections of E 𝐸 E italic_E belonging to a certain
non–linear variety 𝒮 𝒮 {\mathcal{S}} caligraphic_S in the fibres of E 𝐸 E italic_E are in
one-to-one correspondence with Kähler metrics in a conformal class
of [ g ] delimited-[] 𝑔 [g] [ italic_g ] . The construction of the connection followed from the
prolongation of the conformal Killing–Yano (CKY) tensor equation
[19 , 12 , 8 ] , and the construction of 𝒮 𝒮 {\mathcal{S}} caligraphic_S resulted
from exploring the differential consequences of J 2 = − Id superscript 𝐽 2 Id J^{2}=-\mbox{Id} italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = - Id ,
where the endomorphism J : T M → T M : 𝐽 → 𝑇 𝑀 𝑇 𝑀 J:TM\rightarrow TM italic_J : italic_T italic_M → italic_T italic_M is the complex structure
of the Kähler form.
The integrability conditions for the existence of the parallel
sections in 𝒮 𝒮 {\mathcal{S}} caligraphic_S imply that the conformal Weyl tensor of g 𝑔 g italic_g
is of the algebraic type–D 𝐷 D italic_D . We have established an explicit
algebraic obstruction for this which makes the results relevant in
general relativity of type–D 𝐷 D italic_D spaces in dimension higher than four
[5 , 18 , 17 ] .
The conformal Killing–Yano tensors which underlie our work give rise
to hidden symmetries of gravitational instantons [15 , 8 , 9 , 16 , 1 ] , as well as to first integrals of the conformal
geodesics [14 , 10 ] . The obstructions we have constructed can be
of separate interest in deciding whether a given metric (Lorentzian or
Riemannian) admits such hidden symmetries, or whether a conformal
geodesic motion is integrable.
Finally, there is a connection with the tractor approach to conformal
differential geometry [2 ] : the prolongation bundle E 𝐸 E italic_E in our
work can be identified with a parallel transport condition on
Λ 3 ( 𝒯 ) superscript Λ 3 𝒯 \Lambda^{3}({\mathcal{T}}) roman_Λ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( caligraphic_T ) , where 𝒯 → M → 𝒯 𝑀 {\mathcal{T}}\rightarrow M caligraphic_T → italic_M is the rank–( n + 2 ) 𝑛 2 (n+2) ( italic_n + 2 )
tractor bundle. It is however the case that the connection induced on
Λ 3 ( 𝒯 ) superscript Λ 3 𝒯 \Lambda^{3}({\mathcal{T}}) roman_Λ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( caligraphic_T ) by the standard tractor connection on 𝒯 𝒯 {\mathcal{T}} caligraphic_T
differs from the prolongation connection 𝒟 𝒟 {\mathcal{D}} caligraphic_D we have
constructed on E 𝐸 E italic_E in Theorem 2.1 . It would be interesting to
reformulate the non–linear algebraic conditions on the parallel
sections of E 𝐸 E italic_E in our Theorem 4.1 purely in terms of
tractors. This is essentially implicit in Proposition 5.2 as
D σ 𝐷 𝜎 D\sigma italic_D italic_σ and ω 𝜔 \omega italic_ω can each be expressed algebraically in terms of
Φ Φ \Phi roman_Φ (as the prolonged system is closed). However it would be useful
to find a simpler and explicit description. In [8 ] this problem
has been solved in dimension n = 4 𝑛 4 n=4 italic_n = 4 , where the non–linear conditions
reduce the bundle E 𝐸 E italic_E to the rank–10 bundle Λ 3 + ( 𝒯 ) subscript superscript Λ 3 𝒯 {\Lambda^{3}}_{+}({\mathcal{T}}) roman_Λ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ( caligraphic_T ) of
self–dual tractor three–forms. The problem of finding an analogue of
this remains open for n > 4 𝑛 4 n>4 italic_n > 4 .