Second fundamental forms of holomorphic isometries of the Poincaré disk into bounded symmetric domains and their boundary behavior along the unit circle

Motivated by problems arising from Arithmetic Geometry, in an earlier article one of the authors studied germs of holomorphic isometries between bounded domains with respect to the Bergman metric. In the case of a germ of holomorphic isometry f: (Δ, λ ds _Δ²;0) → (Ω, ds _Ω²;0) of the Poincaré disk Δ into a bounded symmetric domain Ω ⋐ ℂ ^N in its Harish-Chandra realization and equipped with the Bergman metric, f extends to a proper holomorphic isometric embedding F: (Δ, λ ds _Δ²;) → (Ω, ds _Ω²) and Graph(f) extends to an affine-algebraic variety V ⊂ ℂ × ℂ ^N . Examples of F which are not totally geodesic have been constructed. They arise primarily from the p-th root map ρ _p : H → H ^p and a non-standard holomorphic embedding G from the upper half-plane to the Siegel upper half-plane H ₃ of genus 3. In the current article on the one hand we examine second fundamental forms σ of these known examples, by computing explicitly φ = |σ|². On the other hand we study on the theoretical side asymptotic properties of σ for arbitrary holomorphic isometries of the Poincaré disk into polydisks. For such mappings expressing via the inverse Cayley transform in terms of the Euclidean coordinate τ = s + it on the upper half-plane H, we have φ(τ) = t ² u(τ), where u| _t=0 ≢ 0. We show that u must satisfy the first order differential equation δu/δt| _t=0 ≡ 0 on the real axis outside a finite number of points at which u is singular. As a by-product of our method of proof we show that any non-standard holomorphic isometric embedding of the Poincaré disk into the polydisk must develop singularities along the boundary circle. The equation δu/δt| _t=0 ≡ 0 along the real axis for holomorphic isometries into polydisks distinguishes the latter maps from holomorphic isometries into Siegel upper half-planes arising from G. Towards the end of the article we formulate characterization problems for holomorphic isometries suggested both by the theoretical and the computational results of the article.     

Dynamics of non-expansive maps on strictly convex Banach spaces

This paper concerns the dynamics of non-expansive maps on strictly convex finite dimensional normed spaces. By using results of Edelstein and Lyubich, we show that if X = (ℝ ⁿ , ∥ · ∥) is strictly convex and X has no 1-complemented Euclidean plane, then every bounded orbit of a non-expansive map f: X → X, converges to a periodic orbit. By putting extra assumptions on the derivatives of the norm, we also show that the period of each periodic point of a non-expansive map f: X → X is the order, or, twice the order of a permutation on n letters. This last result generalizes a theorem of Sine, who proved it for ℓ _p ⁿ where 1 < p < ∞ and p ≠ 2. To obtain the results we analyze the ranges of non-expansive projections, the geometry of 1-complemented subspaces, and linear isometries on 1-complemented subspaces. B. Lemmens acknowledges the support by Marie Curie Intra European Fellowship (MEIF-CT-2005-515391) of the European Commission. O. van Gaans acknowlegdes the support by “Vidi subsidie” (639.032.510) of the Netherlands Organisation for Scientific Research (N.W.O.).     

A Note on Linear Extension of Into-Isometries Between Two Unit Spheres of Atomic AL^p-Space （0 〈 p 〈∞）

In this paper, we shall present a short and simple proof on the isometric linear extension problem of into-isometries between two unit spheres of atomic abstract L^p-spaces （0 〈 p 〈 ∞）.     

The group of isometries ofH p

Summary The Lie group structure of the group U^p of isometries of H^p,1⩽p<∞, p≠2, is studied. In particular, it is shown that U^p is an extension of the circle group by the group of all M?bius transformations of the disc. The cocycle of the extension is calculated. It is further shown that only the trivial subspaces of H^p are invariant under U^p. Entrata in Redazione il 19 ottobre 1977. The work of this author was supported by a National Science Foundation grant. The research of this author was done while he was a Visiting Professor at the University of Florence through a grant from the Consiglio Nazionale delle Ricerche (Italy).     

Dominated estimates of convex combinations of commuting isometries

