Symplectic groups and the Klein-Gordon field

In this paper a Cohen factorization theorem x = a^t · x_t (t > 0) is proved for a Banach algebra A with a bounded approximate identity, where t ? a^t is a continuous one-parameter semigroup in A. This theorem is used to show that a separable Banach algebra B has a bounded approximate identity bounded by 1 if and only if there is a homomorphism θ from L¹($\text{R}$⁺) into B such that ∥ θ ∥ = 1 and θ(L¹($\text{R}$⁺)). B = B = B · θ(L¹($\text{R}$⁺)). Another corollary is that a separable Banach algebra with bounded approximate identity has a commutative bounded approximate identity, which is bounded by 1 in an equivalent algebra norm.     

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.     

An addendum to “M-ldeal structure in Banach algebras”

M-ideals in a commutative Banach algebra A are shown to correspond to certain hermitian central projections in $\text{A}{}^7$, and thus possess bounded approximate identities. This leads to a new characterization of M-ideals in function algebras.     

The relationship between a commutative Banach algebra and its maximal ideal space

Our main result is an extension of a theorem due to Novodvorskii and Taylor; we give some special cases. Let A be a commutative Banach algebra with identity, and let Δ be its maximal ideal space. Let B be a Banach algebra with identity; let B^?1 denote the invertible group in B and id B denote the set of idempotents in B. Let [$\text{(A}\text{}\text{?}\text{bo B)}{}^{\mathrm{?1}}$] denote the set of path components of $\text{(A}\text{}\text{?}\text{bo B)}{}^{\mathrm{?1}}$, and [Δ, B^?1] denote the set of homotopy classes of continuous maps of Δ into B^?1. We prove that the Gelfand transform on A induces a bijection of [$\text{(A}\text{}\text{?}\text{bo B)}{}^{\mathrm{?1}}$] onto [Δ, B^?1], and extend this result to prove a theorem of Davie. We show that the Gelfand transform induces a bijection of [$\text{id}\text{(A}\text{}\text{?}\text{bo B)}$] onto [Δ, id B], and investigate consequences of this result for specific examples of the Banach algebra B.     

Un contre-exemple pour les formes invariantes sur un corps fini

Let A be a Jordan algebra over the reals which is a Banach space with respect to a norm satisfying the requirements: (i) ∥ a ° b ∥ ≤ ∥ a ∥ ∥ b ∥, (ii) ∥ a² ∥ = ∥ a ∥², (iii) ∥ a² ∥ ≤ ∥ a² + b² ∥ for a, b?A. It is shown that A possesses a unique norm closed Jordan ideal J such that $\text{A}\text{J}$ has a faithful representation as a Jordan algebra of self-adjoint operators on a complex Hilbert space, while every “irreducible” representation of A not annihilating J is onto the exceptional Jordan algebra M₃⁸.     

On the Schur multiplier norm of matrices

