Algorithms for Computing Characters for Symmetric Spaces

Symmetric spaces or more general symmetric k-varieties can be defined as the homogeneous spaces G _k /K _k , where G is a reductive algebraic group defined over a field k of characteristic not 2, K the fixed point group of an involution θ of G and G _k resp. K _k the sets k-rational points of G resp. K. These symmetric spaces have a fine structure of root systems, characters, Weyl groups etc., similar to the underlying algebraic group G. The relationship between the fine structure of the symmetric space and the group plays an important role in the study of these symmetric spaces and their applications. To develop a computer algebra package for symmetric spaces one needs explicit formulas expressing the fine structure of the symmetric space and group in terms of each other. In this paper we consider the case that k is algebraically closed and give explicit algorithmic formulas for expressing the characters of the weight lattice of the symmetric space in terms of the characters of the weight lattice of the group. These algorithms can easily be implemented in a computer algebra package. The root system of the symmetric space can be described as the image of the root system of the group under a projection π derived from an involution θ on . This implies that . Using these formulas for the characters of each of these lattices we show that in fact . A.G. Helminck is partially supported by N.S.F. Grant DMS-0532140.     

Semisimple Symplectic Symmetric Spaces

A symplectic symmetric space is a connected affine symmetric manifold M endowed with a symplectic structure which is invariant under the geodesic symmetries. When the transvection group G⁰ of such a symmetric space M is semisimple, its action on (M,) is strongly Hamiltonian; a classical theorem due to Kostant implies that the moment map associated to this action realises a G⁰-equivariant symplectic covering of a coadjoint orbit O in the dual of the Lie algebra of G⁰. We show that this orbit itself admits a structure of symplectic symmetric space whose transvection algebra is . The main result of this paper is the classification of symmetric orbits for any semisimple Lie group. The classification is given in terms of root systems of transvection algebras and therefore provides, in a symplectic framework, a theorem analogous to the Borel–de Siebenthal theorem for Riemannian symmetric spaces. When its dimension is greater than 2, such a symmetric orbit is not regular and, in general, neither Hermitian nor pseudo-Hermitian.     

Polynomial Quantization on Rank One Para-Hermitian Symmetric Spaces

We construct the polynomial quantization on the space G/H where G=SL(n,R),H=GL(n–1,R). It is a variant of quantization in the spirit of Berezin. In our case covariant and contravariant symbols are polynomials on G/H. We introduce a multiplication of covariant symbols, establish the correspondence principle, study transformations of symbols (the Berezin transform) and of operators. We write a full asymptotic decomposition of the Berezin transform.     

Invariant Differential Operators on Symmetric Cones and Hermitian Symmetric Spaces

We give a brief survey on the study of constructions of invariant differential operators on Riemannian symmetric spaces and of combinatorial and analytical properties of their eigenvalues, and pose some open questions.     

Curvature Estimates for Irreducible Symmetric Spaces

By making use of the classification of real simple Lie algebra, we get the maximum of the squared length of restricted roots case by case, and thus get the upper bounds of sectional curvature for irreducible Riemannian symmetric spaces of compact type. As an application, this paper verifies Sampson's conjecture in most cases for irreducible Riemannian symmetric spaces of noncompact type.     

Canonical Representations on Lobachevsky Spaces: An Interaction with an Overalgebra

We define canonical representations R _λ , , for the Lobachevsky space ℒ=G/K of dimension n−1 where G=SO₀(n−1,1), K=SO(n−1), as the restriction to G of maximal degenerate series representations of the overgroup . We determine explicitly the interaction of Lie operators of with operators intertwining canonical representations and representations of G associated with a cone. Supported by the Russian Foundation for Basic Research: grants No. 05-01-00074a and No. 05-01-00001a, the Netherlands Organization for Scientific Research (NWO): grant 047-017-015, the Scientific Program “Devel. Sci. Potent. High. School”: project RNP.2.1.1.351 and Templan No. 1.2.02.     

Involutions of reductive Lie algebras in positive characteristic

Let G be a reductive group over a field k of characteristic ≠2, let , let θ be an involutive automorphism of G and let be the associated symmetric space decomposition. For the case of a ground field of characteristic zero, the action of the isotropy group G^θ on is well understood, since the well-known paper of Kostant and Rallis [B. Kostant, S. Rallis, Orbits and representations associated with symmetric spaces, Amer. J. Math. 93 (1971) 753–809]. Such a theory in positive characteristic has proved more difficult to develop. Here we use an approach based on some tools from geometric invariant theory to establish corresponding results in (good) positive characteristic.Among other results, we prove that the variety of nilpotent elements of has a dense open orbit, and that the same is true for every fibre of the quotient map . However, we show that the corresponding statement for G, conjectured by Richardson, is not true. We provide a new, (mostly) calculation-free proof of the number of irreducible components of , extending a result of Sekiguchi for . Finally, we apply a theorem of Skryabin to describe the infinitesimal invariants .     

