On character amenability of Banach algebras

We continue our work [E. Kaniuth, A.T. Lau, J. Pym, On φ-amenability of Banach algebras, Math. Proc. Cambridge Philos. Soc. 144 (2008) 85-96] in the study of amenability of a Banach algebra A defined with respect to a character φ of A. Various necessary and sufficient conditions of a global and a pointwise nature are found for a Banach algebra to possess a φ-mean of norm 1. We also completely determine the size of the set of φ-means for a separable weakly sequentially complete Banach algebra A with no φ-mean in A itself. A number of illustrative examples are discussed.     

Multiplication Operators on Invariant Subspaces of Function Spaces

Let M_φ be the operator of multiplication by φ on a Hilbert space of functions analytic on the open unit disk. For an invariant subspace F for the multiplication operator M_z, we derive some spectral properties of the multiplication operator M_φ : F → F. We characterize norm, spectrum, essential norm and essential spectrum of such operators when F has the codimension n property with n ∈ {1, 2, …, + ∞}.     

Efficient simulation of unsaturated flow using exponential time integration

We assess the performance of an exponential integrator for advancing stiff, semidiscrete formulations of the unsaturated Richards equation in time. The scheme is of second order and explicit in nature but requires the action of the matrix function φ(A) = A⁻¹(e^A − I) on a suitability defined vector v at each time step. When the matrix A is large and sparse, φ(A)v can be approximated by Krylov subspace methods that require only matrix-vector products with A. We prove that despite the use of this approximation the scheme remains second order. Furthermore, we provide a practical variable-stepsize implementation of the integrator by deriving an estimate of the local error that requires only a single additional function evaluation. Numerical experiments performed on two-dimensional test problems demonstrate that this implementation outperforms second-order, variable-stepsize implementations of the backward differentiation formulae.     

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.     

Hilbert space structure and positive operators

Let X be a real Banach space. We prove that the existence of an injective, positive, symmetric and not strictly singular operator from X into its dual implies that either X admits an equivalent Hilbertian norm or it contains a nontrivially complemented subspace which is isomorphic to a Hilbert space. We also treat the nonsymmetric case.     

Image of the group ring of the Galois representation associated to Drinfeld modules

Let φ be a Drinfeld A-module of arbitrary rank and arbitrary characteristic over a finitely generated field K, and set GK=Gal(Ksep/K). Let E=EndK(φ). We show that for almost all primes p of A the image of the group ring A[GK] in EndA(Tp(φ)) is the commutant of E. In the special case E=A it follows that the representation of GK on the p-torsion points φ[p](Ksep) of φ is absolutely irreducible for almost all p.     

Subcentrality of restrictions of boundary measures on state spaces of C1-algebras

Let F be a closed face of the weak¹ compact convex state space of a unital C¹-algebra A. The author has already shown that F is a Choquet simplex if and only if p_φ^Fπ_φ(A)″p_φ^F is abelian for any φ in F with associated cyclic representation ($\text{H}$_φ,π_φ,ξ_φ), where p_φ^F is the orthogonal projection of $\text{H}$_φ onto the subspace spanned by vectors η defining vector states a → 〈π_φ(a)η, η)〉 lying in F. It is shown here that if B is a C¹-subalgebra of A containing the unit and such that ξ_φ is cyclic in $\text{H}$_φ for π_φ(B) for any φ in F, then the boundary measures on F are subcentral as measures on the state space of B if and only if p_φ^F(π_φ(A), π_φ(B)′)″p_φ^F is abelian for all φ in F. If A is separable, this is equivalent to the condition that any state in F with (π_φ(A)′ ∩ π_φ(B)″) one-dimensional is pure. Taking A to be the crossed product of a discrete C¹-dynamical system (B, G, α), these results generalise known criteria for the system to be G-central.     

Approximations in the l∞ norm and the generalized inverse

We introduce the concept of a strict l_∞-metric projector, based in the definition of strict approximation, to prove that for each matrix A of order m×n with coefficients in the field R of real numbers there exists a set of operators G: R^m → Rⁿ homogeneous and continuous, but not necessarily linear (strict generalized inverse) such that AGA = A and 6AGy?y6 is minimized for all y, when the norm is the l_∞ norm. We investigate the properties of these operators and prove that there are two distinguished operators A^-1_{∞, β} and A^-1_∞ which are extensions of the generalized inverse introduced by Newman and Odell in the case of a strictly convex norm.     

Dilating covariant representations of the non-commutative disc algebras

Let φ be an isometric automorphism of the non-commutative disc algebra An for n?2. We show that every contractive covariant representation of (An,φ) dilates to a unitary covariant representation of (On,φ). Hence the C^∗-envelope of the semicrossed product Anφ_×Z⁺ is Onφ_×Z.     

Adelic openness for Drinfeld modules in generic characteristic

Let φ be a Drinfeld A-module of arbitrary rank and generic characteristic over a finitely generated field K. If the endomorphism ring of φ over an algebraic closure of K is equal to A, we prove that the image of the adelic Galois representation associated to φ is open.     

Real hypersurfaces in complex two-plane Grassmannians with certain commuting condition

