Departmental Colloquium

Date: Thursday, Apr 10, 2025

Time: 4:00PM - 5:00PM

Location: JWB 335

Ben Antieau

Northwestern University

Title	K-groups and machine computation
Abstract	I will describe the results of joint work with Achim Krause and Thomas Nikolaus on a computer algorithm to compute the algebraic K-groups of simple rings like $\mathbb{Z}/4$ or $\mathbb{Z}/9$. No background in algebraic K-theory is assumed. I will then explain how theoretical breakthroughs in p-adic cohomology theories, especially the theory of prismatic cohomology, make our algorithm possible.

Algebraic K-theory