Hartshorne’s conjecture on ample tangent bundles

For every smooth projective variety XX over C\mathbb{C}, the tangent bundle TXT_X is ample if and only if XX is isomorphic to projective space Pdim⁡X\mathbb{P}^{\dim X}, that is, TXT_X is ample ⟺X≅Pdim⁡X\Longleftrightarrow X\cong\mathbb{P}^{\dim X}.

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed solved

The conjecture was proved by Mori in 1979, while a new preprint claims an alternative analytic route whose details have not been independently checked.

Hartshorne’s conjecture says that for a smooth projective variety XX, an ample tangent bundle characterizes projective space: X≅PnX \cong \mathbb{P}^n. Mori established this classification in 1979.

Known results

  • Mori, 1979: TXT_X is ample exactly when X≅PnX \cong \mathbb{P}^n for smooth projective XX.
  • Sieder, 2017: extended the characterization to normal projective varieties with ample tangent sheaf.

September 2026 analytic construction

Yun-Heng Du, Bin Guo, and Song-Yan Xie claim that finite-area entire maps from the plane produce rational curves implying the same classification consequence. The newly posted preprint’s claimed route has not been independently verified.

Current status (as of September 2026): Mori’s classification is settled; the new analytic argument is an unverified claimed alternative rather than an established change in status.

Sources

Solutions 0

No solutions have been posted yet.