pith. sign in

arxiv: 2604.12675 · v1 · submitted 2026-04-14 · 🧮 math.FA

The Dedekind completion of an Archimedean ordered vector space as a reflector

Antonio Avil\'es , Eugene Bilokopytov This is my paper

Pith reviewed 2026-05-10 14:20 UTC · model grok-4.3

classification 🧮 math.FA
keywords Archimedean ordered vector spacesDedekind completionreflective subcategoriesfree vector latticesvector latticesordered vector spacescategory theory
0
0 comments X

The pith

Non-directed Archimedean ordered vector spaces of dimension greater than one have no reflectors into Dedekind complete vector lattices.

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

The paper studies the category of Archimedean ordered vector spaces whose morphisms are linear maps that preserve all existing suprema. Within the full subcategory of directed spaces, the usual Dedekind completion acts as a reflector onto the subcategory of Dedekind complete vector lattices. The main result shows that this fails for non-directed spaces of dimension larger than one, which possess no reflectors into either the Dedekind complete or universally complete subcategories. As a direct consequence, free Dedekind complete vector lattices cannot exist over any set with more than one element. The work additionally determines when one free vector lattice embeds into another and examines free completions for spaces possessing a strong unit.

Core claim

In the category AOVS of Archimedean ordered vector spaces with linear supremum-preserving maps, the full subcategories DVL of Dedekind complete vector lattices and UVL of universally complete vector lattices are reflective in the subcategory DAOVS of directed spaces, with the ordinary Dedekind completion serving as the reflector. Non-directed objects of AOVS having dimension greater than one admit no reflector into DVL or UVL. In particular, there exist no free Dedekind complete vector lattices generated by more than one element.

What carries the argument

The Dedekind completion functor, which assigns to each directed Archimedean ordered vector space its Dedekind complete envelope and extends morphisms while preserving supremum preservation.

Load-bearing premise

The ambient category uses precisely the linear maps that preserve all existing suprema, together with the standard definitions of the Archimedean property and Dedekind completeness.

What would settle it

An explicit construction of a reflector for some non-directed two-dimensional Archimedean ordered vector space into the category of Dedekind complete vector lattices, or an explicit free Dedekind complete vector lattice over a two-element set, would refute the non-existence claim.

read the original abstract

We consider the category $\mathbf{AOVS}$ of Archimedean ordered vector spaces with linear maps which preserve all existing suprema, and its full subcategories $\mathbf{DAOVS}$, $\mathbf{DVL}$ and $\mathbf{UVL}$, consisting of directed spaces, Dedekind complete vector lattices and universally complete vector lattices, respectively. We deduce from some results in the literature that $\mathbf{DVL}$ and $\mathbf{UVL}$ are reflective subcategories of $\mathbf{DAOVS}$, with the usual Dedekind completion being the reflector in $\mathbf{DVL}$. In contrast to these facts, we show that a non-directed Archimedean ordered vector space of dimension greater than $1$ has no reflector in either $\mathbf{DVL}$ or $\mathbf{UVL}$. In particular, there are no free Dedekind complete vector lattices over a set with more than one element. We also use the occasion to show that a free vector lattice with $\alpha$ generators embeds into a free vector lattice with $\beta$ generators if and only if $\alpha\le\beta$, and explore the concept of the free completion of an Archimedean vector lattice with a strong unit.

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

0 major / 3 minor

Summary. The paper considers the category AOVS of Archimedean ordered vector spaces equipped with linear maps preserving all existing suprema, along with its full subcategories DAOVS (directed spaces), DVL (Dedekind complete vector lattices), and UVL (universally complete vector lattices). It deduces from prior literature that DVL and UVL are reflective in DAOVS, with the standard Dedekind completion acting as the reflector for DVL. In contrast, it proves that any non-directed Archimedean ordered vector space of dimension greater than 1 admits no reflector into DVL or UVL, implying in particular that there are no free Dedekind complete vector lattices on a set with more than one element. Additional results establish that a free vector lattice on α generators embeds into one on β generators if and only if α ≤ β, and explore free completions of Archimedean vector lattices with strong units.

Significance. If the central claims hold, the work clarifies the precise role of directedness in the reflectivity of Dedekind completions within ordered vector spaces and demonstrates the non-existence of free objects in DVL/UVL beyond one generator. The clean separation between literature-based positive results and direct non-existence arguments, together with the embedding theorem for free vector lattices, adds value to the categorical study of these structures in functional analysis and order theory.

minor comments (3)
  1. [§1] §1 (Introduction): the statement that DVL is reflective in DAOVS via the usual Dedekind completion would benefit from an explicit reference to the precise theorem in the literature being invoked, to make the deduction fully self-contained for readers.
  2. [§4] The non-existence proof for non-directed spaces of dimension >1 relies on the universal property of reflectors; a short diagram or explicit verification that the candidate map fails to be sup-preserving would strengthen the exposition without altering the argument.
  3. [§2] Notation for the categories (AOVS, DAOVS, etc.) is introduced clearly but the distinction between 'preserve all existing suprema' and 'preserve directed suprema' could be restated once more explicitly when first defining the morphisms.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript, for the accurate summary of its contents, and for the positive assessment of its significance. We are pleased that the separation between the literature-based reflectivity results in the directed case and the direct non-existence arguments for non-directed spaces is viewed as adding value. We will address the recommendation for minor revision by making the necessary editorial adjustments in the revised version.

Circularity Check

