The functorial determination conjecture for nef integral Cartier b-divisors
Let be the category of pairs where is a reduced integral noetherian excellent -scheme and is a nef integral Cartier b-divisor on . A morphism consists of a morphism and an isomorphism . Let be the subcategory with the same objects and only those morphisms whose underlying morphisms of schemes are regular, and let be the natural inclusion.
Functorial determination conjecture. There exist a covariant functor and a natural transformation such that:
- For each , the morphism is a modification that is a determination of .
- If , then is an isomorphism.
- For each morphism in , the square
is cartesian in .
The conjecture is a functorial refinement of the existence of determinations for nef Cartier b-divisors, motivated by resolution of turning points. The supplied text does not state whether it has been resolved.
References
Primary source
Kiran S. Kedlaya, “Good formal structures for flat meromorphic connections, III: Irregularity and turning loci”, arXiv:1308.5259 (2019).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
No solutions have been posted yet.