Pith. sign in

REVIEW 2 major objections 3 minor 20 references

An E-sum of Banach algebras is amenable exactly when the summands' amenability constants are uniformly bounded, with a sharp two-sided estimate depending only on the lattice's finite-support norms.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · deepseek-v4-flash

2026-08-03 11:21 UTC pith:D7EV2TSH

load-bearing objection Main amenability theorem is clean and sharp; the weak amenability section overreaches in Lemma 7.4 and needs repair before publication. the 2 major comments →

arxiv 2601.06680 v2 pith:D7EV2TSH submitted 2026-01-10 math.FA

Amenability constants for unconditional sums of Banach algebras

Tomasz Kania , Jerzy K\k{a}kol This is my paper
classification math.FA MSC 46H2046M1846B42
keywords amenability constantweak amenabilityBanach algebrasunconditional sumsE-sumsc0-sumsBanach sequence latticesJames sums
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper proves that for an unconditional direct sum of Banach algebras over a Banach sequence lattice E, Johnson amenability is equivalent to a uniform bound on the amenability constants of the summands, provided C_E — the supremum of the E-norms of finite characteristic functions — is finite. The main theorem gives the two-sided estimate sup_i AM(A_i) ≤ AM(A) ≤ C_E^2 sup_i AM(A_i), and shows the factor C_E^2 is optimal. It also shows finiteness of C_E is necessary whenever infinitely many unital summands are present. The framework recovers the classical c0-sum formula over arbitrary index sets and extends it to weighted and Orlicz sequence settings, and it yields an obstruction principle for conditional James-type sums. A separate analysis of weak amenability reveals a sharp divergence: ℓp-sums of infinitely many non-commutative weakly amenable algebras are not weakly amenable.

Core claim

Theorem 4.1 is the paper's central result: if E is a solid Banach sequence lattice on I with C_E = sup{||χ_F||_E : F finite} < ∞, then the E-sum A = (⊕_{i∈I} A_i)_E is amenable if and only if sup_i AM(A_i) < ∞, and in that case sup_i AM(A_i) ≤ AM(A) ≤ C_E^2 sup_i AM(A_i). The proof compares the E-norm with the ℓ∞-norm on finite supports, applies the finite-sum formula for ℓ∞ direct sums, and passes to the dense union of finite-support subalgebras. The upper bound is sharp: for n copies of C with the ℓ2-norm, AM(A) = n = C_E^2, so the factor C_E^2 cannot be replaced by C_E in general. A companion result shows that a bounded approximate identity on the sum forces C_E to be finite on the suppor

What carries the argument

The central object is the E-sum (⊕_{i∈I} A_i)_E over a Banach sequence lattice E that is solid, contracts into ℓ∞, and has c00(I) dense. The key identity is the norm comparison ||x||_∞ ≤ ||x||_E ≤ C_E ||x||_∞ on finitely supported vectors, with C_E = sup{||χ_F||_E : F finite}. This transfers amenability constants between the E-sum and ℓ∞-sums of finite blocks using the standard permanence results for virtual diagonals: the quotient estimate (Lemma 2.3) and the directed dense-union estimate (Lemma 2.4).

Load-bearing premise

The main theorem depends on E being a solid Banach sequence lattice for which the norms of finite characteristic functions are uniformly bounded; without solidity the E-sum may not even be a Banach algebra with the stated constant, and without C_E < ∞ the equivalence fails for infinite families.

What would settle it

A concrete test of the sharpness claim is to seek a virtual diagonal for (C^n, ||·||_2) with norm strictly less than n; the paper proves the unique virtual diagonal is Σ e_i⊗e_i with projective norm n, so any smaller-norm diagonal would refute Proposition 5.10. To test the necessity of C_E < ∞, construct an infinite family of unital Banach algebras with sup AM(A_i) < ∞ and an E-lattice with C_E = ∞ such that the E-sum nonetheless admits a bounded approximate identity; Proposition 4.3 would then be contradicted.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

Share X Bluesky LinkedIn Reddit HN

