Finite and -resolvability

A topological space is -resolvable if has disjoint dense subsets. In this paper, we prove that if is -resolvable for each positive integer , then is -resolvable.

     

Endomorphism rings of simple modules over group rings

If is a finitely generated nilpotent group which is not abelian-by-finite, a field, and a finite dimensional separable division algebra over , then there exists a simple module for the group ring with endomorphism ring . An example is given to show that this cannot be extended to polycyclic groups.

     

Representation of continuous functions as sums of Green functions

Let , where is polar and compact and is a domain with Green function . We characterize those subsets of which have the following property: Every positive continuous function on can be written as , where and for each .

     

Quasitriangular Hopf algebras whose group-like elements form an abelian group

In this paper we prove some properties of the set of group-like elements of , , for a pointed minimal quasitriangular Hopf algebra over a field of characteristic 0, and for a pointed quasitriangular Hopf algebra which is indecomposable as a coalgebra. We first show that over a field of characteristic 0, for any pointed minimal quasitriangular Hopf algebra , is abelian. We show further that if is a quasitriangular Hopf algebra which is indecomposable as a coalgebra, then is contained in , the minimal quasitriangular Hopf algebra contained in . As a result, one gets that over a field of characteristic 0, a pointed indecomposable quasitriangular Hopf algebra has a finite abelian group of group-like elements.

     

On perturbations of M-accretive operators in Banach spaces

In this paper, we consider the solvability of nonlinear equations of the form

where is an m-accretive operator on a Banach space , is a mapping on and .

     

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.

     

Completely distributive CSL algebras with no complements in

Anoussis and Katsoulis have obtained a criterion for the space to have a closed complement in , where is a completely distributive commutative subspace lattice. They show that, for a given , the set of for which this complement exists forms an interval whose endpoints are harmonic conjugates. Also, they establish the existence of a lattice for which has no complement for any . However, they give no specific example. In this note an elementary demonstration of a simple example of this phenomenon is given. From this it follows that for a wide range of lattices , fails to have a complement for any .

     

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

     

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.

     

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

     

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 .

     

-analyticity

Let be a finite-dimensional commutative algebra over and let , and be the ring of -differentiable functions of class , the ring of real analytic mappings with values in and the ring of -analytic functions, respectively, defined on an open subset of . We prove two basic results concerning -differentiability and -analyticity: ) , ) if and only if is defined over .

     

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.

     

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.

     

On fully invariant ideals of the free group algebra

Let be the group algebra of a free noncyclic group over an integral domain . It is proved that if is not a field, then there exists a fully invariant ideal of such is torsion-free but not projective as an -module. In other words, there exists a pure nonprojective variety of group representations over .

     

and the associated line bundles

Let be a compact semi-simple Lie group, and let be a maximal unipotent subgroup of the complexified group . In this paper, we classify all the -invariant Kaehler structures on . For each Kaehler structure , let be the line bundle with connection whose curvature is . We then study the holomorphic sections of , which constitute a -representation space.

     

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 .