Free holomorphic functions and interpolation

In this paper we obtain a noncommutative multivariable analogue of the classical Nevanlinna–Pick interpolation problem for analytic functions with positive real parts on the open unit disc. Given a function , where is an arbitrary subset of the open unit ball , we find necessary and sufficient conditions for the existence of a free holomorphic function g with complex coefficients on the noncommutative open unit ball such that

Cyclicity of bicyclic operators and completeness of translates

We study cyclicity of operators on a separable Banach space which admit a bicyclic vector such that the norms of its images under the iterates of the operator satisfy certain growth conditions. A simple consequence of our main result is that a bicyclic unitary operator on a Banach space with separable dual is cyclic. Our results also imply that if is the shift operator acting on the weighted space of sequences , if the weight ω satisfies some regularity conditions and ω(n) = 1 for nonnegative n, then S is cyclic if . On the other hand one can see that S is not cyclic if the series diverges. We show that the question of Herrero whether either S or S* is cyclic on admits a positive answer when the series is convergent. We also prove completeness results for translates in certain Banach spaces of functions on .     

Semicrossed products of simple C*-algebras

Let and be C*-dynamical systems and assume that is a separable simple C*-algebra and that α and β are *-automorphisms. Then the semicrossed products and are isometrically isomorphic if and only if the dynamical systems and are outer conjugate. K. R. Davidson was partially supported by an NSERC grant. E. G. Katsoulis was partially supported by a summer grant from ECU     

On the spectrum of lamplighter groups and percolation clusters

Let be a finitely generated group and X its Cayley graph with respect to a finite, symmetric generating set S. Furthermore, let be a finite group and the lamplighter group (wreath product) over with group of “lamps” . We show that the spectral measure (Plancherel measure) of any symmetric “switch–walk–switch” random walk on coincides with the expected spectral measure (integrated density of states) of the random walk with absorbing boundary on the cluster of the group identity for Bernoulli site percolation on X with parameter . The return probabilities of the lamplighter random walk coincide with the expected (annealed) return probabilities on the percolation cluster. In particular, if the clusters of percolation with parameter are almost surely finite then the spectrum of the lamplighter group is pure point. This generalizes results of Grigorchuk and Żuk, resp. Dicks and Schick regarding the case when is infinite cyclic. Analogous results relate bond percolation with another lamplighter random walk. In general, the integrated density of states of site (or bond) percolation with arbitrary parameter is always related with the Plancherel measure of a convolution operator by a signed measure on , where or another suitable group. M. Neuhauser’s research supported by the Marie-Curie Excellence Grant MEXT-CT-2004-517154. The research of W. Woess was partially supported by Austrian Science Fund (FWF) P18703-N18.     

The Extremal Truncated Moment Problem

For a degree 2n real d-dimensional multisequence to have a representing measure μ, it is necessary for the associated moment matrix to be positive semidefinite and for the algebraic variety associated to β, , to satisfy rank card as well as the following consistency condition: if a polynomial vanishes on , then . We prove that for the extremal case , positivity of and consistency are sufficient for the existence of a (unique, rank -atomic) representing measure. We also show that in the preceding result, consistency cannot always be replaced by recursiveness of . The first-named author’s research was partially supported by NSF Research Grants DMS-0099357 and DMS-0400741. The second-named author’s research was partially supported by NSF Research Grant DMS-0201430 and DMS-0457138.     

Fibred multilinks and singularities $${f \overline g}$$

In this article we extend Milnor’s fibration theorem to the case of functions of the form with f, g holomorphic, defined on a complex analytic (possibly singular) germ (X, 0). We further refine this fibration theorem by looking not only at the link of , but also at its multi-link structure, which is more subtle. We mostly focus on the case when X has complex dimension two. Our main result (Theorem 4.4) gives in this case the equivalence of the following three statements:

Rigidity and holomorphic Segre transversality for holomorphic Segre maps

Let and denote the complexifications of Heisenberg hypersurfaces in and , respectively. We show that non-degenerate holomorphic Segre mappings from into with possess a partial rigidity property. As an application, we prove that the holomorphic Segre non-transversality for a holomorphic Segre map from into with propagates along Segre varieties. We also give an example showing that this propagation property of holomorphic Segre transversality fails when N > 2n − 2.     

Density of extremal measures in parabolic potential theory

