Purely Inseparable Galois theory I: The Fundamental Theorem
We construct a Galois correspondence for finite purely inseparable field extensions , generalising a classical result of Jacobson for extensions of exponent one (where for all ).
Source author record
Joe Waldron
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
6works
4topics
4close collaborators
Published work
6 publications
preprint2022arXiv
An analog of adjoint ideals and PLT singularities in mixed characteristic
We use the framework of perfectoid big Cohen-Macaulay algebras to define a class of singularities for pairs in mixed characteristic, which we call purely BCM-regular singularities, and a corresponding adjoint ideal. We prove that these satisfy adjunction and inversion of adjunction with respect to the notion of BCM-regularity and the BCM test ideal defined by the first two authors. We compare them with the existing equal characteristic PLT and purely F-regular singularities and adjoint ideals. As an application, we obtain a uniform version of the Briançon-Skoda theorem in mixed characteristic. We also use our theory to prove that two-dimensional KLT singularities are BCM-regular if the residue characteristic p>5, which implies an inversion of adjunction for three-dimensional PLT pairs of residue characteristic p>5. In particular, divisorial centers of PLT pairs in dimension three are normal when p>5. Furthermore, in the appendix we provide a streamlined construction of perfectoid big Cohen-Macaulay algebras and show new functoriality properties for them using the perfectoidization functor of Bhatt and Scholze.
Open access
preprint2022arXiv
On the log minimal model program for 3-folds over imperfect fields of characteristic p>5
We prove that many of the results of the LMMP hold for 3-folds over fields of characteristic p>5 which are not necessarily perfect. In particular, the existence of flips, the cone theorem, the contraction theorem for birational extremal rays, and the existence of log minimal models. As well as pertaining to the geometry of fibrations of relative dimension 3 over algebraically closed fields, they have applications to tight closure in dimension 4.
Open access
preprint2021arXiv
Structure of geometrically non-reduced varieties
We prove a structural result for geometrically non-reduced varieties and give applications to Fano varieties. For example, we show that if X is the generic fibre of a Mori fibre space of relative dimension n, and the characteristic is p>2n+1, then any geometric non-reducedness of X comes from the base of some fibration.
Open access
preprint2016arXiv
Finite generation of the log canonical ring for 3-folds in char p
We prove that the log canonical ring of a klt pair of dimension 3 with Q-boundary over an algebraically closed field of characteristic p>5 is finitely generated. In the process we prove log abundance for such pairs in the case κ=2.
Open access
preprint2014arXiv
Existence of Mori fibre spaces for 3-folds in char p
We prove the following results for projective klt pairs of dimension 3 over an algebraically closed field of char p>5: the cone theorem, the base point free theorem, the contraction theorem, finiteness of minimal models, termination with scaling, existence of Mori fibre spaces, etc.
Open access
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.