COMPARATIVE PROBABILITY ON THE C* ALGEBRA OF COMPACT OPERATORS

Abstract

Let A be a von Neumann algebra on a Hilbert space H and let P(A) denote the projections of A. A comparative probability (CP) on A (or more correctly on P(A)) is a preorder ? on P(A) satisfying:

0 ? P ? P ε P(A) with Q ≠ 0 for some Q ε P(A).

If P, Q ε P(A) then either P ? Q or Q ? P.

If P, Q and R are all in P(A) and P⊥R, Q⊥R, then P ? Q ? P + R ? Q + R.

Let τ be any of the usual locally convex topologies on A. We say ? is τ continuous if the interval topology induced on P(A) by ? is weaker than the τ topology on P(A). If μ an additive (completely additive) measure on P(A) then μ induces a uniformly (weakly) continuous CP ?μ on P(A) given by P ?_μ Q if μ(P) ? μ(Q). We show that if A is the C* algebra C(H) of compact operators on an infinite dimensional Hilbert space H, the converse is true under an extra boundedness condition on the CP which is automatically satisfied whenever the identity is present in A = P(C(H)).     

Solvability of differential equations on open subsets of the Sierpiński gasket

We give necessary and sufficient conditions on the polynomial p for the differential equation p(Δ)u = f, based on the Laplacian, to be solvable on any open subset of the Sierpiński gasket for any f continuous on that subset. For general p, we find the open subsets on which p(Δ)u = f is solvable for any continuous f.     

On the existence of prolongation of connections

We classify all bundle functors G admitting natural operators transforming connections on a fibered manifold Y → M into connections on GY → M. Then we solve a similar problem for natural operators transforming connections on Y → M into connections on GY → Y. Dedicated to Professor Ivan Kolář on the occasion of his 70th birthday     

Convergence on closed convex sets in a locally convex space

The purpose of this paper is to compare several kinds of convergences on the space C(X) of nonempty closed convex subsets of a locally convex space X. First we verify that the AW-convergence on C(X) is weaker than the metric Attouch-Wets convergence on C(X) of a metrizable locally convex space X. Moreover, we show that X is normable if and only if the two convergences on C(X × R) are equivalent. Secondly we define two convergences on C(X) analogous to the corresponding ones in a normed linear space, and investigate some basic properties of these convergences and compare them.     

Invariant class sizes and solvability of finite groups under coprime action

Suppose that A and G are finite groups of relatively prime orders such that A acts on G via automorphisms, and then, A acts on the set of conjugacy classes of G. We study several arithmetical properties on the sizes of certain classes which are left fixed by A and how they reflect on the A‐invariant structure and may imply the solvability of G.     

On the location of fixed points on pairs of spaces

Let f: (X, A)→(X, A) be an admissible selfmap of a pair of metrizable ANR's. A Nielsen number of the complement Ñ(f; X, A) and a Nielsen number of the boundary ñ(f; X, A) are defined. Ñ(f; X, A) is a lower bound for the number of fixed points on C1(X - A) for all maps in the homotopy class of f. It is usually possible to homotope f to a map which is fixed point free on Bd A, but maps in the homotopy class of f which have a minimal fixed point set on X must have at least ñ(f; X, A) fixed points on Bd A. It is shown that for many pairs of compact polyhedra these lower bounds are the best possible ones, as there exists a map homotopic to f with a minimal fixed point set on X which has exactly Ñ(f; X - A) fixed points on C1(X−A) and ñ(f; X, A) fixed points on Bd A. These results, which make the location of fixed points on pairs of spaces more precise, sharpen previous ones which show that the relative Nielsen number N(f; X, A) is the minimum number of fixed points on all of X for selfmaps of (X, A), as well as results which use Lefschetz fixed point theory to find sufficient conditions for the existence of one fixed point on C1(X−A).     

The argument principle and holomorphic extendibility to finite Riemann surfaces

Let M be a finite Riemann surface and let A(M) be the algebra of all continuous functions on M∪bM which are holomorphic on M. We prove that a continuous function Φ on bM extends to a function in A(M) if and only if for every f,g in A(M) such that fΦ+g≠0 on bM, the change of argument of fΦ+g is nonnegative.     

Orthogonal Polynomials on the Ball and the Simplex for Weight Functions with Reflection Symmetries

Generalized classical orthogonal polynomials on the unit ball B ^d and the standard simplex T ^d are orthogonal with respect to weight functions that are reflection-invariant on B ^d and, after a composition, on T ^d , respectively. They are also eigenfunctions of a second-order differential—difference operator that is closely related to Dunkl's h -Laplacian for the reflection groups. Under a proper limit, the generalized classical orthogonal polynomials on B ^d converge to the generalized Hermite polynomials on R ^d , and those on T ^d converge to the generalized Laguerre polynomials on R ^d ₊ . The latter two are related to the Calogero—Sutherland models associated to the Weyl groups of type A and type B . February 14, 2000. Date revised: July 26, 2000. Date accepted: August 4, 2000.     

Transitive partial actions of groups

J. Kellendonk and M. V. Lawson established that each partial action of a group G on a set Y can be extended to a global action of G on a set Y _G containing a copy of Y. In this paper we classify transitive partial group actions. When G is a topological group acting on a topological space Y partially and transitively we give a condition for having a Hausdorff topology on Y _G such that the global group action of G on Y _G is continuous and the injection Y into Y _G is an open dense equivariant embedding.      

