Probability measures in -algebras in Hilbert spaces with conjugation

Let be a real -algebra of -real bounded operators containing no central summand of type in a complex Hilbert space with conjugation . Denote by the quantum logic of all -orthogonal projections in the von Neumann algebra . Let be a probability measure. It is shown that contains a finite central summand and there exists a normal finite trace on such that , .

     

Neither first countable nor Cech-complete spaces are maximal Tychonoff connected

A connected Tychonoff space is called maximal Tychonoff connected if there is no strictly finer Tychonoff connected topology on . We show that if is a connected Tychonoff space and locally separable spaces, locally \v{C}ech-complete spaces, first countable spaces, then is not maximal Tychonoff connected. This result is new even in the cases where is compact or metrizable.

     

A remark on normal derivations

Given a Hilbert space , let be operators on . Anderson has proved that if is normal and , then for all operators . Using this inequality, Du Hong-Ke has recently shown that if (instead) , then for all operators . In this note we improve the Du Hong-Ke inequality to for all operators . Indeed, we prove the equivalence of Du Hong-Ke and Anderson inequalities, and show that the Du Hong-Ke inequality holds for unitarily invariant norms.

     

-convexity of Orlicz-Bochner spaces

A characterization of -convexity of arbitrary Banach space is given. Moreover, it is proved that the Orlicz-Bochner function space is P-convex if and only if both spaces and are -convex. In particular, the Lebesgue-Bochner space with is -convex iff is -convex.

     

Continuous multiplicative mappings on

Let and be compact Hausdorff topological spaces, and let and be real Banach algebras of all real-valued continuous functions on and , respectively. The general form of continuous multiplicative mappings is given.

     

Properties of subgenerators of regularized semigroups

We introduce two operations , in the set of subgenerators of a given - regularized semigroup and prove that is a complete partially ordered lattice with respect to , and the operator inclusion . Also presented are some other properties and examples for

     

Extendibility of homogeneous polynomials on Banach spaces

We study the -homogeneous polynomials on a Banach space that can be extended to any space containing . We show that there is an upper bound on the norm of the extension. We construct a predual for the space of all extendible -homogeneous polynomials on and we characterize the extendible 2-homogeneous polynomials on when is a Hilbert space, an -space or an -space.

     

Hausdorff dimension and doubling measures on metric spaces

Volberg and Konyagin have proved that a compact metric space carries a nontrivial doubling measure if and only if it has finite uniform metric dimension. Their construction of doubling measures requires infinitely many adjustments. We give a simpler and more direct construction, and also prove that for any , the doubling measure may be chosen to have full measure on a set of Hausdorff dimension at most .

     

Vector bundles on log terminal varieties

Let be an -dimensional variety and an ample vector bundle on of rank . We give a complete classification of pairs , with log terminal and such that is not ample. The results we obtain were conjectured by Fujita, and recently by Zhang.

     

Relative to any nonrecursive set

There is a countable first order structure such that for any set of integers , is not recursive if and only if there is a presentation of which is recursive in .

     

Differential forms on quotients by reductive group actions

Let be a smooth affine algebraic variety where a reductive algebraic group acts with a smooth quotient space . We show that the algebraic differential forms on which are pull-backs of forms on are exactly the -invariant horizontal differential forms on .

     

Subnormal Subgroups of Group Ring Units

Let be an arbitrary group. If satisfies , , then the units , generate a nonabelian free subgroup of units. As an application we show that if is contained in an almost subnormal subgroup of units in then either contains a nonabelian free subgroup or all finite subgroups of are normal. This was known before to be true for finite groups only.

     

A twistor correspondence and Penrose transform for odd-dimensional hyperbolic space

For odd-dimensional hyperbolic space , we construct transforms between the cohomology of certain line bundles on (a twistor space for ) and eigenspaces of the Laplacian and of the Dirac operator on . The transforms are isomorphisms. As a corollary we obtain that every eigenfunction of or on extends as a holomorphic eigenfunction of the corresponding holomorphic operator on a certain region of the complexification of . We also obtain vanishing theorems for the cohomology of a class of line bundles on .

     

A note on norm attaining functionals

We are concerned in this paper with the density of functionals which do not attain their norms in Banach spaces. Some earlier results given for separable spaces are extended to the nonseparable case. We obtain that a Banach space is reflexive if and only if it satisfies any of the following properties: (i) admits a norm with the Mazur Intersection Property and the set of all norm attaining functionals of contains an open set, (ii) the set of all norm one elements of contains a (relative) weak* open set of the unit sphere, (iii) has and contains a (relative) weak open set of the unit sphere, (iv) is , has and contains a (relative) weak open set of the unit sphere. Finally, if is separable, then is reflexive if and only if contains a (relative) weak open set of the unit sphere.

     

Optimal estimation of shell thickness in Cutland's construction of Wiener measure

In Cutland's construction of Wiener measure, he used the product of Gaussian measures on , where is an infinite integer. It is mentioned by Cutland and Ng that for the product measure ,

where and with any positive infinite number. We prove here that may be replaced by with any positive infinite number. This is the optimal estimation for the shell thickness. It is also proved that . And for the *Lebesgue measure , is finite and not infinitesimal iff with finite, while for the *Lebesgue area of the sphere , should be .

     

Some results on finite Drinfeld modules

Let be a global function field, a degree one prime divisor of and let be the Dedekind domain of functions in regular outside . Let be the Hilbert class field of , the integral closure of in . Let be a rank one normalized Drinfeld -module and let be a prime ideal in . We explicitly determine the finite -module structure of . In particular, if , is an odd prime number and is the Carlitz -module, then the finite -module is always cyclic.

     

On uniqueness of invariant means

The following results on uniqueness of invariant means are shown:

(i) Let be a connected almost simple algebraic group defined over . Assume that , the group of the real points in , is not compact. Let be a prime, and let be the compact -adic Lie group of the -points in . Then the normalized Haar measure on is the unique invariant mean on .

(ii) Let be a semisimple Lie group with finite centre and without compact factors, and let be a lattice in . Then integration against the -invariant probability measure on the homogeneous space is the unique -invariant mean on .

     

A note on the cohomology of finitary modules

Let be a group, a division ring and a -module. is called finitary provided that is finite dimensional for all . We investigate the first and second degree cohomology of finitary modules in terms of a local system for .

     

Enveloping algebras of lie color algebras: primeness versus graded-primeness

Let be a finite abelian group and let be a, possibly restricted, -graded Lie color algebra. Then the enveloping algebra is also -graded, and we consider the question of whether being graded-prime implies that it is prime. The first section of this paper is devoted to the special case of Lie superalgebras over a field of characteristic . Specifically, we show that if and if has a unique minimal graded-prime ideal, then this ideal is necessarily prime. As will be apparent, the latter result follows quickly from the existence of an anti-automorphism of whose square is the automorphism of the enveloping algebra associated with its -grading. The second section, which is independent of the first, studies more general Lie color algebras and shows that if is graded-prime and if most homogeneous components of are infinite dimensional over , then is prime. Here we use -methods to study the grading on the extended centroid of . In particular, if is generated by the infinite support of , then we prove that is homogeneous.