The Schur product of two n×n complex matrices A=(a_ij), B=(b_ij) is defined by A°B=(a_ijb_ij. By a result of Schur [2], the algebra of n×n matrices with Schur product and the usual addition is a commutative Banach algebra under the operator norm (the norm of the operator defined on $\text{C}$ⁿ by the matrix). For a fixed matrix A, the norm of the operator B?A°B on this Banach algebra is called the Schur multiplier norm of A, and is denoted by ∥A∥^m. It is proved here that $\text{∥A∥=∥U}{}^1\text{AU∥}{}_{\mathrm{m}}$ for all unitary U (where ∥·∥ denotes the operator norm) iff A is a scalar multiple of a unitary matrix; and that ∥A∥_m=∥A∥ iff there exist two permutations P, Q, a p×p (1?p?n) unitary U, an (n?p)×(n?p)1 contraction C, and a nonnegative number λ such that

$\text{A=λP}\text{U}\text{0}\text{0}\text{C}\text{Q;}$

and this is so iff $\text{∥A°}\text{A}\text{?}\text{∥=∥A∥}{}^2$, where ā is the matrix obtained by taking entrywise conjugates of A.     

A note on matrix subalgebras containing a full Jordan block

Let A be a subalgebra of the full matrix algebra M_n(F), and suppose J∈A, where J is the Jordan block corresponding to xⁿ. Let $\text{S}$ be a set of generators of A. It is shown that the graph of $\text{S}$ determines whether A is the full matrix algebra M_n(F).     

A synopsis of Combinatorial Integral Geometry

A Lie coalgebra is a coalgebra whose comultiplication Δ : M → M ? M satisfies the Lie conditions. Just as any algebra A whose multiplication ? : A ? A → A is associative gives rise to an associated Lie algebra $\text{L}$(A), so any coalgebra C whose comultiplication Δ : C → C ? C is associative gives rise to an associated Lie coalgebra $\text{L}$^c(C). The assignment C ? $\text{L}$^c(C) is functorial. A universal coenveloping coalgebra Uc(M) is defined for any Lie Lie coalgebra M by asking for a right adjoint U^c to $\text{L}$^c. This is analogous to defining a universal enveloping algebra U(L) for any Lie algebra L by asking for a left adjoint U to the functor $\text{L}$. In the case of Lie algebras, the unit (i.e., front adjunction) 1 → $\text{L}$ o U of the adjoint functor pair U ? $\text{L}$ is always injective. This follows from the Poincaré-Birkhoff-Witt theorem, and is equivalent to it in characteristic zero (x = 0). It is, therefore, natural to inquire about the counit (i.e., back adjunction) $\text{L}$^c o U^c → 1 of the adjoint functor pair $\text{L}$^c ? U^c.Theorem. For any Lie coalgebra M, the natural map$\text{L}$^c(U^cM) → M is surjective if and only if M is locally finite, (i.e., each element of M lies in a finite dimensional sub Lie coalgebra of M).An example is given of a non locally finite Lie coalgebra. The existence of such an example is surprising since any coalgebra C whose diagonal Δ is associative is necessarily locally finite by a result of that theory. The present paper concludes with a development of an analog of the Poincaré-Birkhoff-Witt theorem for Lie algebras which we choose to call the Dual Poincaré-Birkhoff-Witt Theorem and abbreviate by “The Dual PBWθ.” The constraints of the present paper, however, allow only a sketch of this theorem. A complete proof will appear in a subsequent paper. The reader may, however, consult [12], in the meantime, for details. The Dual PBWθ shows for any locally finite Lie coalgebra M the existence (in χ = 0) of a natural isomorphism of the graded Hopf algebras ₀E(U^cM) and ₀E(S^cM) associated to U^cM and to S^cM = U^c(TrivM) when U^c(M) and S^c(M) are given the Lie filtrations. [Just as U^c(M) is the analog of the enveloping algebra U(L) of a Lie algebra L, so S^c(V) is the analog of the symmetric algebra S(V) on a vector space V. Triv(M) denotes the trivial Lie coalgebra structure on the underlying vector space of M obtained by taking the comultiplication to be the zero map.]     

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.     

Extensions of the Ostrowski-Reich theorem for SOR iterations

The Ostrowski-Reich theorem states that for a system Ax =b of linear equations with A nonsingular, if A is hermitian and if the diagonal of A is positive, then the SOR method converges for each relaxation parameter in (0,2) if and only if A is positive definite. This is actually a special case of the Householder-John theorem, which states that for A=M?N with A,M nonsingular, if A is hermitian and $\text{M}{}^1\text{+N}$ is positive definite, then M^?1N is a convergent matrix if and only if A is positive definite. Our purposes here are to generalize the Householder-John theorem and to provide an insight into how and why the SOR method can converge. As a result the Ostrowski-Reich theorem is extended in two directions; one is when A is hermitian but the diagonal of A is not necessarily positive, so that A is not necessarily positive definite, and the other is when $\text{A+A}{}^1$ is positive definite but A is not necessarily hermitian. In the process, several other convergence results are obtained for general splittings of A. However, no claims are made concerning the case in which the convergence results obtained here can be applied to practical situations.     

Derivations on a C1-algebra and its double dual

Let A be a C¹-algebra and X a Banach A-module. The module action of A on X gives rise to module actions of $\text{A}{}^7$ on $\text{X}{}^1$ and $\text{X}{}^7$, and derivations of A into X (resp. $\text{X}{}^1$) extend to derivations of $\text{A}{}^7$ into $\text{X}{}^7$ (resp. $\text{X}{}^1$). If A is nuclear, and X is a dual Banach A-module with $\text{X}{}^1$ weakly sequentially complete, then every derivation of A into X is inner. Under the same hypothesis on A, the extension to the finite part of $\text{A}{}^7$ of any derivation of A into any dual Banach A-module is inner, as are all derivations of A into $\text{A}{}^1$. Every derivation of a semifinite von Neumann algebra into its predual is inner.     

Some generic properties of α-nonexpansive mappings

Let X be a Banach space, C a bounded closed subset of X, A a convex closed subset of X, $\text{E}$ a complete metric space formed by all α-nonexpansive mappings fC → A and $\text{M}$ a complete metric space formed by α-nonexpansive differentiable mappings fC → X. The following assertions are proved in this paper: (1) Properness of I ? f is a generic property in $\text{E}$ (2)the subset of $\text{E}$ formed by all α-contractive mappings is of Baire first category in $\text{E}$; and (3) for every y?X, the functional equation x ? f(x) = y has generically a finite number of solutions for f in $\text{M}$. Some applications to the fixed point theory and calculation of the topological degree are given.     

Acyclic ideals and Koszul complexes

If A is a differential module, then the computation of its homology may frequently be simplified by finding a large acyclic submodule N, for then $\text{H(A)?H(}\text{A}\text{N}\text{)}$ as modules, and hopefully $\text{A}\text{N}$ is more tractable than A. The same idea works if A is a differential algebra, but in that case it is critical to factor out by an acyclic idealI?A, so that $\text{H(A)?H(}\text{A}\text{I}\text{)}$ as algebras. This reduction technique in the classical (ungraded) case is used by Rees [7] and Tate [11], for example. I used a graded version in my thesis [8,9] to study the cohomology of two-stage Postnikov systems. Recently this Acyclic Ideal theorem has been used by Mann, May, Milgram and Sigaard [6] and there has also developed a body of work on the Koszul complex by Józefiak [2,3] and others in which this theorem fits naturally.     

Capacity and uniform algebras

Let A be a uniform algebra on a compact space X, let M be the maximal ideal space of A, and consider an element ? of A. Choose a component W of $\text{C}$??(X). In 1963 Bishop showed that {$\text{y}\text{in}\text{M ¦ ?(y) ? W}$} can be made into a one-dimensional complex analytic space provided there is a subset G of W having positive area such that for each λ in $\text{G {y}\text{in}\text{M ¦ ?(y) = λ}}$ is finite. We show that the hypothesis of “positive area” may be replaced by “positive exterior capacity” and that no weaker condition will suffice.     

Some apparent connection between Baxter and averaging operators

A formula for the resolvent R(λ, T) of a Baxter operator T, on a complex Banach algebra $\text{A}$ with identity e, is obtained. With the parameter θ ≠ 0 and e, but under some restriction, this formula is analogous to that for the resolvent of an averaging operator. A counterexample is given, which shows that such a Baxter operator is not averaging in general. When θ is regular in $\text{A}$, a simple representation of T in terms of summation and averaging operators is obtained.     

Measure algebras associated with a second order differential operator

Let $\text{L =}\text{d}{}^2\text{dx}{}^2\text{? q(x)}$ be a Sturm-Liouville operator acting on functions defined on R. The authors have recently shown how to construct commutative associative algebras of distributions of compact support for which L is a centralizer (in the sense that $\text{L(f 1 g) = (Lf) 1 g}$ for distributions f, g of compact support) when q is locally bounded. Here, it is assumed either that q is bounded and $\text{x → (1 + ¦ x ¦) q(x)}$ is integrable, or that q is of bounded variation. A function ψ is then found such that $\text{M}$ψ={μ : μ is a measure on R and | μ |(ψ) < & infin;} becomes a Banach algebra containing the algebra of measures of compact support. The representation theory of $\text{M}$_ψ is discussed and conditions for its semisimplicity are obtained.     

Lower bounds for commutative radical Banach algebras

One says a commutative radical Banach algebra A has a lower bound if there is a lower growth condition on $\text{∥x}{}^{\mathrm{n}}\text{∥}{}^{\mathrm{<mtext>1</mtext><mtext>n</mtext>}}$ for all nonzero elements x in A. If A is a separable algebra we give necessary and sufficient conditions for A to possess a lower bound.     

State estimation for cox processes on general spaces

Let N be an observable Cox process on a locally compact space E directed by an unobservable random measure M. Techniques are presented for estimation of M, using the observations of N to calculate conditional expectations of the form E [M]|$\text{F}$_A], where $\text{F}$_A is the σ–algebra generated by the restriction of N to A. We introduce a random measure whose distribution depends on N_A, from which we obtain both exact estimates and a recursive method for updating them as further observations become available. Application is made to the specific cases of estimation of an unknown, random scalar multiplier of a known measure, of a symmetrically distributed directing measure M and of a Markov–directed Cox process on $\text{R}$. By means of a Poisson cluster representation, the results are extended to treat the situation where N is conditionally additive and infinitely divisible given M.     

