REVIEW 6 minor 57 references
Homological dimensions of Banach spaces
T0 review · 0 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Kadec's separable Banach space has nonzero self-extensions at every length, making it the first known example of a separable space with infinite homological dimension.
desk verdict The first separable Banach space with nonzero self-extensions at every finite length is real and the central proof holds up, but the abstract overclaims the Hilbert-space result and an auxiliary assertion is unproved. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The main workhorse is the iterated projective kernel $\kappa^n(X)$, obtained by repeatedly taking the kernel of a projective ($\ell_1$) presentation of $X$, together with the reduction formula $\operatorname{Ext}^n(X,Y) = \operatorname{Ext}^1(\kappa^{n-1}(X),Y)$. For $L_1$-spaces, a result of Lindenstrauss and Rosenthal ensures each $\kappa^n(L_1)$ is again an $L_1$-space; the non-triviality comes from the fact that these kernels are not isomorphic to $\ell_1$ and are uncomplemented in their bidual, so the corresponding projective presentations cannot split. Kadec's space $K$ then acts as a universal receptacle: because every separable space with the bounded approximation property, including $L_1$ and its kernels, appears as a complemented subspace of $K$, the heredity lemma transfers the nonzero $\operatorname{Ext}^n$ from $L_1$ to $K$ itself.
What would settle it
Find some $n \geq 1$ for which the $n$-th iterated projective kernel $\kappa^n(L_1)$ is isomorphic to $\ell_1$ (or is a projective Banach space). Then $\operatorname{Ext}^n(L_1, \kappa^n L_1) = 0$, and the heredity argument yielding $\operatorname{Ext}^n(K,K) \neq 0$ would fail. More directly, exhibit any $n$ with $\operatorname{Ext}^n(K,K) = 0$ for Kadec's space; that would contradict Proposition 5.1.
Extended reading notes
Core claim
The paper's central claim is that Kadec's separable Banach space $K$, which contains complemented copies of every separable Banach space with the bounded approximation property, satisfies $\operatorname{Ext}^n(K,K) \neq 0$ for all $n \geq 1$. Consequently $\operatorname{pd}(K) = \operatorname{id}(K) = \infty$. The argument first shows that for $X = L_1$ every iterated projective kernel $\kappa^n(X)$ is an $L_1$-space not isomorphic to $\ell_1$ and uncomplemented in its bidual, so the $n$-exact sequences built from these kernels do not split and $\operatorname{Ext}^n(L_1, \kappa^n L_1) \neq 0$. Since $L_1$ and all $\kappa^n(L_1)$ have the bounded approximation property, they embed as complemented subspaces of $K$, and the heredity lemma for $\operatorname{Ext}$ (if $\operatorname{Ext}^n(X,Y)=0$ then $\operatorname{Ext}^n(A,B)=0$ for complemented subspaces) forces $\operatorname{Ext}^n(K,K) \neq 0$.
Load-bearing premise
The proof requires that every iterated projective kernel of $L_1$ is an $L_1$-space not isomorphic to $\ell_1$ and uncomplemented in its bidual; if any one of these kernels were projective or isomorphic to $\ell_1$, the chain of nonzero self-extensions for Kadec's space would collapse.
Editorial extensions
If this is right
- This is the first separable Banach space known to have a nonzero self-extension at every finite length, so its projective and injective dimensions are both infinite.
- The reduction formula $\operatorname{Ext}^n(X,Y) = \operatorname{Ext}^1(\kappa^{n-1}(X),Y)$ gives an iterative way to compute higher Ext: pass to the projective kernel and compute ordinary Ext.
- The result confirms Wodzicki's expectation that homological dimensions are infinite for most classical spaces, with $L_1$ itself already having infinite projective dimension.
- Because $K$ contains complemented copies of every separable BAP space, any pair of separable BAP spaces $X,Y$ with $\operatorname{Ext}^n(X,Y) \neq 0$ yields nonzero $\operatorname{Ext}^n(K,Y)$ and $\operatorname{Ext}^n(X,K)$, as the authors explicitly note.
Reading between the lines
- The same 'universal receptacle' strategy could be applied to any space that contains complemented copies of a family of spaces with non-splitting iterated kernels, potentially producing many more examples of infinite homological dimension.
- The argument relies on the bounded approximation property to place $L_1$ and its kernels inside $K$; a separable space lacking BAP might sidestep the heredity transfer, so the role of BAP here is genuinely load-bearing.
- The Hilbert-space question (whether $\operatorname{pd}(\ell_2)$ and $\operatorname{id}(\ell_2)$ are infinite) remains open, but the paper's reduction formula suggests that a negative answer would require exhibiting reflexive spaces with non-splitting higher extensions, which the authors note is currently out of reach.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops the theory of the functors Ext^n in the category of Banach spaces, giving length-reduction formulas via projective and injective presentations, several vanishing and non-vanishing results, and a comparison of Ext^2 in the Banach and quasi-Banach settings. Its central theorem (Proposition 5.1) states that for Kadec's separable universal space K, Ext^n(K,K) is nonzero for every n, so that both the projective and injective dimensions of K are infinite. The proof combines Wodzicki's result that L1 has infinite projective dimension, the fact that L1-spaces have the bounded approximation property, Kadec's theorem that K contains complemented copies of every separable Banach space with the BAP, and Lemma 4.1 on complemented subspaces. The paper also records several auxiliary examples and remarks, and it explicitly leaves open the computation of pd(ℓ2) and id(ℓ2).
Significance. If correct, the main theorem provides the first example of a separable Banach space with nonzero self-extensions at every finite length, a natural and previously open question. The proof is short and elegant, and the paper lays useful foundations for the study of Ext^n in Banach spaces. The paper is also honest about unresolved issues, such as the homological dimensions of the Hilbert space. The central argument is internally coherent and does not rely on fitted parameters or circular reasoning; it properly credits Wodzicki and Kadec for the key ingredients. The main weakness is the presence of several auxiliary unproved assertions and a mismatch between the arXiv metadata abstract and the content of the manuscript, none of which affects the validity of Proposition 5.1.
minor comments (6)
- [Section 5, paragraph before Proposition 5.1] The paper states without proof that Ext^n(C_p) ≠ 0 for all n, saying 'we omit the proof'. Since this is presented as a fact rather than a conjecture, please either supply a proof or clearly label the statement as a conjecture; it is not needed for the main theorem, but as written it is an unsupported claim.
- [Abstract (arXiv metadata) vs. Section 5, Problem 1] The arXiv metadata abstract claims that 'the homological dimension/codimension of Hilbert spaces is infinite', but the v2 text does not prove this and indeed Problem 1 asks to compute pd(ℓ2), id(ℓ2), noting that only the lower bound ≥3 is known. Please align the abstract with the actual content of the paper.
- [Section 4, remark on Ext^3] The paper relies on the same-team preprint [7] for the nontriviality of Ext^2(ℓp) and Ext^2(ℓ2). Since [7] is a preprint rather than a published reference, please clarify its status or include a proof of the needed facts; the main theorem does not depend on these results.
- [Section 4, Lemma 4.1] The proof of Lemma 4.1 uses the notation 'Q F P ı' which is difficult to parse. A clearer description of the pullback/pushout operations (for example, explicitly writing the pullback along P and the pushout along the inclusion B→Y) would improve readability.
- [Section 4, Proposition 4.2] The proof of Proposition 4.2 is terse, especially the construction of X = c0 ⊕ (ℓ∞(c)/(ℓ∞/c0)) and the statement that 'X can replace cκ^2(c0)'. Please expand this argument for clarity, as the diagram is difficult to follow.
- [General] The manuscript contains numerous typographical and OCR artifacts (e.g., 'Kadec' space', 'develop ed', 'the the', 'i t'). A careful proofreading pass is recommended.
Circularity Check
No structural circularity in Proposition 5.1; the Kadec-space result rests on independent external results, with only peripheral same-team citations.
full rationale
The central derivation is not circular. Proposition 5.1 is proved by embedding L1 and κ^n L1 as complemented subspaces of Kadec's universal space K and applying Lemma 4.1. The required non-vanishing Ext^n(L1,κ^n L1) is obtained in Section 4 from a splitting argument: if κ^n L1 were complemented in its bidual, Theorem 4.1(4) (Lindenstrauss lifting, based on [35,37]) would force the projective presentation of κ^{n-1}L1 to split, making κ^{n-1}L1 projective and eventually forcing L1 to be isomorphic to ℓ1, a contradiction. The L1-kernel property is cited from [37, Proposition 5.2], and pd(L1)=∞ is credited to Wodzicki [56]; both are external, parameter-free results that do not include the target space K. Kadec's universal space is attributed to [26,46,47]. No fitted parameter is renamed as a prediction, and no displayed identity reduces to its own input. There are peripheral self-citations, notably [7] (same-team preprint) for Ext^2(ℓ_p)≠0 and Ext^2(ℓ_2)≠0 in illustrative remarks, and [2,6,13] for characterizations in side statements; none is load-bearing for Proposition 5.1. The manuscript itself flags missing support: the assertion 'Ext^n(C_p)≠0 for all n' is said to be easy but its proof is omitted, and the abstract's claim that homological dimension/codimension of Hilbert spaces is infinite is not established in v2—Section 5 states only pd(ℓ2), id(ℓ2)≥3 and poses Problem 1. These are completeness/correctness concerns, not circularity. Overall the derivation chain for the main theorem is self-contained modulo independent external results.
Assumptions & free parameters
assumptions (7)
- standard math Yoneda Ext and the long homology sequences are exact in the category of Banach spaces
- standard math Every Banach space admits projective presentations by l1(I) and injective presentations into l-infinity
- standard math Order-1 lifting and extension theorems such as Sobczyk, Lindenstrauss, and Johnson-Zippin extend to all orders
- domain assumption A separable L1-space not isomorphic to l1 has infinite projective dimension
- standard math Kadec's space exists and contains complemented copies of all separable Banach spaces with the bounded approximation property
- domain assumption Ext^2(lp) is nonzero for 1 < p < infinity, including l2
- standard math Bourgain's finite-dimensional complementation construction and Amir's non-injectivity of l-infinity/c0
Cite this review
Pith. "Pith review of Homological dimensions of Banach spaces." pith.science (2026). https://pith.science/paper/DVITI3CX
@misc{pith2026190806526,
author = {Pith},
title = {Pith review of: Homological dimensions of Banach spaces},
year = {2026},
howpublished = {\url{https://pith.science/paper/DVITI3CX}},
note = {Machine review of arXiv:1908.06526}
}
abstract
The purpose of this paper is to lay the foundations for the study of the problem of when $\Ext^n(X, Y)=0$ in Banach/quasi-Banach spaces. We provide a number of examples of couples $X,Y$ so that $\Ext^n(X,Y)$ is (or is not ) $0$, including the first example of a separable Banach space $\mathscr K$ so that $\Ext^n(\mathscr K, \mathscr K)\neq 0$ for all $n\in \N$. Such space moreover provides the first example of Banach spaces with infinite homological dimension/codimension. We also show that the homological dimension/codimension of Hilbert spaces is infinite. The final section is devoted to compare $\Ext^2(\cdot, \cdot)$ in Banach and Quasi-Banach spaces.
Reference graph
Works this paper leans on
-
[7]
F. Cabello, J.M.F. Castillo, W.H.G. Correa, V. Ferenczi , R Garc´ ıa,On the Ext2-problem in Hilbert spaces, preprint 2019
work page 2019
- [1]
-
[2]
A. Avil´ es, F. Cabello, J.M.F. Castillo, M. Gonz´ alez, Y. Moreno, Separably injective Banach spaces. Lecture Notes in Mathematics 2132 (2016) Springer-Verlag
work page 2016
- [3]
-
[4]
Bourgain, A counterexample to a complementation problem , Compo
J. Bourgain, A counterexample to a complementation problem , Compo. Math. 43 (1981) 133–144
work page 1981
-
[5]
F. Cabello S´ anchez and J.M.F. Castillo,The long homology sequence for quasi-Banach spaces, with applications, Positivity 8 (2004) 379–394
work page 2004
-
[6]
F. Cabello S´ anchez and J.M.F. Castillo, Uniform boundedness and twisted sums of Banach spaces, Houston J. Math. 30 (2004) 523–536
work page 2004
-
[8]
F. Cabello, Jes´ us M. F. Castillo, N. J. Kalton. Complex interpolation and twisted twisted Hilbert spaces, Pacific J. Math. (2015) 276 (2015) 287–307
work page 2015
Show all 57 references
-
[9]
Castillo, Nonseparable C(K)-spaces can be twisted when K is a finite hei ght compact, Topology and its Applications, 198 (2016) 107–116
J.M.F. Castillo, Nonseparable C(K)-spaces can be twisted when K is a finite hei ght compact, Topology and its Applications, 198 (2016) 107–116
2016
-
[10]
Castillo and R Garc´ ıa,Bilinear forms and the Ext2-problem in Banach spaces, Linear Algebra and its Applications, 566 (2019) 199–211
J.M.F. Castillo and R Garc´ ıa,Bilinear forms and the Ext2-problem in Banach spaces, Linear Algebra and its Applications, 566 (2019) 199–211
2019
-
[11]
Castillo and M
J.M.F. Castillo and M. Gonz´ alez, Three-space problems in Banach space theory , Lecture Notes in Math. 1667, Springer 1997
1997
-
[12]
Castillo, Y
J.M.F. Castillo, Y. Moreno, On the Lindenstrauss-Rosenthal theorem , Israel J. Math. 140 (2004) 253–270
2004
-
[13]
J. M. F. Castillo, Y. Moreno, Sobczyk’s theorem and the Bounded Approximation Property , Studia Math. 201 (2010) 1–19
2010
-
[14]
J M. F. Castillo and Y. Moreno, On the bounded approximation property in Banach spaces , Israel J. Math. 198 (2013) 243–259
2013
-
[15]
J. M. F. Castillo, Y. Moreno, J. Su´ arez, On Lindenstrauss-Pe/suppress lczy´ nski spaces, Studia Math. 174 (2006) 213–231
2006
-
[16]
Dierolf, ¨Uber Vererbbarkeitseigenschaften in topologischen Vekto rr¨ aumen, Dissertation, Ludwing -Maximilians -Universit¨ at, M¨ unchen, 1973
S. Dierolf, ¨Uber Vererbbarkeitseigenschaften in topologischen Vekto rr¨ aumen, Dissertation, Ludwing -Maximilians -Universit¨ at, M¨ unchen, 1973
1973
-
[17]
Diestel, H
J. Diestel, H. Jarchow and A. Tonge, Absolutely summing operators, Cambridge Studies in Advanced Math. 43, Cambridge University Press, 1995
1995
-
[18]
Diestel, J.J
J. Diestel, J.J. Uhl Jr., Vector measuresMath. Surveys, Amer. Math. Soc, Providence (1977). Homological dimensions of Banach spaces 15
1977
-
[19]
P. Enflo, J. Lindenstrauss and G. Pisier, On the ”three-space” problem , Math. Scand. 36 (1975) 199–210
1975
-
[20]
Frerick, D
L. Frerick, D. Sieg, Exact categories in functional analysis , Preprint 2010, www.mathematik.uni-trier.de:8080/abteilung/analysis/HomAlg.pdf
2010
-
[21]
Gelfand, Yu I
S.I. Gelfand, Yu I. Manin, Methods of homological algebra , Springer Monographs in Math. 2003
2003
-
[22]
A. Ya. Helemskii, The Homology of Banach and Topological Algebras , Math. and its Appl. Kluwer Academic Publishers, vol. 41, 1989
1989
-
[23]
W. B. Johnson, J. Lindenstrauss, Some remarks on weakly compactly generated Banach spaces, Israel J. Math. 17 (1974) 219–230
1974
-
[24]
W. B. Johnson and M. Zippin, Extension of operators from weak*-closed subspaces of ℓ1 into C(K) spaces, Studia Math. 117 (1995) 43–55
1995
-
[25]
W. B. Johnson and M. Zippin, On subspaces of quotients of (∑ Gn)ℓp and (∑ Gn)c0 . Israel J. Math. 13 (1972) 311–316
1972
-
[26]
I: Kadets, On complementably universal Banach spaces , Studia Math
M. I: Kadets, On complementably universal Banach spaces , Studia Math. 40 (1971) 85–89
1971
-
[27]
N. J. Kalton, The three-space problem for locally bounded F-spaces , Compositio Math. 37 (1978) 243–276
1978
-
[28]
Kalton, Nonlinear commutators in interpolation theory , Memoirs of the A.M.S
N.J. Kalton, Nonlinear commutators in interpolation theory , Memoirs of the A.M.S. 385, 1988
1988
-
[29]
N. J. Kalton, Quasi-Banach spaces, in Handbook of the Geometry of Banach Spaces Vol. II, Edited by W.B. Johnson and J. Lindenstrauss, 2003, Elesevie r, pp. 1099–1130
2003
-
[30]
Kalton and N
N.J. Kalton and N. T. Peck, Twisted sums of sequence spaces and the three space problem , Trans. Amer. Math. Soc. 255 (1979) 1–30
1979
-
[31]
Kalton, A
N.J. Kalton, A. Pe/suppress lczy´ nski,Kernels of surjections from L1-spaces with an application to Sidon sets, Math. Ann. 309 (1997) 135–158
1997
-
[32]
N. J. Kalton and J. W. Roberts, Uniformly exhaustive submeasures and nearly additive set functions, Trans. Amer. Math. Soc. 278 (1983) 803–816
1983
-
[33]
Kalton, N.T
N.J. Kalton, N.T. Peck and W. Roberts, An F-space sampler, London Math. Soc. Lecture Notes series 89, Cambridge Univ. Press 1984
1984
-
[34]
K¨ othe,Hebbare Lokalkonvexe R¨ aume, Math
G. K¨ othe,Hebbare Lokalkonvexe R¨ aume, Math. Ann. 165 ( 1966) 181–195
1966
-
[35]
Lindenstrauss, On a certain subspace of ℓ1, Bull
J. Lindenstrauss, On a certain subspace of ℓ1, Bull. Polish Acad. Sci. 12 (1964) 539–542
1964
-
[36]
Lindenstrauss, A remark on L1-spaces, Israel Journal of Mathematics 8 (1970) 80–82
J. Lindenstrauss, A remark on L1-spaces, Israel Journal of Mathematics 8 (1970) 80–82
1970
-
[37]
Lindenstrauss and H
J. Lindenstrauss and H. P. Rosenthal, The Lp-spaces, Israel J. Math. 7 (1969) 325–349
1969
-
[38]
Lindenstrauss and H.P
J. Lindenstrauss and H.P. Rosenthal, Automorphisms in c0, ℓ1 and m, Israel J. Math. 9 (1969) 227–239
1969
-
[39]
Lusky, A note on Banach spaces containing c0 or C∞ , J
W. Lusky, A note on Banach spaces containing c0 or C∞ , J. Funct. Anal. 62 (1985) 1–7
1985
-
[40]
MacLane, Homology, Grund
S. MacLane, Homology, Grund. der math. Wiss. 114, Springer-Verlag, 1994
1994
-
[41]
Marciszewski, G
W. Marciszewski, G. Plebanek, Extension operators and twisted sums of c0 and C(K) spaces, J. Funct. Anal. 274 (2018) 1491–1529
2018
-
[42]
Mitchell, Theory of categories, New York: Acad
B. Mitchell, Theory of categories, New York: Acad. Pr. (Pure and applied math.; 17) (1965)
1965
-
[43]
Palamodov, The projective limit functor in the category of topological linear spaces, (Rus- sian) Mat
V. Palamodov, The projective limit functor in the category of topological linear spaces, (Rus- sian) Mat. Sb. (N.S.) 75 (117) 1968 567–603 (English Transl. Math-USSR-Sb 4 (1968) 529– 558)
1968
-
[44]
Palamodov, Homolgical methods in the theory of locally convex spaces
V. Palamodov, Homolgical methods in the theory of locally convex spaces . (Russian) Uspekhi Mat. Nauk. 26 (1971) 3-65 (English Transl. Rusiian Math. Sur veys 26 (1971) 1–64
1971
-
[45]
Ribe, Examples for the nonlocally convex three-space problem , Proc
M. Ribe, Examples for the nonlocally convex three-space problem , Proc. Am. Math, Soc. 73 (1979) 351 – 355
1979
-
[46]
Pe/suppress lczy´ nski,Universal bases, Studia Math
A. Pe/suppress lczy´ nski,Universal bases, Studia Math. 32 (1969) 247–268
1969
-
[47]
Pe/suppress lczy´ nski and P
A. Pe/suppress lczy´ nski and P. Wojtaszczyk,Banach spaces with finite dimensional expansions of identity and universal bases of finite dimensional spaces , Studia Math. XL (1971) 91–108
1971
-
[48]
J. W. Roberts, A non-locally convex F -space with the Hahn-Banach extension property , Lecture Notes in Math. 604, Springer 1977
1977
-
[49]
V. A. Smirnov, V. A. Sheikhman, Continuation of homogeneous functionals with a given convexity, Mat. Zametki 50 (1991) 90–96. English Transl. Math. Notes 5 0 (1991) 1157-1161
1991
-
[50]
Smirnov, Chan Khuen, On the functor Ext in the category of linear topological spac es, Math
V.A. Smirnov, Chan Khuen, On the functor Ext in the category of linear topological spac es, Math. USSR Izv. 36 (1991) 199–210
1991
-
[51]
Sobczyk, On the extension of linear transformations , Trans
A. Sobczyk, On the extension of linear transformations , Trans. Amer. Math. Soc., 55 (1944) 153–169
1944
-
[52]
W. J. Stiles, Some properties of ℓp, 0 < p < 1, Studia Math. 42 (1972) 109–119
1972
-
[53]
Wengenroth, A conjecture of Palamodov about the functors Extk in the category of locally convex spaces, J
J. Wengenroth, A conjecture of Palamodov about the functors Extk in the category of locally convex spaces, J. Funct. Anal. 201 (2003) 561–571
2003
-
[54]
Wengenroth, Palamodov’s questions from homological methods in the theo ry of locally convex spaces, in: J.M.F
J. Wengenroth, Palamodov’s questions from homological methods in the theo ry of locally convex spaces, in: J.M.F. Castillo, W.B. Johnson (Eds.), Banach Space Methods, Proceedings 16 F ´ELIX CABELLO S ´ANCHEZ, JES ´US M. F. CASTILLO, AND RICARDO GARC ´IA of the V Conference in ...
2004
-
[55]
Wengenroth, Derived Functors in Functional Analysis , Lecture Notes in Math
J. Wengenroth, Derived Functors in Functional Analysis , Lecture Notes in Math. 1810, Springer, 2003
2003
-
[56]
Wodzicki, Homological dimensions of Banach spaces , in Linear and Complex Analysis Problem Book 3, Part I , V.P
M. Wodzicki, Homological dimensions of Banach spaces , in Linear and Complex Analysis Problem Book 3, Part I , V.P. Havin and N.K. Nikolskii (eds), Lecture Notes in Math. 1573, pp. 34–35, Springer 1994
1994
-
[57]
Zippin, The separable extension problem , Israel J
M. Zippin, The separable extension problem , Israel J. Math. 26 (1977) 372–387. Departamento de Matem´aticas and IMUEx, Universidad de Extremadura, A venida de Elvas, 06071-Badajoz, Spain E-mail address: fcabello@unex.es Departamento de Matem´aticas, Universidad de Extremadura...
1977
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.