A Schur-Horn-Kostant convexity theorem for the diffeomorphism group of the annulus
type: Item
instance of: scholarly article
title: A Schur-Horn-Kostant convexity theorem for the diffeomorphism group of the annulus
zbMATH Open document ID: 0806.22012
DOI: 10.1007/BF01244316
author: Anthony M. Bloch
author: T. S. Ratiu
author: H. Flaschka
published in: Inventiones Mathematicae
publication date: 1995-02-13T00:00:00Z
full work available at URL: https://eudml.org/doc/144135
review text: \textit{B. Kostant} [Ann. Sci. Éc. Norm. Supér., IV. Sér. 6, 413-455 (1973; Zbl 0293.22019)] proved a far-reaching generalization of the Schur-Horn theorem on eigenvalues of Hermitian matrices to the case of a general compact Lie group. The authors prove an infinite-dimensional analogue of this result, using the group \(S \text{Diff}({\mathcal A})\), where \({\mathcal A} := \{0 \leq z \leq 1\} \times \{\exp(2\pi i\theta) \mid 0 \leq \theta < 1\}\), of area-preserving diffeomorphisms of the annulus \(\mathcal A\) as an analogue of the group \(\text{SU}(n)\) in the Schur-Horn theory. This group acts on its Lie algebra, the algebra of divergence-free (Hamiltonian) vector fields tangent to the boundary of \(\mathcal A\). The Schur-Horn-Kostant theorem relies on projection onto an orbit of the Weyl group. But since the Weyl group of \(S \text{Diff}({\mathcal A})\) only has two elements, the authors are forced to pass to a completion of \(S \text{Diff}({\mathcal A})\) obtained by extending the adjoint representation to unitary operators on \(L_ 2({\mathcal A})\) and using the strong operator topology. The result is that \(S \text{Diff}\) is dense in the group \(S \text{Meas}({\mathcal A})\) of invertible measure-preserving (MP) transformations of \(\mathcal A\). The main Schur-Horn-Kostant-type result is that the projection of an adjoint orbit onto a ``Cartan'' subalgebra isomorphic to \(L_ 2([0,1])\) is an infinite-dimensional, weakly compact, convex set, whose extreme points coincide with the orbit (through a certain function) of the ``permutation'' semigroup of MP transformations of [0,1]. The denseness result follows from a result of S. Alpern that an invertible MP transformation of the square can be approximated by a MP homeomorphism that fixes the boundary of the square (and hence of the annulus) and a result of J. Moser showing that such a homeomorphism of the square can be approximated by a measure-preserving diffeomorphism. The Schur-Horn result relies on results…
Mathematics Subject Classification ID: 22E65
Mathematics Subject Classification ID: 22E30
Mathematics Subject Classification ID: 28D05
Mathematics Subject Classification ID: 47D03
Mathematics Subject Classification ID: 37A99
zbMATH DE Number: 549664
zbMATH Keywords: infinite-dimensional Lie groups
zbMATH Keywords: approximation of measure-preserving transformations
zbMATH Keywords: eigenvalues
zbMATH Keywords: area-preserving diffeomorphisms
zbMATH Keywords: divergence-free (Hamiltonian) vector fields
zbMATH Keywords: Schur-Horn-Kostant theorem
zbMATH Keywords: measure-preserving diffeomorphism
MaRDI profile type: Publication
cites work: Approximation to and by Measure Preserving Homeomorphisms
cites work: Q4036966
cites work: Q5834711
cites work: Q3974801
cites work: Approximation theorems for Markov operators
cites work: Groups of diffeomorphisms and the motion of an incompressible fluid
cites work: Approximation Theories for Measure Preserving Transformations
cites work: Q5799972
cites work: Doubly Stochastic Matrices and the Diagonal of a Rotation Matrix
cites work: On convexity, the Weyl group and the Iwasawa decomposition
cites work: Unitary structure in representations of infinite-dimensional groups and a convexity theorem
cites work: Inequalities: theory of majorization and its applications
cites work: Q5731904
cites work: On the representation of doubly stochastic operators
cites work: Orbits of L 1 -Functions Under Doubly Stochastic Transformation
cites work: Extreme Points of Some Convex Subsets of L 1 (0, 1)
cites work: Q4932610
cites work: Integro-differential nonlinear equations and continual Lie algebras
cites work: Theory of nonlinear lattices
cites work: On Rutishauser’s Approach to Self-Similar Flows
OpenAlex ID: W1975878141
description: scientific article; zbMATH DE number 549664