On -summable sequences in the range of a vector measure

Let . Among other results, we prove that a Banach space has the property that every sequence lies inside the range of an -valued measure if and only if, for all sequences in satisfying that the operator is 1-summing, the operator is nuclear, being the conjugate number for . We also prove that, if is an infinite-dimensional -space for , then can't have the above property for any .

     

An improved estimate for the highest Lyapunov exponent in the method of freezing

Let and be the eigenvalues of the matrix . The main result of the Method of Freezing states that if , and , then

for the highest exponent of the system, where

The previous best known value and the substantially smaller values of are reduced to the still smaller value.

     

Formulae and continuity for the index of subfactors

Let be an inclusion of -factors, the trace state of , and , the set of projections in and , respectively. We prove that the Jones index for the inclusion is

This formula is exploited to obtain continuity results for the index. In particular, we obtain a formula for the index which expresses in terms of the positions of and , in , when and are finite-dimensional -subalgebras with dense union in and , respectively.

     

Commensurators of parabolic subgroups of Coxeter groups

Let be a Coxeter system, and let be a subset of . The subgroup of generated by is denoted by and is called a parabolic subgroup. We give the precise definition of the commensurator of a subgroup in a group. In particular, the commensurator of in is the subgroup of in such that has finite index in both and . The subgroup can be decomposed in the form where is finite and all the irreducible components of are infinite. Let be the set of in such that for all . We prove that the commensurator of is . In particular, the commensurator of a parabolic subgroup is a parabolic subgroup, and is its own commensurator if and only if .

     

Combinatorial aspects of F-sets

We discuss F filters and show that the minimum size of a filter base generating an undiagonalizable filter included in some F filter is the better known bounded evasion number . An application to -sets from trigonometric series is given by showing that if is an -set and has size less than , then is again an -set.

     

The rank stable topology of instantons on

Let be the moduli space of based (anti-self-dual) instantons on of charge and rank . There is a natural inclusion . We show that the direct limit space is homotopy equivalent to . Let be a line in the complex projective plane and let be the blow-up at a point away from . can be alternatively described as the moduli space of rank holomorphic bundles on with and and with a fixed holomorphic trivialization on .

     

Deformations of dihedral representations

G. Burde proved (1990) that the representation space of two-bridge knot groups is one-dimensional. The same holds for all torus knot groups. The aim of this note is to prove the following:
Given a knot we denote by its twofold branched covering space. Assume that there is a prime number such that . Then there exist representations of the knot group onto the binary dihedral group and these representations are smooth points on a one-dimensional curve of representations into .

     

Sharp estimates for the Bochner-Riesz operator of negative order in

The Bochner-Riesz operator on of order is defined by

where denotes the Fourier transform and if , and if . We determine all pairs such that on of negative order is bounded from to . To be more precise, we prove that for the estimate holds if and only if , where

We also obtain some weak-type results for .

     

Fixed point property and normal structure for Banach spaces associated to locally compact groups

In this paper we investigate when various Banach spaces associated to a locally compact group have the fixed point property for nonexpansive mappings or normal structure. We give sufficient conditions and some necessary conditions about for the Fourier and Fourier-Stieltjes algebras to have the fixed point property. We also show that if a -algebra has the fixed point property then for any normal element of , the spectrum is countable and that the group -algebra has weak normal structure if and only if is finite.

     

The structure of hypersurfaces with some curvature conditions

Let be a hypersurface in , and let denote the mean curvature and the scalar curvature of respectively. We show that if is compact and , then is diffeomorphic to . Also we prove that if is complete, is constant and , then is or or .

     

On the von Neumann-Jordan constant for Banach spaces

Let be the von Neumann-Jordan constant for a Banach space . It is known that for any Banach space ; and is a Hilbert space if and only if . We show that: (i) If is uniformly convex, is less than two; and conversely the condition implies that admits an equivalent uniformly convex norm. Hence, denoting by the infimum of all von Neumann-Jordan constants for equivalent norms of , is super-reflexive if and only if . (ii) If , (the same value as that of -space), is of Rademacher type and cotype for any with , where ; the converse holds if is a Banach lattice and is finitely representable in or .

     

Densities with the mean value property for harmonic functions in a Lipschitz domain

Let be a bounded domain in , , and let . We consider positive functions on such that for all bounded harmonic functions on . We determine Lipschitz domains having such with .

     

