pith. sign in

arxiv: 2604.14102 · v2 · submitted 2026-04-15 · 🧮 math.FA

Transfinite Daugavet property

Antonio Avil\'es , Johann Langemets , Miguel Mart\'in , Abraham Rueda Zoca This is my paper

Pith reviewed 2026-05-14 22:17 UTC · model grok-4.3

classification 🧮 math.FA
keywords Daugavet propertytransfinite cardinalsC(K) spacesreaping numberGδ-pointsMaharam decompositionLipschitz functionscardinal invariants
0
0 comments X

The pith

C(K) spaces have the transfinite Daugavet property for a cardinal λ precisely when a new index r(K) exceeds λ, where r(K) generalizes the reaping number, and the perfect version holds exactly when K has no Gδ-points.

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

The paper extends the Daugavet property and its perfect version from Banach spaces to transfinite cardinals so that spaces satisfying the ordinary property can be distinguished by their topological or density complexity. For C(K) spaces the authors introduce the cardinal index r(K), which generalizes the reaping number of a Boolean algebra, and prove that C(K) satisfies the λ-Daugavet property if and only if r(K) > λ. They further show that the perfect Daugavet property is equivalent to K containing no Gδ-points. The work also establishes inheritance of these properties under almost isometric ideals, absolute sums and tensor products, classifies them for L1(μ) and L∞(μ) via Maharam decompositions of the measure, and proves that Lip(M) has the ω-perfect Daugavet property whenever M is a complete length metric space.

Core claim

The central claim is that the transfinite Daugavet property for C(K) spaces is characterized by the cardinal index r(K), a direct generalization of the reaping number of a Boolean algebra: C(K) has the λ-Daugavet property precisely when r(K) > λ. The perfect Daugavet property holds if and only if the compact space K has no Gδ-points. These characterizations, together with the inheritance and classification results for ideals, sums, tensor products, L1/L∞ spaces and Lipschitz spaces, provide a finer scale for measuring how strongly a space satisfies the classical Daugavet property.

What carries the argument

The cardinal index r(K), a generalization of the reaping number of a Boolean algebra that quantifies the minimal size of a family of sets with no common refinement, used to mark the threshold at which C(K) acquires the transfinite Daugavet property.

If this is right

  • Almost isometric ideals and absolute sums of spaces with the transfinite Daugavet property inherit the same property.
  • Tensor product constructions preserve the transfinite Daugavet properties under the conditions studied.
  • L1(μ) and L∞(μ) spaces satisfy the transfinite Daugavet properties exactly when the Maharam decomposition of μ meets the corresponding cardinal condition.
  • The Lipschitz space Lip(M) has the ω-perfect Daugavet property for every complete length metric space M.

Where Pith is reading between the lines

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

  • The r(K) index supplies a hierarchy that could rank all known Daugavet spaces by their topological complexity.
  • Similar cardinal-index characterizations might apply to other classical Banach-space properties such as the Radon-Nikodym or Krein-Milman properties.
  • Explicit computation of r(K) for familiar compacta such as the Cantor set or Stone-Čech remainders would produce concrete examples separating the transfinite levels.
  • The inheritance results suggest that the transfinite properties are stable under many natural constructions in Banach-space theory.

Load-bearing premise

The transfinite Daugavet properties are well-defined for arbitrary cardinals and the stated characterizations hold for standard compact Hausdorff spaces K and measures μ.

What would settle it

A compact space K for which the computed value of r(K) fails to equal the largest cardinal λ such that C(K) has the λ-Daugavet property would falsify the characterization.

read the original abstract

We extend the Daugavet property and a perfect version of it to transfinite cardinals in order to distinguish between spaces with the ordinary Daugavet property by some kind of complexity (topological, density\ldots), providing a number of examples and results. First, we characterise the transfinite Daugavet $C(K)$ spaces in terms of a cardinal index $\mathfrak r(K)$, which generalises the notion of the reaping number of a Boolean algebra. Besides, the perfect Daugavet property characterizes the absence of $G_\delta$-points in $K$. We also study several inheritance results of the transfinite Daugavet properties by almost isometric ideals, absolute sums, and tensor product spaces, with a number of applications. We classify these properties for $L_1(\mu)$ and $L_\infty(\mu)$ spaces in terms of the Maharam's decomposition of the measure. We also show that the space of Lipschitz functions $\Lip(M)$ on a complete length metric space has the $\omega$-perfect Daugavet property, improving the previous knowledge.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper extends the classical Daugavet property and its perfect variant to transfinite cardinals in order to stratify Banach spaces possessing the ordinary Daugavet property according to topological or density complexity. It characterises the transfinite Daugavet property for C(K) spaces via a cardinal invariant r(K) that generalises the reaping number of a Boolean algebra, proves that the perfect Daugavet property is equivalent to the absence of Gδ-points in K, establishes inheritance results under almost isometric ideals, absolute sums and tensor products, classifies the properties for L1(μ) and L∞(μ) spaces in terms of Maharam decompositions, and shows that Lip(M) on a complete length metric space possesses the ω-perfect Daugavet property.

