We consider a family of higher-dimensional non-commutative tori, which are twisted analogues of the algebras of continuous functions on ordinary tori and their Toeplitz extensions. Just as solenoids are inverse limits of tori, our Toeplitz non-commutative solenoids are direct limits of the Toeplitz extensions of non-commutative tori. We consider natural dynamics on these Toeplitz algebras, and we compute the equilibrium states for these dynamics. We find a large simplex of equilibrium states at each positive inverse temperature, parametrized by the probability measures on an (ordinary) solenoid.

We prove completeness for the main examples of infinite-dimensional Lie groups and some related topological groups. Consider a sequence $G_{1}\subseteq G_{2}\subseteq \cdots \,$ of topological groups $G_{n}$ n such that $G_{n}$ is a subgroup of $G_{n+1}$ and the latter induces the given topology on $G_{n}$, for each $n\in \mathbb{N}$. Let $G$ be the direct limit of the sequence in the category of topological groups. We show that $G$ induces the given topology on each $G_{n}$ whenever $\cup _{n\in \mathbb{N}}V_{1}V_{2}\cdots V_{n}$ is an identity neighbourhood in $G$ for all identity neighbourhoods $V_{n}\subseteq G_{n}$. If, moreover, each $G_{n}$ is complete, then $G$ is complete. We also show that the weak direct product $\oplus _{j\in J}G_{j}$ is complete for each family $(G_{j})_{j\in J}$ of complete Lie groups $G_{j}$. As a consequence, every strict direct limit $G=\cup _{n\in \mathbb{N}}G_{n}$ of finite-dimensional Lie groups is complete, as well as the diffeomorphism group $\text{Diff}_{c}(M)$ of a paracompact finite-dimensional smooth manifold $M$ and the test function group $C_{c}^{k}(M,H)$, for each $k\in \mathbb{N}_{0}\cup \{\infty \}$ and complete Lie group $H$ modelled on a complete locally convex space.

Dimension groups (not countable) that are also real ordered vector spaces can be obtained as direct limits (over directed sets) of simplicial real vector spaces (finite dimensional vector spaces with the coordinatewise ordering), but the directed set is not as interesting as one would like; for instance, it is not true that a countable-dimensional real vector space that has interpolation can be represented as such a direct limit over a countable directed set. It turns out this is the case when the group is additionally simple, and it is shown that the latter have an ordered tensor product decomposition. In an appendix, we provide a huge class of polynomial rings that, with a pointwise ordering, are shown to satisfy interpolation, extending a result outlined by Fuchs.

In this paper we introduce the specialization of an $S$-module which is a direct limit of a direct system of finitely generated $S$-modules indexed by $\mathbb{N}$. This specialization preserves the Buchsbaum property, the generalized Cohen–Macaulay property and the Castelnuovo–Mumford regularity of a module.

We show that every countable direct system of finite-dimensional real or complex Lie groups has a direct limit in the category of Lie groups modelled on locally convex spaces. This enables us to push all basic constructions of finite-dimensional Lie theory to the case of direct limit groups. In particular, we obtain an analogue of Lie's third theorem: every countable-dimensional locally finite real or complex Lie algebra arises as the Lie algebra of some regular Lie group (a suitable direct limit group).

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.