On the K-theory of -- announcement
arXiv:2204.03420
Abstract
We announce new methods for using prismatic cohomology to compute the K-groups of and related rings. We use computer algebra methods to compute these K-groups through a large range in specific cases and also obtain explicit formulas for their orders in large degrees.
Comments welcome!