Isometries of norm ideals of compact operators

Let $\text{J}$ be a symmetric norm ideal of compact operators on Hilbert space $\text{H}$, and assume that the finite rank operators are dense in $\text{J}$ and that $\text{J}$ is not the ideal of Hilbert-Schmidt operators. A linear transformation τ on $\text{J}$ is an isometry of $\text{J}$ onto itself if and only if there are unitary operators U and V on $\text{H}$ such that either τ(X) = UXV or τ(X) = UX^tV, where X^t denotes the transpose of X with respect to a fixed orthonormal basis of $\text{H}$.     

Fourier analysis on the Heisenberg group. I. Schwartz space

We derive a usable characterization of the group FT (Fourier Transform) of Schwartz space on the Heisenberg group $\text{H}$ⁿ, in terms of certain asymptotic series. To accomplish this we study in detail the FT of multiplication and differentiation operators on $\text{H}$ⁿ, the relation of multiple Fourier series to the FT, and the process of group contraction on $\text{H}$ⁿ. We use our characterization to solve a form of the division problem for convolution of $\text{H}$ⁿ, which has application to Hardy space theory.     

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.     

Conditional expectations and submartingale sequences of random Schwartz distributions

Let (Ω, Σ, P) be a fixed complete probability space, $\text{D}$ the real Schwartz space, and $\text{D′}$ its strong dual. $\text{D}$ and $\text{D′}$ are partially ordered by $\text{C}$ and $\text{C′}$ respectively, where $\text{C}$ is the positive cone of nonnegative functions in $\text{D}$ and $\text{C′}$ its dual in $\text{D′}$. $\text{C}$ is a strict $\text{B}$-cone and $\text{C′}$ is normal, where $\text{B}$ is the family of all bounded subsets of $\text{D}$. If X, Y are two random Schwartz distributions, then X ≤ Y if and only if Y(ω) ? X(ω) ∈ $\text{D′}$ for almost all $\text{ω ∈ Ω(P)}$. Integrability of random Schwartz distributions and properties of such integrals are discussed. The monotone convergence theorem, the dominated convergence theorem, and Fatou's lemma are proved. The existence of conditional expectations of integrable random Schwartz distributions relative to a given sub σ-field of Σ is shown. Properties of conditional expectations are discussed and the conditional form of the monotone convergence theorem is proved. Sub(super)-martingale sequences are defined via the partial order relations introduced above, and a convergence theorem is given. The notion of a potential is introduced and the Riesz decomposition theorem is proved.     

On some properties of convolution operators in K′1 and S′

Let $\text{H}$′ be either the space $\text{K}$′₁ of distributions of exponential growth or the space $\text{S}$′ of tempered distributions, and let $\text{O}$′_C($\text{H}$′:$\text{H}$′) be the space of convolution operators in $\text{H}$′. In each case $\text{H}$′ is the dual of a space $\text{H}$ of C^∞-functions which are in $\text{O}$′_C($\text{H}$′:$\text{H}$′). We establish necessary and sufficient conditions on the Fourier transform $\text{S}\text{?}$ of ? of S ? $\text{O}$′_C($\text{H}$′:$\text{H}$′) in order that every distribution u? $\text{O}$′_C($\text{H}$′:$\text{H}$′) with S1u?$\text{H}$ be in $\text{H}$. If $\text{H}$′ = $\text{K}$′₁, the condition is equivalent to S×H′¹=H′¹.     

The automorphisms of convolution algebras of C∞ functions

We find the automorphisms and the spectra of several different topological convolution algebras of C^∞-functions on the real line. Starting with the convolution algebra of compactly supported C^∞-functions, equipped with the usual LF-topology, we define a corresponding convolution algebra of C^∞-functions of arbitrarily fast exponential decay at ∞; and convolution algebras of a given finite degree r of exponential decay at ∞. These algebras may be described topologically as “hyper Schwartz spaces.” With a natural Frechet topology, which we define, they get a structure as locally m-convex algebras. The continuous automorphisms and spectra of these algebras are described completely. We show that the algebra of C^∞-functions of infinitly fast exponential decay at ∞, $\text{H J}$, on the one hand, and the algebra of C^∞-functions of only a finite degree $\text{e}{}^{\mathrm{?r¦x¦}}$ decay at ∞, $\text{J}$_r⁰, on the other hand, have quite different automorphisms, although $\text{H J}$ = ∩_r$\text{J}$_r⁰. As an application, we show that the conformal group is canonically represented as the full group of automorphisms of $\text{J}$_r⁰, and that this representation does not extend to a representation on the Banach algebra L¹($\text{R}$).     

Reconstruction of a factor from measures on Takesaki's unitary equivalence relation

