Dagger completions and bornological torsion-freeness
Ralf Meyer, Devarshi Mukherjee · The Quarterly Journal of Mathematics · 2019
Abstract We define a dagger algebra as a bornological algebra over a discrete valuation ring with three properties that are typical of Monsky–Washnitzer algebras, namely, completeness, bornological torsion-freeness and a certain spectral radius condition. We study inheritance properties of the three properties that define a dagger algebra. We describe dagger completions of bornological algebras in general and compute some non-commutative examples.