Significance. If the characterisations and inheritance theorems hold, the work supplies a systematic cardinal-indexed refinement of the Daugavet property that distinguishes spaces of differing complexity and yields concrete classifications for the standard spaces L1, L∞ and Lip(M). The generalisation of the reaping number and the topological characterisation of the perfect property constitute the main contributions.

major comments (2)
  1. [Section introducing r(K) and the characterisation theorem] The central characterisation of transfinite Daugavet C(K) spaces by the index r(K) (stated in the abstract) is load-bearing; the manuscript must verify that the definition of r(K) reduces exactly to the classical reaping number when the cardinal is ω1 and that no additional set-theoretic hypotheses are tacitly used in the equivalence.
  2. [Theorem on perfect Daugavet property and Gδ-points] The proof that the perfect Daugavet property is equivalent to the absence of Gδ-points in K relies on standard C(K) assumptions; it should be checked whether the argument extends verbatim to non-metrizable compacta or requires separability of K.
minor comments (2)
  1. [Inheritance results] Notation for the transfinite cardinals in the inheritance statements should be made uniform (e.g., consistently using κ or λ) to avoid confusion when comparing results across sections.
  2. [Classification for L1 and L∞] The classification of L1(μ) and L∞(μ) via Maharam decomposition would benefit from an explicit table or diagram summarising which cardinals appear for atomic versus non-atomic measures.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major comments point by point below.

read point-by-point responses

  1. Referee: [Section introducing r(K) and the characterisation theorem] The central characterisation of transfinite Daugavet C(K) spaces by the index r(K) (stated in the abstract) is load-bearing; the manuscript must verify that the definition of r(K) reduces exactly to the classical reaping number when the cardinal is ω1 and that no additional set-theoretic hypotheses are tacitly used in the equivalence.

    Authors: The definition of the cardinal index r(K) is constructed precisely to generalize the reaping number of the associated Boolean algebra. In the section introducing r(K), we explicitly verify that the definition reduces to the classical reaping number when the cardinal is ω1, and the equivalence holds in ZFC with no additional set-theoretic hypotheses. To make this reduction fully explicit for the reader, we will add a short clarifying remark immediately after the definition of r(K). revision: yes

  2. Referee: [Theorem on perfect Daugavet property and Gδ-points] The proof that the perfect Daugavet property is equivalent to the absence of Gδ-points in K relies on standard C(K) assumptions; it should be checked whether the argument extends verbatim to non-metrizable compacta or requires separability of K.

    Authors: The proof of the equivalence between the perfect Daugavet property and the absence of Gδ-points is carried out for arbitrary compact Hausdorff spaces K and does not rely on metrizability or separability. The argument uses only the standard identification of Gδ-points with certain evaluation functionals in C(K)* together with properties of Gδ-sets that hold in the general compact case. We will add an explicit sentence in the statement of the theorem confirming that the result applies verbatim to non-metrizable compacta. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper defines transfinite extensions of the Daugavet property and provides characterizations of C(K) spaces via the cardinal index r(K) (a generalization of the reaping number) and the absence of Gδ-points for the perfect version. These rest on explicit topological, set-theoretic, and measure-theoretic assumptions that are stated independently of the target results. No equations, definitions, or self-citations reduce the claimed characterizations to tautologies, fitted inputs renamed as predictions, or load-bearing self-referential constructions. The derivation chain is self-contained against external benchmarks in functional analysis.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work generalizes existing definitions using standard set theory and topology; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (1)
  • standard math ZFC set theory for handling arbitrary cardinals and Boolean algebras
    Required to define transfinite cardinals and the reaping number generalization.

