Integral Projective Tensor Product

• Integral projective tensor product is a Banach space concept that enriches the classical projective tensor product with integral representations and measure-theoretic techniques.
• The approach integrates bilinear forms, integral operators, and Bochner integrals to streamline norm attainment and duality analysis in tensor products.
• It finds application in operator algebras, C*-algebras, and protoquantum spaces, influencing convex geometry, asymptotic structure, and ideal theory.

The integral projective tensor product is not presented in the surveyed literature as a single universally fixed tensor norm. The stable background object is the completed projective tensor product $X\widehat{\otimes}_{\pi}Y$ of Banach spaces, defined by

$$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$

while “integral” enters through several closely related mechanisms: integral bilinear forms and integral operators, Bochner-integral representations of projective norm-attaining tensors, and duality with injective-type constructions (Aliaga et al., 27 Feb 2026, Kumar et al., 2013).

1. Terminology and scope

In Banach-space theory, the phrase belongs to the orbit of projective tensor products, integral operators, and measure-theoretic representations. It does not refer to the algebro-geometric usage of “tensor product surface” in which a surface is parametrized from $\mathbb P^1\times \mathbb P^1$ by bihomogeneous forms; that terminology is explicitly unrelated to the integral/projective tensor product of Banach space theory (Duarte et al., 2019).

Within the $C^*$-algebraic and operator-space literature surveyed here, an important terminological point is that several papers study the Banach-space projective tensor product $A\otimes_\gamma B$ or the operator-space projective tensor product $A\widehat{\otimes}B$, but do not introduce a separate tensor norm called the integral tensor product. Instead, “integral” appears through integral bilinear forms and integral operators, which are used to describe canonical dual embeddings and comparison maps (Kumar et al., 2013, Gupta et al., 2018).

A second terminological distinction concerns recent work on norm attainment. There, “integral projective norm-attaining tensor” denotes a tensor in $X\widehat\otimes_\pi Y$ represented by a Bochner integral over $B_X\times B_Y$ with total mass equal to the projective norm; this is a measure-theoretic enlargement of the classical class of norm-attaining tensors, not a replacement for the underlying projective tensor norm itself (Aliaga et al., 27 Feb 2026).

2. Classical projective tensor products and their duality

For Banach spaces $X$ and $Y$, the projective tensor product $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$0 is the completion of the algebraic tensor product under $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$1. Its dual admits the standard identification

$$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$2

and the pairing is given on elementary tensors by $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$3 (Aliaga et al., 27 Feb 2026). This duality is the basic reason projective tensor products linearize bounded bilinear forms.

The same pattern persists in higher tensor powers. For $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$4, the $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$5-fold projective tensor product $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$6 is defined recursively, and its dual is the Banach space of bounded $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$7-linear forms: $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$8 In the case $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$9, the projective tensor tower is especially rigid: for $\mathbb P^1\times \mathbb P^1$0, $\mathbb P^1\times \mathbb P^1$1 is not isomorphic to any subspace of any quotient of $\mathbb P^1\times \mathbb P^1$2, and

$\mathbb P^1\times \mathbb P^1$3

under the hypotheses established in the paper (Causey et al., 2020).

An analogous projective formalism exists beyond Banach spaces. For Banach $\mathbb P^1\times \mathbb P^1$4-modules $\mathbb P^1\times \mathbb P^1$5 and $\mathbb P^1\times \mathbb P^1$6, the projective pointwise norm is

$\mathbb P^1\times \mathbb P^1$7

the completed projective tensor product is $\mathbb P^1\times \mathbb P^1$8, and its universal property is

$\mathbb P^1\times \mathbb P^1$9

Its dual is correspondingly identified as

$C^*$0

(Pasqualetto, 2023). This $C^*$1-valued construction preserves the classical projective theme while changing both the scalar ring and the norm range.

3. Integral operators, bilinear forms, and projective tensor products

A central bridge between “integral” and “projective” is duality. For $C^*$2-algebras $C^*$3 and $C^*$4, the canonical map

$C^*$5

is bounded above and below by

$C^*$6

and $C^*$7 is identified in the paper with a space of integral operators (Kumar et al., 2013). The same paper defines a natural embedding

$C^*$8

with the same bicontinuity estimate,

$C^*$9

Under additional hypotheses it records the coincidence

$A\otimes_\gamma B$0

linking nuclear, Pietsch integral, and integral operators.