Doubly stochastic matrices with equal subpermanents

It has been conjectured that if A is a doubly stochastic n>× n matrix such that per A(i, j)≥perA for all i, j, then either A = J_n, then n × n matrix with each entry equal to $\text{1}\text{n}$, or, up to permutations of rows and columns, $\text{A =}\text{1}\text{2}\text{(I}{}_{\mathrm{n}}\text{+ P}{}_{\mathrm{n}}\text{)}$, where P_n is a full cycle permutation matrix. This conjecture is proved.     

Duality in hypercomplex function theory

Let $\text{A}$ be the Clifford algebra constructed over a quadratic n-dimensional real vector space with orthogonal basis {e₁,…, e_n}, and e₀ be the identity of $\text{A}$. Furthermore, let M_k(Ω;$\text{A}$) be the set of $\text{A}$-valued functions defined in an open subset Ω of R^m+1 (1 ? m ? n) which satisfy D^kf = 0 in Ω, where D is the generalized Cauchy-Riemann operator $\text{D = ∑}{}_{\mathrm{i\; =\; 0}}{}^{\mathrm{m}}\text{e}{}_{\mathrm{i}}\text{(}\text{?}\text{?x}{}_{\mathrm{i}}\text{)}$ and k? N. The aim of this paper is to characterize the dual and bidual of M_k(Ω;$\text{A}$). It is proved that, if M_k(Ω;$\text{A}$) is provided with the topology of uniform compact convergence, then its strong dual is topologically isomorphic to an inductive limit space of Fréchet modules, which in its turn admits M_k(Ω;$\text{A}$) as its dual. In this way, classical results about the spaces of holomorphic functions and analytic functionals are generalized.