On Bernstein-Sato polynomials

We show that for fixed and the set of Bernstein-Sato polynomials of all the polynomials in at most variables of degrees at most is finite. As a corollary, we show that there exists an integer depending only on and such that generates as a module over the ring of the -linear differential operators of , where is an arbitrary field of characteristic 0, is the ring of polynomials in variables over and is an arbitrary non-zero polynomial of degree at most .

     

A bialgebra that admits a Hopf-Galois extension is a Hopf algebra

Let be a commutative ring. Assume that is a -bialgebra, and is an -Galois extension of its coinvariant subalgebra . Provided is faithfully flat over , we show that is necessarily a Hopf algebra.

     

A commutativity theorem for semibounded operators in hilbert space

Let and be semibounded (bounded from below) operators in a Hilbert space and a dense linear manifold contained in the domains of , , , and , and such that for all in . It is shown that if the restriction of to is essentially self-adjoint, then and are essentially self-adjoint and and commute, i.e. their spectral projections permute.

     

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 .

     

A note on GK dimension of skew polynomial extensions

Let be a finitely generated commutative domain over an algebraically closed field , an algebra endomorphism of , and a -derivation of . Then if and only if is locally algebraic in the sense that every finite dimensional subspace of is contained in a finite dimensional -stable subspace.

Similarly, if is a finitely generated field over , a -endomorphism of , and a -derivation of , then if and only if is an automorphism of finite order.

     

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 .

     

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 .

     

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 .

     

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.

     

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 .

     

An Engel condition with derivation for left ideals

We generalize a number of results in the literature by proving the following theorem: Let be a semiprime ring, a nonzero derivation of , a nonzero left ideal of , and let . If for some positive integers , and all , the identity holds, then either or else the ideal of generated by and is in the center of . In particular, when is a prime ring, is commutative.

     

Commutativity criteria for Banach -algebras

Let be a Banach -algebra with an identity. Necessary and sufficient conditions are given for to be commutative modulo its -radical and for to be commutative if has a faithful -representation as operators on a Hilbert space.

     

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 .

     

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 .

     

Factorization of an integrally closed ideal in two-dimensional regular local rings

Let be a two-dimensional regular local ring with algebraically closed residue field and be an -primary integrally closed ideal in . Let be the set of Rees valuations of and be the residue field of the valuation ring associated with . Assume that is any minimal reduction of . We show that if is the product of the distinct simple -primary integrally closed ideals in , then is generated by the image of over for all , and the converse of this is also true.

     

Beals-Cordes-type characterizations of pseudodifferential operators

We show that, if is the representation of on given by (2.11), and is a bounded operator on , then belongs to if and only if

is a function on with values in the Banach space .

     

Hilbert Cmodules in which all closed submodules are complemented

Let be a Calgebra. If there exists a full Hilbert module such that for each closed submodule , then is *-isomorphic to a Calgebra of (not neccesarily all) compact operators on a Hilbert space.

     

Every local ring is dominated by a one-dimensional local ring

Let be a local (Noetherian) ring. The main result of this paper asserts the existence of a local extension ring of such that (i) dominates , (ii) the residue field of is a finite purely transcendental extension of , (iii) every associated prime of (0) in contracts in to an associated prime of (0), and (iv) . In addition, it is shown that can be obtained so that either is the maximal ideal of or is a localization of a finitely generated -algebra.

     

Existence of Bade functionals for complete Boolean algebras of projections in Fréchet spaces

A classical result of W. Bade states that if is any complete Boolean algebra of projections in an arbitrary Banach space then, for every there exists an element (called a Bade functional for with respect to in the dual space , with the following two properties: (i) is non-negative on and, (ii) whenever satisfies It is shown that a Fréchet space has this property if and only if it does not contain an isomorphic copy of the sequence space

     

Infinite loop spaces and Neisendorfer localization

There is a localization functor with the property that is the -completion of whenever is a finite dimensional complex. This same functor is shown to have the property that is contractible whenever is a connected infinite loop space with a torsion fundamental group. One consequence of this is that many finite dimensional complexes are uniquely determined, up to -completion, by the homotopy fiber of any map from into the classifying space .