The loop-nilpotent cohomological Hall algebra

Shivang Jindal; Andrei Neguţ

Home/Archive/arXiv

arXiv · 2607.23544

The loop-nilpotent cohomological Hall algebra

Shivang Jindal·Andrei Neguţ

View original source ↗Read source document ↗Export metadata ↓

Abstract

We give an explicit shuffle algebra model for the loop-nilpotent cohomological Hall algebra (CoHA) of a tripled quiver with canonical cubic potential. As consequences, we (1) relate the loop-nilpotent CoHA to the quantized Coulomb branch algebra of the corresponding quiver gauge theory, (2) show that the loop-nilpotent CoHA is supercommutative after specialization at $\hbar=0$, (3) give generators for both the loop-nilpotent CoHA and the full preprojective CoHA, and (4) obtain an explicit characterization of the BPS Lie algebra of the full preprojective CoHA via certain degree and divisibility conditions. This gives a new formula for the Kac polynomials of the quiver in terms of the dimensions of certain vector spaces of polynomials. We also prove a conjecture on the spherical generation of the localized shuffle algebra and show that for ADE quivers, the loop-nilpotent CoHA is the positive half of Drinfeld-Gavarini dual of the Yangian.

Explore related subjects

math.RT hep-th math-ph math.AG math.MP math.QA

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Shivang Jindal, Andrei Neguţ. 2026-07-26. The loop-nilpotent cohomological Hall algebra. https://arxiv.org/abs/2607.23544

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

KEEP EXPLORING

Related papers

arXiv2026

A local relative trace formula for F*\SL(2,F)

In this note, we derive explicitly the local relative trace formula for the symmetric space F*\SL(2,F) at the level of Lie algebras, where F is a p-adic field of residue characteristic greater than two and F* is the set of invertible elements in F. This is perhaps one of the simplest non-trivial analogs of the trace formula, and also a motivating example for the author's work (in preparation) on the relative trace formula.

math.RT↗

arXiv2026

Semi-infinite parabolic IC-sheaf

Let G be a connected reductive group, P its parabolic subgroup. We consider the parabolic semi-infinite category of sheaves on the affine Grassmanian of G and construct the parabolic version of the semi-infinite IC-sheaf of each orbit. We establish some of its properties and relate it to sheaves on the Drinfeld compactification of the moduli stack Bun_P of P-torsors on a curve. We also relate the parabolic semi-infinite IC-sheaf with the dual baby Verma object on the spectral side.

math.RT↗

arXiv2026

The Grothendieck group of an extriangulated category

In this paper, we investigate the split Grothendieck group $K^{\rm sp}_{0}(\mathcal{M})$ of a $d$-rigid subcategory $\mathcal{M}$ in an extriangulated category $\mathscr{C}$. As applications, we prove the following results: (1) If $\mathcal{M}$ is a silting subcategory, then the Grothendieck group $K_{0}(\mathscr{C})$ is isomorphic to $K_{0}^{\rm sp}(\mathcal{M})$; (2) If $\mathcal{M}$ is a $d$-cluster tilting subcategory, then $K_{0}(\mathscr{C})$ is isomorphic to the index Grothendieck group $K_{0}^{\rm in}(\mathcal{M})$; (3) Let $\mathcal{C}_{A_{n}}^{d}$ be the $d$-cluster category of type $A_n$. If $d$ is even, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}/(n+1)\mathbb{Z}$. If $d$ is odd, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}$ if $n$ is odd; $K_0(\mathcal{C}_{A_{n}}^{d})\cong 0$ if $n$ is even.

math.RT↗