arXiv++ Combinatorics

The cactus group acts on tensor products of crystals and, through Bender--Knuth involutions, on semistandard Young tableaux. We show that the big cactus group $J'_n=π_1^{\mathfrak S_n}(\overline M_{0,n}(\mathbb R))$, $n\ge3$, is obtained from the cactus group by imposing $n-1$ Dynkin-reversal relations, which say that conjugation by the full reversal acts on the Bender--Knuth generators by the Dynkin diagram automorphism; the quotient map is induced by forgetting the distinguished marked point. We give a second presentation, in which these relations are replaced by the requirement that every reduced word for the longest element of $\mathfrak S_n$ adapted to an orientation of $A_{n-1}$ represents the full reversal. These relations also hold on rectangular tableaux, where every adapted reduced word therefore acts as evacuation, and on invariant tensors: for finite normal crystals of any complex semisimple Lie algebra, the cactus action on invariants factors through $J'_n$. We prove the latter combinatorially in type $A$ and in general via Gaudin eigenline coverings. Haiman's promotion relation follows from a single adapted-word relation, but for $n\ge4$ it is strictly weaker than the whole family.

The action of the cactus group $C_n$ on Young tableaux of a given shape $λ$ goes back to Berenstein and Kirillov and arises naturally in the study of crystal bases and quantum integrable systems. We show that this action is $2$-transitive on standard Young tableaux of the shape $λ$ if and only if $λ$ is not self-transpose and not a single hook. Moreover, we show that in these cases, the image of the cactus group in the permutation group of standard Young tableaux is either the whole permutation group or the alternating group, and prove that both cases are possible for infinitely many $λ$ (though the alternating group is more frequent). As an application, this implies that the Galois group of solutions to the Bethe ansatz in the Gaudin model attached to the Lie group $GL_d$ is, in many cases, at least the alternating group. This also extends the results of Sottile and White on the multiple transitivity of the Galois group of Schubert calculus problems in Grassmannians to many new cases.