Rational nodal curves with no smooth Weierstrass points

Let denote the rational curve with nodes obtained from the Riemann sphere by identifying 0 with and with for , where is a primitive th root of unity. We show that if is even, then has no smooth Weierstrass points, while if is odd, then has smooth Weierstrass points.

     

On a measure-theoretic problem of Arveson

A probability measure on a product space is said to be bistochastic with respect to measures on and on if the marginals and are exactly and . A solution is presented to a problem of Arveson about sets which are of measure zero for all such .

     

A note on generators of least degree in Gorenstein ideals

Assume is a polynomial ring over a field and is a homogeneous Gorenstein ideal of codimension and initial degree . We prove that the number of minimal generators of that are of degree is bounded above by , which is the number of minimal generators of the defining ideal of the extremal Gorenstein algebra of codimension and initial degree . Further, is itself extremal if .

     

Completely positive module maps and completely positive extreme maps

Let be unital -algebras and be the set of all completely positive linear maps of into . In this article we characterize the extreme elements in , for all , and pure elements in in terms of a self-dual Hilbert module structure induced by each in . Let be the subset of consisting of -module maps for a von Neumann algebra . We characterize normal elements in to be extreme. Results here generalize various earlier results by Choi, Paschke and Lin.

     

A note on quasi-Frobenius rings

It is shown that a semiperfect ring is quasi-Frobenius if and only if every closed submodule of is non-small, where denotes the direct sum of copies of the right -module and is the first infinite ordinal.

     

Bounds for the operator norms of some Nörlund matrices

Suppose is a non-increasing sequence of non-negative numbers with , , , and is the lower triangular matrix defined by , , and , . We show that the operator norm of as a linear operator on is no greater than , for ; this generalizes, yet again, Hardy's inequality for sequences, and simplifies and improves, in this special case, more generally applicable results of D. Borwein, Cass, and Kratz. When the tend to a positive limit, the operator norm of on is exactly . We also give some cases when the operator norm of on is less than .

     

Radial symmetry of large solutions of nonlinear elliptic equations

We give conditions under which all solutions of the problem

are radial. We assume is positive when and are both large and positive. Since this problem with has non-radial solutions, we rule out this possibility by requiring that grow superlinearly in when and are both large and positive. However we make no assumptions on the rate of growth of solutions.

     

Polynomial rings over Goldie-Kerr commutative rings II

An overlooked corollary to the main result of the stated paper (Proc. Amer. Math. Soc. 120 (1994), 989--993) is that any Goldie ring of Goldie dimension 1 has Artinian classical quotient ring , hence is a Kerr ring in the sense that the polynomial ring satisfies the on annihilators . More generally, we show that a Goldie ring has Artinian when every zero divisor of has essential annihilator (in this case is a local ring; see Theorem ). A corollary to the proof is Theorem 2: A commutative ring has Artinian iff is a Goldie ring in which each element of the Jacobson radical of has essential annihilator. Applying a theorem of Beck we show that any ring that has Noetherian local ring for each associated prime is a Kerr ring and has Kerr polynomial ring (Theorem 5).

     

The -PIP and integrability of a single function

Two examples are given that answer in the negative the following question asked by E. M. Bator: If is bounded and weakly measurable and for each in there is a bounded sequence in such that a.e., does it follow that is Pettis integrable?

     

On purely inseparable extensions and their generators

Let be a field of characteristic and a polynomial algebra in two variables. By a -generator of we mean an element of for which there exist and such that . We also define a -line of to mean any element of whose coordinate ring is that of a -generator. Then we prove that if is such that is a -line of (where is an indeterminate over ), then is a -generator of . This is analogous to the well-known fact that if is such that is a line of , then is a variable of . We also prove that if is a -line of for which there exist and such that , then is in fact a -generator of .

     

Removability of the singular set of the heat flow of harmonic maps

We show that the singular set of a weak stationary solution of the heat flow of harmonic maps between Riemannian manifolds and , with compact, is removable if it has ``parabolic codimension' greater than two and the initial energy is sufficiently small.

     

Representing the automorphism group of an almost crystallographic group

Let be an almost crystallographic (AC-) group, corresponding to the simply connected, connected, nilpotent Lie group and with holonomy group . If , there is a faithful representation . In case is crystallographic, this condition is known to be equivalent to or . We will show (Example 2.2) that, for AC-groups , this is no longer valid and should be adapted. A generalised equivalent algebraic (and easier to verify) condition is presented (Theorem 2.3). Corresponding to an AC-group and by factoring out subsequent centers we construct a series of AC-groups, which becomes constant after a finite number of terms. Under suitable conditions, this opens a way to represent faithfully in (Theorem 4.1). We show how this can be used to calculate . This is of importance, especially, when is almost Bieberbach and, hence, is known to have an interesting geometric meaning.

     

On the prime model property

Assume is superstable, is a formula over , is countable and is countable and . We investigate models in assuming has the prime model property. We prove some corollaries on the number of models in . We show an example of an -stable and with having exactly 3 models.

     

Finite factorization domains

An integral domain is a finite factorization domain if each nonzero element of has only finitely many divisors, up to associates. We show that a Noetherian domain is an FFD for each overring of that is a finitely generated -module, is finite. For local this is also equivalent to each being finite. We show that a one-dimensional local domain is an FFD either is finite or is a DVR.

     

The statistics of continued fractions for polynomials over a finite field

Given a finite field of order and polynomials of degrees respectively, there is the continued fraction representation . Let denote the number of such pairs for which and for . We give both an exact recurrence relation, and an asymptotic analysis, for . The polynomial associated with the recurrence relation turns out to be of P-V type. We also study the distribution of . Averaged over all and as above, this presents no difficulties. The average value of is , and there is full information about the distribution. When is fixed and only is allowed to vary, we show that this is still the average. Moreover, few pairs give a value of that differs from this average by more than

     

Banach spaces in which every -weakly summable sequence lies in the range of a vector measure

Let be a Banach space. For we prove that the identity map is -summing if and only if the operator is nuclear for every unconditionally summable sequence in , where is the conjugate number for . Using this result we find a characterization of Banach spaces in which every -weakly summable sequence lies inside the range of an -valued measure (equivalently, every -weakly summable sequence in , satisfying that the operator is compact, lies in the range of an -valued measure) with bounded variation. They are those Banach spaces such that the identity operator is -summing.

     

Parametrizing maximal compact subvarieties

For the Lie group , let be the open orbit of Lagrangian planes of signature in the generalized flag variety of Lagrangian planes in . For a suitably chosen maximal compact subgroup of and a base point we have that the orbit of is a maximal compact subvariety of . We show that for the connected component containing in the space of translates of which lie in is biholomorphic to , where denotes with the opposite complex structure.

     

Correspondences of closed submodules

If is an -faithful -module, then there is an order-preserving correspondence between the closed -submodules of and the closed -submodules of , where .

     

-regular maps on smooth manifolds

A continuous map is said to be -regular if whenever are distinct points of , then are linearly independent over . For smooth manifolds we obtain new lower bounds on the minimum for which a -regular map can exist in terms of the dual Stiefel-Whitney classes of .