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?

     

Stability of semigroups commuting with a compact operator

It is proved that if are bounded -semigroups on Banach spaces and , resp., and , are bounded operators with dense ranges such that intertwines with and commutes with , then is strongly stable provided ---the generator of ---does not have eigenvalue on . An analogous result holds for power-bounded operators.

     

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.

     

On the pluricanonical map of threefolds of general type

Let be a smooth minimal threefold of general type and let be an integer . Assume that the image of the pluricanonical map of is a curve. Then a simple computation shows that is necessarily or . When with a numerical condition or when , we obtain two inequalities and , where is the irregularity of and is the Euler characteristic of .

     

A theorem of Briançon-Skoda type for regular local rings containing a field

Let be a regular local ring containing a field. We give a refinement of the Briançon-Skoda theorem showing that if is a minimal reduction of where is -primary, then where and is the largest ideal such that . The proof uses tight closure in characteristic and reduction to characteristic for rings containing the rationals.

     

A -dimensional extension of a lemma of Huneke's and formulas for the Hilbert coefficients

A -dimensional version is given of a -dimensional result due to C. Huneke. His result produced a formula relating the length to the difference , where is primary for the maximal ideal of a -dimensional Cohen-Macaulay local ring , is a minimal reduction of , , and is the Hilbert-Samuel polynomial of . We produce a formula that is valid for arbitrary dimension, and then use it to establish some formulas for the Hilbert coefficients of . We also include a characterization, in terms of the Hilbert coefficients of , of the condition .

     

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.

     

Approximation from locally finite-dimensional shift-invariant spaces

After exploring some topological properties of locally finite-dimensional shift-invariant subspaces of , we show that if provides approximation order , then it provides the corresponding simultaneous approximation order. In the case is generated by a compactly supported function in , it is proved that provides approximation order in the -norm with if and only if the generator is a derivative of a compactly supported function that satisfies the Strang-Fix conditions.

     

Some remarks on the variation of curve length and surface area

Consider the curve , where is absolutely continuous on . Then has finite length, and if is the -neighborhood of in the uniform norm, we compare the length of the shortest path in with the length of . Our main result establishes necessary and sufficient conditions on such that the difference of these quantities is of order as . We also include a result for surfaces.

     

On the definition of real -algebras

We prove that, if is a real -algebra having a predual , then is the unique predual of and the product of is -continuous.

     

The existence of a maximizing vector for the numerical range of a compact operator

Let be a complex Lebesgue space with a unique duality map from to , the conjugate space of . Let be a compact operator on . This paper focuses on properties of and . We adapt an example due to Halmos to show that for , there is a compact operator on with the semi-open interval . So is not attained as a maximum. A corollary of the main result in this paper is that if , and , then is attained as a maximum.

     

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 .

     

Products of images

Let be the \u{C}ech-Stone remainder . We show that there exists a large class of images of such that whenever is a subset of of cardinality at most the continuum, then is again an image of . The class contains all separable compact spaces, all compact spaces of weight at most and all perfectly normal compact spaces.

     

On a pattern of reflexive operator spaces

A linear subspace is a separating subspace for an operator space if the only member of annihilating is 0. It is proved in this paper that if has a strictly separating vector and a separating subspace satisfying , then is reflexive. Applying this to finite dimensional leads to more results on reflexivity. For example, if dim , and every nonzero operator in has rank , then is reflexive.

     

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.

     

The local zeta function for the non-trivial characters associated with the singular Jordan algebras

This paper investigates the local integrals

where represents the integers of a composition algebra over a non-archimedean local field and is a non-trivial character on the units in the ring of integers of extended to by setting . The local zeta function for the trivial character is known for all composition algebras . In this paper, we show in the quaternion case that for all non-trivial characters and then compute the local zeta function in the ramified quadratic extension case for equal to the quadratic character. In this latter case, for any character of order greater than .

     

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 .

     

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 .

     

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.

     

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.