Foliated complement conjecture

About 3 years old · traced to

Let (X/Z∋z,F,B)(X/Z\ni z,\mathcal{F},B) be an (ϵ,R)(\epsilon,\mathbb{R})-complementary foliated triple of dimension dd, with coefficients in a DCC set Γ⊂[0,1]\Gamma\subset[0,1]. An (ϵ,n)(\epsilon,n)-complement is the corresponding bounded complement with index nn.

Foliated complement conjecture. For every positive real number ϵ\epsilon and positive integer dd, there exists a positive real number nn depending only on ϵ\epsilon, dd and Γ\Gamma such that, if either ϵ=0\epsilon=0 or −KF-K_{\mathcal{F}} is big over ZZ, then (X/Z∋z,F,B)(X/Z\ni z,\mathcal{F},B) has an (ϵ,n)(\epsilon,n)-complement. Moreover, if Γˉ⊂Q\bar\Gamma\subset\mathbb Q, it has a monotonic (ϵ,n)(\epsilon,n)-complement.

This is the foliated analogue of Shokurov's boundedness of complements conjecture. It is known for ordinary pairs in several cases, including dimension two and certain Fano-type settings, while the foliated conjecture remains open in general.

References

Primary source

Jihao Liu, Fanjun Meng and Lingyao Xie, “Complements, index theorem, and minimal log discrepancies of foliated surface singularities”, arXiv:2305.06493 (2024).

Progress summary

Never refreshed

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.