Linear series over real and -adic fields

We note that the degeneration arguments given by the author in 2003 to derive a formula for the number of maps from a general curve of genus to with prescribed ramification also yields weaker results when working over the real numbers or -adic fields. Specifically, let be such a field: we see that given , , , and satisfying , there exists smooth curves of genus together with points such that all maps from to can, up to automorphism of the image, be defined over . We also note that the analagous result will follow from maps to higher-dimensional projective spaces if it is proven in the case , , and that thanks to work of Sottile, unconditional results may be obtained for special ramification conditions.

     

Vector measure Banach spaces containing a complemented copy of

Let a Banach space and a -algebra of subsets of a set . We say that a vector measure Banach space has the bounded Vitaly-Hahn-Sacks Property if it satisfies the following condition: Every vector measure , for which there exists a bounded sequence in verifying for all , must belong to . Among other results, we prove that, if is a vector measure Banach space with the bounded V-H-S Property and containing a complemented copy of , then contains a copy of .

     

On mixing and completely mixing properties of positive -contractions of finite von Neumann algebras

Akcoglu and Suchaston proved the following result: Let be a positive contraction. Assume that for the sequence converges weakly in . Then either or there exists a positive function , such that . In the paper we prove an extension of this result in a finite von Neumann algebra setting, and as a consequence we obtain that if a positive contraction of a noncommutative -space has no nonzero positive invariant element, then its mixing property implies the completely mixing property.

     

An ultrafilter with property

Let be a -supercompact cardinal. We show that carries a normal ultrafilter with a property introduced by Menas. With it we give a transparent proof of Kamo's theorem that carries a normal ultrafilter with the partition property.

     

Weak properties of weighted convolution algebras

Suppose that is a weighted convolution algebra on with the weight normalized so that the corresponding space of measures is the dual space of the space of continuous functions. Suppose that is a continuous nonzero homomorphism, where is also a convolution algebra. If is norm dense in , we show that is (relatively) weak dense in , and we identify the norm closure of with the convergence set for a particular semigroup. When is weak continuous it is enough for to be weak dense in . We also give sufficient conditions and characterizations of weak continuity of . In addition, we show that, for all nonzero in , the sequence converges weak to 0. When is regulated, converges to 0 in norm.

     

-algebras and the tail-equivalence relation on Bratteli diagrams

We show that the -algebra associated to the tail-equivalence relation on a Bratteli diagram, according to a procedure recently introduced by the first-named author and A. Lopes, is isomorphic to the -algebra of the diagram. More generally we consider an approximately proper equivalence relation on a compact space for which the quotient maps are local homeomorphisms. We show that the algebra associated to under the above-mentioned procedure is isomorphic to the groupoid -algebra .

     

Automatic continuity of -derivations on -algebras

Let be a -algebra acting on a Hilbert space , let be a linear mapping and let be a -derivation. Generalizing the celebrated theorem of Sakai, we prove that if is a continuous -mapping, then is automatically continuous. In addition, we show the converse is true in the sense that if is a continuous --derivation, then there exists a continuous linear mapping such that is a --derivation. The continuity of the so-called - -derivations is also discussed.

     

On quasi-complete intersections of codimension

In this paper, we prove that if , , is a locally complete intersection of pure codimension and defined scheme-theoretically by three hypersurfaces of degrees , then for using liaison theory and the Arapura vanishing theorem for singular varieties. As a corollary, a smooth threefold is projectively normal if is defined by three quintic hypersurfaces.

     

Degree of a holomorphic map between unit balls from to

Let be a rational proper holomorphic map between the unit ball in and the unit ball in Write

where and are holomorphic polynomials, with Recall that the degree of is defined by

   deg

In this paper, we give a bound estimate for the degree of improving the bound given by Forstneric (1989).

     

Local existence of -sets, projective tensor products, and Arens regularity for

Theorem. If are perfect compact subsets of the locally compact metrizable abelian group, then there are pairwise disjoint perfect subsets such that (i) is either a Kronecker set or (ii) for some , is a translate of a -set all of whose elements have order , and (iii) is isomorphic to the projective tensor product .

