Trigonometric Holonomy Lie Algebra

• Trigonometric Holonomy Lie Algebra is defined as the Lie subalgebra generated by the residues of the trigonometric Casimir connection in Yangian Y(g), capturing logarithmic singularities and quantum symmetries.
• Its construction relies on explicit quadratic relations, Weyl group equivariance, and rank-2 subsystem structures to control monodromy and braid group actions.
• The structure bridges Yangian representations and quantum loop algebras, underpinning conjectures on quantum Weyl-group operators and advancing our understanding of quantum symmetries.

The trigonometric holonomy Lie algebra arises as the Lie subalgebra generated by the residues of the trigonometric Casimir connection associated with a complex semisimple Lie algebra $g$, embedded into the Yangian $Y(g)$. This structure captures the logarithmic singularities of a flat, Weyl-group equivariant connection on the regular locus of a maximal torus in the corresponding simply-connected Lie group $G$, and encodes deep algebraic and monodromic properties that connect the Yangian, quantum Weyl groups, and quantum loop algebras. The monodromy conjecture postulates that the group generated by exponentiating these residues coincides with the quantum Weyl-group operators for the quantum loop algebra $U_\hbar(Lg)$ (Toledano-Laredo, 2010).

1. The Trigonometric Casimir Connection

Given a complex, semisimple Lie algebra $g$ with root system $\Phi \subset h^*$, Weyl group $W$, and Yangian $Y(g)$ (in Drinfeld's first presentation), the trigonometric Casimir connection is constructed on the trivial $Y(g)$-bundle over the regular part of the maximal torus: $$H_{\mathrm{reg}} = \{ h \in H : e^{\alpha}(h) \neq 1 \ \forall \alpha \in \Phi \}$$ The explicit flat connection one-form, denoted $\Omega$, incorporates both root data and Yangian generators: $$\Omega = d - \hbar \sum_{\alpha \in \Phi_+} \frac{d\alpha}{e^{\alpha} - 1} K_\alpha + 2 \sum_i du_i J(u^i)$$ Here, $K_\alpha$ is the lift of the truncated Casimir operator to $Y(g)$, and $J$ is Drinfeld's map for degree-one generators. Equivalently, in the $\delta$-form: $$\Omega = d - \hbar \sum_{\alpha\in\Phi_+} \frac{e^{\alpha} + 1}{e^{\alpha} - 1} \frac{d\alpha}{2} K_{\alpha} - \sum_i du_i \delta(u^i)$$ with the $W$-equivariant map $$\delta(t) = T(t) - \sum_{\alpha \in \Phi_+} \alpha(t) K_\alpha = -2J(t)$$ ensuring symmetry.

2. Singularities, Poles, and Residues

The connection $\Omega$ possesses logarithmic singularities located along the "root hypertori": $$H_{\alpha} = \{ h \in H : e^{\alpha}(h) = 1 \}, \qquad \alpha \in \Phi$$ Locally, near $e^\alpha = 1$, the term $\frac{d\alpha}{e^\alpha - 1} K_\alpha$ manifests a simple pole, and the residue along $H_\alpha$ is explicitly: $$\text{Res}_{e^\alpha = 1} \Omega = \hbar K_\alpha \in Y(g)$$ Thus, the singularity structure is completely determined by the underlying root system, and each residue is proportional to the truncated Casimir element in the Yangian.

3. Presentation of the Trigonometric Holonomy Lie Algebra

The trigonometric holonomy Lie algebra $L_{\mathrm{trig}} \subset Y(g)$ is defined as the Lie subalgebra generated over $\mathbb{C}[\hbar]$ by the set of residues $$\left\{ \hbar K_\alpha \mid \alpha \in \Phi\right\}$$. The flatness of $\Omega$ imposes quadratic relations among these generators: $R_\alpha = \hbar K_\alpha$ For every rank-2 root subsystem $\Psi \subset \Phi$ and each $\alpha \in \Psi$,

$[ R_\alpha, \sum_{\beta \in \Psi_+} R_\beta ] = 0$

This yields special cases:

• If $\Psi \cong A_1 \times A_1$ with orthogonal roots $\alpha, \beta$:

$[R_\alpha, R_\beta] = 0$

• If $\Psi \cong A_2$, $\Psi_+ = \{ \alpha, \beta, \alpha + \beta \}$:

$$[R_\alpha, R_\alpha + R_\beta + R_{\alpha+\beta}] = 0$$

$$[R_\beta, R_\alpha + R_\beta + R_{\alpha+\beta}] = 0$$

Analogous relations hold for $B_2$ and $G_2$ subsystems.

A full presentation is:

Generator	Relation	Context
$R_\alpha$ ($\alpha\in\Phi$)	$R_{-\alpha}=R_\alpha$	Weyl group equivariance
$[R_\alpha, \sum_{\beta \in \Psi_+} R_\beta]=0$	Quadratic relations (Rel-$\Psi$)	For every rank-2 $\Psi\subset\Phi$

The Weyl group acts by permuting generators via $s_i(R_\alpha) = R_{s_i(\alpha)}$ for simple reflections $s_i$.

4. Monodromy Representation and the Quantum Weyl Group Conjecture

Since $\Omega$ is both flat and $W$-equivariant, analytic continuation yields a monodromy representation of the affine braid group: $B = \pi_1(H_{\mathrm{reg}} / W)$ on any finite-dimensional $Y(g)$-module $V$. The central conjecture is that under transfer to the quantum loop algebra $U_\hbar(Lg)$ via evaluation, the monodromy group generated by exponentials of the residues

$\exp\left(2\pi i \hbar K_\alpha \right)$

for all $\alpha \in \Phi$, coincides exactly with the subgroup of $\mathrm{GL}(V)$ generated by the quantum Weyl-group operators. Specifically, the exponentials of generators of $L_{\mathrm{trig}}$ satisfy the braid relations corresponding to the affine Weyl group, and thus exponentiate onto the quantum Weyl-group inside $U_\hbar(Lg)$.

5. Weyl Group Equivariance and Structural Symmetries

The construction inherits compatibility with the Weyl group $W$. The flat connection $\Omega$ is $W$-equivariant, and the holonomy algebra presentation explicitly includes $R_{-\alpha}=R_\alpha$ and permutational action by $s_i$ for simple reflections. This ensures invariance under the root system symmetries, which is fundamental for both the algebraic structure and the monodromy phenomena. A plausible implication is that any such holonomy algebra encodes not only local residue data but also the global symmetry constraints of the underlying quantum group theory.

6. Relation to Quantum Groups and Yangian Structures

The trigonometric holonomy Lie algebra bridges the representation theory of Yangians and quantum loop algebras. The residues generating $L_{\mathrm{trig}}$ lie in the Yangian $Y(g)$, and the monodromy is conjecturally controlled by the quantum Weyl group operators in $U_\hbar(Lg)$. This correspondence suggests deep connections between geometric monodromy data (from flat connections with logarithmic singularities) and quantum group symmetries, paralleling analogous phenomena for rational Casimir connections but now distinctly trigonometric in nature.

7. Context and Research Directions

The construction and study of the trigonometric holonomy Lie algebra provide new tools to probe quantum group representations, braid group actions, and the geometry of singular flat connections in the context of semisimple Lie algebras. The conjectural relation between monodromy and quantum Weyl group actions points towards further investigations in quantum symmetry, categorification, and algebraic geometry. Subsequent research may focus on explicit computations, extensions to broader classes of quantum algebras, and connections to related holonomy algebras in the theory of integrable systems, representation theory, and mathematical physics (Toledano-Laredo, 2010).