Riemannian Symmetric Spaces Research Articles

Poisson transform and unipotent complex geometry

Our concern is with Riemannian symmetric spaces Z=G/K of the non-compact type and more precisely with the Poisson transform Pλ which maps generalized functions on the boundary ∂Z to λ-eigenfunctions on Z. Special emphasis is given to a maximal unipotent group N<G which naturally acts on both Z and ∂Z. The N-orbits on Z are parametrized by a torus A=(R>0)r<G (Iwasawa) and letting the level a∈A tend to 0 on a ray we retrieve N via lima→0⁡Na as an open dense orbit in ∂Z (Bruhat). For positive parameters λ the Poisson transform Pλ is defined and injective for functions f∈L2(N) and we give a novel characterization of Pλ(L2(N)) in terms of complex analysis. For that we view eigenfunctions ϕ=Pλ(f) as families (ϕa)a∈A of functions on the N-orbits, i.e. ϕa(n)=ϕ(na) for n∈N. The general theory then tells us that there is a tube domain T=Nexp⁡(iΛ)⊂NC such that each ϕa extends to a holomorphic function on the scaled tube Ta=Nexp⁡(iAd(a)Λ). We define a class of N-invariant weight functions wλ on the tube T, rescale them for every a∈A to a weight wλ,a on Ta, and show that each ϕa lies in the L2-weighted Bergman space B(Ta,wλ,a):=O(Ta)∩L2(Ta,wλ,a). The main result of the article then describes Pλ(L2(N)) as those eigenfunctions ϕ for which ϕa∈B(Ta,wλ,a) and‖ϕ‖:=supa∈A⁡aReλ−2ρ‖ϕa‖Ba,λ<∞ holds.

Harmonic Riemannian submersions between Riemannian symmetric spaces of noncompact type

AbstractWe construct harmonic Riemannian submersions that are retractions from symmetric spaces of noncompact type onto their rank‐one totally geodesic subspaces. Among the consequences, we prove the existence of a nonconstant, globally defined complex‐valued harmonic morphism from the Riemannian symmetric space associated to a split real semisimple Lie group. This completes an affirmative proof of a conjecture of Gudmundsson.

Quasianalyticity of $$L^p$$-functions on Riemannian symmetric spaces of noncompact type

Quasianalyticity of $$L^p$$-functions on Riemannian symmetric spaces of noncompact type

Asymptotic behavior of solutions to the extension problem for the fractional Laplacian on noncompact symmetric spaces

This work deals with the extension problem for the fractional Laplacian on Riemannian symmetric spaces G/K of noncompact type and of general rank, which gives rise to a family of convolution operators, including the Poisson operator. More precisely, motivated by Euclidean results for the Poisson semigroup, we study the long-time asymptotic behavior of solutions to the extension problem for L1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$L^1$$\\end{document} initial data. In the case of the Laplace–Beltrami operator, we show that if the initial data are bi-K-invariant, then the solution to the extension problem behaves asymptotically as the mass times the fundamental solution, but this convergence may break down in the non-bi-K-invariant case. In the second part, we investigate the long-time asymptotic behavior of the extension problem associated with the so-called distinguished Laplacian on G/K. In this case, we observe phenomena which are similar to the Euclidean setting for the Poisson semigroup, such as L1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$L^1$$\\end{document} asymptotic convergence without the assumption of bi-K-invariance.

CAT(0) Spaces of Higher Rank I

A CAT(0) space has rank at least n if every geodesic lies in an n-flat. Ballmann’s Higher Rank Rigidity Conjecture predicts that a CAT(0) space of rank at least 2 with a geometric group action is rigid – isometric to a Riemannian symmetric space, a Euclidean building, or splits as a metric product. This paper is the first in a series motivated by Ballmann’s conjecture. Here we prove that a CAT(0) space of rank at least n≥2 is rigid if it contains a periodic n-flat and its Tits boundary has dimension (n−1). This does not require a geometric group action. The result relies essentially on the study of flats which do not bound flat half-spaces – so-called Morse flats. We show that the Tits boundary ∂TF of a periodic Morse n-flat F contains a regular point – a point with a Tits-neighborhood entirely contained in ∂TF. More precisely, we show that the set of singular points in ∂TF can be covered by finitely many round spheres of positive codimension.

