On amenable groups of automorphisms on Von Neumann algebras

LetG ⊂ Aut ℳ be a countable group, ℳ a Von Neumann algebra. LetE be a set of pure states on ℳ such thatG*E ⊂E, S ^G be the set ofG invariant states on ℳ andS _E ^G =S ^G ∩w* cl coE. We investigate in this paper some geometric properties for the setS _E ^G which turn out to be equivalent to amenability for the groupG. For example, we show thatS _E ^G ⊂ ℳ_* (S _E ^G has the WRNP) implies that ℳ contains minimal projections (ê containsfinite G invariant orbits) hold true, for all ℳ iffG is amenable. Furthermore we show that ifG is amenable thenS ^G ∩M _* ^⊥ contains a big set, thus improving results obtained by Ching Chou in [2]. These results imply that no action of an amenable countable groupG on an arbitraryW* algebra ℳ iss — strongly ergodic. Moreover cardS ^G ∩M _* ^⊥ ≧2 ^c (see M. Choda [4], K. Schmidt [21] and compare with A. Connes and B. Weiss [5]). The author gratefully acknowledges the support of an Izaak Walton Killam Memorial Senior Fellowship.     

TheN −1-property of maps and Luzin's condition (N)

A functionf∶G→ℝ ⁿ , whereG is an open set in ℝ ⁿ , has theN ⁻¹-property if for allE⊂ℝ ⁿ we have {|E|=0⇒|f ⁻¹(E)|=0} (|·| is the Lebesgue measure). The article is concerned with the relations between theN ⁻¹-property of functions, the maximal rank of derivatives, and the differentiability almost everywhere of composite functions. Translated fromMatematicheskie Zametki, Vol. 58. No. 3, pp. 411–418, September, 1995.     

A Property About Minimum Edge- and Minimum Clique-Cover of a Graph

 Let G be a graph with n vertices, and denote as γ(G) (as θ(G)) the cardinality of a minimum edge cover (of a minimum clique cover) of G. Let E (let C) be the edge-vertex (the clique-vertex) incidence matrix of G; write then P(E)={x∈ℜ ⁿ :Ex≤1,x≥0}, P(C)={x∈ℜ ⁿ :Cx≤1,x≥0}, α _E (G)=max{1 ^T x subject to x∈P(E)}, and α _C (G)= max{1 ^T x subject to x∈P(C)}. In this paper we prove that if α _E (G)=α _C (G), then γ(G)=θ(G). Received: May 20, 1998?Final version received: April 12, 1999     

Cusp forms

LetG andH ⊂G be two real semisimple groups defined overQ. Assume thatH is the group of points fixed by an involution ofG. Letπ ⊂L ²(H\G) be an irreducible representation ofG and letf επ be aK-finite function. Let Γ be an arithmetic subgroup ofG. The Poincaré seriesP _f(g)=Σ_H∩ΓΓ f(γ{}itg) is an automorphic form on Γ\G. We show thatP _f is cuspidal in some cases, whenH ∩Γ\H is compact. Partially supported by NSF Grant # DMS 9103608.     

Measurable orthogonally additive functions modulo a discrete subgroup

Under appropriate conditions on Abelian topological groups G and H, an orthogonality ⊥ ⊂ G ² and a σ-algebra of subsets of G we decompose an -measurable function f: G → H which is orthogonally additive modulo a discrete subgroup K of H into its continuous additive and continuous quadratic part (modulo K). Research supported by the Silesian University Mathematics Department (Functional Equations on Abstract Structures program — the first author, and Iterative Functional Equations and Real Analysis program — the second author).     

On αβ-sets

A closed setE⊂T is an αβ-set, where α and β are elements of infinite order inT ifE⊂E−α). ∪ (E−β). We give two constructions of “thin” αβ-sets.     

On groups acting by cohomogeneity one on the euclidean space ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

