$\newcommand{\projtenprod}[2]{#1 \; \hat\otimes_\pi #2}$ $\DeclareMathOperator\Lip{Lip}\DeclareMathOperator\AE{AE}$ $\newcommand{\norm}[1]{\| #1\|}$ $\newcommand{\abs}[1]{| #1|}$

**Background**

* Projective tensor product.* Let $X$ and $Y$ be Banach spaces. Let
$$
X \otimes Y := \bigcup_{n\in\mathbb N} \bigcup_{\substack{x_i \in X \\y_i \in Y}}\sum_{i=1}^n {x_i \otimes y_i}
$$
denote their algebraic tensor product. The projective tensor product $\projtenprod{X}{Y}$ is the completion of the algebraic tensor product with respect to the projective norm
$$
\pi(u) := \inf \left\{\sum_{i=1}^n \norm{x_i} \, \norm{y_i} \colon u = \sum_{i=1}^n {x_i \otimes y_i} \right\},
$$
where the infimum is taken over all representations of the tensor $u = \sum_{i=1}^n {x_i \otimes y_i}$.

The projective tensor product is given by (Ryan, "Introduction to Tensor Products of Banach spaces", Prop. 2.8) $$ \projtenprod{X}{Y} = \bigcup_{\substack{x_i \in X \\y_i \in Y}}\sum_{i=1}^\infty {x_i \otimes y_i}, $$ and $$ \pi(u) = \inf \left\{\sum_{i=1}^\infty \norm{x_i} \, \norm{y_i} \colon u = \sum_{i=1}^\infty {x_i \otimes y_i} \right\}, $$ where the infimum is taken over all representations of the tensor $u = \sum_{i=1}^\infty {x_i \otimes y_i}$.

If $X$ itself is a dual space with a predual $X^\diamond$, and either $X$ or $Y$ has the approximation property, then the projective tensor product $\projtenprod{X}{Y}$ can be identified with the space of nuclear operators $\mathcal N(X^\diamond,Y)$.

* Space of Lipschitz functions.* Let $D \subset \mathbb R^n$ be compact and $e \in D$. Denote by $\Lip_0(D)$ the space of all Lipschitz functions on $D$ (with respect to the Euclidean metric $d(p,q) := \norm{p-q}$, $p,q \in D$) vanishing at $e$, equipped with the following norm
$$
\|f\|_{\Lip_0} := \sup_{\substack{p,q \in D \\ p \neq q}} \frac{\abs{f(p)-f(q)}}{d(p,q)}.
$$

For $0<\alpha<1$, denote by $D^\alpha$ the metric space $(D,d^\alpha)$, where $d^\alpha(p,q) := \norm{p-q}^\alpha$. By $\Lip_0(D^\alpha)$ we will denote the space of Lipschitz functions with respect to the metric $d^\alpha$.

The space $\Lip_0(D)$ (resp. $\Lip_0(D^\alpha)$) has a unique predual, called the Arens-Eells space $\AE(D)$ (resp. $\AE(D^\alpha)$), also known as the Lipschitz-free space. It is known (Nik Weaver, "Lipschitz Algebras", 2nd ed., Thm. 8.49) that $\AE(D^\alpha)$ is linearly homeomorphic to $\ell^1$, and $\Lip_0(D^\alpha)$ to $\ell^\infty$ if $0<\alpha<1$. In this case, $\Lip_0(D^\alpha)$ also has a second predual $\mathrm{lip}_0(D^\alpha)$ (so-called little Lipschitz functions), which is linearly homeomorphic to $c_0$.

$\ $

**Question**

Is there a concrete description of the projective tensor product $\projtenprod{\Lip_0(D)}{\Lip_0(D)}$ or $\projtenprod{\Lip_0(D^\alpha)}{\Lip_0(D^\alpha)}$ in terms of Lipschitz functions on $D \times D$?

**Thoughts**

There is a canonical identification of $\Lip_0(D \times D)$ with the space of vector-valued Lipschitz functions $\Lip_0(D,\Lip_0(D))$, which in its turn can be identified with the space of bounded linear operators $\mathcal L(\AE(D),\Lip_0(\Omega))$. With the inclusion $\mathcal N(\AE(D),\Lip_0(\Omega)) \subset \mathcal L(\AE(D),\Lip_0(\Omega))$, we have
$$
\Lip_0(D \times D) = \Lip_0(D,\Lip(D)) = \mathcal L(\AE(D),\Lip_0(\Omega)) \\\supset \mathcal N(\AE(D),\Lip_0(D)) = \projtenprod{\Lip_0(D)}{\Lip(D)}.
$$
If $g \in \Lip_0(D \times D)$ is a Lipschitz function, is there an intuitive condition on $g$ so that $g \in \projtenprod{\Lip_0(D)}{\Lip_0(D)}$ holds?

$\ $

Any help will be much appreciated.

12more comments