Conceptual

K2-Regularity and Normality of Schemes

Results relating algebraic K-regularity to geometric regularity: K2-regular Noetherian Q-algebras with finite normalization are normal, and Kp+1-regular affine local complete intersections over a characteristic-zero field are regular in codimension 2p, sharpening Vorst's bound via cyclic homology and higher du Bois singularities.