Point spectrum and mixed spectral types for rank one perturbations

We consider examples of rank one perturbations with a cyclic vector for . We prove that for any bounded measurable set , an interval, there exist so that
eigenvalue agrees with up to sets of Lebesgue measure zero. We also show that there exist examples where has a.c. spectrum for all , and for sets of 's of positive Lebesgue measure, also has point spectrum in , and for a set of 's of positive Lebesgue measure, also has singular continuous spectrum in .

     

Open covers and the square bracket partition relation

An open cover of an infinite separable metric space is an -cover of if and for every finite subset of there is a such that . Let be the collection of -covers of . We show that the partition relation holds if, and only if, the partition relation holds.

     

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.

     

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 .

     

Théorème de l'application spectrale pour le spectre essentiel quasi-Fredholm

In 1958, T. Kato proved that a closed semi-Fredholm operator in a Banach space can be written where is a nilpotent operator and is a regular one.

J. P. Labrousse studied and characterised this class of operators in the case of Hilbert spaces. He also defined a new spectrum named ``essential quasi-Fredholm spectrum' and denoted .

In this paper we prove that the essential quasi-Fredholm spectrum defined by J. P. Labrousse satisfies the mapping spectral theorem, i.e.: If is a bounded operator in a Hilbert space and an analytic function in a neighbourhood of the spectrum of , then .

RÉSUMÉ. En 1958, T. Kato a montré que si est un opérateur fermé dans un espace de Banach et semi-Fredholm, alors il existe tels que où est nilpotent et est régulier.

J. P. Labrousse a étudié et caractérisé cette classe d'opérateurs dans le cadre des espaces de Hilbert et a défini un nouveau spectre qu'on appelle ``spectre essentiel quasi-Fredholm' et noté par .

Dans ce travail nous allons démontrer que le spectre essentiel quasi-Fredholm défini par J. P. Labrousse vérifie le théorème de l'application spectrale, c'est à dire: Si est un opérateur bourné d'un espace de Hilbert dans lui même et une fonction analytique au voisinage du spectre de , alors .

     

An improved estimate for the highest Lyapunov exponent in the method of freezing

Let and be the eigenvalues of the matrix . The main result of the Method of Freezing states that if , and , then

for the highest exponent of the system, where

The previous best known value and the substantially smaller values of are reduced to the still smaller value.

     

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 .

     

Local automorphisms and derivations on

Let be an algebra. A mapping is called a -local automorphism if for every there is an automorphism , depending on and , such that and (no linearity, surjectivity or continuity of is assumed). Let be an infinite-dimensional separable Hilbert space, and let be the algebra of all linear bounded operators on . Then every -local automorphism is an automorphism. An analogous result is obtained for derivations.

     

Stable orders of stunted lens spaces mod

Let be the stunted lens space mod and its stable order. If , then was determined by H. Toda (1963). In this paper, we determine the number for .

     

When is a -block?

Let and be distinct prime numbers and let be a finite group. If is a -block of and is a -block, we study when the set of ordinary irreducible characters in the blocks and coincide.

     

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 .

     

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 .

     

Commutative group algebras of -summable abelian groups

In this note we study the commutative modular and semisimple group rings of -summable abelian -groups, which group class was introduced by R. Linton and Ch. Megibben. It is proved that is -summable if and only if is -summable, provided is an abelian group and is a commutative ring with 1 of prime characteristic , having a trivial nilradical. If is a -summable -group and the group algebras and over a field of characteristic are -isomorphic, then is a -summable -group, too. In particular provided is totally projective of a countable length.

Moreover, when is a first kind field with respect to and is -torsion, is -summable if and only if is a direct sum of cyclic groups.

     

Hypersurfaces in a sphere with constant mean curvature

Let be a closed hypersurface of constant mean curvature immersed in the unit sphere . Denote by the square of the length of its second fundamental form. If , is a small hypersphere in . We also characterize all with .

     

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.

     

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.

     

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 .