A new approach to the Tomita-Takesaki theory of generalized Hilbert algebras

Let M be a von Neumann algebra with separating and cyclic vector ξ₀. The map $\text{xξ}{}_0\text{→ x}{}^1\text{ξ}{}_0$ with x?M has a least closed extension S. Tomita proved that the isometric involution J and the positive self-adjoint operator Δ obtained from the polar decomposition $\text{S = JΔ}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$ of S satisfy JMJ = M′ and Δ^itMΔ^?it = M for any real t. More generally, he obtained similar results for the left von Neumann algebra of any generalized Hilbert algebra. In this paper a shorter proof of his results is given.     

Inner functions in the unit ball of Cn

Let B be the open unit ball of $\text{C}$ⁿ, n > 1. Let I (for “inner”) be the set of all u ? H °(B) that have $\text{¦u¦ = 1}$ a.e. on the boundary S of B. Aleksandrov proved recently that there exist nonconstant u ? I. This paper strengthens his basic theorem and provides further information about I and the algebra Q generated by I. Let XY be the finite linear span of products xy, x ? X, y ? Y, and let $\text{¦X¦}$ be the norm closure, in L^∞ = L^∞(S), of X. Some results: set I is dense in the unit ball of H^∞(B) in the compact-open topology. On $\text{S,}\text{Q}\text{?}\text{Q}$ is weak¹-dense in $\text{L}{}^{\mathrm{\infty }}\text{, ¦}\text{Q}\text{?}\text{Q¦}$ does not contain $\text{H}{}^{\mathrm{\infty }}\text{, C(S) ?¦}\text{Q}\text{?}\text{H}{}^{\mathrm{\infty }}\text{¦ ≠ ¦}\text{H}\text{?}{}^{\mathrm{\infty }}\text{H}{}^{\mathrm{\infty }}\text{¦ ≠ L}{}^{\mathrm{\infty }}$. (When $\text{n = 1, ¦Q¦ = H}{}^{\mathrm{\infty }}\text{and}\text{¦}\text{Q}\text{?}\text{Q¦ = L}{}^{\mathrm{\infty }}$.) Every unimodular $\text{?}\text{?}\text{L}{}^{\mathrm{\infty }}$ is a pointwise limit a.e. of products $\text{u}\text{v}\text{?}\text{, u}\text{?}\text{I, ν}\text{?}\text{I}$. The zeros of every $\text{? ? 0}$ in the ball algebra (but not of every H^∞-function) can be matched by those of some u ? I, as can any finite number of derivatives at 0 if $\text{∥?∥}{}_{\mathrm{\infty }}\text{< 1}$. However, $\text{?}\text{u}$ cannot be bounded in B if u ? I is non-constant.     

On the length of optimal TSP circuits in sets of bounded diameter