This operator-theoretic perspective complements the usual projective-tensor description by bilinear forms. For Banach algebras $A\otimes_\gamma B$1 and $A\otimes_\gamma B$2, Arens regularity of $A\otimes_\gamma B$3 is equivalent to the statement that every bounded bilinear form $A\otimes_\gamma B$4 is biregular, while Arens regularity of the operator-space projective tensor product $A\otimes_\gamma B$5 is equivalent to biregularity of every jointly completely bounded bilinear form (Kumar et al., 2014). In other words, projective tensor products are classified by the classes of bilinear forms they linearize, and integral-operator language enters through the dual embeddings that control these spaces.

The same dual mechanism appears in recent work on norm attainment. If a functional on $A\otimes_\gamma B$6 attains its norm at an integral norm-attaining tensor, then the corresponding bilinear form is norm-attaining on $A\otimes_\gamma B$7 (Aliaga et al., 27 Feb 2026). This relation is one reason integral representations are useful: they convert extremal questions in the tensor product into norm-attainment questions for bilinear forms and operators.

4. Integral projective norm-attaining tensors

The most explicit recent integral formulation is the class $A\otimes_\gamma B$8 of integral projective norm-attaining tensors. A tensor $A\otimes_\gamma B$9 belongs to this class if there exists a finite positive Borel measure $A\widehat{\otimes}B$0 on $A\widehat{\otimes}B$1 such that the canonical map

$A\widehat{\otimes}B$2

is $A\widehat{\otimes}B$3-Bochner integrable and

$A\widehat{\otimes}B$4

Classical norm-attaining tensors yield such representations by taking a discrete measure, so

$A\widehat{\otimes}B$5

(Aliaga et al., 27 Feb 2026).

This integral class admits a support-functional characterization parallel to the discrete theory. If

$A\widehat{\otimes}B$6

then $A\widehat{\otimes}B$7 if and only if there exists $A\widehat{\otimes}B$8 such that

$A\widehat{\otimes}B$9

Positive measures suffice, and any witnessing measure is concentrated on $X\widehat\otimes_\pi Y$0. The class is also stable under absolute continuity: if $X\widehat\otimes_\pi Y$1, then

$X\widehat\otimes_\pi Y$2

is again in $X\widehat\otimes_\pi Y$3 (Aliaga et al., 27 Feb 2026).

A major structural theorem states that every integral norm-attaining tensor can be approximated in projective norm by finitely norm-attaining tensors: $X\widehat\otimes_\pi Y$4 Consequently, the Bishop–Phelps density problem is unchanged by passing from discrete to integral representations: $X\widehat\otimes_\pi Y$5 The same paper proves that if an extreme point of $X\widehat\otimes_\pi Y$6 belongs to $X\widehat\otimes_\pi Y$7 and is witnessed by a Radon measure, then it must be an elementary tensor $X\widehat\otimes_\pi Y$8 (Aliaga et al., 27 Feb 2026).

Weak and weak$X\widehat\otimes_\pi Y$9 variants are developed by replacing the norm-topology Borel structure on $B_X\times B_Y$0 with weak or weak$B_X\times B_Y$1 product topologies. Most formal properties persist, but genuine Bochner integrability becomes delicate. Under separability together with either BAP or a Dunford–Pettis-type hypothesis, the tensor-valued map $B_X\times B_Y$2 is Bochner integrable in the weak setting. The same work also extends known non-norm-attainment phenomena to the integral setting, showing for instance that $B_X\times B_Y$3 and the real $B_X\times B_Y$4 contain non-norm-attaining tensors for $B_X\times B_Y$5 (Aliaga et al., 27 Feb 2026).

5. Geometric and asymptotic structure

Projective tensor products have a rigid convex geometry. For bounded closed convex sets $B_X\times B_Y$6 and $B_X\times B_Y$7, the set

$B_X\times B_Y$8

is the natural tensorial convex hull, and when $B_X\times B_Y$9 separates points of $X$0, every nonzero preserved extreme point of this set is of the form $X$1, with $X$2 and $X$3 preserved extreme in $X$4 and $X$5 respectively (García-Lirola et al., 2022). Applied to unit balls, this yields a factorization theorem for preserved extreme points of $X$6.

The same paper gives a partial converse for weak-strongly exposed points. Under the additional assumption that $X$7 has a compact neighborhood system for the weak topology in $X$8, weak-strong exposure tensorizes: $X$9 The extra hypothesis is essential. There exists a Banach space $Y$0 isomorphic to $Y$1 with a weak-strongly exposed point $Y$2 such that $Y$3 is not weak-strongly exposed in $Y$4 (García-Lirola et al., 2022).

