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 .

     

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 .

     

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.

     

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 groups of quasiconformal homeomorphisms on Riemann surfaces

Suppose is a connected Riemann surface. Let denote the homeomorphism group of with the compact-open topology, and denote the subgroup of quasiconformal mappings of onto itself, and let and denote the identity components of and respectively. In this paper we show that the pair is an -manifold, and determine their topological types.

     

Relative modular theory for a weight

We consider the balanced weight of a semi-finite weight and a (not necessarily faithful) normal positive functional on a von Neumann algebra , and discuss how the modular operator and the modular conjugation are described under the identification of the standard Hilbert space with , where is the support projection of and .

     

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 .

     

-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 distribution of solutions of the congruence

For a cube of size , we obtain a lower bound on so that is nonempty, where is the algebraic subset of defined by

a positive integer and an integer not divisible by . For we obtain that is nonempty if , for we obtain that is nonempty if , and for we obtain that is nonempty if . Using the assumption of the Grand Riemann Hypothesis we obtain is nonempty if .

     

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.

     

On the product of two generalized derivations

Two elements and in a ring determine a generalized derivation on by setting for any in . We characterize when the product is a generalized derivation in the cases when the ring is the algebra of all bounded operators on a Banach space , and when is a -algebra . We use these characterizations to compute the commutant of the range of .

     

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.

     

Order complexes of noncomplemented lattices are nonevasive

We prove the following theorem: Let be a finite lattice, .
Assume is a set of elements of which includes all complements of and is included in the set of all upper (lower) semicomplements of . Then is nonevasive, in particular collapsible. This generalizes results of several previous papers, where, in different generalities, it has been proved that the mentioned complex is contractible.

     

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.

     

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 .

     

The equivalence of some Bernoulli convolutions to Lebesgue measure

Since the 1930's many authors have studied the distribution of the random series where the signs are chosen independently with probability and . Solomyak recently proved that for almost every the distribution is absolutely continuous with respect to Lebesgue measure. In this paper we prove that is even equivalent to Lebesgue measure for almost all .

     

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 .

     

Partial actions of groups and actions of inverse semigroups

Given a group , we construct, in a canonical way, an inverse semigroup associated to . The actions of are shown to be in one-to-one correspondence with the partial actions of , both in the case of actions on a set, and that of actions as operators on a Hilbert space. In other words, and have the same representation theory. We show that governs the subsemigroup of all closed linear subspaces of a -graded -algebra, generated by the grading subspaces. In the special case of finite groups, the maximum number of such subspaces is computed. A ``partial' version of the group -algebra of a discrete group is introduced. While the usual group -algebra of finite commutative groups forgets everything but the order of the group, we show that the partial group -algebra of the two commutative groups of order four, namely and , are not isomorphic.

     

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.