pith-pipeline@v0.9.0 · 5492 in / 1220 out tokens · 59286 ms · 2026-05-14T22:17:14.458219+00:00 · methodology

Review history (2 revisions) →

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

51 extracted references · 51 canonical work pages · 2 internal anchors

  1. [1]

    T. A. Abrahamsen, V. Lima, A. Martiny, and S. Troyanski,Daugavet- and delta-points in Banach spaces with unconditional bases, Trans. Amer. Math. Soc. Ser. B8(2021), 379–398

    work page 2021

  2. [2]

    T. A. Abrahamsen, V. Lima, and O. Nygaard,Almost isometric ideals in Banach spaces, Glasgow Math. J.56 (2014), 395–407

    work page 2014

  3. [3]

    Albiac and N

    F. Albiac and N. J. Kalton,Topics in Banach space theory, Graduate Texts in Mathematics 233, Springer, New York, 2006

    work page 2006

  4. [4]

    Avil´ es, F

    A. Avil´ es, F. Cabello S´ anchez, J. M. F. Castillo, M. Gonz´ alez, and Y. Moreno,ℵ-injective Banach spaces and ℵ-projective compacta, Rev. Mat. Iberoam.31(2015), 575–600

    work page 2015

  5. [5]

    Avil´ es, F

    A. Avil´ es, F. Cabello S´ anchez, J. M. F. Castillo, M. Gonz´ alez, and Y. Moreno,Separably injective Banach spaces, Lecture notes in Mathematics, Springer, Cham, 2016

    work page 2016

  6. [6]

    Avil´ es, S

    A. Avil´ es, S. Ciaci, J. Langemets, A. Lissitsin, and A. Rueda Zoca,Transfinite almost square Banach spaces, Studia Math.271(2023), 39–63

    work page 2023

  7. [7]

    Avil´ es, G

    A. Avil´ es, G. Mart´ ınez-Cervantes, A. Poveda, and L. S´ aenz,A Banach space withL-orthogonal sequences but without L-orthogonal elements, Adv. Math.478(2025), article 110391

    work page 2025

  8. [8]

    Avil´ es, G

    A. Avil´ es, G. Mart´ ınez-Cervantes, and A. Rueda Zoca,A renorming characterisation of Banach spaces containing ℓ1(κ), Publ. Math., Barc.67(2023), 601–609

    work page 2023

  9. [9]

    Balcar and P

    B. Balcar and P. Simon,On minimalπ-character of points in extremally disconnected compact spaces, Top. Appl. 41(1991),133–145

    work page 1991

  10. [10]

    Balcar and P

    B. Balcar and P. Simon,Reaping number andπ-character of Boolean algebras, Discrete Math.108(1992), 5–12

    work page 1992

  11. [11]

    Becerra Guerrero, G

    J. Becerra Guerrero, G. L´ opez-P´ erez, and A. Rueda Zoca,Extreme differences between weakly open subsets and convex combination of slices in Banach spaces, Adv. Math.269(2015), 56–70

    work page 2015

  12. [12]

    Becerra Guerrero, G

    J. Becerra Guerrero, G. L´ opez-P´ erez, and A. Rueda Zoca,Octahedral norms and convex combination of slices in Banach spaces, J. Funct. Anal.266, 4 (2014), 2424–2435

    work page 2014

  13. [13]

    Blass,Combinatorial cardinal characteristics of the continuum, In: Foreman, Matthew et al

    A. Blass,Combinatorial cardinal characteristics of the continuum, In: Foreman, Matthew et al. (ed.), Handbook of set theory in 3 volumes, Dordrecht, Springer 2010, pp. 395–489

    work page 2010

  14. [14]

    Burago, Y

    D. Burago, Y. Burago, and S. Ivanov,A Course in Metric Geometry, Graduate Studies in Mathematics, Vol. 33, Amer. Math. Soc., Providence, 2001

    work page 2001

  15. [15]

    M. R. Burke,Weakly dense subsets of the measure algebra, Proc. Amer. Math. Soc. 106 (1989), 867–874

    work page 1989

  16. [16]

    Cabezas, M

    D. Cabezas, M. Mart´ ın, and A. Peralta,The Daugavet equation for polynomials onC ∗-algebras andJ B ∗-triples, Adv. Math.439(2024), article 109479

    work page 2024

  17. [17]

    Ciaci,On the transfinite symmetric strong diameter two property, Mediterr

    S. Ciaci,On the transfinite symmetric strong diameter two property, Mediterr. J. Math.20(2023), article 281

    work page 2023

  18. [18]

    Ciaci,Transfinite geometric properties of the unit ball in Banach spaces, PhD Dissertation, University of Tartu (2024)

    S. Ciaci,Transfinite geometric properties of the unit ball in Banach spaces, PhD Dissertation, University of Tartu (2024). URL: https://hdl.handle.net/10062/100137

    work page 2024

  19. [19]

    Ciaci, J

    S. Ciaci, J. Langemets, and A. Lissitsin,A characterization of Banach spaces containingℓ 1(κ)via ball-covering properties, Israel J. Math.253(2023), 359–379

    work page 2023

  20. [20]

    Ciaci, J

    S. Ciaci, J. Langemets, and A. Lissitsin,Attaining strong diameter two property for infinite cardinals, J. Math. Anal. Appl.513(2022), article 126185

    work page 2022

  21. [21]

    Cicho´ n, A

    J. Cicho´ n, A. Kamburelis, and J. Pawlikowski,On dense subsets of the measure algebra, Proc. Amer. Math. Soc.94 (1985), 142–146

    work page 1985

  22. [22]

    H. G. Dales, F. K. Dashiell Jr., A. T.-M. Lau, and D. Strauss,Banach spaces of continuous functions as dual spaces, CMS Books in Mathematics/Ouvrages de Math´ ematiques de la SMC, Springer, 2016

    work page 2016

  23. [23]

    C. A. De Bernardi, T. Russo, S. S ¸ezgek, and J. Somaglia,Packings in classical Banach spaces, preprint. Available at ArXiV.org with reference arXiv:2602.12934

    work page arXiv

  24. [24]

    Defant, K

    A. Defant, K. Floret,Tensor Norms and Operator Ideals, North Holland, Amsterdam, 1993. 36 AVIL ´ES, LANGEMETS, MART´IN, AND RUEDA ZOCA

    work page 1993

  25. [25]

    A. Dow, J. Stepr¯ ans, and S. Watson,Reaping numbers of Boolean algebras, Bull. Lond. Math. Soc.28(1996), 591–599

    work page 1996

  26. [26]

    Engelking,General topology

    R. Engelking,General topology. Rev. and compl. ed.Sigma Series in Pure Mathematics,6. Heldermann Verlag, Berlin, 1989

    work page 1989

  27. [27]

    Fabian, P

    M. Fabian, P. Habala, P. H´ ajek, V. Montesinos, and V. Zizler,Banach space theory. The basis for linear and nonlinear Analysis, Springer, Berlin, 2011

    work page 2011

  28. [28]

    Garbuli´ nska and W

    J. Garbuli´ nska and W. Kubi´ s,Remarks on Gurari˘ ı spaces, Extracta Math.26(2011), 235–269

    work page 2011

  29. [29]

    Garc´ ıa-Lirola, A

    L. Garc´ ıa-Lirola, A. Proch´ azka, and A. Rueda Zoca,A characterisation of the Daugavet property in spaces of Lipschitz functions, J. Math. Anal. Appl.464(2018), 473–492

    work page 2018

  30. [30]

    Haller, J

    R. Haller, J. Langemets, V. Lima, R. Nadel, and A. Rueda Zoca,On Daugavet indices of thickness, J. Funct. Anal. 280(2021), article 108846

    work page 2021

  31. [31]

    Haller, J

    R. Haller, J. Langemets, and M. P˜ oldvere,On duality of diameter 2 properties, J. Conv. Anal.22(2015), 465–483

    work page 2015

  32. [32]

    Hamad,The Daugavet property for Sobolev spaces over the plane, preprint (2026)

    S. Hamad,The Daugavet property for Sobolev spaces over the plane, preprint (2026). Available at ArXiV.org with reference arXiv:2601.21486

    work page arXiv 2026

  33. [33]

    Ivakhno, V

    Y. Ivakhno, V. Kadets and D. Werner,The Daugavet property for spaces of Lipschitz functions, Math. Scand.101 (2007), 261–279

    work page 2007

  34. [34]

    Jech,Set theory

    T. Jech,Set theory. The third millennium edition, revised and expanded, Springer Monographs in Mathematics, Berlin, 2003

    work page 2003

  35. [35]

    J. K. Kaasik,A note on attaining diameter two properties in Lipschitz-free spaces, preprint (2026). Available at ArXiV.org with reference arXiv:2604.05569

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  36. [36]

    Kadets, M

    V. Kadets, M. Mart´ ın, A. Rueda Zoca, and D. Werner,Banach spaces with the Daugavet property, preliminary version (2025). Available at Univeristy of Granada Repository DIGIBUG https://hdl.handle.net/10481/104200

    work page 2025

  37. [37]

    Kadets, R

    V. Kadets, R. Shvidkoy, G. Sirotkin, and D. Werner,Banach spaces with the Daugavet property, Trans. Amer. Math. Soc.352(2000), 855–873

    work page 2000

  38. [38]

    Finite-codimensional subspaces of Daugavet spaces: projection constants and minimal projections

    T. Kania and G. Lewicki,Finite-codimensional subspaces of Daugavet spaces: projection constants and minimal projections, preprint (2026). Available at ArXiV.org with reference arXiv:2604.10771

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  39. [39]

    H. E. Lacey,The isometric theory of classical Banach spaces, Die Grundlehren der mathematischen Wissenschaften, 208, Springer, New York-Heidelberg, 1974

    work page 1974

  40. [40]

    Laflamme,Reaping numbers, Comment

    C. Laflamme,Reaping numbers, Comment. Math. Univ. Carolin.34(1993), 397–399

    work page 1993

  41. [41]

    Lindenstrauss,Extension of compact operators, Mem

    J. Lindenstrauss,Extension of compact operators, Mem. Amer. Math. Soc.48(1964)

    work page 1964

  42. [42]

    L´ opez-P´ erez and A

    G. L´ opez-P´ erez and A. Rueda Zoca,L-orthogonality, octahedrality and Daugavet property in Banach spaces, Adv. Math.383(2021), article 107719

    work page 2021

  43. [43]

    Mart´ ın and A

    M. Mart´ ın and A. Rueda Zoca,Daugavet property in projective symmetric tensor products of Banach spaces, Banach J. Math. Anal.16(2022), article 35

    work page 2022

  44. [44]

    Mart´ ınez-Va˜ n´ o and A

    E. Mart´ ınez-Va˜ n´ o and A. Rueda Zoca,Transfinite (almost isometric) ideals in Banach spaces, accepted in Rev. Mat. Complutense. Available at ArXiV.org with reference arXiv:2505.04178

    work page arXiv

  45. [45]

    J. D. Monk,Continuum cardinal generalized to Boolean algebras, J. Symb. Log.66(2001), 1928–1958

    work page 2001

  46. [46]

    Rueda Zoca, P

    A. Rueda Zoca, P. Tradacete, and I. Villanueva,Daugavet property in tensor product spaces, J. Inst. Math. Jussieu 20(2021), 1409–1428

    work page 2021

  47. [47]

    R. A. Ryan,Introduction to tensor products of Banach spaces, Springer Monographs in Mathematics, Springer- Verlag, London, 2002

    work page 2002

  48. [48]

    R. V. Shvidkoy,Geometric aspects of the Daugavet property, J. Funct. Anal.176(2000), 198–212

    work page 2000

  49. [49]

    Walker,The Stone- ˇCech compactification, Ergebnisse der Mathematik und ihrer Grenzgebiete

    R. Walker,The Stone- ˇCech compactification, Ergebnisse der Mathematik und ihrer Grenzgebiete. Band83, Springer- Verlag, Berlin-Heidelberg-New York, 1974

    work page 1974

  50. [50]

    Weaver,Lipschitz algebras, 2nd ed., World Scientific Publishing Co., River Edge, NJ, 2018

    N. Weaver,Lipschitz algebras, 2nd ed., World Scientific Publishing Co., River Edge, NJ, 2018

    work page 2018

  51. [51]

    Werner,Recent progress on the Daugavet property

    D. Werner,Recent progress on the Daugavet property. Irish Math. Soc. Bulletin46(2001), 77-–97. TRANSFINITE DAUGAVET PROPERTY 37 (Avil´ es)Universidad de Murcia, Departamento de Matem ´aticas, Campus de Espinardo 30100 Murcia, Spain ORCID:0000-0003-0291-3113 Email address:avileslo@um.es (Langemets)Institute of Mathematics and Statistics, University of Tart...

    work page 2001