The paper studies closed Lie subgroups G ⊂ Iso(ℝ ⁿ ) acting by cohomogeneity one on ℝ ⁿ and prove that when there is no singular orbit, then there is a simply connected, solvable and closed Lie subgroup F ⊂ G which acts by cohomogeneity one on ℝ ⁿ and the two actions are orbit equivalent.     

Additive summable processes and their stochastic integral

We define and study a class of summable processes, called additive summable processes, that is larger than the class used by Dinculeanu and Brooks [D-B]. We relax the definition of a summable processesX:Ω×ℝ₊→E⊂L(F, G) by asking for the associated measureI _X to have just an additive extension to the predictableσ-algebra ℘, such that each of the measures (I _X) _z , forz∈(L _G ^p )*, beingσ-additive, rather than having aσ-additive extension. We define a stochastic integral with respect to such a process and we prove several properties of the integral. After that we show that this class of summable processes contains all processesX:Ω×ℝ₊→E⊂L(F, G) with integrable semivariation ifc ₀ ∋G.     

Minimal systems of arbitrary large mean topological dimension

Let G be a countable amenable group and P a polyhedron. The mean topological dimension mdim(X,G) of a subshift X ⊂ P ^G is a real number satisfying 0 ≤ mdim(X,G) ≤ dim(P), where dim(P) denotes the usual topological dimension of P. We give a construction of minimal subshifts X ⊂ P ^G with mean topological dimension arbitrarily close to dim(P).     

The relation between the Baum-Connes Conjecture and the Trace Conjecture

We prove a version of the L ²-index Theorem of Atiyah, which uses the universal center-valued trace instead of the standard trace. We construct for G-equivariant K-homology an equivariant Chern character, which is an isomorphism and lives over the ring ℤ⊂λ ^G ⊂ℚ obtained from the integers by inverting the orders of all finite subgroups of G. We use these two results to show that the Baum-Connes Conjecture implies the modified Trace Conjecture, which says that the image of the standard trace K ₀(C ^* _r (G))→ℝ takes values in λ ^G . The original Trace Conjecture predicted that its image lies in the additive subgroup of ℝ generated by the inverses of all the orders of the finite subgroups of G, and has been disproved by Roy [15]. Oblatum 10-IV-2001 & 18-X-2001?Published online: 15 April 2002     

Planar algebra of the subgroup-subfactor

We give an identification between the planar algebra of the subgroupsubfactor R ⋊ H ⊂ R ⋊ G and the G-invariant planar subalgebra of the planar algebra of the bipartite graph ★ _n , where n = [G: H]. The crucial step in this identification is an exhibition of a model for the basic construction tower, and thereafter of the standard invariant of R ⋊ H ⊂ R ⋊ G in terms of operator matrices. We also obtain an identification between the planar algebra of the fixed algebra subfactor R ^G ⊂ R ^H and the G-invariant planar subalgebra of the planar algebra of the ‘flip’ of ★ _n .     

Rigidity problem for lattices in solvable Lie groups

The paper concerns rigidity problem for lattices in simply connected solvable Lie groups. A lattice Γ⊂G is said to be rigid if for any isomorphism ϕ:Γ→Γ′ with another lattice Γ′⊂G there exists an automorphism which extends ϕ. An effective rigidity criterion is proved which generalizes well-known rigidity theorems due to Malcev and Saito. New examples of rigid and nonrigid lattices are constructed. In particular, we construct: a) rigid lattice Γ⊂G which is not Zariski dense in the adjoint representation ofG, b) Zariski dense lattice Γ⊂G which is not rigid, c) rigid virtually nilpotent lattice Γ in a solvable nonnilpotent Lie groupG.     

On pureness in Abelian groups

