Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.05259

A quiver presentation of the type D arc algebras and intrinsic formality of $\mathbb{D}_4$

Eliot Grimont
View original source ↗Read source document ↗Export metadata ↓

Abstract

We construct a presentation of the Khovanov arc algebras of type $D$ by a quiver with quadratic relations. As an application, we use this presentation and the Koszul dual to compute some Hochschild cohomology groups of $\mathbb{D}_4$, and show that $\mathbb{D}_4$ is intrinsically formal, that is, it admits no non-trivial $A_\infty$-deformations.

Explore related subjects

math.RTmath.QA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Eliot Grimont. 2026-10-04. A quiver presentation of the type D arc algebras and intrinsic formality of $\mathbb{D}_4$. https://arxiv.org/abs/2610.05259

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

KEEP EXPLORING

Related papers

arXiv2026

The universal monodromic Arkhipov-Bezrukavnikov equivalence

Working with integral coefficients, we identify universal monodromic Iwahori-Whittaker sheaves on the enhanced affine flag variety with ind-perfect complexes on the Grothendieck-Springer stack of the Langlands dual group. This extends a similar result for quasi-coherent sheaves on the Springer stack due to Arkhipov-Bezrukavnikov. We further prove a monoidal equivalence between bi-Iwahori-Whittaker sheaves and ind-perfect complexes on the adjoint quotient of the Langlands dual group. These results are used in the sequel to this paper to prove the tame local Betti geometric Langlands conjecture of Ben-Zvi-Nadler. Our proof of fully faithfulness provides an alternative to the argument of Arkhipov-Bezrukavnikov. Namely, while they localize in unipotent directions, we localize in semi-simple directions, thereby reducing fully faithfulness to an order of vanishing calculation in semi-simple rank one and characteristic zero.

math.RT↗
arXiv2026

Tame local Betti geometric Langlands

Working over the integers, we prove that the universal monodromic affine Hecke category is monoidally equivalent to ind-coherent sheaves on the Steinberg stack, confirming a conjecture of Ben-Zvi and Nadler. Specializing to unipotent monodromy, this provides another argument for a fundamental theorem of Bezrukavnikov.

math.RT↗
arXiv2026

Mod $p$ Iwasawa algebras of pro-$p$ Iwahori subgroups

Suppose $F$ is a finite unramified extension of $\mathbb{Q}_p$, and $G$ is the group of $F$-points of a split, connected, reductive group over $F$. Under a natural restriction on $p$, we determine the structure of the graded mod $p$ Iwasawa algebra $\textrm{gr}_{\mathfrak{m}}(\mathbb{F}_p [\![ I]\!])$, where $I$ is a pro-$p$ Iwahori subgroup of $G$. We also determine its maximal commutative quotient, and relate these results to Gelfand--Kirillov dimensions of smooth mod $p$ representations of $G$.

math.RT↗