Asymptotically, iterated projective tensor products form a strict hierarchy. For $Y$5,

$Y$6

is not isomorphic to any subspace of any quotient of

$Y$7

This is stronger than mere non-isomorphism and is proved through asymptotic invariants such as the classes $Y$8 and Szlenk-type bounds (Causey et al., 2020). A plausible implication is that projective tensoring increases asymptotic complexity in a systematic way rather than merely enlarging dimension or codimension.

These geometric results interact naturally with the integral perspective. The recent extremal theorem for Radon-integral norm-attaining tensors gives a measure-theoretic route to the same rank-one conclusion that older convex-geometric arguments derive from compact-operator separation (Aliaga et al., 27 Feb 2026, García-Lirola et al., 2022). This suggests a convergence of two lines of thought: one through weak topology and operator ideals, the other through Bochner representations.

6. $Y$9-algebraic and operator-space variants

For $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$00-algebras, the Banach-space projective tensor product is denoted $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$01. It is a Banach $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$02-algebra, and its ideal theory is unusually explicit. If $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$03 and $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$04 are $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$05-subalgebras, the identity map on $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$06 extends to an isometric $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$07-algebra map from $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$08 onto the closed $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$09-subalgebra $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$10 (Gupta et al., 2018). When one factor is topologically simple, every closed ideal of $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$11 is of the form $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$12. More generally, if one factor has finitely many closed ideals, every closed ideal is a finite sum of product ideals. The same paper identifies maximal ideals by

$$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$13

for maximal ideals $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$14, $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$15, and proves the center formula

$$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$16

(Gupta et al., 2018).

The operator-space projective tensor product uses a different norm. For operator spaces $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$17 and $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$18,

$$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$19

with $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$20, $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$21, $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$22, and $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$23 (Kumar et al., 2014). In the $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$24-algebraic setting, the canonical embedding

$$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$25

is $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$26-preserving, positive, completely bounded, and satisfies

$$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$27

(Kumar et al., 2013).

Arens regularity sharply links the Banach and operator-space projective theories. For $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$28-algebras $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$29 and $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$30, the Arens regularity of

$$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$31

is equivalent (Kumar et al., 2014). Thus, at the level of bidual multiplication, classical projective, operator-space projective, Haagerup, and Schur tensor norms exhibit the same regularity behavior in the $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$32-algebraic category.

7. Generalized projective tensor products beyond Banach spaces

The Banach $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$33-module setting extends projective tensor products to norms with values in the ring $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$34. There the projective tensor product $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$35 is defined by completion of the algebraic tensor product over $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$36, and its dual satisfies

$$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$37

It also obeys a series representation formula

$$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$38

and a pullback compatibility theorem

$$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$39

for measurable maps $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$40 under the stated hypotheses (Pasqualetto, 2023). This is a projective tensor theory over a function ring rather than over $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$41 or $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$42.

An even more noncommutative extension is the projective tensor product of protoquantum spaces. For PQ-spaces $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$43 and $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$44, the proto-operator-projective norm on $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$45 is

$$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$46

where the infimum runs over decompositions

$$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$47

The resulting completed tensor product $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$48 linearizes completely bounded bilinear maps and satisfies an adjoint associativity theorem

$$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$49

(Helemskii, 2017). In this framework, the standard operator-space projective formula is too rigid outside the operator-space category: the paper exhibits tensors $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$50 for which

$$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$51

This shows that a projective tensor product suitable for general matricially normed spaces cannot simply be the usual operator-space projective tensor product (Helemskii, 2017).

Taken together, these developments show that “integral projective tensor product” names not a single immutable object but a family of tightly connected ideas. The fixed core is the projective tensor product and its universal property; the integral aspect appears through integral operators, bilinear forms, and, most explicitly, through Bochner-integral representations of norm-attaining tensors. The interaction between these themes governs extremal geometry, non-attainment phenomena, Arens regularity, ideal structure, and the extension of projective tensor methods to operator spaces, $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$52-algebras, $$\|u\|_\pi=\inf\Big\{\sum_{i=1}^n \|x_i\|\,\|y_i\|:u=\sum_{i=1}^n x_i\otimes y_i\Big\},$$53-modules, and protoquantum spaces.