Almost ring theory (Q1406603): Difference between revisions

Almost ring theory was developed by the reviewer for applications in higher-dimensional ramification theory, and only to the extent necessary for that purpose. The term ``almost'' refers to a non-discrete \(p\)-adic valuation and indicates that one ignores modules annihilated by any element of positive valuation. That is one works in a quotient of the category of modules. The one-dimensional case is due to J. Tate who observed that one highly ramified extension kills all other ramification. In the present book the theory is presented in a much more systematic manner. Instead of non-discrete valuations one considers ideals equal to their square, with a thorough discussion about which additional assumptions should be made. After that much of classical commutative algebra gets revisited and reworked in a new perspective, as finiteness conditions, flat and projective modules, unramified, smooth and étale maps, henselian pairs, valuation rings. One difference to the classical treatments is the systematic use of the cotangent complex. Finally, the last chapter investigates this complex for adic spaces, presumably as a preparation for an extension of the theory into a rigid context.