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.

     

A topological characterization of linearity for quasi-traces

Let be a -algebra, and let be a (local) quasi-trace on . Then is linear if, and only if, the restriction of to the closed unit ball of is uniformly weakly continuous.

     

Lipscomb's universal space is the attractor of an infinite iterated function system

Lipscomb's one-dimensional space on an arbitrary index set is injected into the Tychonoff cube . The image of is shown to be the attractor of an iterated function system indexed by . This system is conjugate, under an injection, with a set of right-shift operators on Baire's space regarded as a code space. This view of extends the fractal nature of initiated in a 1992 joint paper by the author and S. Lipscomb. In addition, we give a new proof that as a subspace of Hilbert's space , the space is complete and hence is closed in .

     

Cartan invariants of group algebras of finite groups

We give a result on Cartan invariants of the group algebra of a finite group over an algebraically closed field , which implies that if the Loewy length (socle length) of the projective indecomposable -module corresponding to the trivial -module is four, then has characteristic 2. The proof is independent of the classification of finite simple groups.

     

Spectrally determined growth is generic

Let be the infinitesimal generator of a -semigroup of operators in a Hilbert space. We consider the class of operators , where is bounded. It is proved that the spectrum of determines the growth of the associated semigroup for ``most" operators (in the sense of Baire category).

     

Integral equations, implicit functions, and fixed points

The problem is to show that (1) has a solution, where defines a contraction, , and defines a compact map, . A fixed point of would solve the problem. Such equations arise naturally in the search for a solution of where , but so that the standard conditions of the implicit function theorem fail. Now would be in the form for a classical fixed point theorem of Krasnoselskii if were a contraction. But fails to be a contraction for precisely the same reasons that the implicit function theorem fails. We verify that has enough properties that an extension of Krasnoselskii's theorem still holds and, hence, (1) has a solution. This substantially improves the classical implicit function theorem and proves that a general class of integral equations has a solution.

     

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.

     

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 .

     

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.

     

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?

     

The second iterate of a map with dense orbit

Suppose that is a Hausdorff topological space having no isolated points and that is continuous. We show that if the orbit of a point under is dense in while the orbit of under is not, then the space decomposes into three sets relative to which the dynamics of are easy to describe. This decomposition has the following consequence: suppose that has dense orbit under and that the closure of the set of points of having odd period under has nonempty interior; then has dense orbit under .

     

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.

     

Nonresonance problems for differential inclusions in separable Banach spaces

Let be a real separable Banach space. The boundary value problem

is studied on the infinite interval Here, the closed and densely defined linear operator generates an evolution operator The function is measurable in its first variable, upper semicontinuous in its second and has weakly compact and convex values. Either is bounded and is compact for or is compact and is equicontinuous. The mapping is a bounded linear operator and is fixed. The nonresonance problem is solved by using Ma's fixed point theorem along with a recent result of Przeradzki which characterizes the compact sets in

     

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.

     

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.

     

Integer-valued polynomials on Krull rings

If is a subring of a Krull ring such that is a valuation ring for every finite index , in Spec, we construct polynomials that map into the maximal possible (for a monic polynomial of fixed degree) power of , for all in Spec simultaneously. This gives a direct sum decomposition of Int, the -module of polynomials with coefficients in the quotient field of that map into , and a criterion when Int has a regular basis (one consisting of 1 polynomial of each non-negative degree).

     

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 non-homogeneous zero-dimensional is a group

We provide an example of a zero-dimensional (separable metric) absolute Borel set which is not homogeneous, but whose square admits the structure of a topological group. We also construct a zero-dimensional absolute Borel set such that is a homogeneous non-group but is a group. This answers questions of Arhangel'skii and Zhou.