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 .

     

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 .

     

Group algebras whose units satisfy a group identity. II

Let be the group algebra of a torsion group over an infinite field , and let denote its group of units. A recent paper of A. Giambruno, S. K. Sehgal, and A. Valenti proved that if satisfies a group identity, then satisfies a polynomial identity, thereby confirming a conjecture of Brian Hartley. Here we add a footnote to their result by showing that the commutator subgroup of must have bounded period. Indeed, this additional fact enables us to obtain necessary and sufficient conditions for to satisfy an identity.

     

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 .

     

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 .

     

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.

     

Shift-invariant spaces on the real line

We investigate the structure of shift-invariant spaces generated by a finite number of compactly supported functions in . Based on a study of linear independence of the shifts of the generators, we characterize such shift-invariant spaces in terms of the semi-convolutions of the generators with sequences on . Moreover, we show that such a shift-invariant space provides -approximation order if and only if it contains all polynomials of degree less than .

     

Noncommutative spaces

Let be a von Neumann algebra with a faithful, finite, normal tracial state , and let be a finite, maximal subdiagonal algebra of . Let be the closure of in the noncommutative Lebesgue space . Then possesses several of the properties of the classical Hardy space on the circle, including a commutant lifting theorem, some results on Toeplitz operators, an factorization theorem, Nehari's Theorem, and harmonic conjugates which are bounded.

     

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.

     

and interpolation between Banach lattices

We study the possibility of obtaining the -norm by an interpolation method starting from a couple of Banach lattice norms. We describe all couples of Banach lattice norms in such that the -norm is a strict interpolation norm between them. Further we consider the possibility of obtaining the -norm by any method which guarantees interpolation of not only linear operators (= bilinear forms on but also of all polylinear forms. Here we show that either one of the initial norms has to be proportional to the -norm, or both have to be weighted -norms.

     

Superrigid subgroups of solvable Lie groups

Let be a discrete subgroup of a simply connected, solvable Lie group , such that has the same Zariski closure as . If is any finite-dimensional representation of , we show that virtually extends to a continuous representation of . Furthermore, the image of is contained in the Zariski closure of the image of . When is not discrete, the same conclusions are true if we make the additional assumption that the closure of is a finite-index subgroup of (and is closed and is continuous).

     

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.

     

An infinite series of Kronecker conjugate polynomials

Let be a field of characteristic , a transcendental over , and be the absolute Galois group of . Then two non-constant polynomials are said to be Kronecker conjugate if an element of fixes a root of if and only if it fixes a root of . If is a number field, and where is the ring of integers of , then and are Kronecker conjugate if and only if the value set equals modulo all but finitely many non-zero prime ideals of . In 1968 H. Davenport suggested the study of this latter arithmetic property. The main progress is due to M. Fried, who showed that under certain assumptions the polynomials and differ by a linear substitution. Further, he found non-trivial examples where Kronecker conjugacy holds. Until now there were only finitely many known such examples. This paper provides the first infinite series. The main part of the construction is group theoretic.

     

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 .

     

Collapsing successors of singulars

Let be a singular cardinal in , and let be a model such that for some -cardinal with . We apply Shelah's pcf theory to study this situation, and prove the following results. 1) is not a -c.c generic extension of . 2) There is no ``good scale for ' in , so in particular weak forms of square must fail at . 3) If then and also . 4) If then .

     

On a class of subalgebras of and the intersection of their free maximal ideals

Let be a Tychonoff space and a subalgebra of containing . Suppose that is the set of all functions in with compact support. Kohls has shown that is precisely the intersection of all the free ideals in or in . In this paper we have proved the validity of this result for the algebra . Gillman and Jerison have proved that for a realcompact space , is the intersection of all the free maximal ideals in . In this paper we have proved that this result does not hold for the algebra , in general. However we have furnished a characterisation of the elements that belong to all the free maximal ideals in . The paper terminates by showing that for any realcompact space , there exists in some sense a minimal algebra for which becomes -compact. This answers a question raised by Redlin and Watson in 1987. But it is still unsettled whether such a minimal algebra exists with respect to set inclusion.

     

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.

     

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 .

     

A formula with nonnegative terms for the degree of the dual variety of a homogeneous space

Let be a reductive group and a parabolic subgroup. For every -regular dominant weight let denote the variety embedded in the projective space by the embedding corresponding to the ample line bundle . Writing , we prove that the degree of the dual variety to is a polynomial with nonnegative coefficients in . In the case of homogeneous spaces we find an expression for the constant term of this polynomial.

     

Local derivations of reflexive algebras

Let be a reflexive algebra in Banach space such that both and in , the invariant subspace lattice of , then every derivation of into itself is spatial. Furthermore, if is additionally reflexive, then the set of all inner derivations of into itself is topologically algebraically reflexive.