The principal result of this paper is that the convex combination of two positive, invertible, commuting isometries ofL _p(X,F, μ) 1<p<+∞, one of which is periodic, admits a dominated estimate with constantp/p−1. In establishing this, the following analogue of Linderholm’s theorem is obtained: Let σ and ε be two commuting non-singular point transformations of a Lebesgue Space with τ periodic. Then given ε>O, there exists a periodic non-singular point transformation σ′ such that σ′ commutes with τ and μ(x:σ′x≠σx}<ε. Byan approximation argument, the principal result is applied to the convex combination of two isometries ofL _p (0, 1) induced by point transformations of the form τx=x ^k,k>0 to show that such convex combinations admit a dominated estimate with constantp/p−1. Research supported in part by NSF Grant No. GP-7475. A portion of the contents of this paper is based on the author’s doctoral dissertation written under the direction of Professor R. V. Chacon of the University of Minnesota.     

WeightedL p closure theorems for spaces of entire functions

For a fixed weight Δ(dx) onR ¹ and a linear space ℋ ⊆L ^p(Δ) of entire functions that is closed under difference quotientsh(·)→(z−·) ⁻¹[h(z)−h(·)], theL ^p(Δ) closure of ℋ is studied and characterized in terms of the normsL(z), (z∈C ¹ of the evaluation functionalsh→h(z),h∈ℋ. Partially supported by DA-ARO-31-124-71-6182 and NSF GP-43011.     

Some results on distance two labelling of outerplanar graphs

Let G be an outerplanar graph with maximum degree △. Let χ（G^2） and A（G） denote the chromatic number of the square and the L（2, 1）-labelling number of G, respectively. In this paper we prove the following results： （1） χ（G^2） = 7 if △= 6; （2） λ（G） ≤ △ ＋5 if △ ≥ 4, and ）,（G）≤ 7 if △ = 3; and （3） there is an outerplanar graph G with △ = 4 such that ）λ（G） = 7. These improve some known results on the distance two labelling of outerplanar graphs.     

Isometries of some Banach spaces of analytic functions

We characterize the surjective isometries of a class of analytic functions on the disk which include the Analytic Besov spaceB _p and the Dirichlet spaceD ^p . In the case ofB _p we are able to determine the form of all linear isometries on this space. The isometries for these spaces are finite rank perturbations of integral operators. This is in contrast with the classical results for the Hardy and Bergman spaces where the isometries are represented as weighted compositions induced by inner functions or automorphisms of the disk.     

On the Laplacian in the halfspace with a periodic boundary condition

We study spectral and scattering properties of the Laplacian H ^(σ)=-Δ in corresponding to the boundary condition with a periodic function σ. For non-negative σ we prove that H ^(σ) is unitarily equivalent to the Neumann Laplacian H ⁽⁰⁾. In general, there appear additional channels of scattering due to surface states. We prove absolute continuity of the spectrum of H ^(σ) under mild assumptions on σ.     

The fitting length of solvableH pn-groups

For a (finite) groupG and some prime powerp ⁿ, theH _p ⁿ -subgroupH _pn (G) is defined byH _p ⁿ (G)=〈xεG|x ^pn≠1〉. A groupH≠1 is called aH _p ⁿ -group, if there is a finite groupG such thatH is isomorphic toH _p ⁿ (G) andH _p ⁿ (G)≠G. It is known that the Fitting length of a solvableH _p ⁿ -group cannot be arbitrarily large: Hartley and Rae proved in 1973 that it is bounded by some quadratic function ofn. In the following paper, we show that it is even bounded by some linear function ofn. In view of known examples of solvableH _p ⁿ -groups having Fitting lengthn, this result is “almost” best possible.     

Isometries of JB-algebras

A bijective linear mapping between two JB-algebrasA andB is an isometry if and only if it commutes with the Jordan triple products ofA andB. Other algebraic characterizations of isometries between JB-algebras are given. Derivations on a JB-algebraA are those bounded linear operators onA with zero numerical range. For JB-algebras of selfadjoint operators we have: IfH andK are left Hilbert spaces of dimension ≥3 over the same fieldF (the real, complex, or quaternion numbers), then every surjective real linear isometryf fromS(H) ontoS(K) is of the formf(x)=UoxoU ⁻¹ forx inS(H), whereτ is a real-linear automorphism ofF andU is a real linear isometry fromH ontoK withU(λh)=τ(λ)U(h) for λ inF andh inH. Supported by Acción Integrada Hispano-Alemana HA 94 066 B     

Zero sets and multiplier theorems for star-invariant sub spaces

Given an inner function θ, let {Kskθ/p}:= H^p ∩θ {Hsk0/p} be the corresponding star-invariant subspace of the Hardy spaceH ^p. We show that, unless θ is a finite Blaschke product, the zero sets for K _θ ^p -spaces are different for different p’s. We also investigate the (non)stability of zero sets when passing from {Kskθ/p} to {Ksku/q}, whereq > p and u is an inner function divisible by θ. This problem is motivated by the Beurling-Malliavin multiplier theorem for entire functions, and we solve it (at least in a natural special case) by proving an appropriate multiplier theorem for K _θ ^p .     

Caratheodory inequality for analytic operator function

Abstract. Suppose H is a complex Hilbert space, AH (△) denotes the set of all analytic operator functions on     

Kolmogorov and linear widths of classes of <Emphasis Type="Italic">s</Emphasis>-monotone integrable functions

Let s ∈ ℕ and let Δ ₊ ^s be the set of functions x: I ↦ ℝ on a finite interval I such that the divided differences [x; t ₀, ..., t _s ] of order s of these functions are nonnegative for all collections of s + 1 different points t ₀, ..., t _s ∈ I. For the classes Δ ₊ ^s B _p : = Δ ₊ ^s ∩ B _p , where B _p is the unit ball in L _p , we determine the orders of Kolmogorov and linear widths in the spaces _Lq for 1 ≤ q > p ≤ ∞. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 57, No. 12, pp. 1633–1652, December, 2005.     

On the first Hochschild cohomology group of an algebra

Let A≡KΔ /I be a factor of a path algebra. We develop a strategy to compute dim H ¹(A), the dimension of the first Hochschild cohomology group of A, using combinatorial data from (Δ,I). That allows us to connect dim H ¹(A) with the rank and p-rank of the fundamental group π₁(Δ,I) of (Δ,I). We get explicit formulae for dim H ¹(A), when every path in Δ parallel to an arrow belongs to I or when I is homogeneous. Received: 12 April 1999 / Revised version: 9 October 2000     

Differential sobordination and Bazilevič functions

LetM(z)=z ⁿ +…,N(z)=z ⁿ +… be analytic in the unit disc Δ and let λ(z)=N(z)/zN′(z). The classical result of Sakaguchi-Libera shows that Re(M′(z)/N′(z))<0 implies Re(M(z)/N(z))>0 in Δ whenever Re(λ(z))>0 in Δ. This can be expressed in terms of differential subordination as follows: for anyp analytic in Δ, withp(0)=1,p(z)+λ(z)zp′(z)<1+z/1−z impliesp(z)<1+z/1−z, for Reλ(z)>0,z∈Δ. In this paper we determine different type of general conditions on λ(z),h(z) and ϕ(z) for which one hasp(z)+λ(z)zp′(z)<h(z) impliesp(z)<ϕ(z)<h(z) z∈Δ. Then we apply the above implication to obtain new theorems for some classes of normalized analytic funotions. In particular we give a sufficient condition for an analytic function to be starlike in Δ.     

Isometries between function algebras with finite codimensional range

Let A be a function algebra on a compact space X. A linear isometry T of A into A is said to be codimension n or finite codimensional if the range of T has codimension n in A. In this paper we prove that such isometries can be represented as weighted composition mappings on a cofinite subset, (∂A)₀, of the Shilov boundary for A, ∂A. We focus on those finite codimensional isometries for which (∂A)₀=∂A. All the above results, applied to the particular case of codimension 1 linear isometries on C(X), are used to improve the classification provided by Gutek et al. in J. Funct. Anal. 101, 97–119 (1991). Received: 3 June 1998 / Revised version: 22 March 1999     

Approximation in weighted Hardy spaces

This paper is concerned with several approximation problems in the weighted Hardy spacesH ^p(Ω) of analytic functions in the open unit disc D of the complex plane ℂ. We prove that ifX is a relatively closed subset of D, the class of uniform limits onX of functions inH ^p(Ω) coincides, moduloH ^p(Ω), with the space of uniformly continuous functions on a certain hull ofX which are holomorphic on its interior. We also solve the simultaneous approximation problems of describing Farrell and Mergelyan sets forH ^p(Ω), giving geometric characterizations for them. By replacing approximating polynomials by polynomial multipliers of outer functions, our results lead to characterizations of the same sets with respect to cyclic vectors in the classical Hardy spacesH ^p(D), 1 ⪯p < ∞. Dedicated to Professor Nácere Hayek on the occasion of his 75th birthday.