Torsion-free Abelian groups G and H are called quasi-equal (G ≈ H) if λG ⊂ H ⊂ G for a certain natural number ≈. It is known (see [3]) that the quasi-equality of torsion-free Abelian groups can be represented as the equality in an appropriate factor category. Thus while dealing with certain group properties it is usual to prove that the property under consideration is preserved under the transition to a quasi-equal group. This trick is especially frequently used when the author investigates module properties of Abelian groups; here a group is considered as a left module over its endomorphism ring. On the other hand, a topical problem in the Abelian group theory is the problem of investigation of pureness in the category of Abelian groups (see [4]). We consider the pureness introduced by P. Cohn [2] for Abelian groups as modules over their endomorphism rings. Particularity of the investigation of the properties of pureness for the Abelian group G as the module _E (G)G lies in the fact that this is a more general situation than the investigation of pureness for a unitary module over an arbitrary ring R with the identity element. Indeed, if _R M is an arbitrary unitary left module and M ⁺ is its Abelian group, then each element from R can be identified with an appropriate endomorphism from the ring E(M ⁺) under the canonical ring homomorphism R → E(M ⁺). Then it holds that if _E(M+) N is a pure submodule in _E(M+) M ⁺, then _R N is a pure submodule in _R M. In the present paper the interrelations between pureness, servantness, and quasi-decompositions for Abelian torsion-free groups of finite rank will be investigated. __________ Translated from Fundamentalnaya i Prikladnaya Matematika (Fundamental and Applied Mathematics), Vol. 10, No. 2, pp. 225–238, 2004.     

Pluripolarity of sets with small Hausdorff measure

We show that any set E⊂C ⁿ , n≥ 2, with finite Hausdorff measure? is pluripolar. The result is sharp with respect to the measuring function. The new idea in the proof is to combine a construction from potential theory, related to the real variational integral , , with properties of the pluricomplex relative extremal function for the Bedford–Taylor capacity. Received: 20 May 1999     

Stein extensions of real symmetric spaces and the geometry of the flag manifold

 Let G be a connected semisimple Lie group contained in its simply connected complexification G _C . Let KG∩K _C be a maximal compact subgroup of G. Denote by X _o the unique closed G-orbit in the full flag manifold ℱ and by 𝒪 the unique open K _C -orbit in ℱ. The set consisting of the elements gK _C so that gX _o ⊂𝒪 is an Stein extension of G/K⊂G _C /K _C . There is a universal domain , natural form the point of view of group actions which has been conjectured to be Stein. The main result of this paper is the inclusion . In the second part of the paper I show, under some dominance condition in the parameter, that representations in Dolbeault cohomology can be realized as holomorphic sections of vector bundles over . Received: 9 September 2002 / Revised version: 12 July 2002 / Published online: 8 April 2003 Mathematics Subject Classification (2002): 22E30 Research partially supported by NSF grant DMS-9801605 and DMS 0074991.     

Mutual isomorphisms of translations of a homogeneous flow

Ergodic one-parameter flows (G/Γ,g _ℝ) induced by the left action of a subgroupg _ℝ ⊂G on homogeneous spaces of finite volume are considered. Letℳ ⊂ ℝ⁺ be the set of allt>0 such that the cascade (G/Γ,g _t ℤ) is metrically isomorphic to the cascade (G/Γ,g _ℤ). We prove that eitherℳ is at most countable or the subgroupg _ℝ is horocyclic andℳ=ℝ⁺. We prove that a metric isomorphism of ergodic quasi-unipotent cascades (or flows) is affine on almost all fibers of a certain natural bundle. The result generalizes Witte's theorem on the affinity of such isomorphisms of cascades with the mixing property; this is applied to the study of the structure of the setℳ ⊂ ℝ⁺. The proof is based on the fundamental Ratner theorem stating that the ergodic measures of unipotent cascades are algebraic. Translated fromMatematicheskie Zametki, Vol. 58, No. 1, pp. 98–110, July, 1995. This research was partially supported by the Russian Foundation for Basic Research under grant No. 94-01-00082a and by the International Science Foundation.     

