Invariant Convex Cone

In mathematics, an invariant convex cone is a closed convex cone in a Lie algebra of a connected Lie group that is invariant under inner automorphisms. The study of such cones was initiated by Ernest Vinberg and Bertram Kostant.

For a simple Lie algebra, the existence of an invariant convex cone forces the Lie algebra to have a Hermitian structure, i.e. the maximal compact subgroup has center isomorphic to the circle group. The invariant convex cone generated by a generator of the Lie algebra of the center is closed and is the minimal invariant convex cone (up to a sign). The dual cone with respect to the Killing form is the maximal invariant convex cone. Any intermediate cone is uniquely determined by its intersection with the Lie algebra of a maximal torus in a maximal compact subgroup. The intersection is invariant under the Weyl group of the maximal torus and the orbit of every point in the interior of the cone intersects the interior of the Weyl group invariant cone.

For the real symplectic group, the maximal and minimal cone coincide, so there is only one invariant convex cone. When one is properly contained in the other, there is a continuum of intermediate invariant convex cones.

Invariant convex cones arise in the analysis of holomorphic semigroups in the complexification of the Lie group, first studied by Grigori Olshanskii. They are naturally associated with Hermitian symmetric spaces and their associated holomorphic discrete series. The semigroup is made up of those elements in the complexification which, when acting on the Hermitian symmetric space of compact type, leave invariant the bounded domain corresponding to the noncompact dual. The semigroup acts by contraction operators on the holomorphic discrete series; its interior acts by Hilbert–Schmidt operators. The unitary part of their polar decomposition is the operator corresponding to an element in the original real Lie group, while the positive part is the exponential of an imaginary multiple of the infinitesimal operator corresponding to an element in the maximal cone. A similar decomposition already occurs in the semigroup.

The oscillator semigroup of Roger Howe concerns the special case of this theory for the real symplectic group. Historically this has been one of the most important applications and has been generalized to infinite dimensions. This article treats in detail the example of the invariant convex cone for the symplectic group and its use in the study of the symplectic Olshanskii semigroup.

Invariant convex cone in symplectic Lie algebra

The Lie algebra of the symplectic group on R^2''n'' has a unique invariant convex cone. It is self-dual. The cone and its properties can be derived directly using the description of the symplectic Lie algebra provided by the Weyl calculus in quantum mechanics. Let the variables in R^2''n'' be ''x''₁, ..., ''x''_''n'', ''y''₁, ..., ''y''_''n''. Taking the standard inner product on R^2''n'', the symplectic form corresponds to the matrix

:$\displaystyle$

The real polynomials on R^2''n'' form an infinite-dimensional Lie algebra under the Poisson bracket

:$\displaystyle$

The polynomials of degree ≤ 2 form a finite-dimensional Lie algebra with center the constant polynomials. The homogeneous polynomials of degree 2 form a Lie subalgebra isomorphic to the symplectic Lie algebra. The symplectic group acts naturally on this subalgebra by reparametrization and this yields the adjoint representation. Homogeneous polynomials of degree 2 on the other hand are just symmetric bilinear forms on R_2''n''. They therefore correspond to symmetric 2''n'' × 2''n'' matrices. The Killing form on the Lie algebra is proportional to the trace form Tr ''AB''.
The positive definite symmetric bilinear forms give an open invariant convex cone with closure the set ''P'' of positive semi-definite symmetric bilinear forms. Because the Killing form is the trace form, the cone ''P'' is self-dual.

Any positive symmetric bilinear form defines a new inner product on R^2''n''. The symplectic from defines an invertible skew-adjoint operator ''T'' with respect to this inner product with –''T''² a positive operator. An orthonormal basis can be chosen so that ''T'' has 2 × 2 skew-symmetric matrices down the diagonal. Scaling the orthonormal basis, it follows that there is a symplectic basis for R^2''n'' diagonalizing the original positive symmetric bilinear form. Thus every positive symmetric bilinear form lies in the orbit of a diagonal form under the symplectic group.

If ''C'' is any other invariant convex cone then it is invariant under the closed subgroup ''U'' of the symplectic group consisting of orthogonal transformations commuting with ''J''. Identifying R^2''n'' with the complex inner product space C^''n'' using the complex structure ''J'', ''U'' can be identified with ''U''(''n''). Taking any non-zero point in ''C''. the average over ''U'' with respect to Haar measure lies in ''C'' and is non-zero. The corresponding quadratic form is a multiple of the standard inner product. Replacing ''C'' by –''C'' this multiple can be taken to be positive. There is a copy of SL(2,R) in the symplectic group acting only on the variables ''x''_''i'' and ''y''_''i''. These operators can be used to transform
into
with 0 < ''t'' < 2. It follows that ''C'' contains the point . Applying diagonal scaling operators in the second and subsequent copies of SL(2,R), the cone ''C'' must contain the quadratic form . By invariance ''C'' must also contain the
quadratic forms and . By convexity it contains all diagonal positive symmetric bilinear forms. Since any positive symmetric bilinear form is in the orbit of a diagonal form, ''C'' contains the cone of non-negative symmetric bilinear forms. By duality the dual cone ''C''* is contained in ''P''. If ''C'' is a proper cone, the previous argument shows that ''C''* = ''P'' and hence that ''C'' = ''P''.

