Symplecticity conjecture for parabolic partial implosions

Let GG be a connected semisimple group, let PP be a parabolic subgroup of GG, and let UPU_P be its unipotent radical. Let BB be a Borel subgroup and set

E=G×BuP⊥E=G\times_B\mathfrak{u}_P^{\perp}

as a homogeneous vector bundle over G/BG/B. The projectivization PE∗\mathbb{P}E^* is a projective bundle. Parabolic partial-implosion conjecture. The projective bundle PE∗\mathbb{P}E^* is of Fano type. By the preceding theorem, this is equivalent to the symplecticity of T∗(G/UP)‾\overline{T^*(G/U_P)}. The conjecture is supported by the evidence in the cited proposition; it has been confirmed for G=SL⁡nG=\operatorname{SL}_n and G=GL⁡nG=\operatorname{GL}_n.

References

Primary source

Baohua Fu and Jie Liu, “The affine closure of cotangent bundles of horospherical spaces”, arXiv:2502.06383 (2026).

Progress summary

Refreshed
Open

The conjecture remains open in general: only the special cases involving the standard linear groups are reported as established, while an earlier claim of a complete proof is not supported by the paper’s current version.

The conjecture asserts that a certain projective bundle is of Fano type, equivalently that the affine closure of the cotangent bundle of a horospherical space is symplectic. The current paper labels this as Conjecture 1.7 and does not claim a general proof.

Known results

  • The conjecture is confirmed for G=SL⁡nG=\operatorname{SL}_n and G=GL⁡nG=\operatorname{GL}_n by T. Gannon and B. Webster; the source gives no exact publication date or separate reference.

Current arXiv version, retrieved August 27, 2026

Version 22 of The affine closure of cotangent bundles of horospherical spaces presents the statement as an open conjecture and reports only the SL⁡n\operatorname{SL}_n and GL⁡n\operatorname{GL}_n cases. A catalogue entry for the same work records a February 2025 claim that Gannon proved the conjecture, but the current version does not substantiate a general proof.

Current status (as of August 2026): The general conjecture is open; the SL⁡n\operatorname{SL}_n and GL⁡n\operatorname{GL}_n cases are reported as confirmed, while the earlier general-proof claim remains unsupported by the current paper version.

Sources

Solutions 0

No solutions have been posted yet.