If this is right

  • For any (possibly uncountable) index set, the c0-sum of Banach algebras satisfies AM(c0-⊕ A_i) = sup_i AM(A_i); amenability occurs exactly when the constants are bounded.
  • Weighted c0-sums over weights w_i ≥ 1 have amenability controlled by (sup w_i)^2 sup_i AM(A_i), and infinite unital families force sup w_i < ∞.
  • Orlicz sequence heart E = h_φ(I) has C_E finite exactly when φ vanishes near 0; in that case the E-sum obeys the same amenability equivalence, and otherwise ℓp-type sums of infinitely many unital algebras are not amenable.
  • The constant C_E^2 in the main estimate is optimal: the ℓ2-sum of n copies of C has AM = n, so the upper bound cannot in general be improved to C_E.
  • Weak amenability in the c0-type regime (C_E < ∞) is equivalent to uniform weak amenability of summands, with a two-sided constant C_E^2; but for ℓp (1 < p < ∞) with infinitely many noncommutative weakly amenable summands, the sum is not weakly amenable.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The theorem suggests a general design principle: any unconditional sequence construction that is amenable must force the coefficient lattice to be c0-like and the summand constants to be uniformly bounded; this could serve as a quick obstruction check for proposed amenability constructions.
  • The sharpness example with ℓ2^n indicates that the optimal constant in the two-sided estimate is exactly C_E^2, a purely geometric quantity of the lattice; one could test whether examples with C_E not equal to 1 always achieve the upper bound when summand constants are equal.
  • The weak amenability failure for ℓp-sums highlights that positivity phenomena from commutative or c0-type settings do not survive in ℓp; one could investigate whether tensor-product analogues (e.g., ℓp-tensor norms) exhibit similar rigidity.
  • The J-sum discussion implies the unconditional criteria can be 'exported' to conditional constructions: any coordinate algebra in a J-sum that is an E-sum must inherit the uniform bounds if the J-sum is amenable, giving a new method to disprove amenability of conditional sums by exhibiting an E-sum coordinate with unbounded constants.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 3 minor

Summary. The paper studies Johnson amenability and weak amenability of unconditional E-sums of Banach algebras, where E is a Banach sequence lattice on an index set I. The central result, Theorem 4.1, states that if C_E = sup{‖χ_F‖_E : F finite} < ∞, then the E-sum A is amenable iff sup_i AM(A_i) < ∞, with the two-sided estimate sup_i AM(A_i) ≤ AM(A) ≤ C_E^2 sup_i AM(A_i). The proof uses standard permanence lemmas: quotients, finite sums, and directed dense unions. Applications include the classical c0-sum formula over arbitrary index sets, weighted c0-sums, Orlicz sequence algebra sums, and consequences for conditional J-sums. The constant C_E^2 is shown sharp in Proposition 5.10 via ℓ_2^n. Section 7 treats weak amenability: weak amenability is claimed to pass to summands, E-sums of commutative weakly amenable algebras are claimed weakly amenable, and an ℓ_p-sum of infinitely many copies of a noncommutative weakly amenable algebra is claimed not weakly amenable. A c0-type quantitative estimate is given in Corollary 7.8.

Significance. The main amenability result is a clean, parameter-free theorem with explicit constants. It recovers the classical c0-sum formula, gives a sharpness example, and has several useful applications. The proof of Theorem 4.1 is carefully structured and does not depend on the weak-amenability section. If the weak-amenability gaps are repaired, the paper will be a solid contribution to the homological theory of Banach algebras. The paper supplies no fitted parameters or circular assumptions; the main estimate follows from standard permanence lemmas.