An infinite series of Kronecker conjugate polynomials

Let be a field of characteristic , a transcendental over , and be the absolute Galois group of . Then two non-constant polynomials are said to be Kronecker conjugate if an element of fixes a root of if and only if it fixes a root of . If is a number field, and where is the ring of integers of , then and are Kronecker conjugate if and only if the value set equals modulo all but finitely many non-zero prime ideals of . In 1968 H. Davenport suggested the study of this latter arithmetic property. The main progress is due to M. Fried, who showed that under certain assumptions the polynomials and differ by a linear substitution. Further, he found non-trivial examples where Kronecker conjugacy holds. Until now there were only finitely many known such examples. This paper provides the first infinite series. The main part of the construction is group theoretic.

     

-bundles over aspherical surfaces and 4-dimensional geometries

Melvin has shown that closed 4-manifolds that arise as -bundles over closed, connected aspherical surfaces are classified up to diffeomorphism by the Stiefel-Whitney classes of the associated bundles. We show that each such 4-manifold admits one of the geometries or [depending on whether or ]. Conversely a geometric closed, connected 4-manifold of type or is the total space of an -bundle over a closed, connected aspherical surface precisely when its fundamental group is torsion free. Furthermore the total spaces of -bundles over closed, connected aspherical surfaces are all geometric. Conversely a geometric closed, connected 4-manifold is the total space of an -bundle if and only if where is torsion free.

     

Standard systems for semifinite O-algebras

We shall continue the study of standard systems which make it possible to develop the Tomita-Takesaki theory in O-algebras. The main purpose of this paper is to give the necessary and sufficient conditions for which a standard system of an O-algebra , a generalized vector and the commutant is unitarily equivalent to a standard system constructed by a standard tracial generalized vector for an O-algebra and a non-singular positive self-adjoint operator affiliated with the commutant of .

     

The optimality of James's distortion theorems

A renorming of , explored here in detail, shows that the copies of produced in the proof of the Kadec-Pelczynski theorem inside nonreflexive subspaces of cannot be produced inside general nonreflexive spaces that contain copies of . Put differently, James's distortion theorem producing one-plus-epsilon-isomorphic copies of inside any isomorphic copy of is, in a certain sense, optimal. A similar renorming of shows that James's distortion theorem for is likewise optimal.

     

Invariance of spectrum for representations of -algebras on Banach spaces

Let be a Banach space, a unital -algebra, and an injective, unital homomorphism. Suppose that there exists a function such that, for all , and all ,

(a) ,

(b) ,

(c) .
Then for all , the spectrum of in equals the spectrum of as a bounded linear operator on . If satisfies an additional requirement and is a -algebra, then the Taylor spectrum of a commuting -tuple of elements of equals the Taylor spectrum of the -tuple in the algebra of bounded operators on . Special cases of these results are (i) if is a closed subspace of a unital -algebra which contains as a unital -subalgebra such that , and only if , then for each , the spectrum of in is the same as the spectrum of left multiplication by on ; (ii) if is a unital -algebra and is an essential closed left ideal in , then an element of is invertible if and only if left multiplication by on is bijective; and (iii) if is a -algebra, is a Hilbert -module, and is an adjointable module map on , then the spectrum of in the -algebra of adjointable operators on is the same as the spectrum of as a bounded operator on . If the algebra of adjointable operators on is a -algebra, then the Taylor spectrum of a commuting -tuple of adjointable operators on is the same relative to the algebra of adjointable operators and relative to the algebra of all bounded operators on .

     

Integration of the intertwining operator for -harmonic polynomials associated to reflection groups

Let be the intertwining operator with respect to the reflection invariant measure on the unit sphere in Dunkl's theory on spherical -harmonics associated with reflection groups. Although a closed form of is unknown in general, we prove that

where is the unit ball of and is a constant. The result is used to show that the expansion of a continuous function as Fourier series in -harmonics with respect to is uniformly Cesáro summable on the sphere if , provided that the intertwining operator is positive.

     

Existence of Bade functionals for complete Boolean algebras of projections in Fréchet spaces

A classical result of W. Bade states that if is any complete Boolean algebra of projections in an arbitrary Banach space then, for every there exists an element (called a Bade functional for with respect to in the dual space , with the following two properties: (i) is non-negative on and, (ii) whenever satisfies It is shown that a Fréchet space has this property if and only if it does not contain an isomorphic copy of the sequence space