Completing the permutation-coefficient theory of gl(n) Yangian intertwiners: general parameter permutations, general rank and evaluation order, contour dependence, and factorization equivalence

The Yangian $Y(\mathfrak{gl}_n)$ admits order- $N$ evaluation presentations - monodromies of $N$ Jordan-Schwinger-type $L$ -operators embedded in Heisenberg algebras, depending on $nN$ complex parameters - whose highest-weight representations are intertwined by parameter-permutation operators built from integral $R$ -operators obeying Yang-Baxter relations. Kirschner (arXiv:2508.11980, 2025) showed that, acting on the constant highest-weight vector, these intertwiners produce permutation coefficients - products of Euler beta functions of the parameters - and demonstrated for $\mathfrak{gl}_2$ and the second-order evaluation that their zeros, poles, and small-shift asymptotics distinguish the representation types, reproducing the Nazarov-Tarasov and Molev irreducibility criteria. The completion of this program is open: the constructions are restricted to beta sequences of adjacent transpositions, the reducibility classification via permutation-coefficient analytic loci is carried out only at rank two and low order, the dependence on the integration contour defining the $R$ -operators is unexamined beyond the boundary-free choice, and the asserted equivalence with factorization-method permutation operators is unproven in general. The problem asks for the complete theory: well-defined intertwiners for arbitrary parameter permutations, a general-rank and general-order classification of representation types in terms of the coefficients' analytic structure, the contour dependence, and the equivalence with factorization-based operators. The problem has not been addressed in the subsequent literature.

Background

The Yangian $Y(\mathfrak{gl}_n)$ is the Hopf deformation of the universal enveloping algebra of the loop algebra $\mathfrak{gl}_n[t]$ ; its generators can be arranged into a matrix $T(u)$ of formal series in a spectral parameter $u$ satisfying the RTT relation with Yang's rational $R$ -matrix - the exchange relation $R(u-v)\,T_1(u)T_2(v)=T_2(v)T_1(u)\,R(u-v)$ between tensor factors, whose coefficients define the commutation relations of the generators. Representations are commonly obtained through the evaluation homomorphism $Y(\mathfrak{gl}_n)\to U(\mathfrak{gl}_n)$ : pulling back $\mathfrak{gl}_n$ -modules gives evaluation modules, and tensor products of evaluation modules with independent shifts are the basic Yangian representations. Kirschner's paper realizes these concretely. By the Jordan-Schwinger (JS) construction, the $\mathfrak{gl}_n$ generators are built from $n$ Heisenberg canonical pairs $(x_a,\partial_a)$ , and an $L$ -operator composed of them satisfies the RTT relation. The Biedenharn iterative construction - implemented through Dirac-type constraints imposed on pairs of canonical variables - then produces order- $N$ evaluation presentations: monodromies $T(u,2\mathfrak{l})$ that are products of $N$ JS-type $L$ -operators depending on $nN$ complex parameters $2\mathfrak{l}=(2\underline{\ell}^1,\dots,2\underline{\ell}^N)$ , embedded in a Heisenberg algebra. The representations studied are those with a highest weight: the space is spanned by monomials multiplying a highest-weight function, a homogeneous function of the coordinates whose degrees of homogeneity are the parameters; in the base case the highest-weight vector is the constant function $1$ .

The intertwiners of this framework are parameter-permutation operators. The building blocks are $R$ -operators solving the Yang-Baxter relation with two JS $L$ -operators - the compatibility relation $R_{12}(u-v)\,L^1(u)L^2(v)=L^1(v)L^2(u)\,R_{12}(u-v)$ of the source's eq. (4.1) - given explicitly as a contour integral over a shift operator, $R_{12}(w)=\int dc\, c^{w-1}\exp(-c\,\underline{x}^1\underline{\partial}^2)$ ; an integral operator of this form also appeared in scattering-amplitude calculations in $\mathcal{N}=4$ super Yang-Mills theory. The power of $c$ in the integrand is a kernel $\phi(c)=c^{w-1}$ fixed by solving the differential relation $\partial_c(c\,\phi(c))+(v-u)\,\phi(c)=0$ that arises when the Yang-Baxter relation is checked by integrating by parts; the derivation assumes that this integration by parts produces no boundary terms, as holds for closed contours. A different choice of integration contour or boundary condition changes the integration-by-parts rule and would modify $\phi(c)$ and hence the $R$ -operators; the source does not classify these choices. Restricted to the constraint surfaces of the Biedenharn construction, these become elementary operators $S$ that interchange two adjacent parameters of the array $2\mathfrak{l}$ and intertwine the monodromies, $T(u,\sigma\,2\mathfrak{l})=S\,T(u,2\mathfrak{l})\,S^{-1}$ ; by Proposition 8 of the source, intertwiners exist exactly when the parameter arrays are related by permutations of the components, up to an overall shift. Acting with a product $\mathfrak{S}$ of elementary permutation operators on the constant highest-weight vector produces a number, the permutation coefficient, $\mathfrak{S}\cdot 1=\pi(2\mathfrak{l})\cdot 1$ ; in all classes evaluated in the paper these are products of Euler beta functions $B(a,b)=\Gamma(a)\Gamma(b)/\Gamma(a+b)$ of the parameters. Their analytic structure is the central object: zeros and poles occur precisely at non-negative integer parameter differences, and the asymptotics of $\pi$ under a small shift $u\to 0$ of a parameter pair changes character exactly when the representation degenerates. For $\mathfrak{gl}_2$ and the second-order evaluation the paper shows in detail (its sect. 8) that these analytic loci encode the representation type - irreducible, or reducible with an invariant monomial subspace cut out by a non-negative integer parameter, including the appearance of a secondary highest-weight vector (a second vector, besides the generating one, that satisfies the highest-weight condition and hence generates a proper invariant subspace) - thereby reproducing, from a new constructive angle, the classical irreducibility criteria for tensor products of Yangian evaluation modules due to Nazarov-Tarasov and to Molev. At general rank the paper constructs beta sequences: decompositions of a permutation into adjacent transpositions chosen so that every elementary integral reduces to a beta integral (the contour taken as a Pochhammer-type closed contour around the two branch points), including the 1-to-1 beta sequences $S^{12}_i$ exchanging the parameter at position $i$ of one factor with that of the adjacent factor, with coefficients $\pi^{12}_i$ (its Propositions 9 and 10).

