Folding compatibility for classical multiplicative Langlands duality

Let GG and GG^\vee be Langlands dual simple Lie groups, and suppose that GG arose by folding the Dynkin diagram of a self-dual group G~\widetilde G. Let Out(G~)\mathrm{Out}(\widetilde G) act simultaneously on G~\widetilde G and on the circle SB1S^1_B, under the identification

mHiggsG~(E)=BunG~(E×SB1).\operatorname{mHiggs}_{\widetilde G}(E)=\operatorname{Bun}_{\widetilde G}(E\times S^1_B).

Folding conjecture for classical multiplicative Langlands duality. There is an equivalence of categories

Coh(mHiggsG(E))Coh(mHiggsG~(E)Out(G~)),\operatorname{Coh}(\operatorname{mHiggs}_{G^\vee}(E)) \cong \operatorname{Coh}(\operatorname{mHiggs}_{\widetilde G}(E)^{\mathrm{Out}(\widetilde G)}),

compatible with the Fourier–Mukai transform relating the categories for the maximal tori. This proposes that the non-simply-laced correspondence is obtained by folding a simply-laced self-dual theory; no resolution is given.

Sources & referencesView supporting material

Primary source

Chris Elliott and Vasily Pestun, “Multiplicative Hitchin Systems and Supersymmetric Gauge Theory”, arXiv:1812.05516 (2019).

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.