Simple algebras of Weyl type, II

Over a field of any characteristic, for a commutative associative algebra , and for a commutative subalgebra of , the vector space which consists of polynomials of elements in with coefficients in and which is regarded as operators on forms naturally an associative algebra. It is proved that, as an associative algebra, is simple if and only if is -simple. Suppose is -simple. Then, (a) is a free left -module; (b) as a Lie algebra, the subquotient is simple (except for one case), where is the center of . The structure of this subquotient is explicitly described. This extends the results obtained by Su and Zhao.

     

On the class number of certain imaginary quadratic fields

Theorem. Let 2$"> denote an integer, the square-free part of and the class number of the field . Then except for the case , divides .

     

Existence of multiwavelets in

For a -regular Multiresolution Analysis of multiplicity with arbitrary dilation matrix for a general lattice in , we give necessary and sufficient conditions in terms of the mask and the symbol of the vector scaling function in order that an associated wavelet basis exists. We also show that if where is the absolute value of the determinant of , then these conditions are always met, and therefore an associated wavelet basis of -regular functions always exists. This extends known results to the case of multiwavelets in several variables with an arbitrary dilation matrix for a lattice .

     

LCM-splitting sets in some ring extensions

Let be a saturated multiplicative set of an integral domain . Call an lcm splitting set if and are principal ideals for every and . We show that if is an -stable overring of (that is, if whenever and is principal, it follows that and if is an lcm splitting set of , then the saturation of in is an lcm splitting set in . Consequently, if is Noetherian and is a (nonzero) prime element, then is also a prime element of the integral closure of . Also, if is Noetherian, is generated by prime elements of and if the integral closure of is a UFD, then so is the integral closure of .

     

Proof of the prime power conjecture for projective planes of order

Let be an abelian collineation group of order of a projective plane of order . We show that must be a prime power, and that the -rank of is at least if for an odd prime .

     

The fundamental groups of one-dimensional wild spaces and the Hawaiian earring

Let be a one-dimensional space which contains a copy of a circle and let it not be semi-locally simply connected at any point on Then the fundamental group of cannot be embeddable into a free -product of n-slender groups, for instance, the fundamental group of the Hawaiian earring. Consequently, any one of the fundamental groups of the Sierpinski gasket, the Sierpinski curve, and the Menger curve is not embeddable into the fundamental group of the Hawaiian earring.

     

On the predictability of discrete dynamical systems

Let be a metric space. A function is said to be non-sensitive at a point if for every 0$"> there is a 0$"> such that for any choice of points , , , we have that for every . Let be the set of all homeomorphisms from onto endowed with the topology of uniform convergence. The main goal of the present paper is to prove that for certain spaces , ``most' functions in are non-sensitive at ``most' points of .

     

Normal bases for Hopf-Galois algebras

Let be a Hopf algebra over a commutative ring such that is a finitely generated, projective module over , let be a right -comodule algebra, and let be the subalgebra of -coinvariant elements of . If is a Galois extension of and is a local subalgebra of the center of , then is a cleft right -comodule algebra or, equivalently, there is a normal basis for over .

     

On one problem of uniqueness of meromorphic functions concerning small functions

In this paper, we show that if two non-constant meromorphic functions and satisfy for , where are five distinct small functions with respect to and , and is a positive integer or with , then . As a special case this also answers the long-standing problem on uniqueness of meromorphic functions concerning small functions.

     

New examples of non-slice, algebraically slice knots

For 1$">, if the Seifert form of a knotted -sphere in has a metabolizer, then the knot is slice. Casson and Gordon proved that this is false in dimension three. However, in the three-dimensional case it is true that if the metabolizer has a basis represented by a strongly slice link, then is slice. The question has been asked as to whether it is sufficient that each basis element is represented by a slice knot to assure that is slice. For genus one knots this is of course true; here we present genus two counterexamples.

     

A global pinching theorem for surfaces with constant mean curvature in

Let be a compact immersed surface in the unit sphere with constant mean curvature . Denote by the linear map from into , , where is the linear map associated to the second fundamental form and is the identity map. Let denote the square of the length of . We prove that if , then is either totally umbilical or an -torus, where is a constant depending only on the mean curvature .

     

Van der Waerden spaces

A topological space is van der Waerden if for every sequence in there exists a converging subsequence so that contains arbitrarily long finite arithmetic progressions. Not every sequentially compact space is van der Waerden. The product of two van der Waerden spaces is van der Waerden.

The following condition on a Hausdorff space is sufficent for to be van der Waerden:

The closure of every countable set in is compact and first-countable.

A Hausdorff space that satisfies satisfies, in fact, a stronger property: for every sequence in :

There exists so that is converging, and contains arbitrarily long finite arithmetic progressions and sets of the form for arbitrarily large finite sets .

There are nonmetrizable and noncompact spaces which satisfy . In particular, every sequence of ordinal numbers and every bounded sequence of real monotone functions on satisfy .

     

Invariant ideals of abelian group algebras under the multiplicative action of a field. II

Let be a division ring and let be a finite-dimensional right -vector space, viewed multiplicatively. If is the multiplicative group of , then acts on and hence on any group algebra . In this paper, we completely describe the semiprime -stable ideals of , and conclude that these ideals satisfy the ascending chain condition. As it turns out, this result follows fairly easily from the corresponding results for the field of rational numbers (due to Brookes and Evans) and for infinite locally-finite fields (handled in Part I).

     

Ultrastability of ideals of homogeneous polynomials and multilinear mappings on Banach spaces

Using the theory of full and symmetric tensor norms on normed spaces, a theorem of Kürsten and Heinrich on ultrastability and maximality of normed operator ideals is extended to ideals of -homogeneous polynomials and -linear mappings--scalar-valued and vector-valued. The motivation for these results is the following important special case: the ``uniterated' Aron-Berner extension : of an -homogeneous polynomial to the bidual remains in certain ideals under preservation of the norm. Moreover, Lotz's characterization of maximal normed ideals of linear mappings through appropriate tensor norms is proved for ideals of -homogeneous scalar-valued polynomials and ideals of -linear mappings.

     

The strong radical and finite-dimensional ideals

Let be a semi-prime Banach algebra with strong radical (intersection of its two-sided modular maximal ideals). A minimal left or right ideal of is infinite-dimensional if and only if . Thus all minimal one-sided ideals in are finite-dimensional if is strongly semi-simple.

     

Critical points of the area functional of a complex closed curve on the manifold of Kähler metrics

We consider a compact complex manifold of dimension that admits Kähler metrics and we assume that is a closed complex curve. We denote by the space of classes of Kähler forms that define Kähler metrics of volume 1 on and define by . We show how the Riemann-Hodge bilinear relations imply that any critical point of is the strict global minimum and we give conditions under which there is such a critical point : A positive multiple of is the Poincaré dual of the homology class of . Applying this to the Abel-Jacobi map of a curve into its Jacobian, , we obtain that the Theta metric minimizes the area of within all Kähler metrics of volume 1 on .

     

Parallel tangent hyperplanes

Let be a smooth strictly convex closed hypersurface in and let be any oriented smooth connected manifold immersed in Suppose that is a continuous function from to Then there is at least one point such that the hyperplane tangent to at is parallel to the hyperplane tangent to the immersed manifold at the point corresponding to If there did not exist at least two such points, would have to be compact and the Hurewicz homomorphism of into would have to be surjective. If in addition our immersion was an embedding, the Euler characteristic of would have to be equal to For any and any immersed we could always get maps for which the number of points satisfying the conditions of our theorem exactly equaled two. An example can be given in which both and are the unit sphere about the origin in and there is only one such point .

     

The extension of positive definite operator-valued functions defined on a symmetric interval of an ordered group

Let be an ordered abelian group and . Let be an abelian group and an operator-valued positive definite function on . We prove that admits a positive definite extension to , generalizing in this way existing results for the case when and is continuous.

     

Subgroup growth in some pro- groups

For a group let be the number of subgroups of index and let be the number of normal subgroups of index . We show that for 2$">. If and does not divide or if and or , we show that for all sufficiently large . On the other hand if and divides , then is not even bounded as a function of .

     

On the irreducibility of the iterates of

Let be a field and suppose that is irreducible in . We discuss the following question: under what conditions are all iterates of irreducible over ?