C*-like modules and matrix $p$-operator norms

TL;DR

This paper generalizes H"older duality to algebra-valued pairings via $L^p$-modules, introducing the concept of C*-like modules and exploring their properties in matrix algebra contexts.

Contribution

It defines C*-like modules as algebra-valued pairings that preserve H"older duality and analyzes their behavior under direct sums and matrix algebra structures.

Findings

Finite and countable direct sums of C*-like modules are C*-like when $A$ is block diagonal.

Counterexamples show C*-like property fails for non-block diagonal subalgebras.

The work extends duality concepts to algebra-valued pairings in $L^p$-modules.

Abstract

We present a generalization of H\"older duality to algebra-valued pairings via $L^p$-modules. H\"older duality states that if $p \in (1, \infty)$ and $p^{\prime}$ are conjugate exponents, then the dual space of $L^p(\mu)$ is isometrically isomorphic to $L^{p^{\prime}}(\mu)$. In this work we study certain pairs $(\mathsf{Y},\mathsf{X})$, as generalizations of the pair $(L^{p^{\prime}}(\mu), L^p(\mu))$, that have an $L^p$-operator algebra valued pairing $\mathsf{Y} \times \mathsf{X} \to A$. When the $A$-valued version of H\"older duality still holds, we say that $(\mathsf{Y},\mathsf{X})$ is C*-like. We show that finite and countable direct sums of the C*-like module $(A,A)$ are still C*-like when $A$ is any block diagonal subalgebra of $d \times d$ matrices. We provide counterexamples when $A \subset M_d^p(\mathbb{C})$ is not block diagonal.