Purity and Equational Compactness of Projection Algebras

The notions of purity and equational compactness of universal algebras have been studied by Banaschewski and Nelson. Also, Banaschewski deals with these notions in the special case of G-sets for a group G. In this paper we study these and related concepts in the category PRO of projection algebras, that is in N -sets, for the monoid N with the binary operation m.n=min{m,n}. We show that every monomorphism in PRO is pure and hence every equationally compact projection algebra is in fact injective. Then, we introduce the notions of s-purity and s-compactness by which we characterize the retractions and hence equationally compact projection algebras. And, among other results, we show that equationally compact, injective, and complete projection algebras are the same. Finally, we characterize (pure-)essential monomorphisms and construct the Equationally Compact Hulls, equivalently the Injective Hulls, of projection algebras. These results, among other things, generalize the main results of Guili, regarding completeness and s-injectivity in the category PRO _s of separated projection algebras.     

On a spectral sequence for equivariant K-theory

We apply the “homotopy coniveau” machinery developed by the first-named author to the K-theory of coherent G-sheaves on a finite type G-scheme X over a field, where G is a finite group. This leads to a definition of G-equivariant higher Chow groups (different from the Chow groups of classifying spaces constructed by Totaro and generalized to arbitrary X by Edidin–Graham) and an Atiyah–Hirzebruch spectral sequence from the G-equivariant higher Chow groups to the higher K-theory of coherent G-sheaves on X. This spectral sequence generalizes the spectral sequence from motivic cohomology to K-theory constructed by Bloch–Lichtenbaum and Friedlander–Suslin. The first-named author gratefully acknowledges the support of the Humboldt Foundation through the Wolfgang Paul Program, and support of the NSF via grants DMS-0140445 and DMS-0457195.     

Equations and algebraic geometry over profinite groups

The notion of an equation over a profinite group is defined, as well as the concepts of an algebraic set and of a coordinate group. We show how to represent the coordinate group as a projective limit of coordinate groups of finite groups. It is proved that if the set π(G) of prime divisors of the profinite period of a group G is infinite, then such a group is not Noetherian, even with respect to one-variable equations. For the case of Abelian groups, the finiteness of a set π(G) gives rise to equational Noetherianness. The concept of a standard linear pro-p-group is introduced, and we prove that such is always equationally Noetherian. As a consequence, it is stated that free nilpotent pro-p-groups and free metabelian pro-p-groups are equationally Noetherian. In addition, two examples of equationally non-Noetherian pro-p-groups are constructed. The concepts of a universal formula and of a universal theory over a profinite group are defined. For equationally Noetherian profinite groups, coordinate groups of irreducible algebraic sets are described using the language of universal theories and the notion of discriminability.     

Simplicity of stable principal sheaves

Let M be a compact connected Kähler manifold, and let Gbe a connected complex reductive linear algebraic group. Weprove that a principal G-sheaf on M admits an admissible Einstein–Hermitianconnection if and only if the principal G-sheaf is polystable.Using this it is shown that the holomorphic sections of theadjoint vector bundle of a stable principal G-sheaf on M aregiven by the center of the Lie algebra of G. The Bogomolov inequalityis shown to be valid for polystable principal G-sheaves.     

On properties of <Emphasis Type="Italic">G</Emphasis>-expansive homeomorphisms

We show that LUB of the set of G-expansive constants for a G-expansive homeomorphism h on a compact metric G-space, G compact, is not a G-expansive constant for h. We obtain a result regarding projecting and lifting of G-expansive homeomorphisms having interesting applications. We also prove that the G-expansiveness is a dynamical property for homeomorphisms on compact metric G-spaces and study G-periodic points.     

Characterizing compact Clifford semigroups that embed into convolution and functor-semigroups

We study algebraic and topological properties of the convolution semigroup of probability measures on a topological groups and show that a compact Clifford topological semigroup S embeds into the convolution semigroup P(G) over some topological group G if and only if S embeds into the semigroup exp(G)\exp(G) of compact subsets of G if and only if S is an inverse semigroup and has zero-dimensional maximal semilattice. We also show that such a Clifford semigroup S embeds into the functor-semigroup F(G) over a suitable compact topological group G for each weakly normal monadic functor F in the category of compacta such that F(G) contains a G-invariant element (which is an analogue of the Haar measure on G).     

Essential subgroups of topological groups

We study the class Wof Hausdorff topological groups Gfor which the following two cardinal invariants coincide

ES(G)=min{|H|:H≤ Gdense and essential}

TD(G)=min{|H|:H≤ Gtotally dense}

We prove that W contains the following classes:locally compact abelian groups, compact connected groups, countably compact totally discon¬nected abelian groups, topologically simple groups, locally compact Abelian groups when endowed with their Bohr topology, totally minimal abelian groups and free Abelian topological groups. For all these classes we are also able to giv ean explicit computation of the common value of ESand TD.     

On the homology of compact spaces by using non-standard methods

It is proved that strong and ?ech homology theories coincide for compact pairs and coefficients in an equationally compact group or in the non-standard group for any abelian group G. It is also proved that McCord homology has compact supports to a reasonable degree. Furthermore, the equality of the homology classes of point embeddings into the 2-adic solenoid is studied using non-standard methods.     

Nonnegatively curved fixed point homogeneous 5-manifolds

Let G be a compact Lie group acting effectively by isometries on a compact Riemannian manifold M with nonempty fixed point set Fix(M, G). We say that the action is fixed point homogeneous if G acts transitively on a normal sphere to some component of Fix(M, G), equivalently, if Fix(M, G) has codimension one in the orbit space of the action. We classify up to diffeomorphism closed, simply connected 5-manifolds with nonnegative sectional curvature and an effective fixed point homogeneous isometric action of a compact Lie group.     

