Banach bimodule-valued positive maps: Inequalities and induced representations

In this paper, we consider representations induced by general positive and completely positive sesquilinear maps with values in ordered Banach bimodules, such as the space of trace-class operators and the spaces of bounded linear operators from a von Neumann algebra into the dual of another von Neumann algebra. Also, we deduce some new inequalities for these maps.

💡 Research Summary

The paper investigates positive and completely positive sesquilinear maps whose values lie in ordered Banach bimodules, extending the classical theory of C*-valued positive maps. After recalling the notion of a quasi ‑algebra (A, A₀), the authors introduce Y‑valued positive sesquilinear forms Φ on a vector space X and study the conditions under which a generalized Cauchy–Schwarz inequality
‖Φ(x₁,x₂)‖ ≤ ‖Φ(x₁,x₁)‖^{1/2}‖Φ(x₂,x₂)‖^{1/2}
holds. Proposition 3.1 identifies a broad class of ordered Banach bimodules Y for which every Y‑valued positive sesquilinear map satisfies this inequality. The list includes L²(Ω), the space B(M, B₁(H)) of bounded maps from a von Neumann algebra M into the trace‑class operators on a Hilbert space H, the predual M of a von Neumann algebra, spaces of measures M(Ω), non‑commutative L¹(ρ) spaces, and the Hilbert‑module ℓ²(C(Ω)). For each case a sketch of the proof is given, typically by reducing to ordinary positive sesquilinear forms (e.g., via traces, integration against characteristic functions, or the canonical embedding of L¹(ρ) into M*).

Using this generalized Cauchy–Schwarz inequality the authors obtain several new results. Corollary 3.2 extends Paulsen’s modified Kadison–Schwarz inequality, originally proved for 2‑positive maps between C*-algebras, to arbitrary positive maps from a unital *‑algebra into any of the ordered Banach bimodules listed above. Proposition 3.3 shows that infinite sums of Y‑valued positive sesquilinear maps also satisfy the Cauchy–Schwarz bound, which is crucial for later representation theorems.

Section 4 turns to completely positive sesquilinear maps. By adapting the GNS construction to the setting of a Banach bimodule Y, the authors build a Hilbert Y‑module and obtain a Stinespring‑type representation: for a completely positive map Φ there exist a ‑representation π of the underlying ‑algebra on the Hilbert Y‑module and a bounded operator V such that
Φ(a,b) = V π(a) π(b) V.
This representation works for maps into any ordered Banach bimodule, not only into B(H). Corollary 4.3 derives a Cauchy–Schwarz inequality for infinite sums of completely positive Y‑valued maps, and a Radon–Nikodym theorem is proved in this context, showing that one completely positive map dominated by another can be expressed via a bounded “density” operator in the bimodule.

The paper concludes with concrete examples illustrating the theory. The space of trace‑class operators B₁(H) (viewed as a bimodule over B(H)), non‑commutative L¹(ρ) spaces, and spaces of bounded linear maps B(C₁, C₂) between C*-algebras are examined in detail, demonstrating how the abstract results specialize to familiar settings in quantum information theory and non‑commutative integration.

Overall, the main contributions are: (1) a unified Cauchy–Schwarz inequality for a wide class of ordered Banach bimodules; (2) an extension of Paulsen’s Kadison–Schwarz inequality to general positive maps; (3) a Stinespring‑type representation and Radon–Nikodym theorem for completely positive maps with values in ordered Banach bimodules; and (4) a collection of concrete examples showing the applicability of the framework to trace‑class operators, non‑commutative L¹ spaces, and operator‑valued function spaces. These results broaden the toolbox for studying positivity in operator algebras, especially in contexts where the codomain is not a C*-algebra but a more general ordered Banach bimodule.