Polynomial representations of the symplectic groups

The irreducible finite dimensional representations of the symplectic groups are realized as polynomials on the irreducible representation spaces of the corresponding general linear groups. It is shown that the number of times an irreducible representation of a maximal symplectic subgroup occurs in a given representation of a symplectic group, is related to the betweenness conditions of representations of the corresponding general linear groups. Using this relation, it is shown how to construct polynomial bases for the irreducible representation spaces of the symplectic groups in which the basis labels come from the representations of the symplectic subgroup chain, and the multiplicity labels come from representations of the odd dimensional general linear groups, as well as from subgroups. The irreducible representations of Sp(4) are worked out completely, and several examples from Sp(6) are given.     

Nilpotent orbits and some small unitary representations of indefinite orthogonal groups

For 2?m?l/2, let G be a simply connected Lie group with as Lie algebra, let be the complexification of the usual Cartan decomposition, let K be the analytic subgroup with Lie algebra , and let be the universal enveloping algebra of . This work examines the unitarity and K spectrum of representations in the “analytic continuation” of discrete series of G, relating these properties to orbits in the nilpotent radical of a certain parabolic subalgebra of .The roots with respect to the usual compact Cartan subalgebra are all ±e_i±e_j with 1?i<j?l. In the usual positive system of roots, the simple root e_m−e_m+1 is noncompact and the other simple roots are compact. Let be the parabolic subalgebra of for which e_m−e_m+1 contributes to and the other simple roots contribute to , let L be the analytic subgroup of G with Lie algebra , let , let be the sum of the roots contributing to , and let be the parabolic subalgebra opposite to .The members of are nilpotent members of . The group acts on with finitely many orbits, and the topological closure of each orbit is an irreducible algebraic variety. If Y is one of these varieties, let R(Y) be the dual coordinate ring of Y; this is a quotient of the algebra of symmetric tensors on that carries a fully reducible representation of .For , let . Then λ_s defines a one-dimensional module . Extend this to a module by having act by 0, and define . Let be the unique irreducible quotient of . The representations under study are and , where and Π_S is the Sth derived Bernstein functor.For s>2l−2, it is known that π_s=π_s′ and that π_s′ is in the discrete series. Enright, Parthsarathy, Wallach, and Wolf showed for m?s?2l−2 that π_s=π_s′ and that π_s′ is still unitary. The present paper shows that π_s′ is unitary for 0?s?m−1 even though π_s≠π_s′, and it relates the K spectrum of the representations π_s′ to the representation of on a suitable R(Y) with Y depending on s. Use of a branching formula of D. E. Littlewood allows one to obtain an explicit multiplicity formula for each K type in π_s′; the variety Y is indispensable in the proof. The chief tools involved are an idea of B. Gross and Wallach, a geometric interpretation of Littlewood's theorem, and some estimates of norms.It is shown further that the natural invariant Hermitian form on π_s′ does not make π_s′ unitary for s<0 and that the K spectrum of π_s′ in these cases is not related in the above way to the representation of on any R(Y).A final section of the paper treats in similar fashion the simply connected Lie group with Lie algebra , 2?m?l/2.     

On fermion gauge groups,current algebras and Kac-Moody algebras

Representations of groups of loops in U(N), SO(N) and various subgroups are studied. The representations are defined on fermion Fock spaces, and may be regarded as local gauge groups in the context of the two-dimensional many-particle Dirac theory for charged or neutral particles with rest mass m0. For m=0, the representations are shown to give rise to type I factors, while for m>0 hyperfinite, type III₁ factors arise. A key point in the structure analysis is a convergence result: We prove that suitably rescaled representers of certain nonzero winding number loops converge to the free Dirac fields. We also present applications to cyclicity and irreducibility questions concerning the Dirac currents, and to the representation theory of a class of Kac-Moody Lie algebras.     

Lowest weight representations of some infinite dimensional groups on fock spaces