Hyperspaces of nowhere topologically complete spaces

It is proved that ifX is a connected locally continuumwise connected coanalytic nowhere topologically complete space, then the hyperspace 2 ^X of all nonempty compact subsets ofX is strongly universal in the class of all coanalytic spaces. Moreover, 2 ^X is homeomorphic to Π₂ ifX is a Baire space, and toQ∖Π₁ ifX contains a dense absoluteG _δ-setG ⊂X such that the intersectionG ∩U is connected for any open connectedU ⊂X. (Here Π₁, Π₁⊂X are the standard subsets of the Hilbert cubeQ absorbing for the classes of analytic and coanalytic spaces, respectively.) Similar results are obtained for higher projective classes. Translated fromMatematicheskie Zametki, Vol. 62, No. 1, pp. 35–51, July, 1997. Translated by O. V. Sipacheva     

On the Oka principle in a Banach space,II

 Let X be one of the Banach spaces c ₀ , ℓ _p , 1≤p<∞; Ω⊂X pseudoconvex open, a holomorphic Banach vector bundle with a Banach Lie group G ^* for structure group. We show that a suitable Runge-type approximation hypothesis on X, G ^* (which we also prove for G ^* a solvable Lie group) implies the vanishing of the sheaf cohomology groups H ^q (Ω, 𝒪 ^E ), q≥1, with coefficients in the sheaf of germs of holomorphic sections of E. Further, letting 𝒪^Γ (𝒞^Γ) be the sheaf of germs of holomorphic (continuous) sections of a Banach Lie group bundle Γ→Ω with Banach Lie groups G, G ^* for fiber group and structure group, we show that a suitable Runge-type approximation hypothesis on X, G, G ^* (which we prove again for G, G ^* solvable Lie groups) implies the injectivity (and for X=ℓ₁ also the surjectivity) of the Grauert–Oka map H ¹ (Ω, 𝒪^Γ)→H ¹ (Ω, 𝒞^Γ) of multiplicative cohomology sets. Received: 1 March 2002 / Published online: 28 March 2003 Mathematics Subject Classification (2000): 32L20, 32L05, 46G20 RID="*" ID="*" Kedves Laci Móhan kisfiamnak. RID="*" ID="*" To my dear little Son     

Hyperfinite Dimensional Representations of Spaces and Algebras of Measures

Let X be a locally compact topological space and (X, E, X_ω) be any triple consisting of a hyperfinite set X in a sufficiently saturated nonstandard universe, a monadic equivalence relation E on X, and an E-closed galactic set X_ω ⊆ X, such that all internal subsets of X_ω are relatively compact in the induced topology and X is homeomorphic to the quotient X_ω/E. We will show that each regular complex Borel measure on X can be obtained by pushing down the Loeb measure induced by some internal function X ? ^*\Bbb CX \rightarrow {}{^{\ast}{\Bbb C}} . The construction gives rise to an isometric isomorphism of the Banach space M(X) of all regular complex Borel measures on X, normed by total variation, and the quotient M_w(X)/M₀(X){\cal M}_{\omega}(X)/{\cal M}_0(X) , for certain external subspaces M₀(X), M_w(X){\cal M}_0(X), {\cal M}_{\omega}(X) of the hyperfinite dimensional Banach space ^*\Bbb C^X{}{^{\ast}{\Bbb C}}^X , with the norm ‖f‖₁ = ∑_{x ∈ X} |f(x)|. If additionally X = G is a hyperfinite group, X_ω = G_ω is a galactic subgroup of G, E is the equivalence corresponding to a normal monadic subgroup G₀ of G_ω, and G is isomorphic to the locally compact group G_ω/G₀, then the above Banach space isomorphism preserves the convolution, as well, i.e., M(G) and M_w(G)/M₀(G){\cal M}_{\omega}(G)/{\cal M}_0(G) are isometrically isomorphic as Banach algebras.