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

     

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 .

     

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 .

     

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 .

     

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.

     

On the relative commutants of subfactors

Let be factors generated by a periodic tower of finite dimensional -algebras. We prove that for sufficiently large , is -isomorphic to a subalgebra of .

     

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.

     

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 .

     

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 .

     

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.

     

The sharp Sobolev inequality and the Banchoff-Pohl inequality on surfaces

Let be a complete two dimensional simply connected Riemannian manifold with Gaussian curvature . If is a compactly supported function of bounded variation on , then satisfies the Sobolev inequality

Conversely, letting be the characteristic function of a domain recovers the sharp form of the isoperimetric inequality for simply connected surfaces with . Therefore this is the Sobolev inequality ``equivalent' to the isoperimetric inequality for this class of surfaces. This is a special case of a result that gives the equivalence of more general isoperimetric inequalities and Sobolev inequalities on surfaces.

Under the same assumptions on , if is a closed curve and is the winding number of about , then the Sobolev inequality implies

which is an extension of the Banchoff-Pohl inequality to simply connected surfaces with curvature .

     

Smooth rank one perturbations of selfadjoint operators

Let be a selfadjoint operator in a Hilbert space with inner product . The rank one perturbations of have the form , , for some element . In this paper we consider smooth perturbations, i.e. we consider for some . Function-theoretic properties of their so-called -functions and operator-theoretic consequences will be studied.

     

The maximum condition on annihilators for polynomial rings

For each positive integer , we construct a commutative ring such that the polynomial ring satisfies the maximum condition on annihilators and does not. In particular, there exists a commutative Kerr ring such that is not Kerr. This answers in the negative a question of Faith's.

     

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.

     

A note on invariance of spectrum for symmetric banach -algebras

Let be a symmetric Banach -algebra, let be a Banach algebra, and assume that . A result is proved giving conditions which imply that every element of has the same spectrum in both and .

     

Continuity of Lie mappings of the skew elements of Banach algebras with involution

Let and be centrally closed prime complex Banach algebras with linear involution. If is semisimple, then any Lie derivation of the skew elements of is continuous and any Lie isomorphism from the skew elements of onto the skew elements of is continuous.

     

Applications of pseudo-monotone operators with some kind of upper semicontinuity in generalized quasi-variational inequalities on non-compact sets

Let be a topological vector space and be a non-empty subset of . Let and be two maps. Then the generalized quasi-variational inequality (GQVI) problem is to find a point and a point such that for all . We shall use Chowdhury and Tan's 1996 generalized version of Ky Fan's minimax inequality as a tool to obtain some general theorems on solutions of the GQVI on a paracompact set in a Hausdorff locally convex space where the set-valued operator is either strongly pseudo-monotone or pseudo-monotone and is upper semicontinuous from to the weak-topology on for each non-empty finite subset of .

     

Global iteration schemes for strongly pseudo-contractive maps

Suppose is a real uniformly smooth Banach space, is a nonempty closed convex and bounded subset of , and is a strong pseudo-contraction. It is proved that if has a fixed point in then both the Mann and the Ishikawa iteration processes, for an arbitrary initial vector in , converge strongly to the unique fixed . No continuity assumption is necessary for this convergence. Moreover, our iteration parameters are independent of the geometry of the underlying Banach space and of any property of the operator.

     

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.

     

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.