Algebraic Topology Seminar
Monday, October 07, 2019 at 4:30pm
Room : 2 - 131
On the K-theory of Universal Homeomorphisms
A universal homeomorphism of schemes is a morphism of schemes (frighteningly, with no finiteness conditions) which is a homeomorphism on underlying topological spaces (!) and remains so after arbitrary pullback. In some sense, beginning with at least Grothendieck, one should view a universal homeomorphism as analogous to the topologists notion of a weak equivalence. In this talk, I will explain this philosophy, give examples, and explain two re- sults about the behavior of algebraic K-theory under universal homeomorphisms. The first is an equicharacteristic result: if k is a field of exponential characteristic c, then homotopy K-theory is invariant under universal homeomorphisms of k-schemes, after inverting c; this is a consequence of joint work with Adeel Khan and implies the statement for usual K-theory in positive characteristics. The second is a mixed characteristic result for usual (but p-inverted) K-theory: over Zp schemes, universal homeomorphisms are completely controlled by its char- acteristic zero part. The formulation of the theorem, and its proof, is inspired by some results in mixed characteristic birational geometry. This is joint work in progress with Akhil Mathew and Jakub Witaszek.