The results of Kashiwara and Vergne on the decomposition of the tensor products of the Segal-Shale-Weil representation are extended to the infinite dimensional case and give all unitary lowest weight representations. Our methods are basically algebraic. When restricted to the finite dimensional case, they yield a new proof.     

Minimal faithful representations of reductive Lie algebras

Let G and H be Lie groups with Lie algebras and . Let G be connected. We prove that a Lie algebra homomorphism is exact if and only if it is completely positive. The main resource is a corresponding theorem about representations on Hilbert spaces. This article summarizes the main results of [1]. Received: 6 December 2005     

Subelliptic operators on Lie groups: Variable coefficients

Let G be a Lie group with Lie algebra g and a _i,...,a _d and algebraic basic of g. Futher, if A _i=dL(a_i) are the corresponding generators of left translations by G on one of the usual function spaces over G, let% MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXafv3ySLgzGmvETj2BSbqefm0B1jxALjhiov2D% aebbfv3ySLgzGueE0jxyaibaiGc9yrFr0xXdbba91rFfpec8Eeeu0x% Xdbba9frFj0-OqFfea0dXdd9vqaq-JfrVkFHe9pgea0dXdar-Jb9hs% 0dXdbPYxe9vr0-vr0-vqpWqaaeaabiGaciaacaqabeaadaqaaqGaaO% qaamXvP5wqonvsaeHbfv3ySLgzaGqbciab-Heaijaab2dadaaeqbqa% aiaadogadaWgaaWcbaqedmvETj2BSbacgmGae4xSdegabeaakiaadg% eadaahaaWcbeqaaiab+f7aHbaaaeaacqGFXoqycaGG6aGaaiiFaiab% +f7aHjaacYhatuuDJXwAK1uy0HMmaeXbfv3ySLgzG0uy0HgiuD3BaG% Wbbiab9rMiekaaikdaaeqaniabggHiLdaaaa!5EC1!\[H{\rm{ = }}\sum\limits_{\alpha :|\alpha | \le 2} {c_\alpha A^\alpha } \] be a second-order differential operator with real bounded coefficients c . The operator is defined to be subelliptic if% MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXafv3ySLgzGmvETj2BSbqefm0B1jxALjhiov2D% aebbfv3ySLgzGueE0jxyaibaiGc9yrFr0xXdbba91rFfpec8Eeeu0x% Xdbba9frFj0-OqFfea0dXdd9vqaq-JfrVkFHe9pgea0dXdar-Jb9hs% 0dXdbPYxe9vr0-vr0-vqpWqaaeaabiGaciaacaqabeaadaqaaqGaaO% qaaiGacMgacaGGUbGaaiOzamXvP5wqonvsaeHbfv3ySLgzaGqbaKaz% aasacqWF7bWEcqWFTaqlkmaaqafabaGaam4yamaaBaaaleaarmWu51% MyVXgaiyWacqGFXoqyaeqaaaqaaiab+f7aHjaacQdacaGG8bGae4xS% deMaaiiFaiabg2da9iaaikdaaeqaniabggHiLdGccqWFOaakiuGacq% qFNbWzcqWFPaqkcqaH+oaEdaahaaWcbeqaamaaBaaameaacqGFXoqy% aeqaaaaakiaacUdacqqFNbWzcqGHiiIZcqqFhbWrcqqFSaalcqqFGa% aicqaH+oaEcqGHiiIZrqqtubsr4rNCHbachaGaeWxhHe6aaWbaaSqa% beaacqqFKbazcqqFNaWjcqaFaC-jaaGccaGGSaGaaiiFaiabe67a4j% aacYhacqGH9aqpjqgaGeGae8xFa0NccqGH+aGpcaaIWaGaaiOlaaaa% !7884!\[\inf \{ - \sum\limits_{\alpha :|\alpha | = 2} {c_\alpha } (g)\xi ^{_\alpha } ;g \in G, \xi \in ^{d'} ,|\xi | = \} > 0.\]We prove that if the principal coefficients {c ; ||=2} of the subelliptic operator are once left differentiable in the directions a ₁,...,a _d with bounded derivatives, then the operator has a family of semigroup generator extensions on the L _p-spaces with respect to left Haar measure dg, or right Haar measure d, and the corresponding semigroups S are given by a positive integral kernel,% MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXafv3ySLgzGmvETj2BSbqefm0B1jxALjhiov2D% aebbfv3ySLgzGueE0jxyaibaiGc9yrFr0xXdbba91rFfpec8Eeeu0x% Xdbba9frFj0-OqFfea0dXdd9vqaq-JfrVkFHe9pgea0dXdar-Jb9hs% 0dXdbPYxe9vr0-vr0-vqpWqaaeaabiGaciaacaqabeaadaqaaqGaaO% qaamXvP5wqonvsaeHbfv3ySLgzaGqbaiab-HcaOGqbciab+nfatnaa% BaaaleaacaWG0baabeaaruqqYLwySbacgiGccaqFgpGae8xkaKIae8% hkaGIae43zaCMae8xkaKIae8xpa0Zaa8qeaeaacaqGKbaaleaacqGF% hbWraeqaniabgUIiYdGcceWGObGbaKaacaWGlbWaaSbaaSqaaiaads% haaeqaaOGae8hkaGIae43zaCMae43oaSJae4hAaGMae8xkaKIaa0NX% diab-HcaOiab+HgaOjab-LcaPiab-5caUaaa!5DFA!\[(S_t \phi )(g) = \int_G {\rm{d}} \hat hK_t (g;h)\phi (h).\]The semigroups are holomorphic and the kernel satisfies Gaussian upper bounds. If in addition the coefficients with ||=2 are three times differentiable and those with ||=1 are once differentiable, then the kernel also satisfies Gaussian lower bounds.Some original features of this article are the use of the following: a priori inequalities on L in Section 3, fractional operator expansions for resolvent estimates in Section 4, a parametrix method based on reduction to constant coefficient operators on the Lie group rather than the usual Euclidean space in Section 5, approximation theory of semigroups in Section 11 and time dependent perturbation theory to treat the lower order terms of H in Sections 11 and 12.     

Langlands classification for real Lie groups with reductive Lie algebra

LetG be a (not necessarily connected) real Lie group with reductive Lie algebra. We consider representations ofG which some call admissible but we call them of Harish-Chandra type. We show that any nontempered irreducible Harish-Chandra type representation ofG is infinitesimally equivalent to the Langlands quotient obtained from an essentially unique triple (M, V, ) of Langlands data; while for tempered irreducible Harish-Chandra type representations we prove they are infinitesimally subrepresentations of some induced representations U^V, with imaginary and withV from the quasi-discrete series of a suitableM (perhapsG=M; we define the quasi-discrete series in Definition 4.5 of this paper.We show that irreducible continuous unitary representations of really reductive groups are of Harish-Chandra type. Then the results above yield the canonical decomposition of the unitary spectrum>G for any really reductiveG. In particular, this holds ifG/G ₀ is finite, so the center of the connected semi-simple subgroup with Lie algebra [g, g] may be infinite!Research supported, in part, by the Hungarian National Fund for Scientific Research (grant Nos. 1900 and 2648).     

Classical and quantum Heisenberg groups, their representations and applications

This paper is a survey on classical Heisenberg groups and algebras, q-deformed Heisenberg algebras, q-oscillator algebras, their representations and applications. Describing them, we tried, for the reader's convenience, to explain where the q-deformed case is close to the classical one, and where there are principal differences. Different realizations of classical Heisenberg groups, their geometrical aspects, and their representations are given. Moreover, relations of Heisenberg groups to other linear groups are described. Intertwining operators for different (Schrödinger, Fock, compact) realizations of unitary irreducible representations of Heisenberg groups are given in explicit form. Classification of irreducible representations and representations of the q-oscillator algebra is derived for the cases when q is not a root of unity and when q is a root of unity. The Fock representation of the q-oscillator algebra is studied in detail. In particular, q-coherent states are described. Spectral properties of some operators of the Fock representations of q-oscillator algebras are given. Some of applications of Heisenberg groups and algebras, q-Heisenberg algebras and q-oscillator algebras are briefly described.     

On the realization of Riemannian symmetric spaces in Lie groups

In this paper we give a realization of some symmetric space G/K as a closed submanifold P of G. We also give several equivalent representations of the submanifold P. Some properties of the set gK∩P are also discussed, where gK is a coset space in G.     

On the realization of Riemannian symmetric spaces in Lie groups II

In this paper we generalize a result in [J. An, Z. Wang, On the realization of Riemannian symmetric spaces in Lie groups, Topology Appl. 153 (7) (2005) 1008-1015, showing that an arbitrary Riemannian symmetric space can be realized as a closed submanifold of a covering group of the Lie group defining the symmetric space. Some properties of the subgroups of fixed points of involutions are also proved.     

Fundamental solution for the Q-Laplacian and sharp Moser-Trudinger inequality in Carnot groups

For a general Carnot group G with homogeneous dimension Q we prove the existence of a fundamental solution of the Q-Laplacian u_Q and a constant a_Q>0 such that exp(−a_Qu_Q) is a homogeneous norm on G. This implies a representation formula for smooth functions on G which is used to prove the sharp Carnot group version of the celebrated Moser-Trudinger inequality.     

Unitarizability of a certain class of irreducible representations of classical groups

We prove that a certain class of irreducible representations of the classical p-adic groups is unitarizable and in general, can be isolated in the unitary dual. These representations are Aubert duals of a certain class of square-integrable representations, thus, in this case, Bernstein’s conjecture, which states that the Aubert involution preserves unitarizability, is confirmed.     

The spectrum of relativistic atoms according to Bethe and Salpeter and beyond

We review Evans’ contributions to the spectral theory of operators describing relativistic particle systems. We will concentrate on no-pair operators and recent extensions of that work.     

Derivation of Hartreeʼs theory for generic mean-field Bose systems

In this paper we provide a novel strategy to prove the validity of Hartree?s theory for the ground state energy of bosonic quantum systems in the mean-field regime. For the known case of trapped Bose gases, this can be shown using the strong quantum de Finetti theorem, which gives the structure of infinite hierarchies of k-particles density matrices. Here we deal with the case where some particles are allowed to escape to infinity, leading to a lack of compactness. Our approach is based on two ingredients: (1) a weak version of the quantum de Finetti theorem, and (2) geometric techniques for many-body systems. Our strategy does not rely on any special property of the interaction between the particles. In particular, our results cover those of Benguria–Lieb and Lieb–Yau for, respectively, bosonic atoms and boson stars.     

Polar coordinates in Carnot groups

We describe a procedure for constructing ”polar coordinates” in a certain class of Carnot groups. We show that our construction can be carried out in groups of Heisenberg type and we give explicit formulas for the polar coordinate decomposition in that setting. The construction makes use of nonlinear potential theory, specifically, fundamental solutions for the p-sub-Laplace operators. As applications of this result we obtain exact capacity estimates, representation formulas and an explicit sharp constant for the Moser-Trudinger inequality. We also obtain topological and measure-theoretic consequences for quasiregular mappings. Received: 26 June 2001; in final form: 14 January 2002/Published online: 5 September 2002     

Reducible polar representations

In this paper the reducible polar representations of the compact connected Lie groups are classified. It turns out that there only exist “interesting” reducible polar representations of Lie groups of the types A ₃, A ₃×T ¹, B ₃, B ₃×T ¹, D ₄, D ₄×T ¹ and D ₄×A ₁. Up to equivalence, there is just one such representation of the first four Lie groups, there are three reducible polar representations of D ₄ and six of D ₄×T ¹ and D ₄×A ₁, respectively. From this follows immediately the classification of the compact connected subgroups of SO(n) which act transitively on products of spheres. Received: 28 April 2000