Dense subsets of maximally almost periodic groups

A (discrete) group is said to be maximally almost periodic if the points of are distinguished by homomorphisms into compact Hausdorff groups. A Hausdorff topology on a group is totally bounded if whenever there is such that . For purposes of this abstract, a family with a totally bounded topological group is a strongly extraresolvable family if (a)  \vert G\vert$">, (b) each is dense in , and (c) distinct satisfy ; a totally bounded topological group with such a family is a strongly extraresolvable topological group.

We give two theorems, the second generalizing the first.

Theorem 1. Every infinite totally bounded group contains a dense strongly extraresolvable subgroup.

Corollary. In its largest totally bounded group topology, every infinite Abelian group is strongly extraresolvable.

Theorem 2. Let be maximally almost periodic. Then there are a subgroup of and a family such that

(i) is dense in every totally bounded group topology on ;

(ii) the family is a strongly extraresolvable family for every totally bounded group topology on such that ; and

(iii) admits a totally bounded group topology as in (ii).

Remark. In certain cases, for example when is Abelian, one must in Theorem 2 choose . In certain other cases, for example when the largest totally bounded group topology on is compact, the choice is impossible.

     

Types in reductive -adic groups: The Hecke algebra of a cover

In this paper, is a non-Archimedean local field and is the group of -points of a connected reductive algebraic group defined over . Also, is an irreducible representation of a compact open subgroup of , the pair being a type in . The pair is assumed to be a cover of a type in a Levi subgroup of . We give conditions, generalizing those of earlier work, under which the Hecke algebra is the tensor product of a canonical image of and a sub-algebra , for a compact open subgroup of containing .

     

Serial subalgebras of finitary Lie algebras

A Lie subalgebra of is said to be finitary if it consists of elements of finite rank. We show that, if acts irreducibly on , and if is infinite-dimensional, then every non-trivial ascendant Lie subalgebra of acts irreducibly on too. When , it follows that the locally solvable radical of such is trivial. In general, locally solvable finitary Lie algebras over fields of characteristic are hyperabelian.

     

A new construction of semi-free actions on Menger manifolds

A new construction of semi-free actions on Menger manifolds is presented. As an application we prove a theorem about simultaneous coexistence of countably many semi-free actions of compact metric zero-dimensional groups with the prescribed fixed-point sets: Let be a compact metric zero-dimensional group, represented as the direct product of subgroups , a -manifold and (resp., ) its pseudo-interior (resp., pseudo-boundary). Then, given closed subsets of , there exists a -action on such that (1) and are invariant subsets of ; and (2) each is the fixed point set of any element .

     

Finite groups and the fixed points of coprime automorphisms

Let be a prime, and let be a finite -group acted on by an elementary abelian -group . The following results are proved:

1. If and is nilpotent of class at most for any , then the group is nilpotent of -bounded class.

2. If and is nilpotent of class at most for any , then the derived group is nilpotent of -bounded class.

     

On the Lipschitz classification of normed spaces, unit balls, and spheres

For every normed space , we note its closed unit ball and unit sphere by and , respectively. Let and be normed spaces such that is Lipschitz homeomorphic to , and is Lipschitz homeomorphic to .

We prove that the following are equivalent:

1. is Lipschitz homeomorphic to .

2. is Lipschitz homeomorphic to .

3. is Lipschitz homeomorphic to .

This result holds also in the uniform category, except (2 or 3) 1 which is known to be false.

     

Sufficient conditions for a linear functional to be multiplicative

A commutative Banach algebra is said to have the property if the following holds: Let be a closed subspace of finite codimension such that, for every , the Gelfand transform has at least distinct zeros in , the maximal ideal space of . Then there exists a subset of of cardinality such that vanishes on , the set of common zeros of . In this paper we show that if is compact and nowhere dense, then , the uniform closure of the space of rational functions with poles off , has the property for all . We also investigate the property for the algebra of real continuous functions on a compact Hausdorff space.

     

A remark on a theorem of J. Tits

Let be a rank two Chevalley group and be the corresponding Moufang polygon. J. Tits proved that is the universal completion of the amalgam formed by three subgroups of : the stabilizer of a point of , the stabilizer of a line incident with , and the stabilizer of an apartment passing through and . We prove a slightly stronger result, in which the exact structure of is not required. Our result can be used in conjunction with the ``weak -pair" theorem of Delgado and Stellmacher in order to identify subgroups of finite groups generated by minimal parabolics.

     

