Remarks on Banach spaces of compact operators

Let E and F be Banach spaces. We generalize several known results concerning the nature of the compact operators K(E, F) as a subspace of the bounded linear operators L(E, F). The main results are: (1) If E is a c₀ or l_p (1 < p < ∞) direct sum of a family of finite dimensional Banach spaces, then each bounded linear functional on K(E) admits a unique norm preserving extension to L(E). (2) If F has the bounded approximation property there is an isomorphism of $\text{L(E, F)}\text{into}\text{K(E, F)}{}^7$ such that its restriction to K(E, F) is the canonical injection. (3) If E is infinite dimensional and if F contains a complemented copy of c₀, K(E, F) is not complemented in L(E, F).     

Some improvements in Neuberger's iteration procedure for solving partial differential equations

If m and n are positive integers then let S(m, n) denote the linear space over R whose elements are the real-valued symmetric n-linear functions on E_m with operations defined in the usual way. If $\text{U}$ is a function from some sphere S in E_m to R then let $\text{U}$⁽ⁱ⁾(x) denote the ith Frechet derivative of $\text{U}$ at x. In general $\text{U}$⁽ⁱ⁾(x)∈S(m,i). In the paper “An Iterative Method for Solving Nonlinear Partial Differential Equations” [Advances in Math. 19 (1976), 245–265] Neuberger presents an iterative procedure for solving a partial differential equation of the form

$\text{AU}{}^{\mathrm{n}}\text{(x)=F(x, U(x), U′(x),…,U}{}^{\mathrm{k}}\text{(x))}$

, where k > n, $\text{U}$ is the unknown from some sphere in E_m to R, A is a linear functional on S(m, n), and F is analytic. The defect in the theory presented there was that in order to prove that the iterates converged to a solution $\text{U}$ the condition $\text{k ?}\text{n}\text{2}$ was needed. In this paper an iteration procedure that is a slight variation on Neuberger's procedure is considered. Although the condition $\text{k ?}\text{n}\text{2}$ cannot as yet be eliminated, it is shown that in a broad class of cases depending upon the nature of the functional A the restriction $\text{k ?}\text{n}\text{2}$ may be replaced by the restriction $\text{k ?}\text{3n}\text{4}$.     

Characterization of similarities between two n-frames of projectors

An n-frame on a Banach space $\text{X}$ is E=(E₁,?, E_n) where the E_j's are bounded linear operators on $\text{X}$ such that E_j≠0,

$\text{∑}\text{j=1}\text{n}\text{E}{}_{\mathrm{j}}$

, and E_jE_k=δ_jkE_k (j, k=1,?, n). It is known that if two n-frames E and F are sufficiently close to each other, then they are similar, that is, F_j=TE_jT^-1 with T a bounded linear operator. Among the operators which realize the similarity of the two frames, there is the balanced transformation U(F, E)=(Σⁿ_j=1F_jE_j)(Σⁿ_j=1E_jF_jE_j)^{$\text{-1}\text{2}$}. One of our main results is a local characterization of the balanced transformation. Another operator which implements the similarity between E and F is the direct rotation R(F, E). It comes up in connection with the study of the set of all n-frames as a Banach manifold with an affine connection. Finally, it is shown that for quite a large set of pairs of 2-frames, the direct rotation has a global characterization.     

Unbounded derivations tangential to compact groups of automorphisms,II