Let V be a set of n points in R^k. Let d(V) denote the diameter of V, and l(V) denote the length of the shortest circuit which passes through all the points of V. (Such a circuit is an “optimal TSP circuit”.) l^k(n) are the extremal values of l(V) defined by l^k(n)=max{l(V)|V∈V_n^k}, where V_n^k={V|V?R^k,|V|=n, d(V)=1}. A set V∈V_n^k is “longest” if l(V)=l^k(n). In this paper, first some geometrical properties of longest sets in R² are studied which are used to obtain l²(n) for small n′s, and then asymptotic bounds on l^k(n) are derived. Let δ(V) denote the minimal distance between a pair of points in V, and let: δ^k(n)=max{δ(V)|V∈V_n^k}. It is easily observed that $\text{δ}{}^{\mathrm{k}}\text{(n)=O(n}{}^{\mathrm{<mtext>?1</mtext><mtext>k</mtext>}}\text{)}$. Hence, $\text{c}{}_{\mathrm{k}}\text{=}\text{lim sup}{}_{\mathrm{n\to \infty }}\text{δ}{}^{\mathrm{k}}\text{(n)n}{}^{\mathrm{<mtext>1</mtext><mtext>k</mtext>}}$ exists. It is shown that for all $\text{n, c}{}_{\mathrm{k}}\text{n}{}^{\mathrm{<mtext>?1</mtext><mtext>k</mtext>}}\text{≤δ}{}^{\mathrm{k}}\text{(n)}$, and hence, for all $\text{n, l}{}^{\mathrm{k}}\text{(n)≥ c}{}_{\mathrm{k}}\text{n}{}^{\mathrm{<mtext>1?1</mtext><mtext>k</mtext>}}$. For k=2, this implies that $\text{l}{}^2\text{(n)≥(}\text{π}{}^2\text{12}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>4</mtext>}}\text{n}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$, which generalizes an observation of Fejes-Toth that $\text{lim}{}_{\mathrm{n\to \infty }}\text{l}{}^2\text{(n)n}{}^{\mathrm{<mtext>?1</mtext><mtext>2</mtext>}}\text{≥(}\text{π}{}^2\text{12}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>4</mtext>}}$. It is also shown that $\text{l}{}^{\mathrm{k}}\text{(n) ≤ [}\text{(3?√3)k}\text{(k?1)}\text{]nδ}{}^{\mathrm{k}}\text{(n) + o(n}{}^{\mathrm{<mtext>1?</mtext><mtext>1</mtext><mtext>k</mtext>}}\text{) ≤ [}\text{(3?√3)k}\text{(k?1)}\text{]n}{}^{\mathrm{<mtext>1?</mtext><mtext>1</mtext><mtext>k</mtext>}}\text{+ o(n}{}^{\mathrm{<mtext>1?</mtext><mtext>1</mtext><mtext>k</mtext>}}\text{)}$. The above upper bound is used to improve related results on longest sets in k-dimensional unit cubes obtained by Few (Mathematika2 (1955), 141–144) for almost all k′s. For k=2, Few's technique is used to show that $\text{l}{}^2\text{(n)≤(}\text{πn}\text{2}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{+ O(1)}$.     

Spectral representations for abelian automorphism groups of von Neumann algebras

Let $\text{A}$ be a von Neumann algebra, let σ be a strongly continuous representation of the locally compact abelian group G as ¹-automorphisms of $\text{A}$. Let M(σ) be the Banach algebra of bounded linear operators on $\text{A}$ generated by ∝ σ_tdμ(t) (μ?M(G)). Then it is shown that M(σ) is semisimple whenever either (i) $\text{A}$ has a σ-invariant faithful, normal, semifinite, weight (ii) σ is an inner representation or (iii) G is discrete and each σ_t is inner. It is shown that the Banach algebra L(σ) generated by $\text{∝ ?(t)σ}{}_{\mathrm{t}}\text{dt (? ? L}{}^1\text{(G))}$ is semisimple if a is an integrable representation. Furthermore, if σ is an inner representation with compact spectrum, it is shown that L(σ) is embedded in a commutative, semisimple, regular Banach algebra with isometric involution that is generated by projections. This algebra is contained in the ultraweakly continuous linear operators on $\text{A}$. Also the spectral subspaces of σ are given in terms of projections.     

Function algebra invariants and the conformal structure of planar domains

Let A(S) be the sup-normed Banach algebra of analytic functions with continuous boundary values on the compact bordered Riemann surface S.For (?) in $\text{A(S)}{}^{\mathrm{?1}}\text{exp}\text{(A(S))}$, the colength of (?) is defined by $\text{∥(?)∥ =}\text{1}\text{2}\text{log inf}\text{{∥ g ∥ ∥ g}{}^{\mathrm{?1}}\text{∥; g ? (?)}}$. Colength is shown to induce a norm on the cohomology group H¹(S,R) dual to the norm induced on the homology group H₁(S,R) by harmonic length, or, equivalently, dual to the norm on Re A(S)^⊥.The existence and uniqueness of extremal functions for the colength functional is demonstrated. The aforementioned norms are shown to determine the conformal structure of S (up to reflection) and to be related to the mapping properties of S.     

On some results of Strichartz and of Rallis and Schiffman

