arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2609.34053

Explicit $H_3$ relation in the diagrammatic Hecke category

Lev Nechitailo
View original source ↗Read source document ↗Export metadata ↓

Abstract

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.

Explore related subjects

math.RT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Lev Nechitailo. 2026-09-28. Explicit $H_3$ relation in the diagrammatic Hecke category. https://arxiv.org/abs/2609.34053

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Hook fusion procedure for hyper-octahedral groups

We derive a new expression for the diagonal matrix elements of irreducible representations of the hyperoctahedral group. This expression is obtained using Grime's hook fusion procedure for symmetric groups, which minimizes the number of auxiliary parameters required in the fusion process.

math.RT↗
arXiv2026

Reductive monoids over general base

We develop a theory of affine algebraic monoids over connected base schemes whose unit groups are split reductive groups. Our main result is a classification theorem for such objects, generalizing works of Vinberg and Rittatore over a field. As applications, we obtain combinatorial descriptions and normality properties of orbit closures, prove a Steinberg-type theorem on adjoint quotients of split reductive monoids, and construct finite type integral models of the Vinberg monoids.

math.RT↗
arXiv2026

Finitistic dimension via modules over the singularity category

We combine results of Rickard and Shaul with methods of intrinsic homological algebra and the theory of purity to prove that the finiteness of the big finitistic dimension of an Artin algebra is an intrinsic property of the singularity category of its opposite algebra, via its category of modules. This `object-free' approach complements work of Dey--Šťovíček and arrives at the same conclusion: the finiteness of the finitistic dimension of Artin algebras is a singular invariant (of the opposite algebras). In fact, our characterisation can be used to prove that finite finitistic dimension descends along certain fully faithful functors between singularity categories. We include an appendix where we explain how our methods can be used to prove non-existence of bounded t-structures on singularity categories.

math.RT↗