Let G be a compact abelian group, and τ an action of G on a C¹-algebra $\text{U}$, such that $\text{U}$^τ(γ)$\text{U}$^τ(γ)¹ = $\text{U}$^τ(0) $\text{U}$^τ for all $\text{γ ?}\text{G}\text{?}$, where $\text{U}$^τ(γ) is the spectral subspace of $\text{U}$ corresponding to the character γ on G. Derivations δ which are defined on the algebra $\text{U}$_F of G-finite elements are considered. In the special case δ¦_{$\text{U}$^τ} = 0 these derivations are characterized by a cocycle on $\text{G}\text{?}$ with values in the relative commutant of $\text{U}$^τ in the multiplier algebra of $\text{U}$, and these derivations are inner if and only if the cocycles are coboundaries and bounded if and only if the cocycles are bounded. Under various restrictions on G and τ properties of the cocycle are deduced which again give characterizations of δ in terms of decompositions into generators of one-parameter subgroups of τ(G) and approximately inner derivations. Finally, a perturbation technique is devised to reduce the case δ($\text{U}$_F) ? $\text{U}$_F to the case δ($\text{U}$_F) ? $\text{U}$_F and δ¦_{$\text{U}$^τ} = 0. This is used to show that any derivation δ with D(δ) = $\text{U}$_F is wellbehaved and, if furthermore G = T¹ and δ($\text{U}$_F) ? $\text{U}$_F the closure of δ generates a one-parameter group of ¹-automorphisms of $\text{U}$. In the case G = T^d, d = 2, 3,… (finite), and δ($\text{U}$_F) ? $\text{U}$_F it is shown that δ extends to a generator of a group of ¹-automorphisms of the σ-weak closure of $\text{U}$ in any G-covariant representation.     

Algebras of holomorphic mappings in (DF)-spaces

Let U be an absolutely convex open subset of a complex barrelled (DF)-space E and let F be a commutative Banach algebra with identity. Let H_b(U, F) be the space of holomorphic mappings from U into F that are bounded on the U-bounded sets and let H_b (U, F) be the space of the holomorphic mappings from U into F that are uniformly weakly continuous on the U-bounded sets, both endowed with the topology τ_b of uniform convergence on the U-bounded sets. The spectra of (H_wu (U, F), τ_b) and (H_b(U, F), τ_b) are studied.     

Dunford-Pettis property

The following theorem is proved. If a locally convex space, quasi-complete for Mackey topology, has D-P (Dunford-Pettis) property then it has strict D-P property. Conversely, if (E′, σ(E′, E)) has a σ-compact dense subset and E has strict D-P property, then it has D-P property. Also it is proved that (C_b(X),$\text{F}$) where F=β₀, β, orβ₁, has strict D-P property and (C_b(X), β₀) has D-P property; if X contains a σ-compact dense subset then (C_b(X), β) and (C_b(X), β₁) have D-P property.     

Smoothness and duality in Lp(E, μ)

Let (T, Σ, μ) be a measure space, E a Banach space, and L_p(E, μ) the Lebesque-Bochner function spaces for 1 < p < ∞. It is shown that L_p(E, μ) is smooth if and only if E is smooth. From this result a Radon-Nikodym theorem for conjugates of smooth Banach spaces is established, and thus a general geometric condition on E sufficient to ensure that $\text{L}{}_{\mathrm{p}}\text{(E, μ)}{}^1\text{? L}{}_{\mathrm{q}}\text{(E}{}^1\text{, μ)}$ for all p, 1 < p < ∞. Alternate proofs of certain known results concerning the duals of L_p(E, μ) spaces are provided.     

Quantization of the action of U(k,l) on R2(K + l)

The natural action of U(k, l) on $\text{C}$^{k + l} leaves invariant a real skew non-degenerate bilinear form B, which turns $\text{C}$^{k + l} into a symplectic manifold (M, ω). The polarization F of M defined by the complex structure of $\text{C}$^{k + l} is non-positive. If L is the prequantization complex line bundle carried by (M, ω), then U(k, l) acts on the space $\text{U}$ of square-integrable $\text{L ? ΛF}{}^1$ forms on M, leaving invariant the natural non-degenerate, but non-definite, inner product ((·, ·)) on $\text{U}$. The polarization F also defines a closed, densely defined covariant differential ?? on $\text{U}$ which is U(k, l)-invariant. Let $\text{⊥}$ denote orthocomplementation with respect to ((·, ·)). It is shown that the restriction of ((·, ·)) to the U(k, l)-stable subspace ? (Ker ??) ∩ (Im ??)^$\text{⊥}$ is semi-definite and that the unitary representation of Uk, l on the Hilbert space $\text{H}$ arising from ? by dividing out null vectors is unitarily equivalent to the representation of U(k, l) obtained from the tensor product of the metap ectic and $\text{Det}{}^{\mathrm{<mtext>?1</mtext><mtext>2</mtext>}}$ representations of MU(k, l), the double cover of U(k, l).     

