Composition Banach Holomorphic Lipschitz Ideal

• The composition Banach holomorphic Lipschitz ideal is a framework unifying analytic and geometric properties of holomorphic Lipschitz maps in Banach spaces.
• It employs operator ideals to control Lipschitz images and guarantees factorization through Lipschitz-free spaces with robust norm estimates.
• This ideal-theoretic approach facilitates duality characterizations and stability under composition, advancing non-linear operator theory.

A composition Banach holomorphic Lipschitz ideal synthesizes operator ideal, holomorphic mapping, and Lipschitz structure in Banach spaces. Considering unit balls $B_X$ of Banach spaces $X$ and Banach targets $Y$, these ideals comprise classes of holomorphic Lipschitz maps $f\colon B_X\to Y$ such that $f(0)=0$ and the Lipschitz image $\mathrm{Im}_L(f)$ is controlled by an operator ideal $A$. The structure unifies analytic and geometric properties through linearization on Lipschitz-free spaces, providing an ideal-theoretic framework for non-linear operator theory and factorization.

1. Holomorphic–Lipschitz Spaces and Norms

Let $X$ and $Y$ be complex Banach spaces, and $B_X = \{x \in X : \lVert x \rVert < 1\}$ the open unit ball. The holomorphic–Lipschitz space is

$$\mathrm{H}(B_X, Y) = \mathrm{Lip}(B_X, Y) \cap \mathrm{H}^\infty(B_X, Y),$$

where

$$\mathrm{Lip}(B_X,Y) = \left\{f : B_X \to Y \mid f(0)=0,\; L(f)<\infty \right\}$$

with Lipschitz norm

$$L(f) = \sup_{x \neq y \in B_X} \frac{\lVert f(x)-f(y)\rVert}{\lVert x-y \rVert}.$$

$\mathrm{H}^\infty(B_X,Y)$ denotes bounded holomorphic maps with $f(0)=0$. Under $L(f)$, $\mathrm{H}(B_X, Y)$ is a Banach space (Jiménez-Vargas et al., 22 Nov 2025).

2. Operator Ideals, A-Compactness and Measures

A Banach operator ideal $A$ equips linear operators between Banach spaces with structural properties, such as compactness, $p$-nuclearity, or weak compactness. Given $K \subset Y$ bounded, $K$ is relatively $A$-compact if there exist a Banach space $Z$, $T \in A(Z,Y)$, and $M \subset Z$ relatively compact, with $K \subset T(M)$. The family of all relatively $A$-compact subsets is denoted $\mathbb{K}_A(Y)$. The $A$-measure of $K$ is

$$m_A(K) = \inf\{\lVert T \rVert_A : K \subset T(M), \; M \subset Z \; \text{relatively compact}\}.$$

This formalism generalizes classical compactness and notions such as $p$-compactness (Jiménez-Vargas et al., 22 Nov 2025).

3. Composition–Ideal Construction and Factorization

The composition Banach holomorphic Lipschitz ideal is constructed via two equivalent approaches: via image compactness and through operator ideal composition. Define

$$H^{K_A}(B_X, Y) = \left\{ f \in H(B_X, Y) : \mathrm{Im}_L(f) \in \mathbb{K}_A(Y) \right\},$$

with the $A$-compact norm $\lVert f \rVert_{H^{K_A}} = m_A(\mathrm{Im}_L(f))$.

Alternatively, the composition ideal

$$A \circ H(B_X, Y) = \left\{ f \in H(B_X, Y) : \exists Z,\, h \in H(B_X, Z),\, S \in A(Z, Y)\text{ with }f=S\circ h \right\},$$

inherits the norm $$\lVert f \rVert_{A\circ H} = \inf\{\lVert S \rVert_A L(h): f=S\circ h\}$$. Both approaches yield a Banach holomorphic Lipschitz ideal, satisfying linearity, rank-one inclusion, and stability under pre-/post-composition with bounded linear maps (Jiménez-Vargas et al., 22 Nov 2025, Saadi, 2015).

4. Linearization via Lipschitz-Free Spaces

Aron–Dimant–García–Maestre establish G(B_X), the Lipschitz-free (Arens–Eells) space over $B_X$, supporting a universal holomorphic Lipschitz map

$\delta_X \colon B_X \to G(B_X),\, L(\delta_X) = 1,$

