Dynkin automorphism actions on Gaudin algebras

Abstract

We study the action of Dynkin diagram automorphisms $σ$ on generalized Gaudin algebras, focusing in particular on the big Gaudin algebra $\mathcal{B}(\mathfrak{g}) \subset (U(\mathfrak{g}) \otimes S(\mathfrak{g}))^{\mathfrak{g}}$ and its evaluated versions $\mathcal{B}^λ(\mathfrak{g})$ and $\mathcal{B}_χ(\mathfrak{g})$. We show isomorphisms between the coinvariants of the generalized Gaudin algebras associated with $\mathfrak{g}^\vee$ and the generalized Gaudin algebras associated with $\mathfrak{g}_σ^\vee$, where $\mathfrak{g}_σ$ is the fixed point subalgebra. In particular, we get an isomorphism $\mathcal{B}^λ(\mathfrak{g}^\vee)_σ\simeq \mathcal{B}^λ(\mathfrak{g}^\vee_σ)$ for any $σ$-invariant dominant weight $λ$, which allows us to reprove Jantzen's twining formula. Our approach relies on interpreting generalized Gaudin algebras via spaces of opers, which explains the appearance of the Langlands duals in our results and in Jantzen's twining formula.