Elliptic operators on Lie groups

We review the theory of strongly elliptic operators on Lie groups and describe some new simplifications. Let U be a continuous representation of a Lie group G on a Banach space and a ₁,...,a _d a basis of the Lie algebra g of G. Let A _i=dU(a _i) denote the infinitesimal generator of the continuous one-parameter group t U(exp(-ta _i)) and set % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqaqFfpeea0df9GqVa0-% aq0dXdarVe0-yr0RYxir-dbba9q8aq0-qq-He9q8qqQ8fq0-vr0-vr% Y-bdbiqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyqamaaCaaale% qajeaObaGaeyySdegaaOGaeyypa0JaamyqamaaBaaajeaWbaGaaeyA% aaWcbeaajaaOdaWgaaqcbaAaamaaBaaajiaObaGaaiiBaaqabaaaje% aObeaakiaacElacaGG3cGaai4TaiaadgeadaWgaaqcbaCaaiaabMga% aSqabaGcdaWgaaWcbaWaaSbaaKGaahaacaGGUbaameqaaaWcbeaaaa% a!4897!\[A^\alpha = A_{\rm{i}} _{_l } \cdot\cdot\cdotA_{\rm{i}} _{_n } \], where =(i ₁,...,i _n) with _j and set ||=n. We analyze properties of mth order differential operators % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqaqFfpeea0df9GqFj0-% aq0dXdarVe0-yr0RYxir-dbba9q8aq0-qq-He9q8qqQ8fq0-vr0-vr% Y-bdbiqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamisaiabg2da9i% aabccadaaeqaqaaiaadogadaWgaaqcbaCaaiabgg7aHbWcbeaaaKqa% GgaacqGHXoqycaqG7aGaaeiiaiaabYhacqGHXoqycaqG8bGaeyizIm% QaaeyBaaWcbeqdcqGHris5aOGaamyqamaaCaaaleqajeaObaGaeyyS% degaaaaa!4A6C!\[H = {\rm{ }}\sum\nolimits_{\alpha {\rm{; |}}\alpha {\rm{|}} \le {\rm{m}}} {c_\alpha } A^\alpha \] with coefficients c . If H is strongly elliptic, i.e., % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqaqFfpeea0df9GqFj0-% aq0dXdarVe0-yr0RYxir-dbba9q8aq0-qq-He9q8qqQ8fq0-vr0-vr% Y-bdbiqaaeGaciGaaiaabeqaamaabaabaaGcbaGaciOuaiaacwgacq% GH9aqpcaqGGaWaaabeaeaacaGGOaaajeaObaGaeyySdeMaae4oaiaa% bccacaqG8bGaeyySdeMaaeiFaiabg2da9iaab2gaaSqab0GaeyyeIu% oakiaabMgacqaH+oaEcaGGPaWaaWbaaSqabKqaGgaacqGHXoqyaaGc% cqGH+aGpcaaIWaaaaa!4C40!\[{\mathop{\rm Re}\nolimits} = {\rm{ }}\sum\nolimits_{\alpha {\rm{; |}}\alpha {\rm{|}} = {\rm{m}}} ( {\rm{i}}\xi )^\alpha > 0\] for all % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqaqFfpeea0df9GqVa0-% aq0dXdarVe0-yr0RYxir-dbba9q8aq0-qq-He9q8qqQ8fq0-vr0-vr% Y-bdbiqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqOVdGNaeyicI4% SaeSyhHe6aaWbaaSqabeaacaWGKbaaaOGaaiixaiaacUhacaaIWaGa% aiyFaaaa!3EAA!\[\xi \in ^d \backslash \{ 0\} \], then we give a simple proof of the theorem that the closure of H generates a continuous (and holomorphic) semigroup on and the action of the semigroup is determined by a smooth, representation independent, kernel which, together with all its derivatives, satisfies mth order Gaussian bounds.     

Global behavior of the heat kernel associated with certain sub-Laplacians on semisimple Lie groups

We prove global sharp estimates for the heat kernel related to certain sub-Laplacians on a real semisimple Lie group, from which we deduce an estimate for the corresponding Green function.     

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.     

Irreducible decompositions of unitary representations of infinite- dimensional groups

This paper concerns the problem of irreducible decompositions of unitary representations of topological groups G, including the group Diff₀(M) of diffeomorphisms with compact support on smooth manifolds M. It is well known that the problem is affirmative, when G is a locally compact, separable group (cf. [3, 4]). We extend this result to infinite-dimensional groups with appropriate quasi-invariant measures, and, in particular, we show that every continuous unitary representation of Diff₀(M) has an irreducible decomposition under a fairly mild condition. This research was partially supported by a Grant-in-Aid for Scientific Research (No.14540167), Japan Socieity of the Promotion of Science.     

Homogeneous nilmanifolds attached to representations of compact Lie groups

For each compact Lie algebra ? and each real representation V of ? we consider a two-step nilpotent Lie group N(?,V), endowed with a natural left-invariant riemannian metric. The homogeneous nilmanifolds so obtained are precisely those which are naturally reductive. We study some geometric aspects of these manifolds, finding many parallels with H-type groups. We also obtain, within the class of manifolds N(?,V), the first examples of non-weakly symmetric, naturally reductive spaces and new examples of non-commutative naturally reductive spaces. Received: 16 September 1998 / Revised version: 24 February 1999     

On extensions of representations for compact Lie groups

Let H be a closed normal subgroup of a compact Lie group G such that G/H is connected. This paper provides a necessary and sufficient condition for every complex representation of H to be extendible to G, and also for every complex G-vector bundle over the homogeneous space G/H to be trivial. In particular, we show that the condition holds when the fundamental group of G/H is torsion free.     

