Equivariant localizing invariants of simple varieties

We define a certain class of simple varieties over a field k by a constructive recipe and show how to control their (equivariant) truncating invariants. Consequently, we prove that on simple varieties: (i) if k = k and char k = p, the p-adic cyclotomic trace is an equivalence; (ii) if k = Q, the Goodwillie–Jones trace is an isomorphism in degree zero; (iii) we can control homotopy invariant K-theory KH, which is equivariantly formal and determined by its topological counterparts. Simple varieties are quite special, but encompass important singular examples appearing in geometric representation theory. We, in particular, show that both finite and affine Schubert varieties for GLn lie in this class, so all the above results hold for them.