On the curves of contact on surfaces in a projective space. III

Suppose a smooth curve is a set-theoretic complete intersection of two surfaces and with the multiplicity of along less than or equal to the multiplicity of along . One obtains a relation between the degrees of , and , the genus of , and the multiplicity of along in case has only ordinary singularities. One obtains (in the characteristic zero case) that a nonsingular rational curve of degree 4 in is not set-theoretically an intersection of 2 surfaces, provided one of them has at most ordinary singularities. The same result holds for a general nonsingular rational curve of degree .

     

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.

     

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.

     

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.

     

Hyperspaces and open monotone maps of hereditarily indecomposable continua

We prove the following theorems:

Theorem 1. Let be an -dimensional hereditarily indecomposable continuum. Then there exist -dimensional hereditarily indecomposable continua and monotone maps such that is an embedding and the space of all subcontinua of is embeddable in by .

Theorem 2. For every open monotone map with non-trivial sufficiently small fibers on a finite dimensional hereditarily indecomposable continuum with there exists a -dimensional subcontinuum such that and the restriction of to is also monotone and open.

The connection between these theorems and other results in Hyperspace theory is studied.

     

On a theorem of Privalov and normal functions

A well known result of Privalov asserts that if is a function which is analytic in the unit disc , then has a continuous extension to the closed unit disc and its boundary function is absolutely continuous if and only if belongs to the Hardy space . In this paper we prove that this result is sharp in a very strong sense. Indeed, if, as usual, we prove that for any positive continuous function defined in with , as , there exists a function analytic in which is not a normal function and with the property that , for all sufficiently close to .

     

On Bernstein type theorems concerning the growth of derivatives of entire functions

A subspace of which is invariant under all left translation operators is called admissible if is a Banach space satisfying the following properties:

(i) If then there exists a subsequence such that almost everywhere.

(ii) The group is a bounded strongly continuous group. In this case, let

Typical admissible spaces are and all spaces for More generally, all of the Peetre interpolation spaces of two admissible spaces are also admissible.

A function is called subexponential if for every With these definitions our main result goes as follows: . If is an entire function of exponential type such that its restriction to the real axis, denoted by , is subexponential and belongs to some admissible space then the derivative is also in Moreover,
for each real

This result yields as consequences and in a systematic way many new and old Bernstein type inequalities.

     

Chern characters associated with almost commuting algebras

A trace formula related to -almost commuting subalgebras and is established. By means of this formula, homomorphisms from to and from to are established. An index map from to is also given.

     

Every nonreflexive subspace of fails the fixed point property

The main result of this paper is that every nonreflexive subspace of fails the fixed point property for closed, bounded, convex subsets of and nonexpansive (or contractive) mappings on . Combined with a theorem of Maurey we get that for subspaces of , is reflexive if and only if has the fixed point property. For general Banach spaces the question as to whether reflexivity implies the fixed point property and the converse question are both still open.

     

Krull dimension of modules over involution rings. II

Let be a ring with involution and invertible 2, and let be the subring of generated by the symmetric elements in . The following questions of Lanski are answered positively:

(i)

Must have Krull dimension when does?

(ii)

Is every Artinian -module Artinian as an -module?

     

Remarks on sphere-type theorems

We prove if is a complete Riemannian manifold with an embedded totally geodesic compact hypersurface such that has nonnegative sectional curvature, and the sectional curvature of is strictly positive in a neighborhood of , then the pair is diffeomorphic to the pair . This result gives an affirmative answer to a question of H. Wu in the case when is compact and simply connected.

     

Radial limit of lacunary Fourier series with coefficients in non-commutative symmetric spaces

Let be a rearrangement invariant space, an arbitrary set and a von Neumann algebra with a semifinite normal faithful trace. It is proved that the associated symmetric space of measurable operators has -RNP if and only if has -RNP extending in this way some previous results by Q. Xu.

     

Smooth exhaustion functions in convex domains

We show that in every bounded convex domain in there exists a smooth convex exhaustion function such that the product of all eigenvalues of the matrix is . Moreover, if the domain is strictly convex, then can be chosen so that every eigenvalue is .

     

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 .

     

Groups with many normal-by-finite subgroups

A subgroup of a group is said to be normal-by-finite if the core of in has finite index in . In this article groups satisfying the minimal condition on subgroups which are not normal-by-finite and groups with finitely many conjugacy classes of subgroups which are not normal-by-finite are characterized.

     

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

     

Inner derivations on ultraprime normed algebras

We show that, for every ultraprime Banach algebra , there exists a positive number satisfying for all in , where denotes the centre of and denotes the inner derivation on induced by . Moreover, the number depends only on the ``constant of ultraprimeness' of .

     

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 .

     

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.