One-sided approximation in affine function spaces

TL;DR

This paper investigates conditions under which certain subgroups of ordered abelian groups exhibit one-sided approximation properties, linking these to the structure of traces and unperforation of quotient groups.

Contribution

It establishes an equivalence between property (B) and the density of traces in finite-dimensional settings, and characterizes unperforation of quotients in simple dimension groups.

Findings

Property (B) relates to trace density in finite-dimensional cases.

Unperforation of G/H is characterized by property (B) in simple dimension groups.

Provides criteria for trace refinability in simple dimension groups with finitely many pure traces.

Abstract

Let $H$ be a subgroup of a partially ordered abelian group $G$ with order unit $u$, and let $S(G,u)$ denote the convex subset of $\bR^G$ consisting of all traces (states) $\tau$ on $G$ with $\tau(u)=1$. We say that $H$ has property $(B)$ if, for any integer $m\ge 2$, any $h\in H$ and any $\epsilon>0$, there exists $h'\in H$ such that $\tau(h)-m\tau(h')\ge -\epsilon$ for each $\tau\in S(G,u)$. We show that, if $S(G,u)$ is finite-dimensional, this condition is equivalent to asking that $\tau(H)$ is $\{0\}$ or dense in $\bR$ for all $\tau$ in the smallest face of $S(G,u)$ containing all traces that vanish identically on $H$. When $G$ is a simple dimension group and $H$ is a convex subgroup of $G$, we show that $G/H$ is unperforated if and only if $H$ has property $(B)$. We apply both results to provide a criterion for a trace of $G$ to be refinable when $G$ is a simple dimension group with finitely many pure traces.