logo ANNALES DE L'INSTITUT FOURIER

With cedram.org
Table of contents for this issue | Next article
Alexander I. Bufetov
Finiteness of Ergodic Unitarily Invariant Measures on Spaces of Infinite Matrices
(Une mesure sur l’espace des matrices infinies, invariante par l’action du groupe unitaire, doit être finie)
Annales de l'institut Fourier, 64 no. 3 (2014), p. 893-907, doi: 10.5802/aif.2867
Article PDF | Reviews MR 3330157 | Zbl 06387294
Class. Math.: 37A15, 37A25, 28D15, 22E66
Keywords: Infinite-dimensional Lie groups, classification of ergodic measures, Hua-Pickrell measures, orbital measures, weak compactness.

Résumé - Abstract

The main result of this note, Theorem 1.3, is the following: a Borel measure on the space of infinite Hermitian matrices, that is invariant and ergodic under the action of the infinite unitary group and that admits well-defined projections onto the quotient space of “corners" of finite size, must be finite. A similar result, Theorem 1.1, is also established for unitarily invariant measures on the space of all infinite complex matrices. These results imply that the infinite Hua-Pickrell measures of Borodin and Olshanski have finite ergodic components.

The proof is based on the approach of Olshanski and Vershik. First, it is shown that if the sequence of orbital measures assigned to almost every point is weakly precompact, then our ergodic measure must indeed be finite. The second step, which completes the proof, shows that if a unitarily-invariant measure admits well-defined projections onto the quotient space of finite corners, then for almost every point the corresponding sequence of orbital measures is indeed weakly precompact.

Bibliography

[1] Vladimir I. Bogachev, Measure theory II, Springer-Verlag, Berlin, 2007  MR 2267655 |  Zbl 1120.28001
[2] Alexei Borodin & Grigori Olshanski, “Infinite random matrices and ergodic measures”, Comm. Math. Phys. 223 (2001) no. 1, p. 87-123  MR 1860761 |  Zbl 0987.60020
[3] Alexander I. Bufetov, “Ergodic decomposition for measures quasi-invariant under Borel actions of inductively compact groups”, Sbornik Mathematics 205 (2014) no. 2, p. 39-71  MR 3204667
[4] Grigori Olshanski, “Unitary representations of infinite-dimensional classical groups (Russian)”, D.Sci Thesis, Institute of Geography of the Russian Academy of Sciences; online at http://www.iitp.ru/upload/userpage/52/Olshanski_thesis.pdf
[5] Grigori Olshanski, Unitary representations of infinite-dimensional pairs (G,K) and the formalism of R. Howe, in A.M. Vershik, D. P. Zhelobenko, ed., Representation of Lie Groups and Related Topics, Advanced Studies in Contemporary Mathematics 7, Gordon and Breach, 1990, p. 165–189  MR 1104279 |  Zbl 0724.22020
[6] Grigori Olshanski & Anatoli Vershik, Ergodic unitarily invariant measures on the space of infinite Hermitian matrices, Contemporary mathematical physics, Amer. Math. Soc. Transl. Ser. 2 175, Amer. Math. Soc., 1999, p. 137–175  MR 1402920 |  Zbl 0853.22016
[7] Doug Pickrell, “Measures on infinite-dimensional Grassmann manifolds”, J. Funct. Anal. 70 (1987), p. 323-356  MR 874060 |  Zbl 0621.28008
[8] Doug Pickrell, “Mackey analysis of infinite classical motion groups”, Pacific J. Math. 150 (1991) no. 1, p. 139-166  MR 1120717 |  Zbl 0739.22016
[9] Marouane Rabaoui, “A Bochner type theorem for inductive limits of Gelfand pairs”, Ann. Inst. Fourier (Grenoble) 58 (2008) no. 5, p. 1551-1573 Cedram |  MR 2445827 |  Zbl 1154.22015
[10] Marouane Rabaoui, “Asymptotic harmonic analysis on the space of square complex matrices”, J. Lie Theory 18 (2008) no. 3, p. 645-670  MR 2493060 |  Zbl 1167.22008
[11] Anatoly M. Vershik, “A description of invariant measures for actions of certain infinite-dimensional groups”, (Russian) Dokl. Akad. Nauk SSSR 218 (1974), p. 749-752  MR 372161 |  Zbl 0324.28014
top