Invariant functions in Denjoy–Carleman classes

Let V be a real finite dimensional representation of a compact Lie group G. It is well known that the algebra of G-invariant polynomials on V is finitely generated, say by σ ₁, . . . , σ _p . Schwarz (Topology 14:63–68, 1975) proved that each G-invariant C ^∞-function f on V has the form f = F(σ ₁, . . . , σ _p ) for a C ^∞-function F on . We investigate this representation within the framework of Denjoy–Carleman classes. One can in general not expect that f and F lie in the same Denjoy–Carleman class C ^M (with M = (M _k )). For finite groups G and (more generally) for polar representations V, we show that for each G-invariant f of class C ^M there is an F of class C ^N such that f = F(σ ₁, . . . , σ _p ), if N is strongly regular and satisfies

Strong Arens irregularity of Beurling algebras with a locally convex topology

Let G be a locally compact group with a weight function ω. Recently, we have shown that the Banach space L₀^∞ (G,1/ω) can be identified with the strong dual of L¹(G, ω)equipped with some locally convex topologies τ. Here we use this duality to introduce an Arens multiplication on (L¹(G, ω), τ)**, and prove that the topological center of (L¹(G, ω), τ)** is (L¹(G, ω); this enables us to conclude that (L¹(G, ω), τ) is Arens regular if and only if G is discrete. We also give a characterization for Arens regularity of L₀^∞ (G, 1/ω)¹. Received: 8 March 2005     

Harmonic Functions on Homogeneous Spaces

 Given a locally compact group G acting on a locally compact space X and a probability measure σ on G, a real Borel function f on X is called σ-harmonic if it satisfies the convolution equation . We give conditions for the absence of nonconstant bounded harmonic functions. We show that, if G is a union of σ-admissible neighbourhoods of the identity, relative to X, then every bounded σ-harmonic function on X is constant. Consequently, for spread out σ, the bounded σ-harmonic functions are constant on each connected component of a [SIN]-group and, if G acts strictly transitively on a splittable metric space X, then the bounded σ-harmonic functions on X are constant which extends Furstenberg’s result for connected semisimple Lie groups. (Received 13 June 1998; in revised form 31 March 1999)     

Homogenous projective factors for actions of semi-simple Lie groups

We analyze the structure of a continuous (or Borel) action of a connected semi-simple Lie group G with finite center and real rank at least 2 on a compact metric (or Borel) space X, using the existence of a stationary measure as the basic tool. The main result has the following corollary: Let P be a minimal parabolic subgroup of G, and K a maximal compact subgroup. Let λ be a P-invariant probability measure on X, and assume the P-action on (X,λ) is mixing. Then either λ is invariant under G, or there exists a proper parabolic subgroup Q⊂G, and a measurable G-equivariant factor map ϕ:(X,ν)→(G/Q,m), where ν=∫ _K kλdk and m is the K-invariant measure on G/Q. Furthermore, The extension has relatively G-invariant measure, namely (X,ν) is induced from a (mixing) probability measure preserving action of Q. Oblatum 14-X-1997 & 18-XI-1998 / Published online: 20 August 1999     

Exponential actions and maximal ?-invariant ideals

Let V be an exponential ?-module, ? being an exponential Lie algebra. Put ? = exp ?. Then every orbit of V under the action of ? admits a closed orbit in its closure. If G= exp ? is a nilpotent Lie group and ? an exponential algebra of derivations of ?, then ? = exp ? acts on G, L ¹(G), (?) and the maximal ?-invariant ideals of L ¹(G), resp. of (?) coincide with the kernels Ker Ω, resp. Ker Ω∩ (?), where Ω is a closed orbit of ?^*. Received: 6 December 1996 / Revised version: 7 December 1997     

Almost invariant submanifolds for compact group actions

We define a C ¹ distance between submanifolds of a riemannian manifold M and show that, if a compact submanifold N is not moved too much under the isometric action of a compact group G, there is a G-invariant submanifold C ¹-close to N. The proof involves a procedure of averaging nearby submanifolds of riemannian manifolds in a symmetric way. The procedure combines averaging techniques of Cartan, Grove/Karcher, and de la Harpe/Karoubi with Whitney’s idea of realizing submanifolds as zeros of sections of extended normal bundles. Received September 14, 1999 / final version received November 29, 1999     

Degree Sums,Connectivity and Dominating Cycles in Graphs

Let G be a graph of order n with connectivity κ≥3 and let α be the independence number of G. Set σ₄(G)= min{∑⁴ _{i =1} d(x _i ):{x ₁,x ₂,x ₃,x ₄} is an independent set of G}. In this paper, we will prove that if σ₄(G)≥n+2κ, then there exists a longest cycle C of G such that V(G−C) is an independent set of G. Furthermore, if the minimum degree of G is at least α, then G is hamiltonian. Received: July 31, 1998?Final version received: October 4, 2000     

Harmonic Functions on Homogeneous Spaces

 Given a locally compact group G acting on a locally compact space X and a probability measure σ on G, a real Borel function f on X is called σ-harmonic if it satisfies the convolution equation . We give conditions for the absence of nonconstant bounded harmonic functions. We show that, if G is a union of σ-admissible neighbourhoods of the identity, relative to X, then every bounded σ-harmonic function on X is constant. Consequently, for spread out σ, the bounded σ-harmonic functions are constant on each connected component of a [SIN]-group and, if G acts strictly transitively on a splittable metric space X, then the bounded σ-harmonic functions on X are constant which extends Furstenberg’s result for connected semisimple Lie groups.     

Stability of orbit spaces of endomorphisms

In this paper it is first proved that, for a hyperbolic set of aC ¹ (non-invertible) endomorphism of a compact manifold, the dynamical structure of its orbit space (inverse limit space) is stable underC ¹-small perturbations and is semi-stable underC ⁰-small perturbations. It is then proved that if an Axiom A endomorphism satisfies no-cycle condition then its orbit space is Θ-stable andR-stable underC ¹-small perturbations and is semi-Θ-stable and semi-R-stable underC ⁰-small perturbations. This research is supported by the National Natural Science Foundation of China     

The existence of invariantσ-finite measures for a group of transformations

SupposeG is a group of measurable transformations of aσ-finite measure space (X, A, m). The main result of this paper gives necessary and sufficient conditions for the existence of aG-invariant,σ-finite measure defined onA and dominating the measurem in the sense of absolute continuity. An example is also given of aσ-finite nonatomic measure space (X, A, m) together with a countable groupG of its measurable transformations such that noG-invariant,σ-finite nonatomic measure exists onA. Whether the Lebesgue space ([0, 1],L, λ) provides such an example, depends on set-theoretic assumptions. This paper was written while the author was visiting the Technische Universitat Berlin as a research fellow of the Alexander von Humboldt Foundation.     

Universal spaces for the subdifferentials of sublinear operators with values in the spaces of continuous functions

Given a continuous sublinear operator P: V → C(X) from a Hausdorff separable locally convex space V to the Banach space C(X) of continuous functions on a compact set X we prove that the subdifferential ∂P at zero is operator-affinely homeomorphic to the compact subdifferential ∂ ^c Q, i.e., the subdifferential consisting only of compact linear operators, of some compact sublinear operator Q: ł² → C(X) from a separable Hilbert space ł², where the spaces of operators are endowed with the pointwise convergence topology. From the topological viewpoint, this means that the space L ^c (ł², C(X)) of compact linear operators with the pointwise convergence topology is universal with respect to the embedding of the subdifferentials of sublinear operators of the class under consideration.     

Markov processes associated with L p -resolvents and applications to stochastic differential equations on Hilbert space

We give general conditions on a generator of a C₀-semigroup (resp. of a C₀-resolvent) on L^p(E,μ), p ≥ 1, where E is an arbitrary (Lusin) topological space and μ a σ-finite measure on its Borel σ-algebra, so that it generates a sufficiently regular Markov process on E. We present a general method how these conditions can be checked in many situations. Applications to solve stochastic differential equations on Hilbert space in the sense of a martingale problem are given. Dedicated to Giuseppe Da Prato on the occasion of his 70th birthday     

Dissipation of Convolution Powers in a Metric Group

In contrast to what is known about probability measures on locally compact groups, a metric group G can support a probability measure μ which is not carried on a compact subgroup but for which there exists a compact subset C⊆G such that the sequence μ ⁿ (C) fails to converge to zero as n tends to ∞. A noncompact metric group can also support a probability measure μ such that supp μ=G and the concentration functions of μ do not converge to zero. We derive a number of conditions which guarantee that the concentration functions in a metric group G converge to zero, and obtain a sufficient and necessary condition in order that a probability measure μ on G satisfy lim  _n→∞ μ ⁿ (C)=0 for every compact subset C⊆G. Supported by an NSERC Grant.     

Topological *-algebras withC*-enveloping algebras II

UniversalC*-algebrasC*(A) exist for certain topological *-algebras called algebras with aC*-enveloping algebra. A Frechet *-algebraA has aC*-enveloping algebra if and only if every operator representation ofA mapsA into bounded operators. This is proved by showing that every unbounded operator representation π, continuous in the uniform topology, of a topological *-algebraA, which is an inverse limit of Banach *-algebras, is a direct sum of bounded operator representations, thereby factoring through the enveloping pro-C*-algebraE(A) ofA. Given aC*-dynamical system (G,A,α), any topological *-algebraB containingC _c (G,A) as a dense *-subalgebra and contained in the crossed productC*-algebraC*(G,A,α) satisfiesE(B) =C*(G,A,α). IfG = ℝ, ifB is an α-invariant dense Frechet *-subalgebra ofA such thatE(B) =A, and if the action α onB ism-tempered, smooth and by continuous *-automorphisms: then the smooth Schwartz crossed productS(ℝ,B,α) satisfiesE(S(ℝ,B,α)) =C*(ℝ,A,α). WhenG is a Lie group, theC ^∞-elementsC ^∞(A), the analytic elementsC ^ω(A) as well as the entire analytic elementsC ^є(A) carry natural topologies making them algebras with aC*-enveloping algebra. Given a non-unitalC*-algebraA, an inductive system of idealsI _α is constructed satisfyingA =C*-ind limI _α; and the locally convex inductive limit ind limI _α is anm-convex algebra with theC*-enveloping algebraA and containing the Pedersen idealK _a ofA. Given generatorsG with weakly Banach admissible relationsR, we construct universal topological *-algebraA(G, R) and show that it has aC*-enveloping algebra if and only if (G, R) isC*-admissible.     

Sobolev embeddings into BMO, VMO, andL ∞

LetX be a rearrangement-invariant Banach function space onR ⁿ and letV ¹ X be the Sobolev space of functions whose gradient belongs toX. We give necessary and sufficient conditions onX under whichV ¹ X is continuously embedded into BMO or intoL _∞. In particular, we show thatL _{n, ∞} is the largest rearrangement-invariant spaceX such thatV ¹ X is continuously embedded into BMO and, similarly,L _{n, 1} is the largest rearrangement-invariant spaceX such thatV ¹ X is continuously embedded intoL _∞. We further show thatV ¹ X is a subset of VMO if and only if every function fromX has an absolutely continuous norm inL _{n, ∞} . A compact inclusion ofV ¹ X intoC ⁰ is characterized as well.     

Homogeneous Riemannian manifolds of positive Ricci curvature

We prove that a homogeneous effective spaceM=G/H, whereG is a connected Lie group andH⊂G is a compact subgroup, admits aG-invariant Riemannian metric of positive Ricci curvature if and only if the spaceM is compact and its fundamental group π₁(M) is finite (in this case any normal metric onG/H is suitable). This is equivalent to the following conditions: the groupG is compact and the largest semisimple subgroupLG⊂G is transitive onG/H. Furthermore, ifG is nonsemisimple, then there exists aG-invariant fibration ofM over an effective homogeneous space of a compact semisimple Lie group with the torus as the fiber. Translated fromMatematicheskie Zametki, Vol. 58, No. 3, pp. 334–340, September, 1995.     

Topological Structure of the Set of Weighted Composition Operators on Weighted Bergman Spaces of Infinite Order

We consider the topological space of all weighted composition operators on weighted Bergman spaces of infinite order endowed with the operator norm. We show that the set of compact weighted composition operators is path connected. Furthermore, we find conditions to ensure that two weighted composition operators are in the same path connected component if the difference of them is compact. Moreover, we compare the topologies induced by L(H^∞) and L(H^∞_v) on the space of bounded composition operators and give a sufficient condition for a composition operator to be isolated.     

Bands of invariantly extensible measures

Given two σ-algebrasU ⊂A, invariant under a fixed semigroupG of transformations, the following subsetC of the lattice coneM (U) _G ofG-invariant finite measures onU is shown to be (the positive part of) a band inM (U) _G : AG-invariant measure μ belongs toC iff the setexM Bμ) _G of extremalG-invariant extensions of μ toB is non-empty and eachG-invariant extensionv of μ admits a barycentric decompositionv=→v′ρ(dv′) with some representing probability ρ onexM U μ) _G .—Any band of extensible measures allows to study the corresponding extension problem locally.     

On some special measures on βG

LetG be a discrete abelian group,Ĝ the character group ofG, andl ^∞(G)^* the conjugate ofl ^∞(G) equipped with an Arens product. In many cases, we can find unitary functionsf such that χf is almost convergent to zero for all χ∈Ĝ. Some of these functions are then used to produce elements μ∈l ^∞(G)^* such that γμ=0 whenever γ is an annihilator ofC ₀(G). Regarded as Borel measures on βG, these elements satisfyxμ=0 for allx∈βG/G. They belong to the radical ofl ^∞(G)^*, and each of them generates a left ideal ofl ^∞(G)^* that contains no minimal left ideal.     

Positively expansive differentiable maps

We study the space of positively expansive differentiable maps of a compact connected C ∞ Riemannian manifold without boundary. It is proved that （i） the C1-interior of the set of positively expansive differentiable maps coincides with the set of expanding maps, and （ii） Cl-generically, a differentiable map is positively expansive if and only if it is expanding.