The differential-form criterion for rational connectedness

About 25 years old · traced to

Let XX be a smooth projective variety. Write ΩX1\Omega^1_X for the sheaf of differential 11-forms on XX, and (ΩX1)⊗m(\Omega^1_X)^{\otimes m} for its mm-fold tensor power.

Rational connectedness criterion. XX is rationally connected if and only if

H0(X,(ΩX1)⊗m)=0H^0(X,(\Omega^1_X)^{\otimes m})=0

for all m>0m>0.

This is proposed as a numerical criterion for rational connectedness, expressing the absence of global tensorial differential forms in terms of connectivity by rational curves. Its resolution is not specified in the supplied text.

References

Primary source

Tom Graber, Joe Harris and Jason Starr, “Families of rationally connected varieties”, arXiv:math/0109220 (2001).

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.