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 .

     

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.

     

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 .

     

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 .

     

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.

     

On perfect simple-injective rings

Harada calls a ring right simple-injective if every -homomorphism with simple image from a right ideal of to is given by left multiplication by an element of . In this paper we show that every left perfect, left and right simple-injective ring is quasi-Frobenius, extending a well known result of Osofsky on self-injective rings. It is also shown that if is left perfect and right simple-injective, then is quasi-Frobenius if and only if the second socle of is countably generated as a left -module, extending many recent results on self-injective rings. Examples are given to show that our results are non-trivial extensions of those on self-injective rings.

     

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 .

     

Gaussian polynomials and content ideals

We prove that every regular Gaussian polynomial over a locally Noetherian ring has invertible content ideal. We do this by first proving that Gaussian polynomials over an approximately Gorenstein local ring have principal content ideal. We also show over locally Noetherian rings that a regular polynomial of degree is Gaussian if for polynomials of degree at most .

     

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.

     

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.

     

Mordell-Weil groups of the Jacobian of the 5-th Fermat curve

Let denote the Jacobian of the Fermat curve of exponent 5 and let . We compute the groups , , , where is the unique quadratic subfield of . As an application, we present a new proof that there are no -rational points on the 5-th Fermat curve, except the so called ``points at infinity".

     

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 .

     

Group algebras whose units satisfy a group identity

Let be the group algebra of a torsion group over an infinite field . Let be the group of units of . We prove that if satisfies a group identity, then satisfies a polynomial identity. This confirms a conjecture of Brian Hartley.

     

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.

     

Product of distinct simple integrally closed ideals in 2-dimensional regular local rings

Let be a two-dimensional regular local ring and an -primary integrally closed ideal in . In this paper, we give equivalent conditions for to be a product of distinct simple -primary integrally closed ideals (i.e., , where are distinct simple -primary integrally closed ideals of ) in terms of the regularity of for all and in terms of how to choose a minimal generating set for over its minimal reductions.

     

Prime ideals in polynomial rings in several indeterminates

If is a prime ideal of a polynomial ring , where is a field, then is determined by an irreducible polynomial in . The purpose of this paper is to show that any prime ideal of a polynomial ring in -indeterminates over a not necessarily commutative ring is determined by its intersection with plus polynomials.

     

Orbifolds with lower Ricci curvature bounds

We show that the first betti number of a compact Riemannian orbifold with Ricci curvature and diameter is bounded above by a constant , depending only on dimension, curvature and diameter. In the case when the orbifold has nonnegative Ricci curvature, we show that the is bounded above by the dimension , and that if, in addition, , then is a flat torus .

     

Rings with finite essential socle

Let be a ring such that every direct summand of the injective envelope has an essential finitely generated projective submodule. We show that, if the cardinal of the set of isomorphism classes of simple right -modules is no larger than that of the isomorphism classes of minimal right ideals, then cogenerates the simple right -modules and has finite essential socle. This extends Osofsky's theorem which asserts that a right injective cogenerator ring has finite essential right socle. It follows from our result that if is a CS cogenerator, then is already an injective cogenerator and, more generally, that if is CS and cogenerates the simple right -modules, then it has finite essential socle. We show with an example that in the latter case need not be an injective cogenerator.

     

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.