Pith. sign in

REVIEW 2 major objections 7 minor 41 references

$p$-nuclearity of reduced group $L^p$-operator algebras

T0 review · 2 major / 7 minor · reviewed 2026-08-11 · deepseek-v4-flash

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

Pith's one-line read For 1<p<∞, F^p_λ(G) is p-nuclear if and only if G is amenable, resolving Phillips' open problem.

desk verdict Right open problem, plausible strategy, but the key estimate in (iv)=>(v) identifies the diagonal representation with a two-variable convolution and is false, so the proof as written does not establish the converse. read the letter →

arxiv 2412.18643 v1 pith:ORE6R7TK submitted 2024-12-24 math.FA math.OA

Zhen Wang This is my paper · ORCID
classification math.FAmath.OA
keywords groupoperatoralgebrasnuclearityreducedalgebraamenableanswers
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

For a discrete group G, one can form an algebra F^p_λ(G) from the left-translation operators on the sequence space ℓ^p(G). A version of the classical notion of nuclearity, called p-nuclearity, asks whether this algebra can be approximated through finite-dimensional matrix algebras by p-completely contractive maps. Earlier work by An, Lee, and Ruan showed that if G is amenable, then F^p_λ(G) is p-nuclear. This paper proves the reverse direction.

The proof runs through p-operator tensor products. A p-nuclear approximation gives p-completely contractive maps into and out of matrix algebras. Because matrix algebras have the p-operator approximation property, the paper cites a theorem of An, Lee, and Ruan that identifies the projective and injective p-operator tensor products with F^p_λ(G). This identification makes the canonical map between these two tensor products invertible. The author then uses this to factor a right-and-left regular representation through the injective tensor product and obtains a key inequality: for every finitely supported function f, the absolute value of the sum of f is bounded by the operator norm of λ_p(f).

From that inequality, applying the estimate to the average of translations over a finite set E, one gets vectors in ℓ^p(G) that are almost invariant under all translations in E. Uniform convexity of ℓ^p(G) turns the near-maximal norm of the averaged operator into near-invariance of individual unit vectors. A standard net argument then produces approximate invariant vectors for the whole group, which is one of the definitions of amenability. The circle of equivalences in Theorem 1.5 is therefore closed.

Extended reading notes

Core claim

Theorem 1.5: for p∈(1,∞) and a discrete group G, G is amenable if and only if F^p_λ(G) is p-nuclear. In particular, the forward direction was known ([1, Proposition 5.1(a)]) and this paper proves the converse, which answers [33, Problem 10.4].

Load-bearing premise

The step (ii)=>(iii) assumes [1, Theorem 3.12], which the paper cites without restating: because M^p_n(α) has the p-OAP, its p-operator injective tensor product with F^p_λ(G) is isomorphic to its p-operator projective tensor product. The entire construction of the inverse map from the injective to the projective tensor product rests on this identification. If the theorem carries hidden hypotheses not met by arbitrary p-operator spaces, that implication would fail. Location: Section 3, first paragraph of the proof of (ii)=>(iii).

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 7 minor

Summary. The paper studies p-nuclearity of the reduced group L^p-operator algebra F^p_λ(G) for p in (1,∞) and a discrete group G. Its main result, Theorem 1.5, asserts the equivalence of six conditions: (i) G is amenable; (ii) F^p_λ(G) is p-nuclear; (iii) the canonical map from the p-operator projective tensor product to the p-operator injective tensor product is an isomorphism; (iv) the canonical map h(λ_p(s)⊗λ_p(t))=λ_p(s)ρ_p(t) is continuous with respect to the p-operator injective tensor norm; (v) ‖λ_p(f)‖ ≥ |Σ_t f(t)| for all finitely supported f; and (vi) ‖Σ_{t∈E} λ_p(t)‖ = |E| for every finite E⊂G. The forward direction (i)=>(ii) is cited from An-Lee-Ruan. The paper's contribution is the converse, obtained through the chain (ii)=>(iii)=>(iv)=>(v)=>(vi)=>(i), and it is claimed to answer Problem 10.4 of Phillips.

Significance. If the theorem is correct, it resolves a genuine open problem of Phillips and provides a natural L^p-analog of Lance's theorem that nuclearity of the reduced group C*-algebra characterizes amenability. The paper is concise, well-structured, and makes productive use of p-operator tensor products and uniform convexity. The forward direction is already known, and the proposed converse is the substantive new result. However, the proof of the key implication (iv)=>(v) contains a false identity, so the significance is conditional on a successful repair of that step.

