Weyl-line intersection conjecture for effective divisors on Xs4X^4_s

Let Xs4X^4_s be projective four-space blown up at ss general points, let DD be an effective divisor on Xs4X^4_s, and let CC be a Weyl line, meaning a curve in the Weyl-group orbit of a line through two of the blown-up points. Write H1(Xs4,OXs4(D))H^1(X^4_s,\mathcal{O}_{X^4_s}(D)) for the first cohomology group of the associated line bundle.

Weyl-line intersection conjecture. If

H1(Xs4,OXs4(D))=0,H^1(X^4_s,\mathcal{O}_{X^4_s}(D))=0,

then

DC1D\mathbin{\cdot}C\geq -1

for every Weyl line CC.

The preceding proposition gives a cohomological lower-bound mechanism when a Weyl line has sufficiently negative intersection with DD, motivating this converse-type necessary condition. The source does not report a resolution.

Sources & referencesView supporting material

Primary source

Olivia Dumitrescu and Rick Miranda, “Cremona Orbits in P^4 and Applications”, arXiv:2103.08040 (2021).

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.