Quantum deformation and Langlands duality for relative Lie algebra cohomology

Let A=\a0C[z+,z]Λ(θ1,θ2,θ3)A=\a0\mathbb{C}[z_+,z_-]\otimes\Lambda(\theta_1,\theta_2,\theta_3). Write C(g[A],g;C)[[]]C^\bullet(\mathfrak g[A],\mathfrak g;\mathbb{C})[[\hbar]] for the relative Chevalley--Eilenberg cochain complex, with classical differential dd. Define the quantum degree by

deg:=2(J1+J2+q1+q2+q3),\deg:=2(J_1+J_2+q_1+q_2+q_3),

and consider the four conserved combinations J1J2J_1-J_2, J1+q1J_1+q_1, J1+q2J_1+q_2, and J1+q3J_1+q_3.

Quantum deformation and Langlands duality conjecture. There exists a square-zero deformation

dquant=d+d1+2d2+d_{\mathrm{quant}}=d+\hbar d_1+\hbar^2d_2+\cdots

of the classical relative Chevalley--Eilenberg differential on C(g[A],g;C)[[]]C^\bullet(\mathfrak g[A],\mathfrak g;\mathbb{C})[[\hbar]] such that dquant2=0d_{\mathrm{quant}}^2=0, is homogeneous of degree +1+1 with respect to the quantum degree, and preserves the four conserved combinations. If

H(g[A],g):=H ⁣(C(g[A],g;C)[[]],dquant),H_\hbar(\mathfrak g[A],\mathfrak g):=H\!\bigl(C^\bullet(\mathfrak g[A],\mathfrak g;\mathbb{C})[[\hbar]],d_{\mathrm{quant}}\bigr),

then, for every Langlands-dual pair (g,L ⁣g)(\mathfrak g,{}^L\!\mathfrak g),

H(g[A],g)H(L ⁣g[A],L ⁣g)H_\hbar(\mathfrak g[A],\mathfrak g)\cong H_\hbar({}^L\!\mathfrak g[A],{}^L\!\mathfrak g)

as C[[]]\mathbb{C}[[\hbar]]-modules, compatibly with the quantum degree and the four conserved combinations.

This conjecture proposes a quantum correction to the classical relative cohomology in order to repair the mismatch with Langlands duality. The deformation is required to retain the specified charge bookkeeping, while the claimed isomorphism for every Langlands-dual pair remains unproved in the supplied text.

Sources & referencesView supporting material

Primary source

Chi-Ming Chang, “Super-Chevalley Restriction and Relative Lie Algebra Cohomology over the 2|3 Algebra”, arXiv:2604.23549 (2026).

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.