This argument shows that every positive definite symmetric form is in the orbit of a form with corresponding quadratic form

:$\displaystyle$

with ''a''_''i'' > 0. This corresponds to a cone in the Lie algebra of the (diagonal) maximal torus of ''U''.

Since every element of ''P'' is diagonalizable, the stabilizer of a positive element in the symplectic group is contained in a conjugate of ''U''. On the other hand, if ''K'' is another compact subgroup of the symplectic group, averaging over Haar measure shows that it leaves invariant a positive element of ''P''. Thus ''K'' is contained in a conjugate of ''U''. It follows that ''U'' is a maximal compact subgroup of the symplectic group and that any other such subgroup must be a conjugate of ''U''.

Decomposition in symplectic Olshanski semigroup

The complex symplectic group acts by Möbius transformations on ''X'', the complex symmetric matrices with operator norm less than or equal to one. Representing an element as a 2 × 2 block matrix
$h = \begin a & b \\ c & d\end$, the action is given by

:$\displaystyle$

There is a period 2 automorphism σ of the complex symplectic group with fixed point subgroup the real symplectic group. Then ''x''⁺ = σ(x)^ is an antiautomorphism of ''H'' which induces the inverse on the real symplectic group ''G''. If ''g'' is in the open Olshanski semigroup ''H'', let ''h'' = ''g''⁺''g''. By Brouwer's fixed point theorem applied to the compact convex set ''X'', ''g'' has a fixed point in ''X''. Since ''g'' carries ''X'' into its interior, the fixed point is an interior point. Since ''G'' acts transitively on the interior of ''X'', post-multiplying by an element of ''G'' if necessary, it can be assumed that ''h'' fixes 0. Since ''h''⁺ = ''h'', it follows that ''b'' = ''c'' = 0. Conjugating by an element in ''K'' ⊂ SU(1,1), ''a'' and ''d'' can be diagonalized. It has positive eigenvalues, so there is a unique positive diagonal operator ''h''₁ with square ''h''. By uniqueness (''h''₁)⁺ = ''h''₁. Since ''h''₁ is diagonal, the theory for SU(1,1) and SL(2,C) acting on the unit disk in C shows that ''h''₁ lies in exp ''C''. On the other hand, ''k'' = ''g'' (''h''₁)⁻¹ satisfies ''k''⁺''k'' = 1 so that σ(''k'') = ''k''. Thus ''k'' lies in ''G'' and therefore, using the invariance of ''C'', ''H'' admits the decomposition

:$\displaystyle$

In fact there is a similar decomposition for the closed Olshanski symplectic semigroup:

:$\displaystyle$

Moreover, the map (''g'',''x'') ↦ ''g'' exp ''x'' is a homeomorphism.

In fact if ''X'' is in ''C'', it is diagonalizable with real eigenvalues. So that exp ''X'' has strictly positive eigenvalues. By continuity if ''X'' is in the closure of ''C'', it has real eigenvalues and exp ''X'' has strictly positive eigenvalues. Any invertible operator that is a limit of
such exp ''X'' will also have strictly positive eigenvalues. By the holomorphic functional calculus the exponential map on the space of operators with real spectrum defines a homeomorphism onto the space of operators with strictly positive spectrum, with an analytic inverse given by the logarithm. It follows that
$\exp \overline$ is closed in the complex symplectic group.

If ''g''_''n'' exp ''X''_''n'' tends to ''h'', then exp 2''X''_''n'' tends to ''h''⁺''h''. Since $\exp \overline$ is closed, ''h''⁺''h'' = exp 2''X'' for some ''X'' and hence ''h'' exp –''X'' lies in ''G''. So the closure of
$G \exp \overline$ is closed and coincides with $\overline$. Similarly if ''g''_''n'' exp ''X''_''n'' tends to ''g'' exp ''X'', then exp 2 ''X''_''n'' tends to exp 2''X''. Hence ''X''_''n'' tends to ''X''. But then
exp ''X''_''n'' tends to exp ''X'', so that ''g''_''n'' tends to ''g''.

