Persistence-rank conjecture for symplectic rational surfaces

From papers

Let X=CP2#nCP2X=\mathbb{C}P^2\# n\overline{\mathbb{C}P^2} carry a symplectic form ω\omega, and let Γ(X,ω)\Gamma(X,\omega) be its Lagrangian root system. Write PR[Γ(X,ω)]PR[\Gamma(X,\omega)] for the persistence rank, and let Rank[π1(Symp(X,ω))]\operatorname{Rank}[\pi_1(\operatorname{Symp}(X,\omega))] and Rank[π0(Symph(X,ω))]\operatorname{Rank}[\pi_0(\operatorname{Symp}_h(X,\omega))] denote the ranks appearing in the source. Persistence-rank conjecture. The quantity

PR[Γ(X,ω)]+Rank[π1(Symp(X,ω))]Rank[π0(Symph(X,ω))]PR[\Gamma(X,\omega)]+\operatorname{Rank}[\pi_1(\operatorname{Symp}(X,\omega))]-\operatorname{Rank}[\pi_0(\operatorname{Symp}_h(X,\omega))]

is constant and equals

1+2++n=n(n+1)21+2+\cdots+n=\frac{n(n+1)}{2}

for any symplectic form on CP2#nCP2\mathbb{C}P^2\# n\overline{\mathbb{C}P^2}. This conjecture relates the persistence type of the Lagrangian root system to homotopy and symplectic mapping-class-group data. The source gives the n=6n=6 calculation as supporting evidence, with value 2121, but does not state a general proof or resolution.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Jun Li, Tian-Jun Li and Weiwei Wu, “Symplectic Torelli groups of rational surfaces”, arXiv:2212.01873 (2022).

Additional references

2 papers in this index state this conjecture (2016–2022). The statement above is taken from the most recent of them; the others are arXiv:1611.07436.

Solutions 0

No solutions have been posted yet.