major comments (2)
  1. [Section 3, proof of (iv)=>(v), Claim 1] The identity used to estimate θ is false. The map θ is defined as θ = \widetilde h ∘ ι, so θ(λ_p(f)) = Σ_s f(s) λ_p(s)ρ_p(s), i.e. the diagonal conjugation representation. The displayed estimate instead computes θ(f) as λ_p(f)ρ_p(f) = Σ_{s,t} f(s)f(t)λ_p(s)ρ_p(t). These operators differ: for f = δ_s + δ_t with s ≠ t, θ(f)δ_e = (f(s)+f(t))δ_e, whereas λ_p(f)ρ_p(f)δ_e = (f(s)^2+f(t)^2)δ_e + f(s)f(t)(δ_{s t^{-1}} + δ_{t s^{-1}}). Therefore the equality ‖θ(f)ξ‖ = ‖λ_p(f)ρ_p(f)ξ‖ is not valid, the bound ‖θ‖≤1 is not established, and the deduction of (v) from (iv) does not follow. This is a load-bearing step in the converse direction and must be replaced by a correct argument, or by a strengthened version of (iii)/(iv) that yields the needed norm bound.
  2. [Section 3, proof of (ii)=>(iii)] The construction of the inverse map Φ from the injective to the projective tensor product rests entirely on the assertion that, because M^p_n(α) has the p-OAP, [1, Theorem 3.12] implies M^p_n(α) ∨p⊗ F^p_λ(G) is isomorphic to M^p_n(α) ∧p⊗ F^p_λ(G). This theorem is cited but not stated, and the reader cannot verify whether its hypotheses are satisfied in this generality. Please state the theorem or give a precise quotation of its hypotheses and explicitly verify them for M^p_n(α) and F^p_λ(G). If the theorem carries extra assumptions, the passage from (ii) to (iii) would require additional justification.
minor comments (7)
  1. [Section 3, proof of (v)=>(vi)] The sentence 'by (iv), we have ‖Σ_{t∈E} λ_p(t)‖ ≥ |E|' should refer to condition (v), not (iv).
  2. [Section 3, proof of (vi)=>(i)] The sentence 'By (v), we have ‖Σ_{t∈E} λ_p(t)/|E|‖ = 1' should refer to condition (vi), not (v).
  3. [Section 3, proof of (iv)=>(v)] The final sentence 'This proves (iv)' should read 'This proves (v)'.
  4. [Section 3, proof of (vi)=>(i)] The phrase 'we can assume that e∈E' needs justification; one should first replace E by E∪{e} and then apply the argument to the larger set.
  5. [Section 3, diagram in (iv)=>(v)] The commutative diagram is hard to read: the leftmost node is written as F^p(G) rather than F^p_λ(G), and the arrows involving λ_p and \widetilde h are confusingly placed. Please redraw it with clear domain and codomain labels.
  6. [Title and abstract] The word 'OPERA TOR' in the title contains an unintended space; it should be 'OPERATOR'.
  7. [Definition 1.1] The citation '[1, Proposition 5.1(a)]' attached to the definition of p-nuclearity is unusual; the cited proposition apparently proves or uses the notion, and the original definition should be cited instead.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the converse is derived from independent results by An–Lee–Ruan, Daws, and Fan–Glicksberg; self-citations appear only in examples, while the internal gap in Claim 1 of (iv)=>(v) is a correctness failure, not a circular reduction.

full rationale

