---
title: Khoroshkin-Tolstoy Multiplicative Formula
url: https://www.emergentmind.com/topics/khoroshkin-tolstoy-type-multiplicative-formula
type: topic
---

# Khoroshkin-Tolstoy Multiplicative Formula

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 [2302.14315] [2109.07985].

## 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$) [2302.14315].

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}]$ [2302.14315].

## 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 [2302.14315][2109.07985].

## 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
\]
[2302.14315].

## 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}]$ [2109.07985].

The construction is related to the Kimura–Pestun mass-deformation [arXiv:2302.14315] 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 [2302.14315][2109.07985].

## 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 [2109.07985]. 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 [2302.14315][2109.07985]. 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.

Source: https://www.emergentmind.com/topics/khoroshkin-tolstoy-type-multiplicative-formula