Transformations between Singer-Thorpe bases in 4-dimensional...
Transcript of Transformations between Singer-Thorpe bases in 4-dimensional...
Transformations between Singer-Thorpe basesin 4-dimensional Einstein manifolds
Zdenek Dusek, University of Hradec Kralove(partially joint work with Oldrich Kowalski, Prague)
Zlatibor, 2016
Singer, I.M. and Thorpe, J.A.: The curvature of 4-dimensionalEinstein spaces, in Global Analysis, Papers in Honor of K.Kodaira, University of Tokyo Press and Princeton UniversityPress, 1968, 355–365.
Theorem
If (M, g) is a 4-dimensional Einstein Riemannian manifold and Rits curvature tensor at some fixed point p, then there isan orthonormal basis B = {e1, e2, e3, e4} in TpM such thatthe complementary sectional curvatures are equal, i.e.K12 = K34,K13 = K24,K14 = K23, and all correspondingcomponents Rijkl with exactly three distinct indices are zero.
Such a basis is called a Singer-Thorpe basis or an ST basis.
We study ST bases in a purely algebraic way.
Gilkey, P.B.: The Geometry of Curvature HomogeneousPseudo-Riemannian Manifolds, ICP Advanced Textsin Mathematics - Vol 2, Imperial College Press, 2007.
Definition
An algebraic curvature tensor on a vector space V with a positivescalar product 〈, 〉 is a tensor R of the type (0, 4) on V whichsatisfies
R(U,V ,W ,Z ) = −R(V ,U,W ,Z ) = R(W ,Z ,U,V ),R(U,V ,W ,Z ) + R(V ,W ,U,Z ) + R(W ,U,V ,Z ) = 0
for all U,V ,W ,Z ∈ V. Further, a triplet (V, 〈, 〉,R) as aboveis Einstein if the corresponding Ricci tensor ρ on V satisfiesthe identity ρ = λ〈, 〉 for some λ ∈ R.
The algebraic version of Theorem 1:
Theorem
Let V be a 4-dimensional vector space provided with a positivescalar product 〈, 〉. Let R be an Einstein algebraic curvature tensoron V. Then there is an orthonormal basis B = {e1, e2, e3, e4} of Vsuch that the nontrivial components of R with respect to B are,up to standard symmetries and antisymmetries, the following:
R1212 = R3434 = A, R1313 = R2424 = B, R1414 = R2323 = C ,R1234 = F , R1423 = G , R1342 = H,
where A,B,C ,F ,G are some constants satisfying F + G + H = 0.On the other hand, all components Rijkl with exactly three distinctindices are zero.
Definition
An orthonormal basis B = {e1, e2, e3, e4} of V with the propertiesgiven above is called an ST basis on Vcorresponding to the curvature tensor R.
Definition
Let (V, 〈, 〉,R) be an Einstein triplet. Then V is called 2-steinif it satisfies the following additional condition:
F(X ) =4∑
i ,j=1
(R(X , ei ,X , ej))2,
where B = {e1, . . . , en} is any orthonormal basis, is independenton the choice of the unit vector X ∈ V.
Then, we have the following
Proposition
An Einstein triplet (V, 〈, 〉,R) of dimension 4 is 2-stein if and only if
±F = A− τ
12, ±H = B − τ
12, ±G = C − τ
12
hold with respect to any ST basis of V. Here τ =∑n
i=1 ρ(ei , ei ).
Kowalski, O. and Vanhecke, L.: Ball-homogeneousand disk-homogeneous Riemannian manifolds, Math. Z. 80(1982), 429–444.
Sekigawa, K. and Vanhecke, L.: Volume-preserving geodesicsymmetries on four-dimensional Kahler manifolds, DifferentialGeometry Peniscola, (1985), 275–291.
Proposition
Let (V, 〈, 〉,R) be an Einstein triplet. Then the followingtwo assertions are equivalent:(i) For any unit vector X ∈ TpM, the quadruplet{X , J1X , J2X , J3X} is an ST basis for R.(For the natural quaternionic structure {J1, J2, J3} on TpM.)(ii) (V, 〈, 〉,R) is 2-stein.
Motivated also by research in so-called weakly Einstein spaces
Euh, Y., Park, J. and Sekigawa, K.: A generalizationof a 4-dimensional Einstein manifold, Mathematica Slovaca,63 (2013), 595–610.
Euh, Y., Park, J. and Sekigawa, K.: Critical metrics forquadratic functionals in the curvature on 4-dimensionalmanifolds, Differ. Geom. Appl. 29 (2011), 642–646.
K. Sekigawa put the following, more general question:
Let (M, g) be a 4-dimensional Einstein manifoldand {e1, . . . , e4} be an arbitrary fixed ST basis at any point p.Determine the relation between the fixed ST basisB = {e1, . . . , e4} and all ST bases B′ = {e1, . . . , e4} at p.
Preliminaries
Let P = (aij) ∈ O(4) be the matrix of an orthogonaltransformation acting on the set of orthonormal bases of (V, 〈, 〉):if B = {ei}4i=1 is an orthonormal basis, the new orthonormal basisBP = B′ = {e ′j}4j=1 is given as e ′j =
∑4i=1 eia
ij .
Let us denote by P ijkl the 2× 2 submatrix of the matrix P
formed by the elements in the rows i , j and in the columns k , land d ij
kl = det(P ijkl).
Lemma
Let B be an ST basis for an Einstein algebraic curvature tensor Rin which the components of R are given by the fixed A,B,C ,F ,G .Then the components of the tensor R in the new basis BPare given by the formula
R ′ijkl = (d12ij · d12
kl + d34ij · d34
kl ) A +
(d13ij · d13
kl + d24ij · d24
kl ) B +
(d14ij · d14
kl + d23ij · d23
kl ) C +
(d12ij · d34
kl + d34ij · d12
kl ) F +
(d14ij · d23
kl + d23ij · d14
kl ) G +
(d13ij · d42
kl + d42ij · d13
kl ) H.
Let B = {e1, e2, e3, e4} be an ST basisfor an Einstein algebraic curvature tensor R on (V , 〈, 〉).
Lemma
For any matrix P ∈ O(4), the components of the tensor Rin the new basis satisfy
R ′1212 = R ′3434, R ′1313 = R ′2424, R ′1414 = R ′2323.
We are interested in transformations P ∈ O(4) such thatin the new bases B′ = BP, the tensor R have all componentswith just three different indices equal to zero.Namely R ′ijkl = 0 for the following 12 choices of i , j , k , l :
1213, 1214, 1223, 1224, 2324, 2334,1314, 1323, 1334, 1424, 1434, 2434.
The basic finite group of transformations
H1 ⊂ O(4) the group of all permutation matricesH2 ⊂ O(4) the group of all diagonal matriceswith ±1 on the diagonal.
|H1| = 24 and |H2| = 16.H3 = H1 · H2 = H2 · H1, |H3| = 16 · 24 = 384.
For all P ∈ H3, BP are ST bases for R.
Special matrices
P4 =1
2
−1 1 1 1
1 −1 1 1
1 1 −1 1
1 1 1 −1
,P5 =1√2
1 1 0 0
1 −1 0 0
0 0 1 1
0 0 1 −1
.
The components of R in the basis BP4 are
A′ = R ′1212 = R ′3434 = 1/2(B + C − F − 2G ),B ′ = R ′1313 = R ′2424 = 1/2(A + C − F + G ),C ′ = R ′1414 = R ′2323 = 1/2(A + B + 2F + G ),F ′ = R ′1234 = 1/2(−B + C + F ),G ′ = R ′1423 = 1/2(−A + B + G ).
and R ′ijkl = 0 for all 12 choices of ijkl .The components of R in the basis BP5 are
A′ = R ′1212 = R ′3434 = A,B ′ = R ′1313 = R ′2424 = 1/2(B + C + F + 2G ),C ′ = R ′1414 = R ′2323 = 1/2(B + C − F − 2G ),F ′ = R ′1234 = F ,G ′ = R ′1423 = 1/2(B − C − F )
and R ′ijkl = 0 for all 12 choices of ijkl .
We see that both BP4 and BP5 are ST bases for R.
Lemma
The group H4 generated by H3 and P4 is the union of cosetsH4 = H3 ∪H3P4 ∪H3P ′4.It holds |H4| = 3 · 384 = 1152.
Lemma
The group H5 generated by H4 and P5 is the union of cosetsH5 = H4 ∪H4P5.It holds |H5| = 2 · 1152 = 2304.
For all P ∈ H5, the bases BP are ST bases for R.(We denote this set of bases by BH5.)
Observations
We recall the formula for the transformation of the tensor R:
R ′ijkl = (d12ij · d12
kl + d34ij · d34
kl ) A +
(d13ij · d13
kl + d24ij · d24
kl ) B +
(d14ij · d14
kl + d23ij · d23
kl ) C +
(d12ij · d34
kl + d34ij · d12
kl ) F +
(d14ij · d23
kl + d23ij · d14
kl ) G +
(d13ij · d42
kl + d42ij · d13
kl ) H.
I For P ∈ H5, all coefficients are zero for the 12 choicesof indices
I For special R one gets weaker conditions
The universal Singer-Thorpe group
Let us now fix an orthonormal basis B of (V, 〈, 〉) and considerthe set of all tensors R for which B is an ST basis.
Denote by S the set of bases which are ST bases for all thesetensors and denote by G the set of orthogonal matricescorresponding to all transformations between the bases from S.
G ⊂ O(4) is a group, independent of the initial basis B.
Theorem
The group G is just the group H5 of 2304 elements.
Dusek, Z and Kowalski, O.: Transformations between SingerThorpe bases for 4-dimensional Einstein manifolds, HokkaidoMath. J., 44 (2015), 441–458.
Special Lie groups and corresponding invariant tensors
We consider the following matrix
X =
0 s1 s2 s3
−s1 0 s4 s5
−s2 −s4 0 s6
−s3 −s5 −s6 0
∈ so(4)
and the 1-parameter group P(t) = exp(tX ) = E + tX + o(t2).
We consider again a fixed ST basis B for R.We want to determine the necessary conditionsfor the new bases BP(t) to be ST bases.
The components of the tensor R in the new bases BP(t) are
R ′1214 =[s2(G − F ) + s5(A− C )
]t + o(t2),
R ′1223 =[s2(C − A) + s5(F − G )
]t + o(t2),
R ′1224 =[s3(B − A) + s4(H − F )
]t + o(t2),
R ′1312 =[s3(F − H) + s4(A− B)
]t + o(t2),
R ′1314 =[s1(H − G ) + s6(B − C )
]t + o(t2),
R ′1323 =[s1(B − C ) + s6(H − G )
]t + o(t2).
We rewrite the necessary conditions under which a 1-parametergroup transforms the ST basis B into new ST bases in the form
(s5 − s2)(A− C + F − G ) = 0,(s5 + s2)(A− C − F + G ) = 0,(s4 − s3)(A− B + H − F ) = 0,(s4 + s3)(A− B − H + F ) = 0,(s6 + s1)(B − C + H − G ) = 0,(s6 − s1)(B − C − H + G ) = 0.
Definition
Let us denote by G1,G2,G3,H1,H2,H3 the 1-parameter subgroupsof the matrix group SO(4), each of them defined as exp(tX ) forX ∈ so(4) with just two nonzero parameters si satisfying thecorresponding condition in the second column of the table belowand with other four parameters si equal to zero.
Proposition
Let B be an ST basis for an Einstein algebraic curvature tensor Rand let G be some of the 1-parameter matrix groups G1, . . . ,H3.If all the new bases BG are ST bases, the tensor R must satisfythe corresponding condition in the following table.
G1 : s1 + s6 = 0, B − C − H + G = 0.G2 : s3 + s4 = 0, A− B + H − F = 0,G3 : s2 − s5 = 0, A− C − F + G = 0,H1 : s1 − s6 = 0, B − C + H − G = 0,H2 : s3 − s4 = 0, A− B − H + F = 0,H3 : s2 + s5 = 0, A− C + F − G = 0.
Proposition
Let R be an Einstein curvature tensor in an ST basis B and letG = H1. All the new bases BG are ST bases for the tensor Rif and only if it satisfies
B − C + H − G = 0.
If these equivalent conditions are true, then, in any new basis B′,the new components A′,B ′,C ′,F ′,H ′,G ′ of the tensor Rare the same as the original components A,B,C ,F ,H,G .
Proposition
Let G = H1 be the special representation of the group SO(2)described above and let R be any tensor from the family satisfyingthe corresponding homogeneous linear condition in a given STbasis B. Let p ∈ H5 and G′ = p−1Gp.
The matrix group G′ is also one of the six special representationsG1, . . . ,H3 of the group SO(2) and it transforms ST basis Bpfor the tensor R into new ST bases. In all these new bases BpG′,the tensor R satisfies the corresponding condition for the group G′.
Example
Let G = H1 and let the tensor R in an ST basis B satisfies
B − C + H − G = 0.
For example, we use for p the transposition p = (23).The tensor R changes by the equations
A′ = B, B ′ = A, C ′ = C ,F ′ = −H, H ′ = −F , G ′ = −G .
We see that the tensor R in the new basis Bp satisfies the equation
A′ − C ′ − F ′ + G ′ = 0,
which corresponds to the group G′ = G3. �
Theorem
Let R be an Einstein curvature tensor in an ST basis B.The group SO(2) acts as a transformation group betweenST bases if and only if the tensor R satisfies at least oneof the following equations, each equation correspondsto a particular representation of the group SO(2).
H1 : B − C + H − G = 0, G1 : B − C − H + G = 0,H2 : A− B − H + F = 0, G2 : A− B + H − F = 0,H3 : A− C + F − G = 0, G3 : A− C − F + G = 0.
ClassificationLet R be an Einstein curvature tensor in an ST basis B.
I The group SO(2)R satisfies at least one of the equations.
I The torus group T 2 = SO(2)× SO(2)
R satisfies at least one of the equations of the type Sp(1)
and at least one of the equations of the type Sp(1).
I The group Sp(1)
R satisfies equations of the type Sp(1)
or equations of the type Sp(1). [2-stein]
I The group U(2) ' Sp(1)× SO(2)
R satisfies either equations of the type Sp(1)
and at least one of the equations of the type Sp(1)
or equations of the type Sp(1)and at least one of the equations of the type Sp(1).
I The group O(4).R satisfies A = B = C , F = G = H = 0. [constant curvature]
The set of all ST bases for a fixed tensor R
For each tensor R and a fixed ST basis B,transformations of the type
p = gh, g ∈ G, h ∈ H5,
transform given ST basis B into a new ST basis.
These transformations can be composed:
I p = gh (g ∈ G, h ∈ H5) . . . a transformation from an ST basisB into a new ST basis B′ (written with respect to the basis B)
I p′ = g ′h′ (g ′ ∈ G′, h′ ∈ H5) . . . a transformation from an STbasis B′ into a new ST basis B′′ (written with respect to B′)
Then g ′ = h−1gh for some g ∈ G and the transformation p ◦ p′
from the ST basis B into the ST basis B′′ (with respect to B) is
p ◦ p′ = (gh) ◦ (g ′h′) = ghh−1ghh′ = gghh′.
An open question
An open question remains whether the ST bases obtained this wayfrom one given ST basis B are all possible ST bases for the giventensor R.
The discrete group H5 was found as transformationswhich can be applied to and ST basis of arbitrary tensor Rand obtain a new ST basis.
It is not disproved, that for special tensors R there may existmore discrete transformations which can be taken for h above.
References
Dusek, Z and Kowalski, O.: Transformations between SingerThorpe bases for 4-dimensional Einstein manifolds, HokkaidoMath. J., 44 (2015), 441–458.
Dusek, Z.: Singer-Thorpe bases for special Einstein curvaturetensors in dimension 4, Czech. Math. J., 65 (2015),1101–1115.