On interpolation of interpolating sequences

Let A be a uniform algebra on the compact space X and σ a probability measure on X. We define the Hardy spaces H^P(σ) and the H^P(σ) interpolating sequences S in the p-spectrum M_p of σ. Under some structural hypotheses on (A, σ), we prove that if a sequence S ⊂ M_p is H^P(σ) interpolating, then it is H^s(σ) interpolating for s < p. In the special case of the unit ball B of ?ⁿ this answers a natural question asked in [8].     

Configurations in abelian categories—I: Basic properties and moduli stacks

This is the first in a series of papers on configurations in an abelian category A. Given a finite partially ordered set (I,?), an (I,?)-configuration(σ,ι,π) is a finite collection of objects σ(J) and morphisms ι(J,K) or π(J,K):σ(J)→σ(K) in A satisfying some axioms, where J,K are subsets of I. Configurations describe how an object X in A decomposes into subobjects, and are useful for studying stability conditions on A.We define and motivate the idea of configurations, and explain some natural operations upon them—subconfigurations, quotient configurations, substitution, refinements and improvements. Then we study moduli spaces of (I,?)-configurations in A, and natural morphisms between them, using the theory of Artin stacks. We prove well-behaved moduli stacks exist when A is the abelian category of coherent sheaves on a projective scheme P, or of representations of a quiver Q.In the sequels, given a stability condition (τ,T,?) on A, we will show the moduli spaces of τ-(semi)stable objects or configurations are constructible subsets in the moduli stacks of all objects or configurations. We associate infinite-dimensional algebras of constructible functions to a quiver Q using the method of Ringel-Hall algebras, and define systems of invariants of P that ‘count’ τ-(semi)stable coherent sheaves on P and satisfy interesting identities.     

An implicit-function theorem for inclusions

We consider the question of the solvability of an inclusion F(x, σ) ∈ A, i.e., of determining a mapping (implicit function) σ ? x(σ) defined on a set such that F(x(σ), σ) ∈ A for any σ from this set. Results of this kind play a key role in the different branches of analysis and, especially, in the theory of extremal problems, where they are the main tool for deriving conditions for an extremum.     

The expansion of a semigroup and a Riesz basis criterion

Problems on the expansion of a semigroup and a criterion for being a Riesz basis are discussed in the present paper. Suppose that A is the generator of a C₀ semigroup on a Hilbert space and σ(A)=σ₁(A)∪σ₂(A) with σ₂(A) is consisted of isolated eigenvalues distributed in a vertical strip. It is proved that if σ₂(A) is separated and for each λ∈σ₂(A), the dimension of its root subspace is uniformly bounded, then the generalized eigenvectors associated with σ₂(A) form an L-basis. Under different conditions on the Riesz projection, the expansion of a semigroup is studied. In particular, a simple criterion for the generalized eigenvectors forming a Riesz basis is given. As an application, a heat exchanger problem with boundary feedback is investigated. It is proved that the heat exchanger system is a Riesz system in a suitable state Hilbert space.     

Permutation-operator inequalities on certain symmetry classes of tensors

