The topological-index conjecture for minimal generalized Lagrangian surfaces

At least 16 years old · documented by

Let XX be a minimal generalized Lagrangian surface of general type. Thus, for a nonzero w∈ker⁡ψ2⊆H0(X,ΩX2)w\in\ker\psi_2\subseteq H^0(X,\Omega_X^2) of rank 22, let V⊂H0(X,ΩX1)V\subset H^0(X,\Omega_X^1) be the minimal-dimensional subspace with w∈⋀2Vw\in\bigwedge^2V; assume that VV generically generates ΩX1\Omega_X^1. Let FVF_V be the divisorial part of the base scheme of ψ2(⋀2V)⊆H0(X,ωX)\psi_2(\bigwedge^2V)\subseteq H^0(X,\omega_X). It is contracted by VV if it is reduced and the restriction

V⊗OX⟶ΩX1⟶ΩX∣FV1=ωFVV\otimes\mathcal O_X\longrightarrow\Omega_X^1\longrightarrow\Omega_{X|F_V}^1=\omega_{F_V}

vanishes. The topological-index conjecture. If FVF_V is contracted by VV, then the topological index satisfies

τ(X)≥0.\tau(X)\geq 0.

Earlier results establish non-negativity under additional hypotheses on FVF_V, including that it is zero or a reduced connected normal-crossings divisor contracted by VV, while the conjecture asks whether those extra assumptions can be removed.

References

Primary source

Francesco Bastianelli, Gian Pietro Pirola and Lidia Stoppino, “Galois closure and Lagrangian varieties”, arXiv:0912.3377 (2010).

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.