Walking the derivation chain of Theorem 1.5: (i)=>(ii) is imported from An–Lee–Ruan [1, Prop. 5.1]; (ii)=>(iii) uses the p-nuclear approximating maps together with [1, Thm 3.12], which identifies injective and projective p-operator tensor products with matrix algebras having p-OAP; (iii)=>(iv) uses Daws [10, Prop. 4.8] (the p-operator projective tensor norm is the largest); (iv)=>(v) factors the diagonal representation through the injective tensor product via θ = tilde-h ∘ ι; (v)=>(vi) is a one-line norm comparison; (vi)=>(i) is a Følner-type argument using Fan–Glicksberg [12] uniform convexity. No step defines p-nuclearity in terms of amenability, no fitted parameter is renamed as a prediction, and no ansatz is smuggled in by citation. The self-citations [39, 40, 41] occur only in the introduction, Remark 1.2 ("The p-nuclearity is not equivalent to the amenability of Lp-operator algebras. The reader is referred to [41, Remark 1.4 (iii)] for some examples"), and Example 1.3; they are not load-bearing for the main claim. The black box [1, Theorem 3.12] is external and its hypotheses (p-OAP of M^p_n) do not include the target equivalence, so citing it is real evidence. The genuine defects are correctness issues, not circularity: Claim 1 in (iv)=>(v) claims ||θ(f)ξ|| = ||λ_p(f)ρ_p(f)ξ||, but θ(f) = σ_p(f) = Σ_s f(s)λ_p(s)ρ_p(s), which differs from λ_p(f)ρ_p(f) by cross terms (for f = δ_s + δ_t, the latter contains δ_{st^{-1}} + δ_{ts^{-1}}), so ||θ|| ≤ 1 is unproved and the implication (iv)=>(v) does not follow. Cross-reference typos ("Now we will prove (iv)" while proving (v); "by (iv)" in (v)=>(vi); "by (v)" in (vi)=>(i)) further signal proof gaps. These break the proof chain but do not make the derivation equivalent to its inputs.

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

No parameters are fitted and no new entities are postulated. The proof imports standard p-operator space machinery and several theorems from the literature; the most load-bearing imported result is [1, Theorem 3.12] in the step (ii)=>(iii).

assumptions (5)
  • domain assumption Every p-operator space embeds p-completely isometrically into B(E) for some E∈SQ_p (Le Merdy, [28, Theorem 4.1]).
    Invoked in Section 2.1 to justify the p-operator space structure on B(E) and to define the p-operator space dual via CB_p spaces.
  • domain assumption M^p_n has the p-OAP and, by [1, Theorem 3.12], M^p_n∨p⊗F is canonically isomorphic to M^p_n∧p⊗F for every p-operator space F.
    Used in Section 3, (ii)=>(iii), to build the inverse map between the tensor products of F^p_λ(G) with itself.
  • standard math The p-operator space projective tensor norm is the largest p-operator space tensor norm ([10, Proposition 4.8]).
    Used in Section 3, (iii)=>(iv), to extend the biregular representation to the projective tensor product.
  • standard math For 1<p<∞, ℓ^p(G) is uniformly convex and full k-convex for every k≥2 (Fan-Glicksberg, [12]).
    Used in Section 3, (vi)=>(i), to pass from near-maximal norm of an averaged operator to pairwise closeness of the translated unit vectors.
  • domain assumption A discrete group is amenable if and only if there is a net of nonnegative unit vectors in ℓ^p(G) approximately invariant under the left regular representation ([9, Definition 11.2.3]).
    Used as the final target condition in Section 3, (vi)=>(i).

how reviews work

0 comments
Cite this review

Pith. "Pith review of $p$-nuclearity of reduced group $L^p$-operator algebras." pith.science (2026). https://pith.science/paper/ORE6R7TK

@misc{pith2026241218643,
  author       = {Pith},
  title        = {Pith review of: $p$-nuclearity of reduced group $L^p$-operator algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ORE6R7TK}},
  note         = {Machine review of arXiv:2412.18643}
}
abstract

Let $p\in (1,\infty)$ and let $G$ be a discrete group. G. An, J.-J. Lee and Z.-J. Ruan introduced $p$-nuclearity for $L^p$-operator algebras. They proved that the reduced group $L^p$-operator algebra $F^p_\lambda(G)$ is $p$-nuclear if $G$ is amenable. In this paper, we show that the converse is true. This answers an open problem concerning the $p$-nuclearity for reduced group $L^p$-operator algebras of N. C. Phillips.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

