Automorphisms on a Lie group contracting modulo a compact subgroup and applications to semistable convolution semigroups

Let ( _t ) _t0 be a -semistable convolution semigroup of probability measures on a Lie groupG whose idempotent ₀ is the Haar measure on some compact subgroupK. Then all the measures ₁ are supported by theK-contraction groupC _K() of the topological automorphism ofG. We prove here the structure theoremC _K()=C()K, whereC() is the contraction group of . Then it turns out that it is sufficient to study semistable convolution semigroups on simply connected nilpotent Lie groups that have Lie algebras with a positive graduation.     

Aperiodische Wahrscheinlichkeitsmaße auf topologischen Gruppen

Several conditions are shown to be equivalent to the aperiodicity of a regular probability measure on a locally compact, separated topological GroupG. In particular, is aperiodic if and only if the sequence ( ( ⁽ⁿ⁾ denoting then-th convolution power of ) is convergent for any nonvoid open subsetU ofG with compact closure. It is always assumed that the support of generatesG as a closed semigroup.     

Sur certaines algèbres associées à une mesure de Guelfand

Let be a Guelfand measure (cf. [A, B]) on a locally compact groupG DenoteL ₁ (G)=*L ₁(G)* the commutative Banach algebra associated to . We show thatL ₁ (G) is semi-simple and give a characterization of the closed ideals ofL ₁ (G). Using the -spherical Fourier transform, we characterize all linear bounded operators inL ₁ (G) which are invariants by -translations (i.e. such that ¹(( _x f) )=( _x ((f)) for eachxG andfL ₁ (G); where _x f(y)=f(xy); x,y G). WhenG is compact, we study the algebraL ₁ (G) and obtain results analogous to ones obtained for the commutative case: we show thatL ₁ (G) is regular, all closed sets of its Guelfand spectrum are sets of synthesis and establish theorems of harmonic synthesis for functions inL _p (G) (p=1,2 or +).

     

Maximal Homomorphic Group Image and Convergence of Convolution Sequences on a Semigroup

Let be a probability measure generating a locally compact semigroup S. If the convolution sequence ⁿ is tight, in particular if S is compact, S admits a closed minimal ideal K. The convergence of ⁿ is characterized in terms of convergence of a homomorphic image (~) ⁿ on a factor group of the compact group G in the Rees–Suschkewitsch decomposition of K.     

On the asymptotic and invariantσ-algebras of random walks on locally compact groups

Summary Consider a random walk of law on a locally compact second countable groupG. Let the starting measure be equivalent to the Haar measure and denote byQ the corresponding Markov measure on the space of pathsG . We study the relation between the spacesL (G , ^a ,Q) andL (G , ⁱ ,Q) where ^a and ⁱ stand for the asymptotic and invariant -algebras, respectively. We obtain a factorizationL (G , ^a ,Q) L (G , ⁱ ,Q)L (C) whereC is a cyclic group whose order (finite or infinite) coincides with the period of the Markov shift and is determined by the asymptotic behaviour of the convolution powers ⁿ.     

Necessary and sufficient conditions for the convergence of convolution products of non-identical distributions on finite abelian semigroups

Given a sequence of probability measures ( _n ) on a finite abelian semigroup, we present necessary and sufficient conditions which guarantee the weak convergence of the convolution products _{k,n k+1}*···* _n (k<n), asn for allk0. These conditions are verifiable in the sense that they are based entirely on the individual measures in the sequence ( _n ).     

D-Domains of attraction of stable measures on stratified Lie groupsof attraction of stable measures on stratified Lie groups

LetG be a stratified Lie group and (_t)_{t 0} be a continuous convolution semigroup of probability measures onG. A probability measurev is said to belong to the -domain of attraction of ₁, if there exists a sequence (a _n ) of positive real numbers such that weakly, where ₁ denotes the natural dilation onG. We prove convergence criteria for discrete convolution semigroups. These are used to obtain a simple necessary and sufficient condition for the existence of sucha _n if (_t)_{t 0} has no Gaussian component. For the proof we introduce the notion of regularly varying measures onG and develop the necessary theory of regular variation.     

A Note on Tortrat Groups

A locally compact group G is called a Tortrat group if for any probability measure on G which is not idempotent, the closure of {gg ^–1 | gG} does not contain any idempotent measure. We show that a connected Lie group G is a Tortrat group if and only if for all gG all eigenvalues of Ad g are of absolute value 1. Together with well-known results this also implies that a connected locally compact group is a Tortrat group if and only if it is of polynomial growth.     

Decay of Concentration Functions for Adapted Probabilities on Discrete Groups

Given a probability measure, , on a locally compact group, necessary and sufficient support conditions which ensure that the concentration functions associated with converge to zero have previously been determined. In this note the rate of this convergence when is adapted on a discrete group G is shown to depend on the volume growth rate of N , the smallest normal subgroup a coset of which contains the support of .     

Absolut stetige Maße auf lokalkompakten Halbgruppen

LetS be a locally compact semigroup. It is shown that if a measure is absolutely continuous and ifS is cancellative, then the measure concentrated on a Borel subsetB ofS (i. e. =(B.)) is also absolutely continuous. Other properties of absolutely continuous measures will be obtained. Moreover we will answer the question when absolutely continuous probability measures exist. This is the case ifS admits an invariant integral on the space of all continuous functions onS with compact support. Another result is the following: If the compact semigroupS has a connected kernel then there exist absolutely continuous probability measures if and only ifS is amenable.     

Semistable measures and limit theorems on real andp-adic groups

For any locally compact groupG, we show that any locally tight homomorphism from a real directed semigroup intoM ¹ (G) (semigroup of probability measures onG) has a shift which extends to a continuous one-parameter semigroup. IfG is ap-adic algebraic group then the above holds even iff is not locally tight. These results are applied to give sufficient conditions for embeddability of some translate of limits of sequences of the form {v _n ^kn } and M ¹ (G) such that ()= ^M , for somek>1 and AutG (cf. Theorems 2.1, 2.4, 3.7).     

Non-closed Lie subgroups of Lie groups

We obtain several homotopy obstructions to the existence of non-closed connected Lie subgroupsH in a connected Lie groupG.First we show that the foliationF(G, H) onG determined byH is transversely complete [4]; moreover, forK the closure ofH inG, F(K, H) is an abelian Lie foliation [2].Then we prove that ₁(K) and ₁(H) have the same torsion subgroup, _n (K)= _n (H) for alln 2, and rank₁(K) — rank₁(H) > codimF(K, H). This implies, for instance, that a contractible (e.g. simply connected solvable) Lie subgroup of a compact Lie group must be abelian. Also, if rank₁(G) 1 then any connected invariant Lie subgroup ofG is closed; this generalizes a well-known theorem of Mal'cev [3] for simply connected Lie groups.Finally, we show that the results of Van Est on (CA) Lie groups [6], [7] provide many interesting examples of such foliations. Actually, any Lie group with non-compact centre is the (dense) leaf of a foliation defined by a closed 1-form. Conversely, when the centre is compact, the latter is true only for (CA) Lie groups (e.g. nilpotent or semisimple).     

Perturbation of Dirichlet forms by measures

Perturbations of a Dirichlet form by measures are studied. The perturbed form –_–+₊ is defined for _– in a suitable Kato class and ₊ absolutely continuous with respect to capacity. L _p-properties of the corresponding semigroups are derived by approximating _– by functions. For treating ₊, a criterion for domination of positive semigroups is proved. If the unperturbed semigroup has L _p -L _q -smoothing properties the same is shown to hold for the perturbed semigroup. If the unperturbed semigroup is holomorphic on L ₁ the same is shown to be true for the perturbed semigroup, for a large class of measures.     

The martin boundary for harmonic functions on groups of automorphisms of a homogeneous tree

Consider a closed subgroup of the automorphism group of a homogeneous treeT, and assume that acts transitively on the vertex set. Suppose that is a probability measure on which has continuous density with respect to Haar measure and whose support is compact open and generates as a closed semigroup. It is shown that the Martin boundary of with respect to the random walk with law coincides with the space of ends ofT. This extends known results for free groups and applies, for example, to the affine group over a non archimedean local field.     

On the dimensions of automorphism groups of eight-dimensional ternary fields,II

LetT be an eight-dimensional, connected, locally compact ternary field and let denote a connected closed Lie subgroup of its automorphism group which is taken with the compact-open topology. It is proved that if the ternary fixed fieldF of is connected, then is either isomorphic to one of the compact Lie groupsG ₂ or SU₃, or the (covering) dimension of is at most 7.     

μ-Reducible Languages

A word w is said to be a primitive word if it cannot be expressed as a power of any other word. A language L consisting of non-empty words is called -reducible if there exists a non-empty word w such that Lw contains only finitely many powers of each primitive word. We show that every regular component, context-free component, local language and every regular language containing no primitive words are -reducible. Languages which are not -reducible are investigated and characterized. We show that every code is -reducible. But there are 2-codes which are not -reducible. The -annihilator of a language L is the set of all non-empty words w such that Lw contains only finitely many powers of each primitive word. This paper also concerns the properties of the -annihilators of languages. The -annihilators of 2-codes and some other languages are investigated and characterized in this paper. The results provide an outline of the relationship between the catenation of languages and the powers of primitive words.     

Selfdecomposable Measures on Simply Connected Nilpotent Groups

The concepts of class L measures and selfdecomposable measures are generalised from vector spaces to simply connected nilpotent groups G. It has been shown that any full class L (probability) measure on G can be decomposed as = ₁* ... * _n, where each _i is a selfdecomposable measure on a subgroup G _i; itself is selfdecomposable under certain additional conditions—for example, when is symmetric. This generalizes a well known result on vector spaces. Some examples of class L measures on G are also constructed.     

The convolution equation of Choquet and Deny on [IN]-groups

Let be a probability measure on a locally compact groupG. A real Borel functionf onG is called -harmonic if it satisfies the convolution equation *f=f. Given that isnonsingular with its translates, we show that the bounded -harmonic functions are constant on a class of groups including the almost connected [IN]-groups. If is nondegenerate and absolutely continuous, we solve the more general equation *= for positive measure on those groups which are metrizable and separable.Supported by Hong Kong RGC Earmarked Grant and CUHK Direct Grant     

Non uniqueness of invariant means for amenable group actions

It is shown, that for the action of a -compact group, being amenable as an abstract discrete group, on a locally compact measure space (X, , ), is not the unique invariant mean. Furthermore, this paper gives a characterisation of probability spaces, having a unique invariant mean for the action of an amenable group.     

On measures that agree on balls

The fundamental result: if and v are two finite Borel measures, defined in the spaceL ^p[0, 1] (1p<) or in C(K) (K is a metric compactum without isolated points), then from the equalities (B)=v(B) for all balls B of radius 1 there follows that =v. In addition, in the spaces C(K) and _p (1p<) from the inequalities (B) v(B) there follows that v.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 177, pp. 122–128, 1989.