Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · math/0403057

The complete dimension theory of partially ordered systems with equivalence and orthogonality

K. R. Goodearl·F. Wehrung
View original source ↗Read source document ↗Export metadata ↓

Abstract

We develop dimension theory for a large class of structures called espaliers, consisting of a set $L$ equipped with a partial order $\leq$, an orthogonality relation $\perp$, and an equivalence relation $\sim$, subject to certain axioms. The dimension range of $L$ is the universal $\sim$-invariant homomorphism from $(L,\oplus,0)$ to a partial commutative monoid $S$, where $\oplus$ denotes orthogonal sum in $L$. Particular examples of espaliers include (i) complete Boolean algebras, (ii) direct summand lattices of nonsingular injective modules, (iii) complete, meet-continuous, complemented, modular lattices, and (iv) projection lattices in AW*-algebras. We prove that the dimension range of any espalier is a lower interval of a commutative monoid of continuous functions of the form $C(Ω_{I},Z_γ) \times C(Ω_{II},R_γ) \times C(Ω_{III},2_γ)$, where $γ$ is an ordinal and the $Ω_{*}$ are complete Boolean spaces, and where $Z_γ$, $R_γ$, $2_γ$, respectively, denote the unions of the interval $\{\aleph_ξ\mid 0\le ξ\le γ\}$ with the sets of nonnegative integers, nonnegative real numbers, and 0, respectively. Conversely, we prove that every lower interval of a monoid of the above form can be represented as the dimension range of an espalier arising from each of the contexts (i)--(iv) above. As corollaries in cases (ii) and (iv), we obtain complete descriptions (both function-theoretic and axiomatic) of the monoids $V(R)$, consisting of the isomorphism classes of finitely generated projective modules over a ring $R$.

Explore related subjects

math.GMmath.OAmath.RA

Keep this discovery

BibTeXRIS

K. R. Goodearl, F. Wehrung. 2004-03-02. The complete dimension theory of partially ordered systems with equivalence and orthogonality. https://arxiv.org/abs/math/0403057

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Average Chord Lengths in a Triangle

Let $P$ be a point inside a triangle $T$. We consider the average length of the chords of $T$ through $P$, where the direction of the chord is chosen uniformly. An elementary formula is obtained in terms of the distances from $P$ to the sides and vertices of the triangle. Several classical triangle centers give especially simple specializations. For example, if $I$ is the incenter, then \[ M_T(I)=\frac{2r}{\pi} \log\left(\cot\frac A4\cot\frac B4\cot\frac C4\right). \] Our main result is the sharp inequality \[ M_T(P)\le \frac{p}{\pi\sqrt3}\log(2+\sqrt3), \] valid simultaneously for every triangle of perimeter $p$ and every interior point $P$. Thus, among all such pairs $(T,P)$, the largest possible average chord length occurs only when $T$ is equilateral and $P$ is its center. The proof is an elementary symmetrization argument. We close with brief remarks relating the problem to the radial center of a convex body, the electrostatic potential center of a triangle, and dual quermassintegrals.

math.GM↗
arXiv2026

A Proof of Liu's Conjecture on the Fundamental Triangle Inequality

Let $a,b,c$ be the side lengths of a triangle, and let $R$ and $r$ denote its circumradius and inradius, respectively. We prove a conjecture of Liu stating that \[\sum_{\mathrm{cyc}} \left(\frac{a(b+c-a)}{bc}\right)^k \geq 2+\left(\frac{2r}{R}\right)^k,~~k>1, \] with the reverse inequality for $0<k<1$. The proof reduces the problem to three positive variables with fixed sum and product. We also determine the equality cases.

math.GM↗