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 .

     

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.

     

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.

     

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.

     

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.

     

On the von Neumann-Jordan constant for Banach spaces

Let be the von Neumann-Jordan constant for a Banach space . It is known that for any Banach space ; and is a Hilbert space if and only if . We show that: (i) If is uniformly convex, is less than two; and conversely the condition implies that admits an equivalent uniformly convex norm. Hence, denoting by the infimum of all von Neumann-Jordan constants for equivalent norms of , is super-reflexive if and only if . (ii) If , (the same value as that of -space), is of Rademacher type and cotype for any with , where ; the converse holds if is a Banach lattice and is finitely representable in or .

     

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.

     

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 .

     

On the lengths of closed geodesics on a two-sphere

Let be an isolated closed geodesic of length on a compact Riemannian manifold which is homologically visible in the dimension of its index, and for which the index of the iterates has the maximal possible growth rate. We show that has a sequence , , of prime closed geodesics of length where and . The hypotheses hold in particular when is a two-sphere and the ``shortest' Lusternik-Schnirelmann closed geodesic is isolated and ``nonrotating'.

     

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 .

     

Upper bounds for the number of facets of a simplicial complex

Here we study the maximal dimension of the annihilator ideals
of artinian graded rings with a given Hilbert function, where is the polynomial ring in the variables over a field with each , is a graded ideal of , and is the graded maximal ideal of . As an application to combinatorics, we introduce the notion of -facets and obtain some informations on the number of -facets of simplicial complexes with a given -vector.

     

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.

     

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

     

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 .

     

The Jung Theorem in metric spaces of curvature bounded above

The classical Jung Theorem states in essence that the diameter of a compact set in satisfies where is the circumradius of . The theorem was extended recently to the hyperbolic and the spherical -spaces. Here, the estimate above is extended to a class of metric spaces of curvature introduced by A. D. Alexandrov. The class includes the Riemannian spaces. The extended estimate is of the form where is a positive integer suitably defined for the set and its circumcenter. It can be that is not unique or does not exist. In the latter case, no estimate is derived. In case of a Riemannian -dimensional space, an integer always exists and satisfies . Then . In case of , one has .

     

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 .

     

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.

     

On genera of smooth curves in higher dimensional varieties

We prove that for any smooth projective variety of dimension , there exists an integer , such that for any integer , there exists a smooth curve in with .

     

On the rational cuspidal subgroup and the rational torsion points of

For two distinct prime numbers , , we compute the rational cuspidal subgroup of and determine the -primary part of the rational torsion subgroup of the old subvariety of for most primes . Some results of Berkovic on the nontriviality of the Mordell-Weil group of some Eisenstein factors of are also refined.