2024/03/04 by Ofer Gabber, Gabber, Ofer, Rémi Lodh +1 · 1 citation
Mathematics · Computer Science · #Commutative Algebra and Its Applications #Rings, Modules, and Algebras #Polynomial and algebraic computation
paper · pdf · doi:10.48550/arxiv.2403.01831
We give sufficient conditions for cohomological flatness (in dimension 0) over discrete valuation rings, generalizing classical results of Raynaud in two different ways. The first is a higher dimensional generalization of Raynaud's numerical criteria, in both the variant for the multiplicity of the special fibre and that for the index of the generic fibre. The second is a logarithmic criterion: we show that, over a log regular base, a proper flat fs log smooth morphism is cohomologically flat in dimension 0. We apply this latter result to curves and torsors under abelian varieties with good reduction, providing necessary and sufficient conditions for the log smoothness of their regular models over arbitrary discrete valuation rings.