Basic Theory of Tower Systems
Abstract
For a Banach space X, we study the completed direct limit of its even iterated duals along the canonical embeddings and the bounded inverse limit of the corresponding odd duals. We give explicit constructions, establish their duality relation, and describe the comparison maps associated with iterated dualization. We then examine several assertions in three preprints of Uglešić, giving counterexamples concerning dimension stability and the commutation of bidualization with direct limits. The finite quotient shape (the category whose objects are the finite-dimensional quotients, with all continuous linear maps between them) is classified by the algebraic dimension of the continuous dual. We also compute the dimensions of the finite iterated duals and the completed tower of ℓ∞(ℕ), and prove that, inside the tower space, the canonical copy of a higher layer need not be the range of an M-projection. Throughout, uncompleted limits, Banach completions, and the different meanings of isomorphism are distinguished explicitly.
Related
- Steinness of the Basic GLn Local Shimura Tower in Odd Rank
- Basic Reproductive Numbers in Host-Parasite Systems with Demographic Bistability
- Dissipative Systems Analysis and Control. Theory and Applications: Erratum/Addendum. Springer Nature Switzerland AG, Communications and Control Engineering, Third uncorrected Edition, 2020
- An automorphism tower of length κ+
- Tower of coverings and polylog-size coverings of rational points
BibTeX
@misc{liu2026basic,
title = {{Basic Theory of Tower Systems}},
author = {Quanfeng Liu and Nikica Uglešić},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.03179},
eprint = {2610.03179},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.03179},
note = {CC BY-NC-ND 4.0},
}
RIS
TY - UNPB
TI - Basic Theory of Tower Systems
AU - Quanfeng Liu
AU - Nikica Uglešić
PY - 2026
DA - 2026/10/02
PB - arXiv
DO - 10.48550/arxiv.2610.03179
UR - https://arxiv.org/abs/2610.03179
AB - For a Banach space X, we study the completed direct limit of its even iterated duals along the canonical embeddings and the bounded inverse limit of the corresponding odd duals. We give explicit constructions, establish their duality relation, and describe the comparison maps associated with iterated dualization. We then examine several assertions in three preprints of Uglešić, giving counterexamples concerning dimension stability and the commutation of bidualization with direct limits. The finite quotient shape (the category whose objects are the finite-dimensional quotients, with all continuous linear maps between them) is classified by the algebraic dimension of the continuous dual. We also compute the dimensions of the finite iterated duals and the completed tower of ℓ^∞(ℕ), and prove that, inside the tower space, the canonical copy of a higher layer need not be the range of an M-projection. Throughout, uncompleted limits, Banach completions, and the different meanings of isomorphism are distinguished explicitly.
ER -