Pseudoeffective threshold characterization of projective spaces and hyperquadrics

Let XX be a smooth projective variety and AA an ample divisor on XX. Let

Δ(X,A)=sup{εRξεπA is effective},\Delta(X,A)=\sup\{\varepsilon\in\mathbb{R}\mid \xi-\varepsilon\pi^*A\text{ is effective}\},

where ξ=c1(OP(TX)(1))\xi=c_1(\mathcal{O}_{\mathbb{P}(T_X)}(1)) is the tautological class on P(TX)\mathbb{P}(T_X) and π:P(TX)X\pi:\mathbb{P}(T_X)\to X is the natural projection. Pseudoeffective threshold characterization. If Δ(X,A)1\Delta(X,A)\geq 1, then

(X,A)(Pn,OPn(1))or(Qn,OQn(1)),(X,A)\simeq(\mathbb{P}^n,\mathcal{O}_{\mathbb{P}^n}(1))\quad\text{or}\quad(Q^n,\mathcal{O}_{Q^n}(1)),

where (Q1,OQ1(1))=(P1,OP1(2))(Q^1,\mathcal{O}_{Q^1}(1))=(\mathbb{P}^1,\mathcal{O}_{\mathbb{P}^1}(2)). The conjecture would characterize projective spaces and hyperquadrics by the pseudoeffective threshold of their tangent bundles. A cited theorem implies the corresponding conclusion when a section exists with equal twisting, but the threshold condition allows the supremum to be approached without such a section, and this remains the conjectural case.

Sources & referencesView supporting material

Primary source

Feng Shao, “On pseudoeffective thresholds and cohomology of twisted symmetric tensor fields on irreducible Hermitian symmetric spaces”, arXiv:2012.11315 (2023).

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.