Explicit $H_3$ relation in the diagrammatic Hecke category
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}[\varphi]$, where $\varphi = (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.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.34053
curl -X POST /api/v1/records/arxiv/2609.34053/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.34053/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'