Khoroshkin-Tolstoy Multiplicative Formula

• The Khoroshkin-Tolstoy-type multiplicative formula is a combinatorial inversion method for (q,t)-deformed Cartan matrices that uses braid group actions and deformed reflections.
• It provides a categorical framework via generalized preprojective algebras, enabling graded module constructions and Euler–Poincaré pairings in a quantum setting.
• The formula bridges advanced combinatorics with quantum affine algebra representation theory, offering insights into R-matrix pole orders and tilting complex exchanges.

The Khoroshkin-Tolstoy-type multiplicative formula is a combinatorial inversion formula associated with two-parameter deformations of symmetrizable generalized Cartan matrices, $C(q,t)$, and their representation-theoretic and categorical interpretations via generalized preprojective algebras. This formula provides an explicit multiplicative construction of the inverse Cartan matrix in terms of braid group actions and deformed root reflections, thereby bridging advanced combinatorics, category theory, and quantum affine algebra representation theory (Fujita et al., 2023, &&&1&&&).

1. Definition of the $(q,t)$-Deformed Cartan Matrix

Let $C=(c_{ij})_{i,j\in I}$ be a symmetrizable generalized Cartan matrix indexed by a finite set $I$, with symmetrizer $D=\operatorname{diag}(d_i)_{i\in I}$. For $i\neq j$ with $c_{ij}<0$, set $g_{ij}=\gcd(|c_{ij}|,|c_{ji}|)$, $f_{ij}=|c_{ij}|/g_{ij}$, and denote $[k]_q=(q^k-q^{-k})/(q-q^{-1})$. The $(q,t)$-deformed Cartan matrix $C(q,t)=(C_{ij}(q,t))_{i,j\in I}$ over $\mathbb{Z}[q^{\pm1},t^{\pm1}]$ is given by

$$C_{ij}(q,t) = \begin{cases} q^{d_i}t^{-1} + q^{-d_i}t, & i = j \ -\,\delta(i\sim j)\;g_{ij}\;[f_{ij}]_{q^{d_i}}, & i \neq j \end{cases}$$

where $\delta(i\sim j)$ indicates adjacency ($c_{ij}<0$) (Fujita et al., 2023).

Specialization at $t=1$ recovers the usual quantum Cartan matrix, while $q=1$ yields the $t$-deformed Cartan matrix relevant to deformations of $\mathcal{W}$-algebras. In type $A_2$, this explicitly reproduces

$$C(q,t) = \begin{pmatrix} q t^{-1} + q^{-1} t & -1 \ -1 & q t^{-1} + q^{-1} t \end{pmatrix}$$

which is invertible in $\mathbb{Z}[q^{\pm1}, t^{\pm1}]$ (Fujita et al., 2023).

2. Categorical Interpretation: Generalized Preprojective Algebras

The categorical underpinning involves the $\Gamma$-graded generalized preprojective algebra $\Pi$ attached to $(C,D)$. This algebra is constructed as the path algebra of the doubled quiver (with loops at each vertex) modulo certain homogeneous relations. The grading is given by assigning $\deg(\alpha_{ij}^{(g)}) = q^{-d_i}t$, $\deg(_i) = q^{2d_i}$. The category of finitely generated $\Gamma$-graded $\Pi$-modules, bounded below in the $t$-grading, admits a completed Grothendieck group

$$K = \widehat{K}(\Pi\text{-}\Gamma\mathrm{-gr}) \cong \mathbb{Z}[q^{\pm1}, t^{\pm1}]\langle\![t]\!\rangle^{\oplus|I|}.$$

A natural Euler–Poincaré pairing is defined by

$$\langle M,N\rangle_\Gamma = \sum_{k \geq 0} (-1)^k\; \operatorname{dim}_\Gamma \operatorname{Tor}_k^\Pi(M^\phi, N),$$

where $M^\phi$ is the twist by the algebra anti-involution. Importantly, $C_{ij}(q,t) = \langle E_i, S_j \rangle_\Gamma$, with $S_j$ the simple at $j$, $E_i$ its projective cover modulo the one-loop relations (Fujita et al., 2023, Fujita et al., 2021).

3. Combinatorial Inversion via Braid Group Actions

The Khoroshkin-Tolstoy-type formula provides an explicit expression for entries of $C(q,t)^{-1}$ using braid group operators. On $$Q_\Gamma=\bigoplus_{i\in I}\mathbb{Q}(\Gamma)\alpha_i$$, define a $\phi$-Hermitian form as $(\alpha_i, \alpha_j)_\Gamma = [d_i]_q\,C_{ij}(q,t)$ and deformed reflections

$$T_i(x) = x - (\alpha_i^\vee, x)_\Gamma \alpha_i, \quad \alpha_i^\vee = q^{-d_i} t [d_i]_q^{-1} \alpha_i.$$