On the meromorphic continuation of the Mellin transform associated to the wave kernel on Riemannian symmetric spaces of the non-compact type

&lt;abstract&gt;&lt;p&gt;We considered the Mellin transform assigned to the convolution wave kernel associated to the Laplace-Beltrami operator on higher rank Riemannian symmetric spaces of the non-compact type. The occurrence of the analyticity strip of this transform can be deduced directly from the pointwise kernel estimates. Using the zeta function techniques, we established its meromorphic extension to the entire complex plane $ {{\Bbb C}} $ with simple poles on the real line.&lt;/p&gt;&lt;/abstract&gt;

Modular geodesics and wedge domains in non-compactly causal symmetric spaces

We continue our investigation of the interplay between causal structures on symmetric spaces and geometric aspects of Algebraic Quantum Field Theory. We adopt the perspective that the geometric implementation of the modular group is given by the flow generated by an Euler element of the Lie algebra (an element defining a 3-grading). Since any Euler element of a semisimple Lie algebra specifies a canonical non-compactly causal symmetric space M=G/H\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$M = G/H$$\\end{document}, we turn in this paper to the geometry of this flow. Our main results concern the positivity region W of the flow (the corresponding wedge region): If G has trivial center, then W is connected, it coincides with the so-called observer domain, specified by a trajectory of the modular flow which at the same time is a causal geodesic. It can also be characterized in terms of a geometric KMS condition, and it has a natural structure of an equivariant fiber bundle over a Riemannian symmetric space that exhibits it as a real form of the crown domain of G/K. Among the tools that we need for these results are two observations of independent interest: a polar decomposition of the positivity domain and a convexity theorem for G-translates of open H-orbits in the minimal flag manifold specified by the 3-grading.

CAT(0) spaces of higher rank II

This belongs to a series of papers motivated by Ballmann’s Higher Rank Rigidity Conjecture. We prove the following. Let X\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$X$\\end{document} be a CAT(0) space with a geometric group action Γ↷X\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$\\Gamma \\curvearrowright X$\\end{document}. Suppose that every geodesic in X\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$X$\\end{document} lies in an n\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$n$\\end{document}-flat, n≥2\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$n\\geq 2$\\end{document}. If X\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$X$\\end{document} contains a periodic n\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$n$\\end{document}-flat which does not bound a flat (n+1)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$(n+1)$\\end{document}-half-space, then X\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$X$\\end{document} is a Riemannian symmetric space, a Euclidean building or non-trivially splits as a metric product. This generalizes the Higher Rank Rigidity Theorem for Hadamard manifolds with geometric group actions.

Asymptotics for the infinite Brownian loop on noncompact symmetric spaces

The infinite Brownian loop on a Riemannian manifold is the limit in distribution of the Brownian bridge of length T around a fixed origin when T→+∞\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$T \\rightarrow +\\infty $$\\end{document}. The aim of this note is to study its long-time asymptotics on Riemannian symmetric spaces G/K of noncompact type and of general rank. This amounts to the behavior of solutions to the heat equation subject to the Doob transform induced by the ground spherical function. Unlike the standard Brownian motion, we observe in this case phenomena which are similar to the Euclidean setting, namely L1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$L^1$$\\end{document} asymptotic convergence without requiring bi-K-invariance for initial data, and strong L∞\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$L^{\\infty }$$\\end{document} convergence.

Explicit harmonic morphisms and p-harmonic functions from the complex and quaternionic Grassmannians

We construct explicit complex-valued p-harmonic functions and harmonic morphisms on the classical compact symmetric complex and quaternionic Grassmannians. The ingredients for our construction method are joint eigenfunctions of the classical Laplace–Beltrami and the so-called conformality operator. A known duality principle implies that these p-harmonic functions and harmonic morphisms also induce such solutions on the Riemannian symmetric non-compact dual spaces.

How to perform the coherent measurement of a curved phase space by continuous isotropic measurement. I. Spin and the Kraus-operator geometry of SL(2,C)

