Nonarchimedean analytic cyclic homology (Q2205220)

For simplicity, let \(V\) be a discrete valuation ring whose field of fractions has characteristic \(0\), although most results in the article under review are valid without the characteristic zero constraint. The authors introduce and study the analytic cyclic homology of a certain (generally noncommutative) bornological \(V\)-algebras. For instance, the theory works for the Monsky-Washinitzer weak completion of a commutative, flat, finite type \(V\)-algebra. The analytic cyclic homology of a bornological algebra \(A\) is a \(\mathbb{Z}/2\)-graded vector space over the field of fractions of \(V\), denoted by \(\mathrm{HA}_{\ast}(A)\). The authors prove a number of desirable properties of \(\mathrm{HA}_{\ast}(A)\), such as the theory is dagger-homotopy invariant, satisfies excision, and is invariant under Morita equivalences. They also calculate \(\mathrm{HA}_{\ast}(A)\) explicitly when: -- \(A\) is the Leavitt path algebra of a coutable graph, -- \(A\) is the Cohn path algebra of a countable graph, -- \(A\) is the Monsky-Washinitzer weak completion of a smooth relative affine curve over \(V\). In the last case, it is proved that \(\mathrm{HA}_{*}(A)\) is isomorphic to the Monsky-Washinitzer cohomology (hence the rigid cohomology) of the special fiber.