For an acyclic orientation $\Omega$, let $T_\Omega$ be the ordered product of the $T_i$; set $\varpi_j = \sum_i C_{ij}(q, t) \alpha_i^\vee$ and $\beta_j^\Omega = (1 - T_\Omega) \varpi_j$. The inversion formula reads

$$(C(q, t)^{-1})_{ij} = \sum_{k=0}^\infty (\varpi_i^\vee, T^k_\Omega \beta_j^\Omega)_\Gamma.$$

Alternatively, for an infinite reduced sequence $(i_1, i_2, \ldots)$,

$$C_{ij}(q, t) = q^{-d_j} t \sum_{k: i_k = j} (\varpi_i^\vee, T_{i_1}\cdots T_{i_{k-1}}\alpha_j)_\Gamma$$

(Fujita et al., 2023).

4. Structural Properties and Relation to Mass-Deformed Matrices

The deformed Cartan matrix $C(q,t)$ satisfies

$[d_i]_q C_{ij}(q, t) = [d_j]_q C_{ji}(q, t),$

and certain conjugations yield symmetry. Its determinant is evaluated as

$$\det C(q, t) = q^{-\sum_i d_i} t^{|I|} (1 + (q t^{-1})^{2 rh^\vee})$$

up to a unit in $\mathbb{Z}[q^{\pm1}, t^{\pm1}]$ (Fujita et al., 2021).

The construction is related to the Kimura–Pestun mass-deformation (Fujita et al., 2023) by the identification

$$C^{\mathrm{KP}}(q_1, q_2; \{\mu_e\}) \rightsquigarrow q^{-D} t\, C(q, t),$$

under $q_1 = q^2, q_2 = t^{-2}$, and an appropriate mapping of mass parameters, provided the condition $f_{ij}=1$ or $f_{ji}=1$ for every edge $i-j$ holds (satisfied for symmetric, finite, or affine types).

5. Examples and Explicit Calculations

In type $A_2$ ($|I| = 2, c_{12} = c_{21} = -1, d_1 = d_2 = 1$), the $(q,t)$-deformed Cartan matrix and its inverse take the form

$$C(q, t) = \begin{pmatrix} q t^{-1} + q^{-1} t & -1 \ -1 & q t^{-1} + q^{-1} t \end{pmatrix}, \qquad \det C(q, t) = q^2 t^{-2} - 1 + q^{-2} t^2,$$

$$(C^{-1})_{12} = q^{-1} t\, (T_1 \alpha_2, \varpi_1)_\Gamma = \frac{q^{-1} t}{q t^{-1} + q^{-1} t - 1}.$$

These explicit formulas can be deduced either by direct matrix algebra or via the braid group action described above. Analogous explicit expressions are given for $C_2$ and other low-rank cases (Fujita et al., 2023, Fujita et al., 2021).

6. Applications to Representation Theory and Quantum Affine Algebras

The $(q, t)$-Cartan matrix and its inverse structure essential extension and cluster-theoretic phenomena in the representation theory of quantum affine algebras. Specifically, for the bigraded generalized preprojective algebra $\Pi$ of Langlands-dual type, one constructs "generic kernels" and connects the graded Euler–Poincaré pairings with the entries of $C(q, t)$. The explicit formula for the dimension of

$\Ext^1 (K^{(i)}_k, K^{(j)}_l),$

for "generic kernels" $K^{(i)}_k, K^{(j)}_l$, is given in terms of the expansion coefficients of $C(q, t)^{-1}$. There is a conjectural equivalence between these graded dimensions and the pole-order of normalized $R$-matrices for corresponding Kirillov–Reshetikhin modules (Fujita et al., 2021). This identification is supported by explicit calculations in types $A_1$, $C_2$, etc., and relates the categorical and quantum-affine viewpoints. Furthermore, the $(q,t)$-Cartan matrix controls the exchange graph of tilting complexes in the 2-Calabi–Yau category of $\Pi$ and interpolates between “quantum” and “Langlands-dual” sides of the $\mathcal{W}_{q, t}$-algebra.

7. Significance and Broader Impact

The Khoroshkin-Tolstoy-type multiplicative formula provides a powerful, explicit inversion mechanism for $(q, t)$-deformed Cartan matrices, grounded in braid group combinatorics and module categories. This framework synthesizes additive-categorical, quantum-group, and cluster-algebraic techniques, and offers a new perspective on extensions, $R$-matrix pole orders, and two-parameter deformations linking the monoidal structures of quantum affine algebras with tilting theory and cluster categories (Fujita et al., 2023, Fujita et al., 2021). A plausible implication is the potential to generalize these inversion formulas to higher multivariable or quantized settings, given their combinatorial-categorical robustness and connections to braid group actions.