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 .

     

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 .

     

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.

     

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 .

     

-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 .

     

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.

     

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 .

     

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.

     

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.

     

A structural result of irreducible inclusions of type

Given an irreducible inclusion of factors with finite index , where is of type , of type , , and are relatively prime positive integers, we will prove that if satisfies a commuting square condition, then its structure can be characterized by using fixed point algebras and crossed products of automorphisms acting on the middle inclusion of factors associated with . Relations between and a certain -kernel on subfactors are also discussed.

     

Linear constituents of certain character restrictions

Let be a finite irreducible complex linear group with -power degree, where is a prime number. Then every -subgroup of that is normalized by a Sylow -subgroup must be abelian. This and related results are proved using an elementary character-theoretic argument.

     

groups and quasi-equivalence

A torsion-free abelian group is if every map from a pure subgroup of into lifts to an endomorphism of The class of groups has been extensively studied, resulting in a number of nice characterizations. We obtain some characterizations for the class of homogeneous groups, those homogeneous groups such that, for pure in every has a lifting to a quasi-endomorphism of An irreducible group is if and only if every pure subgroup of each of its strongly indecomposable quasi-summands is strongly indecomposable. A group is if and only if every endomorphism of is an integral multiple of an automorphism. A group has minimal test for quasi-equivalence ( if whenever and are quasi-isomorphic pure subgroups of then and are equivalent via a quasi-automorphism of For homogeneous groups, we show that in almost all cases the and properties coincide.

     

On complementary subspaces of Hilbert space

Every pair of non-trivial topologically complementary subspaces of a Hilbert space is unitarily equivalent to a pair of the form on a Hilbert space . Here is possibly , is a positive injective contraction and denotes the graph of . For such a pair the following are equivalent: (i) is similar to a pair in generic position; (ii) and have a common algebraic complement; (iii) is similar to for some operators on a Hilbert space. These conditions need not be satisfied. A second example is given (the first due to T. Kato), involving only compact operators, of a double triangle subspace lattice which is not similar to any operator double triangle.

     

Exact iterative reconstruction algorithm for multivariate irregularly sampled functions in spline-like spaces: The -Theory

We prove that the exact reconstruction of a function from its samples on any ``sufficiently dense" sampling set can be obtained, as long as is known to belong to a large class of spline-like spaces in . Moreover, the reconstruction can be implemented using fast algorithms. Since a limiting case is the space of bandlimited functions, our result generalizes the classical Shannon-Whittaker sampling theorem on regular sampling and the Paley-Wiener theorem on non-uniform sampling.

     

Differential forms on quotients by reductive group actions

Let be a smooth affine algebraic variety where a reductive algebraic group acts with a smooth quotient space . We show that the algebraic differential forms on which are pull-backs of forms on are exactly the -invariant horizontal differential forms on .

     

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.

     

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 .

     

Nonsymmetric Osserman pseudo-Riemannian manifolds

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

     

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.