41 extracted references · 36 canonical work pages

  1. [1]

    G. An, J-J. Lee, Z-J. Ruan, On p-approximation properties for p-operator spaces, J. Funct. Anal. 259 (2010), no. 4, 933–974

    work page 2010

  2. [2]

    Anantharaman-Delaroche, On tensor products of group C ∗ -algebras and related topics, Limits of graphs in group theory and computer scienc e, EPFL Press, Lausanne, 2009, pp

    C. Anantharaman-Delaroche, On tensor products of group C ∗ -algebras and related topics, Limits of graphs in group theory and computer scienc e, EPFL Press, Lausanne, 2009, pp. 1–35

    work page 2009

  3. [3]

    Blecher and N

    D. Blecher and N. C. Phillips, Lp operator algebras with approximate identities I. Pacific J. Math. 303 (2019), no. 2, pp. 401–457

    work page 2019

  4. [4]

    N. P. Brown, N. Ozawa, C ∗ -algebras and finite-dimensional approximations, Graduat e Studies in Mathematics 88, American Mathematical Society, Providence, RI, 2008

    work page 2008

  5. [5]

    Connes, On the cohomology of operator algebras, J

    A. Connes, On the cohomology of operator algebras, J. Fun ct. Anal. 28 (1978), no. 2, 248–253

    work page 1978

  6. [6]

    M. D. Choi, E. G. Effros, Nuclear C ∗ -algebras and the approximation property, Amer. J. Math. 100 (1978), no. 1, 61–79

    work page 1978

  7. [7]

    Y. Choi, E. Gardella, H. Thiel, Rigidity results for Lp-operator algebras and applica- tions, Adv. Math. 452 (2024), Paper No. 109747, 47 pp

    work page 2024

  8. [8]

    Chung, Yeong Chyuan, Li, Kang, Rigidity of lp Roe-type algebras, Bull. Lond. Math. Soc. 50 (2018), no. 6, 1056–1070

    work page 2018

