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     

Distinguishing labeling of group actions

Suppose Γ is a group acting on a set X. An r-labeling f:X→{1,2,…,r} of X is distinguishing (with respect to Γ) if the only label preserving permutation of X in Γ is the identity. The distinguishing number, D_Γ(X), of the action of Γ on X is the minimum r for which there is an r-labeling which is distinguishing. This paper investigates the relation between the cardinality of a set X and the distinguishing numbers of group actions on X. For a positive integer n, let D(n) be the set of distinguishing numbers of transitive group actions on a set X of cardinality n, i.e., D(n)={D_Γ(X):|X|=n and Γ acts transitively on X}. We prove that . Then we consider the problem of an arbitrary fixed group Γ acting on a large set. We prove that if for any action of Γ on a set Y, for each proper normal subgroup H of Γ, D_H(Y)≤2, then there is an integer n such that for any set X with |X|≥n, for any action of Γ on X with no fixed points, D_Γ(X)≤2.     

A note on sensitivity of semigroup actions

It is well known that for a transitive dynamical system (X,f) sensitivity to initial conditions follows from the assumption that the periodic points are dense. This was done by several authors: Banks, Brooks, Cairns, Davis and Stacey (Am. Math. Mon. 99, 332–334, 1992), Silverman (Rocky Mt. J. Math. 22, 353–375, 1992) and Glasner and Weiss (Nonlinearity 6, 1067–1075, 1993). In the latter article Glasner and Weiss established a stronger result (for compact metric systems) which implies that a transitive non-minimal compact metric system (X,f) with dense set of almost periodic points is sensitive. This is true also for group actions as was proved in the book of Glasner (Ergodic Theory via Joinings, 2003). Our aim is to generalize these results in the frame of a unified approach for a wide class of topological semigroup actions including one-parameter semigroup actions on Polish spaces.     

Regular modules and quasi-lengths over a 3-Kronecker quiver: using Fibonacci numbers

Let Q be a 3-Kronecker quiver (i.e., two vertices and three arrows having the same starting and ending vertices). The dimension vectors of the indecomposable regular representations X such that |X| = |τ ⁱ X| will be studied using the Fibonacci numbers, where |X| denotes the length of X and τ denotes the Auslander–Reiten translation. The quasi-lengths of the indecomposable regular representations with dimension vectors (m, m) and (2m, m) will also be discussed.     

Entropy of Stationary Measures and Bounded Tangential de-Rham Cohomology of Semisimple Lie Group Actions

Let G be a connected noncompact semisimple Lie group with finite center, K a maximal compact subgroup, and X a compact manifold (or more generally, a Borel space) on which G acts. Assume that ν is a μ -stationary measure on X, where μ is an admissible measure on G, and that the G-action is essentially free. We consider the foliation of K\ X with Riemmanian leaves isometric to the symmetric space K\ G, and the associated tangential bounded de-Rham cohomology, which we show is an invariant of the action. We prove both vanishing and nonvanishing results for bounded tangential cohomology, whose range is dictated by the size of the maximal projective factor G/Q of (X, ν). We give examples showing that the results are often best possible. For the proofs we formulate a bounded tangential version of Stokes’ theorem, and establish a bounded tangential version of Poincaré’s Lemma. These results are made possible by the structure theory of semisimple Lie groups actions with stationary measure developed in Nevo and Zimmer [Ann of Math. 156, 565--594]. The structure theory assert, in particular, that the G-action is orbit equivalent to an action of a uniquely determined parabolic subgroup Q. The existence of Q allows us to establish Stokes’ and Poincaré’s Lemmas, and we show that it is the size of Q (determined by the entropy) which controls the bounded tangential cohomology. Supported by BSF and ISF. Supported by BSF and NSF.     

Isomorphism rigidity of irreducible algebraic ℤd-actions

An irreducible algebraic ℤ ^d -actionα on a compact abelian group X is a ℤ ^d -action by automorphisms of X such that every closed, α-invariant subgroup Y⊊X is finite. We prove the following result: if d≥2, then every measurable conjugacy between irreducible and mixing algebraic ℤ ^d -actions on compact zero-dimensional abelian groups is affine. For irreducible, expansive and mixing algebraic ℤ ^d -actions on compact connected abelian groups the analogous statement follows essentially from a result by Katok and Spatzier on invariant measures of such actions (cf. [4] and [3]). By combining these two theorems one obtains isomorphism rigidity of all irreducible, expansive and mixing algebraic ℤ ^d -actions with d≥2. Oblatum 30-IX-1999 & 4-V-2000?Published online: 16 August 2000     

