This paper explores a family of orthogonally invariant, commutative, nonassociative algebras of metric curvature tensors, revealing their structure, classification, and connections to well-known algebraic systems like Jordan algebras, especially in low dimensions.
Contribution
It introduces and analyzes a two-parameter family of such algebras, characterizes their structure in low dimensions, and relates them to classical algebraic objects like Jordan matrices and Weyl tensors.
Findings
01
The algebra of curvature tensors in 3D is isomorphic to a deformation of the Jordan product on symmetric matrices.
02
The subspace of Weyl curvature tensors forms a simple subalgebra in dimensions greater than four.
03
In 4D, anti-self-dual Weyl tensors form a simple ideal isomorphic to trace-free symmetric matrices.
Abstract
The space of tensors of metric curvature type on a Euclidean vector space carries a two-parameter family of orthogonally invariant commutative nonassociative multiplications invariant with respect to the symmetric bilinear form determined by the metric. For a particular choice of parameters these algebras recover the polarization of the quadratic map on metric curvature tensors that arises in the work of Hamilton on the Ricci flow. Here these algebras are studied as interesting examples of metrized commutative algebras and in low dimensions they are described concretely in terms of nonstandard commutative multiplications on self-adjoint endomorphisms. The algebra of curvature tensors on a three-dimensional Euclidean vector space is shown isomorphic to an orthogonally invariant deformation of the standard Jordan product on three by three symmetric matrices. This algebra is…
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Full text
The commutative nonassociative algebra of metric curvature tensors
Daniel J. F. Fox
Departamento de Matemática Aplicada a la Ingeniería Industrial
Escuela Técnica Superior de Ingeniería y Diseño Industrial
The space of tensors of metric curvature type on a Euclidean vector space carries a two-parameter family of orthogonally invariant commutative nonassociative multiplications invariant with respect to the symmetric bilinear form determined by the metric. For a particular choice of parameters these algebras recover the polarization of the quadratic map on metric curvature tensors that arises in the work of Hamilton on the Ricci flow. Here these algebras are studied as interesting examples of metrized commutative algebras and in low dimensions they are described concretely in terms of nonstandard commutative multiplications on self-adjoint endomorphisms.
The algebra of curvature tensors on a three-dimensional Euclidean vector space is shown isomorphic to an orthogonally invariant deformation of the standard Jordan product on three by three symmetric matrices. This algebra is characterized up to isomorphism in terms of purely algebraic properties of its idempotents and the spectra of their multiplication operators.
On a vector space of dimension at least four, the subspace of Weyl (Ricci-flat) curvature tensors is a subalgebra for which the multiplication endomorphisms are trace-free and the Killing type trace-form is a multiple of the nondegenerate invariant metric. This subalgebra is simple when the Euclidean vector space has dimension greater than four. In the presence of a compatible complex structure, the analogous result is obtained for the subalgebra of Kähler Weyl curvature tensors. It is shown that the anti-self-dual Weyl tensors on a four-dimensional vector space form a simple five-dimensional ideal isometrically isomorphic to the trace-free part of the Jordan product on trace-free 3×3 symmetric matrices.
Let V be an n-dimensional real vector space equipped with a metric hij. Let MC(V∗)
[TABLE]
be the n2(n2−1)/12-dimensional vector space of metric curvature tensors.
Any Yijkl∈MC(V∗) satisfies Yklij=Yijkl and Yi(jk)l is symmetric in i and l.
The metric curvature tensors of n typeMCW(V∗) comprise the kernel of the Ricci traceρ:MC(V∗)→S2(V∗) defined by ρ(Y)ij=Ypijp.
Note that ρ(Y)ij is symmetric because 2ρ(Y)[ij]=−Yijklhkl=0. The trace s(Y)=trρ(Y)=hijρ(Y)ij is the scalar curvature of Y. (Here, and when convenient, there are used the abstract index conventions [30, chapter 2].) These definitions are consistent with the conventions in which the curvature tensor of the round metric gij on the sphere has the form −2gk[igj]l (see Remark 5 for detailed discussion of signs).
By [17, Theorem 7.1] the curvature tensor Rijkl of a family of metrics g(t)ij solving the Ricci flow dtdg(t)ij=−2ρ(R(t))ij evolves according to
[TABLE]
where R∗R is some quadratic form on MC(V∗). The polarization of the quadratic form appearing in (1.2) can be viewed as a commutative multiplication ∗ on MC(V∗). Here, (MC(V∗),∗) is studied as an interesting example in the general context of commutative nonassociative algebras that exhibits some special structural properties. Although they did not use explicitly this algebraic perspective, it was R. Hamilton [17, 18, 19] and G. Huisken [21] who first emphasized the importance of ∗ and discovered its basic properties.
The class of commutative not necessarily associative algebras with no additional structure is too general to admit a good theory. In many interesting examples the commutative algebra (A,∘) satisfies the further condition that it is metrized meaning it is equipped with a nondegenerate bilinear form h that is invariant in the sense that the cubic form h(x∘y,z) is completely symmetric in x,y,z∈A (in this case h is also often called a Frobenius form). For various perspectives on metrized commutative algebras see [3, 10, 12, 13, 14, 16, 22, 29, 37].
The definition of ∗ and its basic properties are described in Section 5, and are based on Theorem 5.4, which yields two different new constructions of ∗.
By Lemma 4.2, for k≥2 there is an O(n)-equivariant linear map X∈MC(V∗)→X∈End(⊗kV∗) such that X is self-adjoint and preserves the type (by symmetries) of tensors. If X preserves the O(n)-submodule W⊂⊗kV∗, it restriction to W is written XW. If X→XW is injective, the pullback of the projection onto the image of ⋅W of the Jordan product XW⊚YW yields a commutative multiplication on MC(V∗) on which O(n) acts by automorphisms.
For example, X preserves ⋀2V∗ and S2V∗ and the induced maps ⋅∧2V∗ and ⋅S2V∗ are injective by Corollary 4.4. By Lemma 5.2, the linear combinations of the pullbacks of the projections onto their images of the Jordan products of endomorphisms, X∧2V∗⊚Y∧2V∗ and XS2V∗⊚YS2V∗, yield a two-parameter family s∗A+t∗S of commutative multiplications on MC(V∗) that are metrized by the metric ⟨X,Y⟩=XijklYijkl on MC(V∗) and on which O(n) acts isometrically by algebra automorphisms. Moreover, a specific linear combination recovers ∗ as follows. As X∈MC(V∗) determines an endomorphism XMC(V∗) of MC(V∗), it makes sense to define a multiplication on MC(V∗) by X∗Y=XMC(V∗)(Y). It turns out that the multiplication ∗ so defined is commutative, for Theorem 5.4 shows that ∗=23(∗A+∗S), and that it recovers the multiplication of (1.2), for it shows that ∗ has the explicit form (5.14) found by Hamilton.
Because X∗Y=X(Y), an immediate consequence of the self-adjointness of XMC(V∗) with respect to ⟨⋅,⋅⟩ is that (MC(V∗),∗) is metrized by ⟨⋅,⋅⟩, a fact due to Huisken.
Remark 1**.**
For any metrized commutative algebra (A,∘,h) and any t∈R×, tIdA∈End(A) is an isometric algebra isomorphism from (A,∘t,t2h) to (A,∘,h) where x∘ty=tx∘y. For this reason, the family s∗A+t∗S should be regarded as associated with [s:t]∈P1(R), and it is any one of the multiplications corresponding with [1:1]∈P1(R) that arises in the Ricci flow, the choice of which amounting to a normalization that is inconsequential from a purely algebraic perspective. However, considerations related to geometric applications motivate a particular choice. Concretely, the choice of ∗=∗1 over ∗−1 is made by requiring that a positive multiple of the curvature tensor of the round sphere be idempotent. See Remark 5 for further discussion.
Remark 2**.**
Some authors [2, 32, 34] define ∗ directly in terms of curvature operators on ⋀2V∗. Here ∗ is defined on curvature tensors, and the two definitions involve curvature operators on S2V∗ and MC(V∗) itself. Although there seems to be no good notion of representation of a commutative nonassociative algebra (at least not without embedding it in a vertex operator algebra), it is convenient to think of curvature operators on different tensor modules such as S2V∗ and ⋀2V∗ as different representations of (MC(V∗),∗), Theorem 5.4 showing that the multiplication itself is determined by MC(V∗) somehow viewed as a module over itself.
The irreducible submodules of MC(V∗) under the action of certain groups of orthogonal transformations are subalgebras.
Lemma 5.6 shows that the space MCW(V∗) of metric curvature tensors of Weyl type is a subalgebra of (MC(V∗),∗).
If (V,h) carries an almost complex structure compatible with h it makes sense to speak of the submodule of Kähler curvature tensors (see Section 11 for the definition), MCK(V∗) and its submodule of Kähler Weyl curvature tensor MCK,W(V∗)=MCK(V∗)∩MCW(V∗), and Lemma 11.1 shows that MCK(V∗) and MCK,W(V∗) are subalgebras of MC(V∗).
The one-dimensional submodule of MC(V∗) generated by the metric is also a subalgebra (isomorphic to the real field), but the irreducible submodule generated by the Kulkarni-Nomizu products of the metric with trace-free symmetric two-tensors (the submodule comprising curvature tensors of pure trace-free Ricci type) is not a subalgebra. The fusion rules (in the sense of [16]) describing the interactions of the irreducible summands of MC(V∗) are given in Table 1. They follow from Theorem 7.11, which gives more information than do the fusion rules alone because it asserts the equalities of products of subspaces, rather than simply containment relations. The proofs of these relations are based on detailed calculations of products in (MC(V∗),∗), given in Section 6, that, while technical, should be useful in further study of ∗. The ingredients of the proof of Theorem 7.11 also yield a conceptually simple proof of the Böhm-Wilking theorem (see Section 7) used in the construction of curvature cones. The fusion rules for the unitary irreducible subspaces of the subalgebra MCK(V∗) and the corresponding analogue of the Böhm-Wilking theorem are described in the companion paper [11].
A commutative algebra (A,∘) is exact (called harmonic in [29]) if its multiplication endomorphisms L∘:A→End(A) defined by L∘(x)=x∘y satisfy trL∘(x)=0 for all x∈A. Note that an exact algebra is nonunital.
A commutative algebra (A,∘) is Killing metrized, if the Killing type trace form τ∘(x,y)=trL∘(x)L∘(y) is nondegenerate and invariant. The multiplication of a Killing metrized commutative algebra is necessarily faithful, meaning that L∘ is injective.
Important structural features of the subalgebra (MCW(V∗),∗) shown in Theorem 1.1, are that it is exact and Killing metrized, and is simple when dimV∗>4.
Theorem 1.1**.**
Let (V,h) be a Euclidean vector space of dimension at least 4. The algebra (MCW(V∗),∗) is exact and Killing metrized. Moreover:
(1)
The Killing form τ∗(X,Y)=trL∗(X)L∗(Y) is a nonzero multiple of ⟨⋅,⋅⟩.
2. (2)
Let (V,h) be a Euclidean vector space with dimV=n≥4. The group O(n)=O(V,h) acts on MCW(V∗) isometrically and irreducibly. By Theorem 5.4, (MCW(V∗),∗) is metrized by the pairing ⟨⋅,⋅⟩ and O(n) acts on (MCW(V∗),∗) by algebra automorphisms.
By Lemma 10.1 there is a nontrivial idempotent E∈(MCW(V∗),∗).
Because (MCW(V∗),∗) contains a nontrivial idempotent, its multiplication is nontrivial. Theorem 3.2 implies trL∗(X)=0, and τ∗(X,Y)=trL∗(X)L∗(Y) equals κ⟨⋅,⋅⟩ for some nonzero κ which must be positive because both τ∗ and ⟨⋅,⋅⟩ are positive definite.
If dimV>4, the action by automorphisms of the connected simple Lie group SO(n) on MCW(V∗) is irreducible, so Theorem 3.1 implies (MCW(V∗),∗) is simple.
∎
When dimV=4, a choice of orientation determines an orthogonal decomposition MCW(V∗)=MCW+(V∗)⊕MCW−(V∗) where MCW±(V∗) are the subspaces of self-dual and anti-self-dual curvature tensors. Theorem 1.2, discussed in more detail later in the introduction, shows that these are mutually isomorphic subalgebras that are simple, exact, and Killing metrized with Killing form equal to 1621⟨⋅,⋅⟩.
Alternatively this is a consequence of Theorem 11.3, which is the analogue of Theorem 1.1 for the algebra of Kähler-Weyl tensors. It shows that if (V,h,J) is a 2n-dimensional Kähler vector space, then (MCK,W(V∗),∗) is a simple, exact, Killing metrized algebra with Killing form a positive multiple of ⟨⋅,⋅⟩. When dimV=4, a choice of compatible almost complex structure J determines an orientation of V and Lemma 11.2 shows MCW−(V∗)=MCK,W(V∗)
Remark 3**.**
When dimV>4, Theorem 1.1 does not give the value of the positive constant κ such that τ∗=κ⟨⋅,⋅⟩. To calculate κ it would suffice to calculate the eigenvalues on MCW(V∗) of the operator E associated with a nonzero idempotent, as this suffices to calculate its τ∗-norm. When dimV=4, the explicit calculations used to prove Theorem 1.2 make it possible to calculate κ=21/16 for (MCW±(V∗),∗) (and so also for (MCK,W(V∗),∗)).
A basic problem is to describe (MC(V∗),∗), or its subalgebras more explicitly, in terms of known algebras. As mentioned already, when dimV=2, the one-dimensional algebra (MC(V∗),∗) is isometrically isomorphic to the field of real numbers with its Euclidean inner product. When dimV is 3 or 4 explicit results are obtained relating ∗ to the usual Jordan product of symmetric endomorphisms.
V. L. Popov’s [31] discusses invariants of algebras constructed from traces of products of powers of their multiplication operators, addressing questions such as when does a module for a group G admit a nontrivial G-invariant multiplication that is simple or have automorphism group equal to G. Specific instances of this last question are addressed in [6], for G=SL(2), and [8], for certain exceptional Lie groups.
In this context, metrizability by some particular trace-form, for example Killing metrizability, appears as a structurally important condition. Its importance has been explicitly indicated in work of A. Ryba, for example [35], constructing commutative nonassociative algebras on which certain finite simple groups act by automorphisms (see in particular [35, Lemma 9.1] and see also [22]), and in the work of V. G. Tkachev and collaborators dedicated to a general program, detailed in [29], of constructing homogeneous solutions to certain geometrically motivated linear and fully nonlinear elliptic partial differential equations, for example those describing minimal cones, by studying the algebras associated with completely symmetric cubic forms.
An interesting class of examples of exact Killing metrized commutative nonassociative algebras, relevant here also for the statement of Theorem 1.2 below, are the deunitalizations of the finite-dimensional simple real Euclidean Jordan algebras.
The vector space Sym(W,g) of g-self-adjoint endomorphisms of the n-dimensional Euclidean vector space (W,g) equipped with the multiplication ⊚ that is the symmetric part of the ordinary composition of endomorphisms is an n(n+1)/2-dimensional simple real Euclidean Jordan algebra with unit. Its deunitalization is the (n+2)(n−1)/2-dimensional commutative, nonassociative, nonunital algebra obtained by retraction along the unit. Precisely, this is the algebra Sym0(W,g)={A∈Sym(W,g):trA=0} of trace-free symmetric endomorphisms of (W,g) equipped with the multiplication
[TABLE]
and the invariant metric G(A,B)=n1tr(A⊚B)=n1tr(A∘B).
When dimW=3, G(A×A,A)=31tr(A3)=detA. (These claims follow from standard formulas as in [9], and are demonstrated more or less explicitly in [10] and [38, section 10].)
Section 8 treats the case dimV=3. In this case the 6-dimensional algebra (MC(V∗),∗) is linearly isomorphic to S2V∗. The map sending α∈S2V∗ to α♯∈Sym(V,h) defined by h(α♯(x),y)=α(x,y) for x,y∈V∗ is a linear isomorphism. Transported from S2V∗ to Sym(V,h) via ♯, the product ∗ can be expressed in terms of familiar operations on symmetric endomorphisms. Lemma 8.2 and Theorem 8.4 describe the product on Sym(V,h) corresponding to ∗ as
[TABLE]
In particular, this product is nonunital and it is not the Jordan product ⊚. Identify S02V∗ with Sym0(V,h) and equip it with the trace-free Jordan product × defined in (1.3). More precisely, Lemma 8.2 shows that Sym0(V,h)⊕R equipped with the multiplication
[TABLE]
is isomorphic to (MC(V∗),∗) via the linear map (α♯,r)∈Sym0(V,h)⊕R→α+rh∈S2V∗.
What is more interesting is Theorem 8.4 that characterizes ⋄ in terms in intrinsic algebraic terms (for Euclidean h). The situation can be summarized informally as that (MC(V∗),∗) is the most symmetric O(3)-invariant metrized commutative algebra structure on S2V∗, in that the number of orbits of its idempotents is the smallest possible, two, and the spectra of their multiplication endomorphisms have the maximal redundancy. Up to isomorphism there is a one-parameter family of O(3)-invariant commutative algebra structures on S2V∗ each metrized by an O(3)-invariant inner product and each of which contains a rank one idempotent and contains no square-zero element. The additional condition that there be only two orbits of idempotents, one generated by a multiple of h, the other by a rank one idempotent, distinguishes two such algebras. One of them is Killing metrized and the other is (S2V∗,⋄). Alternatively, they are distinguished by the multiplicity of the eigenvalue 1/2 of the multiplication endomorphism of a rank one idempotent, which is always at least 2, as a consequence of O(3)-invariance, but is 3 uniquely for (S2V∗,⋄). The proof yields as corollaries that ⋄ is simple and its automorphism group is exactly the image of O(3) in its induced action on S2V∗. Corollary 8.6 summarizes precisely all that is proved.
When dimV=4, Lemma 9.6 shows that the 5-dimensional subspaces MCW±(V∗) are orthogonal ideals of (MCW(V∗),∗). Theorem 1.2 shows that each of these subalgebras is isometrically isomorphic to the deunitalization of the six-dimensional rank 3 simple real Euclidean Jordan algebra of symmetric endomorphisms of a 3-dimensional vector space.
The linear maps assigning to X∈MCW(V∗) endomorphisms X∧±2V∗∈End(⋀±2V∗) of the spaces ⋀±2V∗ of self-dual and anti-self-dual 2-forms induce SO(4)-module isomorphisms MCW±(V∗)≃Sym0(⋀±2V∗,h) [1, Section 1.127]. The content of Theorem 1.2 is that a suitable multiple of X∧±2V∗ is an algebra isomorphism.
Theorem 1.2**.**
Let (V,h) be a 4-dimensional oriented Euclidean vector space.
Consider the deunitalization (Sym0(⋀±2V∗,h),×) of the 6-dimensional rank 3 simple real Euclidean Jordan algebra (Sym(⋀±2V∗,h),⊚) of symmetric endomorphisms of the 3-dimensional space ⋀±2V∗, equipped with the product × equal to the traceless part of the usual Jordan product ⊚ of endomorphisms and the metric G(A,B)=31trA∘B.
(1)
The map Ψ:(MCW±(V∗),∗,⟨⋅,⋅⟩)→(Sym0(⋀±2V∗,h),×,34G) defined by Ψ(X)=3X is an SO(4)-equivariant
isometric algebra isomorphism.
2. (2)
The Killing form τ∗(X,Y)=trL∗(X)L∗(Y) on (MCW±(V∗),∗) satisfies τ∗=1621⟨⋅,⋅⟩, where ⟨⋅,⋅⟩ is the metric on MCW(V∗) given by complete contraction with hij.
3. (3)
(MCW±(V∗),∗,⟨⋅,⋅⟩)* is simple and contains no nontrivial square-zero elements.*
Theorem 1.2 is proved twice, at the end of Section 9 and again in Section 10 (Section 12 sketches still another proof). The isomorphism is described both conceptually and explicitly.
The explicit isomorphism is based on the construction of a convenient basis of MCW+(V∗) and the calculation of the multiplication table for its elements. See Lemma 10.7.
The conceptual proof is based on a calculation relating the endomorphisms of ⋀2V∗ given by X∗Y∧2V∗ and X∧2V∗∘Y∧2V∗, where ∘ denotes composition of endomorphisms, that shows
[TABLE]
in which ∘ is composition of endomorphisms and ⋆ denotes both the Hodge star operator on ⋀2V∗ and the involution it induces on MCW(V∗); see Lemma 9.6 for details.
For V of dimension greater than 4, it would be interesting to obtain a formula like (1.6) for the difference X∗YMCW(V∗) in terms of the Jordan product XMCW(V∗)⊚YMCW(V∗) and expressions like those on the right side of (1.6).
Part of claim (3) of Theorem 1.2 depends strongly on the assumption of Euclidean signature.
It shows that in Euclidean signature (MCW(V∗),∗) contains no square-zero element if dimV=4, while Lemma 7.2 shows that if dimV≥4 and h has indefinite signature, then (MCW(V∗),∗) is spanned by square-zero elements (see also Example 5). It would be interesting to know if (MCW(V∗),∗) contains a nonzero square-zero element when h is Euclidean and dimV>4. Theorem 7.9 shows the weaker result that the multiplication ∗ is faithful if h is Euclidean and dimV≥4; equivalently, (MC(V∗),∗) contains no zero divisors.
The simplicity of the algebras (MCW±(V∗),∗) and (MCK,W(V∗),∗) could perhaps appear unremarkable in light of a result of Popov showing that, over an algebraically closed field k of characteristic zero, a generic algebra is simple. Precisely, [31, Theorem 4] shows that the set of structure tensors of simple algebras over k is open and dense. However, the first Theorem 3 of [31]111Due to a typographical error, its Theorem 2 is mislabeled as Theorem 3. shows that a generic (in the same sense) algebra has trivial automorphism group, whereas (MCW±(V∗),∗,⟨⋅,⋅⟩), (MCW(V∗),∗), and (MCK,W(V∗),∗) have large automorphism groups that contain respectively the Lie groups SO(4), O(n), and U(n), and so are atypical from this point of view.
Nonetheless, [31, Theorem 5] shows that if the automorphism group of a finite-dimensional algebra with nontrivial multiplication over k contains a connected algebraic subgroup that acts irreducibly on the algebra, then the algebra is simple. Although the algebras considered here are defined over R, Popov’s argument can be used essentially as written to show that (MCW(V∗),∗) and (MCK,W(V∗),∗) are simple when dimV∗>4. A precise statement of a more general result is given here as Theorem 3.1 and Theorem 1.1 records its application to (MCW(V∗),∗).
Among metrized commutative algebras those that have large automorphism groups are somewhat exceptional. That a Lie group G acts on a metrized commutative algbera by automorphisms has the consequence that the orbit of an idempotent is a G homogeneous space.
It would be interesting to describe completely the G-orbits of idempotents in subalgebras of (MC(V∗),∗). For dimV∗=3, Corollary 8.6 gives such a description, while for dimV∗=4, such a description can be deduced from Theorem 1.2 and the computations used to prove Theorem 7.11. In this direction, Lemma 10.3 shows that when dimV∗=2n≥4, certain of the idempotents produced by Lemma 10.1 constitute an orbit of O(2n) acting in MCW(V∗) identified with the space SO(2n)/U(n) of orthogonal complex structures on V inducing a given orientation on V.
Since all claims in the paper are pure linear algebra, they extend straightforwardly to sections of tensor bundles over smooth manifolds.
Although no application to Ricci flow is immediately available, it is reasonable to hope that the results obtained here will be useful for studying curvature conditions on manifolds.
A different, Lie theoretic, point of view on the structure of the multiplication ∗ has been used profitably in [2, 41]. For background on the definition of ∗ as in (5.14), its properties, and its role in the study of the Ricci flow, see also [20].
Some features of the algebra (MC(V∗),∗) are used implicitly in the study of the Ricci flow [2, 4, 5, 17, 18, 21, 32, 33, 34, 41]. The algebraic perspective makes some of the manipulations used in such studies appear more natural, and focuses attention on certain structural features, namely the invariance and nondegeneracy of the Killing type trace form and the identification of idempotent elements and the spectra of their left multiplication operators, that are not self-evidently relevant from the geometric perspective.
It would be interesting to extend results obtained here, for example Theorem 1.2, to pseudo-Euclidean real vector spaces and to vector spaces over general base fields.
2. Notation and conventions
All vector spaces considered here are finite-dimensional over R.
The abstract index conventions in the sense of Penrose [30, chapter 2] are used when convenient. Given a vector space V, αi1…ilj1…jk indicates an element of ⊗kV⊗⊗lV∗. The indices are labels indicating tensor valencies and symmetries, and do not refer to any choice of reference frame. Enclosure of indices in square brackets or parentheses indicates complete antisymmetrization or complete symmetrization over the enclosed indices; indices delimited by vertical bars are omitted from such (anti)symmetrizations. For example 2aijk=a[i∣j∣k+a(i∣j∣k) is the decomposition of aijk into its parts antisymmetric and symmetric in the first and last index. The symmetric product α⊙β∈Sk+lV∗ of symmetric tensors α∈SkV∗ and β∈SlV∗ is defined by complete symmetrization, (α⊙β)i1…ik+l=α(i1…ikβik+1…ik+l), whereas the wedge product α∧β of antisymmetric tensors α∈⋀kV∗ and β∈⋀lV∗ is defined as a multiple of the complete antisymmetrization of their tensor product, by (α∧β)i1…ik+l=(kk+l)α[i1…ikβik+1…ik+l].
Indices are raised and lowered, respecting horizontal position, using a nondegenerate symmetric bilinear form hij (called a metric) and the inverse symmetric bivector hij satisfying hiphpj=δji. The pair (V,h) is called a metric vector space. The metric h is Euclidean if it is positive definite and in this case (V,h) is called a Euclidean vector space.
Throughout the paper the norms used on tensor modules are those given by complete contraction with the metric (and not those induced from the standard O(h)-representation). A subspace M⊂⊗kV∗⊗⊗lV is a metric vector space with the metric ⟨⋅,⋅⟩ defined via complete contraction with hij and hij by ⟨α,β⟩=αi1…ikj1…jlβa1…akb1…blhi1a1…hikakhj1b1…hjlbl.
Let (V,h) be an n-dimensional metric vector space. When Euclidean h is fixed, the abstract orthogonal group O(n) is identified with the orthogonal group O(h) of linear automorphisms of V preserving h. The action of GL(V) on V given by (g⋅x)i=xpgpi induces the cogredient action on V∗ given by (g⋅μ)i=(g−1)ipμp and these actions extend in the usual way to ⊗kV⊗⊗lV∗. By definition, gij∈GL(V) is in O(h) if and only if gipgjp=hij, or, what is the same (g−1)ij=gji. This implies the action of O(h) commutes with taking traces. For example, for X∈MC(V∗) and g∈O(h), ρ(g⋅X)=g⋅ρ(X), so MCW(V∗) is an O(h)-submodule of MC(V∗).
The space End(V) of linear endomorphisms of V is regarded as an algebra with multiplication ∘ given by composition.
The adjoint involutionσh:(End(V),∘)→(End(V),∘) of the metric h on V is the real linear antiautomorphism defined by h(σh(ϕ)x,y)=h(x,ϕ(y)) for all x,y∈V and ϕ∈End(V). For a metrized vector space (V,h), the subspace Sym(V,h)=Sym(End(V),σh)={ϕ∈End(V):σh(ϕ)=ϕ} of h-self-adjoint endormorphisms is a Jordan algebra with the product ϕ⊚ψ=21(ϕ∘ψ+ψ∘ϕ) for ϕ,ψ∈Sym(V,h).
(When h is clear from context there is written simply Sym(V) for brevity.)
There holds α∘β=21[α,β]+α⊚β, where α⊚β=21(α∘β+β∘α).
Via metric duality, αij∈⊗2(V∗) is identified with the endomorphism xj→xiαij of V, and the composition of the endomorphisms of V determined by raising the second indices of αij,βij∈⊗2V∗ is given by (α∘β)ij=αpjβip. These conventions are such that, for x,y,z,w∈V∗,
[TABLE]
The pullback to ⊗2V∗ of the Lie bracket of endomorphisms yields the Lie bracket [⋅,⋅]:⊗2(V∗)×⊗2(V∗)→⊗2(V∗) given by [α,β]=α∘β−β∘α. Similarly, the multiplication induced via metric duality on ⊗2V∗ by the usual Jordan product of endomorphisms is denoted by ⊚.
The subspace ⋀2V∗ is a subalgebra of (⊗2V∗,[⋅,⋅]) and (⋀2V∗,[⋅,⋅]) is isomorphic to the Lie algebra so(V,h).
3. General results about commutative algebras
As explained in the introduction, the argument proving [31, Theorem 5] adapts almost without change to the present setting to prove Theorem 3.1.
For the reader’s convenience, it is reproduced here with modifications appropriate to the current setting.
Theorem 3.1**.**
Let (A,∘,h) be a nontrivial finite-dimensional commutative algebra. If a connected simple real Lie group G acts on (A,∘) irreducibly by automorphisms, then (A,∘) is simple.
Proof.
Since the action is irreducible, a nontrivial G-invariant ideal equals A. Assume (A,∘) is not simple and let I⊂A be a minimal proper ideal. Then g⋅I is again a minimal proper ideal for all g∈G. Since the sum of the ideals g⋅I as g ranges over G is a nontrivial G-invariant ideal, it equals A. For g,gˉ∈G, the ideals g⋅I and gˉ⋅I either are equal or have intersection {0}, and it follows that there are g1,…,gr∈G such that A=⊕i=1rgi⋅I is a direct sum of vector spaces. Since the product of distinct minimal ideals is the zero ideal, this sum is in fact a direct sum of algebras. If J⊂A is a minimal proper ideal not equal to gi⋅I for any 1≤i≤r, then its product with each gi⋅I is the zero ideal, so its product with A is the zero ideal. Applying the preceding argument with J in place of I shows that the multiplication on A is trivial, contrary to hypothesis. The preceding shows that any minimal proper ideal of (A,∘) has the form gi⋅I for some 1≤i≤r, and so G permutes the set {g1⋅I,…,gr⋅I}. Since G is connected with simple Lie algebra, any proper normal subgroup of G must be discrete, so this permutation action must be trivial. Consequently, each gi⋅I is a G-invariant linear subspace of A, contradicting the G-irreducibility of A.
∎
Theorem 3.2**.**
A nontrivial finite-dimensional Euclidean metrized commutative algebra (A,∘,h) on which a real Lie group G acts irreducibly by isometric automorphisms is exact and Killing metrized with Killing form τ∘(x,y)=trL∘(x)L∘(y) equal to a nonzero multiple of the metric h.
Proof.
Since G acts on (A,∘) by automorphisms, the linear form x→trL∘(x) is G-invariant and so, because A is G-irreducible, kertrL∘=A.
Likewise, τ∘ is G-invariant, and because both h and τ∘ are G-invariant, the endomorphism A∈End(A) defined by τ∘(x,y)=h(Ax,y) for x,y,∈A is G-invariant as well. Because both h and τ∘ are symmetric, A is h-self-adjoint and so is semisimple with real eigenvalues. Since A is G-irreducible and A is h-self-adjoint, by the Schur Lemma, A=κIdA for some κ∈R, so τ∘=κh. Because κdim(A)=trA=∣μ∣h2 where μ(x,y,z)=h(x∘y,z), were κ zero, then μ would be identically zero. However, because (A,∘) is assumed nontrivial there exist x,y∈A such that x∘y=0, so, by the nondegeneracy of h there is z∈A such that h(x∘y,z)=0.
The following alternative argument shows κ=0. By [36, Lemma 2.1], a nontrivial finite-dimensional Euclidean metrized commutative real algebra (A,∘) contains a nonzero idempotent, for, if y is an extremum of the restriction to the h-unit sphere of the cubic polynomial h(x∘x,x), then e=h(y∘y,y)−1y is a nonzero idempotent. By the invariance of h, L∘(e) is a self-adjoint endomorphism of A that preserves the orthogonal complement of the span of e. Hence it is diagonalizable with (possibly repeated) real eigenvalues 1,λ1,…,λn−1, and τ∘(e,e)=trL∘(e)2=1+∑i=1n−1λi2≥1. Since ⟨e,e⟩=0, it follows that κ=τ∘(e,e)h(e,e)−1=0.
∎
4. Action of metric curvature tensors on tensors
Let (V,h) be a metric vector space. Note that ωijkl∈MC(V∗)={ωijkl∈⊗4V∗:ω(ij)kl=ωijkl=ω(kl)ij,ω(ijk)l=0} satisfies ωklij=ωijkl and ωk[ij]l is antisymmetric in k and l. A straightforward calculation proves that the linear map T:MC(V∗)→MC(V∗) defined by T(μ)ijkl=32μk[ij]l is an isometric isomorphism with inverse given by T−1(ν)ijkl=−32νk(ij)l.
It is convenient to abuse notation by identifying S2(⋀2V∗) and S2(S2V∗) with the subspaces {Ψijkl∈⊗4V∗:Ψklij=Ψijkl=Ψ[ij]kl=Ψij[kl]} and {Φijkl∈⊗4V∗:Φklij=Φijkl=Φ(ij)kl=Φij(kl)}. As Ψijkl∈⋀4V∗ satisfies Ψklij=Ψijkl, ⋀4V∗ can be viewed as a subspace of S2(⋀2V∗), and likewise S4V∗ can be regarded as a subspace of S2(S2V∗). The Bianchi identity implies ⋀4V∗ and MC(V∗) are orthogonal subspaces of S2(⋀2V∗) with trivial intersection, and similarly S4V∗ and MC(V∗) are orthogonal subspaces of S2(S2V∗) with trivial intersection. Comparing dimensions shows S2(⋀2V∗)≃MC(V∗)⊕⋀4V∗ and S2(S2V∗)≃MC(V∗)⊕S4V∗.
For Ψ∈S2(⋀2V∗), Ψ[ijkl]=Ψ[ijk]l, and the orthogonal projection M:S2(⋀2V∗)→MC(V∗) is given by M(Ψ)ijkl=Ψijkl−Ψ[ijk]l, so M⊕(IdS2(∧2V∗)−M):S2(⋀2V∗)→MC(V∗)⊕⋀4V∗ is an isometric isomorphism.
Similarly, the orthogonal projection S:S2(S2V∗)→MC(V∗) is given by S(Ψ)ijkl=Ψijkl−Ψ(ijk)l, so (T∘S)⊕(IdS2(S2V∗)−S):S2(S2V∗)→MC(V∗)⊕S4V∗ is an isometric isomorphism, where, for ωijkl∈S2(S2V∗),
[TABLE]
Lemma 4.1**.**
Let (V,h) be a finite dimensional metric vector space and let k≥2. For α,β∈⊗kV∗, setting ϱ(α,β) equal to the h-orthogonal projection M(π(α,β))∈MC(V∗) of π(α,β)abcd=Ψ(α,β)[ab][cd]∈S2(⋀2V∗) where
[TABLE]
defines a symmetric O(h)-equivariant bilinear map ϱ:⊗kV∗×⊗kV∗→MC(V∗).
Proof.
There need be checked only that ϱ(β,α)=ϱ(α,β).
The definition (4.2) implies Ψ(β,α)abcd=Ψ(α,β)badc and there follows
[TABLE]
so that ϱ(β,α)=M(π(β,α))=M(π(α,β))=ϱ(α,β). That ϱ is O(h)-equivariant means that ϱ(g⋅α,g⋅β)=g⋅ϱ(α,β) for all α,β∈⊗kV∗ and g∈O(h), and this is apparent from the manifest O(h)-equivariance of the construction of ϱ.
∎
Because ϱ is O(h)-equivariant, its restriction to W×W where W is any O(h)-submodule W⊂⊗kV∗ takes values in some O(h)-submodule of MC(V∗).
The symmetric group on k elements, Sk, acts on the left on ⊗kV∗ by (σ⋅α)i1…ik=αiσ−1(1)…iσ−1(k) for σ∈Sk. A filling of a k box Young diagram by distinct indices i1,…,ik determines the submodule of ⊗kV∗ comprising tensors antisymmetric in the indices in any column of the filled Young diagram, and such that there vanishes the antisymmetrization over a subset of indices comprising the indices in any given column plus any index from any column to the right of the given column. The tensors in such a submodule are said to have the type given by the filled Young diagram. By [40, Theorems 5.7.A and 5.7.C], an O(n)-module of covariant trace-free tensors on an n-dimensional vector space having symmetries corresponding to a Young diagram is nontrivial if and only if the sum of the lengths of the first two columns is no greater than n, and by [40, Theorem 5.7G] all irreducible finite-dimensional O(n)-modules correspond to some such Young diagram. For example, MCW(V∗)=kerρ⊂MC(V∗) corresponds with a filling of a 2×2 square array of boxes, so MCW(V∗)={0} if dimV<4. If n=dimV≥4, MCW(V∗) is a nontrivial irreducible O(n)-module. When dimV=4, it decomposes as an SO(n)-module into two five-dimensional submodules (see Section 9).
A linear endomorphism is said to preserve the type of tensors if it maps tensors with the symmetries determined by a given filled Young diagram into tensors with the same symmetries.
Lemma 4.2**.**
Let (V,h) be a finite dimensional metric vector space and let k≥2.
The linear map MC(V∗)→End(⊗kV∗) associating with X∈MC(V∗) the operator X∈End(⊗kV∗) defined by
[TABLE]
commutes with the action of Sk on ⊗kV∗, so preserves the type of tensors; is O(h)-equivariant, meaning g⋅X(α)=g⋅X(g−1⋅α) for all α∈⊗kV∗ and g∈O(h); and has image in the self-adjoint endomorphisms, meaning X∈Sym(⊗kV∗,⟨⋅,⋅⟩) for all X∈MC(V∗).
Proof.
That X preserves the type of tensors follows from X(σ⋅α)=σ⋅X(α) for σ∈Sk and α∈⊗kV∗. This is immediate from the definition (4.4) and the symmetries of Xijkl. The relation g⋅X(α)=g⋅X(g−1⋅α) likewise follows from a straightforward computation (for this relation to hold it is necessary that g be orthogonal because the metric is used in (4.4) where indices are contracted).
It follows from (4.4) that
[TABLE]
where ϱ(α,β) is as in Lemma 4.1. By Lemma 4.1, ϱ(α,β) is symmetric in α and β and by (4.5) this implies that ⟨X(α),β⟩=⟨α,X(β)⟩ for all α,β∈⊗kV∗, so X is self-adjoint.
∎
When it is known that X preserves a subspace W⊂⊗kV∗, there is written XW instead of X when helpful for clarity.
By Lemma 4.2, for X∈MC(V∗) and k≥2, X preserves ⋀kV∗ and SkV∗, so there are written X∧kV∗∈Sym(⋀kV∗) and XSkV∗∈Sym(SkV∗) for the restrictions of X to ⋀kV∗,SkV∗⊂⊗kV∗.
By Lemma 4.2, XSkV∗(α)i1…ik=(k−1)Xp(i1i2qαi3…ik)pq for α∈SkV∗ and X∧kV∗(α)i1…ik=(k−1)Xp[i1i2qαi3…ik]pq=−2k−1Xpq[i1i2αi3…ik]pq for α∈⋀kV∗.
In particular, when k=2, XS2V∗(α)ij=αpqXipqj and X∧2V∗(α)ij=αpqXipqj=−21αpqXijpq.
For example, XS2V∗(h)=ρ(X).
For σij∈⊗2V∗, write (Symσ)ij=σ(ij) and (Skewσ)ij=σ[ij]. For X∈MC(V∗), by Lemma 4.2, X⊗2V∗(σ)=XS2V∗(Symσ)+X∧2V∗(Skewσ).
This means that if ⊗2V∗ is regarded as the orthogonal direct sum S2V∗⊕⋀2V∗ via σij=σ(ij)+σ[ij], then X⊗2V∗=XS2V∗⊕X∧2V∗ is an orthogonal direct sum too.
Example 1**.**
Because h\owedgeh∈MC(V∗) satisfies g⋅(h\owedgeh)=h\owedgeh for g∈O(h), when W is an irreducible O(n)-submodule preserved by h\owedgeh, it follows from Lemma 4.2 and the Schur lemma that h\owedgehW is a constant multiple of IdW. For example, h\owedgeh∧2V∗=−Id∧2V∗.
Transferring the canonical isomorphisms End(⋀2V∗)≃⋀2V∗⊗(⋀2V∗)∗ and End(S2V∗)≃S2V∗⊗(S2V∗)∗ via metric duality yields linear isomorphisms
[TABLE]
defined by sending Ψ∈⊗2(⋀2V∗) to Ψ♯(α)ij=Ψijpqαpq and Φ∈⊗2(S2V∗) to Φ♯(σ)ij=Φijpqσpq.
Note that, for X∈MC(V∗), the tensor identified in this way with X∧2V∗ is −21Xijkl. Said otherwise, for X viewed as an element of S2(⋀2V∗), X♯=−2X∧2V∗.
Lemma 4.3**.**
Let (V,h) be a Euclidean vector space.
For Ψ∈⊗2(⋀2V∗) and Φ∈⊗2(S2V∗), trΨ♯=Ψpqpq and trΦ♯=Φpqpq.
Proof.
For an orthonormal basis {Ei(1),…,Ei(n)} of V∗, {21E(a)∧E(b):1≤a<b≤n} is an orthonormal basis of ⋀2V∗ and {2E(a)⊙E(b):1≤a<b≤n}∪{E(a)⊙E(a):1≤a≤n} is an orthonormal basis of S2V∗ so
[TABLE]
For example, Lemma 4.3 implies that trX∧2V∗=21s(X) for X∈MC(V∗).
When MC(V∗) preserves W⊂⊗kV∗, Lemma 4.2 does not affirm that the linear map X→XW is injective. From (4.5) it is apparent that this is true if and only if {ϱ(α,β):α,β∈W} spans MC(V∗).
Corollary 4.4 shows that X→X∧2V∗ and X→XS2V∗ are injective.
It is used in the proof of Theorem 1.2.
Note that viewing X∈MC(V∗) as an element of T(S2(S2V∗)) yields T−1(X)♯=−32XS2V∗.
Corollary 4.4**.**
Let (V,h) be an n-dimensional Euclidean vector space. For X,Y∈MC(V∗),
[TABLE]
The O(n)-equivariant linear maps MC(V∗)→Sym(⋀2V∗), MC(V∗)→Sym(S2V∗), and MC(V∗)→Sym(⊗2V∗) given by X→2X∧2V∗=−X♯, X→32XS2V∗=−T−1(X)♯, and X→X⊗2V∗ are isometric with respect to the trace-norms on Sym(⋀2V∗), Sym(S2V∗), and Sym(⊗2V∗) and injective.
Proof.
Via ♯, the endomorphisms X∧2V∗∘Y∧2V∗ and XS2V∗∘YS2V∗ are identified with the tensors 41XklpqYpqij∈⊗2(⋀2V∗) and Xk(pq)lYi(pq)j∈⊗2(S2V∗), so (4.8) follows from Lemma 4.3 and Xi(jk)lYi(jk)l=43⟨X,Y⟩.
The injectivity follows from the nondegeneracy of the pairing ⟨⋅,⋅⟩.
∎
5. Algebra structures on the space of metric curvature tensors
This section defines the multiplication ∗ and derives its basic properties.
The injectivity of ⋅∧2V∗ and ⋅S2V∗ shown in Corollary 4.4 means that commutative algebra structures ∗A and ∗S on MC(V∗) can be constructed as follows. By the injectivity there are unique X∗AY∈MC(V∗) and X∗SY∈MC(V∗) such that (X∗AY)♯=−2X∗AY∧2V∗ equals the orthogonal projection on MC(V∗)∧2V∗ of the Jordan product (−2X∧2V∗)⊚(−2Y∧2V∗)=X♯⊚Y♯∈Sym(⋀2V∗) and T−1(X∗SY)♯=−32X∗SYS2V∗ equals the orthogonal projection on MC(V∗)S2V∗ of the Jordan product (−32XS2V∗)⊚(−32YS2V∗)=(T−1(X)♯⊚T−1(Y)♯∈Sym(S2V∗)). More precisely:
[TABLE]
where ♭ is the inverse of ♯
Lemma 5.1**.**
Let (V,h) be a metric vector space.
For X,Y∈MC(V∗), the commutative multiplications ∗A and ∗S on MC(V∗) are given by
[TABLE]
The Ricci and scalar traces are
[TABLE]
Proof.
Each of (5.2) and (5.3) is just a matter of unraveling the notation in (5.1).
Straightforward computations using (5.2) and (5.3) show (5.4).
∎
Lemma 5.2**.**
Let (V,h) be a metric vector space. For s,t∈R and ∗s,t=s∗A+t∗S, the commutative algebra (MC(V∗),∗s,t) is metrized by ⟨⋅,⋅⟩ and O(h) acts on it by isometric algebra automorphisms.
Proof.
By (5.1), Lemma 4.4, and using Z♯=−2Z∧2V∗ and T−1(Z)♯=−32ZS2V∗,
[TABLE]
The right-hand sides of (5.5) are completely symmetric in X, Y, and Z, and this shows the invariance with respect to ⟨⋅,⋅⟩ of ∗A and ∗S and so also of any linear combination s∗A+t∗S.
That O(h) acts on (MC(V∗),∗s,t) by isometric algebra automorphisms follows from the manifest O(h) invariance of the construction of ∗A and ∗S.
∎
Because rescaling the multiplication of a commutative algebra yields an isomorphic algebra, the products ∗s,t are best viewed as parameterized by [s,t]∈P(R).
For X,Y∈MC(V∗) define Bijkl=B(X,Y)ijkl∈S2(⊗2V∗) by
Let (V,h) be a metric vector space.
For X,Y∈MC(V∗), the commutative multiplications ∗A and ∗S on MC(V∗) are given by
[TABLE]
Proof.
That Bijkl is contained in S2(⊗2V∗) is equivalent to the symmetry Bklij=Bijkl, that is apparent from (5.7). There holds
[TABLE]
Hence 2B[ij]kl=Bijkl−Bjikl=Bijkl−Bijlk=2Bij[kl]. It follows that 2B[ij][kl]=Bij[kl]−Bji[kl]=B[ij]kl−B[ji]kl=2B[ij]kl.
This means that B[ij]kl=B[ij][kl]=Bij[kl] is the orthogonal projection of Bijkl onto S2(⋀2V∗). It follows that Bij(kl)=B(ij)kl=B(ij)(kl)=B(kl)(ij) is the orthogonal projection of Bijkl onto S2(S2V∗).
From the second equality of (5.7) it follows that (X∗AY)ijkl and (X∗SY)ijkl are given by applying −2M to B[ij]kl and −32T∘S to B(ij)kl, respectively, and so doing yields the first equalities of (5.8) and (5.9). The second equalities of (5.2) and (5.9) follow from 3B[ijkl]=B[ij]kl+Bk[ij]l−B[i∣k∣j]l.
∎
Since, by Lemma 4.2, the operator X preserves type, if X,Y∈MC(V∗) then X(Y),Y(X)∈MC(V∗). Theorem 5.4 shows that, remarkably, X(Y)=Y(X), so that a commutative multiplication of curvature tensors can be defined by X∗Y=X(Y), and , moreover, ∗=23(∗A+∗S).
Theorem 5.4**.**
Let (V,h) be a metric vector space.
The bilinear map ∗:MC(V∗)×MC(V∗)→MC(V∗) defined by X∗Y=X(Y) for X,Y∈MC(V∗) is O(h)-equivariant and symmetric, so determines a commutative algebra structure ∗ on MC(V∗) metrized by the pairing ⟨⋅,⋅⟩ given by complete contraction with h and on which O(h) acts by algebra automorphisms.
Moreover, ∗=23(∗A+∗S) and ∗ equals that multiplication given by polarizing the quadratic term of the expression (1.2) for the evolution of the curvature tensor under the Ricci flow.
Proof.
Evaluation of X(Y)ijkl using (4.4) and ϱ(X,Y)ijkl using (4.2) and (4.3) yields
[TABLE]
which is evidently symmetric in X and Y, showing that X∗Y=X(Y)=Y(X)=Y∗X.
By Lemma 4.2, Y is self-adjoint, so, for X,Y,Z∈MC(V∗),
[TABLE]
This shows the complete symmetry of ⟨X∗Y,Z⟩.
That O(h) acts by algebra automorphisms follows from (5.11) and the O(h)-equivariance of ϱ established in Lemma 4.1.
From the symmetries of Bijkl=B(X,Y)ijkl it follows that
That ∗=23(∗A+∗S) follows from (5.8), (5.9), and (5.14). By [18, section 7] the polarization of the quadratic term of the expression (1.2) for the evolution of the curvature tensor under the Ricci flow equals the right-hand side of (5.14).
∎
Remark 4**.**
It is not self-evident that the right-hand side of (5.14) determines an element of MC(V∗). Here this is seen as following from the construction of ∗. It also can be checked directly using the symmetries of Bijkl as in [17, 18]. The invariance of ⟨⋅,⋅⟩ with respect to ∗ is attributed to G. Huisken in [2]. The proof given here is conceptually different than the usual proofs by direct computation or as in [2, section 1]).
A metrized commutative R-algebra (A,∘,h) is determined up to isometric isomorphism by the O(h)-orbit of the associated homogeneous cubic polynomial, P(A,∘)(x)=(1/6)h(x∘x,x), because P and the metric h determine the multiplication ∘ via polarization.
Corollary 5.5**.**
The cubic polynomial of (MC(V∗),∗) has the form
[TABLE]
Proof.
This follows from (5.5) in conjunction with Theorem 5.4.
∎
Lemma 5.6**.**
Let (V,h) be a metric vector space. For X,Y∈MC(V∗),
[TABLE]
In particular, the subspace MCW(V∗)=kerρ⊂MC(V∗) is a subalgebra of (MC(V∗),∗).
Proof.
The identities (5.16) are immediate from (5.4) and Theorem 5.4.
∎
Lemma 5.7**.**
Let (V,h) be a Euclidean vector space.
(1)
(Due to **[32]**) For all X∈MC(V∗), s(X∗X)≥0 with equality if and only if X∈MCW(V∗).
2. (2)
If X∈MC(V∗) is such that XS2V∗ is nonnegative, then s((X∗X)∗X)≥0, with equality if and only if ρ(X)∈kerXS2V∗.
3. (3)
If Y∈MCW(V∗), then s((X∗Y)∗Z−X∗(Y∗Z))=0 for all X,Z∈MC(V∗).
Proof.
If X∈MC(V∗) satisfies s(X∗X)=0, then, by (5.16), 0=s(X∗X)=∣ρ(X)∣2, so ρ(X)=0 and X∈MCW(V∗). By (5.16), s((X∗X)∗X)=⟨XS2V∗(ρ(X)),ρ(X)⟩, from which (2) follows. From (5.16) and the self-adjointness of XS2V∗ and ZS2V∗ it follows that 2s((X∗Y)∗Z−X∗(Y∗Z))=⟨XS2V∗(ρ(Z))−ZS2V∗(ρ(X)),ρ(Y)⟩ for all X,Y,Z∈MC(V∗). Claim (3) follows.
∎
In particular, Lemma 5.7 shows that, in Euclidean signature, if X∗X=0 then X∈MCW(V∗). That is, a square-zero element of (MC(V∗),∗) must be contained in MCW(V∗).
The first claim of Lemma 5.7 is an example of a claim that depends on the assumption that h have definite signature. In other signatures the same proof shows only that ρ(X) is null.
Lemma 5.8**.**
Let (V,h) be a Euclidean vector space and let Π∈End(V) be the h-orthogonal projection onto the subspace W⊂V. The linear map ι:⊗4W∗→⊗4V∗ defined by ι(X)(A,B,C,D)=X(ΠA,ΠB,ΠC,ΠD) restricts to an injective algebra homomorphism that maps (MC(W∗),∗) into (MC(V∗),∗) and (MCW(W∗),∗) into (MCW(V∗),∗).
Proof.
Straightforward calculations show that B(ι(X),ι(Y))=ι(B(X,Y)) for X,Y∈MC(W). Since ι:⊗4W∗→⊗4V∗ commutes with permutations of the factors, this suffices to show ι(X)∗ι(Y)=ι(X∗Y) for X,Y∈MC(W∗). Similarly, ρ(ι(X))=ι(ρ(X)) (where ι is defined on ⊗2W) and so ι(MCW(W∗))⊂MCW(V∗).
∎
Remark 5**.**
As commented in Remark 1, there is no purely algebraic reason to prefer ∗ to its pullback ∗t via rescaling by t∈R×, as these algebras are isomorphic. In particular there is no algebraic reason to prefer ∗ to −∗=∗−1. However there are at least three aesthetic and geometric reasons for preferring ∗ to −∗:
•
(geometric) By Lemma 7.7, a positive multiple of the curvature tensor of the round metric on the sphere is an ∗-idempotent.
•
(aesthetic) By Lemma 5.7, the scalar curvature of an ∗-square is nonnegative. (Morally, squares should be positive.)
•
(aesthetic) For the induced curvature operator on MC(V∗), X∗Y=XMC(V∗)(Y).
When comparing with the literature, care has to be taken. For example that some signs in [32] at first glance appear inconsistent with those here is because [32] works directly with curvature operators, essentially with what is here called X∧2V∗, which is the image under the map here called ♯ of the tensor −21Xijkl, whereas here results are stated directly in terms of the tensor Xijkl.
6. Calculation of products in (MC(V∗),∗)
There are two ways to construct curvature tensors from simpler objects, a commutative product \owedge of symmetric two-tensors and a commutative product ⋅ of antisymmetric two-tensors. Lemma 6.1 records the ∗ products of curvature tensors obtained in these ways. They are used later in the construction of idempotents in (MCW(V∗),∗). Although the full strength of these computations is not needed in this paper, their proofs illustrate the use of ∗A and ∗S in the computation of ∗.
By straightforward computations using (4.2), Lemma 4.1, and (4.1),
[TABLE]
defines a symmetric bilinear map \owedge:S2(V∗)×S2(V∗)→MC(V∗). When k=2, \owedge is half what is usually called the Kulkarni-Nomizu product.
Again by (4.2), for α,β∈⋀2V∗, π(α,β)ijkl=21(αk[iβj]l−αl[iβj]k), so that, by Lemma 4.1, an O(h)-equivariant symmetric bilinear map ⋅:⋀2(V∗)×⋀2(V∗)→MC(V∗) is defined by
[TABLE]
For a commutative algebra (A,∘) define
[TABLE]
For a Jordan algebra, Q∘(x) is what is usually called the quadratic representation [23, 24]. For the special case of α,β,γ∈⊗2V∗,
[TABLE]
The following identities relate Q⊚ with ⊚ and [⋅,⋅].
[TABLE]
Define tr:SkV∗→Sk−2V∗ by tr(ω)i1…ik−2=ωi1…ik−2pp.
For α∈⊗2V∗, let α♯=⟨α,⋅⟩∈⊗2V, so that, in the notation of (4.6), 2(α⊙β)♯=α⊗β♯+β⊗α♯, where ⊙ is the symmetrized tensor product of elements of ⊗2V∗. From the definitions there follow
[TABLE]
By (4.5), (6.1), and (6.2), for X∈MC(V∗), γ,σ∈S2V∗, and α,β∈⋀2V∗,
By (5.1), applying −2M to (6.21) and −32T∘S to (6.22), and using (6.2) and (6.14)-(6.17) with σ=α⊚β and τ=[α,β] to simplify the results yields
[TABLE]
Using ∗=23(∗A+∗S) and (6.23) to evaluate (α\owedgeα)∗(β\owedgeβ) yields
[TABLE]
Polarizing (6.24) first in α then in β yields (6.18).
For α∈⋀2V∗ and γ∈S2V∗, by (6.7), (6.8), (6.6), and (6.5),
[TABLE]
By (5.1), applying −2M to (6.25) and −32T∘S to (6.26) and using (6.2), (6.1), and
(6.14)-(6.17) with σ=[α,γ] and τ=α⊚γ to simplify the results yields
[TABLE]
Using ∗=23(∗A+∗S) and(6.27) to evaluate (α⋅α)∗(γ\owedgeγ) yields
[TABLE]
Polarizing (6.28) first in α then in γ yields (6.19).
The identities (6.33) and (6.34) suggest that, with further conditions on α and β, ∗-idempotents can be constructed from α\owedgeα, β\owedgeβ, and α\owedgeβ. This is shown to be the case in Lemma 7.3.
Similarly, taking α=β=γ=σ∈⋀2V∗ in (6.20) yields
[TABLE]
The identity (6.35) suggests that with some further condition on α, the element α⋅α, or its trace-free part tf(α⋅α) might be a ∗-idempotent. Corollary 7.4 and Lemma 10.1 shows that this works. In this regard see also Lemma 7.2 which uses (6.32) and (6.35) to construct square-zero elements in (MCW(V∗),∗) when h has indefinite signature.
7. Simplicity of (MCW(V∗),∗) and fusion rules for (MC(V∗),∗)
Lemma 5.6 shows that the Weyl curvature tensors constitute a subalgebra of (MC(V∗),∗). The first part of the section is dedicated to constructing idempotents in (MCW(V∗),∗). This is used in the proof of Theorem 1.1 and to show the nontriviality of the subalgebra (MCW(V∗),∗), which in turn yields Corollary 7.5 showing the simplicity of (MCW(V∗),∗) when dimV>4, but is also interesting in its own right, as experience with Jordan and axial algebras suggests that detailed information about idempotents and the spectra of their multiplication endomorphisms is useful for understanding the internal structure of an algebra such as (MCW(V∗),∗).
Next there are deduced explicit formulas for products in (MC(V∗),∗) and these are used to deduce the main result of this section, Theorem 7.11, that describes the interaction of the subspaces MCS(V∗), MCR(V∗), and MCW(V∗) with respect to ∗.
Lemma 7.1**.**
Let (V,h) be an n-dimensional Euclidean vector space.
For an O(n)-module of tensors W, let tf∈End(W) denote the orthogonal projection onto the O(n)-submodule W0⊂W comprising trace-free elements.
Define S02(V∗)={α∈S2(V∗):trα=0}, MCR(V∗)={h\owedgeα:α∈S02(V∗)}⊂MC(V∗), and MCS(V∗)=Span{h\owedgeh}⊂MC(V∗). The orthogonal projections PR,PS∈End(MC(V∗)) on MCR(V∗) and MCS(V∗) are given by
[TABLE]
where ρ∘(X)=ρ(X)−n1s(X)h, and the trace-free part tf(X) of X∈MC(V∗) is given by
[TABLE]
Proof.
For α,β∈S2(V∗), computations using the definitions show
[TABLE]
When n>2, MC(V∗)=MCW(V∗)⊕MCR(V∗)⊕MCS(V∗) is an orthogonal decomposition into irreducible O(n)-modules (although MCW(V∗) is trivial if dimV=3).
By (7.4), if n>2, the map α→h\owedgeα is a linear isomorphism from S02(V∗) onto its image in MC(V∗), which is MCR(V∗). The expressions (7.1) and (7.2) follow from (7.4) and (7.5).
∎
Example 2**.**
For α,β∈S2V∗, taking X=α\owedgeβ in (7.2) and using (7.3) yields
Since, by (6.9), ⟨X,h\owedgeh⟩=−2s(X) for any X∈MC(V∗), by (7.7) there holds ⟨α⋅β,h\owedgeh⟩=6⟨α,β⟩.
Alternatively, this is a special case of (6.10) or a special case of (6.13).
Lemma 7.2**.**
Let (V,h) be a metric vector space of dimension n>3. If h has indefinite signature with minimal inertial index k≥1, then (MCW(V∗),∗) is spanned by square-zero elements and contains a trivial subalgebra of dimension n−2k−1.
Proof.
By assumption there are a nonzero h-isotropic w∈V∗ and a unimodular h-orthogonal basis {z(α):0≤α≤n−2k−1} of a codimension 2k subspace of V∗ orthogonal to w and on which h has definite signature. Concretely, there is ϵ∈{±1} such that h(w,z(α))=0 and h(z(α),z(α))=ϵ for 0≤α≤n−2k−1. For 1≤α≤n−2k−1, the tensor Z(α)=(w∧z(0))⋅(w∧z(0))−(w∧z(α))⋅(w∧z(α)) is nontrivial. Suppose 1≤α<β≤n−2k−1. Because (w∧z(α))∘(w∧z(α))=−ϵw⊗w=(w∧z(β))⊗(w∧z(β)), by (7.7), ρ(Z(α))=0, so Z(α)∈MCW(V∗). Because (w∧z(α))∘(w∧z(α))∘(w∧z(α))=0 and (w⊗w)\owedge(w⊗w)=0, by (6.35), ((w∧z(α))⊗(w∧z(α)))∗((w∧z(α))⊗(w∧z(α)))=0=((w∧z(β))⊗(w∧z(β)))∗((w∧z(β))⊗(w∧z(β))), and, because (w∧z(α))∘(w∧z(β))=0,by (6.32), ((w∧z(α))⊗(w∧z(α)))∗((w∧z(β))⊗(w∧z(β)))=0, so Z(α)∗Z(α)=0 and Z(α)∗Z(β)=0. It follows that Span{Z(α):1≤α≤n−2k−1} is a trivial subalgebra of (MCW(V∗),∗).
Since (MCW(V∗),∗) contains a nonzero square-zero element Z, the span of the O(h)-orbit of Z is a nontrivial O(h)-invariant subspace of the irreducible O(h)-module MCW(V∗), so equals MCW(V∗), and hence MCW(V∗) is spanned by square-zero elements.
∎
Let Idem(A,∘) denote the set of idempotent elements in the algebra (A,∘). Two idempotents e,f∈Idem(A,∘) are orthogonal if e∘f=0=f∘e.
If α∈Idem(S2V∗,⊚), then trα=∣α∣2 is the rank of the orthogonal proejction αij, so trα is said to be the rank of α. If α,β∈Idem(S2V∗,⊚) are orthogonal idempotents, then α∘β=0=β∘α, for α∘β=α∘α∘β∘β=β∘β∘α∘α=β∘α=−α∘β.
Lemma 7.3**.**
Let (V,h) be an n-dimensional Euclidean vector space. For orthogonal idempotents α,β∈Idem(S2V∗,⊚) with a=trα and b=b there hold
[TABLE]
Moreover, ∣β\owedgeβ∣2=2(b−1)b, so β\owedgeβ=0 if and only if b=1. In this case 1−b1β\owedgeβ∈Idem(MC(V∗),∗). If a=1 and b=1, then 1−b1β\owedgeβ and 1−a1α\owedgeα are orthogonal idempotents in (MC(V∗),∗).
Proof.
That ∣β\owedgeβ∣2=2(b−1)b follows from (6.12). (Note that b=1 if and only if β=u⊗u for a unit norm u∈V∗, in which case β\owedgeβ=0.)
Specializing (6.18), (6.33), and (6.34) yields (7.9) and the remaining claims.
∎
Corollary 7.4**.**
Let (V,h) be a Euclidean vector space of dimension n>2. If orthogonal idempotents α,β∈Idem(S2V∗,⊚) satisfy a=trα=1 and b=trβ=1, then
[TABLE]
is an idempotent in (MCW(V∗),∗) satisfying ∣B(α,β)∣2=(a+b−1)(a−1)(b−1)2(a+b−2)ab.
In particular, if b∈/{1,n−1}, β^=h−β, and b^=trβ^ then
[TABLE]
is an idempotent in (MCW(V∗),∗) satisfying ∣B(β)∣2=(n−1)(n−1−b)(b−1)2(n−2)(n−b)b.
Proof.
That B(α,β) defined by the first equality of (7.11) is an idempotent follows from (7.9). That ρ(B(α,β))=0 follows from (7.3).
The claimed value of ∣B(α,β)∣2 follows from (7.10) and (6.12) by straightforward computations.
Because (h−β)∘β=0 and tr(h−β)=n−trβ, that (7.11) is an idempotent in (MCW(V∗),∗) with ∣B(β)∣2 having the claimed value is a special case of the preceding.
The first equality of (7.11) follows upon substituting β^=h−β in (7.10). Specializing (7.6) yields the second equality of (7.11). Finally, tf(β\owedgeβ)=tf(β^\owedgeβ^) because β^\owedgeβ^=β\owedgeβ+(h−2β)\owedgeh.
∎
Corollary 7.5**.**
Let (V,h) be an n-dimensional Euclidean vector space.
If n>3, then MCW(V∗)∗MCW(V∗)=MCW(V∗), and if n>4, then (MCW(V∗),∗) is a simple algebra.
Proof.
By Lemma 5.6, MCW(V∗) is a subalgebra of (MC(V∗),∗). Let x,y∈V∗ be orthogonal unit norm vectors.
Because β=x⊗x+y⊗y satisfies β∘β=β and trβ=2, by Corollary 7.4, ∣B(β)∣2=(n−1)(n−3)4(n−2)2=0, so B(β) is a nontrivial idempotent in (MCW(V∗),∗). If n>3, this shows (MCW(V∗),∗) is a nontrivial algebra and MCW(V∗)∗MCW(V∗) is a nontrivial O(n)-submodule of the irreducible O(n)-module MCW(V∗), so must equal MCW(V∗). If n>4, SO(n) acts on (MCW(V∗),∗) irreducibly by automorphisms, so, by Theorem 3.1, (MCW(V∗),∗) is simple.
∎
Lemma 7.6**.**
Let (V,h) be a metric vector space. For X∈MC(V∗) and α∈S2(V∗),
[TABLE]
Proof.
For α∈S2V∗ and X,Y∈MC(V∗),
[TABLE]
the first equality by the invariance of ⟨⋅,⋅⟩,
the second equality by (6.9),
the third and fourth equalities because Z(h)=ρ(Z) for any Z∈MC(V∗),
the fifth equality again by (6.9),
and the last equality by (5.16). By the nondegeneracy of ⟨⋅,⋅⟩, (7.13) implies the first equality of (7.12). Because X(h)=ρ(X), taking α=h in the first equality of (7.12) yields its second equality.
∎
Lemma 7.7**.**
Let (V,h) be an n-dimensional metric vector space. For α,β∈S2(V∗),
[TABLE]
Proof.
Taking X=β\owedgeh in (7.12) and simplifying using (7.4) and (6.6) yields (7.14), and (7.15) and (7.16) are special cases of (7.14). Alternatively, (7.14)-(7.16) are special cases of (6.18).
∎
Lemma 7.8**.**
Let (V,h) be a Euclidean vector space of dimension n≥4.
Let
[TABLE]
Then MCW(V∗)=W1=W2=W3=W4.
Proof.
By (7.3) and (7.7), W2,W4⊂MCW(V∗).
By (6.11) and (6.12), ∣(x⊙y)\owedge(z⊙w)∣2=1/4 and ∣(x∧y)⋅(z∧w)∣2=12, so W1 and W3 are nontrivial. If x,y,z,w are pairwise orthogonal, then x⊙y,z⊙w∈S02V∗ satisfy (x⊙y)∘(z⊙w)=0, so W1⊂W2, and x∧y,z∧w∈⋀2V∗ satisfy (x∧y)∘(z∧w)=0, so W3⊂W4. Since W1 and W3 are nontrivial O(n)-submodules of the O(n)-irreducible module MCW(V∗), they equal MCW(V∗).
∎
Theorem 7.9**.**
Let (V,h) be a Euclidean vector space of dimension n≥4. If X∈MC(V∗) satisfies X∗Y=0 for all Y∈MC(V∗), then X=0.
Proof.
Because X∗Y=XMC(V∗)(Y), an equivalent claim is that the map ⋅MC(V∗):MC(V∗)→End(MC(V∗)) is injective. If X∗Y=0 for all Y∈MC(V∗), then 0=⟨X∗Y,Z⟩=⟨X,Y∗Z⟩ for all Y,Z∈MC(V∗). With Y=Z=h\owedgeh, by (7.16) and (6.9) this yields 0=⟨X,h\owedgeh⟩=−2s(X). Taking Y=h\owedgeh and Z=α\owedgeh for α∈S02V∗, by (7.15) and (6.9) this yields 0=2⟨X,(h\owedgeh)∗(α\owedgeh)⟩=(2−n)⟨X,α\owedgeh⟩=2(n−2)⟨X(h),α⟩=2(n−2)⟨ρ∘(X),α⟩. Since α∈S02V∗ is arbitrary, this shows ρ(X)=0, so X∈MCW(V∗). Finally, if α,β∈S02V∗, then, by (7.14) and the preceding, 0=4⟨X,(α\owedgeh)∗(β\owedgeh)⟩=(2−n)⟨X,α\owedgeβ⟩. Because the set W2 of Lemma 7.8 spans MCW(V∗), this shows that X is orthogonal to MCW(V∗), so X=0.
∎
Lemma 7.10**.**
Let (V,h) be an n-dimensional Euclidean vector space. The projections onto the O(h)-irreducible summands of MC(V∗) of X,Y∈MC(V∗) satisfy
[TABLE]
Proof.
The identities (7.18)-(7.20) follow from (7.12), (7.15), and (7.16) and the definitions (7.1) of PR and PS. By (7.1) and (7.12), tf(X)∗PR(Y)=2−n1tf(X)(ρ∘(Y))\owedgeh. By (5.16), 2ρ(tf(X)∗Y)=tf(X)(ρ(Y))=tf(X)(ρ∘(Y)), the last equality because tf(X)(h)=ρ(tf(X))=0. Combining the preceding observations yields (7.21). Finally, (7.22) follows straightforwardly from (7.14), using ρ∘(ρ∘(X)\owedgeρ∘(Y))=tf(ρ∘(X)⊚ρ∘(Y)) and s(ρ∘(X)\owedgeρ∘(Y))=⟨ρ∘(X),ρ∘(Y)⟩.
∎
An irreducible O(n)-submodule of ⊗kV∗ comprises the completely trace-free tensors of a given type (this statement is false for even k=n if O(n) is replaced by SO(n)). By Lemma 4.2, if G⊂O(n) is a Lie subgroup and U⊂MC(V∗) and W⊂⊗kV∗ are G-submodules, then U(W) is a G-submodule of ⊗kV∗, for if g∈O(n), X∈U, and Y∈W, g⋅X(Y)=g⋅X(g⋅Y)∈U(W). In particular, because X preserves type, if U1,U2⊂MC(V∗) are G-submodules, then U1(U2) is a G-submodule of MC(V∗).
By Theorem 5.4, U2(U1)=U2∗U1=U1∗U2=U1(U2). For example, Corollary 7.5 shows that U(U)=U∗U=U for U=MCW(V∗). Theorem 7.11 describes completely the submodules U1∗U2 for U1,U2 among the O(n)-irreducible summands of MC(V∗).
Theorem 7.11**.**
Let (V,h) be an n-dimensional Euclidean vector space.
The products of the O(n)-irreducible submodules of MC(V∗) satisfy:
[TABLE]
Proof.
The containments in (7.23)-(7.27) of subspaces are consequences of polarizing (7.18)-(7.22). The equalities require further justification. The product (7.25) is immediate from (7.20). By (7.15), multiplication by h\owedgeh, which spans MCS(V∗), is invertible on MCR(V∗) when n>2 and on MCS(V∗) when n>1, and this suffices to show the equalities (7.23) and (7.24).
Let α∈S2(V∗). If X∈MCW(V∗), then trX(α)=⟨ρ(X),α⟩=0, so, by (7.12), 2X∗(α\owedgeh)=X(α)\owedgeh∈MCR(V∗).
This shows the containment of O(n)-modules, MCW(V∗)∗MCR(V∗)⊂MCR(V∗). By the irreducibility of MCR(V∗), to show equality it suffices to exhibit a nonzero element of MCW(V∗)∗MCR(V∗). Let u,v∈V be such that ∣u∣2=2=∣v∣2 and ⟨u,v⟩=0. Then α=u⊙v∈S02V∗ satisfies ∣α∣2=2, 2α∘α=u⊗u+v⊗v, ⟨α,α∘α⟩=0, and α∘α∘α=α. From these and −4α\owedgeα=(u∧v)⊗(u∧v) there follow ρ(α\owedgeα)=α∘α, ∣ρ(α\owedgeα)∣2=2, ∣ρ∘(α\owedgeα)∣2=n2(n−2), and s(α\owedgeα)=∣α∣2=2.
By (7.6), tf(α\owedgeα)=α\owedgeα+n−22(α∘α)\owedgeh−(n−2)(n−1)1∣α∣2h\owedgeh, and by (6.6) and the preceding observations,
tf(α\owedgeα)S2V∗(α)=−n−1n−3α, so, by (7.12),
[TABLE]
which shows that MCW(V∗)∗MCR(V∗) is nontrivial if n>3 and so proves the equality in (7.26).
Suppose dimV∗>3. Let x,y,z,w∈V∗ be pairwise orthogonal unit norm vectors. Then α=x⊙y and β=z⊙w are in S02V∗, so α\owedgeh,β\owedgeh∈MCR(V∗). Because α⊚β=0 and ⟨α,β⟩=0, by (7.14), 4(α\owedgeh)∗(β\owedgeh)=(2−n)α\owedgeβ. By (7.3), ρ(α\owedgeβ)=0, so 4(α\owedgeh)∗(β\owedgeh)=(2−n)α\owedgeβ∈MCW(V∗). Since, by Lemma 7.8, MCW(V∗) is spanned by elements of the form α\owedgeβ, this shows the equality in (7.27). The equality (7.28) is Corollary 7.5.
∎
Remark 7**.**
Lemma 7.10 and Theorem 7.11 give fusion rules (in the sense of [16]) for (MC(V∗),∗). Precisely, for the idempotent H=1−n1h\owedgeh, the subspaces MCS(V∗), MCR(V∗), and MCW(V∗) are the eigenspaces of L∗(H) with eigenvalues 1, 2(n−1)n−2, and [math]. Lemma 7.10 shows that their products satisfy the fusion rule ⋆:Φ×Φ→2Φ indicated in Table 1, where Φ={1,2(n−1)n−2,0}. A subset of Φ indicates the sum of the eigenspaces corresponding to this subset and an entry in the table means that the ∗ product of the eigenspaces corresponding with α,β∈Φ is contained in the sum of the eigenspaces corresponding with elements of α⋆β.
Note that Theorem 7.11 gives more information than does Table 1 because it asserts the equalities of the products of subspaces, rather than mere containment relations.
As an application of Lemma 7.10 there is given a simple proof of [2, Theorem 2].
For α,β∈R define an O(n)-equivariant endomorphism Φα,β∈End(MC(V∗)) by
[TABLE]
For example, (7.22) can be rewritten as (2−n)PR(X)∗PR(X)=Φ2−n,2(ρ∘(X)\owedgeρ∘(X)).
Note that Φ1,1=IdMC(V∗). Because Φα,β∘Φαˉ,βˉ=Φααˉ,ββˉ, Φα,β is invertible if and only if α=0 and β=0, in which case Φα,β−1=Φα−1,β−1. If α=1+2(n−1)a and β=1+(n−2)b, then Φα,β equals the endomorphism called la,b introduced by C. Böhm and B. Wilking in [2]. The reason for working with the parameters α and β is that the map (α,β)∈R××R×→Φα,β∈End(MC(V∗)) is an injective group homomorphism.
The key point of Theorem 7.12 for its applications is that (7.31) does not depend on tf(X).
Theorem 7.12** (C. Böhm and B. Wilking [2, Theorem 2]).**
Let (V,h) be an n-dimensional Euclidean vector space. If α,β∈R∖{0} and Dα,β(X)=Φα,β−1(Φα,β(X)∗Φα,β(X))−X∗X, where Φα,β∈End(MC(V∗)) is defined in (7.30), then
[TABLE]
Proof.
Straightforward calculations using (7.18)-(7.22) yield
[TABLE]
The special case α=1=β yields
[TABLE]
Combining (7.32) and (7.33) yields (7.31).
After rewriting (7.31) in terms of the parameters a and b and a bit of computation it can be seen that (7.31) recovers the conclusion of [2, Theorem 2].
∎
8. Characterization of (MC(V∗),∗) when dimV=3
If dimV=2, the 1-dimensional algebra (MC(V∗),∗) is generated by h\owedgeh and, by (7.16), it is isomorphic to the field R of real numbers by the map sending −h\owedgeh to 1∈R. This section identifies (MC(V∗),∗) in a similarly explicit manner when (V,h) is a 3-dimensional Euclidean vector space. Pulling the multiplication ∗ back via an O(3)-equivariant linear isomorphisms Ψ:S2V∗→MC(V∗) yields an O(3)-equivariant commutative multiplication ⋄ on S2V∗. By Lemma 8.1, requiring that the associated map α∈S2V∗→2Ψ(α)∧2V∗∈Sym(⋀2V∗,⟨⋅,⋅⟩) be a Jordan algebra isomorphism determines Ψ uniquely and this determines a standard model (S2V∗,⋄) of (MC(V∗),∗) realizing it as a deformation of Jordan product ⊚ on S2V∗ by terms built from the metric and the trace. Most of the section is devoted to formulating and proving Theorem 8.4 which specifies algebraic conditions that characterize the resulting algebra (S2V∗,⋄) up to isomorphism.
Because S2V∗=S02V∗⊕Span{h} and MC(V∗)=MCR(V∗)⊕MCS(V∗) are decompositions into O(3)-irreducible submodules, by the Schur Lemma the most general O(3)-equivariant linear map S2V∗→MC(V∗) has the form Ψp,τ(α)=ψp,τ(α)\owedgeh for some p,τ∈R and ψp,τ∈End(S2V∗) defined by ψp,τ(α)=p(α+3τ−1(trα)h). Because ψp,τ∘ψpˉ,τˉ=ψppˉ,ττˉ, ψp,τ is invertible if and only if pτ=0, in which case ψp,τ−1=ψp−1,τ−1, and Ψp,τ∘ψpˉ,τˉ=Ψppˉ,ττˉ.
By (7.3),
[TABLE]
so, if pτ=0,
[TABLE]
That Ψp,τ∘ψpˉ,τˉ=Ψppˉ,ττˉ means that the pullbacks of ∗ via any Ψp,τ with pτ=0 yield isomorphic algebras. Lemma 8.1 shows that certain natural conditions determine a unique choice. For its statement, observe that Ψp,τ determines a linear isomorphism S2V∗→Sym(⋀2V∗,⟨⋅,⋅⟩) by α→Ψp,τ(α)∧2V∗, so it makes sense to say that Ψp,τ maps rank one elements to rank one elements if Ψp,τ(α)∧2V∗ has rank one whenever α has rank one, where the rank of an element of S2V∗ means its rank as a bilinear form.
Lemma 8.1**.**
Let (V,h) be a 3-dimensional Euclidean vector space. For an O(3)-equivariant linear isomorphism Ψ:S2V∗→MC(V∗), the following are equivalent:
(1)
Ψ* has the form Ψ1,−1/2.*
2. (2)
Ψ* is isometric, Ψ maps h to an idempotent in (MC(V∗),∗), and Ψ(⋅)∧2V∗:S2V∗→Sym(⋀2V∗) maps rank one elements to rank one elements.*
3. (3)
2Ψ(⋅)∧2V∗:(S2V∗,⊚)→Sym(⋀2V∗,⟨⋅,⋅⟩)* is a Jordan algebra isomorphism.*
from which it follows that ⟨Ψp,μ(α),Ψp,μ(β)⟩=⟨α,β⟩ if and only if p,2τ∈{±1}. As Ψp,τ(h)=pτh\owedgeh, by (7.16), Ψp,τ(h) is idempotent in (MC(V∗),∗) if and only if moreover 2pτ=−1, in which case Ψ has the form Ψ1,−1/2 or Ψ−1,1/2.
For α∈S2V∗ define α♯∈End(V∗) by α(u)i=αipup for u∈V∗. If u,v∈V∗, then α⊚(u∧v)=21(α♯(u)∧v+u∧α♯(v)).
By (6.8), β\owedgeh∧2V∗=−L⊚(β) for β∈S2V∗, so
[TABLE]
and, hence,
[TABLE]
Let {u1,u2,u3} be an orthonormal basis of V∗ comprising eigenvectors of α♯ with respective eigenvalues μ1, μ2, and μ3. By (8.5), u2∧u3 is an eigenvector of Ψp,τ(α)∧2V∗ with eigenvalue −6p((2τ+1)(μ2+μ3)+(2τ−2)μ1) and similarly for permutations of the indices. If α has rank one, then it can be supposed that μ2=μ3=0 and μ1=0 and it results that the eigenvalues of Ψp,τ(α)∧2V∗ are −3p(τ−1)μ1 with multiplicity 1 and −6p(2τ+1)μ1 with multiplicity 2. Consequently, that Ψp,τ(α)∧2V∗ have rank one is possible if and only if τ=−1/2 and in this case Ψp,−1/2(α)∧2V∗ has rank one for any α∈S2V∗ having rank one, for any p=0. This completes the proof of the equivalence of (1) and (2).
Because dimV=3, tf(α\owedgeβ)=0 for α,β∈S2V∗, so, by (7.6),
It follows that p2Ψp,τ(⋅)∧2V∗:(S2V∗,⊚)→Sym(⋀2V∗,⟨⋅,⋅⟩) is a Jordan algebra isomorphism if and only if τ=−1/2. This shows the equivalence of (1) and (3).
∎
Lemma 8.2**.**
Let (V,h) be a 3-dimensional Euclidean vector space. The pullback of ∗ via Ψ1,−1/2 yields on S2V∗ an O(3)-invariant commutative multiplication ⋄ having the form
[TABLE]
Proof.
Let p,τ∈R satisfy pτ=0.
Write Ψ=Ψp,τ. Using (7.14), (7.15), (7.16), and (8.6) yields
Tracing (8.11) yields s(Ψ(α)∗Ψ(β))=4p2(⟨α,β⟩+(316τ2−1)(trα)(trβ)).
Substituting this and (8.11) in (8.2) shows that the pullback Ψp,τ−1(Ψp,τ(α)∗Ψp,τ(β)) equals
Let (V,h) be a 3-dimensional Euclidean vector space. The multiplication ⋄ on S2V∗ defined in (8.9) is not unital. In particular, ⋄ is not isomorphic to the Jordan product on S2V∗.
Proof.
Were α∈S2V∗ a unit, then 4h=4α⋄h=α+(trα)h. Tracing this yields trα=3, so 4h=α+3h, implying that α=h. However h is not a unit for, if β∈S02V∗, then h⋄β=41β.
∎
Remark 8**.**
If α∈S2V∗ satisfies α∘α=α and trα=1, then, by Lemma 7.3, −(h−α)\owedge(h−α) is idempotent in (MC(V∗),∗). By the proof of Lemma 7.3, α\owedgeα=0, so −(h−α)\owedge(h−α)=2α\owedgeh−h\owedgeh=Ψ1,−1/2(2α), so, by Lemma 8.2, 2α is idempotent in (S2V∗,⋄). This observation motivates formulating a characterization of (MC(V∗),∗) in terms of rank one idempotents in S2V∗.
Theorem 8.4**.**
Let (V,h) be a 3-dimensional Euclidean vector space and let O(3)=O(h). On S2V∗ there is up to algebra isomorphism a unique commutative multiplication □ satisfying:
(1)
O(3)* acts on (S2V∗,□) by algebra automorphisms.*
2. (2)
(S2V∗,□)* is metrized by an O(3)-invariant inner product.*
3. (3)
(S2V∗,□)* contains no nonzero square-zero element.*
4. (4)
There is an idempotent in (S2V∗,□) having rank one.
5. (5)
Any idempotent in (S2V∗,□) not a multiple of h has rank one.
6. (6)
For a rank one idempotent e in (S2V∗,□), 1/2 is a multiplicity 3 eigenvalue of L□(e).
The algebra (S2V∗,□) is isomorphic to (S2V∗,⋄) where ⋄ is defined in (8.9).
Proof.
Let g be an O(3)-invariant inner product on S2V∗. By the Schur Lemma, an O(3)-invariant bilinear form on S2V∗ has the form k(α,β)=A⟨α,β⟩+Btr(α)tr(β) for all α,β∈S2V∗. It is positive definite if and only if A>0 and A+3B>0. A calculation shows
[TABLE]
Taking p2=1/A and τ2=A/(A+3B) yields k(ψp,τ(α),ψp,τ(β))=⟨α,β⟩. Hence it can and will be assumed that the O(3)-invariant inner product metrizing (S2V∗,□) is ⟨⋅,⋅⟩.
Decomposing S2(S2V)⊗S2V∗ into its irreducible components, it can be seen that the most general O(3)-equivariant commutative bilinear map □:S2V∗×S2V∗→S2V∗ has the form
[TABLE]
for some r,s,t,u∈R.
Because ⟨α□β,γ⟩−⟨α,β□γ⟩=(s−t)((trα)⟨β,γ⟩−(trγ)⟨α,β⟩), the invariance of ⟨⋅,⋅⟩ with respect to □ is equivalent to t=s.
By assumption O(h) stabilizes h□h so there is c∈R such that h□h=ch. The assumption that there is no nonzero square-zero element implies c=0.
By (8.14), ch=h□h=(r+6s+3t+9u)h=(6+9s+9u)h, so r+9s+9u=c.
Suppose there is a rank one element of S2V∗ that is a □-idempotent. Then there is σ∈S2V∗ satisfying σ∘σ=σ, tr(σ)=1=∣σ∣2, and σ□σ=λσ for some λ∈R× (so the rank one idempotent is λ−1σ). For σ0=σ−31h, there holds
[TABLE]
so c+2s=λ=c+5s+3u, which imply s=(λ−c)/2 and u=−s. This shows □ has the form
[TABLE]
Pulling □ back via the dilation by c−1 yields the product □λ=□λ,1 on S2V∗ defined by
[TABLE]
This establishes that if (S2V∗,□) satisfies conditions (1)-(4), then there is λ∈R× such that (S2V∗,□) is isomorphic as an algebra to (S2V∗,□λ). For example λ=1 yields the usual Jordan algebra structure ⋄1=⊚. However, a nontrivial ⊚-idempotent can have rank 1, 2, or 3.
For an h-orthonormal basis {u1,u2,u3} of V∗, define γ=(2λ−1)(u1⊗u1+u2⊗u2)+(1−λ)(u3⊗u3). Observe that γ does not have rank 1 provided that 2λ=1 and γ is not a multiple of h provided that 3λ=2. A straightforward calculation using (8.17) shows that γ□λγ=(3λ2−3λ+1)γ. Since 3λ2−3λ+1≥1/4>0 for all λ∈R, this shows that (S2V∗,□λ) contains an idempotent that is neither rank one nor a multiple of h provided that (2λ−1)(3λ−2)=0.
Next it is shown that for λ∈{1/2,2/3} the algebra (S2V∗,□λ) contains no nonzero square-zero element and satisfies (5).
Suppose (α0+zh)□λ(α0+zh)=ϵ(α0+zh) for ϵ∈{0,1} and α0∈S02V∗ and z∈R. Separating (α0+zh)⋄(α0+zh)−ϵ(α0+zh) into its trace-free and pure trace parts yields the equations
[TABLE]
If ϵ=0 and λ>1/3, the second equation of (8.18) implies z=0 and α0=0; this shows (S2V∗,□λ) contains no nonzero square-zero element if λ∈{1/2,2/3}. Henceforth assume ϵ=1.
There are h-orthonormal u1,u2,u3∈V∗ and x1,x2∈R such that α0=x1u1⊗u1+x2u2⊗u2−(x1+x2)u3⊗u3 and ∣α0∣2=2(x12+x22+x1x2). Contracting the first equation of (8.18) with each of u1⊗u1 and u2⊗u2 yields the equations
[TABLE]
Appropriate linear combinations of the equations (8.19) yield
If x1=x2, the second equation of (8.20) yields x1((3λ−1)z−1−x1)=0, so either x1=0, in which case z∈{0,1} and γ is a multiple of h, or x1=(3λ−1)z−1. In the latter case, (8.21) yields
[TABLE]
If z=1/(3λ) there results α0+zh=λ−1u3⊗u3, which has rank 1. If z=3(3λ2−3λ+1)3λ−1 there results
[TABLE]
As observed before, this element is idempotent, but it has rank one if λ=1/2 and is a multiple of h if λ=2/3.
If x1=x2, the first equation of (8.20) yields (3λ−1)z=1−x1−x2 and the second equation of (8.20) becomes 0=(2x2+x1)(2x1+x2). Without loss of generality it can be assumed that x2=−2x1 (otherwise interchange the indices 1 and 2) in which case (3λ−1)z−1=−x1−x2=x1. As in (8.22), in (8.21) this yields
[TABLE]
If z=1/(3λ) there results x1=−1/(3λ) and x2=2/(3λ) so that α0+zh=λ−1u2⊗u2, which has rank 1. If z=3(3λ2−3λ+1)3λ−1, and λ=1/2, then z=2/3, x1=−2/3, and x2=4/3, which yields α0+zh=2u2⊗u2, which has rank one; while if λ=2/3, then z=1, x1=0, and x2=0, which yields α0+zh=h. This shows that □λ satisfies (5) for λ∈{1/2,2/3}.
For an h-orthonormal basis {u1,u2,u3} of V∗, define ei=ui⊗ui∈S2V∗ and fi∧j=2ui⊙uj∈S02V∗, where distinct indices take distinct values from {1,2,3} and i∧j is the complement of {i,j} in {1,2,3} (so 1∧2=3 and i∧(i∧j)=j). Then {ei,fi:1≤i≤3} is an orthonormal basis of S2V∗. Calculations using (8.16) show
[TABLE]
By (8.25), the basis ei, fj, fi∧j, ej+ei∧j, fi, and ej−ei∧j comprises eigenvectors of of L□λ(λ−1ei) having respective eigenvalues 1, 1/2, 1/2, 2λ1−λ, 2λλ−1, and 2λλ−1. The four values 1, 1/2, 2λ1−λ, and 2λλ−1 are pairwise distinct if λ∈/{−1,1/3,1/2}. The 1/2 eigenspace always contains fj and fi∧j, and the multiplicity of the eigenvalue 1/2 is greater than 2 if and only if (1−λ)/(2λ)=1/2, which occurs if and only if λ=1/2. The eigenvalues of L□1/2(2ei) are 1, with eigenspace spanned by ei; 1/2 with eigenspace spanned by fj, fi∧j, and ej+ei∧j; and −1/2, with eigenspace spanned by fi and ej−ei∧j. Because any rank one idempotent is in the O(3) orbit of a multiple of e1, this proves (6) and completes the proof.
∎
Remark 9**.**
That 1/2 is an eigenvalue of multiplicity at least 2 of L□λ(λ−1ei) is a consequence of the O(3)-invariance of □λ. Differentiating along a one-parameter family of rank one idempotents passing through λ−1ei shows that a vector tangent to the O(3)-orbit passing through λ−1ei is an eigenvector of L□λ(λ−1ei) with eigenvalue 1/2. The content of (6) of Theorem 8.4 is that, for λ=1/2, the 1/2 eigenspace of L□1/2(2ei) has an extra third dimension.
Remark 10**.**
The conditions in Theorem 8.4 are all necessary and serve to exclude certain particularly symmetric O(3)-invariant algebra structures on S2V∗.
As mentioned in the proof, the algebra Sym(V,h) satisfies conditions (1)-(4) of Theorem 8.4, but fails (5) (and also (6)) because it contains rank two idempotents.
Consider S2V∗ with the O(3)-invariant multiplication
[TABLE]
It can be checked that (S2V∗,×ˉ) is exact and Killing metrized with τ×ˉ=85⟨⋅,⋅⟩, so that Aut(S2V∗,×ˉ)=O(3) (modulo inconsequential scalar factors, this algebra is what is in [10] called the conformal extension of (Sym0(V,h),×)). That (S2V∗,×ˉ) contains no square-zero element can be checked directly or follows from results in [10]. However, (S2V∗,×ˉ) contains no rank one idempotent, for if σ∈S2V∗ has rank 1, then 36σ×ˉσ=6tr(σ)σ+tr(σ)2h.
As the proof of Theorem 8.4 shows, (6) excludes (S2V∗,□2/3) which is an interesting algebra because, in addition to satisfying (1)-(5), it is Killing metrized, as follows from Lemma 8.5.
Lemma 8.5**.**
Let (V,h) be a 3-dimensional Euclidean vector space. For λ∈R×, let □λ be as in (8.17).
(1)
(S2V∗,□λ)* is simple if λ∈/{1,1/3}.*
2. (2)
There holds trL□λ=25λ−1⟨h,⋅⟩. In particular, □λ is exact if and only if λ=1/5.
3. (3)
For all α,β∈S2V∗, there hold
[TABLE]
In particular, (S2V∗,□λ) is Killing metrized if and only if λ=2/3.
4. (4)
If λ=1/5, the automorphism group Aut(S2V∗,□λ) is isomorphic to SO(3) in its induced action on S2V∗.
Proof.
Suppose I⊂S2V∗ is a □λ-ideal and there are α0∈S02V∗ and z∈R such that 0=α0+zh∈I. Suppose λ∈/{1,1/3}. Then 23λ−1α0+zh=h□λ(α0+zh)∈I, so 23(1−λ)zh=h□λ(α0+zh)+21−3λ(α0+zh)∈I. If z=0 this implies h∈I. Otherwise there is 0=α0∈I∩S02V∗. As 4h□λ(α0□λα0)=2(3λ−1)α0□λα0−(λ−1)(3λ−1)∣α0∣2h, in this case, (1−λ)(3λ−1)∣α02h=4h□λ(α0□λα0)+2(1−3λ)α0□λα0∈I. Because ∣α0∣2=0, this implies h∈I. In either case, because L□λ(h) is invertible, that h∈I implies I=S2V∗. This shows (S2V∗,□λ) is simple if λ∈/{1,1/3}. (When λ=1/3, L□1/3(h) annihilates S02V∗, so h generates a proper ideal, while when λ=1, □1=⊚ and S02V∗ is a proper ideal.)
Claims (2) and (3) can be proved by straightforward though tedious calculations using (8.25). Their principal relevance here is to prove (3). An alternative approach is the following. Identify S2V0∗⊕R with S2V∗ via the map (α0,a)→α0+ah. With respect to this identification the multiplication endomorphism L□λ(α0,a) has the block form
[TABLE]
in which × is the trace-free Jordan product α0×β0=α0⊚β0−31⟨α0,β0⟩h. Claim (2) follows by tracing (8.28), while (8.27) follow by straightforward computations using (8.28) and the fact that τ×(α0,β0)=127⟨α0,β0⟩, which is proved in [10].
Suppose λ=1/5. By (3), an algebra automorphism ϕ of □λ preserves ⟨⋅,⋅⟩. By (2), 25λ−1⟨ϕ(h),⋅⟩=trL□λ(ϕ(h))=trL□λ(h)=25λ−1⟨h,⋅⟩, so ϕ(h)=h. It follows that 0=ϕ(α)□λϕ(β)−ϕ(α□λβ)=ϕ(α)⊚ϕ(β)−ϕ(α⊚β), so that ϕ is an automorphism of the Jordan algebra (S2V∗,⊚). Every automorphism of (S2V∗,⊚) is given by the action of an element of O(3) [24, Theorem VII.13]. This proves (3).
∎
Remark 11**.**
The λ=1 case of (2) and (3) of Lemma 8.5 recovers identities for the Jordan algebra (Sym(V,h),⊚) that can be found in [9, Proposition III.4.2 and Lemma VI.1.1].
Corollary 8.6 summarizes the result of combining Theorem 8.4 and Lemma 8.5 for ⋄.
Corollary 8.6**.**
Let (V,h) be a 3-dimensional Euclidean vector space. The map Ψ:(S2V∗,⋄)→(MC(V∗),∗) defined by Ψ(α)=(α−21tr(α)h)\owedgeh) is an algebra isomorphism, where the commutative multiplication ⋄ on S2V∗ is defined by
[TABLE]
and is characterized as the unique, up to algebra isomorphism, commutative multiplication on S2V∗ satisfying:
(1)
O(3)* acts on (S2V∗,⋄) by algebra automorphisms.*
2. (2)
(S2V∗,⋄)* is metrized by an O(3)-invariant inner product.*
3. (3)
(S2V∗,⋄)* contains no nonzero square-zero element.*
4. (4)
There is an idempotent in (S2V∗,⋄) having rank one.
5. (5)
Any idempotent in (S2V∗,⋄) not a multiple of h has rank one.
6. (6)
For a rank one idempotent e in (S2V∗,⋄), the spectrum of L⋄(e) contains 1/2 with multiplicity 3.
Moreover, the multiplication ⋄ has the following properties:
(1)
An idempotent in (S2V∗,⋄) distinct from h has the form α=2u⊗u for a unit norm u∈V∗.
2. (2)
For an idempotent α as in (5), the eigenvalues of L⋄(α) are 1, with multiplicity 1, 1/2 with multiplicity 3, and −1/2 with multiplicity 2.
3. (3)
(S2V∗,⋄)* is simple.*
4. (4)
For all α,β∈S2V∗,
[TABLE]
5. (5)
The full automorphism group of (S2V∗,⋄) is O(3) in its induced action on S2V∗.
The idempotents in (S2V∗,⋄) are parameterized by the disjoint union of a point, corresponding with h, and a projective plane, corresponding with the O(3)-orbit of a rank one symmetric bilinear form having norm 2.
9. Characterization of the subalgebra of anti-self-dual Weyl tensors when dimV=4
This section proves Theorem 1.2, that shows that, when dimV=4, the subalgebra of anti-self-dual Weyl tensors is isomorphic to the space of trace-free endomorphisms of a 3-dimensional vector space equipped with the trace-free Jordan product. The proof is conceptual in the sense that it relies on the description of ∗ in terms of curvature operators. On the other hand, the approach is special to dimV=4. Lemma 10.7 yields an alternative proof, that, while more computational, is based on an approach viable in all dimensions.
Let (V,h) be an n-dimensional Euclidean vector space. Let ϵi1…in be the volume n-form determined a by choice of orientation of V and evaluating to 1 when paired with the wedge product of the vectors of an ordered h-orthonormal basis consistent with the chosen orientation. The polyvector ϵi1…in obtained by raising indices satisfies
ϵi1…ipk1…kn−pϵj1…jpk1…kn−p=p!(n−p)!δ[i1[j1δi2j2…δip−1jp−1δip]jp].
Suppose dimV=4. Then this yields the identities
[TABLE]
The Hodge star operator ⋆∈End(⋀2V∗) is defined by (⋆α)ij=21ϵijpqαpq. By (9.1), ⋆∘⋆=Id∧2V∗, so ⋀2V∗ decomposes into the two three-dimensional ⋆-eigenspaces ⋀±2V∗, denominated the self-dual and anti-self-dual two-forms on V. Note that, with the conventions used here, α∧⋆β=21⟨α,β⟩ϵ.
Lemma 9.1**.**
Let (V,h,ϵ) be an oriented 4-dimensional Euclidean vector space.
(1)
If α,β∈⋀+2V∗ or α,β∈⋀−2V∗, then (α⊚β)=−41⟨α,β⟩h.
2. (2)
For α,β∈⋀2V∗, [⋆α,⋆β]=[α,β] and ⋆[α,β]=[⋆α,β]. In particular, [⋀+2V∗,⋀−2V∗]={0} and ⟨⋀+2V∗,⋀−2V∗⟩={0}.
Under the identification of (⋀2V∗,[⋅,⋅]) with so(4), the subspaces ⋀±2V∗ are commuting Lie ideals identified with commuting ideals of so(4) isomorphic to so(3).
Symmetrizing (9.2) in α and β yields (1). Antisymmetrizing (9.2) in α and β yields [⋆α,⋆β]=[α,β]. Because ⋆ is self-adjoint and ad(α)=[α,⋅] is anti-self-adjoint, for any γ∈⋀2V∗,
[TABLE]
showing that ⋆[α,β]=[⋆α,β]. It follows that ⋀±2V∗ are commuting Lie ideals in ⋀2V∗. This shows the first part of (2). The claimed isomorphisms with so(4) and so(3) follow from standard representation theory and are omitted.
∎
Lemma 9.2**.**
Let (V,h,ϵ) be an oriented 4-dimensional Euclidean vector space. For X∈MCW(V∗), define (⋆X)ijkl=21ϵijabXabkl. Then (⋆X)ijkl∈MCW(V∗), and ⋆:MCW(V∗)→MCW(V∗) is a linear involution satisfying ⋆X∧2V∗=⋆∘X∧2V∗=X∧2V∗∘⋆.
Proof.
By definition (⋆X)ijkl=(⋆X)[ij]kl=(⋆X)ij[kl], so ⋆X∈S2(⋀2V∗). To show ⋆X∈MC(V∗) it suffices to show that (⋆X)[ijk]l vanishes. For X∈MCW(V∗), if n=dimV, tracing X[ij[abδk]c] in k and c yields a multiple of (n−4)Xijab. Since this vanishes if n=4, and, by [40, Theorem 5.7.A], an O(n)-module of covariant trace-free tensors on an n-dimensional vector space having symmetries corresponding to a Young diagram for which the sum of the lengths of the first two columns is greater than n is trivial, when dimV=4,
[TABLE]
for any X∈MCW(V∗).
(The identity is sometimes called a Lovelock identity because similar identities generalizing it are discussed in [25].)
Contracting (9.4) with ϵabcl yields 0=ϵabclX[ij[abδk]c]=−2(⋆X)l[ijk], so ⋆X∈MC(V∗). There holds ρ(⋆X)jk=21ϵjpabXabpk=21ϵjabpX[abp]k=0, so ⋆X∈MCW(V∗).
For αij∈⋀2V∗,
[TABLE]
That ⋆X∈MCW(V∗) implies (⋆X)ijkl has all the other symmetries that this inclusion implies, for example 21ϵijabXabkl=(⋆X)ijkl=(⋆X)klij=21ϵklabXabij.
It follows that
[TABLE]
which, with (9.5), shows that X∧2V∗∘⋆=⋆X∧2V∗=⋆∘X∧2V∗.
∎
For a 4-dimensional oriented Euclidean vector space (V,h,ϵ), define MCW±(V∗)={X∈MCW(V∗):⋆X=±X}.
Because ⟨⋆X,Y⟩=⟨X,⋆Y⟩, MCW+(V∗) and MCW−(V∗) are orthogonal complements.
Lemma 9.3**.**
Let (V,h,ϵ) be an oriented 4-dimensional Euclidean vector space. Write α=α++α− for the decomposition of α into its self-dual and anti-self-dual parts α±∈⋀±2V∗. For α,β∈⋀2V∗,
[TABLE]
In particular, tf(α+⋅β+)∈MCW+(V∗), tf(α−⋅β−)∈MCW−(V∗), and tf(α+⋅β−)=0 so that
[TABLE]
Proof.
By (6.10) and Lemma 9.2, for X∈MCW(V∗) and α,β∈⋀2V∗,
By (9.10) and Lemma 9.1, α±⊚β±=−41⟨α±,β±⟩h, and in (9.10) this yields (9.7).
By (9.7), ⋆tf(α⋅β)=tf((⋆α)⋅β)=tf(α+⋅β+)−tf(α−⋅β−), and it follows that tf(α±⋅β±)∈MCW±(V∗) and tf(α+⋅β−)=0. Substituting the last identity in (9.10) yields (9.8).
∎
Example 3**.**
Given an oriented 4-dimensional Euclidean vector space (V,h,ϵ), let ω∈⋀2V∗ satisfy ω∘ω=−h, so that ωij is a compatible almost complex structure and (V,h,ω) is a Kähler structure. Then ω∈⋀±2V∗ as 21ω∧ω=±ϵ, and, by Lemma 9.3, the idempotent S(ω)=61(h\owedgeh−ω⋅ω)=−tf(ω⋅ω)∈MCW(V∗) defined in (10.2) satisfies S(ω)∈MCW±(V∗).
Lemma 9.4 gives another expression for X∗Y that is used in the proof of Lemma 9.5.
Lemma 9.4**.**
Let (V,h) be a metric vector space.
For X,Y∈MC(V∗),
[TABLE]
Proof.
The first equality of (9.11) follows from (5.8), (5.9), and Theorem 5.4. The second equality of (9.11) follows from (5.13).
∎
Lemma 9.5**.**
Let (V,h) be a 4-dimensional Euclidean vector space. For X,Y∈MCW(V∗),
[TABLE]
Proof.
By (9.4), 0=XbclpX[ij[kbδp]c]. Lowering the index k and simplifying this expression yields
[TABLE]
Tracing (9.15) in jl and relabeling the result yields XiabcXjabc=41∣X∣2hij. Polarizing this yields (9.12).
Substituting (9.12) into (9.15) and using (5.13) yields
[TABLE]
Polarizing (9.16) yields (9.13).
Because dim⋀4V∗=1, X[ijpqYkl]pq=cϵijkl for some c∈R. Contracting this equality with ϵijkl yields 24c=2⟨⋆X,Y⟩, so that 12X[ijpqYkl]pq=⟨⋆X,Y⟩ϵijkl. Substituting this and (9.13) into (9.11) of Lemma 9.4 yields (9.14).
∎
Lemma 9.6**.**
Let (V,h,ϵ) be a 4-dimensional oriented Euclidean vector space. There hold
[TABLE]
where P∧±2V∗∈End(⋀2V∗) are the orthogonal projections onto ⋀±2V∗.
Consequently,
[TABLE]
Proof.
For X,Y∈MCW(V∗), rewriting (9.14) in terms of ∧2V∗ and using Corollary 4.4 yields
[TABLE]
Because, by Lemma 9.2, ⋆ commutes with X and Y, (9.19) implies the equality ⋆X∗⋆Y=X∗Y which shows MCW+(V∗)∗MCW−(V∗)={0}. Since ⋆X∧2V∗=X∧2V∗∘⋆, if X=X++X− with X±∈MCW±(V∗) then X∧2V∗(α)=X+∧2V∗(α+)+X−∧2V∗(α−) where α=α++α− is the decomposition of α∈⋀2V∗ into its self-dual and anti-self-dual parts. In particular X±∧2V∗ annihilates ⋀∓2V∗ and X+∧2V∗ and Y−∧2V∗ anticommute. In (9.19) these observations yield (9.17), which implies the containments in (9.18). Because, by Example 3, each of MCW+(V∗) contains a nontrivial idempotent, the SO(4)-submodules MCW±(V∗)∗MCW±(V∗) are nontrivial SO(4)-submodules of the irreducible SO(4)-modules MCW+(V∗), so equality holds in (9.18).
∎
Remark 12**.**
Reversing the orientation of V interchanges the subspaces MCW±(V∗), but the orthogonal decomposition remains; all that changes is the labeling as + or −. Hence the relations (9.18) make sense independently of any choice of orientation, in the sense that MCW(V∗) decomposes as an orthogonal direct sum of two 5-dimensional ∗-subalgebras whose product is {0}.
Lemma 9.7**.**
The deunitalization (Sym0(3,R),×) of the 6-dimensional rank 3 simple real Euclidean Jordan algebra Sym(3,R) is simple and contains no nontrivial square-zero elements.
Proof.
Consider the representation of Sym0(3,R) as trace-free 3×3 symmetric matrices.
Let D⊂Sym0(3,R) be the 2-dimensional subalgebra comprising the diagonal matrices. First it is shown that the subalgebra (D,×) is simple. Let γ1=E11−E33,γ2=E22−E33,γ3=E33−E11∈D where Eij is the matrix with 1 in the ij component and [math] in all other components. Then {γi:1≤i≤3} are idempotents satisfying γi∘γj=−γi−γj. Let I be an ideal of D and let a=a1γ1+a2γ2∈I. Then a×γ1+a=(2a1−a2)γ1 and a×γ2+a=(2a2−a1)γ2. If 2a1=a2 and 2a2=a1, then 4a1=a1, so a1=0 and a2=0, so a=0. Otherwise, if 2a1=a2, then γ1∈I, in which case γ2=γ1+γ1×γ2∈I, so I=D, while, if a1=2a2, then γ2∈I, so γ1=γ2+γ1×γ2∈I, so I=D. This shows D is simple.
Now let I be a nonzero ideal in Sym0(3,R,×). By the principal axis theorem, every element of Sym0(3,R,×) is equivalent via an automorphism of (Sym0(3,R),×) to an element of D, so it can be assumed that I contains a nonzero element. Since Eii+Ejj−2Ekk∈D⊂I, Eij+Eji=(Eij+Eji)×(Eii+Ejj−2Ekk)∈I for all i=j∈{1,2,3}. Since together D and the elements Eij+Eji with i=j span Sym0(3,R), this shows I=Sym0(3,R).
By the principal axis theorem, any square-zero element of (Sym0(3,R),×) is equivalent via an automorphism to an element of D. If a=a1γ1+a2γ2∈D is square-zero then a1(a1−2a2)=0=a2(a2−2a1) and the unique solution is a1=0=a2. ∎
Remark 13**.**
Essentially the same argument shows that the deunitalization of a simple real Euclidean Jordan algebra of rank at least 3 is simple. However, that there are no nontrivial square-zero elements is true if and only if the rank is odd. See [10] for details.
Let (V,h) be a 4-dimensional Euclidean vector space.
By Lemma 9.2, for any X∈MCW(V∗), ⋆X∧2V∗=(⋆X)∧2V∗=X∧2V∗⋆, so, if X∈MCW±(V∗), then X preserves ⋀±2V∗ and annihilates ⋀∓2V∗, so induces a symmetric endomorphism of ⋀±2V∗. By Example 3, if ω∈⋀2V∗ satisfies ω∘ω=−h, then ω∈⋀±2V∗ as 21ω∧ω=±ϵ, and S(ω)∈MCW±(V∗). By (6.7), ω⋅ω∧2V∗(ω)=−5ω, so 6S(ω)∧2V∗(ω)=h\owedgeh∧2V∗(ω)−ω⋅ω∧2V∗(ω)=4ω. Since this shows that S(ω)∧2V∗ acts nontrivially on ⋀±2V∗, it follows from the Schur lemma that the SO(4)-equivariant map Ψ:MCW±(V∗)→Sym0(⋀±2V∗,h) sending X∈MCW±(V∗) to 3X∧±2V∗ is a linear isomorphism.
It follows from (9.17) of Lemma 9.6 that Ψ:(MCW±(V∗),∗)→(Sym0(⋀±2V∗,h),×) is an algebra isomorphism. By the definition of G and Corollary 4.4, for X,Y∈MCW±(V∗), Ψ∗(G)(X,Y)=9G(X,Y)=3tr(X∘Y)=43⟨X,Y⟩. That the trace-form τ∗ is the stated multiple of h follows from the corresponding statement in the algebra (Sym0(⋀±2V∗,h),×,34G) and the fact that Ψ is an isometric isomorphism. That (MCW±(V∗),∗,⟨⋅,⋅⟩) is simple and contains no square-zero elements follows from the preceding in conjunction with Lemma 9.7.
∎
10. Idempotents in the subalgebra of Weyl curvature tensors
In this section there are constructed some idempotents in (MCW(V∗),∗) and some of their products are calculated. This provides more detailed information about the internal structure of (MCW(V∗),∗) and yields an alternative proof of Theorem 1.2 along lines viable when dimV>4.
Let (V,h) be a Euclidean vector space of dimension n>2. A subspace W⊂V determines g∈Idem(S2V∗,⊚) such that W equals the image of the endomorphism gij, in which case trg=dimW. The space of orthogonal almost complex structures on W is identified with
[TABLE]
By construction, α∈OC(W,h) satisfies dimW=trg=∣g∣2=∣α∣2. It will be said that α∈OC(W,h) determines an orthogonal almost complex structure on W.
For even r satisfying 2≤r≤n, there is r-dimensional W⊂V such that OC(W,h) is nonempty. Let {ϵ(1),…,ϵ(n)} be an h-orthonormal basis of V∗ such that {ϵ(1),…,ϵ(r)} spans W∗ and {ϵ(r+1),…,ϵ(n)} spans the h-orthogonal complement W∗⊥. The endomorphism associated with g=∑i=1rϵ(i)⊗ϵ(i)∈S2V∗ is the orthogonal projection on W and α=∑i=1r/2ϵ(2i−1)∧ϵ(2i)∈OC(W,h).
Lemma 10.1**.**
Let (V,h) be a Euclidean vector space of dimension n>2. Let r be even and satisfy 2≤r≤n, let W⊂V have dimension r, let α∈OC(W,h), and let g=−α∘α. The elements of MC(V∗) defined by
[TABLE]
are idempotents in (MC(V∗),∗) that are nontrivial and linearly independent when r≥4, while, when r=2, S2(α) is trivial and K2(α)=H(g).
They satisfy the relations
[TABLE]
[TABLE]
Moreover:
(1)
Sr(α)∈MCW(V∗), while Kr(α)∈/MCW(V∗) because ρ(Kr(α))=g.
2. (2)
That (10.6) vanish yields the equations A2(r+2)=−A and (r−1)B2+(6A+1)B−3A2=0. These equations have the three nontrivial solutions (0,1−r1), (−r+21,−r+21) and (−r+21,(r−1)(r+2)3) for (A,B) that yield, respectively, the idempotents H(g), Kr(ω), and Sr(ω). The relations (10.3) follow from (10.5) by computations similar to those showing (10.6).
By (7.7), ρ(α⋅α)=3α∘α=−3g, and by (7.3), ρ(g\owedgeg)=g∘g−tr(g)g=−(r−1)g, from which there follow ρ(Sr(α))=0 and ρ(Kr(α))=g, so that Sr(α)∈MCW(V∗) but Kr(α)∈/MCW(V∗).
From (6.11), (6.13), and (6.12) there follow ∣α⋅α∣h2=6r(r+1), ⟨α⋅α,g\owedgeg⟩=6r, and ∣g\owedgeg∣2=2r(r−1), which yield (10.4).
By (10.4), H(g), Kr(α), and Sr(α) are nontrivial and linearly independent when r≥4, while, when r=2, S2(α) is trivial and K2(α)=H(g).
where H(g) is as in (7.11). If r=n, then h=g and H(g)=0, so if r∈{n−1,n}, by (10.7), (r+2)Sr(α)=−tf(α⋅α).
∎
Remark 14**.**
From Lemma 5.8 it follows that, if W∗ is a subspace of V∗, the inclusion of an idempotent of MCW(W∗) is an idempotent in MCW(V∗).
In particular, the r<m cases of Lemma 10.1 follow from the r=m case of Lemma 10.1 in conjunction with Lemma 5.8.
Lemma 10.3 shows that when dimV∗=2n≥4, certain of the idempotents produced by Lemma 10.1 constitute an orbit of O(2n) acting in MCW(V∗) that can be identified with the space of orthogonal complex structures on V inducing a given orientation on V. The proof uses Lemma 10.2.
Lemma 10.2**.**
Let (V,h) be a Euclidean vector space of dimension n. Let r be even and satisfy 4≤r≤n. Let W⊂V have dimension r, let α∈OC(W,h), and let g=−α∘α.
(1)
The eigenvalues of Sr(α)∧2V∗ are r−1r−2, with one-dimensional eigenspace spanned by α; 1−r1, with 4r(r−2)-dimensional eigenspace contained in ⋀2W∗; (r+2)(r−1)r−4, with 4r2−4-dimensional eigenspace contained in ⋀2W∗; and [math], with eigenspace equal to ⋀2W⊥∗⊕W⊥∗∧W∗.
2. (2)
The nonzero eigenvalues of Kr(α)∧2V∗ are 1, with one-dimensional eigenspace spanned by α; and −r+22, with 4r2−4-dimensional eigenspace contained in ⋀2W∗.
Proof.
Write A=Q⊚(α)∈End(⋀2V∗). By (6.5), A2=Q⊚(α)⊚Q⊚(α)=Q⊚(g) and A3=Q⊚(α)⊚Q⊚(g)=Q⊚(α)=A. By (6.7) and (6.8),
[TABLE]
Since A(α)=−α, by (10.8), Sr(α)∧2V∗(α)=r−1r−2α. Because Sr(α)∧2V∗ is self-adjoint, it preserves the orthogonal complement ⟨α⟩⊥⊂⋀2V∗. Because ⟨A(γ),α⟩=−⟨α,γ⟩, A preserves ⟨α⟩⊥ as well. A straightforward computation using A3=A shows that the minimal polynomial of the restriction Sr(α)⟨α⟩⊥ is x(x+r−11)(x−(r+2)(r−1)r−4). It follows that r−1r−2 has multiplicity one as an eigenvalue of Sr(α)∧2V∗.
It is convenient to identify W∗ and W⊥∗ with orthogonal subspaces of V∗.
If ν∈W⊥∗, then νpgpi=0, so νpαpi=νpgpqαqi=0, and it follows that, for all μ∈V∗, A(μ∧ν)=0, so ⋀2W⊥∗⊕(W⊥∗∧W∗)⊂kerSr(α)∧2V∗.
Because it commutes with gij, the endomorphism αij preserves W and its restriction to W is an almost complex structure compatible with the restriction of h to W.
Consequently, both A and Sr(α)∧2V∗ preserve ⋀2W∗ and their eigenvalues on ⋀2W∗ are nonzero. In addition to forcing the equality ⋀2W⊥∗⊕W⊥∗∧W∗=kerSr(α)∧2V∗, this observation implies that the nonzero eigenspaces of Sr(α)∧2V∗ on ⋀2W∗∩⟨α⟩⊥ are the ±1-eigenspaces of A on ⋀2W∗∩⟨α⟩⊥. The dimensions of these eigenspaces can be computed using the observation that these subspaces comprise the real parts of forms of type (2,0) and (1,1) with respect to the almost complex structure given by αij (see [11] for details).
This proves (1). Claim (2) follows from the preceding and Kr(α)∧2V∗=Sr(α)∧2V∗+H(g)∧2V∗. Further details are omitted.
∎
For a Euclidean vector space (V,h) of even dimension n=2m, the space OC(V,h)={ωij∈⋀2V∗:ωipωpj=−δij} is identified with the homogeneous space O(2m)/U(m). The action of O(2m) on ⋀2V∗ preserves OC(V,h). Given ω∈OC(V,h) with associated almost complex structure Jij=ωij there exists an orthonormal basis of V of the form {e1,…,en,J(e1),…,J(en)} and this suffices to show that O(2m) acts transitively on OC(V,h). The stabilizer of ω∈OC(V,h) is U(m)=O(2m)∩Sp(n,R), where Sp(n,R) is the symplectic group fixing ω and U(m) the unitary group preserving (h,J). Thus OC(V,h) is identified with O(2m)/U(m) for any ω∈OC(V,h).
Since O(2m) has two connected components, comprising orthogonal transformations preserving opposite orientations of V, and U(m) is connected, the space OC(V,h) has two connected components OC±(V,h), each identified with SO(2m)/U(m), and the complex structures of OC+(V,h) induce the orientation opposite that induced by the complex structures of OC−(V,h). If ω∈OC(V,h) is fixed and F∈O(2m) is the orthogonal reflection through the +1 eigenspace of the endomorphism ωij, then the action of F interchanges OC±(V,h). Let U^(m)⊂O(2m) be the subgroup generated by U(m) and F. Then O(2m)/U^(m) is identified with the quotient space OC(V,h)/∼ where ω∼−ω=F⋅ω. Since U(m) and FU(m) lie in different connected components of O(2m), this quotient space is identified with SO(2m)/U(m).
Lemma 10.3**.**
Let (V,h) be a Euclidean vector space of even dimension n=2m. The map S:OC(V,h)→Idem(MCW(V∗),∗)⊂MCW(V∗) defined by
[TABLE]
is an O(2m)-equivariant double cover of its image S(OC(V,h)))={S(ω):ω∈OC(V,h)}, injective on either connected component OC±(V,h)≃SO(2m)/U(m), with image equal to O(2m)/U^(m)≃SO(2m)/U(m), realized as the O(2m) orbit of S(ω) for any ω∈OC(V,h), and spanning MCW(V∗).
Proof.
Because the map tf and the product ⋅ are O(2m)-equivariant, so is the map S. By Lemma 10.1, for g∈O(2m), S(g⋅ω)=g⋅S(ω) is an idempotent in (MCW(V∗),∗), and so S is a map from the homogeneous space O(2m)/U(m)≃OC(V,h) to the O(2m) orbit of S(ω) in MCW(V∗) whose image comprises idempotents. By definition, S(−ω)=S(ω).
If S(g⋅ω)=S(ω) for g∈O(2n), then, by Lemmas 4.2 and 10.2 and the O(2n)-equivariance of S,
[TABLE]
By Lemma 10.2, ω spans the n−1n−2-eigenspace of S(ω)∧2V∗, so (10.10) shows g⋅ω is a multiple of ω. Since (g⋅ω)∘(g⋅ω)=−h, this forces g⋅ω=±ω, and hence g∈U^(m). It follows that S is two-to-one, with image equal to the O(2m) orbit of S(ω) for any ω∈OC(V,h), and that this orbit is identified with O(2m)/U^(m) in such a way that S maps either connected component OC±(ω,h) onto it bijectively.
By the O(2m)-irreducibility of MCW(V∗), because the O(2m)-invariant subspace Span{S(ω):ω∈OC(V,h)}⊂MCW(V∗) is nonempty, it equals MCW(V∗).
∎
Lemma 10.4**.**
For m×m anti-Hermitian complex matrices A and B such that A2=−I=B2,
[TABLE]
with equality in the upper bound if and only if A and B anticommute and equality in the lower bound if and only if A and B commute. In the latter case there is q∈Z such that 0≤q≤m such that trAB=2q−m with trAB=±m if and only if B=±A; moreover, if A and B are real matrices then q must be even.
Proof.
The equalities in (10.11) are always valid.
If A⊚B=0, then tr[A,B]t[A,B]=−tr[A,B]2=−4tr(ABAB)=4tr(A2B2)=4m, so equality holds in the upper bound in (10.11). It is immediate that equality holds in the lower bound in (10.11) if and only if A and B commute. In this case iA and iB are commuting Hermitian matrices so are simultaneously unitarily diagonalizable. If m−q is the dimension of their joint 1 eigenspace, then −trABtr(iA)(iB)=(m−q)−q=m−2q, and trAB=±m if and only if q∈{0,m}, in which case B=±A. If A and B are moreover real then their eigenvalues ±i have the same multiplicities, so q must be even.
Now suppose A and B are anti-Hermitian and A2=−I=B2. There is an m×m unitary matrix U such that C=UAUˉt is diagonal with diagonal entries c1,…,cm∈{±i}. Define D=UBUˉt. The components of [C,D] with respect to a basis satisfy [C,D]ij=(ci−cj)Dij and ci−cj=−(ci−cj), so
[TABLE]
By (10.12), tr[A,B]t[A,B]=4m if and only if (ci+cj)∣Dij∣2=0 for all 1≤i=j≤m and Dii=0 for all 1≤i≤m. This means ci+cj=0 or Dij=0 for all 1≤i=j≤m, so tr[A,B]t[A,B]=4m if and only if (ci+cj)Dij=0 for all 1≤i,j≤m. Equivalently, tr[A,B]t[A,B]=4m if and only if CD+DC=0, or, what is the same, if and only if A and B anticommute.
∎
Lemma 10.5**.**
Let (V,h) be a Euclidean vector space of dimension n. Let W⊂V have dimension r∈2Z satisfying 4≤r≤n, let α,β∈OC(W,h), and let g=−α∘α=−β∘β. There holds
[TABLE]
so that
[TABLE]
(1)
There holds equality in the lower bounds in (10.13) and (10.14) if and only if α∘β+β∘α=0.
2. (2)
If [α,β]=0, then there is k∈{4p−r:0≤p≤r/2} such that ⟨α,β⟩=−k and ⟨Sr(α),Sr(β)⟩=(r−1)(r+2)26r(r−4)+(r+2)26k2. Moreover, k=±r if and only if β=±α. In particular, ⟨S4(α),S4(β)⟩=0 if and only if r=4 and β=±α.
Proof.
Let β∈OC(V,h) and note that this means β∘β=−g. By (6.11), ∣α⋅α∣h2=6r(r+1) and ⟨α⋅α,β⋅β⟩=6⟨α,β⟩2+6tr(α∘β∘α∘β). By (6.12), ∣g\owedgeg∣h2=2r(r−1) and
[TABLE]
and, similarly, ⟨α⋅α,g\owedgeg⟩=6r. There result the equality in (10.13) and (10.14). Equality holds in the lower bounds of (10.13) and (10.14) when α∘β=−β∘α because in this case ⟨α,β⟩=0, and trα∘β∘α∘β=−r.
By Lemma 10.4 applied to the matrices of αij and βij in some basis, 2r−2tr(α∘β∘α∘β)=−tr([α,β]∘[α,β])≤4r, with equality if and only if α⊚β=0, so that tr(α∘β∘α∘β)≥−r, with equality if and only if α⊚β=0. There follow the lower bounds in (10.13) and (10.14), with equality if and only if α⊚β=0.
If [α,β]=0, then α∘β is self-adjoint and α∘β∘α∘β=g, so −⟨α,β⟩=tr(α∘β) is an integer k such that −r≤k≤r. By Lemma 10.4, k=4p−r for some 0≤p≤r/2.
In (10.13) this yields (2).
∎
A hypercomplex structure on a real vector space V is a pair of anticommuting almost complex structures I,J∈End(V) such that K=I∘J is an almost complex structure.
Because it is a module over the quaternions, a hypercomplex vector space has dimension divisible by 4.
A hyper-Kähler structure on a Euclidean vector space (V,h) equipped with a hypercomplex structure {I,J,K} and a metric h such that each of I, J, and K is compatible with h. By definition this means that αij=Iiphpj, βij=Jiphpj, and γij=Kiphpj are symplectic forms. Given a subspace W⊂V, it will be said that an ordered pair (α,β)∈OC(W,h)2 determines a hyper-Kähler structure on W if α and β anticommute, meaning α⊚β=0. In this case γ=α∘β∈OC(W,h), W is the image of the endomorphism gij where −g=α∘α=β∘β=γ∘γ, α∘g=α=g∘g, β∘g=β=g∘β, and γ∘g=γ=g∘γ, and trg=∣g∣2=∣α∣2=∣β∣2=dimW.
Lemma 10.6**.**
Let (V,h) be a Euclidean vector space. Let W⊂V be a subspace of dimension r divisible by 4, suppose (α,β)∈OC(W,h)2 determines a hyper-Kähler structure on W, and let Sr(α),Sr(β),Sr(γ)∈MCW(V∗) be the idempotents defined as in (10.2) (where γ=α∘β).
(1)
There hold the relations
[TABLE]
[TABLE]
and those obtained from them by permuting α, β, and γ.
2. (2)
⟨Sr(α),Sr(β)⟩=⟨Sr(β),Sr(γ)⟩=⟨Sr(γ),Sr(α)⟩=−(r+2)(r−1)6r,
so the cosine of the angle between any two of Sr(α), Sr(β), and Sr(γ) is 1/(2−r).
3. (3)
The elements α⋅β, β⋅γ, and γ⋅α are pairwise orthogonal of norm 3r(r+2) and each is orthogonal to Span{Sr(α),Sr(β),Sr(γ)}.
4. (4)
Let B=Span{S4(α),S4(β),S4(γ),α⋅β,β⋅γ,γ⋅α}.
(a)
If r=4, S4(α)+S4(β)+S4(γ)=0, and B⊂(MCW(V∗),∗) is a 5-dimensional subalgebra.
2. (b)
If r≥8, B is a 6-dimensional subalgebra of (MCW(V∗),∗).
5. (5)
For X∈Span{Sr(α),Sr(β),Sr(γ),β⋅γ,γ⋅α,α⋅β}, X∧2V∗ preserves Span{α,β,γ}⊂⋀2V∗.
6. (6)
For X=−x1Sr(α)−x2Sr(β)−x3Sr(γ)−r+22(w1β⋅γ+w2γ⋅α+w3α⋅β),
the matrix of XSpan{α,β,γ} with respect to the equal-norm orthogonal basis {α,β,γ} is
[TABLE]
Proof.
The two-forms α,β,γ are pairwise orthogonal. Specializing (6.20) yields (10.17) and the identities obtained from them by permuting α, β, and γ. By (6.18), (6.19), and (6.20) there hold
[TABLE]
and the identities obtained from them by permuting α, β, and γ. The identities (10.16) follow from (10.19). By (10.16) and (10.4),
[TABLE]
so that ⟨Sr(α),Sr(β)⟩=−(r+2)(r−1)6r. Combined with (10.4) this shows that the cosine of the angle between Sr(α) and Sr(β) is 1/(2−r). The preceding claims remain true when α, β, and γ are permuted cyclically. The identities (10.19) show B as in (4) is a subalgebra. By (10.4) and (2),
[TABLE]
It follows that c1Sr(α)+c2Sr(β)+c3Sr(γ)=0 for ci not all zero if and only if r=4 and c1=c2=c3. Together with (10.4), (2), and (3) this implies both claims of (4) straightforwardly.
By (6.7) and (6.8), there hold α⋅α∧2V∗(α)=−(r+1)α, g\owedgeg∧2V∗(α)=−α, (α⋅β)∧2V∗(α)=−2r+2β, (α⋅β)∧2V∗(γ)=0, and the identities obtained from these by permuting α, β, and γ. Combining these identities with the definition of S(α) yields S(α)∧2V∗(α)=r−1r−2α and S(β)∧2V∗(α)=−r−11α. Claims (5) and (6) follow from these identities.
∎
Lemma 10.7 identifies the 5-dimensional subalgebra of (4a) of Lemma 10.6.
Lemma 10.7**.**
Let (V,h) be a Euclidean vector space of dimension at least 4. Let W⊂V be a 4-dimensional subspace and suppose (α,β)∈OC(W,h)2 determines a hyper-Kähler structure on W. Define S(α)=S4(α),S(β)=S4(β),S(γ)=S4(γ)∈MCW(V∗) as in (10.2) (where γ=α∘β).
(1)
For X contained in the 5-dimensional subalgebra B=Span{S(α),S(β),S(γ),α⋅β,β⋅γ,γ⋅α}, X preserves U=Span{α,β,γ}⊂⋀2V∗.
2. (2)
The map Ψ:B→End(U) defined by Ψ(X)=3XU is an isometric algebra isomorphism from (B,∗,h) to the deunitalization (Sym0(U,h),×,34G) of the 6-dimensional rank 3 simple real Euclidean Jordan algebra (Sym(U,h),⊚), in its realization as the trace-free symmetric endomorphisms of U equipped with the product × equal to the traceless part of the usual Jordan product ⊚ of endomorphisms and the metric G(A,B)=31trA∘B.
3. (3)
The Killing form τ∗,B(X,Y)=trL∗,B(X)L∗,B(Y) on (B,∗) satisfies τ∗,B=1621⟨⋅,⋅⟩.
4. (4)
The subalgebra (B,∗,h) is simple.
Proof.
By (4) of Lemma 10.6, S(γ)=−S(α)−S(β). In (10.16) and (10.17) this yields the relations
[TABLE]
and those obtained from them by permuting α, β, and γ. By (6) of Lemma 10.6, for
[TABLE]
the matrix of XU with respect to the equal-norm orthogonal ordered basis {α,β,γ} of U is
[TABLE]
From (10.24) it is apparent that Ψ:B→Sym0(U,h) defined by Ψ(X)=3XU is a linear isomorphism. Because ∗ and × are commutative, by polarization, to check that Ψ is an algebra homomorphism it suffices to check that Ψ(X∗X)=Ψ(X)×Ψ(X). By (10.22),
is an orthonormal basis of B.
By definition of G, (10.24), and the orthonormality of (10.27) (used to compute the norm of (10.23)),
[TABLE]
Slightly tedious calculations using (10.22) show that the matrix of the restriction to B of L∗,B(X) with respect to the ordered orthonormal basis (10.27) is
That (B,∗,h) is simple follows from (2) and Lemma 9.7.
∎
11. Subalgebra of Kähler-Weyl tensors and the 4-dimensional case revisited
A 2n-dimensional Kähler vector space(V,h,J,ω) is a Euclidean vector space (V,h) of dimension m=2n equipped with a compatible complex structure Jij, meaning that JipJjqhpq=hij and ωij=Jiphpj is a symplectic form. When a Kähler vector space is fixed, the abstract unitary group U(n) is identified with the unitary group U(h,J) of linear automorphisms of V preserving h and J.
Lemma 11.1**.**
Let (V,h,J,ω) be a 2n-dimensional Kähler vector space. The U(n)-submodules
[TABLE]
of curvature tensors of Kähler type, and MCK,W(V∗)=MCK(V∗)∩MCW(V∗), of Kähler-Weyl curvature tensors, are subalgebras of (MC(V∗),∗) on which U(n) acts by automorphisms.
Proof.
Let X,Y∈MCK(V∗). Write Bijkl=B(X,Y)ijkl.
By (5.13),
This shows MCK(V∗) is a subalgebra of (MC(V∗),∗).
By Lemmas 5.6 and 11.1, MCK,W(V∗)=MCK(V∗)∩MCW(V∗) is a subalgebra of (MC(V∗),∗).
That U(n) acts by automorphisms on these subalgebras follows from the containment U(n)⊂O(2n).
∎
A Kähler vector space is canonically oriented by the Euclidean volume form ϵ=n!1ωn.
Lemma 11.2 shows that, for a 4-dimensional Kähler vector space, the space of Weyl curvature tensors anti-self-dual with respect to the orientation determined by the complex structure coincides with the space of Kähler-Weyl curvature tensors. As is explained subsequently, this has the consequence of showing that the subalgebra (MCK,W(V∗),∗) is nontrivial whenever dimV∗≥4.
Lemma 11.2**.**
Let (V,h,J,ω) be a 4-dimensional Kähler vector space oriented by ϵ=21ω∧ω.
(1)
For α,β∈⋀−2V∗, K(α,β)=α⋅β+(α∘ω)\owedge(β∘ω) is contained in MCK(V∗).
2. (2)
If α,β∈⋀−2V∗, then tf(α⋅β)=43tfK(α,β)∈MCK,W(V∗).
3. (3)
If α∈⋀−2(V∗) satisfies ∣α∣h2=4, then S(α)=−61tf(α⋅α)=−81tfK(α,α), where S(α) is as defined in (10.2), is a nontrivial idempotent in (MCK,W(V∗),∗) satisfying ∣S(α)∣2=38.
4. (4)
MCK,W(V∗)=MCW−(V∗).
Proof.
The operator ⋆∈End(⋀2V∗) can be expressed ⋆=21ϵ♯=21(ω⊗ω)♯+Q⊚(ω), (recall from (4.6) the isomorphism ♯ and its inverse ♭).
It follows that α∈⋀2V∗ is contained in ⋀−2V∗ if and only if ⟨α,ω⟩=0 and Q⊚(ω)(α)=−α. The latter condition is equivalent to α∘ω=ω∘α∈S2V∗, and this shows that the element K(α,β) of (1) is correctly defined.
Suppose α,β∈⋀2V∗. Substituting 21⟨α,⋆β⟩ϵ=α∧β into (6.2) yields the alternative expressions
and, because −2(α∘ω)\owedge(β∘ω)∧2V∗♭=(α∘ω)\owedge(β∘ω), substituting this into (11.8) yields
[TABLE]
Substituting (11.5) and (11.6) into (11.10) and simplifying the result using (11.7) yields
[TABLE]
A straightforward calculation using the last equality of (11.11) shows Q⊚(ω)∘K(α,β)♯=−K(α,β)♯, so K(α,β)∈MCK(V∗).
By (11.11), (7.8), and (1) of Lemma 9.1,
[TABLE]
This shows (2).
If α∈⋀−2(V∗), then α∧α=−α∧⋆α=−41∣α∣2ω∧ω, so if ∣α∣h2=4, then α∧α=−ω∧ω. Hence 0=(α∧α+ω∧ω)♯(ω)=4(Q⊚(α)(ω)+ω), so α∘ω∘α=−ω. This implies α∘α=−α∘ω∘ω∘α=−α∘ω∘α∘ω=ω∘ω=−h, showing α satisfies the hypotheses of Lemma 10.1. Taking β=α in (11.12) yields (3).
For X∈MCK(V∗), pairing JipXpjkl=JjpXipkl with hil yields ωpqXpqjk=−2ωpqXpjkq=Jjpρ(X)pk, so, because X∈MCK,W(V∗), (⋆X)ijkl=(21ωijωab−JiaJjb)Xabkl=−Xijkl. This shows that MCK,W(V∗)⊂MCW−(V∗). Since both MCK,W(V∗) and MCW−(V∗) are SU(2)-modules and MCW−(V∗) is an irreducible SU(2)-module, to prove equality it suffices to show that MCK,W(V∗) has dimension at least 1. By the preceding paragraph there exists α∈⋀−2V∗ such that tf(α⋅α) is nontrivial and is contained in MCK,W(V∗). This proves claim (4).
∎
Theorem 11.3**.**
Let (V,h,J,ω) be a Kähler vector space of dimension m=2n≥4. The subspace MCK,W(V∗) is a simple subalgebra of (MCW(V∗),∗) that is exact and Killing metrized, with Killing form equal to a positive multiple of the metric ⟨⋅,⋅⟩, and on which U(n)=U(V,J,h) acts irreducibly by automorphisms.
Proof.
The group U(n) acts irreducibly on MCK,W(V∗) [39, Theorem 6.4].
It is straightforward to check that when, in the setting of Lemma 5.8, V is equipped with a Kähler structure and W⊂V is a Kähler subspace, the map ι of Lemma 5.8 is an injective algebra homomorphism from (MCK(W∗),∗) and (MCK,W(W∗),∗) to (MCK(V∗),∗) and (MCK,W(V∗),∗), respectively. Consequently, by Lemmas 5.8 and 11.2, (MCK,W(V∗),∗) contains a nontrivial idempotent, so its multiplication is nontrivial.
The group U(n) acts on (MCK,W(V∗),∗) by isometric automorphisms because it is a subgroup of O(2n), which acts on (MC(V∗),∗) by algebra automorphisms.
By Theorem 3.2, (MCK,W(V∗),∗) is exact and Killing metrized, with Killing form equal to a positive multiple of the metric ⟨⋅,⋅⟩. Because every finite-dimensional irreducible representation of U(n) restricts to an irreducible representation of SU(n), MCK,W(V∗) is irreducible as an SU(n)-module. Since the action by automorphisms of SU(n) on MCK,W(V∗) is irreducible, the simplicity of (MCK,W(V∗),∗) follows from Theorem 3.1.
∎
12. Examples related with idempotents
This final section shows the viability of making explicit computations in (MCW(V∗),∗) and describes some relations among the idempotents constructed earlier that are suggestive both with respect to the structure of (MCW(V∗),∗) and in the context of developing a structure theory for commutative algebras metrized by a trace-form. It is indicated how this yields an alternative proof of Theorem 1.2. Theorem 12.2 shows that (MCW(V∗),∗) contains many two-dimensional unital associative subalgebras isomorphic to the paracomplex numbers and exhibits zeros of its cubic polynomial. The final Example 6 shows that, when dimV≥6, (MCW(V∗),∗) contains subalgebras isomorphic to Matsuo algebras.
Lemma 12.1**.**
Let (V,h) be a Euclidean vector space. For x,y,z,w∈V∗,
[TABLE]
Proof.
The identities (12.1) follow from the definitions (6.1) and (6.2); precisely, summing (x⊙y)⊙(z⊙w) and (x∧y)⊙(z∧w) cyclically over x, y, and z yields elements in kerS and kerM, respectively.
By the definitions, (6.1), and (6.2),
[TABLE]
Polarizing (12.4) first in x then in y and using (12.1) yields (12.2). Using (12.2) and (12.1) to evaluate the right-hand side of (12.3) yields the left-hand side of (12.3).
∎
Example 4**.**
Let (V,h) be a Euclidean vector space.
Let x,y∈V∗ be orthogonal unit norm vectors.
Let σ=x∧y, so that σ∘σ=−α where α=x⊗x+y⊗y.
Then α satisfies α∘α=α, trα=2, and, by (12.4), σ⋅σ=3α\owedgeα,
so that 4S2(x∧y)=3α\owedgeα−σ⋅σ=0. On the other hand, by (6.35), Lemma 10.1, and (12.4), H(α)=−α\owedgeα=−(x∧y)⊗(x∧y)=K2(σ) is an idempotent in (MC(V∗),∗) satisfying ρ(α\owedgeα)=α.
Similarly, if {x,y,z,w}⊂V∗ is an orthonormal set,
[TABLE]
These are most easily computed using (6.18) or (6.20) in conjunction with (12.4).
By Corollary 7.4, as the idempotents α=x⊗x+y⊗y,β=z⊗z+w⊗w∈Idem(S2,⊚) are orthogonal,
[TABLE]
is an idempotent in (MCW(V∗),∗) satisfying ∣B(x,y,z,w)∣2=16/3. The symmetries B(y,x,z,w)=B(x,y,z,w)=B(x,y,w,z)=B(z,w,x,y), evident from (12.6), show that (12.6) yields only three distinct idempotents, namely B(x,y,z,w), B(y,z,x,w), and B(z,x,y,w). From (12.6) it is apparent that B(x,y,z,w)+B(y,z,x,w)+B(z,x,y,w)=0. This shows −B(x,y,z,w)−B(y,z,x,w) is idempotent, which implies
[TABLE]
This shows B(x,y,z,w), B(y,z,x,w), and B(z,x,y,w) span a 2-dimensional subalgebra isomorphic to the algebra E2(R) called the simplicial algebra in [10]; it is the unique 2-dimensional metrized commutative algebra with automorphism group S3.
Theorem 12.2**.**
Let (V,h) be a Euclidean vector space of dimension n≥4. For an h-orthonormal set {x,y,z,w}⊂V∗,
[TABLE]
is a zero of the cubic polynomial PMCW(V∗),∗ that satisfies:
(1)
E∗(E∗E)=E* and E∗E=B(x,y,z,w) is idempotent.*
2. (2)
The subspace Span{E,E∗E}⊂MCW(V∗) is an associative subalgebra isomorphic to the algebra R[t]/(t2−1) of paracomplex numbers via the linear map aE∗E+bE→a+bt.
Proof.
The two-forms α±(x,y,z,w)=α±=x∧y±z∧w satisfy α±∘α±=−g for g=x⊗x+y⊗y+z⊗z+w⊗w and [α+,α−]=0. Because ⟨α+,α−⟩=0 and α+∘α−∘α+∘α−=g, by (10.13), ⟨S4(α+),S4(α−)⟩=0. Define S±(x,y,z,w)=S4(α±).
By (12.4),
Write S±=S±(x,y,z,w) and B=B(x,y,z,w).
Because S+, S−, and B(x,y,z,w) are idempotents in (MCW(V∗),∗), (12.11) implies S+∗S−=0 and ⟨S+,S−⟩=0.
By (12.11), E∗E=S−+S+=B. This shows E∗E is idempotent and ⟨E,E∗E⟩=⟨S−−S+,S−+S+⟩=∣S−∣2−∣S+∣2=0, the last equality because ∣S±(x,y,z,w)∣2=8/3 by Lemma 10.5 or direct computation using (12.10). Finally, E∗(E∗E)=E∗B=(S−−S+)∗(S−+S+)=S−−S+=E. The final claim follows.
∎
For an h-orthonormal set {x,y,z,w}⊂V∗, by (12.10) and (12.1),
[TABLE]
The symmetries S±(x,y,z,w)=S±(z,w,x,y)=S±(y,x,w,z)=S±(w,z,y,x) and S+(y,x,z,w)=S−(x,y,z,w), evident from (12.10), show that, under the action of S4 permuting {x,y,z,w}, (12.10) yields only six distinct idempotents, namely S±(x,y,z,w), S±(y,z,x,w), and S±(z,x,y,w). By (12.12), −S±(x,y,z,w)−S±(y,z,x,w) is idempotent, which implies
[TABLE]
(Alternatively, (12.13) follows from Lemma 10.6.) This shows S±(x,y,z,w), S±(y,z,x,w), and S±(z,x,y,w) span a 2-dimensional subalgebra isomorphic to E2(R).
Computations using (6.11)-(6.13), as in the proof of Lemma 10.1, or computations using α+(x,y,z,w)⊚α+(y,z,x,w)=0 and [α+(x,y,z,w),α−(y,z,x,w)]=0 and those relations obtained from them via the action of S4 on {x,y,z,w} together with (10.13) of Lemma 10.5, show that S±(x,y,z,w) is orthogonal to the span of S∓(x,y,z,w) and S∓(y,z,x,w) while ∣S±(x,y,z,w)∣2=8/3 and ⟨S±(x,y,z,w),S±(y,z,x,w)⟩=−4/3. The last identity gives an example where equality holds in (10.13).
Define Y(x,y,z,w)=(x∧z)⋅(z∧z)−(y∧w)⋅(y∧w).
By Lemma 10.7 the element
[TABLE]
and its cyclic permutations in x, y, and z are orthogonal eigenvectors of L∗(S±(x,y,z,w)). By definition S±(x,y,z,w)=S4(α±), S±(y,z,x,w)=S4(β±), and S±(z,x,y,w)=S4(γ±), where α±=α±(x,y,z,w),
β±=α±(y,z,x,w), and γ±=α±(z,x,y,w). There hold α±∘α±=β±∘β±=γ±∘γ±=−g,
and α±∘β±=γ±=−β±∘α± and its cyclic permutations.
Computations using α+∘α−=α−∘α+=−x⊗x−y⊗y+z⊗z+w⊗w; α±∘β∓=β∓∘α±=2x⊙z±2y⊙w; α+∘γ−=γ−∘α+=2y⊙z−2x⊙w; that, by (6.28), (α±⋅α±)∗(g\owedgeg)=−3g\owedgeg and (α±⋅β±)∗(g\owedgeg)=0; (6.32); (12.4); and (12.2) yield
(α+⋅α+)∗(α−⋅α−)=−3g\owedgeg, (α+⋅α+)∗(β−⋅β−)=−3g\owedgeg,
(α+⋅α+)∗(α−⋅β−)=0, (α+⋅α+)∗(β−⋅γ−)=0, (α+⋅β+)∗(α−⋅β−)=0, and (α+⋅β+)∗(α−⋅γ−)=0.
Together these imply 36S4(α+)∗S4(α−)=(g\owedgeg−α+⋅α+)∗(g\owedgeg−α−⋅α−)=0, 36S4(α+)∗S4(β−)=(g\owedgeg−α+⋅α+)∗(g\owedgeg−β−⋅β−)=0, 6S4(α+)∗C−(x,y,z,w)=−(α+⋅α+)∗(α−⋅β−)=0, and 6S4(α+)∗C−(y,z,x,w)=−(α+⋅α+)∗(β−⋅γ−)=0.
In particular, S+(x,y,z,w)∗S−(y,z,x,w)=0.
It follows that
[TABLE]
are orthogonal 5-dimensional subalgebras of (MCW(V∗),∗,h) that satisfy B+∗B−={0} and each of which is as in Lemma 10.7. The two nonisomorphic structures of a Cl2-module on V are represented by the hyper-Kähler structures determined by the pairs (α±,β±)∈OC(V,h)2.
Example 5**.**
Let (V,h) be a Euclidean vector space of dimension n>3.
Let x,y∈V∗ be orthogonal unit norm vectors. Since α=x⊗x+y⊗y satisfies α∘α=α and trα=2, by Lemma 7.4, B(α) defined by (7.11) satisfies ∣B(α)∣2=(n−1)(n−3)4(n−2)2. Let α^=h−α and write α^=∑α=1n−2z(α)⊗z(α) where {z(1),…,z(n−2)} is an orthonormal basis of the orthocomplement of Span{x,y}. (Note that n>3 is assumed because α^\owedgeα^=0 if n=3.)
By (7.6),
[TABLE]
By Corollary 7.4, if n>3, B(α) is a nontrivial idempotent in (MCW(V∗),∗).
Let (V,h) be a metric vector space of dimension n≥4. In accord with [7, Definition 1.2], a nonzero X∈MCW(V∗) is maximally degenerate if the stabilizer O(h)[X] in O(h) of [X]∈P(MCW(V∗)) has maximal dimension among subgroups of O(h) stabilizing a point in P(MCW(V∗)). Equivalently, the O(h)-orbit of X has the minimal dimension possible among nontrivial O(h)-orbits in MCW(V∗). By [7, Equation (3.2) and Appendix B], when h is Euclidean, if n=5 or n≥7 the tensor B(α) of (12.16) is maximally degenerate with dimO(n)[B(α)]=(2n−2)+1 and O(n)-orbit of dimension 2n−4. Moreover, by [7, Theorem 1.3], if n≥7, any maximally degenerate element of MCW(V∗) is in the O(n)-orbit of a nonzero multiple of B(α) and any element of P(MCW(V∗)) stabilized by dimO(n)[B(α)] equals [B(α)] (this gives an alternative proof that some multiple of B(α) is idempotent, for [B(α)∗B(α)] is stabilized by dimO(n)[B(α)], so must equal [B(α)]). The cases n∈{4,5,6} require special treatment; if n=5 there are maximally degenerate tensors not orthogonally equivalent to a multiple of B(α), while if n∈{4,6}, B(α) is not maximally degenerate. In these cases the maximally degenerate tensors can be built from Kähler-Weyl tensors; see [7].
If both inertial indices of h are least 2, there are x and y spanning a 2-dimensional h-null subspace of V∗, and it follows from (6.35) that (x∧y)⊗(x∧y) is a nontrivial square-zero element in (MCW(V∗),∗). By [7], any maximally degenerate Weyl tensor is in the O(h) orbit of a nonzero multiple of this tensor. Its stabilizer in O(h) has dimension (2n−2)+4.
If h has negative inertial index one, for Z(α) as in the proof of Lemma 7.2, ZA=∑α∈AZ(α) is square-zero for any nonempty subset A⊂{1,…,n−3}. The elements ZA and ZB are orthogonally equivalent if and only if A and B have the same cardinality, and by [7, Theorem 4.2], Z{1,…,n−3} is maximally degenerate having stabilizer of dimension (2n−2)+2.
Example 6**.**
This example shows that, when dimV≥6, (MCW(V∗),∗) contains subalgebras isomorphic to 3-dimensional Matsuo algebras.
Straightforward computations using (6.12), (6.18), and (7.10) show that if α(1),α(2),α(3)∈Idem(S2V∗,⊚) are pairwise orthogonal idempotents of ranks a1, a2, and a3, each at least 2, and Bij=B(α(i),α(j)) for 1≤i<j≤3, there hold
[TABLE]
Note that there must hold n≥a+a2+a3≥6.
Suppose that a1=a2=a3=2. Then (12.17) becomes B12∗B13=31(B12+B13−B23). Using this relation it is straightforward to check that the elements e0=53(B12+B13+B23), e1=53(B12+B13−32B23), e2=53(B12−32B13+B23), and e3=53(−32B12+B13+B23) are idempotents satisfying 3(e1+e2+e2)=4e0 and the relations
[TABLE]
where i∧j is the unique element of {1,2,3} distinct from i and j. From (12.17) it follows that ⟨Bij,Bik⟩=16/9 and so, for 1≤i=j≤3, ∣e0∣2=48/5, ∣ei∣2=64/15=⟨e0,ei⟩, and ⟨ei,ej⟩=32/45. These norm calculations together with the relations (12.18) show that the subalgebra Span{e1,e2,e3}⊂(MCW(V∗),∗) is the 3-dimensional algebra based on the Fischer space with one line {1,2,3} and having parameters γ=512/15 and δ=2/3 defined by Matsuo in [26, Sections 3.2 and 3.3];222The arXiv version [26] differs substantially from the published version [28]; see also [27, Sections 2 and 5]). this algebra is denoted M({1,2,3},61,R) in the notations of [15].
Acknowledgements
I thank Vladimir Tkachev for his interest in this work, for helpful comments on the first version, and for giving me access to related work in preparation. I thank Mamuka Jibladze for comments (unrelated to this paper) that brought to my attention [8] and [31].
Bibliography41
The reference list from the paper itself. Each links out to its DOI / PubMed record.
1[1] A. L. Besse, Einstein manifolds , Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 10, Springer-Verlag, Berlin, 1987.
2[2] C. Böhm and B. Wilking, Manifolds with positive curvature operators are space forms , Ann. of Math. (2) 167 (2008), no. 3, 1079–1097.
3[3] M. Bordemann, Nondegenerate invariant bilinear forms on nonassociative algebras , Acta Math. Univ. Comenian. (N.S.) 66 (1997), no. 2, 151–201.
4[4] S. Brendle, Ricci flow and the sphere theorem , Graduate Studies in Mathematics, vol. 111, American Mathematical Society, Providence, RI, 2010.
5[5] by same author, Ricci flow with surgery on manifolds with positive isotropic curvature , Ann. of Math. (2) 190 (2019), no. 2, 465–559.
6[6] J. Dixmier, Certaines algèbres non associatives simples définies par la transvection des formes binaires , J. Reine Angew. Math. 346 (1984), 110–128.
7[7] B. Doubrov and D. The, Maximally degenerate Weyl tensors in Riemannian and Lorentzian signatures , Differential Geom. Appl. 34 (2014), 25–44.
8[8] A. G. Èlashvili, Invariant algebras , Lie groups, their discrete subgroups, and invariant theory, Adv. Soviet Math., vol. 8, Amer. Math. Soc., Providence, RI, 1992, pp. 57–64.