In this paper, first we introduce a new notion of commuting condition that φφ ₁ A = A φ ₁ φ between the shape operator A and the structure tensors φ and φ ₁ for real hypersurfaces in G ₂(? ^m+2). Suprisingly, real hypersurfaces of type (A), that is, a tube over a totally geodesic G ₂(? ^m+1) in complex two plane Grassmannians G ₂(? ^m+2) satisfy this commuting condition. Next we consider a complete classification of Hopf hypersurfaces in G ₂(? ^m+2) satisfying the commuting condition. Finally we get a characterization of Type (A) in terms of such commuting condition φφ ₁ A = A φ ₁ φ.     

Sharp inequalities for the dyadic square function in the BMO setting

We introduce a method for the simultaneous study of a BMO function φ and its dyadic square function S(φ) that can yield sharp norm inequalities between the two. One of the applications is the sharp bound for the p-th moment of S(φ), 0<p<∞, which in turn implies the square-exponential integrability of the square function. We also present sharp refinements of these inequalities in the more restrictive case when φ is assumed to be bounded.     

Inverse subspace problems with applications

Given a square matrix A, the inverse subspace problem is concerned with determining a closest matrix to A with a prescribed invariant subspace. When A is Hermitian, the closest matrix may be required to be Hermitian. We measure distance in the Frobenius norm and discuss applications to Krylov subspace methods for the solution of large‐scale linear systems of equations and eigenvalue problems as well as to the construction of blurring matrices. Extensions that allow the matrix A to be rectangular and applications to Lanczos bidiagonalization, as well as to the recently proposed subspace‐restricted SVD method for the solution of linear discrete ill‐posed problems, also are considered.Copyright © 2013 John Wiley & Sons, Ltd.     

The linearity coefficient of metric projections onto one-dimensional Chebyshev subspaces of the space C

The paper deals with the operator of metric projection onto an arbitrary one-dimensional Chebyshev subspace 〈φ〉 of the space C[K] of real-valued functions defined and continuous on a Hausdorff compact set K. The linearity coefficient of the operator is calculated in terms of the parameters of the generating function φ. As a consequence, a new estimate of the Lipschitz constant of the operator is obtained.     

Maps preserving the idempotency of products of operators

Let B(X) be the algebra of all bounded linear operators on a complex Banach space X. We give the concrete form of every unital surjective map φ on B(X) such that AB is a non-zero idempotent if and only if φ(A)φ(B) is for all A,B∈B(X) when the dimension of X is at least 3.     

Approximating composition operator norms on the Dirichlet space

Let φ be any univalent self-map of the unit disk D whose image Ω≡φ(D) is compactly contained in D. We provide a method for approximating the norm of the composition operator Cφ on the Dirichlet space to any desired degree of accuracy. The approximation uses a special basis which is orthogonal in both the Bergman space on the disk and the Bergman space on Ω.     

The norm of a composition operator with linear symbol acting on the Dirichlet space

We obtain a representation for the norm of a composition operator on the Dirichlet space induced by a map of the form φ(z)=az+b. We compare this result to an upper bound for ‖Cφ‖ that is valid whenever φ is univalent. Our work relies heavily on an adjoint formula recently discovered by Gallardo-Gutiérrez and Montes-Rodríguez.     

Infinitesimal non-crossing cumulants and free probability of type B

Free probabilistic considerations of type B first appeared in the paper of Biane, Goodman and Nica [P. Biane, F. Goodman, A. Nica, Non-crossing cumulants of type B, Trans. Amer. Math. Soc. 355 (2003) 2263-2303]. Recently, connections between type B and infinitesimal free probability were put into evidence by Belinschi and Shlyakhtenko [S.T. Belinschi, D. Shlyakhtenko, Free probability of type B: Analytic aspects and applications, preprint, 2009, available online at www.arxiv.org under reference arXiv:0903.2721]. The interplay between “type B” and “infinitesimal” is also the object of the present paper. We study infinitesimal freeness for a family of unital subalgebras A₁,…,Ak in an infinitesimal noncommutative probability space (A,φ,φ^′) and we introduce a concept of infinitesimal non-crossing cumulant functionals for (A,φ,φ^′), obtained by taking a formal derivative in the formula for usual non-crossing cumulants. We prove that the infinitesimal freeness of A₁,…,Ak is equivalent to a vanishing condition for mixed cumulants; this gives the infinitesimal counterpart for a theorem of Speicher from “usual” free probability. We show that the lattices NC(B)(n) of non-crossing partitions of type B appear in the combinatorial study of (A,φ,φ^′), in the formulas for infinitesimal cumulants and when describing alternating products of infinitesimally free random variables. As an application of alternating free products, we observe the infinitesimal analogue for the well-known fact that freeness is preserved under compression with a free projection. As another application, we observe the infinitesimal analogue for a well-known procedure used to construct free families of free Poisson elements. Finally, we discuss situations when the freeness of A₁,…,Ak in (A,φ) can be naturally upgraded to infinitesimal freeness in (A,φ,φ^′), for a suitable choice of a “companion functional” .     

Invariant Subspaces for Commuting Operators on a Real Banach Space

It is proved that the commutative algebra A of operators on a reflexive real Banach space has an invariant subspace if each operator T ∈ A satisfies the condition

$${\left\| {1 - \varepsilon {T^2}} \right\|_e} \leqslant 1 + o\left( \varepsilon \right)as\varepsilon \searrow 0,$$

where ║ · ║ _e denotes the essential norm. This implies the existence of an invariant subspace for any commutative family of essentially self-adjoint operators on a real Hilbert space.