so every $f \in H(B_X,Y)$ linearizes uniquely as $f = T_f \circ \delta_X$ with $T_f \in \mathcal{L}(G(B_X), Y)$, $L(f) = \lVert T_f \rVert$. The correspondence $f \mapsto T_f$ is an isometric isomorphism $H(B_X,Y) \cong \mathcal{L}(G(B_X),Y)$. This bridges non-linear mapping ideals with classical operator ideals; composition ideals are characterized by $T_f \in A(G(B_X), Y)$, and the $A$-compact ideal by $T_f \in K_A(G(B_X), Y)$ (Jiménez-Vargas et al., 22 Nov 2025), mirroring the linearization framework for general Lipschitz mapping composition–ideals (Saadi, 2015).

5. Transposition, Duality, and Ideal Properties

Every holomorphic Lipschitz map $f$ admits a transpose $f^t : Y^* \to H(B_X)$ via $f^t(y^*) = y^* \circ f$. There is an isometric identification $H(B_X) \cong G(B_X)^*$, so $f^t = \Lambda_X^{-1} \circ (T_f)^*$. Duality yields further ideal descriptions: $$[H^{K_A},\lVert \cdot \rVert] = [(K_A)^\mathrm{dual} \circ H, \lVert \cdot \rVert] = [(K_A^\mathrm{dual})^{H-\mathrm{dual}}, \lVert \cdot \rVert].$$ These connections recover dual ideal characterizations in the sense of Pietsch, with norm and structure determined by the behaviour of the transposed operator and dual operator ideals (Jiménez-Vargas et al., 22 Nov 2025).

6. Examples and Classification of Ideals

Specific operator ideals generate corresponding composition holomorphic Lipschitz ideals:

• If $A=K$ (compact), then $H^K(B_X,Y)$ consists of those $f$ whose Lipschitz image is relatively compact, equivalently $T_f$ is compact or $f^t$ is compact $Y^* \to H(B_X)$.
• For $A=N_p$ ($p$-nuclear/r-$p$-nuclear), $H^{K_p}(B_X,Y)$ is the $p$-compact holomorphic Lipschitz class, with norm equivalence $$\lVert f \rVert_{H^{K_p}} = \lVert T_f \rVert_{K_p} = \lVert (T_f)^* \rVert_{QN_p} = \lVert f^t \rVert_{QN_p}$$.
• Other ideals (weakly compact, Rosenthal, Banach–Saks, Asplund, finite-rank, approximable) yield corresponding holomorphic Lipschitz composition ideals $H^{C_A}$ (Jiménez-Vargas et al., 22 Nov 2025, Saadi, 2015).

Saadi shows the general composition ideal construction for Lipschitz maps via operator ideals: $$I \circ \mathrm{Lip}_0(X; E) \cong I(\mathcal{F}(X), E),$$ with $\mathrm{Lip}_0(X; E)$ the space of Lipschitz maps $T: X\to E$ vanishing at $0$ and $\mathcal{F}(X)$ the Lipschitz-free space over $X$; special cases include compact, weakly compact, $p$-summing, $p$-nuclear, and related ideals (Saadi, 2015).

7. Ideal Structure, Stability, and Normed Properties

Banach holomorphic Lipschitz composition ideals are closed under pre-/post-composition with bounded linear operators. For $f\in H^{K_A}(B_X,Y)$, stability is realized via

$$\lVert L \circ f \circ M \rVert_{H^{K_A}} \leq \lVert L \rVert \cdot \lVert f \rVert_{H^{K_A}} \cdot L(M).$$

Completeness of the ideal norm $||\cdot||_{A\circ H}$ or $||\cdot||_{H^{K_A}}$ is inherited from the completeness of the operator ideal $A$, mediated by the isometric linearization $f\mapsto T_f$. The final factorization yields the commutative diagram

$$B_X \xrightarrow{\delta_X} G(B_X) \xrightarrow{u} Y,\quad u\in K_A(G(B_X),Y),$$

so $f=u\circ\delta_X$, and $\lVert f \rVert_{H^{K_A}} = \lVert u \rVert_{K_A}$ (Jiménez-Vargas et al., 22 Nov 2025).

This structure provides a unifying approach for analyzing holomorphic Lipschitz mappings under ideal-theoretic constraints, connecting non-linear analysis, operator ideals, tensor norms, and factorization theory.