Optimal bend-and-break constant for foliations

Less than 1 year old · traced to

Let XX be a normal projective variety of dimension nn, and let F\mathcal{F} be a foliation on XX of rank rr. Let H1,…,Hn−1,HH_{1},\ldots,H_{n-1},H be ample divisors on XX, and let CC be a general intersection of elements Di∈∣miHi∣D_{i}\in\lvert m_{i}H_{i}\rvert for 1≤i≤n−11\le i\le n-1, with mi≫0m_{i}\gg 0. Suppose that KF⋅C<0K_{\mathcal{F}}\cdot C<0. Then through a general point of CC there exists a rational curve Σ\Sigma tangent to F\mathcal{F} such that

H⋅Σ≤(r+1) H⋅C−KF⋅C.H\cdot\Sigma\le (r+1)\,\frac{H\cdot C}{-K_{\mathcal{F}}\cdot C}.

The constant r+1r+1 is optimal: no strictly smaller universal constant suffices, even for smooth algebraically integrable foliations. This is Theorem 1.1 and Remark 1.2 of the cited paper.

References

Progress summary

Refreshed
Claimed solved

A 2026 preprint gives the sharp answer: the universal bend-and-break constant is the foliation’s rank plus one.

The problem asks for the smallest universal constant governing rational curves tangent to a rank-rr foliation. A preprint claims that this constant is r+1r+1, under its stated hypotheses, and supplies an example showing sharpness.

Known results

  • Miyaoka, 1987: introduced the characteristic-pp bend-and-break technique.
  • Shepherd–Barron, 1992: obtained the foliated constant 2n2n.
  • Bogomolov–McQuillan, 2016: improved this to 2r2r.

May 2026 sharp-bound preprint

The paper Optimal bounds in bend-and-break for foliations asserts that, when KF⋅C<0K_{\mathcal F}\cdot C<0, one obtains a tangent rational curve Σ\Sigma with

H⋅Σ≤(r+1)H⋅C−KF⋅C.H\cdot\Sigma\leq(r+1)\frac{H\cdot C}{-K_{\mathcal F}\cdot C}.

Its product example Pr×Pn−r\mathbb P^r\times\mathbb P^{n-r} shows that no smaller constant works, even for smooth algebraically integrable foliations. It also notes that the analogous extremal-ray length statement needs a foliated cone theorem, unavailable in full generality.

Current status (as of July 2026): the bend-and-break constant is settled as r+1r+1 by the available preprint, while the corresponding extremal-ray length statement remains open in full generality.

Sources

Solutions 0

No solutions have been posted yet.