Involutive structures in the tangent bundle of symmetric spaces (Q5929688): Difference between revisions

A to a Riemannian manifold \((M,g)\) adapted structure \(J\) is a structure on a subset of \(TM\) containing the zero section such that the map \(\psi_\gamma:{\mathbb R}^2\to TM\), \(\psi_\gamma(\sigma,\tau)=\tau\dot\gamma(\sigma)\), is structure-preserving for every geodesic \(\gamma\) on \(M\). Here, if \(J\) is a complex structure \(J^2=-1\) we take \(J_0(\sigma,\tau)=(-\tau,\sigma)\) on \({\mathbb R}^2\) and if it is a product structure \(J^2=1\) we take \(J_0(\sigma,\tau)=(\tau,\sigma)\). In the real-analytic case such a structure exists on Grauert tubes \(T^rM=\{X\in TM,\|X\|<r\}\) for small \(r\) and is unique. There exists a largest \(r\) over which \(J\) ceases to extend. A theorem of the author states that the eigendistributions \(V_\lambda\) of \(J\) extend nevertheless to the whole \(TM\otimes{\mathbb C}\) and are involutive (\(\lambda=\pm i\) in the complex and \(\pm 1\) in the product cases), provided \((M,g)\) is locally symmetric with non-compact or compact universal covers respectively. Let \(\Phi_\varepsilon(X)={{\varepsilon e^{\|X\|}}\over{\|X\|}}X\) and \(N_\varepsilon(X)=\varepsilon X\) be two maps of \(TM\setminus M\). Then another theorem of the author states that for locally symmetric \((M,g)\) the eigendistributions behave regularly at infinity in the sense that the following limits exist: \[ \lim_{\varepsilon\to 0}(\Phi_\varepsilon)_*(V_\lambda),\;\lim_{\varepsilon\to 0}(N_\varepsilon)_*(V_\lambda). \] They are denoted by \({\mathcal E}\), \(\overline{\mathcal E}\), \({\mathcal D}\), \(\overline{\mathcal D}\) in the complex case and by \({\mathcal F}_{\pm}\), \({\mathcal A}_{\pm}\) in the product case. These subbundles are continuous and have nice formulas in terms of the curvature operator. The main result is that the subbundles \({\mathcal E}\), \(\overline{\mathcal E}\), \({\mathcal D}\), \(\overline{\mathcal D}\), \({\mathcal F}_{\pm}\), \({\mathcal A}_{\pm}\) are Lagrangian with respect to the canonical symplectic structure on \(TM\) and involutive on an open dense subset of \(TM\setminus M\). Moreover they are scaling invariants and are invariant under the normalized geodesic flow corresponding to the Hamiltonian \(H(X)=\|X\|\). In addition in the complex case the bundles \(\overline{\mathcal E}\), \(\overline{\mathcal D}\) are nonnegative and thus determine nonnegative complex polarization important in the geometric quantization.