Lifting of generating subgroups

Let be an epimorphism of finite groups. Suppose that is generated by its subgroups and that is generated by its subgroups . Furthermore, suppose that and are conjugate, . We prove that there exist such that generate and , .

     

A conformal differential invariant and the conformal rigidity of hypersurfaces

For a hypersurface of a conformal space, we introduce a conformal differential invariant , where and are the first and the second fundamental forms of connected by the apolarity condition. This invariant is called the conformal quadratic element of . The solution of the problem of conformal rigidity is presented in the framework of conformal differential geometry and connected with the conformal quadratic element of . The main theorem states:

Let , and let and be two nonisotropic hypersurfaces without umbilical points in a conformal space or a pseudoconformal space of signature . Suppose that there is a one-to-one correspondence between points of these hypersurfaces, and in the corresponding points of and the following condition holds: where is a mapping induced by the correspondence . Then the hypersurfaces and are conformally equivalent.

     

Less Saturated Ideals

We prove the following:

(1)

If is weakly inaccessible then is not -saturated.

(2)

If is weakly inaccessible and is regular then is not -saturated.

(3)

If is singular then is not -saturated.

Combining this with previous results of Shelah, one obtains the following:

(A)

If then is not -saturated.

(B)

If then is not -saturated.

     

On Bernstein type theorems concerning the growth of derivatives of entire functions

A subspace of which is invariant under all left translation operators is called admissible if is a Banach space satisfying the following properties:

(i) If then there exists a subsequence such that almost everywhere.

(ii) The group is a bounded strongly continuous group. In this case, let

Typical admissible spaces are and all spaces for More generally, all of the Peetre interpolation spaces of two admissible spaces are also admissible.

A function is called subexponential if for every With these definitions our main result goes as follows: . If is an entire function of exponential type such that its restriction to the real axis, denoted by , is subexponential and belongs to some admissible space then the derivative is also in Moreover,
for each real

This result yields as consequences and in a systematic way many new and old Bernstein type inequalities.

     

A Strict Version of the Non-commutative Urysohn Lemma

Given a pair , of -commuting, hereditary -subalgebras of a unital -algebra , such that is -unital and , there is an element in , with , such that is strictly positive in and is strictly positive in in . Moreover, is strictly positive in in .

     

Invariance of spectrum for representations of -algebras on Banach spaces

Let be a Banach space, a unital -algebra, and an injective, unital homomorphism. Suppose that there exists a function such that, for all , and all ,

(a) ,

(b) ,

(c) .
Then for all , the spectrum of in equals the spectrum of as a bounded linear operator on . If satisfies an additional requirement and is a -algebra, then the Taylor spectrum of a commuting -tuple of elements of equals the Taylor spectrum of the -tuple in the algebra of bounded operators on . Special cases of these results are (i) if is a closed subspace of a unital -algebra which contains as a unital -subalgebra such that , and only if , then for each , the spectrum of in is the same as the spectrum of left multiplication by on ; (ii) if is a unital -algebra and is an essential closed left ideal in , then an element of is invertible if and only if left multiplication by on is bijective; and (iii) if is a -algebra, is a Hilbert -module, and is an adjointable module map on , then the spectrum of in the -algebra of adjointable operators on is the same as the spectrum of as a bounded operator on . If the algebra of adjointable operators on is a -algebra, then the Taylor spectrum of a commuting -tuple of adjointable operators on is the same relative to the algebra of adjointable operators and relative to the algebra of all bounded operators on .

     

Weakly coupled bound states in quantum waveguides

We study the eigenvalue spectrum of Dirichlet Laplacians which model quantum waveguides associated with tubular regions outside of a
bounded domain. Intuitively, our principal new result in two dimensions asserts that any domain obtained by adding an arbitrarily small ``bump' to the tube (i.e., , open and connected, outside a bounded region) produces at least one positive eigenvalue below the essential spectrum of the Dirichlet Laplacian . For sufficiently small ( abbreviating Lebesgue measure), we prove uniqueness of the ground state of and derive the ``weak coupling' result using a Birman-Schwinger-type analysis. As a corollary of these results we obtain the following surprising fact: Starting from the tube with Dirichlet boundary conditions at , replace the Dirichlet condition by a Neumann boundary condition on an arbitrarily small segment , , of . If denotes the resulting Laplace operator in , then has a discrete eigenvalue in no matter how small is.

     

Semi-free actions of zero-dimensional compact groups on Menger compacta

Let be the -dimensional universal Menger compactum, a -set in and a metrizable zero-dimensional compact group with the unit. It is proved that there exists a semi-free -action on such that is the fixed point set of every . As a corollary, it follows that each compactum with can be embedded in as the fixed point set of some semi-free -action on .

     

Coprimeness among irreducible character degrees of finite solvable groups

