Pith. sign in

REVIEW 2 major objections 5 minor 22 references

Similarities for the maximal tensor product of certain C*-algebras

T0 review · 2 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The maximal tensor product inherits Kadison's similarity property from its factors when the pair-length is finite.

desk verdict Short, new stability result for Kadison's similarity under maximal tensor products; proof likely correct, but the key black-box proposition should be stated. read the letter →

arxiv 2411.14326 v2 pith:FQT5GDT4 submitted 2024-11-21 math.OA

Evangelos Papapetros This is my paper · ORCID
classification math.OA MSC 47L3046L0546L1047L55
keywords C*-algebrasKadison'ssimilaritypropertylengthmaximaltensorproductcompletelyboundedhomomorphismsnuclearvonNeumannalgebrasproblem
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Kadison's similarity property asks whether every bounded homomorphism of a C*-algebra is similar, via an invertible operator, to a $*$-homomorphism. The paper proves that this property passes to maximal tensor products under a finiteness condition: if $A$ and $B$ are unital C*-algebras with the property and the pair-length $L(A \otimes_{\max} B)$ is finite, then $A \otimes_{\max} B$ also has the property. Moreover, its similarity length is at most $L$ times the larger of the two factor lengths. This gives a partial answer to the open question of whether (SP) is preserved under maximal tensor products, and it generalizes known results for nuclear tensor factors. The author also derives corollaries for minimal tensor products with nuclear factors, matrix amplifications, and type $\mathrm{II}_1$ factors.

What carries the argument

The machinery is Pisier's length framework for pairs of subalgebras. The pair-length $L = L(A \otimes_{\max} B; A \otimes 1_B, 1_A \otimes B)$ is the smallest $d$ such that every element of the maximal tensor product can be approximated by products of $d$ matrices whose entries lie alternately in $A$ and $B$. Alongside it, the similarity length $\ell(A)$ of a C*-algebra is the smallest exponent such that every bounded homomorphism $\pi$ satisfies $\|\pi\|_{cb} \le C \|\pi\|^{\ell(A)}$. The proof's load-bearing step is the quoted Proposition 12 of [14]: for the restrictions $\pi_1, \pi_2$ of a bounded homomorphism of the maximal tensor product, there is an invertible operator $S$ with $S\pi_j(\cdot)S^{-1}$ completely contractive for $j=1,2$, and with $\|\pi\|_{cb} \le K \max\{\|\pi_1\|_{cb}, \|\pi_2\|_{cb}\}^{L}$. Combining this with the inequalities $\|\pi_j\|_{cb} \le c_j \|\pi_j\|^{\ell(A)}$ gives the stated bound.

What would settle it

Find two unital C*-algebras $A$ and $B$ with finite similarity lengths and finite pair-length $L(A \otimes_{\max} B)$ for which $A \otimes_{\max} B$ nevertheless has infinite similarity length. A more local test: exhibit commuting bounded homomorphisms of $A$ and $B$ that are each similar to $*$-homomorphisms but cannot be simultaneously conjugated to contractive $*$-homomorphisms by one invertible operator; this would break the first step of the proof.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.1: for unital C*-algebras $A$ and $B$ satisfying Kadison's similarity property, if $L = L(A \otimes_{\max} B)$ is finite, then $A \otimes_{\max} B$ satisfies (SP) and $\ell(A \otimes_{\max} B) \le L \max\{\ell(A), \ell(B)\}$. The proof takes a unital bounded homomorphism $\pi$ of $A \otimes_{\max} B$, restricts it to $A$ and $B$, uses (SP) of the factors to see the restrictions are completely bounded, and then applies a joint-similarity result to find a single invertible operator that simultaneously turns both restrictions into complete contractions; because the ranges are commuting $*$-homomorphisms, this produces a $*$-homomorphism similar to $\pi$. The length estimate follows by combining the joint cb estimate with the inequalities that define $\ell(A)$ and $\ell(B)$. The paper also records related corollaries: the minimal tensor product of a nuclear C*-algebra with an (SP) algebra has (SP), non-unital versions follow by unitization, and (SP) is preserved and reflected by matrix amplifications.

Load-bearing premise

The proof rests on a cited but unstated proposition asserting that one invertible operator can simultaneously conjugate the two restricted homomorphisms to contractive $*$-homomorphisms while bounding the cb norm of the original homomorphism by a power of the restrictions' cb norms; if that proposition needs hypotheses beyond (SP) and finite $L$, the argument has a gap.