Low dimensional actions of semisimple groups

For a simple non-compact Lie groupG with finite center we determine the smallest integern(G) such thatG has an almost effective action on a compact manifold of dimensionn(G) and characterize the compact manifolds of dimensionn(G) on whichG acts. We study actions of a semisimple groupG on compact manifolds of dimensionn(G)+1 and determine the orbit structure of the action ofG and its maximal compact subgroup. We give several examples to illustrate the results. This work was supported by an NSF postdoctoral Research Fellowship. An erratum to this article is available at .     

Anosov representations: domains of discontinuity and applications

The notion of Anosov representations has been introduced by Labourie in his study of the Hitchin component for SL(n,R). Subsequently, Anosov representations have been studied mainly for surface groups, in particular in the context of higher Teichmüller spaces, and for lattices in SO(1,n). In this article we extend the notion of Anosov representations to representations of arbitrary word hyperbolic groups and start the systematic study of their geometric properties. In particular, given an Anosov representation Γ→G we explicitly construct open subsets of compact G-spaces, on which Γ acts properly discontinuously and with compact quotient.     

Classical theorems of probability on Gelfand pairs—Khinchin’s theorems and Cramér’s theorem

We prove Khinchin’s Theorems for Gelfand pairs (G, K) satisfying a condition (*): (a)G is connected; (b)G is almost connected and Ad (G/M) is almost algebraic for some compact normal subgroupM; (c)G admits a compact open normal subgroup; (d) (G,K) is symmetric andG is 2-root compact; (e)G is a Zariski-connectedp-adic algebraic group; (f) compact extension of unipotent algebraic groups; (g) compact extension of connected nilpotent groups. In fact, condition (*) turns out to be necessary and sufficient forK-biinvariant measures on aforementioned Gelfand pairs to be Hungarian. We also prove that Cramér’s theorem does not hold for a class of Gaussians on compact Gelfand pairs. This author was supported by the European Commission (TMR 1998–2001 Network Harmonic Analysis).     

Factorization of Cosine Functions on Compact Connected Groups

Based on the structure theorem of compact connected groups, the following factorization theorem is obtained in this paper: if a compact connected group G has direct factors isomorphic to SU(2), then non-classical cosine functions on G exist and each of them factors through one of these direct factors; otherwise, all cosine functions on G are classical. On the other hand, all cosine functions on SU(2) are obtained using some techniques on functional equations. Our main tools are from the structure theory of semisimple Lie groups.     

Amenability and weak amenability of the Fourier algebra

Let G be a locally compact group. We show that its Fourier algebra A(G) is amenable if and only if G has an abelian subgroup of finite index, and that its Fourier–Stieltjes algebra B(G) is amenable if and only if G has a compact, abelian subgroup of finite index. We then show that A(G) is weakly amenable if the component of the identity of G is abelian, and we prove some partial results towards the converse.Research supported by NSERC under grant no. 90749-00.Research supported by NSERC under grant no. 227043-00.     

Potential Operators in Weighted Herz-Type Spaces over Locally Compact Vilenkin Groups

Let G be a bounded locally compact Vilenkin group. We study the boundedness of potential operators and the maximal operators associated with them in the weighted Herz space, the weighted Hardy space and the weighted Herz-type Hardy space over G. We also discuss the boundedness of these operators on the weighted weak Lebesgue space and the weighted weak Herz space whose sharpness are also discussed. This revised version was published online in June 2006 with corrections to the Cover Date.     

Invariant Metrics on G-Spaces

Let X be a G-space such that the orbit space X/G is metrizable. Suppose a family of slices is given at each point of X. We study a construction which associates, under some conditions on the family of slices, with any metric on X/G an invariant metric on X. We show also that a family of slices with the required properties exists for any action of a countable group on a locally compact and locally connected metric space.     

Some finiteness results for groups with bounded algebraic entropy

We prove that the number of elements of any generating set S of a discrete group G is bounded from above if we assume that the algebraic entropy of G with respect to S is smaller than some universal constant and the existence of a finite index subgroup of G with hyperbolicity properties. We deduce some finiteness results for the pairs (G, S) when G is a word-hyperbolic group or the fundamental group of a compact Riemannian manifold.     

Calderón – Zygmund Operators on Weighted Weak Hardy Spaces in Locally Compact Vilenkin Groups

Let G be a bounded locally compact Vilenkin group. We study the atomic decom‐position of weighted weak Hardy space. We also define several Calderón – Zygmund type operators and study their boundedness on, spaces like weighted Hardy spaces, weighted weak Hardy spaces and weighted weak Lebesgue spaces. Sharpness of some of our results is also discussed.     

Linear embeddings of semialgebraic G-spaces

Let G be a compact semialgebraic linear group. We prove that every regular semialgebraic G-space admits a semialgebraic G-embedding into some semialgebraic orthogonal representation space of G. Received: 9 January 2001; in final form: 17 August 2001 / Published online: 28 February 2002     

Geodesic symmetries of homogeneous Kähler Manifolds

D'Atri and Nickerson [6], [7] have given necessary conditions for the geodesic symmetries of a Riemannian manifold to preserve the volume element. We use their results to show that ifG is a compact simple Lie group,T is a maximal torus ofG, andG/T is not symmetric, then anyG-invariant Kähler metric onG/T does not have volume-preserving geodesic symmetries. From the Kähler/de Rham decomposition of a compact homogeneous Kähler manifold [8], our result extends to the invariant Kähler metrics on a quotient of a compact connected Lie group by a maximal torus. In proving these results we compute directly the Ricci tensor of anyG-invariant Kähler metric onG/T forG compact connected andT a maximal torus ofG. The result is an explicit formula giving the value of the Ricci tensor elements in terms of the root structure of the Lie algebra ofG.