Line bundles for which a projectivized jet bundle is a product

We characterize the triples , consisting of line bundles and on a complex projective manifold , such that for some positive integer , the -th holomorphic jet bundle of , , is isomorphic to a direct sum .

     

Unbounded quasi-integrals

Let be a locally compact Hausdorff space. We define a quasi-measure in , a quasi-integral on , and a quasi-integral on . We show that all quasi-integrals on are bounded, continuity properties of the quasi-integral on , representation of quasi-integrals on in terms of quasi-measures, and unique extension of quasi-integrals on to .

     

A short proof of ergodicity of Babillot-Ledrappier measures

Let be a compact manifold, and let be a transitive homologically full Anosov flow on . Let be a -cover for , and let be the lift of to . Babillot and Ledrappier exhibited a family of measures on , which are invariant and ergodic with respect to the strong stable foliation of . We provide a new short proof of ergodicity.

     

Approximating discrete valuation rings by regular local rings

Let be a field of characteristic zero and let be a discrete rank-one valuation domain containing with . Assume that the fraction field of has finite transcendence degree over . For every positive integer , we prove that can be realized as a directed union of regular local -subalgebras of of dimension .

     

Subsemivarieties of -algebras

A variety is a class of Banach algebras , for which there exists a family of laws such that is precisely the class of all Banach algebras which satisfies all of the laws (i.e. for all , . We say that is an -variety if all of the laws are homogeneous. A semivariety is a class of Banach algebras , for which there exists a family of homogeneous laws such that is precisely the class of all Banach algebras , for which there exists 0$"> such that for all homogeneous polynomials , , where . However, there is no variety between the variety of all -algebras and the variety of all -algebras, which can be defined by homogeneous laws alone. So the theory of semivarieties and the theory of varieties differ significantly. In this paper we shall construct uncountable chains and antichains of semivarieties which are not varieties.

     

A matrix-valued Choquet-Deny theorem

Let be a positive matrix-valued measure on a locally compact abelian group such that is the identity matrix. We give a necessary and sufficient condition on for the absence of a bounded non-constant matrix-valued function on satisfying the convolution equation . This extends Choquet and Deny's theorem for real-valued functions on .

     

Iterative approximation of fixed points of Lipschitz pseudocontractive maps

Let be a -uniformly smooth Banach space possessing a weakly sequentially continuous duality map (e.g., ). Let be a Lipschitzian pseudocontractive selfmapping of a nonempty closed convex and bounded subset of and let be arbitrary. Then the iteration sequence defined by , converges strongly to a fixed point of , provided that and have certain properties. If is a Hilbert space, then converges strongly to the unique fixed point of closest to .

     

On classification of polarized varieties with non-integral nef values

Let be an -dimensional normal projective variety with only Gorenstein, terminal, -factorial singularities. Let be an ample line bundle on . Let denote the nef value of . The classification of via the nef value morphism is given for the situations when satisfies or .

     

Irreducible restriction and zeros of characters

Let be a finite group, let be normal in and suppose that is an irreducible complex character of . Then is not irreducible if and only if vanishes on some coset of in .

     

Single elements of finite CSL algebras

An element of an (abstract) algebra is a single element of if and imply that or . Let be a real or complex reflexive Banach space, and let be a finite atomic Boolean subspace lattice on , with the property that the vector sum is closed, for every . For any subspace lattice the single elements of Alg are characterised in terms of a coordinatisation of involving . (On separable complex Hilbert space the finite distributive subspace lattices which arise in this way are precisely those which are similar to finite commutative subspace lattices. Every distributive subspace lattice on complex, finite-dimensional Hilbert space is of this type.) The result uses a characterisation of the single elements of matrix incidence algebras, recently obtained by the authors.

     

Invariant projections and convolution operators

We prove the existence of invariant projections from the Banach space of -pseudomeasures onto with for closed neutral subgroup of a locally compact group . As a main application we obtain that every closed neutral subgroup is a set of -synthesis in and in fact locally -Ditkin in . We also obtain an extension theorem concerning the Fourier algebra.