The structure of hypersurfaces with some curvature conditions

Let be a hypersurface in , and let denote the mean curvature and the scalar curvature of respectively. We show that if is compact and , then is diffeomorphic to . Also we prove that if is complete, is constant and , then is or or .

     

Bilocal derivations of standard operator algebras

In this paper, we shall show the following two results: (1) Let be a standard operator algebra with , if is a linear mapping on which satisfies that maps into for all , then is of the form for some in . (2) Let be a Hilbert space, if is a norm-continuous linear mapping on which satisfies that maps into for all self-adjoint projection in , then is of the form for some in .

     

A note on the relative class number in function fields

Let be a finite field, , and . Let be the field extension of obtained by adjoining the -torsion on the Carlitz module. The class number of can be written as a product . The number is called the relative class number. In this paper a formula for is derived which is the analogue of the Maillet determinant formula for the relative class number of the cyclotomic field of -th roots of unity. Some consequences of this formula are also derived.

     

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.

     

An invariance of domain result for multi-valued maximal monotone operators whose domains do not necessarily contain any open sets

Let be a real, reflexive, locally uniformly convex Banach space with locally uniformly convex. Let be a maximal monotone operator and open and bounded. Assume that is pathwise connected and such that and Then If, moreover, is of type () on then may be replaced above by The significance of this result lies in the fact that it holds for multi-valued mappings which do not have to satisfy It has also been used in this paper in order to establish a general ``invariance of domain' result for maximal monotone operators, and may be applied to a greater variety of problems involving partial differential equations. No degree theory has been used. In addition to the above, necessary and sufficient conditions are given for the existence of a zero (in an open and bounded set ) of a completely continuous perturbation of a maximal monotone operator such that is locally monotone on

     

The expected value of the number of real zeros of a random sum of Legendre polynomials

It is known that the expected number of zeros in the interval of the sum , in which is the normalized Legendre polynomial of degree and the coefficients are independent normally distributed random variables with mean 0 and variance 1, is asymptotic to for large . We improve this result and show that this expected number is for any positive .

     

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 .

     

Fixed points of the mapping class group in the moduli spaces

Let be a compact oriented surface with or without boundary components. In this note we prove that if then there exist infinitely many integers such that there is a point in the moduli space of irreducible flat connections on which is fixed by any orientation preserving diffeomorphism of . Secondly we prove that for each orientation preserving diffeomorphism of and each there is some such that has a fixed point in the moduli space of irreducible flat connections on . Thirdly we prove that for all there exists an integer such that the 'th power of any diffeomorphism fixes a certain point in the moduli space of irreducible flat connections on .

     

Densities with the mean value property for harmonic functions in a Lipschitz domain

Let be a bounded domain in , , and let . We consider positive functions on such that for all bounded harmonic functions on . We determine Lipschitz domains having such with .

     

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.

     

Gröbner duality and multiple points in linearly general position

It is proved for each , , that a primary -dimensional scheme in of degree in linearly general position lies in a rational normal scroll of dimension .

     

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 .

     

Finite linear groups and theorems of Minkowski and Schur

Let be a finite group with a faithful rational valued character of degree . A theorem of I. Schur gives a bound for the order of in terms of , generalizing an earlier result of H. Minkowski who showed that the same bound holds if . This note contains strengthened versions of these results which in particular show that a -subgroup of of maximum possible order contains a reflection.

     

Invariants of Skew Derivations

If is an automorphism and is a -derivation of a ring , then the subring of invariants is the set The main result of this paper is Theorem. Let be a -derivation of an algebra over a commutative ring such that

for all , where and .

(i)

If , then .

(ii)

If is a -stable left ideal of such that , then .

This theorem generalizes results on the invariants of automorphisms and derivations.

     

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.

     

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

     

Volumes of hyperbolic Haken manifolds, II

We show that if is a closed hyperbolic 3-manifold and if has a non-abelian free quotient, then the volume of is greater than . If, in addition, contains no genus- surface groups, then the volume of is greater than . Using these results we show that if there are infinitely many primitive homology classes in which are not represented by fibroids, then the volume of is greater than .

     

On a theorem of Privalov and normal functions

A well known result of Privalov asserts that if is a function which is analytic in the unit disc , then has a continuous extension to the closed unit disc and its boundary function is absolutely continuous if and only if belongs to the Hardy space . In this paper we prove that this result is sharp in a very strong sense. Indeed, if, as usual, we prove that for any positive continuous function defined in with , as , there exists a function analytic in which is not a normal function and with the property that , for all sufficiently close to .

     

Note on faithful representations and a local property of Lie groups

Let be any analytic group, let be a maximal toroid of the radical of , and let be a maximal semisimple analytic subgroup of . If is the Lie algebra of , is the radical of , and is the center of , we show that has a faithful representation if and only if (i) , and (ii) has a faithful representation.

     

Extreme points of unit balls in Lipschitz function spaces

We give a new characterization of the set of all extreme points of the unit ball in the Banach space of all Lipschitz functions on a metric space This result is applied to get a total variation characterization of in the particular case when is a convex subset of a Banach space.