Lie algebras and separable morphisms in pro-affine algebraic groups

Let be an algebraically closed field of arbitrary characteristic, and let be a surjective morphism of connected pro-affine algebraic groups over . We show that if is bijective and separable, then is an isomorphism of pro-affine algebraic groups. Moreover, is separable if and only if (its differential) is surjective. Furthermore, if is separable, then .

     

On Quantum Unique Ergodicity for Locally Symmetric Spaces

We construct an equivariant microlocal lift for locally symmetric spaces. In other words, we demonstrate how to lift, in a semi-canonical fashion, limits of eigenfunction measures on locally symmetric spaces to Cartan-invariant measures on an appropriate bundle. The construction uses elementary features of the representation theory of semisimple real Lie groups, and can be considered a generalization of Zelditch’s results from the upper half-plane to all locally symmetric spaces of noncompact type. This will be applied in a sequel to settle a version of the quantum unique ergodicity problem on certain locally symmetric spaces. The second author was supported in part by NSF Grant DMS-0245606. Part of this work was performed at the Clay Institute Mathematics Summer School in Toronto. Received: September 2005 Revision: August 2006 Accepted: August 2006     

The Partial Positivity of the Curvature in Riemannian Symmetric Spaces

In this paper, the partial positivity （resp., negativity） of the curvature of all irreducible Riemannian symmetric spaces is determined. From the classifications of abstract root systems and maximal subsystems, the author gives the calculations for symmetric spaces both in classical types and in exceptional types.     

Canonical Representations and Overgroups for Hyperboloids of One Sheet and Lobachevsky Spaces

We define canonical representations for the hyperboloid of one sheet and for the Lobachevsky space =G/K where G=SO₀(1,n–1), H=SO₀(1,n–2) and K=SO(n–1), as the restriction to G of representations associated with a cone of overgroups and for and respectively. We determine explicitly the interaction of Lie operators of with operators intertwining canonical representations and representations of G associated with a cone.Mathematics Subject Classifications (2000) 43A85, 22E46, 53D55.V. F. Molchanov: Supported by grants of the Netherlands Organization for Scientific Research (NWO): 047-008-009, the Russian Foundation for Basic Research (RFBR): 01-01-00100-a, the Minobr RF: E00-1.0-156, the NTP Univ. Rossii: ur04.01.037.     

Saturated Commutative Spaces of Heisenberg Type

In this paper, we give a partial classification of commutative spaces of Heisenberg type. Several classification results were known previously. In order to avoid complicated technical details, we restrict ourselves to saturated commutative spaces. Our results are presented in Table II.     

Volume of Domains in Symmetric Spaces

The authors derive a formula for the volume of a compact domain in a symmetric space from normal sections through a special submanifold in the symmetric space.This formula generalizes the volume of classical domains as tubes or domains given as motions along the submanifold.Finally,some stereological considerations regarding this formula are provided.     

紧黎曼对称空间到Grassmann流形的等变等距极小浸入

在本文中，我们利用李群及其表示理论作为主要工具，　讨论了紧黎曼对称空间到Ｇｒａｓｓｍａｎｎ　流形的等变等距极小浸入问题．     

Constructive Axiomatic Approach to the Determination of the Orbit Spaces of Coregular Compact Linear Groups

We review the proposal of a constructive axiomatic approach to the determination of the orbit spaces of all the real compact linear groups, obtained through the computation of a metric matrix , which is defined only in terms of the scalar products between the gradients p₁(x),...,p_q(x) of the elements of a minimal integrity basis (MIB) for the ring [ⁿ]^G of G-invariant polynomials. The domain of semi-positivity of is known to realize the orbit space ⁿ/G of G as a semi-algebraic variety in the space ^q spanned by the variables p₁,...,p_q. The matrices can be obtained from the solutions of a universal differential equation (master equation), which satisfy convenient initial conditions. The master equation and the initial conditions involve as free parameters only the degrees d_a of the p_a(x)s. This approach tries to bypass the actual impossibility of explicitly determining a set of basic polynomial invariants for each group. Our results may be relevant in physical contexts where the study of covariant or invariant functions is important, like in the determination of patterns of spontaneous symmetry breaking in quantum field theory, in the analysis of phase spaces and structural phase transitions (Landaus theory), in covariant bifurcation theory, in crystal field theory and so on. Mathematics Subject Classifications (2000) 14L24, 13A50, 14L30.This paper is partially supported by INFN and MURST 40% and 60%.