Editorial extensions

If this is right

  • If $L(A \otimes_{\max} B) < \infty$ and both factors have finite similarity length, then $A \otimes_{\max} B$ has finite similarity length and hence satisfies Kadison's similarity property.
  • The theorem partially answers question (2): in the unital case, (SP) is preserved under maximal tensor products whenever the pair-length is finite.
  • In the unital nuclear case, Pisier's bound $L \le 3$ combines with the theorem to recover Corollary 3.4: the minimal tensor product of a nuclear unital C*-algebra and a unital C*-algebra with (SP) satisfies (SP), with similarity length at most $3\max\{\ell(A),\ell(B)\}$.
  • The non-unital version follows by unitization (Proposition 3.6): if $A$ satisfies (SP) and $B$ is nuclear, then $A \otimes_{\min} B$ satisfies (SP) with the same kind of length bound.
  • Matrix amplifications preserve and reflect (SP): if $M_n(A)$ satisfies (SP) then so does $A$, and for type $\mathrm{II}_1$ factors the analogous equivalence holds for the weak similarity property.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A transfer principle seems implicit: any condition on the pair $(A,B)$ that provides simultaneous similarity of commuting bounded homomorphisms together with a cb bound of the form $\|\pi\|_{cb} \le K \max\{\|\pi_1\|_{cb},\|\pi_2\|_{cb}\}^d$ would yield (SP) for $A \otimes_{\max} B$ with the same argument.
  • The proof's dependence on an unstated proposition suggests a natural first check: whether Proposition 12 of [14] holds for arbitrary pairs with finite $L$ or requires an additional joint complete-boundedness condition; if the latter, the theorem would cover only cases where that condition is already known.
  • The bound $L\max\{\ell(A),\ell(B)\}$ is likely not optimal; in cases where one factor is nuclear or has no tracial states, sharper numerical constants may be obtainable by threading the known length bounds through the same estimate.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper studies Kadison's similarity property (SP) for tensor products of C*-algebras. Its main result, Theorem 3.1, states that if A and B are unital C*-algebras satisfying (SP) and if the Pisier length L = L(A ⊗_max B) of the pair (A,B) inside the maximal tensor product is finite, then A ⊗_max B also satisfies (SP) and its similarity length satisfies ℓ(A ⊗_max B) ≤ L max{ℓ(A), ℓ(B)}. The proof applies a result of Pisier [14, Proposition 12] to simultaneously similarize the restrictions of a bounded homomorphism to A and B, and to bound its cb norm in terms of the cb norms of these restrictions. The paper also contains applications: the minimal tensor product of an (SP) algebra with a nuclear algebra satisfies (SP) with length at most 3 max{ℓ(A), ℓ(B)}, matrix amplifications preserve (SP), and there are results on type II_1 factors.

Significance. If the proof is sound, Theorem 3.1 gives a meaningful partial answer to a natural question of Pisier under a finiteness hypothesis, with a quantitative control of the similarity degree. The result is a clean permanence property for maximal tensor products, and the corollaries, particularly Proposition 3.6 for non-unital algebras and Corollary 3.8 for matrix amplifications, are useful and appear correct. A strength of the paper is that it states a precise bound on the similarity length, making the claim falsifiable. The main weakness is that the central argument depends on an unstated external proposition; without knowing its exact content, the proof cannot be fully verified from the manuscript alone.

major comments (2)
  1. [Section 3, proof of Theorem 3.1] The proof relies on [14, Proposition 12] for two essential assertions: that the restrictions π1 and π2 can be simultaneously similarized to complete contractions, and that the estimate (3.1) holds. The manuscript neither states the hypotheses nor the conclusion of this proposition. Please include a precise statement and verify that the present hypotheses (A and B satisfy (SP), L(A ⊗_max B) < ∞, and π is a unital bounded homomorphism) satisfy them. In particular, given the note in §2 that L < ∞ does not in general imply d(A,B) ≤ L, explain whether Proposition 12 needs only the finiteness of the pair length or also a global joint complete-boundedness condition such as d(A,B) < ∞. If the latter, the proof is circular; if the former, the statement should still be included for the reader.
  2. [Section 3, equation (3.1)] The constant K in (3.1) is used to deduce a uniform bound for every bounded homomorphism π. Please confirm explicitly that K depends only on A, B and L, and not on the particular π. Without such uniformity, the final inequality ||π||_cb ≤ K̃ ||π||^{L ℓ(A)} does not imply the asserted similarity length ℓ(A ⊗_max B) ≤ L max{ℓ(A), ℓ(B)}.