It is shown that, for the heat equation on , d ≥ 1, any convex combination of harmonic (= caloric) measures , where U ₁, . . . , U _k are relatively compact open neighborhoods of a given point x, can be approximated by a sequence of harmonic measures such that each W _n is an open neighborhood of x in . Moreover, it is proven that, for every open set U in containing x, the extremal representing measures for x with respect to the convex cone of potentials on U (these measures are obtained by balayage, with respect to U, of the Dirac measure at x on Borel subsets of U) are dense in the compact convex set of all representing measures. Since essential ingredients for a proof of corresponding results in the classical case (or more general elliptic situations; see Hansen and Netuka in Adv. Math. 218(4):1181–1223, 2008) are not available for the heat equation, an approach heavily relying on the transit character of the hyperplanes , , is developed. In fact, the new method is suitable to obtain convexity results for limits of harmonic measures and the density of extremal representing measures on for practically every space–time structure which is given by a sub-Markov semigroup (P _t ) _t>0 on a space X′ such that there are strictly positive continuous densities with respect to a (non-atomic) measure on X′. In particular, this includes many diffusions and corresponding symmetric processes given by heat kernels on manifolds and fractals. Moreover, the results may be applied to restrictions of the space–time structure on arbitrary open subsets. I. Netuka’s research was supported in part by the project MSM 0021620839 financed by MSMT, by the grant 201/07/0388 of the Grant Agency of the Czech Republic, and by CRC-701, Bielefeld.     

The Stokes operator in weighted Lq-spaces II: weighted resolvent estimates and maximal Lp-regularity

In this paper we establish a general weighted L ^q -theory of the Stokes operator in the whole space, the half space and a bounded domain for general Muckenhoupt weights . We show weighted L ^q -estimates for the Stokes resolvent system in bounded domains for general Muckenhoupt weights. These weighted resolvent estimates imply not only that the Stokes operator generates a bounded analytic semigroup but even yield the maximal L ^p -regularity of in the respective weighted L ^q -spaces for arbitrary Muckenhoupt weights . This conclusion is archived by combining a recent characterisation of maximal L ^p -regularity by -bounded families due to Weis [Operator-valued Fourier multiplier theorems and maximal L _p -regularity. Preprint (1999)] with the fact that for L ^q -spaces -boundedness is implied by weighted estimates.     

A note on simultaneous Diophantine approximation on planar curves

Let denote the set of simultaneously - approximable points in and denote the set of multiplicatively ψ-approximable points in . Let be a manifold in . The aim is to develop a metric theory for the sets and analogous to the classical theory in which is simply . In this note, we mainly restrict our attention to the case that is a planar curve . A complete Hausdorff dimension theory is established for the sets and . A divergent Khintchine type result is obtained for ; i.e. if a certain sum diverges then the one-dimensional Lebesgue measure on of is full. Furthermore, in the case that is a rational quadric the convergent Khintchine type result is obtained for both types of approximation. Our results for naturally generalize the dimension and Lebesgue measure statements of Beresnevich et al. (Mem AMS, 179 (846), 1–91 (2006)). Moreover, within the multiplicative framework, our results for constitute the first of their type. The research of Victor V. Beresnevich was supported by an EPSRC Grant R90727/01. Sanju L. Velani is a Royal Society University Research Fellow. For Iona and Ayesha on No. 3.     

A spectral characterization of the uniform continuity of strongly continuous groups

Let X be a Banach space and a strongly continuous group of linear operators on X. Set and where is the unit circle and denotes the spectrum of T(t). The main result of this paper is: is uniformly continuous if and only if is non-meager. Similar characterizations in terms of the approximate point spectrum and essential spectra are also derived. Received: 14 June 2006, Revised: 27 September 2007     

Upper Triangular Operator Matrices, SVEP and Browder, Weyl Theorems

A Banach space operator T ∈ B(χ) is polaroid if points λ ∈ iso σ(T) are poles of the resolvent of T. Let denote, respectively, the approximate point, the Weyl, the Weyl essential approximate, the upper semi–Fredholm and lower semi–Fredholm spectrum of T. For A, B and C ∈ B(χ), let M _C denote the operator matrix . If A is polaroid on , M ₀ satisfies Weyl’s theorem, and A and B satisfy either of the hypotheses (i) A has SVEP at points and B has SVEP at points , or, (ii) both A and A* have SVEP at points , or, (iii) A^* has SVEP at points and B ^* has SVEP at points , then . Here the hypothesis that λ ∈ π₀(M _C ) are poles of the resolvent of A can not be replaced by the hypothesis are poles of the resolvent of A. For an operator , let . We prove that if A* and B* have SVEP, A is polaroid on π ^a ₀(M _C) and B is polaroid on π ^a ₀(B), then .      

C*-Algebras of Singular Integral Operators with Shifts Having the Same Nonempty Set of Fixed Points

The C*-subalgebra of generated by all multiplication operators by slowly oscillating and piecewise continuous functions, by the Cauchy singular integral operator and by the range of a unitary representation of an amenable group of diffeomorphisms with any nonempty set of common fixed points is studied. A symbol calculus for the C*-algebra and a Fredholm criterion for its elements are obtained. For the C*-algebra composed by all functional operators in , an invertibility criterion for its elements is also established. Both the C*-algebras and are investigated by using a generalization of the local-trajectory method for C*-algebras associated with C*-dynamical systems which is based on the notion of spectral measure. Submitted: April 30, 2007. Accepted: November 5, 2007.     

