Lattice-ordered algebras admitting a polynomial growth continuous function calculus
Pith reviewed 2026-05-09 23:17 UTC · model grok-4.3
The pith
Archimedean lattice-ordered algebras with identity admit polynomial growth continuous function calculus precisely when a suitable f-subalgebra is complete in weighted norms.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For an n-tuple x in an Archimedean lattice-ordered algebra X with identity 1_X, a lattice-algebra homomorphism from PG_n to X sending the coordinate projections to the components of x and the constants to 1_X exists if and only if there is an element f dominating 1_X and the absolute values of the x_i together with an f-subalgebra Y of X containing 1_X and the x_i such that, for every natural number m, the norm ||·||_{f^m} is complete on the ideal Y intersected with the principal ideal generated by f^m.
What carries the argument
The lattice-algebra homomorphism from the algebra PG_n of continuous functions of polynomial growth on R^n, together with the completeness of the weighted norms ||·||_{f^m} on the f-subalgebra Y.
If this is right
- The finitely generated free objects in the category of uniformly complete Archimedean f-algebras are the algebras of polynomial-growth continuous functions on R^n.
- Any vector space that carries a nontrivial polynomial-growth continuous function calculus is necessarily a commutative f-algebra.
- The characterization supplies a concrete criterion for deciding whether a given Archimedean f-algebra supports functional calculus for all polynomially growing continuous functions.
- Uniform completeness of the algebra is not required in the main statement but appears in the description of the free objects.
Where Pith is reading between the lines
- The result suggests that one could construct new examples of such algebras by completing suitable polynomial rings in the weighted norms ||·||_{f^m}.
- It may be possible to extend the characterization from polynomial growth to other growth classes of continuous functions by replacing the weight f with a different dominating sequence.
- The completeness condition on Y could be checked directly in concrete C*-algebras or function spaces to test whether they admit the calculus.
Load-bearing premise
The algebra must be Archimedean with an identity, the homomorphism must preserve both lattice and multiplication operations, and the chosen subalgebra must be complete under every weighted norm defined by a power of the dominating element f.
What would settle it
An explicit Archimedean lattice-ordered algebra with identity and a tuple x for which a homomorphism from PG_n exists but no such dominating f and complete f-subalgebra Y can be found, or conversely an algebra satisfying the completeness condition but admitting no such homomorphism.
read the original abstract
We characterize the Archimedean lattice-ordered algebras with identity that admit a polynomial growth continuous function calculus. More precisely, for an $n$-tuple $\mathbf{x}=(x_1,\dots,x_n)$ in an Archimedean lattice-ordered algebra $X$ with identity $1_X$, we prove that the existence of a lattice-algebra homomorphism from the algebra $PG_n$ of continuous functions on $\mathbb{R}^n$ of polynomial growth, sending the coordinate projections to $x_1,\dots,x_n$ and the constant function to $1_X$, is equivalent to the existence of $f\ge 1_X\vee |x_1|\vee \cdots \vee |x_n|$ and an $f\!$-subalgebra $Y$ of $X$ such that $1_X,x_1,\ldots ,x_n \in Y$ and, for every $m \in \mathbb{N}$, the norm $\|{\cdot }\|_{f^{m}}$ is complete on $Y\cap I_{f^{m}}$. This result may be viewed as an analogue, for lattice-ordered algebras, of the characterization of positively homogeneous continuous function calculus for Archimedean vector lattices due to Laustsen and Troitsky. As a by-product, we describe the finitely generated free objects in the category of uniformly complete Archimedean $f\!$-algebras and also show that the existence of a nontrivial polynomial growth continuous function calculus on a vector space forces it to be a commutative $f\!$-algebra.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper characterizes Archimedean lattice-ordered algebras with identity that admit a polynomial growth continuous function calculus. For an n-tuple x=(x1,...,xn) in such an algebra X, it proves that the existence of a lattice-algebra homomorphism from the algebra PG_n of continuous functions on R^n of polynomial growth (sending coordinate projections to the x_i and the constant 1 to 1_X) is equivalent to the existence of an element f dominating 1_X ∨ |x1| ∨ ⋯ ∨ |xn| together with an f-subalgebra Y containing the generators such that the weighted norms ‖⋅‖_{f^m} are complete on Y ∩ I_{f^m} for every natural number m. As by-products, the paper describes the finitely generated free objects in the category of uniformly complete Archimedean f-algebras and shows that the existence of a nontrivial such calculus on a vector space forces it to be a commutative f-algebra. The result is presented as the lattice-algebra analogue of the Laustsen-Troitsky characterization for positively homogeneous calculi on Archimedean vector lattices.
Significance. If the equivalence holds, the result is a solid contribution to the theory of functional calculi in ordered algebras. It extends an existing characterization from vector lattices to the algebra setting while preserving the Archimedean and lattice-algebra homomorphism requirements. The description of free objects in the category of uniformly complete Archimedean f-algebras and the structural forcing result (nontrivial calculus implies commutative f-algebra) are useful by-products that may aid future work on categorical aspects and classification of algebras admitting calculi. The internal consistency with standard definitions of Archimedean f-algebras and polynomial-growth functions supports its potential utility.
minor comments (3)
- The weighted norms ‖⋅‖_{f^m} and the sets I_{f^m} are central to the equivalence but are not defined in the abstract; a brief reminder or forward reference to their definitions (likely in §2 or the preliminaries) would improve accessibility for readers unfamiliar with the Laustsen-Troitsky framework.
- The term 'f-subalgebra' appears in the statement of the main theorem; while presumably defined later, an explicit sentence linking it to the standard notion of subalgebra closed under the lattice and algebra operations and compatible with the weight f would clarify the statement in the introduction.
- The abstract mentions 'uniformly complete Archimedean f-algebras' in the by-product; ensure that the precise definition of uniform completeness (with respect to the relevant norms) is stated early and consistently throughout the manuscript.
Simulated Author's Rebuttal
We thank the referee for the positive summary of our work and the recommendation of minor revision. No specific major comments were provided in the report, so we have no points to address point-by-point at this stage. We will carefully review the manuscript for any minor improvements prior to resubmission.
Circularity Check
No significant circularity; direct equivalence proof
full rationale
The paper's central result is a direct if-and-only-if characterization: existence of a lattice-algebra homomorphism PG_n → X (sending projections and constant to the given tuple and unit) is equivalent to existence of a dominating f and an f-subalgebra Y on which the weighted norms ‖·‖_{f^m} are complete for all m. This equivalence is stated and proved internally from the definitions of Archimedean lattice-ordered algebras, polynomial-growth functions, and f-subalgebras; it does not reduce any quantity to a fitted parameter, rename a known pattern, or rest on a self-citation chain. The cited Laustsen–Troitsky result for vector lattices is invoked only as motivational analogy, not as a load-bearing premise whose uniqueness or ansatz is imported. The by-product statements on free objects and forcing commutativity follow immediately from the equivalence without additional self-referential steps. The derivation is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (3)
- domain assumption The algebra is Archimedean
- domain assumption Existence of a multiplicative identity 1_X
- standard math Lattice-algebra homomorphisms preserve both order and multiplication
Reference graph
Works this paper leans on
-
[1]
Vector lattices admitting a positively homogeneous continuous function calculus,
N. J. Laustsen and V. G. Troitsky, “Vector lattices admitting a positively homogeneous continuous function calculus,”The Quarterly Journal of Math- ematics, vol. 71, no. 1, pp. 281–294, 2020
work page 2020
-
[2]
Solutions de deux probl` emes de la th´ eorie des espaces semi- ordonn´ es,
A. J. Yudin, “Solutions de deux probl` emes de la th´ eorie des espaces semi- ordonn´ es,” French,Doklady Akademii Nauk SSSR, vol. 23, pp. 418–422, 1939
work page 1939
-
[3]
Th´ eor` emes de factorisation dans les espaces r´ eticul´ es,
J. L. Krivine, “Th´ eor` emes de factorisation dans les espaces r´ eticul´ es,” French, 1974, 22 pages
work page 1974
-
[4]
Functional calculus on Riesz spaces,
G. Buskes, B. de Pagter, and A. van Rooij, “Functional calculus on Riesz spaces,”Indagationes Mathematicae. New Series, vol. 2, no. 4, pp. 423–436, 1991
work page 1991
-
[5]
C. D. Aliprantis and O. Burkinshaw,Positive operators, Reprint of the 1985 original. Springer, 2006
work page 1985
-
[6]
Meyer-Nieberg,Banach lattices(Universitext)
P. Meyer-Nieberg,Banach lattices(Universitext). Springer-Verlag, Berlin, 1991
work page 1991
-
[7]
Lattice-ordered algebras andf-algebras: A survey,
C. B. Huijsmans, “Lattice-ordered algebras andf-algebras: A survey,”Posi- tive operators, Riesz spaces, and economics. Proceedings of a conference, held at Caltech, Pasadena, California, USA, April 16-20, 1990, pp. 151–169, 1991
work page 1990
-
[8]
G. Birkhoff, “Lattice-ordered groups,”Ann. Math. (2), vol. 43, pp. 298–331, 1942. REFERENCES 17
work page 1942
-
[9]
K. A. Baker, “Free vector lattices,”Canadian Journal of Mathematics, vol. 20, pp. 58–66, 1968
work page 1968
-
[10]
R. D. Bleier, “Free vector lattices,”Transactions of the American Mathemat- ical Society, vol. 176, pp. 73–87, 1973
work page 1973
-
[11]
Free and projective Banach lattices,
B. de Pagter and A. W. Wickstead, “Free and projective Banach lattices,” Proceedings of the Royal Society of Edinburgh. Section A. Mathematics, vol. 145, no. 1, pp. 105–143, 2015
work page 2015
-
[12]
Free uniformly complete vector lattices,
E. Emelyanov and S. Gorokhova, “Free uniformly complete vector lattices,” Positivity, vol. 28, no. 4, p. 9, 2024
work page 2024
-
[13]
The free Banach lattice generated by a Banach space,
A. Avil´ es, J. Rodr´ ıguez, and P. Tradacete, “The free Banach lattice generated by a Banach space,”Journal of Functional Analysis, vol. 274, no. 10, pp. 2955– 2977, 2018
work page 2018
-
[14]
Lattice-ordered rings and function rings,
M. Henriksen and J. Isbell, “Lattice-ordered rings and function rings,”Pacific Journal of Mathematics, vol. 12, no. 2, pp. 533–565, 1962
work page 1962
-
[15]
The range of lattice homomorphisms onf-algebras,
K. Boulabiar, “The range of lattice homomorphisms onf-algebras,” inOr- dered algebraic structures. Proceedings of the conference on lattice-ordered groups andf-rings held at the University of Florida, Gainesville, FL, USA, February 28–March 3, 2001, Kluwer Academic Publishers, 2002, pp. 179–188
work page 2001
-
[16]
Birkhoff,Lattice theory(Colloq
G. Birkhoff,Lattice theory(Colloq. Publ., Am. Math. Soc.). American Math- ematical Society (AMS), Providence, RI, 1967, vol. 25. Instituto de Ciencias Matem´aticas, Universidad Aut´onoma de Madrid Email address:david.munnozl (at) uam (dot) es
work page 1967
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.