Twisted equivariant K-theory for proper actions of discrete groups

We will make a construction of twisted equivariant K-theory for proper actions of discrete groups by using ideas of Lück and Oliver (Topology 40:585–616, 2001) to expand a construction of Adem and Ruan (Comm. Math. Phys. 237:533–556, 2003).     

On the <Emphasis Type="Italic">C</Emphasis>*-valued triangle equality and inequality in Hilbert <Emphasis Type="Italic">C</Emphasis>*-modules

We prove that for two elements x, y in a Hilbert C*-module V over a C*-algebra the C*-valued triangle equality |x + y| = |x| + |y| holds if and only if 〈x, y〉 = |x| |y|. In addition, if has a unit e, then for every x, y ∊ V and every ɛ > 0 there are contractions u, υ ∊ such that |x + y| ≦ u|x|u* + υ|y|υ* + ɛe.      

Two sided norm estimate of the Bergman projection on <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> spaces

We give some explicit values of the constants C ₁ and C ₂ in the inequality C ₁/sin(π/p) ⩽ |P| _p ⩽ C ₂/sin(π/p) where |P| _p denotes the norm of the Bergman projection on the L ^p space. Partially supported by MNZZS Grant No. ON144010.     

A covering lemma for L(ℝ)

Jensen's celebrated Covering Lemma states that if 0^# does not exist, then for any uncountable set of ordinals X, there is a Y∈L such that X⊆Y and |X| = |Y|. Working in ZF + AD alone, we establish the following analog: If ℝ^# does not exist, then L(ℝ) and V have exactly the same sets of reals and for any set of ordinals X with |X| ≥Θ ^{L (ℝ)}, there is a Y∈L(ℝ) such that X⊆Y and |X| = |Y|. Here ℝ is the set of reals and Θ is the supremum of the ordinals which are the surjective image of ℝ. Received: 29 October 1999 / Published online: 12 December 2001     

On precover classes

Sunto LetG andH be abstract classes of modules. The classH is said to have theG-property if to each infinite cardinal λ there exists a cardinal κ>λ such that for everyF∈H with |F|≥κ and every its submoduleK with |F/K|≤λ there exists a submoduleL ofK such thatF/L/teG and |F/L|<κ. This condition is stronger than the condition (P) requiringL≠0 instead of |F/L|<κ, which was introduced and investigated in [8]. In this note we are going to study the relations of this more general condition to the existence of precovers with respect to some classes of modules. As an application we obtain some sufficient conditions for the existence of σ-torsionfree precovers related to a given hereditary torsion theory σ for the categoryR-mod. This result is closely related to and in some sense extends that of [5]. The research has been partially supported by the Grant Agency of the Czech Republic, grant #GAČR 201/03/0937 and also by the institutional grant MSM 113 200 007.     

<Emphasis Type="Italic">g</Emphasis>-metrizable spaces and the images of semi-metric spaces

In this paper, we prove that a space X is a g-metrizable space if and only if X is a weak-open, π and σ-image of a semi-metric space, if and only if X is a strong sequence-covering, quotient, π and mssc-image of a semi-metric space, where “semi-metric” can not be replaced by “metric”. This project was supported by NNSF of China (No. 10571151 and 10671173).     

General Class of Implicit Variational Inclusions and Graph Convergence on <Emphasis Type="Italic">A</Emphasis>-Maximal Relaxed Monotonicity

Based on the generalized graph convergence, first a general framework for an implicit algorithm involving a sequence of generalized resolvents (or generalized resolvent operators) of set-valued A-maximal monotone (also referred to as A-maximal (m)-relaxed monotone, and A-monotone) mappings, and H-maximal monotone mappings is developed, and then the convergence analysis to the context of solving a general class of nonlinear implicit variational inclusion problems in a Hilbert space setting is examined. The obtained results generalize the work of Huang, Fang and Cho (in J. Nonlinear Convex Anal. 4:301–308, 2003) involving the classical resolvents to the case of the generalized resolvents based on A-maximal monotone (and H-maximal monotone) mappings, while the work of Huang, Fang and Cho (in J. Nonlinear Convex Anal. 4:301–308, 2003) added a new dimension to the classical resolvent technique based on the graph convergence introduced by Attouch (in Variational Convergence for Functions and Operators, Applied Mathematics Series, Pitman, London 1984). In general, the notion of the graph convergence has potential applications to several other fields, including models of phenomena with rapidly oscillating states as well as to probability theory, especially to the convergence of distribution functions on ℜ. The obtained results not only generalize the existing results in literature, but also provide a certain new approach to proofs in the sense that our approach starts in a standard manner and then differs significantly to achieving a linear convergence in a smooth manner.     