The generalized Q-function of a spin system can be considered the outcome probability distribution of a state subjected to a measurement represented by the spin-coherent-state (SCS) positive-operator-valued measure (POVM). As fundamental as the SCS POVM is to the 2-sphere phase-space representation of spin systems, it has only recently been reported that the SCS POVM can be performed for any spin system by continuous isotropic measurement of the three total spin components [E. Shojaee, C. S. Jackson, C. A. Riofrio, A. Kalev, and I. H. Deutsch, Phys. Rev. Lett. 121, 130404 (2018)]. This article develops the theoretical details of the continuous isotropic measurement and places it within the general context of curved-phase-space correspondences for quantum systems. The analysis is in terms of the Kraus operators that develop over the course of a continuous isotropic measurement. The Kraus operators of any spin j are shown to represent elements of the Lie group SL(2,C)&amp;#x2245;Spin(3,C), a complex version of the usual unitary operators that represent elements of SU(2)&amp;#x2245;Spin(3,R). Consequently, the associated POVM elements represent points in the symmetric space SU(2)&amp;#x2216;SL(2,C), which can be recognized as the 3-hyperboloid. Three equivalent stochastic techniques, (Wiener) path integral, (Fokker-Planck) diffusion equation, and stochastic differential equations, are applied to show that the continuous isotropic POVM quickly limits to the SCS POVM, placing spherical phase space at the boundary of the fundamental Lie group SL(2,C) in an operationally meaningful way. Two basic mathematical tools are used to analyze the evolving Kraus operators, the Maurer-Cartan form, modified for stochastic applications, and the Cartan, decomposition associated with the symmetric pair SU(2) ⊂ SL(2,C). Informed by these tools, the three schochastic techniques are applied directly to the Kraus operators in a representation-independent – and therefore geometric – way (independent of any spectral information about the spin components).The Kraus-operator-centric, geometric treatment applies not just to SU(2) ⊂ SL(2,C), but also to any compact semisimple Lie group and its complexification. The POVM associated with the continuous isotropic measurement of Lie-group generators thus corresponds to a type-IV globally Riemannian symmetric space and limits to the POVM of generalized coherent states. This generalization is the focus of a sequel to this article.

Unique continuation inequalities for Schrödinger equation on Riemannian symmetric spaces of noncompact type

Unique continuation inequalities for Schrödinger equation on Riemannian symmetric spaces of noncompact type

$$L^p$$-boundedness of pseudo-differential operators on rank one Riemannian symmetric spaces of noncompact type

$$L^p$$-boundedness of pseudo-differential operators on rank one Riemannian symmetric spaces of noncompact type

Resonances and residue operators for pseudo-Riemannian hyperbolic spaces

For any pseudo-Riemannian hyperbolic space X over R,C,H or O, we show that the resolvent R(z)=(□−zId)−1 of the Laplace–Beltrami operator −□ on X can be extended meromorphically across the spectrum of □ as a family of operators Cc∞(X)→D′(X). Its poles are called resonances and we determine them explicitly in all cases. For each resonance, the image of the corresponding residue operator in D′(X) forms a representation of the isometry group of X, which we identify with a subrepresentation of a degenerate principal series. Our study includes in particular the case of even functions on de Sitter and Anti-de Sitter spaces.For Riemannian symmetric spaces analogous results were obtained by Miatello–Will and Hilgert–Pasquale. The main qualitative differences between the Riemannian and the non-Riemannian setting are that for non-Riemannian spaces the resolvent can have poles of order two, it can have a pole at the branching point of the covering to which R(z) extends, and the residue representations can be infinite-dimensional.

Classification of homogeneous hypersurfaces in some noncompact symmetric spaces of rank two

We classify, up to isometric congruence, the homogeneous hypersurfaces in the Riemannian symmetric spaces textrm{SL}(3,mathbb {H})/textrm{Sp}(3), textrm{SO}(5,mathbb {C})/textrm{SO}(5), and textrm{Gr}^*(2,mathbb {C}^{n+4}) = textrm{SU}(n+2,2)/textrm{S}(textrm{U}(n+2)textrm{U}(2)), , n geqslant 1.

Residue representations - The rank one case