Let (i, H, E) and (j, K, F) be abstract Wiener spaces and let α be a reasonable norm on E ? F. We are interested in the following problem: is ($\text{i ? j, H}\text{}\text{?}\text{bo}{}_2\text{K, E}\text{}\text{?}\text{bo}{}_{\mathrm{\alpha F}}$) an abstract Wiener space ? The first thing we do is to prove that the setting of the problem is meaningfull: namely, i ? j is always a continuous one to one map from $\text{H}\text{}\text{?}\text{bo}{}_2\text{K}$ into $\text{E}\text{}\text{?}\text{bo}{}_{\mathrm{\alpha }}\text{F}$. Then we exhibit an example which shows that the answer cannot be positive in full generality. Finally we prove that if F=L^p(X,$\text{X}$,λ) for some σ-finite measure λ ? 0 then $\text{(i?j, H}\text{?}{}_2\text{K,L}{}^{\mathrm{p}}$(X,$\text{X}$,λ) is an abstract Wiener space. By-products are some new results on γ-radonifying operators, and new examples of Banach spaces and cross norms for which the answer is affirmative (in particular α = π the projective norm, and F=L¹(X,$\text{X}$,λ)).     

Trace formulas for a class of Toeplitz-like operators II

Let P_T denote the orthogonal projection of L²(R¹, dΔ) onto the space of entire functions of exponential type ? T which are square summable on the line with respect to the measure $\text{dΔ(γ) = ¦ h(γ)¦}{}^2\text{dγ}$, and let G denote the operator of multiplication by a suitably restricted complex valued function g. It is shown that if $\text{(γ}{}^2\text{+ 1)}{}^{\mathrm{?1}}\text{log}\text{¦ h(γ)¦}$ is summable, if $\text{¦ h ¦}{}^{\mathrm{?2}}$ is locally summable, and if $\text{h}\text{h}{}^{\mathrm{\#}}$ belongs to the span in L^∞ of e^?iyTH^∞:T ? 0, in which h is chosen to be an outer function and h^#(γ) agrees with the complex conjugate of h(γ) on the line, then

$\text{lim trace}\text{T↑∞}\text{{(P}{}_{\mathrm{T}}\text{GP}{}_{\mathrm{T}}\text{)}{}^{\mathrm{n}}\text{? P}{}_{\mathrm{T}}\text{G}{}^{\mathrm{n}}\text{P}{}_{\mathrm{T}}\text{}}$

exists and is independent of h for every positive integer n. This extends the range of validity of a formula due to Mark Kac who evaluated this limit in the special case h = 1 using a different formalism. It also extends earlier results of the author which were established under more stringent conditions on h. The conclusions are based in part upon a preliminary study of a more general class of projections.     

A third-order optimum property of the maximum likelihood estimator

Let θ⁽ⁿ⁾ denote the maximum likelihood estimator of a vector parameter, based on an i.i.d. sample of size n. The class of estimators θ⁽ⁿ⁾ + n^?1q(θ⁽ⁿ⁾), with q running through a class of sufficiently smooth functions, is essentially complete in the following sense: For any estimator T⁽ⁿ⁾ there exists q such that the risk of θ⁽ⁿ⁾ + n^?1q(θ⁽ⁿ⁾) exceeds the risk of T⁽ⁿ⁾ by an amount of order o(n^?1) at most, simultaneously for all loss functions which are bounded, symmetric, and neg-unimodal. If $\text{q}{}^1$ is chosen such that $\text{θ}{}^{\mathrm{(n)}}\text{+ n}{}^{\mathrm{?1}}\text{q}{}^1\text{(θ}{}^{\mathrm{(n)}}\text{)}$ is unbiased up to $\text{o(n}{}^{\mathrm{<mtext>?1</mtext><mtext>2</mtext>}}\text{)}$, then this estimator minimizes the risk up to an amount of order o(n^?1) in the class of all estimators which are unbiased up to $\text{o(n}{}^{\mathrm{<mtext>?1</mtext><mtext>2</mtext>}}\text{)}$.The results are obtained under the assumption that T⁽ⁿ⁾ admits a stochastic expansion, and that either the distributions have—roughly speaking—densities with respect to the lebesgue measure, or the loss functions are sufficiently smooth.     

Concavity of certain maps on positive definite matrices and applications to Hadamard products

If f is a positive function on (0, ∞) which is monotone of order n for every n in the sense of Löwner and if Φ₁ and Φ₂ are concave maps among positive definite matrices, then the following map involving tensor products:

$\text{(A,B)?f[Φ}{}_1\text{(A)}{}^{\mathrm{?1}}\text{?Φ}{}_2\text{(B)]·(Φ}{}_1\text{(A)?I)}$

is proved to be concave. If Φ₁ is affine, it is proved without use of positivity that the map

$\text{(A,B)?f[Φ}{}_1\text{(A)?Φ}{}_2\text{(B)}{}^{\mathrm{?1}}\text{]·(Φ}{}_1\text{(A)?I)}$

is convex. These yield the concavity of the map

$\text{(A,B)?A}{}^{\mathrm{1?p}}\text{?B}{}^{\mathrm{p}}$

(0<p?1) (Lieb's theorem) and the convexity of the map

$\text{(A,B)?A}{}^{\mathrm{1+p}}\text{?B}{}^{\mathrm{?p}}$

(0<p?1), as well as the convexity of the map

$\text{(A,B)?(A·log[A])?I?A?log[B]}$

.These concavity and convexity theorems are then applied to obtain unusual estimates, from above and below, for Hadamard products of positive definite matrices.     

On Fourier transform of generalized Brownian functionals

Let $\text{(L}{}^2\text{)}{}_{\mathrm{<mtext>B</mtext><mtext>?</mtext>}}{}^{\mathrm{?}}$ and $\text{(L}{}^2\text{)}{}_{\mathrm{<mtext>b</mtext><mtext>?</mtext>}}{}^{\mathrm{?}}$ be the spaces of generalized Brownian functionals of the white noises ? and ?, respectively. A Fourier transform from $\text{(L}{}^2\text{)}{}_{\mathrm{<mtext>B</mtext><mtext>?</mtext>}}{}^{\mathrm{?}}$ into $\text{(L}{}^2\text{)}{}_{\mathrm{<mtext>b</mtext><mtext>?</mtext>}}{}^{\mathrm{?}}$ is defined by ??(?) = ∫$\text{S}$¹: exp[?i ∫_$\text{R}$?(t) ?(t) dt]: ${}_{\mathrm{<mtext>b</mtext><mtext>?</mtext>}}\text{?(}\text{B}\text{?}\text{) dμ(}\text{B}\text{?}$), where : :${}_{\mathrm{<mtext>b</mtext><mtext>?</mtext>}}$ denotes the renormalization with respect to ? and μ is the standard Gaussian measure on the space $\text{S}$¹ of tempered distributions. It is proved that the Fourier transform carries ?(t)-differentiation into multiplication by i?(t). The integral representation and the action of?? as a generalized Brownian functional are obtained. Some examples of Fourier transform are given.     

An algorithm for the electromagnetic scattering due to an axially symmetric body with an impedance boundary condition

Let B be a body in R³ and let S denote the boundary of B. The surface S is described by $\text{S = {(x, y, z): (x}{}^2\text{+ y}{}^2\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{= f(z), ?1 ? z ? 1}}$, where f is an analytic function that is real and positive on (?1, 1) and f(±1) = 0. An algorithm is described for computing the scattered field due to a plane wave incident field, under Leontovich boundary conditions. The Galerkin method of solution used here leads to a block diagonal matrix involving 2M + 1 blocks, each block being of order 2(2N + 1). If, e.g., N = O(M²), the computed scattered field is accurate to within an error bounded by $\text{Ce}{}^{\mathrm{<mtext>?cN</mtext><mtext>1</mtext><mtext>2</mtext>}}$, where C and c are positive constants depending only on f.     

On the matrix monotonicity of generalized inversion

Let A, B be two matrices of the same order. We write A>B(A>?B) iff A? B is a positive (semi-) definite hermitian matrix. In this paper the well-known result if

$\text{A>B>θ, then B}{}^{\mathrm{?1}}\text{>A}{}^{\mathrm{?1}}\text{> θ}$

(cf. Bellman [1, p.59]) is extended to the generalized inverses of certain types of pairs of singular matrices A,B?θ, where θ denotes the zero matrix of appropriate order.     

Zeta matrices of elliptic curves

Let $\text{O =}\text{lim}{}_{\mathrm{n}}\text{Z/p}{}^{\mathrm{n}}\text{Z}$, let $\text{A}\text{= O[g}{}_2\text{, g}{}_3\text{]}{}_{\mathrm{\Delta }}$, where g₂ and g₃ are coefficients of the elliptic curve: Y² = 4X³ ? g₂X ? g₃ over a finite field and Δ = g₂³ ? 27g₃² and let $\text{B}\text{=}\text{A}\text{[X, Y]}\text{(Y}{}^2\text{? 4X}{}^3\text{+ g}{}_2\text{X + g}{}_3\text{)}$. Then the p-adic cohomology theory will be applied to compute explicitly the zeta matrices of the elliptic curves, induced by the pth power map on the free $\text{A}{}^2\text{?}{}_{\mathrm{Z}}\text{Q}$-module $\text{H}{}^1\text{(X,}\text{A}{}^2\text{?}{}_{\mathrm{Z}}\text{Q)}$. Main results are; Theorem 1.1: X²dY and YdX are basis elements for $\text{H}{}^1\text{(}\text{X}\text{, Γ}{}_{\mathrm{<mtext>A</mtext>}}{}^1\text{(}\text{X}\text{)}{}^2\text{?}{}_{\mathrm{Z}}\text{Q)}$; Theorem 1.2: YdX, X²dY, Y^?1dX, Y^?2dX and XY^?2dX are basis elements for $\text{H}{}^1\text{(}\text{X}\text{? (Y = 0), Γ}{}_{\mathrm{<mtext>A</mtext>}}{}^1\text{(}\text{X}\text{)}{}^2\text{?}{}_{\mathrm{Z}}\text{Q)}$, where $\text{X}$ is a lifting of X, and all the necessary recursive formulas for this explicit computation are given.     

Ergodic limits of tensor product semigroups

Let e^tSande^?tT be (C₀)-semigroups on a Banach space X. Their tensor product $\text{L}$(t) is defined by $\text{L}$(t)A = e^tSAe^tT (A?B(X)) and has the generator Δ formally of the form ΔA = SA ? AT. Under the assumption that {$\text{L}$(t); t ? 0} is bounded, we investigate the Abel limit and the Cesàro limit of $\text{L}$(t)A at ∞. If $\text{gW}{}_{\mathrm{s}}\text{[Ω}{}_{\mathrm{u}}\text{]}$ denotes the set of operators A for which the Abel limit P_s(A) [resp. P_u(A)] exists in the strong [resp. uniform] operator topology, then

$\text{N(Δ)⊕}\text{R(Δ)}\text{= ω}{}_{\mathrm{u}}\text{? ω}{}_{\mathrm{s}}\text{? N(Δ) +}\text{R(Δ)}$

and the limit defines a projection P_s[P_u] from $\text{Ω}{}_{\mathrm{s}}$ [resp. $\text{Ω}{}_{\mathrm{u}}$] onto N(Δ) with N(Δ) with $\text{R(Δ)}\text{= N(P}{}_{\mathrm{u}}\text{) ? N(P}{}_{\mathrm{u}}\text{) ?}\text{R(Δ)}$. If, in addition, S and T are Hilbert space normal operators such that _gq(S) ∩ _gq(T) ≠ φ, then $\text{Ω}{}_{\mathrm{u}}$ contains all compact operators.     

Étude d'une équation de Monge-Ampère sur les variétés kählériennes compactes

On a compact Kähler manifold of complex dimension m ? 2, let us consider the change of Kähler metric $\text{g′}{}_{\mathrm{<mtext>\lambda </mtext><mtext>\backslash </mtext><mtext>?</mtext><mtext>gm</mtext>}}\text{= g}{}_{\mathrm{<mtext>\lambda </mtext><mtext>\backslash </mtext><mtext>?</mtext><mtext>gm</mtext>}}\text{+ ?}{}_{\mathrm{<mtext>\lambda </mtext><mtext>\backslash </mtext><mtext>?</mtext><mtext>gm</mtext>}}\text{φ}$. Let F?C^∞(V × R) be a function everywhere > 0 and v a real number ≠ 0. When $\text{0 < C}{}^{\mathrm{?1}}\text{? F(x, t) ? C(¦t¦}{}^{\mathrm{a}}\text{+ 1)}$ for all (x, t) ?V × ] ?∞, t₀], where C and t₀ are constants and $\text{1 ? a <}\text{m}\text{(m ? 1)}$, one exhibits a function φ?C^∞ (V) such that $\text{¦g′∥g¦}{}^{\mathrm{?1}}\text{= e}{}^{\mathrm{<mtext>\nu </mtext><mtext>\backslash </mtext><mtext>?</mtext><mtext>gf</mtext>}}\text{F(x, φ ?}\text{}\text{?}\text{gf) (¦g¦}\text{and}\text{¦g′¦}$ the determinants of the metrics g and $\text{g′,}\text{}\text{?}\text{gf = (}\text{mes}\text{V)}{}^{\mathrm{?1}}\text{∝ φ dV)}$.     

Abelian fibrations on S[n]

Let $\text{S}\text{→}\text{φ}\text{P}{}^1$ be an elliptic fibration on a K3 surface S. Then the composition $\text{S}{}^{\mathrm{[n]}}\text{→}\text{π}\text{S}{}^{\mathrm{(n)}}\text{→}\text{sym}{}^{\mathrm{n}}\text{φ}\text{P}{}^{\mathrm{n}}$ gives an Abelian fibration on S^[n]. Let E be the exceptional divisor of π, then symⁿφ°π(E) is of dimension n?1. We prove the inverse in this Note. To cite this article: B. Fu, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

Spectre de A(\̄gW) pour des domaines bornés faiblement pseudoconvexes réguliers

If Ω is a weakly pseudoconvex domain in a Stein manifold, then the spectrum of the Frechet Algebra $\text{A}{}^{\mathrm{\infty }}\text{(}\text{}\text{?}\text{gW)}$ is isomorphic to $\text{}\text{?}\text{gW, A}{}^{\mathrm{\infty }}\text{(}\text{}\text{?}\text{gW)}$ denotes the space of holomorphic functions smooth up to the boundary. The spectrum of the uniform algebra $\text{A(}\text{}\text{?}\text{gW)}$ is also isomorphic to -Ω. As a corollary we prove an approximation theorem for plurisubharmonic functions in $\text{Ω}$ continuous in -Ω.     

Primary projections on L2 of a nilmanifold

Let N denote a connected, simply connected nilpotent Lie group with discrete cocompact subgroup Γ. Let U denote the quasi-regular representation on N on $\text{L}{}^2\text{(}\text{N}\text{Γ}\text{)}$. $\text{L}{}^2\text{(}\text{N}\text{Γ}\text{)}$ can be written as a direct sum of primary subspaces with respect to U. A realization for the projections of $\text{L}{}^2\text{(}\text{N}\text{Γ}\text{)}$) onto these primary summands is given in this paper.     

Sharp Sobolev type inequalities for higher fractional derivativesInégalités optimales de type Sobolev pour les dérivées fractionelles d'ordre supérieur

On $\text{R}{}^{\mathrm{n}}$, n?1 and n≠2, we prove the existence of a sharp constant for Sobolev inequalities with higher fractional derivatives. Let s be a positive real number. For n>2s and $\text{q=}\text{2n}\text{n?2s}$ any function $\text{f∈}\text{H}{}^{\mathrm{s}}\text{(}\text{R}{}^{\mathrm{n}}\text{)}$ satisfies

$\text{6f6}{}^2{}_{\mathrm{q}}\text{?S}{}_{\mathrm{n,s}}\text{(?Δ)}{}^{\mathrm{s/2}}\text{f}{}^2{}_2\text{,}$

where the operator (?Δ)^s in Fourier spaces is defined by $\text{(?Δ)}{}^{\mathrm{s}}\text{f}\text{(k):=(2π|k|)}{}^{\mathrm{2s}}\text{f}\text{(k)}$. To cite this article: A. Cotsiolis, N.C. Tavoularis, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 801–804.