Real spectra and ℓ-spectra of algebras and vector lattices over countable fields

Friedrich Wehrung (1)

1 LMNO - Laboratoire de Mathématiques Nicolas Oresme

In an earlier paper we established that every second countable, completely normal spectral space is homeomorphic to the ℓ-spectrum of some Abelian ℓ-group. We extend that result to ℓ-spectra of vector lattices over any countable totally ordered division ring k. Extending our original machinery, about finite lattices of polyhedra, from linear to affine and allowing relativizations to convex subsets, then invoking Baro's Normal Triangulation Theorem, we obtain the following result: Theorem. For every countable formally real field k, every second countable, completely normal spectral space is homeomorphic to the real spectrum of some commutative unital k-algebra. The countability assumption on k is necessary: there exists a second countable, completely normal spectral space that cannot be embedded, as a spectral subspace, into either the ℓ-spectrum of any right vector lattice over an uncountable directed partially ordered division ring, or the real spectrum of any commutative unital algebra over an uncountable field.

Mots clés: lattice; real-closed; formally real; flat triangulation; simplicial complex; polyhedron; convex; semi-algebraic; division ring; field; measure; scale; Stone duality; consonance; completely normal; join-irreducible; CN-purity; vector lattice; f-ring; Brumfiel spectrum; real spectrum; Spectral space; totally ordered

Domaines: Logique [math.LO]; Anneaux et algèbres [math.RA]

Friedrich Wehrung. Real spectra and ℓ-spectra of algebras and vector lattices over countable fields. Journal of Pure and Applied Algebra, In press, ⟨10.1016/j.jpaa.2021.106861⟩. ⟨hal-02179699v4⟩