E_n-regularity implies E_(n-1)-regularity

2012/12/05 by Tabuada, Goncalo
#14A15 #16D90 #18D20 #18E30 #Algebraic Geometry (math.AG) #Algebraic Topology (math.AT) #FOS: Mathematics #K-Theory and Homology (math.KT)

paper · doi:10.48550/arxiv.1212.1112

Abstract

Vorst and latter Dayton-Weibel proved that K_n-regularity implies K_(n-1)-regularity. In this note we generalize this result from (commutative) rings to differential graded categories and from algebraic K-theory to any functor which is Morita invariant, continuous, and localizing. Moreover, we show that regularity is preserved under taking desuspensions, fibers of morphisms, direct factors, and arbitrary direct sums. As an application, we prove that the above implication also holds for schemes. Along the way, we extend Bass' fundamental theorem to this broader setting and prove a Nisnevich descent result which is of independent interest

Related

• Regularity and K₀-Regularity under Finiteness Conditions
• K₂-regularity and normality
• On higher Du Bois singularities and K-regularity
• Formalization of Auslander--Buchsbaum--Serre criterion in Lean4
• Regularity on abelian varieties III: further applications