AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
Analysis of the Hodge Laplacian on the Heisenberg group
About this Title
Detlef Müller, Mathematisches Seminar, Christian-Albrechts-Universität zu Kiel, Ludewig-Meyn-Straße 4, D-24098 Kiel, Germany, Marco M. Peloso, Dipartimento di Matematica, Università degli Studi di Milano, Via C. Saldini 50, 20133 Milano, Italy and Fulvio Ricci, Scuola Normale Superiore, Piazza dei Cavalieri 7, 56126 Pisa, Italy
Publication: Memoirs of the American Mathematical Society
Publication Year:
2015; Volume 233, Number 1095
ISBNs: 978-1-4704-0939-5 (print); 978-1-4704-1963-9 (online)
DOI: https://doi.org/10.1090/memo/1095
Published electronically: May 19, 2014
Keywords: Hodge Laplacian,
Heisenberg group,
spectral multiplier
MSC: Primary 43A80, 42B15
Table of Contents
Chapters
- Introduction
- 1. Differential forms and the Hodge Laplacian on $H_n$
- 2. Bargmann representations and sections of homogeneous bundles
- 3. Cores, domains and self-adjoint extensions
- 4. First properties of $\Delta _k$; exact and closed forms
- 5. A decomposition of $L^2\Lambda _H^k$ related to the $\partial$ and $\bar \partial$ complexes
- 6. Intertwining operators and different scalar forms for $\Delta _k$
- 7. Unitary intertwining operators and projections
- 8. Decomposition of $L^2\Lambda ^k$
- 9. $L^p$-multipliers
- 10. Decomposition of $L^p\Lambda ^k$ and boundedness of the Riesz transforms
- 11. Applications
- 12. Appendix
Abstract
We consider the Hodge Laplacian $\Delta$ on the Heisenberg group $H_n$, endowed with a left-invariant and $U(n)$-invariant Riemannian metric. For $0\le k\le 2n+1$, let $\Delta _k$ denote the Hodge Laplacian restricted to $k$-forms.
In this paper we address three main, related questions:
-
whether the $L^2$ and $L^p$-Hodge decompositions, $1<p<\infty$, hold on $H_n$;
-
whether the Riesz transforms $d\Delta _k^{-\frac 12}$ are $L^p$-bounded, for $1<p<\infty$;
-
to prove a sharp Mihilin–Hörmander multiplier theorem for $\Delta _k$, $0\le k\le 2n+1$.
Our first main result shows that the $L^2$-Hodge decomposition holds on $H_n$, for $0\le k\le 2n+1$. Moreover, we prove that $L^2\Lambda ^k(H_n)$ further decomposes into finitely many mutually orthogonal subspaces $\mathcal {V}_\nu$ with the properties:
- G. Alexopoulos, $L^p$ Fourier multipliers on Riemannian symmetric spaces of the noncompact type, Proc. Amer. math. Soc. 120 (1994), 973-979.
- J.-Ph. Anker, Spectral multipliers on Lie groups of polynomial growth, Ann. Math. 132 (1990), 597-628.
- Jean-Philippe Anker and Noël Lohoué, Multiplicateurs sur certains espaces symétriques, Amer. J. Math. 108 (1986), no. 6, 1303–1353 (French). MR 868894, DOI 10.2307/2374528
- Pascal Auscher, Thierry Coulhon, Xuan Thinh Duong, and Steve Hofmann, Riesz transform on manifolds and heat kernel regularity, Ann. Sci. École Norm. Sup. (4) 37 (2004), no. 6, 911–957 (English, with English and French summaries). MR 2119242, DOI 10.1016/j.ansens.2004.10.003
- Michael Christ, $L^p$ bounds for spectral multipliers on nilpotent groups, Trans. Amer. Math. Soc. 328 (1991), no. 1, 73–81. MR 1104196, DOI 10.1090/S0002-9947-1991-1104196-7
- M. Christ and D. Müller, On $L^p$ spectral multipliers for a solvable Lie group, Geom. Funct. Anal. 6 (1996), no. 5, 860–876. MR 1415763, DOI 10.1007/BF02246787
- J. L. Clerc and E. M. Stein, $L^{p}$-multipliers for noncompact symmetric spaces, Proc. Nat. Acad. Sci. U.S.A. 71 (1974), 3911–3912. MR 367561, DOI 10.1073/pnas.71.10.3911
- Thierry Coulhon and Xuan Thinh Duong, Riesz transform and related inequalities on noncompact Riemannian manifolds, Comm. Pure Appl. Math. 56 (2003), no. 12, 1728–1751. MR 2001444, DOI 10.1002/cpa.3040
- Thierry Coulhon, Detlef Müller, and Jacek Zienkiewicz, About Riesz transforms on the Heisenberg groups, Math. Ann. 305 (1996), no. 2, 369–379. MR 1391221, DOI 10.1007/BF01444227
- Michael G. Cowling, Oldrich Klima, and Adam Sikora, Spectral multipliers for the Kohn sublaplacian on the sphere in $\Bbb C^n$, Trans. Amer. Math. Soc. 363 (2011), no. 2, 611–631. MR 2728580, DOI 10.1090/S0002-9947-2010-04920-7
- Harold Donnelly, The differential form spectrum of hyperbolic space, Manuscripta Math. 33 (1980/81), no. 3-4, 365–385. MR 612619, DOI 10.1007/BF01798234
- Gerald B. Folland, Harmonic analysis in phase space, Annals of Mathematics Studies, vol. 122, Princeton University Press, Princeton, NJ, 1989. MR 983366
- G. B. Folland and E. M. Stein, Estimates for the $\bar \partial _{b}$ complex and analysis on the Heisenberg group, Comm. Pure Appl. Math. 27 (1974), 429–522. MR 367477, DOI 10.1002/cpa.3160270403
- Garth Gaudry and Peter Sjögren, Singular integrals on the complex affine group, Colloq. Math. 75 (1998), no. 1, 133–148. MR 1487974, DOI 10.4064/cm-75-1-133-148
- Waldemar Hebisch, Multiplier theorem on generalized Heisenberg groups, Colloq. Math. 65 (1993), no. 2, 231–239. MR 1240169, DOI 10.4064/cm-65-2-231-239
- Waldemar Hebisch and Jacek Zienkiewicz, Multiplier theorem on generalized Heisenberg groups. II, Colloq. Math. 69 (1995), no. 1, 29–36. MR 1341678, DOI 10.4064/cm-69-1-29-36
- Andrzej Hulanicki, A functional calculus for Rockland operators on nilpotent Lie groups, Studia Math. 78 (1984), no. 3, 253–266. MR 782662, DOI 10.4064/sm-78-3-253-266
- Tosio Kato, Perturbation theory for linear operators, Die Grundlehren der mathematischen Wissenschaften, Band 132, Springer-Verlag New York, Inc., New York, 1966. MR 0203473
- C. E. Kenig, R. J. Stanton, and P. A. Tomas, Divergence of eigenfunction expansions, J. Functional Analysis 46 (1982), no. 1, 28–44. MR 654463, DOI 10.1016/0022-1236(82)90042-8
- Xiang Dong Li, Riesz transforms for symmetric diffusion operators on complete Riemannian manifolds, Rev. Mat. Iberoam. 22 (2006), no. 2, 591–648, loose erratum. MR 2294791, DOI 10.4171/RMI/467
- Xiang-Dong Li, On the strong $L^p$-Hodge decomposition over complete Riemannian manifolds, J. Funct. Anal. 257 (2009), no. 11, 3617–3646. MR 2572263, DOI 10.1016/j.jfa.2009.08.002
- Xiang-Dong Li, Riesz transforms on forms and $L^p$-Hodge decomposition on complete Riemannian manifolds, Rev. Mat. Iberoam. 26 (2010), no. 2, 481–528. MR 2677005, DOI 10.4171/RMI/607
- Noël Lohoué, Estimation des projecteurs de de Rham Hodge de certaines variétés riemaniennes non compactes, Math. Nachr. 279 (2006), no. 3, 272–298 (French, with English and French summaries). MR 2200666, DOI 10.1002/mana.200310361
- Noël Lohoué, Transformées de Riesz et fonctions sommables, Amer. J. Math. 114 (1992), no. 4, 875–922 (French). MR 1175694, DOI 10.2307/2374800
- Noël Lohoué and Sami Mustapha, Sur les transformées de Riesz sur les groupes de Lie moyennables et sur certains espaces homogènes, Canad. J. Math. 50 (1998), no. 5, 1090–1104 (French, with French summary). MR 1650934, DOI 10.4153/CJM-1998-052-9
- John Lott, Heat kernels on covering spaces and topological invariants, J. Differential Geom. 35 (1992), no. 2, 471–510. MR 1158345
- J. Ludwig and D. Müller, Sub-Laplacians of holomorphic $L^p$-type on rank one $AN$-groups and related solvable groups, J. Funct. Anal. 170 (2000), no. 2, 366–427. MR 1740657, DOI 10.1006/jfan.1999.3517
- Jean Ludwig, Detlef Müller, and Sofiane Souaifi, Holomorphic $L^p$-type for sub-Laplacians on connected Lie groups, J. Funct. Anal. 255 (2008), no. 6, 1297–1338. MR 2565710, DOI 10.1016/j.jfa.2008.06.014
- Wolfgang Lück, $L^2$-invariants: theory and applications to geometry and $K$-theory, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 44, Springer-Verlag, Berlin, 2002. MR 1926649
- Alessio Martini, Analysis of joint spectral multipliers on Lie groups of polynomial growth, Ann. Inst. Fourier (Grenoble) 62 (2012), no. 4, 1215–1263 (English, with English and French summaries). MR 3025742
- Giancarlo Mauceri and Stefano Meda, Vector-valued multipliers on stratified groups, Rev. Mat. Iberoamericana 6 (1990), no. 3-4, 141–154. MR 1125759, DOI 10.4171/RMI/100
- Detlef Müller, Marco M. Peloso, and Fulvio Ricci, $L^p$-spectral multipliers for the Hodge Laplacian acting on 1-forms on the Heisenberg group, Geom. Funct. Anal. 17 (2007), no. 3, 852–886. MR 2346278, DOI 10.1007/s00039-007-0612-0
- Detlef Müller, Marco M. Peloso, and Fulvio Ricci, Eigenvalues of the Hodge Laplacian on a quotient of the Heisenberg group, Collect. Math. Vol Extra (2006), 327-342.
- Detlef Müller, Fulvio Ricci, and Elias M. Stein, Marcinkiewicz multipliers and multi-parameter structure on Heisenberg (-type) groups. I, Invent. Math. 119 (1995), no. 2, 199–233. MR 1312498, DOI 10.1007/BF01245180
- Detlef Müller, Fulvio Ricci, and Elias M. Stein, Marcinkiewicz multipliers and multi-parameter structure on Heisenberg (-type) groups. II, Math. Z. 221 (1996), no. 2, 267–291. MR 1376298, DOI 10.1007/BF02622116
- D. Müller and E. M. Stein, On spectral multipliers for Heisenberg and related groups, J. Math. Pures Appl. (9) 73 (1994), no. 4, 413–440. MR 1290494
- R. Michael Range, Holomorphic functions and integral representations in several complex variables, Graduate Texts in Mathematics, vol. 108, Springer-Verlag, New York, 1986. MR 847923
- Michael Reed and Barry Simon, Methods of modern mathematical physics. I, 2nd ed., Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York, 1980. Functional analysis. MR 751959
- Michel Rumin, Formes différentielles sur les variétés de contact, J. Differential Geom. 39 (1994), no. 2, 281–330 (French). MR 1267892
- Michel Rumin, Sub-Riemannian limit of the differential form spectrum of contact manifolds, Geom. Funct. Anal. 10 (2000), no. 2, 407–452. MR 1771424, DOI 10.1007/s000390050013
- A. Sikora, Riesz transform, Gaussian bounds and the method of wave equation, J. Funct. Anal. 52 (1983), 48-79.
- R. Strichartz, Analysis of the Laplacian on the complete Riemannian manifold, Math. Z. 247 (2004), 643-662.
- Michael E. Taylor, $L^p$-estimates on functions of the Laplace operator, Duke Math. J. 58 (1989), no. 3, 773–793. MR 1016445, DOI 10.1215/S0012-7094-89-05836-5
- Sundaram Thangavelu, Harmonic analysis on the Heisenberg group, Progress in Mathematics, vol. 159, Birkhäuser Boston, Inc., Boston, MA, 1998. MR 1633042
- André Weil, Introduction à l’étude des variétés kählériennes, Publications de l’Institut de Mathématique de l’Université de Nancago, VI. Actualités Sci. Ind. no. 1267, Hermann, Paris, 1958 (French). MR 0111056
$\operatorname {dom} \Delta _k$ splits along the $\mathcal {V}_\nu$’s as $\sum _\nu (\operatorname {dom}\Delta _k\cap \mathcal {V}_\nu )$;
$\Delta _k:(\operatorname {dom}\Delta _k\cap \mathcal {V}_\nu )\longrightarrow \mathcal {V}_\nu$ for every $\nu$;
for each $\nu$, there is a Hilbert space $\mathcal {H}_\nu$ of $L^2$-sections of a $U(n)$-homogeneous vector bundle over $H_n$ such that the restriction of $\Delta _k$ to $\mathcal {V}_\nu$ is unitarily equivalent to an explicit scalar operator acting componentwise on $\mathcal {H}_\nu$.
Next, we consider $L^p\Lambda ^k$, $1<p<\infty$. We prove that the $L^p$-Hodge decomposition holds on $H_n$, for the full range of $p$ and $0\le k\le 2n+1$. Moreover, we prove that the same kind of finer decomposition as in the $L^2$-case holds true. More precisely we show that:
the Riesz transforms $d\Delta _k^{-\frac 12 }$ are $L^p$-bounded;
the orthogonal projection onto $\mathcal {V}_\nu$ extends from $(L^2\cap L^p)\Lambda ^k$ to a bounded operator from $L^p\Lambda ^k$ to the the $L^p$-closure $\mathcal {V} _\nu ^p$ of $\mathcal {V} _\nu \cap L^p\Lambda ^k$.
We then use this decomposition to prove a sharp Mihlin–Hörmander multiplier theorem for each $\Delta _k$. We show that the operator $m(\Delta _k)$ is bounded on $L^p\Lambda ^k(H_n)$ for all $p\in (1,\infty )$ and all $k=0,\dots ,2n+1$, provided $m$ satisfies a Mihlin–Hörmander
condition of order $\rho >(2n+1)/2$ and prove that this restriction on $\rho$ is optimal.
Finally, we extend this multiplier theorem to the Dirac operator.