0 steps flagged

No significant circularity; derivations are independent of inputs

full rationale

The paper deduces reflectiveness of DVL/UVL in DAOVS from external literature results on Dedekind completions and proves the non-existence of reflectors for non-directed Archimedean spaces of dim >1 directly from the definitions of the categories (morphisms as linear sup-preserving maps), Archimedean property, and Dedekind completeness. The non-existence of free DVL objects on >1 generators follows logically from the reflector non-existence without reducing to self-definition, fitted parameters, or self-citation chains. The embedding result for free vector lattices is shown using the occasion but rests on independent order-theoretic arguments. No load-bearing step equates a claimed output to its input by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the standard axioms of ordered vector spaces and category theory; no new entities are postulated and no numerical parameters are fitted.

axioms (2)
  • domain assumption An ordered vector space is Archimedean if nx ≤ y for all natural n implies x ≤ 0.
    Invoked in the definition of the ambient category AOVS.
  • domain assumption Morphisms in AOVS are linear maps that preserve all existing suprema.
    Defines the category in which reflectors are sought.

pith-pipeline@v0.9.0 · 5521 in / 1501 out tokens · 27247 ms · 2026-05-10T14:20:39.478955+00:00 · methodology

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

10 extracted references · 10 canonical work pages

  1. [1]

    4, Paper No

    [AC25] Kevin Abela and Emmanuel Chetcuti,Unbounded order convergence on infinitely distributive lattices, Positivity29(2025), no. 4, Paper No. 46,

    work page 2025

  2. [2]

    [AL84] C

    Reprint of the 1985 original. [AL84] C. D. Aliprantis and Eric Langford,Order completions of Archimedean Riesz spaces and l-groups, Algebra Universalis19(1984), no. 2, 151–159. [BR90] Riccardo Benedetti and Jean-Jacques Risler,Real algebraic and semi-algebraic sets, Actu- alit´ es Math´ ematiques. [Current Mathematical Topics], Hermann, Paris,

    work page 1985

  3. [3]

    Bezhanishvili, P

    [BMO16] G. Bezhanishvili, P. J. Morandi, and B. Olberding,A functorial approach to Dedekind com- pletions and the representation of vector lattices andℓ-algebras by normal functions, Theory Appl. Categ.31(2016), Paper No. 37, 1095–1133. 16 [Bil23] Eugene Bilokopytov,Order continuity and regularity on vector lattices and on lattices of continuous functions...

    work page 2016

  4. [4]

    Bishop,A universal mapping characterization of the completion by cuts, Algebra Universalis8(1978), no

    [Bis78] Alan A. Bishop,A universal mapping characterization of the completion by cuts, Algebra Universalis8(1978), no. 3, 349–353. [Ble73] Roger D. Bleier,Free vector lattices, Trans. Amer. Math. Soc.176(1973), 73–87. [Day65] George W. Day,Free complete extensions of Boolean algebras, Pacific J. Math.15(1965), 1145–1151. [dPW15] Ben de Pagter and Anthony ...

    work page 1978

  5. [5]

    [Ern91] Marcel Ern´ e,The Dedekind-MacNeille completion as a reflector, Order8(1991), no. 2, 159–

    work page 1991

  6. [6]

    [Gai64] H

    Measure algebras; Corrected second printing of the 2002 original. [Gai64] H. Gaifman,Infinite Boolean polynomials. I, Fund. Math.54(1964), 229–250. [Hal64] A. W. Hales,On the non-existence of free complete Boolean algebras, Fund. Math.54(1964), 45–66. [Ham89] Masamichi Hamana,Monotone closures of commutativeC ∗-algebras, Proc. Amer. Math. Soc. 105(1989), ...

    work page 2002

  7. [7]

    5, 2099–2136

    [KSvG21] Anke Kalauch, Janko Stennder, and Onno van Gaans,Operators in pre-Riesz spaces: moduli and homomorphisms, Positivity25(2021), no. 5, 2099–2136. [Kei95] Klaus Keimel,Some trends in lattice-ordered groups and rings, Lattice theory and its appli- cations (Darmstadt, 1991), Res. Exp. Math., vol. 23, Heldermann, Lemgo, 1995, pp. 131–161. [Kop89] Sabin...

    work page 2021

  8. [8]

    Macula,Freeα-extensions of an Archimedean vector lattice and their topological duals, Trans

    [Mac92] Anthony J. Macula,Freeα-extensions of an Archimedean vector lattice and their topological duals, Trans. Amer. Math. Soc.332(1992), no. 1, 437–448. [Sem71] Zbigniew Semadeni,Banach spaces of continuous functions. Vol. I, Monografie Matematy- czne [Mathematical Monographs], vol. Tom 55, PWN—Polish Scientific Publishers, Warsaw,

    work page 1992

  9. [9]

    Solovay,New proof of a theorem of Gaifman and Hales, Bull

    [Sol66] Robert M. Solovay,New proof of a theorem of Gaifman and Hales, Bull. Amer. Math. Soc. 72(1966), 282–284. [Ste25] Janko Stennder,Localization in pre-Riesz spaces and factorization of multilinear Riesz* ho- momorphisms, Positivity29(2025), no. 3, Paper No. 36,

    work page 1966

  10. [10]

    2, 425–447

    [vI18] Hendrik van Imhoff,Riesz* homomorphisms on pre-Riesz spaces consisting of continuous functions, Positivity22(2018), no. 2, 425–447. 17

    work page 2018