Joint similarity problems and the generation of operator algebras with bounded length

There is a pair of commuting operators (T ₁,T ₂) on Hilbert space such that eachT ₁ andT ₂ is similar to a contraction but the pair (T ₁,T ₂) is not similar to a pair of contractions. There is a pair of commuting unitarizable representations (₁,₂) on the free group withN2 generators such that (₁,₂) is not similar to a pair of unitary representations. In connection with these examples, we introduce and study a notion of length for aC ^*-algebra (or an operator algebra) generated by two subalgebras, which is analogous to the minimum length of a word in the generators of a group.Partially supported by the N.S.F.     

Quasiregular representations of the infinite-dimensional Borel group

The notion of quasiregular (Representation of Lie groups, Nauka, Moscow, 1983) or geometric (Grundlehren der Mathematischen Wissenschaften, Band 220, Springer, Berlin, New York, 1976; Encyclopaedia of Mathematical Science, Vol. 22, Springer, Berlin, 1994, pp. 1-156) representation is well known for locally compact groups. In the present work an analog of the quasiregular representation for the solvable infinite-dimensional Borel group is constructed and a criterion of irreducibility of the constructed representations is presented. This construction uses G-quasi-invariant Gaussian measures on some G-spaces X and extends the method used in Kosyak (Funktsional. Anal. i Prilo?hen 37 (2003) 78-81) for the construction of the quasiregular representations as applied to the nilpotent infinite-dimensional group .     

On minimal representations of Chevalley groups of type D n , E n and G 2

Let G be a simply connected Chevalley group of type D _n , E _n or G₂. In this paper, we show that the minimal representation of G is unique for types D _n and E _n and it does not exist for the type G₂.     

Hölder continuous homomorphisms between infinite-dimensional Lie groups are smooth

Let f:G→H be a homomorphism between smooth Lie groups modelled on Mackey complete, locally convex real topological vector spaces. We show that if f is Hölder continuous at 1, then f is smooth.     

Every frame is a sum of three (but not two) orthonormal bases—and other frame representations

We show that every frame for a Hilbert space H can be written as a (multiple of a) sum of three orthonormal bases for H. We next show that this result is best possible by including a result of Kalton: A frame can be represented as a linear combination of two orthonormal bases if and only if it is a Riesz basis. We further show that every frame can be written as a (multiple of a) sum of two tight frames with frame bounds one or a sum of an orthonormal basis and a Riesz basis for H. Finally, every frame can be written as a (multiple of a) average of two orthonormal bases for a larger Hilbert space. Acknowledgements and Notes. This research was supported by NSF DMS 9701234. Part of this research was conducted while the author was a visitor at the “Workshop on Linear Analysis and Probability”, Texas A&M University.     

Analogues of Cayley graphs for topological groups

We define for a compactly generated totally disconnected locally compact group a graph, called a rough Cayley graph, that is a quasi-isometry invariant of the group. This graph carries information about the group structure in an analogous way to the ordinary Cayley graph for a finitely generated group. With this construction the machinery of geometric group theory can be applied to topological groups. This is illustrated by a study of groups where the rough Cayley graph has more than one end and a study of groups where the rough Cayley graph has polynomial growth. Supported by project J2245 of the Austrian Science Fund (FWF) and be an IEF Marie Curie Fellowship of the Commission of the European Union.     

Scale functions on $p$-adic Lie groups

Let G be a p-adic Lie group. Then G is a locally compact, totally disconnected group, to which Willis [14] associates its scale function G : G→ℕ. We show that s can be computed on the Lie algebra level. The image of s consists of powers of p. If G is a linear algebraic group over ℚ _p , s(x)=s(h) is determined by the semisimple part h of x∈G. For every finite extension K of ℚ _p , the scale functions of G and H:=G(K) are related by s _H ∣ _G =s _G ^{[ K :ℚ} _p ^]. More generally, we clarify the relations between the scale function of a p-adic Lie group and the scale functions of its closed subgroups and Hausdorff quotients. Received: 20 February 1997; Revised version: 18 May 1998     

A class of Banach algebras whose duals have the Radon-Nikodym property

Let A be a complex, commutative Banach algebra and let M_A be the structure space of A. Assume that there exists a continuous homomorphism h : L¹(G) → A with dense range, where L¹(G) is the group algebra of a locally compact abelian group G. The main results of this paper can be summarized as follows: (a) If the dual space A* has the Radon-Nikodym property, then M_A is scattered (i.e., it has no nonempty perfect subset) and . (b) If the algebra A has an identity, then the space A* has the Radon-Nikodym property if and only if . Furthermore, any of these conditions implies that M_A is scattered. Several applications are given. Received: 29 September 2005     

Limit sets and strengths of convergence for sequences in the duals of thread-like Lie groups

We consider a properly converging sequence of non-characters in the dual space of a thread-like group and investigate the limit set and the strength with which the sequence converges to each of its limits. We show that, if (π _k ) is a properly convergent sequence of non-characters in , then there is a trade-off between the number of limits σ which are not characters, their degrees, and the strength of convergence i _σ to each of these limits (Theorem 3.2). This enables us to describe various possibilities for maximal limit sets consisting entirely of non-characters (Theorem 4.6). In Sect. 5, we show that if (π _k ) is a properly converging sequence of non-characters in and if the limit set contains a character then the intersection of the set of characters (which is homeomorphic to ) with the limit set has at most two components. In the case of two components, each is a half-plane. In Theorem 7.7, we show that if a sequence has a character as a cluster point then, by passing to a properly convergent subsequence and then a further subsequence, it is possible to find a real null sequence (c _k ) (with ) such that, for a in the Pedersen ideal of C ^*(G _N ), exists (not identically zero) and is given by a sum of integrals over .