Finitely generated submodules of differentiable functions II

Let [$\text{E}$(Ω)]^p be the Cartesian product of the space of real-valued infinitely differentiable functions on a connected open set Ω in $\text{R}$ⁿ with itself p-times. The finitely generated submodules of [$\text{E}$(Ω)]^p are of the form im(F) where F: [$\text{E}$(Ω)]^q → [$\text{E}$(Ω)]^p is a p × q matrix of infinitely differentiable functions on Ω. Let $\text{r =}\text{max}\text{{}\text{rank}\text{(F(x)): x ? Ω}}$. The main results of the present paper are that for Ω ? $\text{R}$ⁿ, if the finitely generated submodule im(F) is closed in [$\text{E}$(Ω)]^p, then for every x?ω with rank(F(x)) < r there exists an r × r sub-matrix A of F such that x is a zero of finite order of det(A), and for Ω ? $\text{R}$¹ the converse also holds.     

Spaces of matrices of equal rank

Let M_m,n(F) denote the space of all mXn matrices over the algebraically closed field F. A subspace of M_m,n(F), all of whose nonzero elements have rank k, is said to be essentially decomposable if there exist nonsingular mXn matrices U and V respectively such that for any element A, UAV has the form

$\text{UAV=}\text{A}{}_1\text{A}{}_2\text{A}{}_3\text{0}$

where A₁ is iX(k–i) for some i?k. Theorem: If $\text{K}$ is a space of rank k matrices, then either $\text{K}$ is essentially decomposable or dim $\text{K}$?k+1. An example shows that the above bound on non-essentially-decomposable spaces of rank k matrices is sharp whenever n?2k–1.     

An integral transform in L2-cohomology for the ladder representations of U(p, q)

Starting from the realization of the Fock space as L²-cohomology of $\text{C}$^{p + q}, $\text{H}$^0,p($\text{C}$^{p + q}) = ⊕_m?$\text{Z}$$\text{H}$_m^0,p($\text{C}$^{p + q}), an integral transform is constructed which is a direct-image mapping from $\text{H}$_m^{0,p($\text{C}$p + q) into the space of holomorphic sections of some vector bundle E_m over M ≈ U(p, q)/(U(q) × U(p)), m ? 0}. The transform intertwines the natural actions of U(p, q) and is injective if m ? 0, so it provides a geometric realization of the ladder representations of U(p, q). The sections in the image of the transform satisfy certain linear differential equations, which are explicitly described. For example, Maxwell's equations are of this form if p = q = 2 and m = 2. Thus, this transform is analogous to the Penrose correspondence.     

On r-potent linear mappings

Let L(E) be the set of all linear mappings of a vector space E. Let Z₊ be the set of all positive integers. A nonzero element ? in L(E) is called an r-potent if $\text{?}{}^{\mathrm{r}}\text{=?}\text{and}\text{?}{}^{\mathrm{i}}\text{≠?}\text{for}\text{1<i<r (i,r∈Z}{}_{\mathrm{+}}\text{)}$. We prove that $\text{S(E)= {?∈L(E): ?}\text{is singular}\text{}}$ is a semigroup generated by the set of all r-potents in S(E), where r is a fixed positive integer with 2?r?n=dim(E).     

Automorphisms of the canonical anticommutation relations and index theory

