Vanishing of Tors of absolute integral closures in equicharacteristic zero
Abstract
We show that a ring R is regular if ToriR(R+,k) = 0 for some i≥ 1 assuming further that R is a N-graded ring of dimension 2 finitely generated over an equi-characteristic zero field k. This answers a question of Bhatt, Iyengar, and Ma. We use almost mathematics over R+ to deduce properties of the noetherian ring R and rational surface singularities. Moreover we show that R+ in equi-characteristic zero is m-adically ideal(wise) separated, a condition which appears in the proof of local criterion for flatness. In dimension 2 it is Ohm-Rush and intersection flat. As an application we show that the hypothesis can be astonishingly vacuous for i dim(R). We show that a positive answer to an old question of Aberbach and Hochster also answers this question. We use our techniques to make some remarks on a question of Andr\'e and Fiorot regarding `fpqc analgoues' of splinters.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.