Given a finite solvable group , we say that has property if every set of distinct irreducible character degrees of is (setwise) relatively prime. Let be the smallest positive integer such that satisfies property . We derive a bound, which is quadratic in , for the total number of irreducible character degrees of . Three exceptional cases occur; examples are constructed which verify the sharpness of the bound in each of these special cases.

     

On solutions of real analytic equations

Analyticity of solutions , of systems of real analytic equations , is studied. Sufficient conditions for and power series solutions to be real analytic are given in terms of iterative Jacobian ideals of the analytic ideal generated by . In a special case when the 's are independent of , we prove that if a solution satisfies the condition , then is necessarily real analytic.

     

Covering by complements of subspaces, II

Let be an -dimensional vector space over an algebraically closed field . Define to be the least positive integer for which there exists a family of -dimensional subspaces of such that every -dimensional subspace of has at least one complement among the 's. Using algebraic geometry we prove that .

     

A sequential property of and a covering property of Hurewicz

has the monotonic sequence selection property if there is for each , and for every sequence where for each is a sequence converging pointwise monotonically to , a sequence such that for each is a term of , and converges pointwise to . We prove a theorem which implies for metric spaces that has the monotonic sequence selection property if, and only if, has a covering property of Hurewicz.

     

On reducibility of semigroups of compact quasinilpotent operators

The following generalization of Lomonosov's invariant subspace theorem is proved. Let be a multiplicative semigroup of compact operators on a Banach space such that for every finite subset of , where denotes the Rota-Strang spectral radius. Then is reducible.

This result implies that the following assertions are equivalent:

(A) For each infinite-dimensional complex Hilbert space , every semigroup of compact quasinilpotent operators on is reducible.

(B) For every complex Hilbert space , for every semigroup of compact quasinilpotent operators on , and for every finite subset of it holds that .

The question whether the assertion (A) is true was considered by Nordgren, Radjavi and Rosenthal in 1984, and it seems to be still open.

     

Rigidity of compact manifolds with boundary and nonnegative Ricci curvature

Let be an ()-dimensional compact Riemannian manifold with nonnegative Ricci curvature and nonempty boundary . Assume that the principal curvatures of are bounded from below by a positive constant . In this paper, we prove that the first nonzero eigenvalue of the Laplacian of acting on functions on satisfies with equality holding if and only if is isometric to an -dimensional Euclidean ball of radius . Some related rigidity theorems for are also proved.

     

Commensurators of parabolic subgroups of Coxeter groups

Let be a Coxeter system, and let be a subset of . The subgroup of generated by is denoted by and is called a parabolic subgroup. We give the precise definition of the commensurator of a subgroup in a group. In particular, the commensurator of in is the subgroup of in such that has finite index in both and . The subgroup can be decomposed in the form where is finite and all the irreducible components of are infinite. Let be the set of in such that for all . We prove that the commensurator of is . In particular, the commensurator of a parabolic subgroup is a parabolic subgroup, and is its own commensurator if and only if .

     

Inner derivations on ultraprime normed algebras

We show that, for every ultraprime Banach algebra , there exists a positive number satisfying for all in , where denotes the centre of and denotes the inner derivation on induced by . Moreover, the number depends only on the ``constant of ultraprimeness' of .

     

Factorisation in nest algebras

We give a necessary and sufficient condition on an operator for the existence of an operator in the nest algebra of a continuous nest satisfying (resp. . We also characterise the operators in which have the following property: For every continuous nest there exists an operator in satisfying (resp. .

     

Convolution of a measure with itself and a restriction theorem

Let and be the measure defined by . Let denote the measure obtained by restricting to the set . We prove estimates on . As a corollary we obtain results on the restriction to of the Fourier transform of functions on for , .

     

On invariants dual to the Bass numbers

Let be a commutative Noetherian ring, and let be an -module. In earlier papers by Bass (1963) and Roberts (1980) the Bass numbers were defined for all primes and all integers by use of the minimal injective resolution of . It is well known that . On the other hand, if is finitely generated, the Betti numbers are defined by the minimal free resolution of over the local ring . In an earlier paper of the second author (1995), using the flat covers of modules, the invariants were defined by the minimal flat resolution of over Gorenstein rings. The invariants were shown to be somehow dual to the Bass numbers. In this paper, we use homologies to compute these invariants and show that

for any cotorsion module . Comparing this with the computation of the Bass numbers, we see that is replaced by and the localization is replaced by (which was called the colocalization of at the prime ideal by Melkersson and Schenzel).

     

Combinatorial aspects of F-sets

We discuss F filters and show that the minimum size of a filter base generating an undiagonalizable filter included in some F filter is the better known bounded evasion number . An application to -sets from trigonometric series is given by showing that if is an -set and has size less than , then is again an -set.