Hua-type integrals over unitary groups and over projective limits of unitary groups
type: Item
instance of: scholarly article
title: Hua-type integrals over unitary groups and over projective limits of unitary groups
zbMATH Open document ID: 1019.43008
DOI: 10.1215/S0012-7094-02-11423-9
published in: Duke Mathematical Journal
publication date: 2002-10-27T00:00:00Z
full work available at URL: https://arxiv.org/abs/math-ph/0010014
review text: The author studies natural maps from \(U(n)\) to \(U(n-1)\) for which the image of the normalized Haar measure of \(U(n)\) is that of \(U(n-1)\). This makes it possible to define probability measures on infinite dimensional unitary groups. A family of integrals relative to these measures are evaluated. Let us state more precisely some of the main results of the paper. For \(K=R \), \(C\), or \(H\), \(U^0(n,K)\) is the group \(SO(n)\), \(U(n)\) or \(Sp(n)\). The author considers the map \[ \gamma^m: U^0(n,K)\to U^0 (n-m,K), \] \[ g=\left( \begin{matrix} P & Q\\ R & T\end{matrix} \right)\mapsto T-R (1+P)^{-1}Q, \] for an \((m+(n-m))\times (m+(n-m))\) block representation of \(g\). It is proved that the image under the map \(\gamma^m\) of the normalized Haar measure \(\sigma_n\) of \(U^0(n,K)\) is the Haar measure \(\sigma_{n-m}\). Further the author considers the map \[ \xi_m: U^0 (n,K) \to U^0(n-m,K) \times B_m, \] \[ g\mapsto \bigl(\gamma^m(g), [g]_m \bigr), \] where \([g]_m\) is the upper left \(m\times m\) block of the matrix \(g\), and \(B_m\) is the unit ball in the space of \(m\times m\) matrices over \(K\) and proves that the image under \(\xi_m\) of \(\sigma_n\) is \[ \sigma_{n-m}(g)\times \text{Const.det} (1-Z^*Z)^{r-1}dZ \] with \(\tau={1\over 2}(n-2m+1)\dim_RK\) and \(dZ\) the Lebesgue measure. As an application the integrals \[ \int_{U^0(n,K)} \prod^n_{k=1} \det\bigl(1+[g]_{n-k+1} \bigr)^{\lambda_k-\lambda_{k-1}}d \sigma_n (g) \] are evaluated in terms of the gamma function.
Mathematics Subject Classification ID: 43A85
Mathematics Subject Classification ID: 53C35
Mathematics Subject Classification ID: 15B52
zbMATH DE Number: 1820924
zbMATH Keywords: projective limits
zbMATH Keywords: Hua integral
zbMATH Keywords: infinite dimensional unitary groups
zbMATH Keywords: gamma function
author: Yu A. Neretin
reviewed by: Jacques Faraut
MaRDI profile type: Publication
arXiv ID: math-ph/0010014
cites work: Q4222737
cites work: Q4858486
cites work: Point processes and the infinite symmetric group.
cites work: Distributions on partitions, point processes, and the hypergeometric kernel
cites work: Infinite random matrices and ergodic measures
cites work: Q4321748
cites work: Q3782170
cites work: Q5818478
cites work: Q5520117
cites work: Q3846750
cites work: Q3255401
cites work: Subordinators and the actions of permutations with quasi-invariant measure
cites work: Q5288275
cites work: Q5830030
cites work: Q4893758
cites work: Matrix analogues of the beta function and Plancherel's formula for Berezin kernel representations
cites work: On the separation of spectra in the analysis of Berezin kernels
cites work: Plancherel formula for Berezin deformation of \(L^{2}\) on Riemannian symmetric space
cites work: Boundary values of holomorphic functions, singular unitary representations of \(O(p,q)\), and their limits as \(q\to\infty\)
cites work: Q5758396
cites work: Measures on infinite dimensional Grassmann manifolds
cites work: On the construction of invariant measure over the orthogonal group on the Hilbert space by the method of Cayley transformation
cites work: The Berezin transform and invariant differential operators
OpenAlex ID: W3098718096
description: scientific article