Let $\text{Ol}$?L^∞(S, μ) be a maximal abelian subalgebra of the factor $\text{F}$ on separable Hilbert space with modular involution J. ($\text{Ol}$∪ J$\text{Ol}$J)″ is represented naturally as L^∞(S × S, λ). If Takesaki's unitary equivalence relation $\text{R}$ ? S × S is not λ-null, it is a measure groupoid. If it is conull, and ($\text{Ol}$∪ J$\text{Ol}$J)″ is maximal abelian, $\text{F}$ and $\text{Ol}$ are reconstructed by the σ-left regular representation procedure. Examples show that these hypotheses are not always satisfied. An application shows that the L^∞ spectrum of a properly infinite ergodic transformation is null with respect to the L² spectrum.     

A global genericity theorem for bifurcations in variational problems

Let C be a Banach space, H a Hilbert space, and let F(C,H) be the space of C^∞ functions f: C × H → R having Fredholm second derivative with respect to x at each (c, x) ?C × H for which $\text{D?}{}_{\mathrm{c}}\text{(x) = 0}$; here we write $\text{?}{}_{\mathrm{c}}\text{(x)}$ for $\text{?(c, x)}$. Say ? is of standard type if at all critical points of ?_c it is locally equivalent (as an unfolding) to a quadratic form Q plus an elementary catastrophe on the kernel of Q. It is proved that if f?F (A × B, H) satisfies a certain ‘general position’ condition, and dim B ? 5, then for most a?A the function f_o?F(B,H) is of standard type. Using this it is shown that those f?F(B,H) of standard type form an open dense set in F(B,H) with the Whitney topology. Thus both results are Hilbert-space versions of Thom's theorem for catastrophes in $\text{R}$ⁿ.     

Properties of certain algebras between L∞and H∞

The main result of this paper is that if F is a closed subset of the unit circle, then $\text{(H}{}^{\mathrm{\infty }}\text{+ L}{}_{\mathrm{F}}{}^{\mathrm{\infty }}\text{)}\text{H}{}^{\mathrm{\infty }}$ is an M-ideal of $\text{L}{}^{\mathrm{\infty }}\text{H}{}^{\mathrm{\infty }}$. Consequently, if $\text{? ∈ L}{}^{\mathrm{\infty }}$ then ? has a closest element in H^∞ + L_F^∞. Furthermore, if $\text{¦F¦ >0}\text{then}\text{L}{}^{\mathrm{\infty }}\text{(H}{}^{\mathrm{\infty }}\text{+ L}{}_{\mathrm{F}}{}^{\mathrm{\infty }}\text{)}$ is not the dual of any Banach space.     

Translation-invariant linear forms on C0(G), C(G), Lp(G) for noncompact groups

Suppose G is a locally compact noncompact group. For abelian such G's, it is shown in this paper that L¹(G), C(G), and L^∞(G) always have discontinuous translation-invariant linear forms(TILF's) while C₀(G) and L^p(G) for 1 < p < ∞ have such forms if and only if $\text{G}\text{H}$ is a torsion group for some open σ-compact subgroup H of $\text{G}$. For σ-compact amenable G's, all the above spaces have discontinuous left TILF's.     

On the existence of a free subgroup of finite index

Let G be a finitely generated accessible group. We will study the homology of G with coefficients in the left G-module H¹(G;$\text{Z}$[G]). This G-module may be identified with the G-module of continuous functions with values in $\text{Z}$ on the G-space of ends of G, quotiented by the constant functions. The main result is as follows: Suppose G is infinite, then the abelian group H₁(G;H¹(G;$\text{Z}$[G])) has rank 1 if G has a free subgroup of finite index and it has rank 0 if G has not.     

Left mean-ergodicity,fixed points,and invariant means

Recently Lau [15] generalized a result of Yeadon [25]. In the present paper we generalize Yeadon's result in another direction recasting it as a theorem of ergodic type. We call the notion of ergodicity required left mean-ergodicity and show how it relates to the mean-ergodicity of Nagel [21]. Connections with the existence of invariant means on spaces of continuous functions on semitopological semigroups S are made, connections concerning, among other things, a fixed point theorem of Mitchell [20] and Schwartz's property P of W¹-algebras [22]. For example, if $\text{M}$(S) is a certain subspace of C(S) (which was considered by Mitchell and is of almost periodic type, i.e., the right translates of a member of $\text{M}$(S) satisfy a compactness condition), then the assumption that $\text{M}$(S) has a left invariant mean is equivalent to the assumption that every representation of S of a certain kind by operators on a linear topological space X is left mean-ergodic. An analog involving the existence of a (left and right) invariant mean on $\text{M}$(S) is given, and we show our methods restrict in the Banach space setting to give short direct proofs of some results in [4], results involving the existence of an invariant mean on the weakly almost periodic functions on S or on the almost periodic functions on S. An ergodic theorem of Lloyd [16] is generalized, and a number of examples are presented.     

Coherence of some rings of functions