major comments (2)
  1. [§7, Lemma 7.4] The lemma claims that weak amenability of A implies A^2 = A. The proof is not valid as written: from A^2 ≠ A it passes to a nonzero ψ ∈ A^* vanishing on A^2 via Hahn–Banach, which is only possible when A^2 is not dense. If A^2 is a proper dense subspace, no nonzero continuous annihilator exists. The argument actually proves the standard weaker statement that \overline{A^2} = A. This matters because Proposition 7.5, Theorem 7.6(2), Lemma 7.7, and Corollary 7.8 all invoke Lemma 7.4 to pass from a functional annihilating A_i^2 to one annihilating A_i. The later uses are repairable, since a continuous functional vanishing on a dense subspace vanishes on the whole space, but as written the weak-amenability part rests on an unproved and, in the stated generality, likely false lemma.
  2. [§7, Corollary 7.8] The stated lower bound sup_i WAM(A_i) ≤ WAM(A_E) is not established. The proof uses the identity isomorphism T : (⊕A_i)_E → (⊕A_i)_{c0}, with ‖T‖ ≤ 1 and ‖T^{-1}‖ ≤ C_E, and then says 'similarly in the other direction'. That only yields WAM(A_E) ≤ C_E^2 WAM(A_{c0}) and WAM(A_{c0}) ≤ C_E^2 WAM(A_E). Combining with Lemma 7.7 gives sup_i WAM(A_i) ≤ C_E^2 WAM(A_E), not the constant-1 lower bound. Proposition 7.5 gives only the weaker bound sup_i WAM(A_i) ≤ C_E WAM(A_E), since ‖δ_i‖_E ≤ C_E. The corollary should either prove the stronger lower bound directly or state the estimate with the constant that actually follows.
minor comments (3)
  1. [§4, Proposition 4.3] The proof uses the contractivity of the coordinate truncation map P_F without stating it. This follows from solidity of E, but a one-sentence justification would make the argument more transparent.
  2. [§5.2, Proposition 5.2] The dependence of the results on the chosen normalization (sup_i w_i|x_i| versus sup_i |x_i|/w_i) is clarified in Remark 5.3, but the convention is worth repeating in the statement of Proposition 5.2 for readability.
  3. [§7, Lemma 7.7] After Lemma 7.4 is corrected to a density statement, the sentence 'products yw span a dense subset of A_j (by A_j^2 = A_j)' should be phrased as 'span a dense subset (by \overline{A_j^2} = A_j)' to avoid repeating the overclaim.

Circularity Check

0 steps flagged

No significant circularity: the main amenability theorem is a parameter-free derivation from standard permanence lemmas.

full rationale

The paper's central derivation (Theorem 4.1 and its corollaries) is self-contained: the lower bound AM(A_i) ≤ AM(A) comes from contractive quotient projections and Lemma 2.3, while the upper bound AM(A) ≤ C_E^2 sup AM(A_i) is obtained by approximating A by finite-support subalgebras, using the finite ℓ∞-sum formula (Lemma 2.5) and the estimate ∥q_F∥ ≤ C_E. The sharpness example (Proposition 5.10) computes AM(C^n, ℓ2) = n and C_E = √n directly, without assuming the theorem. The c0-formula is recovered as a corollary, not used as an input. No fitted parameters or data are involved, and no load-bearing self-citation appears: references to Runde, Johnson, Bellenot, Koczorowski–Piszczek, etc. are external or standard and are not used to define the main objects. The weak-amenability section relies on standard permanence arguments and Lemma 7.4; the reviewer's concern that Lemma 7.4 may need to be replaced by density-of-A^2 is a correctness/gap issue, not a circularity issue, since the later uses would be repairable by replacing equality with density. Thus the derivation chain does not reduce to its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 8 axioms · 0 invented entities

The paper relies entirely on standard Banach algebra permanence results and explicit sequence-lattice axioms. No numerical parameters are fitted and no new mathematical entities are postulated. The only notable unstated fact is the ℓp-dual identification, which is standard but not cited.

