SearcharxivSearch

arXiv subjects

Ricardo Canesin

Publications and source records attributed to Ricardo Canesin.

3 recordsLinked to original sources

A categorification of combinatorial Auslander-Reiten quivers

We provide a categorification of Oh and Suh's combinatorial Auslander-Reiten quivers in the simply laced case. We work within the perfectly valued derived category $\mathrm{pvd}(Π_Q)$ of the 2-dimensional Ginzburg dg algebra of a Dynkin quiver $Q$. For any commutation class $[i]$ of reduced words in the corresponding Weyl group, we define a subcategory $C([i])$ of $\mathrm{pvd}(Π_Q)$ whose objects are obtained by applying a sequence of spherical twist functors to the simple objects. We describe the Hom-order for $C([i])$ in terms of $[i]$, generalizing a result of Bédard. Furthermore, when $[i]$ is a commutation class for the longest element, we construct a category $D([i])$ generalizing the bounded derived category of $Q$. It is realized as a certain subquotient of $\mathrm{pvd}(Π_Q)$. We demonstrate the existence of particular distinguished triangles in $\mathrm{pvd}(Π_Q)$ with corners in $D([i])$, which allows us to extend the classical mesh-additivity to arbitrary commutation classes. Additionally, we define an analog of the Euler form and prove that its symmetrization yields the corresponding Cartan-Killing form. For commutation classes $[i]$ arising from Q-data, a generalization of Dynkin quivers with a height function introduced by Fujita and Oh, we establish the existence of a partial Serre functor on $D([i])$. Lastly, we apply our results to reinterpret a formula by Fujita and Oh for the inverse of the quantum Cartan matrix.

math.RT

Additive categorification of the monoidal $Λ$-invariant

In this paper, we contribute to the broad aim of relating invariants of additive and monoidal categorifications of cluster algebras. Specifically, in the setting of representations of a quantum affine algebra $U_q'(\mathfrak{g})$, Kashiwara-Kim-Oh-Park proved that the Hernandez-Leclerc categories form a monoidal categorification of their Grothendieck rings. Furthermore, these rings are $Λ$-cluster algebras, meaning they are equipped with a compatible Poisson structure, constructed via the $Λ$-invariant. Under certain natural conditions, where $U_q'(\mathfrak{g})$ is of untwisted simply-laced type, we provide an additive interpretation of the $Λ$-invariant within the framework of Higgs categories. More precisely, there is an ice quiver with potential associated with these cluster algebras, and a key ingredient of our work consists in proving that its relative Ginzburg algebra is proper. More generally, if the relative Ginzburg algebra associated with an arbitrary ice quiver with potential is proper, we prove that the corresponding cluster algebra admits the structure of a $Λ$-cluster algebra defined in terms of negative extensions in the Higgs category. Moreover, we provide a homological formula to compute the corresponding tropical and $F$-invariants introduced by Cao.

math.RT

Categories of split filtrations and graded quiver varieties

By the work of Hernandez-Leclerc, Leclerc-Plamondon, and Keller-Scherotzke, affine graded Nakajima quiver varieties associated with a Dynkin quiver $Q$ admit an algebraic description in terms of modules over the singular Nakajima category $\mathcal{S}$ and a stratification functor to the derived category of $Q$. In this paper, we extend this framework to Nakajima's $n$-fold affine graded tensor product varieties, which allow one to geometrically realize $n$-fold tensor products of standard modules over the quantum affine algebra. We introduce a category of filtrations with splitting of length $n$ of modules over a category and show that it is equivalent to the module category of a triangular matrix category. Applied to the singular Nakajima category, this yields a category $\mathcal{S}^{n\operatorname{-filt}}$ whose modules are parametrized by the points of the $n$-fold tensor product varieties. Generalizing the results of Keller-Scherotzke from $\mathcal{S}$ to $\mathcal{S}^{n\operatorname{-filt}}$, we prove that the stable category of pseudo-coherent Gorenstein projective $\mathcal{S}^{n\operatorname{-filt}}$-modules is triangle equivalent to the derived category of the algebra of $n \times n$ upper triangular matrices over the path algebra of $Q$, and we obtain a corresponding stratification functor.

math.RT