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 .

     

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.

     

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.

     

Asymptotic behavior of nonexpansive sequences and mean points

Let be a real Banach space with norm and let be a nonexpansive sequence in (i.e., for all ). Let . We deal with the mean point of concerning a Banach limit. We show that if is reflexive and , then and there exists a unique point with such that . This result is applied to obtain the weak and strong convergence of .

     

On a polynomial inequality of Kolmogoroff's type

We prove an inequality of the form

for polynomials of degree and any fixed . Here is the -norm on with a weight . The coefficients and are given explicitly and depend on and only. The equality is attained for the Hermite orthogonal polynomials .

     

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

     

Degrees of unsolvability of first order decision problems for finitely presented groups

We show that for any arithmetical -degree there is a first order decision problem such that has -degree for the free 2-step nilpotent group of rank 2. This implies a conjecture of Sacerdote.

     

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.

     

A Farey tree organization of locking regions for simple circle maps

Let be a circle endomorphism of degree one with exactly two critical points and negative Schwarzian derivative. Assume that there is no real number such that has a unique rotation number equal to . Then the same holds true for any such that stands above in the Farey tree and can be related to it by a path on the tree.

     

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.

     

Inversion formula and singularities of the solution for the backprojection operator in tomography

Let , , be the backprojection operator. The range of this operator as an operator on non-smooth functions is described and formulas for are derived. It is proved that the operator is not injective on but is injective on the subspace of which consists of even functions . Singularities of the function are studied. Here is a piecewise-smooth compactly supported function. Conditions for to have compact support are given. Some applications are considered.

     

Isometries of certain operator algebras

To a given basis on an -dimensional Hilbert space , we associate the algebra of all linear operators on having every as an eigenvector. So, is commutative, semisimple, and -dimensional. Given two algebras of this type, and , there is a natural algebraic isomorphism of and . We study the question: When does preserve the operator norm?

     

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.

     

Differences of vector-valued functions on topological groups

Let be a locally compact group equipped with right Haar measure. The right differences of functions on are defined by for . Let and suppose for some and all . We prove that is a right uniformly continuous function of . If is abelian and the Beurling spectrum does not contain the unit of the dual group , then we show . These results have analogues for functions , where is a separable or reflexive Banach space. Finally, we apply our methods to vector-valued right uniformly continuous differences and to absolutely continuous elements of left Banach -modules.

     

Almost linearity of -bi-Lipschitz maps between real Banach spaces

Let and be real Banach spaces. A map between and is called an -bi-Lipschitz map if for all . In this note we show that if is an -bi-Lipschitz map with from onto , then is almost linear. We also show that if is a surjective -bi-Lipschitz map with , then there exists a linear isomorphism such that

where as and .

     

Cohomological detection and regular elements in group cohomology

Suppose that is a compact Lie group or a discrete group of finite virtual cohomological dimension and that is a field of characteristic . Suppose that is a set of elementary abelian -subgroups such that the cohomology is detected on the centralizers of the elements of . Assume also that is closed under conjugation and that is in whenever some subgroup of is in . Then there exists a regular element in the cohomology ring such that the restriction of to an elementary abelian -subgroup is not nilpotent if and only if is in . The converse of the result is a theorem of Lannes, Schwartz and the second author. The results have several implications for the depth and associated primes of the cohomology rings.

     

On contravariant finiteness of subcategories of modules of projective dimension

Let be an artin algebra. This paper presents a sufficient condition for the subcategory of to be contravariantly finite in , where is the subcategory of consisting of --modules of projective dimension less than or equal to . As an application of this condition it is shown that is contravariantly finite in for each when is stably equivalent to a hereditary algebra.

     

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 Voiculescu's double commutant theorem

For a separable infinite-dimensional Hilbert space , we consider the full algebra of bounded linear transformations and the unique non-trivial norm-closed two-sided ideal of compact operators . We also consider the quotient -algebra with quotient map

For any -subalgebra of , the relative commutant is given by for all in . It was shown by D. Voiculescu that, for any separable unital -subalgebra of ,

In this note, we exhibit a non-separable unital -subalgebra of for which (VDCT) fails.