Show all 41 references
  1. [9]

    Garth Dales, P

    H. Garth Dales, P. Aiena; E. J ¨ org, K. Laursen and George A. Willis, Introduction to Banach algebras, operators, and harmonic analysis, London Math. Soc. Stud. Texts, 57 Cambridge University Press, Cambridge, 2003, xii+324 pp . 10 Z. W ANG

    2003

  2. [10]

    Daws, p-operator spaces and Fig ` a-Talamanca–Herz algebras, J

    M. Daws, p-operator spaces and Fig ` a-Talamanca–Herz algebras, J. Operator Theory 63 (2010), no. 1, 47–83

    2010

  3. [11]

    E. M. Elkiær, Symmetrized pseudofunction algebras fro m Lp-representations and amenability of locally compact groups, preprint arXiv:241 1.07710v1 [math.F A] (2024)

    2024

  4. [12]

    K. Fan, I. Glicksberg, Some geometric properties of the spheres in a normed linear space, Duke Math. J. 25 (1958), 553–568

    1958

  5. [13]

    Gardella, H

    E. Gardella, H. Thiel, Group algebras acting on Lp-spaces, J. Fourier Anal. Appl. 21(2015), no.6, 1310-1343

    2015

  6. [14]

    Gardella, H

    E. Gardella, H. Thiel, Banach algebras generated by an i nvertible isometry of an Lp-space, J. Funct. Anal. (2015), 1796–1839

    2015

  7. [15]

    Gardella, M

    E. Gardella, M. Lupini, Representations of ´etale groupoids on Lp-spaces, Adv. Math., 318 (2017), pp. 233–278

    2017

  8. [16]

    Gardella, H

    E. Gardella, H. Thiel, Representations of p-convolution algebras on Lq-spaces, Trans. Amer. Math. Soc. 371 (2019), 2207–2236

    2019

  9. [17]

    Gardella, A modern look at algebras of operators on Lp-spaces, Expo

    E. Gardella, A modern look at algebras of operators on Lp-spaces, Expo. Math. 39 (2021), no. 3, 420–453

    2021

  10. [18]

    Gardella, H

    E. Gardella, H. Thiel, Isomorphisms of algebras of conv olution operators, Ann. Sci. ´Ec. Norm. Sup ´ er. (4) 55 (2022), no. 5, 1433–1471

    2022

  11. [19]

    Haagerup, All nuclear C ∗ -algebras are amenable, Invent

    U. Haagerup, All nuclear C ∗ -algebras are amenable, Invent. Math. 74 (1983), no. 2, 305–319

    1983

  12. [20]

    Herz, The theory of p-spaces with an application to convolution operators, Tran s

    C. Herz, The theory of p-spaces with an application to convolution operators, Tran s. Amer. Math. Soc. 154 (1971), pp. 69–82

    1971

  13. [21]

    Herz, Harmonic synthesis for subgroups, Ann

    C. Herz, Harmonic synthesis for subgroups, Ann. Inst. F ourier (Grenoble), 23 (1973), 91–123

    1973

  14. [22]

    Herz, On the asymmetry of norms of convolution operat ors, I

    C. Herz, On the asymmetry of norms of convolution operat ors, I. J. Funct. Anal. 23 (1976), no. 1, 11–22

    1976

  15. [23]

    B. E. Johnson, Cohomology in Banach algebras, Memoirs o f the American Mathe- matical Society, No. 127. American Mathematical Society, P rovidence, R.I., 1972

    1972

  16. [24]

    Kirchberg, C ∗ -nuclearity implies CPAP, Math

    E. Kirchberg, C ∗ -nuclearity implies CPAP, Math. Nachr. 76 (1977), 203–212

    1977

  17. [25]

    Kwapie ´ n, On operators factorizable through Lp space, Suppl ´ ement au Bull

    S. Kwapie ´ n, On operators factorizable through Lp space, Suppl ´ ement au Bull. Soc. Math. France, Tome 100 Soci ´ et´ eMath´ ematique de France, Paris, 1972, pp. 215–225

    1972

  18. [26]

    E. C. Lance, On nuclear C ∗ -algebras, J. Funct. Anal. 12 (1973), 157–176

    1973

  19. [27]

    Lee, On p-operator spaces and their applications, ProQuest LLC, Ann Arbor, MI, 2010, 118 pp

    J-J. Lee, On p-operator spaces and their applications, ProQuest LLC, Ann Arbor, MI, 2010, 118 pp

    2010

  20. [28]

    Le Merdy, Factorization of p-completely bounded multilinear maps, Pacific J

    C. Le Merdy, Factorization of p-completely bounded multilinear maps, Pacific J. Math. 172 (1996), no. 1, 187–213

    1996

  21. [29]

    N. C. Phillips, Analogs of Cuntz algebras on Lp spaces, preprint arXiv:1201.4196 [math.F A] (2012)

    2012 arXiv

  22. [30]

    N. C. Phillips, Simplicity of UHF and Cuntz algebras on Lp spaces, preprint arXiv: 1309.0115 [math.F A] (2013)

    2013 arXiv

  23. [31]

    N. C. Phillips, Isomorphism, nonisomorphism, and amen ability of Lp UHF algebras, preprint arXiv: 1309.3694v2 [math.F A] (2013)

    2013 arXiv

  24. [32]

    N. C. Phillips, Crossed products of Lp operator algebras and the K-theory of Cuntz algebras on Lp spaces, preprint arXiv:1309.6406 [math.F A] (2013)

    2013 arXiv

  25. [33]

    N. C. Phillips, Open problems related to operator algeb ras on Lp spaces, preprint, 2014, https://pdfs.semanticscholar.org/0823/5038ec45079e7721a59021a4492da2c2b1a3.pdf

    2014

  26. [34]

    look like

    N. C. Phillips, Operator algebras on Lp spaces which "look like" C ∗ -algebras, 2014, https://pages.uoregon.edu/ncp/Talks/20140527_G POTS/LpOpAlgs_Talk- Summary.pdf

    2014

  27. [35]

    N. C. Phillips and M. G. Viola, Classification of Lp AF algebras, Internat. J. Math. 31 (2020), no. 13, 2050088, 41 pp. p-NUCLEARITY OF REDUCED GROUP Lp-OPERATOR ALGEBRAS 11

    2020

  28. [36]

    Pisier, Tensor products of C ∗ -algebras and operator spaces–the Connes-Kirchberg problem, London Math

    G. Pisier, Tensor products of C ∗ -algebras and operator spaces–the Connes-Kirchberg problem, London Math. Soc. Stud. Texts, 96 Cambridge Univer sity Press, Cambridge, 2020, x+484 pp

    2020

  29. [37]

    R. R. Smith, Completely contractive factorizations of C ∗ -algebras, J. Funct. Anal. 64 (1985), no. 3, 330–337

    1985

  30. [38]

    Takesaki, On the cross-norm of the direct product of C ∗ -algebras, Tohoku Math

    M. Takesaki, On the cross-norm of the direct product of C ∗ -algebras, Tohoku Math. J. (2) 16 (1964), 111–122

    1964

  31. [39]

    Q. Wang, Z. Wang, Notes on the lp-Toeplitz algebra on lp(N), Israel J. Math. 245 (2021), no. 1, 153–163

    2021

  32. [40]

    Z. Wang, S. Zhu, On the Takai duality for Lp operator crossed products, Math. Z. 304 (2023), no. 4, Paper No. 54, 23 pp

    2023

  33. [41]

    Z. Wang, S. Zhu, p-nuclearity of Lp-operator crossed products, preprint arXiv:2305.03933v2 [math.F A] (2024). School of Ma thema tics, HangZhou Normal University, HangZh ou 311121, P. R. China Email address : wangzhen@hznu.edu.cn

    2024 arXiv

Pith tools

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