The Haar theorem for lattice-ordered abelian groups with order-unit

Daniele Mundici

doi:10.3934/dcds.2008.21.537

Article Contents

2008, Volume 21, Issue 2: 537-549. Doi: 10.3934/dcds.2008.21.537

This issue Previous Article Uniqueness results for boundary value problems arising from finite fuel and other singular and unbounded stochastic control problems Next Article Generic properties of Lagrangians on surfaces: The Kupka-Smale theorem

The Haar theorem for lattice-ordered abelian groups with order-unit

Daniele Mundici^1,

1.
Dipartimento di Matematica “Ulisse Dini”, Università degli Studi di Firenze, viale Morgagni 67/A, 50134 Firenze

Received: April 30, 2007

Revised: October 31, 2007

Published: April 2008

Abstract Related Papers Cited by

Abstract

Given a finite union $P$ of rational simplexes, we assign to $P$ numerical invariants $\lambda_{0}, \lambda_{1},\ldots,\lambda_{\dim P};$ each $\lambda_{i}$ is the suitably normalized volume of the $i$-dimensional part of $P$. We then prove that every finitely generated projective lattice-ordered abelian group $G$ with order-unit $u$ has a faithful invariant positive linear functional $s: G\to \mathbb R$. For each $g\in G$, $s(g)$ is the integral of $g$ over the maximal spectrum of $G$, the latter being canonically identified with a rational polyhedron $P$. Volume elements are measured by the $\lambda_{i}$'s. The proof uses the polyhedral versions of the Włodarczyk-Morelli theorem on decompositions of birational toric maps in blow-ups and blow-downs, and of the De Concini-Procesi theorem on elimination of points of indeterminacy.

Keywords:

Mathematics Subject Classification: Primary: 28C05, 52B70; Secondary: 06F20, 28C10,52A38, 14E05, 26B15.

Citation:

Article Metrics

HTML views() PDF downloads(135) Cited by(0)

The Haar theorem for lattice-ordered abelian groups with order-unit

Abstract

Access History

Article Metrics

Access History

Other Articles By Authors

Catalog

The Haar theorem for lattice-ordered abelian groups with order-unit

Abstract

Access History

SHARE

Article Metrics

Access History

Other Articles By Authors

Catalog

Export File

Citation

Format

Content