This extends what was previously known for groups such as or for the case to the general locally compact abelian group. Old results concerning the local existence of Kronecker and -sets are improved.

     

Sobolev spaces and the Cayley transform

The generalised Cayley transform  from an Iwasawa -group into the corresponding real unit sphere  induces isomorphisms between suitable Sobolev spaces and . We study the differential of  , and we obtain a criterion for a function to be in  .

     

Tensor products of -weakly closed nest algebra submodules

In this paper we prove that for any unital -weakly closed algebra which is -weakly generated by finite-rank operators in , every -weakly closed -submodule has . In the case of nest algebras, if are nests, we obtain the following -fold tensor product formula:

where each is the -weakly closed Alg -submodule determined by an order homomorphism from into itself.

     

(APD)-property of -algebras by extensions of -algebras with (APD)

A unital -algebra is said to have the (APD)-property if every nonzero element in has the approximate polar decomposition. Let be a closed ideal of . Suppose that and have (APD). In this paper, we give a necessary and sufficient condition that makes have (APD). Furthermore, we show that if and or is a simple purely infinite -algebra, then has (APD).

     

The Russo-Dye Theorem in a weakly closed -module

Suppose that is admissible. It is shown that the convex hull of unitary elements of a weakly closed -module contains the whole unit ball of if and only if and for any 0$">, 0$">.

     

Codes over and and Hermitian lattices over imaginary quadratic fields

We introduce a family of bi-dimensional theta functions which give uniformly explicit formulae for the theta series of hermitian lattices over imaginary quadratic fields constructed from codes over and , and give an interesting geometric characterization of the theta series that arise in terms of the basic strongly modular lattice . We identify some of the hermitian lattices constructed and observe an interesting pair of nonisomorphic 3/2 dimensional codes over that give rise to isomorphic hermitian lattices when constructed at the lowest level 7 but nonisomorphic lattices at higher levels. The results show that the two alphabets and are complementary and raise the natural question as to whether there are other such complementary alphabets for codes.

     

``Lebesgue measure' on , II

Let be the set of real numbers, and define . We construct a complete measure space where the -algebra contains the Borel subsets of , and is a translation-invariant measure such that for any measurable rectangle , if , then , where is Lebesgue measure on . The measure is not -finite. We prove three Fubini theorems, namely, the Fubini theorem, the mean Fubini-Jensen theorem, and the pointwise Fubini-Jensen theorem. Finally, as an application of the measure , we construct, via selfadjoint operators on , a ``Schrödinger model' of the canonical commutation relations: , , .

     

Algebraic isomorphisms and -subspace lattices

The class of -lattices was originally defined in the second author's thesis and subsequently by Longstaff, Nation, and Panaia. A subspace lattice on a Banach space which is also a -lattice is called a -subspace lattice, abbreviated JSL. It is demonstrated that every single element of has rank at most one. It is also shown that has the strong finite rank decomposability property. Let and be subspace lattices that are also JSL's on the Banach spaces and , respectively. The two properties just referred to, when combined, show that every algebraic isomorphism between and preserves rank. Finally we prove that every algebraic isomorphism between and is quasi-spatial.

     

Transitive families of projections in factors of type

We introduce a notion of transitive family of subspaces relative to a type factor, and hence a notion of transitive family of projections in such a factor. We show that whenever is a factor of type and is generated by two self-adjoint elements, then contains a transitive family of projections. Finally, we exhibit a free transitive family of projections that generate a factor of type .

     

On an approximate automorphism on a -algebra

It is shown that for an approximate algebra homomorphism on a Banach -algebra , there exists a unique algebra -homomorphism near the approximate algebra homomorphism. This is applied to show that for an approximate automorphism on a unital -algebra , there exists a unique automorphism near the approximate automorphism. In fact, we show that the approximate automorphism is an automorphism.

     

A minimal pair of -degrees

We construct a minimal pair of -degrees. We do this by showing the existence of an unbounded nondecreasing function which forces -triviality in the sense that is -trivial if and only if for all , .