Harmonic Analysis in Vector Bundles Associated to the Rotation and Spin Groups*
Total Page:16
File Type:pdf, Size:1020Kb
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF FUNCTIONAL ANALYSIS 106, 314328 (1992) Harmonic Analysis in Vector Bundles Associated to the Rotation and Spin Groups* THOMAS P. BRANSON Deparlmenr of Mathematics. Linic;ersity of’ lowu, Iowa City, Iowa 52242; Murematisk Insriiur. Odense b%ersirer. DK-5230 Odensr M. Denmark; und Sunderfurschungshereich I70 : Geometric und Analysis. Bunsenstrusse 3-5, D-3400 Giirtingcn. German) Communicured by the Edirors Received March 21, 1990 Let V be any vector bundle over the sphere S” which is associated to the prin- cipal bundle of oriented orthonormal frames, or to that of spin frames. We give an explicit formula for the spectrum. with multiplicity, of the Bochner Laplacian V+V on V, where V is the Riemannian or Riemannian spin connection. In the case of tensor bundles, we also give the spectrum of the Lichnerowin Laplacian. The elTect of natural first-order differential operators on the corresponding eigenspaces is investigated, and all results are illustrated in a detailed treatment of some examples: the bundles of ditTerential forms, spinors, trace-free symmetric tensors, and algebraic Weyl tensors. 1 1992 Academic Press. Inc 1. INTRODUCTION AND PRINCIPAL RESULTS In a recent paper, Folland [Fo] studies the differential form bundles over the sphere S”, using the representation theory of the special orthogonal groups to give explicit formulas for the eigenvalues of the form Laplacians 6d + dS, and for the multiplicities of these eigenvalues. He also gives a geometric description of the eigenspaces, and determines the effect of the first-order operators d and 6 on them. Questions of this type were also treated in [GM, pp. 282, 283; IT, Sects. 4, 63, and, for the case of odd n, in [R, Sect. 33. In this paper, we generalize these results by computing the spectrum of the Bochner Laplacian V*V on any tensor-spinor bundle over S” (Theorem 1.1 below). We also give the spectrum of the Lichnerowicz Laplacian of any tensor bundle (Theorem 2.1), and derive some information about the effect of natural first-order differential l Research partially supported by a University of Iowa Faculty Scholar Award. The author gratefully acknowledges the services of the University of Iowa Center for Advanced Studies. 314 0022- 1236192 $5.00 Copyright c 1992 by Acadcmlc Press. Inc All ngbtr of rcproduchon m any lorm reserved HARMONIC ANALYSIS IN VECTOR BUNDLES 315 operators (generalizing d, 6, and the Dirac operator) on eigensections of our Laplacians. We begin by reviewing some standard material. Given any oriented, Riemannian spin manifold X of dimension n 2 3, one has the principal SO(n)- and Spin(n)-bundles of oriented orthonormal and spin frames. We use P (resp. M) as a common abbreviation for these frame bundles (resp. structure groups). If (V, n) is a finite-dimensional representation of M, one can form the associated uector bundle P x, V; this will be irreducible as an M-bundle if and only if (V, n) is an irreducible representation. The irreducible, finite-dimensional representations of SO(n) are parameterized by dominanr weigh& vectors i. in Z’, I= [n/2], with A, 2 ... 21,209 n odd, (1.1) I., z ... >,).,-I 2 141, n even. The irreducible, finite-dimensional representations of Spin(n) which do not factor through SO(n) are parameterized by vectors 1. E (i + Z)’ satisfying (1.1). The representation corresponding to the dominant weight i. and its associated M-vector bundle will both be called V(J). When writing domi- nant weights, we sometimes omit terminal strings of zeroes, and write, for example, a string of k ones as I,. Both the tangent and cotangent bundles are M-isomorphic to V( I ), and the differential form bundles are Ak+A”-“z,+, v(l,), k -Cn/2. If n is even, there is a splitting A’= A: @A’- into + 1 eigenbundles of (J-r)‘*, where * is the Hodge star operator; these bundles are If n is odd, the bundle of spinors is ,?I zM I’(($),); if n is even, there is a splitting Z = Z+ 0 Z- into positive and negative spinors ( + 1 eigen- bundles of 5 = (J-1)“‘” + IV* y1 . y”, where 7 is the fundamental tensor- spinor and the indices are relative to a local oriented orthonormal frame); here The trace-free, symmetric, covariant p-tensors are just TFSP gM V(p), and the algebraic Weyl tensors (traceless tensors with the symmetries of the Riemann curvature tensor) are V(2,2) 0 V(2, - 2), n = 4. 316 THOMAS P. BRANSON The reducibility of -W when n = 4 may be seen as a consequence of the fact that %” is a subbundle of the symmetric tensor square of A’, which splits as A2 zM V( 1, 1) $ V( 1, - 1) in dimension four. The Riemann curvature tensor of the metric is a section of A0 @ TFS’ 0 ry‘, and the summands are represented respectively by the scalar curvature, the Einstein (trace-free Ricci) tensor, and the Weyl conformal curvature tensor. The natural first-order differential operators to consider in the setting of irreducible bundles are the gradienrs and Diruc operutors [SW], which arise when the covariant derivative V is compressed to act between irreducible bundles. Restricted to V(A), the covariant derivative is an M-equivariant differential operator v:c3c(v(;.))+c~-(v(1)@v(i)). (1.2) The bundle on the right in (1.2) need not be irreducible; in fact, it never is unless ). = (0). Indeed, Ul)O V(j.)zM 0 V(P), (1.3 p . i where p +-+ i if and only if p is a dominant weight and either ( 1.4) or ( 1.5 holds: p=j.+e,, some UE { 1, . I), (1.4) n is odd, i,#O, p =i.. (1.5) Here e,=(O,. ,, 1, O,-,). (See, e.g., [Fe, Theorem 3.41.) Note that the con- dition 1. HP is symmetric in i. and p. Since all summands in (1.3) occur with multiplicity one, it is legitimate to speak of the projection Proj,,: V( 1 )@ V(i) -+ V(n) and the operators D+ = Proj,, VI v(i). Note that the leading symbol of D,, is a,(D,,)(<)=fl Proj,(r@.), where 5 is an indeterminate cotangent vector. Some examples are (up to constant factors) the exterior derivative d and coderivative 6 on differential forms (restricted or projected to eigenspaces of the Hodge * if the middle order is involved), the Dirac operator !$ on C’=(C) if n is odd, the Dirac operators v, : C”(Z, ) + C “(Z T ) if n is even, and the Ahlfors operator S: C “( V( 1)) + C “( V(2)) of elasticity and quasiconformal theory. By con- struction, all gradients are M-equivariant, and invariant under isometries which preserve orientation and spin structure. We now specialize to the case where X is the sphere S” with its standard metric, orientation, and spin structure. To bring the representation theory HARMONIC ANALYSIS IN VECTOR BUNDLES 317 of the rotation and spin groups into the picture, we view A’ as the homogeneous space SO(n + 1 )/SO(n) = Spin(n + 1 )/Spin(n); that is, as K/M, where K is a common abbreviation for SO(n + 1) and Spin(n + 1). The left action of K on A’ is by orientation and spin structure preserving isometries, and the isotropy subgroup at any point is isomorphic to M. Given a dominant M-weight i, let I(i) denote the space of K-finite sections of V(;). Let ?X(K) be the space of dominant K-weights; these, of course, are just gotten by changing n to n + 1 in ( 1.1). Given a E T(K), let W(a) be the corresponding (isomorphism class of) K-module. By Frohenius reciprocity [W, Corollary 5.3.3.61, f(i.) splits into irreducible representa- tions of K according to I‘(i) zK @ m,, W(a), m,,, = dim Hom,+,( W(a), V(j.)). 16 T(K) Otherwise stated, the multiplicity of W(a) as a summand in the K-module T(i.) is the multiplicity of V(%) as a summand in the restriction of W(z) to M. But by the classical branching rule (see, e.g., [Bo, p. 143]), m,,, is either Oor 1,andis 1 ifandonlyifa,-i.,EBand We use a 1 i. as an abbreviation for (1.6); thus f(A) zK @ W(a). (1.7) 112 Since V*V is a K-invariant operator, it is diagonalized by the splitting (1.7). Our main result is: THEOREM 1.1. In ( 1.7), the Bochner Laplacian V *V acts on the W(a) summandas multiplication by the constant (20+a,a).~-(2p+A,i,).,, (1.8) where L= [(n+ 1)/2], I= [n/2], tl,,=(n+ I -2h)/2 for h= 1, . L, and p,, = (n - 2a)/2 for a = I, . 1. The dimension of W(a) is dim W(a)= (1.9) 318 THOMAS P. BRANSON where 6 = x + 9 and n + 1 odd, n + 1 et‘en. If a 1 J. ++ p, but it is not the case that a 1 p, then the jkst-order differential operator D;,, annihilates the W(a) summand in ( 1.7). ProoJ The numbers (20 + r, toWL and C, = (2~ + i., i) R~are, respec- tively, the values of the Casimir elements Cas, and Gas”, of the universal enveloping algebras of f=so(n + 1) and m = so(n) in the modules W(r) and V(J). Thus we would like to prove that (1.10) It will convenient to think of X both as the homogeneous space K/M and as the unit sphere in R” + ‘, with homogeneous coordinates x0, .