``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: , , .

     

Covering by graphs of -ary functions and long linear orderings of Turing degrees

A point is covered by a function iff there is a permutation of such that .

By a theorem of Kuratowski, for every infinite cardinal exactly -ary functions are needed to cover all of . We show that for arbitrarily large uncountable it is consistent that the size of the continuum is and is covered by -ary continuous functions.

We study other cardinal invariants of the -ideal on generated by continuous -ary functions and finally relate the question of how many continuous functions are necessary to cover to the least size of a set of parameters such that the Turing degrees relative to this set of parameters are linearly ordered.

     

Conservativeness of diffusion processes with drift

We show the conservativeness of the Girsanov transformed diffusion process by drift with or 4d/(d+2)$">, or if is of the Hardy class with sufficiently small coefficient of energy . Here 0$"> is the lower bound of the symmetric measurable matrix-valued function appearing in the given Dirichlet form. In particular, our result improves the conservativeness of the transformed process by when .

     

Strong comparison principle for solutions of quasilinear equations

Let , , be a bounded smooth connected open set and be a map satisfying the hypotheses (H1)-(H4) below. Let with , in and with be two weak solutions of

Suppose that in . Then we show that u_1$"> in under the following assumptions: either u_1$"> on , or on and in . We also show a measure-theoretic version of the Strong Comparison Principle.

     

Control of radii of convergence and extension of subanalytic functions

Let : denote a real analytic function on an open subset of , and let denote the points where does not admit a local analytic extension. We show that if is semialgebraic (respectively, globally subanalytic), then is semialgebraic (respectively, subanalytic) and extends to a semialgebraic (respectively, subanalytic) neighbourhood of . (In the general subanalytic case, is not necessarily subanalytic.) Our proof depends on controlling the radii of convergence of power series centred at points in the image of an analytic mapping , in terms of the radii of convergence of at points , where denotes the Taylor expansion of at .

     

Bounds of Gauss sums in finite fields

We consider Gauss sums of the form

with a nontrivial additive character of a finite field of elements of characteristic . The classical bound becomes trivial for . We show that, combining some recent bounds of Heath-Brown and Konyagin with several bounds due to Deligne, Katz, and Li, one can obtain the bound on which is nontrivial for the values of of order up to . We also show that for almost all primes one can obtain a bound which is nontrivial for the values of of order up to .

     

Exponents of class groups of real quadratic function fields

We show that there are polynomials with such that the ideal class group of the real quadratic extensions has an element of order .

     

The duality theory of a finite dimensional discrete quantum group

Suppose that is a finite dimensional discrete quantum group and is a Hilbert space. This paper shows that if there exists an action of on so that is a modular algebra and the inner product on is -invariant, then there is a unique C*-representation of on supplemented by the The commutant of in is exactly the -invariant subalgebra of . As an application, a new proof of the classical Schur-Weyl duality theory of type A is given.

     

The splitting problem for subspaces of tensor products of operator algebras

The main result of this paper is that if is a von Neumann algebra that is a factor and has the weak* operator approximation property (the weak* OAP), and if is a von Neumann algebra, then every -weakly closed subspace of that is an -bimodule (under multiplication) splits, in the sense that there is a -weakly closed subspace of such that . Note that if is a von Neumann subalgebra of , then is an -bimodule if and only if . So this result is a generalization (in the case where has the weak* OAP) of the result of Ge and Kadison that if is a factor, then every von Neumann subalgebra of that contains splits. We also obtain other results concerning the splitting of -weakly closed subspaces of tensor products of von Neumann algebras and the splitting of normed closed subspaces of C*-algebras that generalize results previously obtained for von Neumann subalgebras and C*-subalgebras.

     

The positivity of linear functionals on Cuntz algebras associated to unit vectors

We study the linear functional on the Cuntz algebra associated to a sequence of unit vectors in that is a generalization of the Cuntz state. We prove that is positive if and only if is a constant sequence.