发表机构
HSE, Moscow（高等经济大学，莫斯科）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文通过显式线性组合计算并验证了 $H_3$ 型缺失的三色关系，完善了 Elias-Williamson 的图式 Hecke 范畴表示。
AI 中文摘要
我们计算了 $H_3$ 型中缺失的三色关系，将其表示为双叶的显式 $R$-线性组合。该表达式包含 $43\\,424$ 个非零多项式系数，其标量位于 $\mathbb{Z}[\varphi]$ 中，其中 $\varphi = (1 + \sqrt{5})/2$。我们使用计算机代数系统 GAP 中的精确算术验证了该关系。这完善了 Elias 和 Williamson 的 Hecke 范畴的图式表示。
英文摘要
We compute the missing three-color relation in type $H_3$ as an explicit $R$-linear combination of double leaves. The expression has $43\,424$ nonzero polynomial coefficients with scalars in $\mathbb{Z}[φ]$, where $φ= (1 + \sqrt{5})/2$. We verify the relation using exact arithmetic in the computer algebra system GAP. This completes the diagrammatic presentation of the Hecke category of Elias and Williamson.
CommentsAncillary files contain the coefficient certificate and verification code
