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.

     

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 .

     

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.

     

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 .

     

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.

     

Character degrees and local subgroups of -separable groups

Let be a finite -solvable group for different primes and . Let and be such that . We prove that every of -degree has -degree if and only if and .

     

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 .

     

-ideals of compact operators are separably determined

We prove that the space of compact operators on a Banach space is an -ideal in the space of bounded operators if and only if has the metric compact approximation property (MCAP), and is an -ideal in for all separable subspaces of having the MCAP. It follows that the Kalton-Werner theorem characterizing -ideals of compact operators on separable Banach spaces is also valid for non-separable spaces: for a Banach space is an -ideal in if and only if has the MCAP, contains no subspace isomorphic to and has property It also follows that is an -ideal in for all Banach spaces if and only if has the MCAP, and is an -ideal in .

     

A unified extension of two results of Ky Fan on the sum of matrices

Let be an Hermitian matrix with where are the ordered eigenvalues of . A result of Ky Fan (1949) asserts that if and are Hermitian matrices, then is majorized by . We extend the result in the framework of real semisimple Lie algebras in the following way. Let be a noncompact real semisimple Lie algebra with Cartan decomposition . We show that for any given , , where is the unique element corresponding to , in a fixed closed positive Weyl chamber of a maximal abelian subalgebra of in . Here the ordering is induced by the dual cone of . Fan's result corresponds to the Lie algebra . The compact case is also discussed. As applications, two unexpected singular values inequalities concerning the sum of two real matrices and the sum of two real skew symmetric matrices are obtained.

     

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.