Table of Contents
Fetching ...

Holomorphic mappings and their fixed points on Spin Factors

Michael Mackey, Pauline Mellon

Abstract

In this paper we study holomorphic properties of infinite dimensional spin factors. Among the infinite dimensional Banach spaces with homogeneous open unit balls, we show that the spin factors are natural outlier spaces in which to ask the question (as was proved in the early 1970s for Hilbert spaces): Do biholomorphic automorphisms $g$ of the open unit ball $B$ have fixed points in $\overline B$? In this paper, for infinite dimensional spin factors, we provide reasonable conditions on $g$ that allow us to explicitly construct fixed points of $g$ lying on $\partial B$. En route, we also prove that every spin factor has the density property. In another direction, we focus on (compact) holomorphic maps $f:B\rightarrow B$, having no fixed point in $B$ and examine the sequence of iterates $(f^n)$. As $(f^n)$ does not generally converge, we instead trace the target set $T(f)$ of $f$, that is, the images of all accumulation points of $(f^n)_n$, for any topology finer than the topology of pointwise convergence on B. We prove for a spin factor that $T(f)$ lies on the boundary of a single bidisc unique to $f$.

Holomorphic mappings and their fixed points on Spin Factors

Abstract

In this paper we study holomorphic properties of infinite dimensional spin factors. Among the infinite dimensional Banach spaces with homogeneous open unit balls, we show that the spin factors are natural outlier spaces in which to ask the question (as was proved in the early 1970s for Hilbert spaces): Do biholomorphic automorphisms of the open unit ball have fixed points in ? In this paper, for infinite dimensional spin factors, we provide reasonable conditions on that allow us to explicitly construct fixed points of lying on . En route, we also prove that every spin factor has the density property. In another direction, we focus on (compact) holomorphic maps , having no fixed point in and examine the sequence of iterates . As does not generally converge, we instead trace the target set of , that is, the images of all accumulation points of , for any topology finer than the topology of pointwise convergence on B. We prove for a spin factor that lies on the boundary of a single bidisc unique to .

Paper Structure

This paper contains 10 sections, 15 theorems, 62 equations.

Key Result

Lemma 3.1

Let $e$ and $f$ be minimal tripotents in a spin factor. Then $e$ and $f$ are triple orthogonal if, and only if,

Theorems & Definitions (22)

  • Definition 2.1
  • Lemma 3.1
  • Remark 3.2
  • Lemma 3.3
  • Lemma 3.4
  • Corollary 3.5
  • Lemma 3.6
  • Proposition 3.7
  • Corollary 3.8
  • Example 3.9
  • ...and 12 more