[Paper Review] Lipschitz tensor product

M. G. Cabrera-Padilla, Javier Alejandro Chávez‐Domínguez+2 more|arXiv (Cornell University)|Aug 8, 2014

Advanced Banach Space Theory7 references3 citations

TL;DR

This paper introduces the Lipschitz tensor product $X\boxtimes E$ of a pointed metric space $X$ and a Banach space $E$ as a linear subspace of the algebraic dual of $\mathrm{Lip}_0(X,E^*)$, establishing its isomorphism with finite-rank continuous operators from $(X^\#, \tau_p)$ to $E$. The key contribution is the characterization of uniform dualizable Lipschitz cross-norms, showing that the Lipschitz injective norm $\varepsilon$ is the smallest and the projective norm $\pi$ is the largest such norm, with all dualizable norms satisfying $\varepsilon \leq \alpha \leq \pi$. This framework enables a duality theory for Lipschitz operators and characterizes Lipschitz compact, finite-rank, and approximable operators via the dual space $X^\# \boxast E^*$. The results extend classical tensor product theory to the nonlinear setting of Lipschitz maps.

ABSTRACT

Inspired by ideas of R. Schatten in his celebrated monograph on a theory of cross-spaces, we introduce the notion of a Lipschitz tensor product X\boxtimes E of a pointed metric space and a Banach space E as a certain linear subspace of the algebraic dual of Lipo(X,E^*). We prove that forms a dual pair. We prove that X\boxtimes E is linearly isomorphic to the linear space of all finite-rank continuous linear operators from (X^#,T) into E, where X^# denotes the space Lipo(X,K) and T is the topology of pointwise convergence of X^#. The concept of Lipschitz tensor product of elements of X^# and E^* yields the space X^#\boxast E^* as a certain linear subspace of the algebraic dual of X\boxtimes E. To ensure the good behavior of a norm on X\boxtimes E with respect to the Lipschitz tensor product of Lipschitz functionals (mappings) and bounded linear functionals (operators), the concept of dualizable (respectively, uniform) Lipschitz cross-norm on X\boxtimes E is defined. We show that the Lipschitz injective norm epsilon, the Lipschitz projective norm pi and the Lipschitz p-nuclear norm d_p (1<=p<=infty) are uniform dualizable Lipschitz cross-norms on X\boxtimes E. In fact, epsilon is the least dualizable Lipschitz cross-norm and pi is the greatest Lipschitz cross-norm on X\boxtimes E. Moreover, dualizable Lipschitz cross-norms alpha on X\boxtimes E are characterized by satisfying the relation epsilon<=alpha<=pi. In addition, the Lipschitz injective (projective) norm on X\boxtimes E can be identified with the injective (respectively, projective) tensor norm on the Banach-space tensor product between the Lipschitz-free space over X and E. In terms of the space X^#\boxast E^*, we describe the spaces of Lipschitz compact (finite-rank, approximable) operators from X to E^$.

Motivation & Objective

• To develop a duality theory for Lipschitz operators from a pointed metric space $X$ to a Banach space $E$ using tensor product techniques inspired by Schatten's cross-space theory.
• To define and study the Lipschitz tensor product $X\boxtimes E$ as a linear subspace of the algebraic dual of $\mathrm{Lip}_0(X,E^*)$, enabling a nonlinear analog of projective tensor product duality.
• To characterize the space of Lipschitz compact, finite-rank, and approximable operators from $X$ to $E^*$ using the dual space $X^\# \boxast E^*$.
• To define and analyze uniform dualizable Lipschitz cross-norms on $X\boxtimes E$, particularly identifying $\varepsilon$ as the minimal and $\pi$ as the maximal such norm.
• To establish isometric isomorphisms between the Lipschitz injective/projective norms on $X\boxtimes E$ and the classical injective/projective tensor norms on the Lipschitz-free space over $X$ and $E$.

Proposed method

• The Lipschitz tensor product $X\boxtimes E$ is defined as the linear span of evaluation functionals $\delta_x \boxtimes e$ on $\mathrm{Lip}_0(X,E^*)$, where $\delta_x \boxtimes e(f) = \langle f(x), e \rangle$, forming a subspace of the algebraic dual of $\mathrm{Lip}_0(X,E^*)$.
• It is shown that $X\boxtimes E$ is linearly isomorphic to the space of all finite-rank continuous linear operators from $(X^\#, \tau_p)$ to $E$, where $X^\# = \mathrm{Lip}_0(X,\mathbb{K})$ and $\tau_p$ is the topology of pointwise convergence.
• The Lipschitz tensor product of functionals $g \in X^\#$ and $\phi \in E^*$ is defined as $g \boxtimes \phi$ acting on $X\boxtimes E$ via $ (g \boxtimes \phi)(\sum \delta_{(x_i,y_i)} \boxtimes e_i) = \sum (g(x_i) - g(y_i)) \langle \phi, e_i \rangle $, generating the space $X^\# \boxast E^*$ as a subspace of the algebraic dual of $X\boxtimes E$.
• A Lipschitz cross-norm $\alpha$ on $X\boxtimes E$ is called dualizable if it satisfies $\varepsilon \leq \alpha \leq \pi$, and uniform if it is compatible with the duality between $X\boxtimes E$ and $X^\# \boxast E^*$.
• The paper proves that the Lipschitz injective norm $\varepsilon$, the projective norm $\pi$, and the $p$-nuclear norm $d_p$ are all uniform dualizable Lipschitz cross-norms on $X\boxtimes E$, with $\varepsilon$ being the smallest and $\pi$ the largest such norm.
• It establishes that $\varepsilon$ and $\pi$ on $X\boxtimes E$ correspond isometrically to the classical injective and projective tensor norms on the tensor product of the Lipschitz-free space over $X$ and $E$.

Experimental results

Research questions

• RQ1 How can a tensor product structure be defined for a pointed metric space $X$ and a Banach space $E$ to model duality in the context of Lipschitz operators?
• RQ2 What are the necessary and sufficient conditions for a Lipschitz cross-norm on $X\boxtimes E$ to be dualizable, and how do they relate to the classical injective and projective norms?
• RQ3 Can the space of Lipschitz compact, finite-rank, and approximable operators from $X$ to $E^*$ be characterized via the dual space $X^\# \boxast E^*$?
• RQ4 What is the relationship between the Lipschitz injective norm $\varepsilon$, the projective norm $\pi$, and the $p$-nuclear norm $d_p$ on $X\boxtimes E$, and how do they compare in the hierarchy of dualizable norms?
• RQ5 How do the classical tensor norms on the Lipschitz-free space over $X$ and $E$ relate to the Lipschitz tensor product $X\boxtimes E$?

Key findings

• The space $X\boxtimes E$ is linearly isomorphic to the space of all finite-rank continuous linear operators from $(X^\#, \tau_p)$ to $E$, establishing a duality framework for Lipschitz operators.
• The Lipschitz injective norm $\varepsilon$ is the smallest dualizable Lipschitz cross-norm on $X\boxtimes E$, and the projective norm $\pi$ is the largest, with all dualizable norms $\alpha$ satisfying $\varepsilon \leq \alpha \leq \pi$. This provides a complete order-theoretic characterization of dualizable norms.
• The Lipschitz injective and projective norms on $X\boxtimes E$ are isometrically isomorphic to the classical injective and projective tensor norms on the tensor product of the Lipschitz-free space over $X$ and $E$, linking nonlinear and linear tensor theory.
• The $p$-nuclear norm $d_p$ on $X\boxtimes E$ is a uniform dualizable Lipschitz cross-norm for all $1 \leq p \leq \infty$, showing that $p$-summing behavior extends to the Lipschitz setting.
• The space $X^\# \boxast E^*$, formed as the linear span of functionals $g \boxtimes \phi$, provides a dual representation that characterizes the space of Lipschitz compact, finite-rank, and approximable operators from $X$ to $E^*$.
• The duality between $X\boxtimes E$ and $X^\# \boxast E^*$ is preserved under uniform dualizable norms, and the equality $\varepsilon = \pi'$ and $\pi = \varepsilon'$ holds under the natural pairing, confirming the duality symmetry.