Non-degeneracy conjecture for the intersection pairing on Shtuka isotypic parts

Let CC be a smooth projective curve, let II be a finite index set with I=r|I|=r, and let \e{±1}0r\underline{\e}\in\{\pm1\}^r_0. For d\ZZd\in\ZZ, the intersection pairing on the degree-dd component of the \GLn\GL_n-Shtuka stack is

,\ed:Hcnr(\Sht\GLn,\ed,\Qlbar)Hcnr(\Sht\GLn,\ed,\Qlbar)\Qlbar.\langle-,-\rangle_{\underline{\e}}^d:H_c^{nr}(\Sht_{\GL_n,\underline{\e}}^d,\underline{\Qlbar})\otimes H_c^{nr}(\Sht_{\GL_n,\underline{\e}}^d,\underline{\Qlbar})\to\Qlbar.

For an irreducible Weil local system fsn\Loc\GLn\arith(\Qlbar)fs_n\in\Loc_{\GL_n}^{\arith}(\Qlbar), write (e\ZZHcnr(\Sht\GLn,\ee,\Qlbar))fsn(\prod_{e\in\ZZ}H_c^{nr}(\Sht_{\GL_n,\underline{\e}}^e,\underline{\Qlbar}))_{fs_n} for its isotypic part, and write fsnfs_n^* for the dual local system. Non-degeneracy conjecture. For every d\ZZd\in\ZZ, the restricted pairing defines a non-degenerate bilinear form

,\e,fsnd:(e\ZZHcnr(\Sht\GLn,\ee,\Qlbar))fsn(e\ZZHcnr(\Sht\GLn,\ee,\Qlbar))fsn\Qlbar.\langle-,-\rangle_{\underline{\e},fs_n}^d:(\prod_{e\in\ZZ}H_c^{nr}(\Sht_{\GL_n,\underline{\e}}^e,\underline{\Qlbar}))_{fs_n}\otimes(\prod_{e\in\ZZ}H_c^{nr}(\Sht_{\GL_n,\underline{\e}}^e,\underline{\Qlbar}))_{fs_n^*}\to\Qlbar.

The conjecture predicts perfect duality between the isotypic summands for a local system and its dual; the source gives no evidence of a resolution.

Sources & referencesView supporting material

Primary source

Zeyu Wang, “Special Cycle on Shtukas and Categorical Trace”, arXiv:2509.05526 (2025).

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.