The functorial determination conjecture for nef integral Cartier b-divisors
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.
Sources & referencesView supporting material
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
Sign in to submit a solution.
No solutions have been posted yet.