With each resonance of the Laplacian acting on the compactly supported sections of a homogeneous vector bundle over a Riemannian symmetric space of the non-compact type, one can associate a residue representation. The purpose of this paper is to study them. The symmetric space is assumed to have rank-one but the irreducible representation τ of K defining the vector bundle is arbitrary. We give an algorithm that aims at determining if these representations are irreducible, finding their Langlands parameters, their Gelfand-Kirillov dimensions and wave front sets. As an example, we apply this algorithm to the Laplacian of the p-forms in the cases of all the classical real rank-one Lie groups.

Integrable Systems: In the Footprints of the Greats

In his 1842 lectures on dynamics C.G. Jacobi summarized difficulties with differential equations by saying that the main problem in the integration of differential equations appears in the choice of right variables. Since there is no general rule for finding the right choice, it is better to introduce special variables first, and then investigate the problems that naturally lend themselves to these variables. This paper follows Jacobi’s prophetic observations by introducing certain “meta” variational problems on semi-simple reductive groups G having a compact subgroup K. We then use the Maximum Principle of optimal control to generate the Hamiltonians whose solutions project onto the extremal curves of these problems. We show that there is a particular sub-class of these Hamiltonians that admit a spectral representation on the Lie algebra of G. As a consequence, the spectral invariants associated with the spectral curve produce a large number of integrals of motion, all in involution with each other, that often meet the Liouville complete integrability criteria. We then show that the classical integrals of motion associated, with the Kowalewski top, the two-body problem of Kepler, and Jacobi’s geodesic problem on the ellipsoid can be all derived from the aforementioned Hamiltonian systems. We also introduce a rolling geodesic problem that admits a spectral representation on symmetric Riemannian spaces and we then show the relevance of the corresponding integrals on the nature of the curves whose elastic energy is minimal.

Schrödinger equation on non-compact symmetric spaces

We establish sharp-in-time kernel and dispersive estimates for the Schrödinger equation on non-compact Riemannian symmetric spaces of any rank. Due to the particular geometry at infinity and the Kunze-Stein phenomenon, these properties are more pronounced in large time and enable us to prove the global-in-time Strichartz inequality for a larger family of admissible couples than in the Euclidean case. Consequently, we obtain the global well-posedness for the corresponding semilinear equation with lower regularity data and some scattering properties for small powers which are known to fail in the Euclidean setting. The crucial kernel estimates are achieved by combining the stationary phase method based on a subtle barycentric decomposition, a subordination formula of the Schrödinger group to the wave propagator and an improved Hadamard parametrix.

Asymptotic behavior of solutions to the heat equation on noncompact symmetric spaces

This paper is twofold. The first part aims to study the long-time asymptotic behavior of solutions to the heat equation on Riemannian symmetric spaces G/K of noncompact type and of general rank. We show that any solution to the heat equation with bi-K-invariant L1 initial data behaves asymptotically as the mass times the fundamental solution, and provide a counterexample in the non bi-K-invariant case. These answer problems recently raised by J.L. Vázquez. In the second part, we investigate the long-time asymptotic behavior of solutions to the heat equation associated with the so-called distinguished Laplacian on G/K. Interestingly, we observe in this case phenomena which are similar to the Euclidean setting, namely L1 asymptotic convergence with no bi-K-invariance condition and strong L∞ convergence.

Einstein hypersurfaces in irreducible symmetric spaces

We give a full classification of Einstein hypersurfaces in irreducible Riemannian symmetric spaces of rank greater than 1 (the classification in the rank-one case was previously known). There are two classes of such hypersurfaces. The first class consists of codimension one Einstein solvmanifolds in irreducible symmetric spaces of noncompact type constructed via the Iwasawa decomposition. The second class consists of two exceptional families in low-dimensional symmetric spaces \({\overline{M}}=\text {SU}(3)/\text {SO}(3)\) and \({\overline{M}}=\text {SL}(3)/\text {SO}(3)\). Any Einstein hypersurface M in such space \({\overline{M}}\) is developable: it is foliated by totally geodesic spheres (respectively, by totally geodesic hyperbolic planes) of \({\overline{M}}\), with the space of leaves being a special Legendrian surface in \(S^5\) (respectively, a proper affine sphere in a \({\mathbb {R}}^3\)).