Problem Statement

Within the framework of Kirschner's arXiv:2508.11980 - order- $N$ evaluation presentations $T(u,2\mathfrak{l})$ of the $\mathfrak{gl}_n$ Yangian embedded in Heisenberg algebras via the Jordan-Schwinger/Biedenharn construction, their highest-weight representations generated from the constant vector $1$ , and elementary adjacent-parameter permutation operators obtained from the integral $R$ -operators - complete the permutation-coefficient theory of the intertwiners:

(1) General permutations beyond beta sequences. Characterize which permutations of the parameter array $2\mathfrak{l}$ admit a well-defined action of the corresponding products of elementary permutation operators on the constant highest-weight vector, including the limiting and analytic-continuation procedure required when integer parameter differences make the beta integrals singular (the 'careful limits' that the source avoids by restricting to beta sequences).

(2) General-rank, general-order classification. Establish the classification of representation types - irreducibility, conditions for reducibility together with the subrepresentation structure, and the appearance of secondary highest-weight vectors (vectors that, like the generating highest-weight vector, satisfy the highest-weight condition but generate a proper invariant subspace) - of the order- $N$ evaluation representations for general $n$ and general $N$ in terms of the analytic structure (zeros, poles, and small-shift asymptotics) of the permutation coefficients, generalizing the $\mathfrak{gl}_2$ second-order analysis of the source's sect. 8.4, and verify that the resulting classification reproduces the Nazarov-Tarasov and Molev irreducibility criteria in the overlapping cases of tensor products of evaluation modules.

(3) Contour dependence. Classify the admissible choices of integration contour (equivalently, of the integration-by-parts rule) used to define the integral $R$ -operators; determine how the kernel $\phi(c)$ solving the defining differential relations, the resulting $R$ -operators, permutation operators, and permutation coefficients depend on this choice; and clarify whether and in what sense the representation-type classification of (2) is contour-independent.

(4) Equivalence with the factorization method. Prove or refute the equivalence of the $R$ -operator-based permutation operators with the parameter-permutation operators obtained by the factorization method (an alternative construction, due to Derkachov-Karakhanyan-Kirschner and successors, that builds $R$ -operators and Lax matrices as products of simpler factors) for all ranks $n$ , all orders $N$ , and all parameter regimes, including the explicit mapping of normalization conventions.

These components serve one common objective: a complete, contour-consistent, normalization-consistent theory in which explicit intertwiners for arbitrary parameter permutations classify the representation types of order- $N$ evaluation representations of $Y(\mathfrak{gl}_n)$ through the analytic loci of their permutation coefficients. All four components are jointly required to complete this objective: components (1)-(3) each require a positive characterization (a classification or a well-definedness statement) rather than an example, and component (4) is resolved by either a proof or a refutation of the equivalence.

References

R. Kirschner, "Intertwiners of Yangian representations", arXiv:2508.11980 (2025), DOI: 10.48550/arXiv.2508.11980, https://arxiv.org/abs/2508.11980
M. Nazarov, V. Tarasov, "On Irreducibility of Tensor Products of Yangian Modules", arXiv:q-alg/9712004 (1997), published in International Mathematics Research Notices 1998 (1998), no. 3, 125-150, DOI: 10.1155/S1073792898000129, https://arxiv.org/abs/q-alg/9712004
A. I. Molev, "Irreducibility criterion for tensor products of Yangian evaluation modules", arXiv:math/0009183 (2000), published in Duke Mathematical Journal 112 (2002), no. 2, 307-341, DOI: 10.1215/S0012-9074-02-11224-1, https://arxiv.org/abs/math/0009183
S. Derkachov, D. Karakhanyan, R. Kirschner, "Yang-Baxter R operators and parameter permutations", arXiv:hep-th/0703076 (2007), published in Nuclear Physics B 785 (2007) 263-285, DOI: 10.1016/j.nuclphysb.2007.05.022, https://arxiv.org/abs/hep-th/0703076
K. Dahiya, E. Mukhin, "Intertwiners of representations of untwisted quantum affine algebras and Yangians revisited", arXiv:2503.09845 (2025), published in Journal of Mathematical Physics 66 (2025) 051701, DOI: 10.1063/5.0274972, https://arxiv.org/abs/2503.09845
S. E. Derkachov, V. P. Spiridonov, "Yang-Baxter equation, parameter permutations, and the elliptic beta integral", arXiv:1205.3520 (2012), published in Russian Mathematical Surveys 68 (2013) 1027-1072, DOI: 10.1070/rm2013v068n06abeh004869, https://arxiv.org/abs/1205.3520