If A∈T(m, N), the real-valued N-linear functions on E_m, and σ∈S_N, the symmetric group on {…,N}, then we define the permutation operator P_σ: T(m, N) → T(m, N) such that P_σ(A)(x₁,x₂,…,x_N = A(x_σ(1),x_σ(2),…, x_σ(N)). Suppose Σ^q_i=1n_i = N, where the n_i are positive integers. In this paper we present a condition on σ that is sufficient to guarantee that 〈P_σ(A₁?A₂???A_q),A₁?A₂?? ? A_q〉 ? 0 for A_i∈S(m, n_i), where S(m, n_i) denotes the subspace of T(m, n_i) consisting of all the fully symmetric members of T(m, n_i). Also we present a broad generalization of the Neuberger identity which is sometimes useful in answering questions of the type described below. Suppose G and H are subgroups of S_N. We let T_G(m, N) denote all A∈T(m, N) such that P_σ(A) = A for all σ∈G. We define the symmetrizer $\text{S}$_G: T(m, N)→T_G(m,N) such that $\text{S}{}_{\mathrm{G}}\text{(A) = 1/|G|Σ}{}_{\mathrm{\sigma \in G}}\text{P}{}_{\mathrm{\sigma }}\text{(A)}$. Suppose H is a subgroup of G and A∈T_H(m, N). Clearly $\text{6}\text{S}{}_{\mathrm{<mtext>G</mtext>}}\text{6(A) 6? 6A6.}$ We are interested in the reverse type of comparison. In particular, if D is a suitably chosen subset of T_H(m,N), then can we explicitly present a constant C>0 such that $\text{6}\text{S}{}_{\mathrm{G}}\text{(A)6?C6A6}$ for all A∈D?     

Converse to the Parter-Wiener theorem: The case of non-trees

Through a succession of results, it is known that if the graph of an Hermitian matrix A is a tree and if for some index j, λ∈σ(A)∩σ(A(j)), then there is an index i such that the multiplicity of λ in σ(A(i)) is one more than that in A. We exhibit a converse to this result by showing that it is generally true only for trees. In particular, it is shown that the minimum rank of a positive semidefinite matrix with a given graph G is ?n-2 when G is not a tree. This raises the question of how the minimum rank of a positive semidefinite matrix depends upon the graph in general.     

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.     

Strongly stable real infinitesimally symplectic mappings

We prove that a mapA εsp(σ,R), the set of infinitesimally symplectic maps, is strongly stable if and only if its centralizerC(A) insp(σ,R) contains only semisimple elements. Using the theorem that everyB insp(σ,R) close toA is conjugate by a real symplectic map to an element ofC(A), we give a new proof of the openness of the set of strongly stable maps. Then we prove that the set of strongly stable maps is the interior of the set of all infinitesimally symplectic maps with purely imaginary or zero eigenvalues, and the connected components of this set are described. Finally, we give a new proof of the analytic conjugacy theorem for an analytic curve through a given strongly stable map.     

Continuity of the spectrum on a class of upper triangular operator matrices

Let B(H) denote the algebra of operators on an infinite dimensional complex Hilbert space H, and let A^○∈B(K) denote the Berberian extension of an operator A∈B(H). It is proved that the set theoretic function σ, the spectrum, is continuous on the set C(i)⊂B(Hi) of operators A for which σ(A)={0} implies A is nilpotent (possibly, the 0 operator) and at every non-zero λ∈σp(A^○) for some operators X and B such that λ∉σp(B) and σ(A^○)={λ}∪σ(B). If CS(m) denotes the set of upper triangular operator matrices , where Aii∈C(i) and Aii has SVEP for all 1?i?m, then σ is continuous on CS(m). It is observed that a considerably large number of the more commonly considered classes of Hilbert space operators constitute sets C(i) and have SVEP.     

Lipschitz lower sigma-exponents of linear differential systems

For the lower sigma-exponent of the linear differential system ? = A(t)x, x ∈ R ⁿ , t ≥ 0, defined by the formula Δ_σ(A) ≡ inf_λ[Q]≤-σ λ ₁(A + Q), σ > 0, on the basis of the lower characteristic exponents λ ₁(A+Q) of perturbed linear systems with Lyapunov exponents λ[Q] ≤ ?σ < 0 of perturbations Q, we prove the following general form as a function of the parameter σ > 0. For any nondecreasing bounded function f(σ) of the parameter σ ∈ (0,+∞) that coincides with a constant on some infinite interval (σ ₀,+∞), σ ₀ ≥ 0, and satisfies the Lipschitz condition on the complementary interval (0, σ ₀], we prove the existence of a linear system with coefficient matrix A _f (t) bounded on the half-line [0,+∞) whose lower sigma-exponent Δ_σ(A _f ) coincides with the function f(σ) on the entire interval (0,+∞).     

Derivations on ideals in commutative AW*-algebras

LetA be a commutativeAW*-algebra.We denote by S(A) the *-algebra of measurable operators that are affiliated with A. For an ideal I in A, let s(I) denote the support of I. Let Y be a solid linear subspace in S(A). We find necessary and sufficient conditions for existence of nonzero band preserving derivations from I to Y. We prove that no nonzero band preserving derivation from I to Y exists if either Y ? Aor Y is a quasi-normed solid space. We also show that a nonzero band preserving derivation from I to S(A) exists if and only if the boolean algebra of projections in the AW*-algebra s(I)A is not σ-distributive.     

Orbits under actions of affine groups over GF (2)

Let G be a group (or vector space) and A a group of transformations of G. A then acts as a group of transformations of P(G), the set of subsets of G. It is meaningful to study the orbit structure of P(G) under the action of A. The question of the existence of elements of P(G) with trivial isotropy subgroup seems to be of interest in studying the action of A on G. In this paper actions of affine groups over GF (2) are considered. It is proved, by an inductive construction, that every vector space over GF (2) of dimension at least six contains a subset with trivial isotropy subgroup.     

Generalizations of weakly peripherally multiplicative maps between uniform algebras

Let A and B be uniform algebras on first-countable, compact Hausdorff spaces X and Y, respectively. For f∈A, the peripheral spectrum of f, denoted by σπ(f)={λ∈σ(f):|λ|=‖f‖}, is the set of spectral values of maximum modulus. A map T:A→B is weakly peripherally multiplicative if σπ(T(f)T(g))∩σπ(fg)≠∅ for all f,g∈A. We show that if T is a surjective, weakly peripherally multiplicative map, then T is a weighted composition operator, extending earlier results. Furthermore, if T₁,T₂:A→B are surjective mappings that satisfy σπ(T₁(f)T₂(g))∩σπ(fg)≠∅ for all f,g∈A, then T₁(f)T₂(1)=T₁(1)T₂(f) for all f∈A, and the map f?T₁(f)T₂(1) is an isometric algebra isomorphism.     

Unital and multiplicatively spectrum-preserving surjections between semi-simple commutative Banach algebras are linear and multiplicative

Let T be a surjective map from a unital semi-simple commutative Banach algebra A onto a unital commutative Banach algebra B. Suppose that T preserves the unit element and the spectrum σ(fg) of the product of any two elements f and g in A coincides with the spectrum σ(TfTg). Then B is semi-simple and T is an isomorphism. The condition that T is surjective is essential: An example of a non-linear and non-multiplicative unital map from a commutative C*-algebra into itself such that σ(TfTg)=σ(fg) holds for every f,g are given. We also show an example of a surjective unital map from a commutative C*-algebra onto itself which is neither linear nor multiplicative such that σ(TfTg)⊂σ(fg) holds for every f,g.     

Maps preserving peripheral spectrum of Jordan semi-triple products of operators

Let A and B be (not necessarily unital or closed) standard operator algebras on complex Banach spaces X and Y, respectively. For a bounded linear operator A on X, the peripheral spectrum σ_π(A) of A is the set σ_π(A)={z∈σ(A):|z|=max_ω∈σ(A)|ω|}, where σ(A) denotes the spectrum of A. Assume that Φ:A→B is a map the range of which contains all operators of rank at most two. It is shown that the map Φ satisfies the condition that σ_π(BAB)=σ_π(Φ(B)Φ(A)Φ(B)) for all A,B∈A if and only if there exists a scalar λ∈C with λ³=1 and either there exists an invertible operator T∈B(X,Y) such that Φ(A)=λTAT^-1 for every A∈A; or there exists an invertible operator T∈B(X^∗,Y) such that Φ(A)=λTA^∗T^-1 for every A∈A. If X=H and Y=K are complex Hilbert spaces, the maps preserving the peripheral spectrum of the Jordan skew semi-triple product BA^∗B are also characterized. Such maps are of the form A?UAU^∗ or A?UA^tU^∗, where U∈B(H,K) is a unitary operator, A^t denotes the transpose of A in an arbitrary but fixed orthonormal basis of H.     

Degree conditions and degree bounded trees

We give sufficient conditions for a graph to have degree bounded trees. Let G be a connected graph and A a vertex subset of G. We denote by σ_k(A) the minimum value of the degree sum in G of any k independent vertices in A and by w(G−A) the number of components in the induced subgraph G−A. Our main results are the following: (i) If σ_k(A)≥|V(G)|−1, then G contains a tree T with maximum degree at most k and A⊆V(T). (ii) If σ_k−w(G−A)(A)≥|A|−1, then G contains a spanning tree T such that d_T(x)≤k for every x∈A. These are generalizations of the result by Win [S. Win, Existenz von Gerüsten mit Vorgeschriebenem Maximalgrad in Graphen, Abh. Math. Sem. Univ. Hamburg 43 (1975) 263-267] and the degree conditions are sharp.     

Inequalities and identities for generalized matrix functions

Let χ be a character on the symmetric group S_n, and let A = (a_ij) be an n-by-n matrix. The function d_χ(A) = Σ_σ?Snχ(σ)Πⁿ_{t = 1}a_tσ(t) is called a generalized matrix function. If χ is an irreducible character, then d_χ is called an immanent. For example, if χ is the alternating character, then d_χ is the determinant, and if χ ≡ 1, then d_χ is called the permanent (denoted per). Suppose that A is positive semidefinite Hermitian. We prove that the inequality $\text{(1/χ(}\text{id}\text{))d}{}_{\mathrm{\chi }}\text{(A) ?}\text{per}\text{A}$ holds for a variety of characters χ including the irreducible ones corresponding to the partitions (n ? 1,1) and (n ? 2,1,1) of n. The main technique used to prove these inequalities is to express the immanents as sums of products of principal subpermanents. These expressions for the immanents come from analogous expressions for Schur polynomials by means of a correspondence of D.E. Littlewood.     

Algebraic properties of compatible Poisson brackets

We discuss algebraic properties of a pencil generated by two compatible Poisson tensors A(x) and B(x). From the algebraic viewpoint this amounts to studying the properties of a pair of skew-symmetric bilinear forms A and B defined on a finite-dimensional vector space. We describe the Lie group G _P of linear automorphisms of the pencil P = {A + λB}. In particular, we obtain an explicit formula for the dimension of G _P and discuss some other algebraic properties such as solvability and Levi-Malcev decomposition.     

On the Galois cohomology of dedekind rings

Let R be a Dedekind domain, G a finite group of automorphisms of R, and A an ambiguous ideal of R i.e., σA = A for all σ ∈ G. The Tate groups Hⁿ(G, A) are considered as R^G-modules. A localization theorem is proved and the precise R^G-module structure determined in a particular case. In addition some remarks are made concerning cohomological triviality.