A Classification of Order Convergence via a Transfinite Fatou Hierarchy

Antonio Avil\'es; Christian Rosendal; Mitchell A. Taylor; Pedro Tradacete

arxiv: 2604.02588 · v1 · submitted 2026-04-02 · 🧮 math.FA

A Classification of Order Convergence via a Transfinite Fatou Hierarchy

Antonio Avil\'es , Christian Rosendal , Mitchell A. Taylor , Pedro Tradacete This is my paper

Pith reviewed 2026-05-13 19:54 UTC · model grok-4.3

classification 🧮 math.FA

keywords Banach latticesorder convergenceFatou propertydescriptive set theoryanalytic setsordinal hierarchyseparable Banach spaces

0 comments

The pith

For separable Banach lattices, σ-order convergence is analytic if and only if the lattice satisfies the α-Fatou property for some countable ordinal α.

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

The paper establishes that in separable Banach lattices three properties are equivalent: the collection of decreasing positive sequences with infimum zero is a Borel set, σ-order convergence is an analytic set, and the lattice satisfies the α-Fatou property for some countable ordinal. This gives a complete classification of the definability of order convergence using a transfinite hierarchy. The hierarchy is proper, as for each countable ordinal there is a lattice with a countable π-basis that first satisfies the property at a higher level.

Core claim

For a separable Banach lattice X, the following are equivalent: (i) the set of decreasing positive sequences with infimum zero is Borel; (ii) σ-order convergence is analytic; and (iii) X satisfies the α-Fatou property for some countable ordinal α. The hierarchy is proper: for every countable ordinal α there exists a separable Banach lattice with a countable π-basis that fails to be α-Fatou but is β-Fatou for some β>α.

What carries the argument

The transfinite α-Fatou property, a weakening of the classical Fatou property indexed by countable ordinals that controls the behavior of infima of decreasing sequences.

Load-bearing premise

The Banach lattice is separable and, for the properness, has a countable π-basis.

What would settle it

A separable Banach lattice where σ-order convergence is analytic yet the lattice fails the α-Fatou property for every countable ordinal α.

Figures

Figures reproduced from arXiv: 2604.02588 by Antonio Avil\'es, Christian Rosendal, Mitchell A. Taylor, Pedro Tradacete.

