The exposed points of the set of invariant means on an ideal

Let be a -compact locally compact nondiscrete group and let be a -invariant ideal of . We denote the set of left invariant means on that are zero on (i.e. for all ) by . We show that, when is amenable as a discrete group and the closed -invariant subset of the spectrum of corresponding to is a -set, is very large in the sense that every nonempty -subset of contains a norm discrete copy of , where is the Stone- compactification of the set of positive integers with the discrete topology. In particular, we prove that has no exposed points in this case and every nonempty -subset of the set of left invariant means on contains a norm discrete copy of .

     

Sufficient conditions for one domain to contain another in a space of constant curvature

As an application of the analogue of C-S. Chen's kinematic formula in the 3-dimensional space of constant curvature , that is, Euclidean space , -sphere , hyperbolic space (, respectively), we obtain sufficient conditions for one domain to contain another domain in either an Euclidean space , or a -sphere or a hyperbolic space .

     

On uniqueness of -adic meromorphic functions

Let be a complete ultrametric algebraically closed field of characteristic zero, and let be the field of meromorphic functions in . For all set in and for all we denote by the subset of : zero of order After studying unique range sets for entire functions in in a previous article, here we consider a similar problem for meromorphic functions by showing, in particular, that, for every , there exist sets of elements in such that, if have the same poles (counting multiplicities), and satisfy , then . We show how to construct such sets.

     

Bourgain's analytic projection revisited

For a positive function on the unit circle with , the following two statements are equivalent: (a) ; (b) there is an operator projecting onto for all at once and having weak type (1,1) with respect to .

     

On an analogue of Selberg's eigenvalue conjecture for

Let be the homogeneous space associated to the group
. Let where and consider the first nontrivial eigenvalue of the Laplacian on . Using geometric considerations, we prove the inequality . Since the continuous spectrum is represented by the band , our bound on can be viewed as an analogue of Selberg's eigenvalue conjecture for quotients of the hyperbolic half space.

     

Mergelyan pairs for harmonic functions

Let be open and be a bounded set which is closed relative to . We characterize those pairs such that, for each harmonic function on which is uniformly continuous on , there is a sequence of harmonic polynomials which converges to uniformly on . As an immediate corollary we obtain a characterization of Mergelyan pairs for harmonic functions.

     

Zeros of the Zak transform on locally compact Abelian groups

Let be a locally compact abelian group. The notion of Zak transform on extends to . Suppose that is compactly generated and its connected component of the identity is non-compact. Generalizing a classical result for , we then prove that if is such that its Zak transform is continuous on , then has a zero.

     

Glasner sets and polynomials in primes

A set of integers is said to be Glasner if for every infinite subset of the torus and there exists some such that the dilation intersects every integral of length in . In this paper we show that if denotes the th prime integer and is any non-constant polynomial mapping the natural numbers to themselves, then is Glasner. The theorem is proved in a quantitative form and generalizes a result of Alon and Peres (1992).

     

Bounds on the order of cross characteristic subgroups of the finite simple groups of Lie type

Let and be finite groups of Lie type and and be coprime. If is embedded in , then the Landazuri-Seitz-Zalesskii theorem implies that is small relative to . We formalize this observation and illustrate how it can be used with some applications.

     

A result on the Gelfand-Kirillov dimension of representations of classical groups

Let be the reductive dual pair . We show that if is a representation of (respectively ) obtained from duality correspondence with some representation of (respectively ), then its Gelfand-Kirillov dimension is less than or equal to
(respectively ).

     

Regularization of semigroups that are strongly continuous for

Let be a Banach space and a strongly continuous semigroup with . We show that the generator of generates a regularized semigroup. Our construction of a regularizing operator uses an existence result of J. Esterle.

     

Optimal control of a functional equation associated with closed range selfadjoint operators

Necessary and sufficient conditions for the optimality of a pair subject to are given. Here is a selfadjoint operator with closed range on a Hilbert space and . The case - unbounded is also discussed, which leads to some open problems. This general functional scheme includes most of the previous results on the optimal control of the -periodic wave equation for all in a dense subset of . It also includes optimal control problems for some elliptic equations.

     

Subsystems of the Schauder system that are quasibases for

We show that if is a subsystem of the Faber-Schauder system, and if is complete in , then is a quasibasis for each space , . Although it follows from the work of Ul'yanov that each element of can be represented by a Schauder series that converges unconditionally to the function, in the metric of the space, it proves to be the case that none of the aforementioned systems is an unconditional quasibasis for any of the -spaces herein considered.

     

The Fuglede-Putnam theorem and a generalization of Barría's lemma

Let and be bounded linear operators, and let be a partial isometry on a Hilbert space. Suppose that (1) , (2) , (3) and (4) . Then we have .

     

The maximal normal -group

Let be a prime number and let be an abelian -group. Let be the maximal normal -subgroup of and the maximal -subgroup of its centre. Let be the torsion radical of . Then . The result is new for and 3, and the proof is new and valid for all primes .

     

A topology on lattice ordered groups

We show that a lattice ordered group can be topologized in a natural way. The topology depends on the choice of a set of admissible elements (-topology). If a lattice ordered group is 2-divisible and satisfies a version of Archimedes' axiom (-group), then we show that the -topology is Hausdorff. Moreover, we show that a -group with the -topology is a topological group.

     

Enveloping algebras of lie color algebras: primeness versus graded-primeness

Let be a finite abelian group and let be a, possibly restricted, -graded Lie color algebra. Then the enveloping algebra is also -graded, and we consider the question of whether being graded-prime implies that it is prime. The first section of this paper is devoted to the special case of Lie superalgebras over a field of characteristic . Specifically, we show that if and if has a unique minimal graded-prime ideal, then this ideal is necessarily prime. As will be apparent, the latter result follows quickly from the existence of an anti-automorphism of whose square is the automorphism of the enveloping algebra associated with its -grading. The second section, which is independent of the first, studies more general Lie color algebras and shows that if is graded-prime and if most homogeneous components of are infinite dimensional over , then is prime. Here we use -methods to study the grading on the extended centroid of . In particular, if is generated by the infinite support of , then we prove that is homogeneous.

     

Nonsymmetric Osserman pseudo-Riemannian manifolds

Examples of Osserman pseudo-Riemannian manifolds with metric of any signature , , which are not locally symmetric are exhibited.

     

Cycle rank of Lyapunov graphs and the genera of manifolds

We show that the cycle-rank of a Lyapunov graph on a manifold satisfies: , where is the genus of . This generalizes a theorem of Franks. We also show that given any integer with , for some Lyapunov graph on .