Sharp inequalities, the functional determinant, and the complementary series
HTML articles powered by AMS MathViewer
- by Thomas P. Branson PDF
- Trans. Amer. Math. Soc. 347 (1995), 3671-3742 Request permission
Abstract:
Results in the spectral theory of differential operators, and recent results on conformally covariant differential operators and on sharp inequalities, are combined in a study of functional determinants of natural differential operators. The setting is that of compact Riemannian manifolds. We concentrate especially on the conformally flat case, and obtain formulas in dimensions $2$, $4$, and $6$ for the functional determinants of operators which are well behaved under conformal change of metric. The two-dimensional formulas are due to Polyakov, and the four-dimensional formulas to Branson and Ărsted; the method is sufficiently streamlined here that we are able to present the sixdimensional case for the first time. In particular, we solve the extremal problems for the functional determinants of the conformal Laplacian and of the square of the Dirac operator on ${S^2}$, and in the standard conformal classes on ${S^4}$ and ${S^6}$. The ${S^2}$ results are due to Onofri, and the ${S^4}$ results to Branson, Chang, and Yang; the ${S^6}$ results are presented for the first time here. Recent results of Graham, Jenne, Mason, and Sparling on conformally covariant differential operators, and of Beckner on sharp Sobolev and Moser-Trudinger type inequalities, are used in an essential way, as are a computation of the spectra of intertwining operators for the complementary series of ${\text {S}}{{\text {O}}_0}(m + 1,1)$, and the precise dependence of all computations on the dimension. In the process of solving the extremal problem on ${S^6}$, we are forced to derive a new and delicate conformally covariant sharp inequality, essentially a covariant form of the Sobolev embedding $L_1^2({S^6})\hookrightarrow {L^3}({S^6})$ for section spaces of trace free symmetric two-tensors.References
- David R. Adams, A sharp inequality of J. Moser for higher order derivatives, Ann. of Math. (2) 128 (1988), no. 2, 385â398. MR 960950, DOI 10.2307/1971445
- Michael Beals, Charles Fefferman, and Robert Grossman, Strictly pseudoconvex domains in $\textbf {C}^{n}$, Bull. Amer. Math. Soc. (N.S.) 8 (1983), no. 2, 125â322. MR 684898, DOI 10.1090/S0273-0979-1983-15087-5
- William Beckner, Sharp Sobolev inequalities on the sphere and the Moser-Trudinger inequality, Ann. of Math. (2) 138 (1993), no. 1, 213â242. MR 1230930, DOI 10.2307/2946638
- Arthur L. Besse, Einstein manifolds, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 10, Springer-Verlag, Berlin, 1987. MR 867684, DOI 10.1007/978-3-540-74311-8
- David Bleecker, Determination of a Riemannian metric from the first variation of its spectrum, Amer. J. Math. 107 (1985), no. 4, 815â831. MR 796904, DOI 10.2307/2374358
- Hermann Boerner, Darstellungen von Gruppen mit BerĂŒcksichtigung der BedĂŒrfnisse der modernen Physik, Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer BerĂŒcksichtigung der Anwendungsgebiete, Band LXXIV, Springer-Verlag, Berlin-Göttingen-Heidelberg, 1955 (German). MR 0075211
- Thomas P. Branson, Differential operators canonically associated to a conformal structure, Math. Scand. 57 (1985), no. 2, 293â345. MR 832360, DOI 10.7146/math.scand.a-12120
- Thomas P. Branson, Group representations arising from Lorentz conformal geometry, J. Funct. Anal. 74 (1987), no. 2, 199â291. MR 904819, DOI 10.1016/0022-1236(87)90025-5
- Thomas P. Branson, Harmonic analysis in vector bundles associated to the rotation and spin groups, J. Funct. Anal. 106 (1992), no. 2, 314â328. MR 1165857, DOI 10.1016/0022-1236(92)90050-S
- Thomas P. Branson, Sun-Yung A. Chang, and Paul C. Yang, Estimates and extremals for zeta function determinants on four-manifolds, Comm. Math. Phys. 149 (1992), no. 2, 241â262. MR 1186028
- Thomas P. Branson and Peter B. Gilkey, The asymptotics of the Laplacian on a manifold with boundary, Comm. Partial Differential Equations 15 (1990), no. 2, 245â272. MR 1032631, DOI 10.1080/03605309908820686
- Thomas P. Branson and Peter B. Gilkey, The functional determinant of a four-dimensional boundary value problem, Trans. Amer. Math. Soc. 344 (1994), no. 2, 479â531. MR 1240945, DOI 10.1090/S0002-9947-1994-1240945-8
- Thomas P. Branson, Peter B. Gilkey, and Bent Ărsted, Leading terms in the heat invariants, Proc. Amer. Math. Soc. 109 (1990), no. 2, 437â450. MR 1014642, DOI 10.1090/S0002-9939-1990-1014642-X
- Thomas P. Branson, Peter B. Gilkey, and Bent Ărsted, Leading terms in the heat invariants for the Laplacians of the de Rham, signature, and spin complexes, Math. Scand. 66 (1990), no. 2, 307â319. MR 1075147, DOI 10.7146/math.scand.a-12314
- Thomas Branson, Peter Gilkey, and Juha Pohjanpelto, Invariants of locally conformally flat manifolds, Trans. Amer. Math. Soc. 347 (1995), no. 3, 939â953. MR 1282884, DOI 10.1090/S0002-9947-1995-1282884-3
- Thomas P. Branson and Bent Ărsted, Conformal indices of Riemannian manifolds, Compositio Math. 60 (1986), no. 3, 261â293. MR 869104
- Thomas P. Branson and Bent Ărsted, Conformal geometry and global invariants, Differential Geom. Appl. 1 (1991), no. 3, 279â308. MR 1244447, DOI 10.1016/0926-2245(91)90004-S
- Thomas P. Branson and Bent Ărsted, Explicit functional determinants in four dimensions, Proc. Amer. Math. Soc. 113 (1991), no. 3, 669â682. MR 1050018, DOI 10.1090/S0002-9939-1991-1050018-8
- François Bruhat, Sur les reprĂ©sentations induites des groupes de Lie, Bull. Soc. Math. France 84 (1956), 97â205 (French). MR 84713
- Michael Eastwood and Michael Singer, A conformally invariant Maxwell gauge, Phys. Lett. A 107 (1985), no. 2, 73â74. MR 774899, DOI 10.1016/0375-9601(85)90198-7
- JosĂ© F. Escobar, Sharp constant in a Sobolev trace inequality, Indiana Univ. Math. J. 37 (1988), no. 3, 687â698. MR 962929, DOI 10.1512/iumj.1988.37.37033
- JosĂ© F. Escobar, The Yamabe problem on manifolds with boundary, J. Differential Geom. 35 (1992), no. 1, 21â84. MR 1152225
- H. D. Fegan, Conformally invariant first order differential operators, Quart. J. Math. Oxford Ser. (2) 27 (1976), no. 107, 371â378. MR 482879, DOI 10.1093/qmath/27.3.371
- Howard D. Fegan and Peter Gilkey, Invariants of the heat equation, Pacific J. Math. 117 (1985), no. 2, 233â254. MR 779919
- Peter B. Gilkey, Smooth invariants of a Riemannian manifold, Advances in Math. 28 (1978), no. 1, 1â10. MR 478171, DOI 10.1016/0001-8708(78)90043-9
- Peter B. Gilkey, Recursion relations and the asymptotic behavior of the eigenvalues of the Laplacian, Compositio Math. 38 (1979), no. 2, 201â240. MR 528840
- Peter B. Gilkey, The spectral geometry of the higher order Laplacian, Duke Math. J. 47 (1980), no. 3, 511â528. MR 587163
- Peter B. Gilkey, Invariance theory, the heat equation, and the Atiyah-Singer index theorem, Mathematics Lecture Series, vol. 11, Publish or Perish, Inc., Wilmington, DE, 1984. MR 783634
- Peter B. Gilkey, Leading terms in the asymptotics of the heat equation, Geometry of random motion (Ithaca, N.Y., 1987) Contemp. Math., vol. 73, Amer. Math. Soc., Providence, RI, 1988, pp. 79â85. MR 954631, DOI 10.1090/conm/073/954631
- C. Robin Graham, Ralph Jenne, Lionel J. Mason, and George A. J. Sparling, Conformally invariant powers of the Laplacian. I. Existence, J. London Math. Soc. (2) 46 (1992), no. 3, 557â565. MR 1190438, DOI 10.1112/jlms/s2-46.3.557 F. Klein, Vorlesungen ĂŒber Höhere Geometrie, Springer-Verlag, Berlin, 1926.
- Anthony W. Knapp, Representation theory of semisimple groups, Princeton Mathematical Series, vol. 36, Princeton University Press, Princeton, NJ, 1986. An overview based on examples. MR 855239, DOI 10.1515/9781400883974
- Yvette Kosmann, DĂ©rivĂ©es de Lie des spineurs, Ann. Mat. Pura Appl. (4) 91 (1972), 317â395 (French, with English summary). MR 312413, DOI 10.1007/BF02428822
- AndrĂ© Lichnerowicz, Spineurs harmoniques, C. R. Acad. Sci. Paris 257 (1963), 7â9 (French). MR 156292
- Elliott H. Lieb, Sharp constants in the Hardy-Littlewood-Sobolev and related inequalities, Ann. of Math. (2) 118 (1983), no. 2, 349â374. MR 717827, DOI 10.2307/2007032 V. MolÄanov, Representations of pseudo-orthogonal groups associated with a cone, Math. USSR-Sb. 10 (1970), 333-347.
- Morio Obata, The conjectures on conformal transformations of Riemannian manifolds, J. Differential Geometry 6 (1971/72), 247â258. MR 303464
- E. Onofri, On the positivity of the effective action in a theory of random surfaces, Comm. Math. Phys. 86 (1982), no. 3, 321â326. MR 677001
- B. Osgood, R. Phillips, and P. Sarnak, Extremals of determinants of Laplacians, J. Funct. Anal. 80 (1988), no. 1, 148â211. MR 960228, DOI 10.1016/0022-1236(88)90070-5
- B. Osgood, R. Phillips, and P. Sarnak, Compact isospectral sets of surfaces, J. Funct. Anal. 80 (1988), no. 1, 212â234. MR 960229, DOI 10.1016/0022-1236(88)90071-7 S. Paneitz, A quartic conformally covariant differential operator for arbitrary pseudo-Riemannian manifolds, preprint, 1983.
- Rainer Schimming, Lineare Differentialoperatoren zweiter Ordnung mit metrischem Hauptteil und die Methode der Koinzidenzwerte in der Riemannschen Geometrie, BeitrĂ€ge Anal. 15 (1980), 77â91 (1981) (German). MR 614779
- E. M. Stein and G. Weiss, Generalization of the Cauchy-Riemann equations and representations of the rotation group, Amer. J. Math. 90 (1968), 163â196. MR 223492, DOI 10.2307/2373431
- Robert S. Strichartz, Linear algebra of curvature tensors and their covariant derivatives, Canad. J. Math. 40 (1988), no. 5, 1105â1143. MR 973512, DOI 10.4153/CJM-1988-046-7
- David A. Vogan Jr., Unitary representations of reductive Lie groups, Annals of Mathematics Studies, vol. 118, Princeton University Press, Princeton, NJ, 1987. MR 908078
- Garth Warner, Harmonic analysis on semi-simple Lie groups. I, Die Grundlehren der mathematischen Wissenschaften, Band 188, Springer-Verlag, New York-Heidelberg, 1972. MR 0498999
- Volkmar WĂŒnsch, On conformally invariant differential operators, Math. Nachr. 129 (1986), 269â281. MR 864639, DOI 10.1002/mana.19861290123
Additional Information
- © Copyright 1995 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 347 (1995), 3671-3742
- MSC: Primary 58G26; Secondary 22E46, 53A30
- DOI: https://doi.org/10.1090/S0002-9947-1995-1316845-2
- MathSciNet review: 1316845