**Figure 1.** Figure 1: Implications between convergence types. Remark 1.1. It is a classical fact (see [9, Remark 1.3]) that, if X is a Banach lattice of measurable functions (i.e. an ideal in the space of measurable functions L0(Ω, Σ, µ) for some semi-finite measure space (Ω, Σ, µ)), we have fn o −→n f if and only if fn a.e. −→n f and, moreover, there exists a g ∈ X+ satisfying |fn| ⩽ g for all [PITH_FULL_IMAGE:figures/full_fi… view at source ↗

read the original abstract

We investigate the descriptive complexity of order convergence in separable Banach lattices. While uniform convergence is Borel and $\sigma$-order convergence is known to be ${\bf \Delta}^1_2$, it is unclear in general when $\sigma$-order convergence is analytic. We introduce a transfinite hierarchy of weakenings of the classical Fatou property, indexed by countable ordinals, and show that it provides a complete structural classification of this definability problem. For a separable Banach lattice $X$, we prove that the following are equivalent: (i) the set of decreasing positive sequences with infimum zero is Borel; (ii) $\sigma$-order convergence is analytic; and (iii) $X$ satisfies the $\alpha$-Fatou property for some countable ordinal $\alpha$. We further establish that the hierarchy is proper: for every countable ordinal $\alpha$ there exists a separable Banach lattice with a countable $\pi$-basis that fails to be $\alpha$-Fatou, but is $\beta$-Fatou for some $\beta>\alpha$. Thus the Borel definability of order convergence is governed by a canonical ordinal invariant intrinsic to the lattice, and the descriptive complexity can be arbitrarily high below $\omega_1$. These results identify projective complexity as a genuine structural invariant in Banach lattice theory.

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.

Desk Editor's Note private letter to a colleague

This paper classifies analyticity of σ-order convergence in separable Banach lattices via a transfinite α-Fatou hierarchy and shows the hierarchy is proper at every countable ordinal.

read the letter

The main thing here is that Avilés, Rosendal, Taylor and Tradacete give a complete classification: for separable Banach lattices, σ-order convergence is analytic exactly when the set of decreasing positive sequences with infimum zero is Borel, and exactly when the lattice satisfies the α-Fatou property for some countable ordinal α. They introduce the transfinite hierarchy of these weakenings and prove it is proper, so every countable ordinal is realized by some lattice with a countable π-basis that fails at α but succeeds at a later β. That is the new structural content, and it does not obviously reduce to earlier results on Fatou properties or descriptive complexity of convergence. The constructions appear to work by inductive adjunction of elements that control the norm behavior at successor steps and handle limits appropriately. The equivalences link the Borel/analytic side directly to the order structure without obvious circularity or parameter fitting. The main limitation is the standing assumption of separability plus the countable π-basis for the properness examples; outside those conditions the classification does not claim to hold. Because the full proofs are not in front of me I cannot check every inductive step in detail, but the abstract and the stress-test note give no sign of inconsistency or hidden assumptions. This is aimed at people working on order convergence or descriptive set theory inside Banach lattices. A reader who already cares about analytic sets in function spaces or wants a canonical ordinal invariant for these properties will get concrete value. I would send it to peer review; the equivalences are sharp enough and the properness result adds enough new content that referees should see the details.

Referee Report

2 major / 2 minor

Summary. The paper claims that for a separable Banach lattice X, the following are equivalent: (i) the set of decreasing positive sequences with infimum zero is Borel; (ii) σ-order convergence is analytic; (iii) X satisfies the α-Fatou property for some countable ordinal α. It introduces a transfinite hierarchy of weakenings of the classical Fatou property and proves the hierarchy is proper: for every countable ordinal α there exists a separable Banach lattice with countable π-basis failing to be α-Fatou but satisfying β-Fatou for some β>α. This classifies the Borel definability of order convergence via a canonical ordinal invariant intrinsic to the lattice.

Significance. If the results hold, the work supplies a complete structural classification connecting descriptive set theory (Borel/analytic sets) to Banach lattice theory through a transfinite Fatou hierarchy. The properness result, witnessed by inductive constructions preserving countable π-bases, shows that descriptive complexity can be arbitrarily high below ω₁ and identifies projective complexity as a genuine structural invariant. This is a substantive contribution linking two fields with a sharp ordinal classification.

major comments (2)

[Main equivalence theorem (abstract and §3)] The transfinite induction establishing equivalence of analyticity of σ-order convergence with existence of some countable α for the α-Fatou property requires explicit verification at limit ordinals to confirm the ordinal invariant is well-defined and minimal.
[Properness construction (abstract and §4)] In the inductive construction witnessing properness of the hierarchy, the step adjoining a new positive element to violate the α-Fatou condition while preserving the countable π-basis and achieving β-Fatou for β>α must be checked to ensure the norm behavior does not inadvertently satisfy a lower level.

minor comments (2)

[Definition of the hierarchy] Clarify the precise definition of the α-Fatou property at successor and limit ordinals to ensure the hierarchy is unambiguously defined without reference to external notions.
[Introduction] Add a brief comparison table or diagram summarizing the hierarchy levels and their relation to classical Fatou and σ-Fatou properties for reader orientation.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the recommendation of minor revision. We address the two major comments point by point below.

read point-by-point responses

Referee: [Main equivalence theorem (abstract and §3)] The transfinite induction establishing equivalence of analyticity of σ-order convergence with existence of some countable α for the α-Fatou property requires explicit verification at limit ordinals to confirm the ordinal invariant is well-defined and minimal.

Authors: We agree that an explicit treatment of the limit-ordinal case will make the minimality of the invariant clearer. The induction in §3 already proceeds by distinguishing successor and limit stages, but we will add a short dedicated paragraph immediately after the main inductive argument that verifies the limit case directly: if the property holds for all β < λ then the countable supremum of the corresponding functionals yields the α-Fatou property at λ. This addition will be included in the revised manuscript. revision: yes
Referee: [Properness construction (abstract and §4)] In the inductive construction witnessing properness of the hierarchy, the step adjoining a new positive element to violate the α-Fatou condition while preserving the countable π-basis and achieving β-Fatou for β>α must be checked to ensure the norm behavior does not inadvertently satisfy a lower level.

Authors: The inductive step in §4 is constructed so that the new norm is defined via a weighted supremum that forces a specific sequence to witness failure of α-Fatou while the countable π-basis is preserved by taking rational linear combinations at each stage. Nevertheless, to eliminate any doubt that a lower level might hold accidentally, we will insert two additional norm estimates in the inductive step: one showing that the new element produces a sequence whose infimum is zero yet whose weighted sum remains bounded away from zero, and a second confirming that all β-Fatou inequalities for β > α continue to hold by the inductive hypothesis. These estimates will appear in the revised §4. revision: yes

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper introduces a new transfinite hierarchy of weakenings of the Fatou property indexed by countable ordinals and proves direct equivalences to descriptive set-theoretic properties of order convergence in separable Banach lattices. These equivalences follow from transfinite iteration of the classical Fatou condition and explicit inductive constructions realizing each level of the hierarchy. No load-bearing step reduces by definition, fitted parameter, or self-citation chain to its own inputs; the classification is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claims rest on the introduction of the α-Fatou properties as new weakenings and standard background from descriptive set theory and Banach lattice theory.

axioms (1)

standard math Standard ZFC set theory and descriptive set theory facts about Borel and analytic sets
Invoked to equate Borel sets with analyticity conditions in the equivalences.

invented entities (1)

α-Fatou property for each countable ordinal α no independent evidence
purpose: Indexed weakenings of the classical Fatou property that classify the definability of order convergence
Newly defined in the paper to provide the structural classification; no independent evidence outside the constructions is given.

pith-pipeline@v0.9.0 · 5536 in / 1310 out tokens · 46582 ms · 2026-05-13T19:54:17.018564+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Definition 3.6: α-Fatou via winning strategies in G_α and ρ(Ψ((z_n))) ≤ α

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

9 extracted references · 9 canonical work pages

[1]

Taylor, and Pedro Tradacete,Coordinate systems in Banach spaces and lattices, Annales Scientifiques de l’ ´Ecole Normale Sup´ erieure (to appear)

Antonio Avil´ es, Christian Rosendal, Mitchell A. Taylor, and Pedro Tradacete,Coordinate systems in Banach spaces and lattices, Annales Scientifiques de l’ ´Ecole Normale Sup´ erieure (to appear)

work page
[2]

Troitsky,Order and uo-convergence in spaces of contin- uous functions, Topology Appl.308(2022), Paper No

Eugene Bilokopytov and Vladimir G. Troitsky,Order and uo-convergence in spaces of contin- uous functions, Topology Appl.308(2022), Paper No. 107999, 9

work page 2022
[3]

Joram Lindenstrauss and Lior Tzafriri,Classical Banach spaces. II, Vol. 97, Springer-Verlag, Berlin-New York, 1979. MR540367

work page 1979
[4]

Leung,Smallest order closed sublattices and option spanning, Proc

Niushan Gao and Denny H. Leung,Smallest order closed sublattices and option spanning, Proc. Amer. Math. Soc.146(2018), no. 2, 705–716

work page 2018
[5]

Anna Gumenchuk, Olena Karlova, and Mikhail Popov,Order Schauder bases in Banach lat- tices, J. Funct. Anal.269(2015), no. 2, 536–550, DOI 10.1016/j.jfa.2015.04.008. MR3348826

work page doi:10.1016/j.jfa.2015.04.008 2015
[6]

Kandi´ c and M

M. Kandi´ c and M. A. Taylor,Metrizability of minimal and unbounded topologies, J. Math. Anal. Appl.466(2018), no. 1, 144–159

work page 2018
[7]

Kechris,Classical descriptive set theory, Graduate Texts in Mathematics, vol

Alexander S. Kechris,Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, New York, 1995. MR1321597

work page 1995
[8]

M. A. Taylor and V. G. Troitsky,Bibasic sequences in Banach lattices, J. Funct. Anal.278 (2020), no. 10, 108448, 33, DOI 10.1016/j.jfa.2019.108448. MR4067989

work page doi:10.1016/j.jfa.2019.108448 2020
[9]

Taylor,Unbounded convergences in vector lattices, Master thesis, University of Alberta, Canada (2019)

Mitchell A. Taylor,Unbounded convergences in vector lattices, Master thesis, University of Alberta, Canada (2019). Universidad de Murcia, Departamento de Matem ´aticas, Campus de Espinardo 30100 Murcia, Spain. Email address:avileslo@um.es Department of Mathematics, University of Maryland, 4176 Campus Drive - William E. Kirwan Hall, College Park, MD 20742-...

work page 2019

[1] [1]

Taylor, and Pedro Tradacete,Coordinate systems in Banach spaces and lattices, Annales Scientifiques de l’ ´Ecole Normale Sup´ erieure (to appear)

Antonio Avil´ es, Christian Rosendal, Mitchell A. Taylor, and Pedro Tradacete,Coordinate systems in Banach spaces and lattices, Annales Scientifiques de l’ ´Ecole Normale Sup´ erieure (to appear)

work page

[2] [2]

Troitsky,Order and uo-convergence in spaces of contin- uous functions, Topology Appl.308(2022), Paper No

Eugene Bilokopytov and Vladimir G. Troitsky,Order and uo-convergence in spaces of contin- uous functions, Topology Appl.308(2022), Paper No. 107999, 9

work page 2022

[3] [3]

Joram Lindenstrauss and Lior Tzafriri,Classical Banach spaces. II, Vol. 97, Springer-Verlag, Berlin-New York, 1979. MR540367

work page 1979

[4] [4]

Leung,Smallest order closed sublattices and option spanning, Proc

Niushan Gao and Denny H. Leung,Smallest order closed sublattices and option spanning, Proc. Amer. Math. Soc.146(2018), no. 2, 705–716

work page 2018

[5] [5]

Anna Gumenchuk, Olena Karlova, and Mikhail Popov,Order Schauder bases in Banach lat- tices, J. Funct. Anal.269(2015), no. 2, 536–550, DOI 10.1016/j.jfa.2015.04.008. MR3348826

work page doi:10.1016/j.jfa.2015.04.008 2015

[6] [6]

Kandi´ c and M

M. Kandi´ c and M. A. Taylor,Metrizability of minimal and unbounded topologies, J. Math. Anal. Appl.466(2018), no. 1, 144–159

work page 2018

[7] [7]

Kechris,Classical descriptive set theory, Graduate Texts in Mathematics, vol

Alexander S. Kechris,Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, New York, 1995. MR1321597

work page 1995

[8] [8]

M. A. Taylor and V. G. Troitsky,Bibasic sequences in Banach lattices, J. Funct. Anal.278 (2020), no. 10, 108448, 33, DOI 10.1016/j.jfa.2019.108448. MR4067989

work page doi:10.1016/j.jfa.2019.108448 2020

[9] [9]

Taylor,Unbounded convergences in vector lattices, Master thesis, University of Alberta, Canada (2019)

Mitchell A. Taylor,Unbounded convergences in vector lattices, Master thesis, University of Alberta, Canada (2019). Universidad de Murcia, Departamento de Matem ´aticas, Campus de Espinardo 30100 Murcia, Spain. Email address:avileslo@um.es Department of Mathematics, University of Maryland, 4176 Campus Drive - William E. Kirwan Hall, College Park, MD 20742-...

work page 2019