Let H be a complex Hilbert space, P₊ an orthogonal projection on H, and P_? the complementary projection. If $\text{G}$ is any symmetrically normed ideal in the ring of bounded operators on H, then we consider the group of unitary operators on H such that P₊UP_?and P_?UP₊ lie in $\text{G}$. When $\text{G}$ is the Hilbert-Schmidt class, these unitaries define automorphisms of the C¹-algebra $\text{b}$ of the canonical anticommutation relations over H which are implementable in the representation of $\text{b}$ determined by P_?. We investigate the structure of the group $\text{U}$, proving in particular that it has infinitely many connected components, $\text{U}$_k, labelled by the Fredholm index of P₊UP₊. The connected component of the identity, $\text{U}$₀, is generated by unitaries of the form exp(iA), with A self-adjoint and P₊AP_? in $\text{G}$. Finally we consider an application of these results to two dimensional field theory, showing in particular that the charge and chiral charge quantum numbers arise as the Fredholm indices of P_±UP_± for certain unitary U on L²($\text{R}$, $\text{C}$²)     

Bessel functions and representation theory. I

In this paper a general theory of operator-valued Bessel functions is presented. These functions arise naturally in representation theory in the context of metaplectic representations, discrete series, and limits of discrete series for certain semi-simple Lie groups. In general, Bessel functions J_λ are associated to the action by automorphisms of a compact group U on a locally compact abelian group X, and are indexed by the irreducible representations λ of U that appear in the primary decomposition of the regular representation of U on L²(X). Then on the λ-primary constituent of L²(X), the Fourier transform is described by the Hankel transform corresponding to J_λ. More detailed information is available in the case in which (U, X) is an orthogonal transformation group which possesses a system of polar coordinates. In particular, when X=$\text{F}$^k×n,$\text{F}$ a real finite-dimensional division algebra, with k ? 2n and $\text{O}$(k, $\text{F}$), the representations λ of U are induced in a certain sense from representations π of GL(n, $\text{F}$). This leads to a characterization of J_λ as a reduced Bessel function defined on the component of 1 in GL(n, $\text{F}$) and to the connection between metaplectic representations and holomorphic discrete series for the group of biholomorphic automorphisms of the Siegel upper half-plane in the complexification of $\text{F}$^{n × n}.     

On Artin's conjecture

Let $\text{F}$ be a family of number fields which are normal and of finite degree over a given number field K. Consider the lattice L(scF) spanned by all the elements of $\text{F}$. The generalized Artin problem is to determine the set of prime ideals of K which do not split completely in any element H of L(scF), H≠K. Assuming the generalized Riemann hypothesis and some mild restrictions on $\text{F}$, we solve this problem by giving an asymptotic formula for the number of such prime ideals below a given norm. The classical Artin conjecture on primitive roots appears as a special case. In another case, if $\text{F}$ is the family of fields obtained by adjoining to $\text{Q}$ the q-division points of an elliptic curve E over $\text{Q}$, the Artin problem determines how often E($\text{F}$_p) is cyclic. If E has complex multiplication, the generalized Riemann hypothesis can be removed by using the analogue of the Bombieri-Vinogradov prime number theorem for number fields.     

A Banach-Dieudonné theorem for germs of holomorphic functions

Let $\text{H}$(U) denote the space of all holomorphic functions on an open subset U of a complex Fréchet space E. Let $\text{H}$(K) denote the space of all holomorphic germs on a compact subset K of E. It is shown that $\text{H}$(K), with a natural topology, is the inductive limit of a suitable sequence of compact subsets, within the category of all topological spaces. As an application of this result it is shown that the compact-ported topology introduced by Nachbin coincides with the compact-open topology on $\text{H}$(U) whenever U is a balanced open subset of a Fréchet-Schwartz space. This last result improves earlier results of P. Boland and S. Dineen [Bull. Soc. Math. France106 (1978), 311–336], R. Meise [Proc. Roy. Irish Acad. Sect. A81 (1981), 217–223], and others.     

The minimal dimension of maximal commutative subalgebras of full matrix algebras

Let F be a field and A a maximal commutative subalgebra of the full matrix algebra M_n(F). It is shown that dim A > (2n)^{$\text{2}\text{3}$} ? 1. It is also shown that if the radical of A has cube zero, then dim A ? [3n^{$\text{2}\text{3}$} ? 4], and that this result is best possible for infinitely many natural numbers n.     