The use of the Brouwer fixed-point theorem can be avoided by applying more direct fixed-point theorems for holomorphic mappings, such as the Earle–Hamilton fixed point theorem and its variants. In fact a Möbius transformation ''f'' taking into a compact subset has a unique fixed point ''z''₀ with ''f''^''n''(''z'') → ''z''₀ for any ''z''.

''Uniqueness'' follows because, if ''f'' has a fixed point, after conjugating by an element of the real symplectic group, it can be assumed to be 0. Then ''f'' has the form ''f''(''z'') = ''az''(1 + ''cz'')⁻¹''a''^''t'', where ''c''^''t'' = ''c'', with iterates
''f''^''m''(''z'') = ''a''^''m''''z''(1 + ''c''_''m''''z'')⁻¹(''a''^''m'')^''t'' with ''c''_''m'' = ''c'' + ''a''^''t''''ca'' + ⋅⋅⋅ + (''a''^{''m'' − 1})^''t''''ca''^{''m'' − 1}. Here ''a'' and ''c''_''m'' all have operator norm less than one. Thus for , , ''z'', , ≤ ''r'' < 1, ''f''^''m''(''z'') tends to 0 uniformly, so that in particular 0 is the unique fixed point and it is obtained by applying iterates of ''f''.

''Existence'' of a fixed point for ''f'' follows by noting that is an increasing sequence ''n''_''k'' such that ''f''^''n''_''k'' and ''f''^{''n''_{2''k'' + 1} − ''n''_2''k''} are both uniformly convergent on compacta, to ''h'' and ''g'' respectively. This follows because real symplectic transformations ''g''_''n'' can be chosen so that ''h''_''n'' = ''g''_''n'' ∘ ''f''^''n'' fixes 0, with a subsequence of ''g''_''n'''s convergent precisely when the corresponding subsequence of ''f''^''n''(0) is convergent. Since the transformations ''h''_''n'' can be written as ''h''_''n''(''z'') = ''a''_''n''''z''(1 + ''b''_''n''''z'')⁻¹ (''a''_''n'')^''t'', convergent subsequences can be chosen. By construction ''g'' ∘ ''h'' = ''h''. So points in the image of ''h'' are fixed by ''g''. Now ''g'' and ''h'' are either constant or have the form ''az''(1 + ''cz'')⁻¹''a''^''t'' followed by a real symplectic transformation. Since the image of ''h'' is connected and a non-constant map has just one fixed point, the image of ''h'' is a single point ''z''₀, fixed by ''g''. Since ''g'' commutes with ''f'', ''f''(''z''₀) is also fixed by ''g'' and hence ''f''(''z''₀)= ''z''₀, so that ''z''₀ is a fixed point of ''f''.

Maximality of symplectic Olshanski semigroup

The symplectic group acts transitively by Möbius transformations on the complex symmetric matrices with operator norm less than one. The open Olshanski semigroup consists of Möbius transformations in the complex symplectic group which take the space complex symmetric matrices of norm ≤ 1 into complex symmetric matrices of norm < 1. Its closure is a maximal proper semigroup in the complex symplectic group.

In two dimensions this follows from a general argument of which also applies in one dimension. Let ''G'' = SL(2,R) act by Möbius transformations on the extended real line and let ''H'' be the open semigroup consisting of transformations carrying ��1,1into (–1,1). Its closure $\overline$ is the closed semigroup of transformations carrying ��1,1into itself. Maximality of $\overline$ is proved by first showing that any strictly larger semigroup ''S'' contains an element ''g'' sending , ''t'', < 1 onto , ''t'', > 1. In fact if ''x'' is in ''S'' but not in $\overline$, then there is an interval ''I''₁ in ''I'' = (–1,1) such that ''x'' ''I''₁ lies in ��1,1sup>''c''. Then for some ''h'' in ''H'', ''I''₁ = ''hI''. Similarly ''yxI''₁ = ��1,1sup>''c'' for some ''y'' in ''H''. So ''g'' = ''yxh'' lies in ''S'' and sends ''I'' onto ��1,1sup>''c''. It follows that ''g''² fixes ''I'', so that ''g''⁻¹ lies in ''S''. If ''z'' lies in ''H'' then ''z'' ''g'' ''I'' contains ''g'' ''I''. Hence ''g''⁻¹''z''⁻¹ ''g'' lies in $\overline$. So ''z''⁻¹ lies in ''S'' and therefore ''S'' contains an open neighbourhood of ''1''. Hence ''S'' = SL(2,R).

Maximality can be deduced for the Olshanski symplectic semigroup in SL(2,C) from the maximality of this semigroup in SL(2,R). It suffices to show that the closed semigroup contains SL(2,R), because the scaling transformations lie in the interior of the Olshanski symplectic semigroup. So if their inverses lie in the symplectic semigroup, it contains a neighbourhood of the identity and hence the whole of SL(2,C). If ''S'' is a semigroup properly containing the symplectic semigroup, it contains an element carrying the closed unit disk outside itself. Pre- and post-composing with elements of SU(1,1), it can be assumed that the element ''g'' of ''S'' carries 0 into ''r'' > 1. Precomposing with a scaling transformation, it can be assumed that ''g'' carries the closed unit disk onto a small neighbourhood of ''r''. Pre-composing with an element of SU(1,1), the inverse image of the real axis can be taken to be the diameter joining –1 and 1. But in that case, ''g'' must lie in SL(2,R). From the maximality result for semigroups in SL(2,R), ''S'' must contain SL(2,R) and hence must be the whole of SL(2,C).

Autonne–Takagi factorization states that for any complex symmetric matrix ''M'', there is a unitary matrix ''U'' such that ''UMU''^''t'' is diagonal. If''S'' is a semigroup properly containing the closure of the Olshanki semigroup, then it contains an element ''g'' such that ''z'' = ''g''(0) with 1< , , ''z'', , < ∞.

Indeed, there is an embedding due to Harish-Chandra of the space of complex symmetric ''n'' by ''n'' matrices as a dense open subset of the compact Grassmannian of Langrangian subspaces of C^2''n''. Morevoer this embedding is equivariant for the action of the real symplectic group. In fact, with the standard complex inner product on C^2''n'', the Grassmannian of ''n''-dimensional subspaces has a continuous transitive action of SL(2''n'',C) and its maximal compact subgroup SU(2''n''). It can be identified with the space of orthogonal rank ''n'' projections, a compact subspace of M_2''n''(C).
Taking coordinates (''z''₁,...,''z''_''n'',''w''₁,...,''w''_''n'') on C^2''n'', the symplectic form is given by

:$\displaystyle$

An ''n''-dimensional subspace ''U'' is called Lagrangian if ''B'' vanishes on ''U''. The Lagrangian subpaces form a closed subset of the Grassmannian on which the complex symplectic group and the unitary symplectic group act transitively. This is the Lagrangian Grassmannian. The subspace ''U''₀ formed of vectors with ''z''_''i'' = 0 is Lagrangian. The set of Langrangian subspaces ''U'' for which the restriction of the orthogonal projection onto ''U''₀ is an isomorphism forms an open dense subset Ω of the Lagrangian Grassmannian. Any such subspace has a canonical basis whose column vectors form a 2''n'' by ''n'' matrix $\begin Z\\ I\end$ where ''Z'' is a complex symmetric ''n'' by ''n'' matrix and ''I'' is the ''n'' by ''n'' identity matrix. Under this correspondence elements of the complex symplectic group, viewed as block matrices
$g = \begin A & B \\ C & D\end$ act as Möbius transformations,
''g''(''Z'') = (''AZ'' + ''B'')(''CZ'' + ''D'')⁻¹. The unit ball for the operator norm and its closure are left invariant under the corresponding real form of the symplectic group.

If an element ''g'' of the complex symplectic group does not lie in the closure of Olshanski semigroup, it must carry some point ''W'' of the open unit ball into the complement of its closure. If ''g''(''W'') does not lie in Ω then the image of a small ball about ''W'' must contain points with in Ω
with arbitrarily large operator norm. Precomposing ''g'' with a suitable element in ''G'', it follows that ''Z'' = ''g''(0) will have operator norm greater than 1. If ''g''(''W'') already lies in Ω, it will also have operator norm greater than 1 and ''W'' can be then be taken to be 0 by precomposing with a suitable element of ''G''.

Pre-composing ''g'' with a scaling transformation and post-composing ''g'' with a unitary transformation, it can be assumed that ''g''(0) is a diagonal matrix with entries λ_''i'' ≥ 0 with ''r'' = λ₁ > 0 and that the image of the unit ball is contained in a small ball around this point. The entries λ_''i'' with ''i'' ≥ 2 can be separately scaled byelements of the Olshanki semigroup so that λ_''i'' < 1; and then they can be sent to 0 by elements of ''G'' lying in commuting copies of SU(1,1). So ''g''(0) is a diagonal matrix with entries ''r'', 0,...,0, where ''r'' > 1.

See also

*Oscillator representation
*Symmetric cone

Notes

References

*
*
*
*
*
*
*
*
*
*
*
*
*
*
*{{citation, last=Wolf, first= Joseph A., chapter=Fine structure of Hermitian symmetric spaces, title= Symmetric spaces (Short Courses, Washington University), pages= 271–357, publisher= Dekker, year= 1972, editor1-first=William, editor1-last=Boothby, editor2-first=Guido, editor2-last=Weiss, series=Pure and Applied Mathematics, volume=8 , isbn=0608305685

Lie algebras
Lie groups
Representation theory
Semigroup theory