minor comments (5)
  1. [Section 3, proof of Theorem 3.1] In the displayed line 'S π(a ⊗ b) S^{-1} = (Sπ1(a)S^{-1})(Sπ2(a)S^{-1})', the second factor should be Sπ2(b)S^{-1}, not Sπ2(a)S^{-1}.
  2. [Section 2, Proposition 2.5 proof] The factor 'Mℓ' should read 'M^ℓ', and the exponent 'ℓd1' would benefit from an explicit multiplication dot for clarity.
  3. [Section 3, Theorem 3.1] The proof explicitly treats only unital π. Since Definition 1.2 and (SP) are stated for arbitrary bounded homomorphisms, a brief reduction to the unital case (e.g., compression to the range of π(1) after a similarity) should be added.
  4. [Introduction] The sentence 'We generalise this result to the non-unital case as well' appears before the non-unital result is proved; consider clarifying that this refers to Proposition 3.6.
  5. [Throughout] There are minor typographical issues: 'minimun' in Section 2 and 'unitalC ∗-algebras' in the abstract should be corrected.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 3.1 is a direct application of external results of Pisier; the author's own prior papers appear only as context and peripheral support.

full rationale

The main derivation is not circular. In Theorem 3.1, the hypotheses that A and B satisfy (SP) and L(A⊗maxB)<∞ are used only to guarantee that the restrictions π1 and π2 of a bounded homomorphism π are completely bounded (via the external equivalence between (SP) and finite length in [15]) and to apply Pisier's Proposition 12 [14], which supplies the cb-estimate ||π||cb ≤ K max{||π1||cb, ||π2||cb}^L. The final bound L·max{ℓ(A),ℓ(B)} is obtained by combining that estimate with the defining estimates of ℓ(A) and ℓ(B) from [15]. No quantity in the statement is defined in terms of the conclusion ℓ(A⊗maxB), and no fitted parameter is renamed as a prediction. The self-citations [7,11] appear in the introduction as contextual equivalences of Kadison's problem and later as a peripheral input in Proposition 3.9; they do not carry the main theorem. A transparency concern remains: the paper does not state the hypotheses of [14, Proposition 12], so a reader must check the external source to confirm that only L<∞ is needed; this is a verification issue, not a circularity, because the cited proposition is independent external support rather than an assumption identical to the target result.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The central claim rests on established theorems of Pisier and Haagerup regarding similarity degrees, length of pairs, and joint similarity. No new entities or fitted parameters are introduced. The principal unstated dependency is the exact content of [14, Proposition 12].

assumptions (4)
  • domain assumption Pisier's theorem: a unital C*-algebra satisfies (SP) iff its similarity length ℓ(A) is finite
    Used throughout to infer complete boundedness of restrictions from (SP) and to convert finite length back to (SP) at the end. Cited [15].
  • domain assumption Pisier's Proposition 12 in [14]: simultaneous similarity to complete contractions and the cb-estimate (3.1) for pairs of completely bounded homomorphisms with commuting ranges under finite pair-length
    The load-bearing step of Theorem 3.1; the paper does not state the proposition's exact hypotheses, and the proof depends on its applicability.
  • standard math Length property: if L(A ⊗_max B; A, B) < ∞, then any bounded homomorphism π of the maximal tensor product satisfies ||π||cb ≤ K max{||π|_A||cb, ||π|_B||cb}^L
    Follows directly from the definition of L via matrix approximation; used as (3.1).
  • standard math A unital completely contractive homomorphism from a C*-algebra is a *-homomorphism
    Used to conclude ρ1 and ρ2 are *-homomorphisms after simultaneous similarization.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Similarities for the maximal tensor product of certain C*-algebras." pith.science (2026). https://pith.science/paper/FQT5GDT4

@misc{pith2026241114326,
  author       = {Pith},
  title        = {Pith review of: Similarities for the maximal tensor product of certain C*-algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FQT5GDT4}},
  note         = {Machine review of arXiv:2411.14326}
}
abstract