axioms (8)
  • standard math Virtual diagonal characterization of amenability and amenability constants
    Definition 2.1; the foundational framework for the paper.
  • standard math Surjective quotient permanence: AM(B) ≤ ∥q∥^2 AM(A)
    Lemma 2.3; used to get the lower bound in Theorem 4.1 and the J-sum obstruction Corollary 6.10.
  • standard math Directed dense union permanence: AM(A) ≤ sup_λ AM(B_λ)
    Lemma 2.4; used to pass from finite-support subalgebras to the full E-sum in Theorem 4.1.
  • standard math Finite ℓ∞-sum formula: AM(A_1 ⊕∞ ⋯ ⊕∞ A_n) = max_j AM(A_j)
    Lemma 2.5, attributed to Runde [19]; used in the upper bound of Theorem 4.1.
  • standard math Amenable Banach algebras admit bounded approximate identities
    Used in Proposition 4.3 and Corollary 5.6 to force C_E < ∞ when infinitely many unital summands are present.
  • domain assumption Solid sequence lattice with contractive inclusion into ℓ∞ makes E a Banach algebra and coordinate projections contractive
    Definition 3.1 and Lemma 3.6; the entire E-sum construction depends on solidity and the normalisation (c).
  • standard math Dual identification ℓp(I,B)* ≅ ℓq(I,B*) for 1 ≤ p < ∞
    Used in Theorem 7.6(3) and Lemma 7.7 to view derivations as maps into the dual module; not explicitly proved or cited, but standard for ℓp-sums.
  • standard math Weak amenability implies A^2 = A
    Lemma 7.4; used in the commutative weak-amenability result and in Lemma 7.7.

pith-pipeline@v1.3.0-alltime-deepseek · 18860 in / 22684 out tokens · 224051 ms · 2026-08-03T11:21:31.948605+00:00 · methodology

0 comments
Cite this review

Pith. "Pith review of Amenability constants for unconditional sums of Banach algebras." pith.science (2026). https://pith.science/paper/D7EV2TSH

@misc{pith2026260106680,
  author       = {Pith},
  title        = {Pith review of: Amenability constants for unconditional sums of Banach algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/D7EV2TSH}},
  note         = {Machine review of arXiv:2601.06680}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

We study Johnson amenability for unconditional direct sums of Banach algebras. Given a family $(A_i)_{i\in I}$ of Banach algebras and a Banach sequence lattice $E$ on~$I$, the $E$-sum $\bigl(\bigoplus_{i\in I} A_i\bigr)_{\!E}$ carries a natural Banach algebra structure via coordinatewise multiplication. Under the hypothesis that $C_E := \sup\{\|\chi_F\|_E: F\subseteq I\text{ finite}\}<\infty$, we prove that this $E$-sum is amenable if and only if the amenability constants of the summands are uniformly bounded, and we establish the two-sided estimate \[ \sup_{i\in I}\text{AM}(A_i) \;\le\; \text{AM}\Bigl(\bigl(\textstyle\bigoplus_{i\in I} A_i\bigr)_{\!E}\Bigr) \;\le\; C_E^2\,\sup_{i\in I}\text{AM}(A_i). \] We show that the factor $C_E^2$ is sharp by exhibiting finite-dimensional examples where equality holds. We further prove that finiteness of $C_E$ is necessary whenever infinitely many summands are non-zero and the sum admits a bounded approximate identity. As applications, we recover the classical formula $\text{AM}\bigl(c_0\text{-}\bigoplus_{i\in I} A_i\bigr) = \sup_{i\in I}\text{AM}(A_i)$ for arbitrary (possibly uncountable) index sets, extend it to weighted $c_0$-spaces, and characterise amenability for Orlicz sequence algebra sums. We also record how these unconditional criteria give obstructions within the conditional framework of James-type $J$-sums. Finally, we investigate weak amenability of $E$-sums. We prove that weak amenability passes to summands, that $E$-sums of commutative weakly amenable algebras are weakly amenable, and--contrasting sharply with the Johnson amenability picture--that for $1 < p < \infty$, the $\ell_p$-sum of infinitely many copies of a non-commutative weakly amenable algebra fails to be weakly amenable. In the $c_0$-type regime ($C_E < \infty$), we establish two-sided estimates for weak amenability constants with constants depending only on $C_E$.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