Projective repesentations of the Hilbert Lie group U (H)2 via quasifree statres on the CAR algebra

The group $\text{U}$ (H)₂ of unitary operators (on a Hilbert space H) which differ from the identity by a Hilbert-Schmidt operator may be imbedded in the group of Bogoliubov automorphisms of the CAR algebra over H in such a way as to be weakly inner in any gauge-invariant quasifree representation. Consequently each such quasifree representation determines a projective representation of $\text{U}$ (H)₂. If 0 ? A ? I is the operator on H determining the quasifree representation π_A and ?_A denotes the cyclic projective representation of $\text{U}$ (H)₂ generated from the G.N.S. cyclic vector $\text{Ω}{}_{\mathrm{A}}\text{for}\text{π}{}_{\mathrm{A}}$, then the 2-cocycle in $\text{U}$ (H)₂ determined by ?_A can be given explicitly. We prove that this 2-cocycle is a coboundary if any only if A or 1 ? A is Hilbert-Schmidt. The representations ?_A, on restriction to the group $\text{U}$ (H)₁ consisting of unitaries which differ from the identity by a trace class operator, always determine 2-cocycles which are coboundaries. These representations of $\text{U}$ (H)₁ have already been investigated by 21., 22., 87–110). Thus the Stratila-Voiculescu representations of $\text{U}$ (H)₁ always extend to projective representations of $\text{U}$ (H)₂ and to ordinary representations when A or 1 ? A is Hilbert-Schmidt. This fact enables exploitation of the type analysis of Stratila and Voiculescu to determine the type of the von Neumann algebra ρ_A($\text{U}$(H)₂)″. In the special case where 0 and 1 are not eigenvalues of $\text{A, Ω}{}_{\mathrm{A}}$ is cyclic and separating for ρ_A($\text{U}$(H)₂)″ and hence determines a K.M.S. state on this algebra. It is shown that for special choices of A, type III_λ (0 < λ ? 1) factors ρ_A($\text{U}$(H)₂)″ may be constructed.     

On Dynkin's Markov property of random fields associated with symmetric processes

Let p(t, x, y) be a symmetric transition density with respect to a σ-finite measure m on (E, $\text{E}$), g(x,y)=∫p(t,x,y)dt, and $\text{M}\text{={σ-finite measures μ?0:∫g(x,y)μ(}\text{d}\text{x)μ(}\text{d}\text{y)<∞}}$. There exists a Gaussian random field $\text{Φ={?}{}_{\mathrm{\mu }}\text{:μ?}\text{M}\text{}}$ with mean 0 and covariance $\text{E}\text{?}{}_{\mathrm{\mu }}\text{?}{}_{\mathrm{\nu }}\text{=∫g(x,y)μ(}\text{d}\text{x)ν(}\text{d}\text{y)}$. Letting $\text{F}\text{(B)=σ{?}{}_{\mathrm{\mu }}\text{:μ(B}{}^{\mathrm{c}}\text{)=0}}$ we consider necessary and sufficient conditions for the Markov property (MP) on sets B, C: $\text{F}$(B), $\text{F}$(C) c.i. given $\text{F}$(B ∩ C). Of crucial importance is the following, proved by Dynkin: $\text{E}\text{{?}{}_{\mathrm{\mu }}\text{∣}\text{F}\text{(B)}=?}{}_{\mathrm{\mu B}}$, where μ_B is the hitting distribution of the process corresponding to p, m with initial law μ. Another important fact is that ?_μ=?_ν iff μ, ν have the same potential. Putting these together with an additional transience assumption, we present a potential theoretic proof of the following necessary and sufficient condition for (MP) on sets B, C: For every x?E, T_B∩C=T_B+T_C∮ θ_TB=T_C+T_B∮θ_TC a.s. P^x where, for D ? $\text{E}$, T_D is the hitting time of D for the process associated with p, m. This implies a necessary condition proved by Dynkin in a recent preprint for the case where B∪C=E and B, C are finely closed.