pipette
ESEspañol

Constructing Rational Curves via Jets on Projective Varieties with Non-Nef Canonical Bundle

Bin Dong, Guoxiong Gao, Bin Guo, Zeming Sun, Bin Wu, Song-Yan Xie

Preprint

In the authors' words

We give an algebraic proof in characteristic zero of the Miyaoka--Mori criterion: every point of a curve of negative canonical degree on a smooth projective variety lies on a rational curve. Our jet technique gives, in addition, an effective numerical decomposition of the original curve class. For each prescribed point, the decomposition contains a rational curve through that point, with a positive coefficient independent of the point and with anticanonical degree at most . Together with BDPP cone duality, this recovers the projective uniruledness criterion over . The main result of this paper was obtained using the Pharos system. A detailed report on the use of Pharos and on the Lean~4 formalization of the main arguments is given in the Appendix B, written by Bin Dong, Guoxiong Gao, Zeming Sun, and Bin Wu.

Main resultThe abstract does not state a limitation.

Appeared: Thursday, September 24. arXiv. Preprint, not yet peer-reviewed.