20 extracted references · 1 linked inside Pith

  1. [1]

    Amini,Module amenability for semigroup algebras, Semigroup Forum69(2004), 243–254

    M. Amini,Module amenability for semigroup algebras, Semigroup Forum69(2004), 243–254

    2004

  2. [2]

    A. D. Andrew and W. L. Green,On James’ quasi-reflexive Banach space as a Banach algebra, Canad. J. Math.32(1980), 1080–1101

    1980

  3. [3]

    S. F. Bellenot,TheJ-sum of Banach spaces, J. Funct. Anal.48(1982), no. 1, 95–106

    1982

  4. [4]

    Connes,Classification of injective factors, Ann

    A. Connes,Classification of injective factors, Ann. of Math. (2)104(1976), 73–115

    1976

  5. [5]

    H.G.Dales,Banach algebras and automatic continuity, LondonMath.Soc.Monographs, NewSeries, vol.24, Oxford University Press, 2000

    2000

  6. [6]

    Ghahramani and R

    F. Ghahramani and R. J. Loy,Generalized notions of amenability, J. Funct. Anal.208(2004), 229–260

    2004

  7. [7]

    González and J

    M. González and J. Pelló,Complemented subspaces ofJ-sums of Banach spaces, arXiv:2305.11593 (2023)

    Pith/arXiv arXiv 2023

  8. [8]

    Haagerup,All nuclearC ∗-algebras are amenable, Invent

    U. Haagerup,All nuclearC ∗-algebras are amenable, Invent. Math.74(1983), 305–319

    1983

  9. [9]

    A. Ya. Helemskii,The homology of Banach and topological algebras, Mathematics and its Applications (Soviet Series), vol. 41, Kluwer, Dordrecht, 1989

    1989

  10. [10]

    R. C. James,Separable conjugate spaces, Pacific J. Math.10(1960), 563–571

    1960

  11. [11]

    B. E. Johnson,Cohomology in Banach algebras, Mem. Amer. Math. Soc.127(1972)

    1972

  12. [12]

    B. E. Johnson,Non-amenability of the Fourier algebra of a compact group, J. London Math. Soc. (2)50 (1994), no. 2, 361–374

    1994

  13. [13]

    Kiran and A

    S. Kiran and A. I. Singh,TheJ-sum of Banach algebras and some applications, Yokohama Math. J.36 (1988), 1–20

    1988

  14. [14]

    Koczorowski and K

    K. Koczorowski and K. Piszczek,Weak amenability of Banach algebra-valuedℓp-sequence algebras, Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat.118(2024), Article 89

    2024

  15. [15]

    Separable conjugate spaces

    J. Lindenstrauss,On James’ paper “Separable conjugate spaces”, Israel J. Math.9(1971), 279–284

    1971

  16. [16]

    Piszczek,Amenable Köthe co-echelon algebras, Math

    K. Piszczek,Amenable Köthe co-echelon algebras, Math. Nachr.292(2019), no. 6, 1333–1348

    2019

  17. [17]

    A. Yu. Pirkovskii and K. Piszczek,Topological amenability and Köthe co-echelon algebras, Banach J. Math. Anal.16(2022), Paper No. 13

    2022

  18. [18]

    Runde,Lectures on amenability, Lecture Notes in Mathematics, vol

    V. Runde,Lectures on amenability, Lecture Notes in Mathematics, vol. 1774, Springer-Verlag, Berlin, 2002

    2002

  19. [19]

    Runde,Amenable Banach algebras, Springer Monographs in Mathematics, Springer, Cham, 2020

    V. Runde,Amenable Banach algebras, Springer Monographs in Mathematics, Springer, Cham, 2020

    2020

  20. [20]

    Sangani Monfared,Character amenability of Banach algebras, Math

    M. Sangani Monfared,Character amenability of Banach algebras, Math. Proc. Cambridge Philos. Soc.144 (2008), 697–706. (T. Kania)Mathematical Institute, Czech Academy of Sciences, vZitná 25, 115 67 Praha 1, Czech Republic and Institute of Mathematics and Computer Science, Jagiellonian University, Łojasiewicza 6, 30-348 Kraków, Poland Email address:kania@mat...

    2008