English

An algorithm for Berenstein-Kazhdan decoration functions and trails for classical Lie algebras

Quantum Algebra 2022-07-19 v1 Combinatorics Representation Theory

Abstract

For a simply connected connected simple algebraic group GG, it is known that a variety Bw0:=BUw0UB_{w_0}^-:=B^-\cap U\overline{w_0}U has a geometric crystal structure with a positive structure θi:(C×)l(w0)Bw0\theta^-_{\mathbf{i}}:(\mathbb{C}^{\times})^{l(w_0)}\rightarrow B_{w_0}^- for each reduced word i\mathbf{i} of the longest element w0w_0 of Weyl group. A rational function ΦBKh=iIΔw0Λi,siΛi\Phi^h_{BK}=\sum_{i\in I}\Delta_{w_0\Lambda_i,s_i\Lambda_i} on Bw0B_{w_0}^- is called a half-potential, where Δw0Λi,siΛi\Delta_{w_0\Lambda_i,s_i\Lambda_i} is a generalized minor. Computing ΦBKhθi\Phi^h_{BK}\circ \theta^-_{\mathbf{i}} explicitly, we get an explicit form of string cone or polyhedral realization of B()B(\infty) for the finite dimensional simple Lie algebra g=Lie(G)\mathfrak{g}={\rm Lie}(G). In this paper, for an arbitrary reduced word i\mathbf{i}, we give an algorithm to compute the summand Δw0Λi,siΛiθi\Delta_{w_0\Lambda_i,s_i\Lambda_i}\circ \theta^-_{\mathbf{i}} of ΦBKhθi\Phi^h_{BK}\circ \theta^-_{\mathbf{i}} in the case iIi\in I satisfies that for any weight μ\mu of V(w0Λi)V(-w_0\Lambda_i) and tIt\in I, it holds ht,μ{2,1,0,1,2}\langle h_t,\mu \rangle\in\{2,1,0,-1,-2\}. In particular, if g\mathfrak{g} is of type An{\rm A}_n, Bn{\rm B}_n, Cn{\rm C}_n or Dn{\rm D}_n then all iIi\in I satisfy this condition so that one can completely calculate ΦBKhθi\Phi^h_{BK}\circ \theta^-_{\mathbf{i}}. We will also prove that our algorithm works in the case g\mathfrak{g} is of type G2{\rm G}_2.

Keywords

Cite

@article{arxiv.2207.08065,
  title  = {An algorithm for Berenstein-Kazhdan decoration functions and trails for classical Lie algebras},
  author = {Yuki Kanakubo and Gleb Koshevoy and Toshiki Nakashima},
  journal= {arXiv preprint arXiv:2207.08065},
  year   = {2022}
}

Comments

41 pages

R2 v1 2026-06-25T00:58:44.869Z