To say that a commutative ring $\text{R}$ with unit is coherent amounts to saying, in case $\text{R}$ has no divisors of zero, that the intersection of two finitely generated ideals in $\text{R}$ is finitely generated. We prove that the ring H^∞ of bounded analytic functions in the unit disc is coherent, while the disc algebra A is not coherent. For any positive measure μ, L^∞(μ) is coherent.     

Interpolating sequences and the Shilov boundary of H∞(Δ)

Let H^∞(Δ) denote the Banach algebra of bounded analytic functions on the open unit disc, let $\text{M}$ denote its maximal ideal space, and let ? denote its Shilov boundary. D. J. Newman has shown that a homomorphism ? in $\text{M}$ will be in ? if and only if ? is unimodular on all Blaschke products. We answer a question of K. Hoffman by showing that ? will be in ? if and only if ? is unimodular on every Blaschke product whose zero set is an interpolating sequence. Our method is based on a construction due to L. Carleson, originally developed for the proof of the Corona theorem.     

The asymptotic number of integral cubic polynomials with bounded heights and discriminants

Let P denote a cubic integral polynomial, and let D(P) and H(P) denote the discriminant and height of P, respectively. Let N(Q,X) be the number of cubic integral polynomials P such that H(P) ≤ Q and |D(P)| ≤ X. We obtain an asymptotic formula of N(Q,X) for Q ^14/5 ? X ? Q ⁴ and Q → +∞. Using this result, for 0 ≤ η ≤ 9/10, we find the asymptotic value of $$ \sum\limits_{{\begin{array}{*{20}{c}} {H(P)\leq Q} \\ {1\leq \left| {D(P)} \right|\ll {Q^{{4-\eta }}}} \\ \end{array}}} {{{{\left| {D(P)} \right|}}^{{-{1 \left/ {2} \right.}}}}}, $$ where the sum is taken over irreducible integral polynomials and Q → +∞. This improves upon a result of Davenport, who dealt with the case η = 0.     

Global solvability of the laplacians on pseudo-Riemannian symmetric spaces

Let G be a noncompact semisimple Lie group with finite center and H an open subgroup of the fixed point group of an involution of G. $\text{G}\text{H}$ becomes a pseudo-Riemannian manifold. We prove that the Laplacian P on $\text{G}\text{H}$ is globally solvable in the sense that $\text{PC}{}^{\mathrm{\infty }}\text{(}\text{G}\text{H}\text{) = C}{}^{\mathrm{\infty }}\text{(}\text{G}\text{H}\text{)}$. This generalizes the global solvability of the Casimir operators on non-compact semisimple Lie groups with finite center due to J. Rauch and D. Wigner.     

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.     

Unitarization of symplectics and stability for causal differential equations in Hilbert space

Let Sp($\text{H}$) be the symplectic group for a complex Hibert space $\text{H}$. Its Lie algebra sp($\text{H}$) contains an open invariant convex cone C₀; each element of C₀ commutes with a unique sympletic complex structure. The Cayley transform $\text{C}$: X∈ sp($\text{H}$)→(I + X)¹∈ Sp($\text{H}$) is analyzed and compared with the exponential mapping. As an application we consider equations of the form $\text{(}\text{d}\text{dt}\text{) S = A(t)S,}\text{where}\text{t → A(t) ?}\text{C}\text{?}{}_0$ is strongly continuous, and show that if ∝_?∞^∞ ∥A(t)∥ dt < 2 and ∝_{? t8}^∞A(t) dt?C₀, the (scattering) operator

, where S_t′(t) is the solution such that S_t′(t′) = I, is in the range of $\text{B}$ restricted to C₀. It follows that S leaves invariant a unique complex structure; in particular, it is conjugate in Sp($\text{H}$) to a unitary operator.     

Toeplitz matrices and determinants with Fisher-Hartwig symbols

If A and B are self-adjoint operators, this paper shows that A and B have order isomorphic invariant subspace lattices if and only if there are Borel subsets E and F of σ(A) and σ(B), respectively, whose complements have spectral measure zero, and there is a bijective function φ: E → F such that (i) Δ is a Borel subset of E if and only if φ(Δ) is a Borel subset of F; (ii) a Borel subset Δ of E has A-spectral measure zero if and only if φ(Δ) has B-spectral measure zero; (iii) B is unitarily equivalent to φ(A). If A is any self-adjoint operator, there is an associated function κ_A : $\text{N}$ ∪ {∞} → ($\text{N}$ ∪ {0, ∞}) × {0,1} defined in this paper. If $\text{F}$ denotes the collection of all functions from $\text{N}$ ∪ {∞} into ($\text{N}$ ∪ {0,∞}) × {0,1}, then $\text{F}$ is a parameter space for the isomorphism classes of the invariant subspace lattices of self-adjoint operators. That is, two self-adjoint operators A and B have isomorphic invariant subspace lattices if and only if κ_A = κ_B. The paper ends with some comments on the corresponding problem for normal operators.