We prove that if the unital $C^*$-algebras $\cl A$ and $\cl B$ satisfy Kadison's similarity property and the length $L=L\left(\cl A\tens\limits_{max}\cl B\right)$ of their maximal tensor product is finite, then $\cl A\tens\limits_{max}\cl \cl B$ satisfies Kadison's similarity property with similarity length $\ell\left(\cl A\tens\limits_{max}\cl B\right)\leq L \max\left\{\ell(\cl A),\,\ell(\cl B)\right\}.$

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

  1. [1]

    Anantharaman, C., Popa, S.: An introduction to II 1 factors, preprint 8 (2017)

    work page 2017

  2. [2]

    Blecher, D. P., C. Le Merdy.:Operator algebras and their modules – An operator space approach, London Mathematical Society Monographs, New Series, 30, The Clarendon Press, Oxford, 2004

    work page 2004

  3. [3]

    P., Ozawa, N.:C∗-Algebras and Finite-Dimensional Approximations, American Mathematical Soc

    Brown, N. P., Ozawa, N.:C∗-Algebras and Finite-Dimensional Approximations, American Mathematical Soc. Vol 88 (2008)

    work page 2008

  4. [4]

    D., Effros, E

    Choi, M. D., Effros, E. G.: Nuclear C*-algebras and the approximation property, American Journal of Mathematics 100(1) (1978), 61-79

    work page 1978

  5. [5]

    Christensen, E.: Finite von Neumann algebra factors with property Γ, J. Funct. Anal. 186 (2001), 366-380

    work page 2001

  6. [6]

    G., Lance, E

    Effros, E. G., Lance, E. C.: Tensor products of operator algebras , Advances in Mathematics 25(1) (1977), 1-34

    work page 1977

  7. [7]

    The similarity problem and hyperreflexivity of von Neumann algebras

    Eleftherakis, G. K., Papapetros, E.: The similarity problem and hyperreflexivity of von Neumann algebras . arXiv:2306.07605

    work page Pith review arXiv

  8. [8]

    118 (1983), 215-240

    Haagerup, U.: Solution of the similarity problem for cyclic representations of C ∗-algebras, Annals of Math. 118 (1983), 215-240

    work page 1983

Show all 22 references
  1. [9]

    Kadison, R.: On the orthogonalization of operator representations , Amer. J. Math 77 (1955), 600-622

    1955

  2. [10]

    Lance, C.: On nuclear C*-algebras , J. Funct. Anal. 12(2) (1973), 157-176

    1973

  3. [11]

    Papapetros, E.: A new approach to the similarity problem , Advances in Oper- ator Theory 9(3) (2024): 65

    2024

  4. [12]

    Pop, F.: The similarity problem for tensor products of certain C*-algebras , Bulletin of the Australian Mathematical Society 70(3) (2004), 385-389. 10 E. Papapetros

    2004

  5. [13]

    Pop, F.: Similarities of Tensor Products of TypeII 1 Factors, Integral Equations and Operator Theory 89 (2017), 455-463

    2017

  6. [14]

    Pisier, G.: Joint similarity problems and the generation of operator algebras with bounded length , Integral Equations and Operator Theory 31 (1998), 353- 370

    1998

  7. [15]

    Petersburg Math

    Pisier, G.: The similarity degree of an operator algebra , St. Petersburg Math. J. 10 (1999), 103-146

    1999

  8. [16]

    Pisier, G.: Remarks on the similarity degree of an operator algebra , Interna- tional Journal of Mathematics 12(04) (2001), 403-414

    2001

  9. [17]

    1618, Springer Verlag, Berlin, (2001)

    Pisier, G.: Similarity problems and completely bounded maps , Lecture notes in Mathematics, V0l. 1618, Springer Verlag, Berlin, (2001)

    2001

  10. [18]

    Pisier, G.: Similarity problems and length , Taiwanese J. Math. 5 (2001), 1-17

    2001

  11. [19]

    Pisier, G.: Introduction to operator space theory , Cambridge University Press, (2003)

    2003

  12. [20]

    Pisier, G.: A similarity degree characterization of nuclear C ∗-algebras, Publica- tions of the Research Institute for Mathematical Sciences42(3) (2006), 691-704

    2006

  13. [21]

    Pisier, G.: Simultaneous similarity, bounded generation and amenability , To- hoku Math. J. Second Series 59(1) (2007), 79-99

    2007

  14. [22]

    96) (2020), Cambridge University Press

    Pisier, G.: Tensor Products of C ∗-Algebras and Operator Spaces: The Connes–Kirchberg Problem (Vol. 96) (2020), Cambridge University Press. E. Papapetros University of the Aegean Faculty of Sciences Department of Mathematics 832 00 Karlovasi, Samos, Greece e-mail: e.papapetros...

    2020

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.