An Extension of the Admissibility-Type Conditions for the Exponential Dichotomy of C 0-Semigroups

In the present paper we obtain a sufficient condition for the exponential dichotomy of a strongly continuous, one-parameter semigroup , in terms of the admissibility of the pair . It is already known the equivalence between the -admissibility condition and and the hyperbolicity of a C ₀-semigroup , when we assume a priori that the kernel of the dichotomic projector (denoted here by X ₂) is T(t)-invariant and is an invertible operator. We succeed to prove in this paper that the admissibility of the pair still implies the existence of an exponential dichotomy for a C ₀-semigroup even in the general case where the kernel of the dichotomic projector, X ₂, is not assumed to be T(t)-invariant.      

Beurling-type Representation of Invariant Subspaces in Reproducing Kernel Hilbert Spaces

By Beurling’s theorem, the orthogonal projection onto an invariant subspace M of the Hardy space on the unit disk can be represented as where Φ is an inner multiplier of . This concept can be carried over to arbitrary Nevanlinna-Pick spaces but fails in more general settings. This paper introduces the notion of Beurling decomposable subspaces. An invariant subspace M of a reproducing kernel Hilbert space will be called Beurling decomposable if there exist (operator-valued) multipliers such that and . We characterize the finite-codimensional and the finite-rank Beurling decomposable subspaces by means of their core function and core operator. As an application, we show that in many analytic Hilbert modules , every finite-codimensional submodule M can be written as with suitable polynomials p _i .      

A Marstrand theorem for measures with polytope density

Given and any centrally symmetric convex polytope , define we prove that if a Radon measure μ has the property then s is an integer. For the case Θ is the Euclidean ball, this result was first proved by Marstrand in 1955 for Hausdorff measure in the plane (Marstrand in Proc Lond Math Soc 3(4):257–302, 1954) and later for general Radon measures in (Marstrand in Trans Am Math Soc 205:369–392, 1964).     

Partitions of large Rado graphs

Let κ be a cardinal which is measurable after generically adding many Cohen subsets to κ and let be the κ-Rado graph. We prove, for 2 ≤ m < ω, that there is a finite value such that the set [κ] ^m can be partitioned into classes such that for any coloring of any of the classes C _i in fewer than κ colors, there is a copy of in such that is monochromatic. It follows that , that is, for any coloring of with fewer than κ colors there is a copy of such that has at most colors. On the other hand, we show that there are colorings of such that if is any copy of then for all , and hence . We characterize as the cardinality of a certain finite set of types and obtain an upper and a lower bound on its value. In particular, and for m > 2 we have where r _m is the corresponding number of types for the countable Rado graph. Research of M. Džamonja and J. A. Larson were partially supported by Engineering and Physical Sciences Research Council and research of W. J. Mitchell was partly supported by grant number DMS 0400954 from the United States National Science Foundation.     

Perturbation theorems for holomorphic semigroups

The concept of the gap function is used to give new perturbation results for generators of holomorphic semigroups. In particular, we show that if A is the generator of a holomorphic semigroup on a Banach space and , then every closed linear operator C such that for some and

$${\mathcal{C}}_{0}$$ ( X)-algebras,stability and strongly self-absorbing $${\mathcal{C}}^{*}$$ -algebras

We study permanence properties of the classes of stable and so-called -stable -algebras, respectively. More precisely, we show that a (X)-algebra A is stable if all its fibres are, provided that the underlying compact metrizable space X has finite covering dimension or that the Cuntz semigroup of A is almost unperforated (a condition which is automatically satisfied for -algebras absorbing the Jiang–Su algebra tensorially). Furthermore, we prove that if is a K ₁-injective strongly self-absorbing -algebra, then A absorbs tensorially if and only if all its fibres do, again provided that X is finite-dimensional. This latter statement generalizes results of Blanchard and Kirchberg. We also show that the condition on the dimension of X cannot be dropped. Along the way, we obtain a useful characterization of when a -algebra with weakly unperforated Cuntz semigroup is stable, which allows us to show that stability passes to extensions of -absorbing -algebras. Research supported by: Deutsche Forschungsgemeinschaft (through the SFB 478), by the EU-Network Quantum Spaces - Noncommutative Geometry (Contract No. HPRN-CT-2002-00280), and by the Center for Advanced Studies in Mathematics at Ben-Gurion University     

A note on <Emphasis Type="Italic">q</Emphasis>-multiplicative functions

We prove the following statement. Let , and let . Suppose that, for all and , the sequence satisfies the relation