Hostname: page-component-7479d7b7d-qs9v7 Total loading time: 0 Render date: 2024-07-08T07:50:19.958Z Has data issue: false hasContentIssue false

Liftings of Diagrams of Semilattices by Diagrams of Dimension Groups

Published online by Cambridge University Press:  22 September 2003

Jiří Tůma
Affiliation:
Department of Algebra, Faculty of Mathematics and Physics, Sokolovská 83, Charles University, 186 00 Prague 8, Czech Republic. E-mail: tuma@karlin.mff.cuni.cz
Friedrich Wehrung
Affiliation:
CNRS, UMR 6139, Université de Caen, Campus II, Département de Mathématiques, B.P. 5186, 14032 Caen Cedex, France. E-mail: wehrung@math.unicaen.fr. Home page: www.math.unicaen.fr/~wehrung
Get access

Abstract

We investigate categorical and amalgamation properties of the functor $\operatorname{Id_c}$ assigning to every partially ordered abelian group $G$ its $\langle \vee, 0 \rangle$-semilattice of compact ideals $\operatorname{Id_c} G$. Our main result is the following.

Theorem 1. Every diagram of finite Boolean semilattices indexed by a finite dismantlable partially ordered set can be lifted, with respect to the$\operatorname{Id_c}$functor, by a diagram of pseudo-simplicial vector spaces.

Pseudo-simplicial vector spaces are a special kind of finite-dimensional partially ordered vector spaces with interpolation over the field of rational numbers. The methods introduced also make it possible to prove the following ring-theoretical result.

Theorem 2. For any countable distributive$\langle \vee, 0 \rangle$-semilattices$S$and$T$and any field$K$, any$\langle \vee, 0 \rangle$-homomorphism$f \colon S \to T$can be lifted, with respect to the$\operatorname{Id_c}$functor on rings, by a homomorphism $f \colon A \to B$of$K$-algebras, for countably dimensional locally matricial algebras$A$and$B$over$K$.

We also state a lattice-theoretical analogue of Theorem 2 (with respect to the $\operatorname{Con_c}$ functor), and we provide counterexamples to various related statements. In particular, we prove that the result of Theorem 1 cannot be achieved with simplicial vector spaces alone.

Type
Research Article
Copyright
2003 London Mathematical Society

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

The authors were supported by the Barrande program and by the institutional grant CEZ:J13/98:113200007a. The first author was also partially supported by GA CR 201/99 and by GA UK 162/1999.