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 .

     

A Cantor-Lebesgue theorem with variable ``coefficients'

If is a lacunary sequence of integers, and if for each , and are trigonometric polynomials of degree then must tend to zero for almost every whenever does. We conjecture that a similar result ought to hold even when the sequence has much slower growth. However, there is a sequence of integers and trigonometric polynomials such that tends to zero everywhere, even though the degree of does not exceed for each . The sequence of trigonometric polynomials tends to zero for almost every , although explicit formulas are developed to show that the sequence of corresponding conjugate functions does not. Among trigonometric polynomials of degree with largest Fourier coefficient equal to , the smallest one ``at' is while the smallest one ``near' is unknown.

     

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 .

     

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 .

     

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

     

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.

     

boundedness of determinants of vector fields

We consider multilinear operators given by determinants of matrices of the form , where the 's are vector fields on . We give conditions on the 's so that the corresponding operator maps products of Lebesgue spaces into some anisotropic space , when .

     

Formulae and continuity for the index of subfactors

Let be an inclusion of -factors, the trace state of , and , the set of projections in and , respectively. We prove that the Jones index for the inclusion is

This formula is exploited to obtain continuity results for the index. In particular, we obtain a formula for the index which expresses in terms of the positions of and , in , when and are finite-dimensional -subalgebras with dense union in and , respectively.

     

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.

     

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.

     

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 .

     

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.

     

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

     

Counting elliptic plane curves with fixed -invariant

The number of degree elliptic plane curves with fixed -invariant passing through general points in is computed.

     

Some Schrödinger operators with dense point spectrum

Given any sequence of positive energies and any monotone function on with , , we can find a potential on such that are eigenvalues of 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.

     

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.

     

On invertibility in non-selfadjoint operator algebras

Let be a complete commutative subspace lattice on a Hilbert space. When is purely atomic, we give a necessary and sufficient condition for for every in , where and denote the spectrum of in and respectively. In addition, we discuss the properties of the spectra and the invertibility conditions for operators in .

     

-bundles over aspherical surfaces and 4-dimensional geometries

Melvin has shown that closed 4-manifolds that arise as -bundles over closed, connected aspherical surfaces are classified up to diffeomorphism by the Stiefel-Whitney classes of the associated bundles. We show that each such 4-manifold admits one of the geometries or [depending on whether or ]. Conversely a geometric closed, connected 4-manifold of type or is the total space of an -bundle over a closed, connected aspherical surface precisely when its fundamental group is torsion free. Furthermore the total spaces of -bundles over closed, connected aspherical surfaces are all geometric. Conversely a geometric closed, connected 4-manifold is the total space of an -bundle if and only if where is torsion free.

     

On -summable sequences in the range of a vector measure

Let . Among other results, we prove that a Banach space has the property that every sequence lies inside the range of an -valued measure if and only if, for all sequences in satisfying that the operator is 1-summing, the operator is nuclear, being the conjugate number for . We also prove that, if is an infinite-dimensional -space for , then can't have the above property for any .