Lazarsfeld-Mukai reflexive sheaves and their stability

Consider an ample and globally generated line bundle L on a smooth projective variety X of dimension N≥2 over ?. Let D be a smooth divisor in the complete linear system of L. We construct reflexive sheaves on X by an elementary transformation of a trivial bundle on X along certain globally generated torsion-free sheaves on D. The dual reflexive sheaves are called the Lazarsfeld-Mukai reflexive sheaves. We prove the μ_L-(semi)stability of such reflexive sheaves under certain conditions.     

Multiplier Hopf Algebras in Categories and the Biproduct Construction

Let B be a regular multiplier Hopf algebra. Let A be an algebra with a non-degenerate multiplication such that A is a left B-module algebra and a left B-comodule algebra. By the use of the left action and the left coaction of B on A, we determine when a comultiplication on A makes A into a “B-admissible regular multiplier Hopf algebra.” If A is a B-admissible regular multiplier Hopf algebra, we prove that the smash product A # B is again a regular multiplier Hopf algebra. The comultiplication on A # B is a cotwisting (induced by the left coaction of B on A) of the given comultiplications on A and B. When we restrict to the framework of ordinary Hopf algebra theory, we recover Majid’s braided interpretation of Radford’s biproduct. Presented by K. Goodearl.     

Bernstein’s analyticity theorem for quantum differences

We consider real valued functions f defined on a subinterval I of the positive real axis and prove that if all of f’s quantum differences are nonnegative then f has a power series representation on I. Further, if the quantum differences have fixed sign on I then f is analytic on I.     

Fourier Series with Linear Splines on an Interval

We construct orthonormal bases of linear splines on a finite interval [a, b] and then we study the Fourier series associated to these orthonormal bases. For continuous functions defined on [a, b], we prove that the associated Fourier series converges pointwisely on (a, b) and also uniformly on [a, b], if it convergences pointwisely at a and b.     

Pseudodifference Operators on Weighted Spaces, and Applications to Discrete Schrödinger Operators

We study pseudodifference operators on Z ^N with symbols which are bounded on Z ^N ×T ^N together with their derivatives with respect to the second variable. In the same way as partial differential operators on R ^N are included in an algebra of pseudodifferential operators, difference operators on Z ^N are included in an algebra of pseudodifference operators. Particular attention is paid to the Fredholm properties of pseudodifference operators on general exponentially weighted spaces l _w ^p (Z ^N ) and to Phragmen–Lindelöf type theorems on the exponential decay at infinity of solutions to pseudodifference equations. The results are applied to describe the essential spectrum of discrete Schrödinger operators and the decay of their eigenfunctions at infinity.     

On Powerful Normal Subgroups of a p-Group

 In this paper we investigate the action of a p-group G on its powerful normal subgroup N. We shall mainly be concerned to find conditions which guarantee that G acts uniserially on N. We shall also study what consequences uniserial action on N has on the structure of N. (Received 21 August 1998; in revised form 28 June 1999)     

Optimization for products of concave functions

Ifh denotes the product of finitely many concave non-negative functions on a compact interval [a, b], then it is shown that there exist pointsα andβ witha≤α≤β≤b such thath is strictly increasing on [α, α), constant on (α, β), and strictly decreasing on (β, b]. This structure theorem leads to an extension of several classical optimization results for concave functions on convex sets to the case of products of concave functions.     

The automorphism group of a Banach principal bundle with {1}-structure

A {1}-structure on a Banach manifold M (with model space E) is an E-valued 1-form on M that induces on each tangent space an isomorphism onto E. Given a Banach principal bundle P with connected base space and a {1}-structure on P, we show that its automorphism group can be turned into a Banach–Lie group acting smoothly on P provided the Lie algebra of infinitesimal automorphisms consists of complete vector fields. As a consequence we show that the automorphism group of a connected geodesically complete affine Banach manifold M can be turned into a Banach–Lie group acting smoothly on M.     

The Denjoy extension of the Riemann and Mcshane integrals

In this paper we study the Denjoy-Riemann and Denjoy-McShane integrals of functions mapping an interval [a, b] into a Banach space X. It is shown that a Denjoy-Bochner integrable function on [a, b] is Denjoy-Riemann integrable on [a, b], that a Denjoy-Riemann integrable function on [a, b] is Denjoy-McShane integrable on [a, b] and that a Denjoy-McShane integrable function on [a, b] is Denjoy-Pettis integrable on [a, b]. In addition, it is shown that for spaces that do not contain a copy of c ₀, a measurable Denjoy-McShane integrable function on [a, b] is McShane integrable on some subinterval of [a, b]. Some examples of functions that are integrable in one sense but not another are included.     

Uniqueness of minimal coverings of maximal partial clones

A partial function f on a k-element set E _k is a partial Sheffer function if every partial function on E _k is definable in terms of f. Since this holds if and only if f belongs to no maximal partial clone on E _k , a characterization of partial Sheffer functions reduces to finding families of minimal coverings of maximal partial clones on E _k . We show that for each k ≥ 2, there exists a unique minimal covering.     

Natural <Emphasis Type="Italic">T</Emphasis>-Functions on the Cotangent Bundle of a Weil Bundle

A natural T-function on a natural bundle F is a natural operator transforming vector fields on a manifold M into functions on FM. For any Weil algebra A satisfying dim M width(A) + 1 we determine all natural T-functions on T ^* T ^A M, the cotangent bundle to a Weil bundle T ^A M.