On Sobolev infinitesimal rigidity of linear hyperbolic actions on the 2-torus*

Let A be a symmetric hyperbolic matrix in SL(2, ℤ) and Γ the subgroup of SL(2, ℤ) generated by A. We aim to study the infinitesimal rigidity of the standard action of Γ on the torus . More precisely, we will consider the Sobolev W^s–infinitesimal rigidity of this action (that is to determine if the cohomology space H¹(Γ,W^s (T M)) is trivial or not), and show that it is W^s–infinitesimally rigid only if 0 ≤ s < 1. A consequence will be that this action is not C^∞–infinitesimally rigid. *I would like to thank A. El Kacimi for introducing me this problem about which we had many fruitful discussions.     

A Borsuk-Ulam Theorem for compact Lie group actions

Let G be a compact Lie group. Let X, Y be free G-spaces. In this paper, we consider the question of the existence of G-maps f : X → Y . As a consequence, we obtain a theorem about the existence of ℤ_p-coincidence points. *The author was supported by FAPESP of Brazil Grant 01/02226-9.     

On <Emphasis Type="Bold">(c,p)</Emphasis>-pseudostable Random Variables

In (Oleszkiewicz, Lecture Notes in Math. 1807), K. Oleszkiewicz defined a p-pseudostable random variable X as a symmetric random variable for which the following equation holds:

Counting points in hypercubes and convolution measure algebras

It is shown that ifA andB are non-empty subsets of {0, 1} ⁿ (for somenεN) then |A+B|≧(|A||B|)^α where α=(1/2) log₂ 3 here and in what follows. In particular if |A|=2 ^n-1 then |A+A|≧3 ^n-1 which anwers a question of Brown and Moran. It is also shown that if |A| = 2 ^n-1 then |A+A|=3 ^n-1 if and only if the points ofA lie on a hyperplane inn-dimensions. Necessary and sufficient conditions are also given for |A +B|=(|A||B|)^α. The above results imply the following improvement of a result of Talagrand [7]: ifX andY are compact subsets ofK (the Cantor set) withm(X),m(Y)>0 then λ(X+Y)≧2(m(X)m(Y))^α wherem is the usual measure onK and λ is Lebesgue measure. This also answers a question of Moran (in more precise terms) showing thatm is not concentrated on any proper Raikov system.     

Maximal Subsemigroups of Finite Transformation Semigroups K（n, r）

Let Tn be the full transformation semigroup on the n-element set Xn. For an arbitrary integer r such that 2 ≤ r ≤ n-1, we completely describe the maximal subsemigroups of the semigroup K(n, r) = {α∈Tn : |im α| ≤ r}. We also formulate the cardinal number of such subsemigroups which is an answer to Problem 46 of Tetrad in 1969, concerning the number of subsemigroups of Tn.     

Polar actions on Hilbert space

An isometricH-action on a Riemannian manifoldX is calledpolar if there exists a closed submanifoldS ofX that meets everyH-orbit and always meets orbits orthogonally (S is called a section). LetG be a compact Lie group equipped with a biinvariant metric,H a closed subgroup ofG ×G, and letH act onG isometrically by (h ₁,h ₂) ·x = h ₁ xh ₂ ⁻¹ · LetP(G, H) denote the group ofH ¹-pathsg: [0, 1] →G such that (g(0),g (1)) ∈H, and letP(G, H) act on the Hilbert spaceV = H ⁰([0, 1], g) isometrically byg * u = gug ⁻¹ −g′g ⁻¹. We prove that if the action ofH onG is polar with a flat section then the action ofP(G, H) onV is polar. Principal orbits of polar actions onV are isoparametric submanifolds ofV and are infinite-dimensional generalized real or complex flag manifolds. We also note that the adjoint actions of affine Kac-Moody groups and the isotropy action corresponding to an involution of an affine Kac-Moody group are special examples ofP(G, H)-actions for suitable choice ofH andG. Work supported partially by NSF Grant DMS 8903237 and by The Max-Planck-Institut für Mathematik in Bonn.     

Parabolic bundles and representations¶of the fundamental group

Let X be a smooth complex projective variety with Neron–Severi group isomorphic to ℤ, and D an irreducible divisor with normal crossing singularities. Assume 1<r≤ 3. We prove that if π₁(X) doesn't have irreducible PU(r) representations, then π₁(X- D) doesn't have irreducible U(r) representations. The proof uses the non-existence of certain stable parabolic bundles. We also obtain a similar result for GL(2) when D is smooth. Received: 20 December 1999 / Revised version: 7 May 2000