A categorification of acyclic principal coefficient cluster algebras

TL;DR

This paper develops Frobenius categorifications for acyclic principal coefficient cluster algebras using internally Calabi-Yau algebras and partial stabilisation, extending previous methods to more complex frozen variable configurations.

Contribution

It constructs appropriate internally Calabi-Yau algebras for cluster algebras with polarized principal coefficients and defines extriangulated categories to categorify cases where Frobenius categorifications are not possible.

Findings

Constructed internally Calabi-Yau algebras for polarized principal coefficients

Defined extriangulated categories for acyclic principal coefficient cluster algebras

Provided a Frobenius version of Van den Bergh's bimodule 3-Calabi-Yau result

Abstract

In earlier work, the author introduced a method for constructing a Frobenius categorification of a cluster algebra with frozen variables by starting from the data of an internally Calabi-Yau algebra, which becomes the endomorphism algebra of a cluster-tilting object in the resulting category. In this paper, we construct appropriate internally Calabi-Yau algebras for cluster algebras with polarised principal coefficients (which differ from those with principal coefficients by the addition of more frozen variables), and obtain Frobenius categorifications in the acyclic case. Via partial stabilisation, we then define extriangulated categories, in the sense of Nakaoka and Palu, categorifying acyclic principal coefficient cluster algebras, for which Frobenius categorifications do not exist in general. Many of the intermediate results used to obtain these categorifications remain valid without the acyclicity assumption, as we will indicate, and are interesting in their own right. Most notably, we provide a Frobenius version of Van den Bergh's result that the Ginzburg dg-algebra of a quiver with potential is bimodule 3-Calabi-Yau.

Equations

$${\partial }_{\alpha }{\alpha }_k\cdots {\alpha }_1=\sum _{{\alpha }_i=\alpha }{\alpha }_{i-1}\cdots {\alpha }_1{\alpha }_k\cdots {\alpha }_{i+1}.$$

$$J(Q,F,W)=\mathbb{K}⟨⟨Q⟩⟩/\overline{⟨{\partial }_{\alpha }W:\alpha \in Q_1^{\circ }⟩}.$$

$$e=\sum _{v\in F_0}{e}_v,$$

$${\mathrm{RHom}}_A(C,M)=0={\mathrm{RHom}}_{A^{\mathrm{op}}}(C,N)$$

$$\mathrm{D}{\mathrm{Ext}}_A^i(M,N)={\mathrm{Ext}}_A^{3-i}(N,M)$$

$$\mathrm{GP}(B)=\{X\in \mathrm{mod}B:\text{ExtBi(X,B)=0 for all i>0}\}$$

$${\tilde{Q}}_0=Q_0\bigsqcup Q_0^{+}\bigsqcup Q_0^{-}$$

$${\tilde{Q}}_1=Q_1\bigsqcup \{{\alpha }_i:i\in Q_0\}\bigsqcup \{{\beta }_i:i\in Q_0\}\bigsqcup \{{\delta }_i:i\in Q_0\}\bigsqcup \{{\delta }_a:a\in Q_1\},$$

$$h{\alpha }_i$$

$$t{\alpha }_i$$

$${\tilde{F}}_0=Q_0^{+}\bigsqcup Q_0^{-},{\tilde{F}}_1=\{{\delta }_i:i\in Q_0\}\bigsqcup \{{\delta }_a:a\in Q_1\}.$$

$$\tilde{W}=W+\sum _{i\in Q_0}{\beta }_i{\delta }_i{\alpha }_i-\sum _{a\in Q_1}a{\beta }_{ta}{\delta }_a{\alpha }_{ha},$$

$$A_{Q,W}=J(\tilde{Q},\tilde{F},\tilde{W})$$

$${\partial }_a\tilde{W}={\partial }_{a}W-{\beta }_{ta}{\delta }_a{\alpha }_{ha},{\partial }_{{\alpha }_i}\tilde{W}={\beta }_i{\delta }_i-\sum _{\begin{array}{c}\gamma \in Q_1\\ h\gamma =i\end{array}}\gamma {\beta }_{t\gamma }{\delta }_{\gamma },{\partial }_{{\beta }_i}\tilde{W}={\delta }_i{\alpha }_i-\sum _{\begin{array}{c}\gamma \in Q_1\\ t\gamma =i\end{array}}{\delta }_{\gamma }{\alpha }_{h\gamma }\gamma ,$$

$$\tilde{Q}=\text{leavevmode}to158.58pt\text{vbox}to95.7pt\text{pgfpicture}\text{makeatletter}\text{lower}-35.82465ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-30.95276pt-3.22221pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}1\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.025.95276pt-3.22221pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}2\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-61.5833pt-32.49164pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\boxed{1^{+}}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-60.33885pt24.62776pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\boxed{1^{-}}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.053.47218pt-32.27776pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\boxed{2^{-}}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.052.22774pt24.41388pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\boxed{2^{+}}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@setdash}0.0pt\text{pgfsys@roundcap}\text{pgfsys@miterjoin}\text{pgfsys@moveto}-2.19997pt-2.39996pt\text{pgfsys@lineto}0.2pt0.0pt\text{pgfsys@lineto}-2.19997pt2.39996pt\text{pgfsys@stroke}\text{pgfsys@endscope}\text{pgfsys@moveto}-22.41975pt0.0pt\text{pgfsys@lineto}21.93697pt0.0pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.021.93697pt0.0pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-1.85005pt-6.54689pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}a\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}-34.48576pt-6.03189pt\text{pgfsys@lineto}-48.99342pt-20.5395pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}-0.7071-0.70710.7071-0.7071-48.99341pt-20.53949pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-38.37727pt-20.00327pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{\alpha }_1\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}-49.93918pt21.48653pt\text{pgfsys@lineto}-34.82712pt6.37346pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70708-0.707120.707120.70708-34.82713pt6.37346pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-38.67947pt18.65341pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{\beta }_1\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}34.48576pt6.03189pt\text{pgfsys@lineto}48.99342pt20.5395pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70710.7071-0.70710.707148.99341pt20.53949pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.031.93938pt18.25247pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{\alpha }_2\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}49.93918pt-21.48653pt\text{pgfsys@lineto}34.82712pt-6.37346pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}-0.707080.70712-0.70712-0.7070834.82713pt-6.37346pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.032.7601pt-22.15341pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{\beta }_2\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setdash}3.0pt,3.0pt0.0pt\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}-61.27434pt-20.88087pt\text{pgfsys@curveto}-69.41722pt-6.68054pt-69.37732pt6.94261pt-61.39355pt20.67737pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.502550.86455-0.864550.50255-61.39357pt20.67737pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-75.95517pt-1.674pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{\delta }_1\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}61.27434pt20.88087pt\text{pgfsys@curveto}69.41722pt6.68054pt69.37732pt-6.94261pt61.39355pt-20.67737pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}-0.50255-0.864550.86455-0.5025561.39357pt-20.67737pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.070.8841pt-1.924pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{\delta }_2\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}48.69473pt33.1867pt\text{pgfsys@curveto}15.11421pt52.25052pt-16.63911pt52.01881pt-49.52284pt32.71364pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}-0.86237-0.506290.50629-0.86237-49.52284pt32.71365pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-3.31898pt51.68484pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{\delta }_a\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}$$

$$\tilde{W}={\beta }_1{\delta }_1{\alpha }_1+{\beta }_2{\delta }_2{\alpha }_2-a{\beta }_1{\delta }_a{\alpha }_2.$$

$$Q=\text{leavevmode}to67.11pt\text{vbox}to48.44pt\text{pgfpicture}\text{makeatletter}\text{lower}-20.54968ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.025.22098pt-13.892pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}3\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-30.22098pt-13.892pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}1\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-2.5pt18.11736pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}2\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}21.68813pt-10.66978pt\text{pgfsys@lineto}-21.20534pt-10.66978pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}-1.00.00.0-1.0-21.20534pt-10.66978pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-1.51463pt-17.21667pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}c\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}-21.87082pt-3.91457pt\text{pgfsys@lineto}-6.16516pt14.21942pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.654680.7559-0.75590.65468-6.16516pt14.2194pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-21.09306pt3.82794pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}a\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}5.85042pt14.58435pt\text{pgfsys@lineto}21.55608pt-3.54964pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.65468-0.75590.75590.6546821.55608pt-3.54962pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.017.39429pt2.90436pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}b\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}$$

$$\tilde{Q}=\text{leavevmode}to151.35pt\text{vbox}to160.02pt\text{pgfpicture}\text{makeatletter}\text{lower}-79.80266ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.019.67671pt-16.02591pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}3\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-24.67671pt-16.02591pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}1\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-2.5pt22.3852pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}2\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.030.70988pt55.31294pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\boxed{2^{-}}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.063.60866pt-4.03888pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\boxed{3^{+}}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.030.70988pt-62.96294pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\boxed{3^{-}}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-38.821pt-63.17682pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\boxed{1^{+}}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-71.71977pt-3.825pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\boxed{1^{-}}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-38.821pt55.09906pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\boxed{2^{+}}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}16.14355pt-12.80357pt\text{pgfsys@lineto}-15.66077pt-12.80357pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}-1.00.00.0-1.0-15.66077pt-12.80357pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-1.51463pt-19.35046pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}c\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}-18.27686pt-6.0484pt\text{pgfsys@lineto}-4.14102pt18.43391pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.500030.86601-0.866010.50003-4.14104pt18.4339pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-18.32135pt4.89484pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}a\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}3.89963pt18.852pt\text{pgfsys@lineto}18.03546pt-5.63031pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.50003-0.866010.866010.5000318.03545pt-5.6303pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.014.62125pt3.97125pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}b\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}27.17662pt52.29689pt\text{pgfsys@lineto}6.37737pt31.86867pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}-0.71344-0.700710.70071-0.713446.37737pt31.86867pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.020.13779pt40.16365pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{\beta }_2\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}28.20946pt-11.12852pt\text{pgfsys@lineto}59.60994pt-2.40846pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.963550.26758-0.267580.9635559.60992pt-2.40846pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.040.92334pt-1.9078pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{\alpha }_3\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}32.24348pt-51.77946pt\text{pgfsys@lineto}24.04128pt-20.02615pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}-0.25010.96822-0.96822-0.250124.04129pt-20.02617pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.031.61502pt-37.4191pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{\beta }_3\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}-23.92043pt-19.55872pt\text{pgfsys@lineto}-32.06728pt-51.09814pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}-0.2501-0.968220.96822-0.2501-32.06726pt-51.09813pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-38.02513pt-36.43755pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{\alpha }_1\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}-61.31955pt-1.93405pt\text{pgfsys@lineto}-28.67464pt-10.99954pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.96355-0.267560.267560.96355-28.67465pt-10.99953pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-47.7242pt-1.63728pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{\beta }_1\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}-6.03293pt31.53093pt\text{pgfsys@lineto}-26.09041pt51.22733pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}-0.71350.70065-0.70065-0.7135-26.09041pt51.22731pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-26.2048pt40.67287pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{\alpha }_2\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setdash}3.0pt,3.0pt0.0pt\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}-25.9322pt-62.12485pt\text{pgfsys@curveto}-6.3345pt-69.06918pt7.70021pt-68.94968pt26.72438pt-61.84105pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.936740.35004-0.350040.9367426.72437pt-61.84105pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-1.73607pt-75.62576pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{\delta }_c\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}66.9515pt-7.57181pt\text{pgfsys@curveto}63.56895pt-27.84125pt56.72942pt-39.94296pt41.47617pt-52.98216pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}-0.76012-0.649780.64978-0.7601241.47617pt-52.98216pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.062.15247pt-34.82652pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{\delta }_3\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}66.9515pt7.57181pt\text{pgfsys@curveto}63.56895pt27.84125pt56.72942pt39.94296pt41.47617pt52.98216pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}-0.760120.64978-0.64978-0.7601241.47617pt52.98216pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.062.15247pt31.27754pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{\delta }_b\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}-25.9322pt62.12485pt\text{pgfsys@curveto}-6.3345pt69.06918pt7.70021pt68.94968pt26.72438pt61.84105pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.93674-0.350040.350040.9367426.72437pt61.84105pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-1.86786pt72.02777pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{\delta }_2\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}-42.35362pt52.25235pt\text{pgfsys@curveto}-57.38971pt39.0685pt-63.94542pt27.12239pt-66.91573pt7.83508pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}-0.1522-0.988360.98836-0.1522-66.91571pt7.8351pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-67.88466pt30.26424pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{\delta }_a\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}-42.35362pt-52.25235pt\text{pgfsys@curveto}-57.38971pt-39.0685pt-63.94542pt-27.12239pt-66.91573pt-7.83508pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}-0.15220.98836-0.98836-0.1522-66.91571pt-7.8351pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-67.77257pt-34.07184pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{\delta }_1\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}$$

$$\tilde{W}=cba+{\beta }_1{\delta }_1{\alpha }_1+{\beta }_2{\delta }_2{\alpha }_2+{\beta }_3{\delta }_3{\alpha }_3-a{\beta }_1{\delta }_a{\alpha }_2-b{\beta }_2{\delta }_b{\alpha }_3-c{\beta }_3{\delta }_c{\alpha }_1.$$

$$A\to {\underleftarrow{\lim }}_{I}A/I$$

$$0$$

$$V_0$$

$$e_i\cdot e_i\cdot e_i=e_i,e_{h\alpha }\cdot \alpha \cdot e_{t\alpha }=\alpha ,e_{t\alpha }\cdot {\rho }_{\alpha }\cdot e_{h\alpha }={\rho }_{\alpha },e_i\cdot {\omega }_i\cdot e_i={\omega }_i.$$

$${\mu }_1(x\otimes \alpha \otimes y)=x\otimes e_{h\alpha }\otimes \alpha y-x\alpha \otimes e_{t\alpha }\otimes y.$$

$${\Delta }_{\alpha }(p)=\sum _{{\alpha }_i=\alpha }{\alpha }_m\cdots {\alpha }_{i+1}\otimes {\alpha }_i\otimes {\alpha }_{i-1}\cdots {\alpha }_1,$$

$${\mu }_2(x\otimes {\rho }_{\alpha }\otimes y)=\sum _{\beta \in Q_1}x{\Delta }_{\beta }({\partial }_{\alpha }W)y.$$

$${\mu }_3(x\otimes {\omega }_v\otimes y)=\sum _{\alpha \in {\mathrm{T}}_v}x\otimes {\rho }_{\alpha }\otimes \alpha y-\sum _{\beta \in {\mathrm{H}}_v}x\beta \otimes {\rho }_{\beta }\otimes y.$$

$${\mu }_k(x\otimes v\otimes y)={\bar{\mu }}_k(x\otimes v)\otimes y+r,$$

$$A\otimes V_3\otimes A$$

$$0$$

Full text

1. Introduction

Cluster algebras, introduced by Fomin–Zelevinsky [19], are combinatorially defined algebras with applications to many areas of mathematics, and have been the subject of intense study; see Keller [33] for a survey of connections between cluster algebras and the representation theory of associative algebras, and the references therein for applications to other fields.

A cluster algebra is typically defined using a generating set of cluster variables, which is constructed iteratively from the data of an initial seed via a process of mutation. Here we consider cluster algebras of geometric type coming from quivers (equivalently, skew-symmetric matrices), so that a seed is given by the data of a quiver together with a collection of rational functions (which are some of the aforementioned cluster variables) in bijection with its vertices. Mutating at one of the quiver vertices modifies the quiver according to Fomin–Zelevinsky’s mutation rule (see for example [33, §3.2]), and exchanges the cluster variable attached to this vertex for a new one. A subset of the quiver vertices may be frozen (giving the quiver the structure of an ice quiver, see Definition 2.1), indicating that mutation at these vertices is not permitted, and thus the corresponding cluster variables, also called frozen, appear in every seed.

Categorification provides an effective tool for studying this combinatorics via the representation theory of quivers. Cluster algebras without frozen variables have been successfully categorified in large generality, beginning with Buan–Marsh–Reineke–Reiten–Todorov’s construction [10] of cluster categories of acyclic quivers, later generalised by Amiot [1] to allow for the existence of cycles. In these categories, certain maximal rigid objects, called cluster-tilting objects, play the role of seeds—in particular, they can be mutated at their indecomposable summands [31]. Cluster algebras categorified in this way have seeds in bijection with cluster-tilting objects (within a fixed mutation class) in the category, and cluster variables in bijection with indecomposable rigid objects (appearing as indecomposable summands of cluster-tilting objects in the fixed mutation class). Cluster categories of acyclic quivers have only a single mutation class of cluster-tilting objects [11, Thm. A.1], and so the caveats in the preceding sentence may be dropped.

These results have led to clean, conceptual proofs of many key statements for those cluster algebras without frozen variables admitting such a categorification, including ‘cluster determines seed’ [11], linear independence of cluster monomials [14], sign coherence of c-vectors [49], and so on. However, most cluster algebras appearing in nature, such as the cluster structures on the coordinate rings of partial flag varieties [24], their double Bruhat cells [4], and Grassmannian positroid strata [23], do have frozen variables, which we would also like to capture in a categorification.

This has been achieved for a number of families of cluster algebras [17, 24, 32, 39, 16] using suitable stably $2$-Calabi–Yau Frobenius categories in place of the $2$-Calabi–Yau triangulated cluster categories appearing in the case of no frozen variables. A Frobenius category is, by definition, an exact category with enough projective objects and enough injective objects, such that these two classes of objects coincide. It is the indecomposable projective-injective objects, which necessarily appear as summands of any cluster-tilting object, that will correspond to the frozen variables. The fact that specialising all frozen variables to $1$ in a cluster algebra produces a new cluster algebra without frozen variables (which we call the principal part) corresponds to the fact that the stable category of a Frobenius category, defined as the quotient by the ideal of morphisms factoring through a projective object (so that these objects are isomorphic to the zero object in the quotient), is a triangulated category [29, §I.2]. We require this stable category to be $2$-Calabi–Yau so that cluster-tilting objects may be mutated in the appropriate way.

In this paper, we will primarily consider the cluster algebra $\widetilde{\mathscr{A}}_{Q}$ with polarised principal coefficients associated to a quiver $Q$. We define this cluster algebra precisely in Section 2, but for now note that each of its seeds has $3n$ cluster variables, of which $2n$ are frozen, when $Q$ has $n$ vertices. Specialising half of these frozen variables to $1$, we obtain the principal coefficient cluster algebra $\mathscr{A}_{Q}^{\bullet}$ attached to $Q$ by Fomin–Zelevinsky. They used this cluster algebra to study the combinatorics of other cluster algebras having the same principal part; for example, their expansion formula [20, Cor. 6.3] for cluster variables in such a cluster algebra involves F-polynomials, defined as specialisations of cluster variables in $\mathscr{A}_{Q}^{\bullet}$ [20, Eq. 3.3], and hence also obtained as specialisations of cluster variables in $\widetilde{\mathscr{A}}_{Q}$. Many of the results of Gross–Hacking–Keel–Kontsevich [28] on canonical bases are proved by first reducing to the case of principal coefficients. Further applications of principal coefficient cluster algebras include Lee–Schiffler’s realisation [38] of Jones polynomials of $2$-bridge links as specialisations of their cluster variables. The polarised principal coefficient cluster algebra $\widetilde{\mathscr{A}}_{Q}$, in the case that $Q$ is a Dynkin quiver, has itself appeared in recent work of Borges and Pierin [5], who define a modified cluster character on the ordinary triangulated cluster category of $Q$, taking values in $\widetilde{\mathscr{A}}_{Q}$. (A more general version of this final result is a consequence of our considerations here, as explained in Remark 9.8.)

Our main result is to construct a Frobenius categorification of the cluster algebra $\widetilde{\mathscr{A}}_{Q}$ in the case that $Q$ is acyclic.

Theorem 1** (Categorification for polarised principal coefficients).**

Let $Q$ be an acyclic quiver. Then the category $\mathcal{E}_{Q}$ (Definition 5.3)

1. (a)

is a Hom-finite Frobenius cluster category (Definition 2.7), 2. (b)

has stable category $\underline{\mathcal{E}}_{Q}$ equivalent to the cluster category $\mathcal{C}_{Q}$, 3. (c)

carries a Fu–Keller cluster character **[21]**, inducing a bijection between isomorphism classes of indecomposable rigid objects of $\mathcal{E}_{Q}$ and cluster variables of $\widetilde{\mathscr{A}}_{Q}$, and 4. (d)

the previous bijection induces a further bijection between isomorphism classes of cluster-tilting objects of $\mathcal{E}_{Q}$ and seeds of the polarised principal coefficient cluster algebra $\widetilde{\mathscr{A}}_{Q}$, commuting with mutation, such that the ice quiver of the endomorphism algebra111Throughout the paper, we interpret the quivers of endomorphism algebras as ice quivers by declaring the frozen vertices to be those corresponding to projective indecomposable summands.* of each cluster-tilting object agrees, up to arrows between frozen vertices, with the ice quiver of the corresponding seed.*

In addition to providing categorifications for a new family of cluster algebras, the proof of Theorem 1 demonstrates the effectiveness of a new and general methodology for making such constructions, based on prior work of the author [44]. Earlier work providing Frobenius categorifications of cluster algebras has typically depended on having some insight into the cluster algebra in its totality, rather than just the data of an initial seed, before constructing the categorification. For example, Geiß–Leclerc–Schröer [24], Demonet–Luo [17], Jensen–King–Su [32] and Demonet–Iyama [16] construct Frobenius categorifications for cluster algebra structures on coordinate rings of partial flag varieties by exploiting the fact that these rings are well-understood geometrically. The Frobenius categorifications of universal coefficient cluster algebras by Nájera Chávez [39] are restricted to finite type, again making the global combinatorics of the cluster algebra (such as its exchange graph, cluster complex, and so on) more tractable. By contrast, our approach is more akin to the work of Buan–Marsh–Reineke–Reiten–Todorov [10] and Amiot [1], in which categorifications are constructed from the local data defining the cluster algebra, namely the initial seed (enhanced in Amiot’s case by choosing the extra data of a potential on the quiver).

Indeed, our construction begins with the definition of an algebra $A$ as a particular quotient of the (complete) path algebra of a quiver $\widetilde{Q}$ agreeing with that of the initial seed of $\widetilde{\mathscr{A}}_{Q}$ up to the addition of arrows between frozen vertices. The algebra $A$ is finite-dimensional and has a strong homological symmetry property—it is bimodule internally $3$-Calabi–Yau with respect to the frozen vertices [44, Def. 2.4]. We then construct the category $\mathcal{E}_{Q}$ from $A$ by applying earlier results of the author [44, Thm. 4.1, Thm. 4.10]. The main step in the proof of Theorem 1, taking up Sections 2–5 of the paper, is to define $A$ and show that it satisfies the assumptions of these theorems.

As a consequence of this approach we obtain the following surprising result, which is not specific to acyclic quivers, and which we expect to be of independent interest. For the definitions of ordinary and frozen Jacobian algebras, see Definition 2.1.

Theorem 2** (Corollary of Theorem 4.14).**

Let $(Q,W)$ be a quiver with potential, and let $\underline{A}=J(Q,W)$ be its Jacobian algebra. Then there is a frozen Jacobian algebra $A=A_{Q,W}$ (Definition 3.1), internally bimodule $3$-Calabi–Yau with respect to its frozen idempotent $e$, such that $\underline{A}=A/\langle e\rangle$.

We see this statement as analogous to a result of Van den Bergh [34, Thm. A.12], implying that the Jacobian algebra of a quiver with potential may be realised as the [math]-th homology of a bimodule $3$-Calabi–Yau dg-algebra constructed by Ginzburg [25]. Indeed, the construction of $A_{Q,W}$ has some features in common with that of the Ginzburg dg-algebra $\Gamma_{Q,W}$ of $(Q,W)$ (see Remark 4.16), but at present we do not know a precise recipe for constructing $A_{Q,W}$ from $\Gamma_{Q,W}$.

It is necessary to pass from the more familiar system of principal coefficients to some larger collection of frozen variables in order for a result like Theorem 1 to be possible, since a Frobenius categorification of the principal coefficient cluster algebra $\mathscr{A}_{Q}^{\bullet}$ cannot exist; see Proposition 2.3. However, by taking a suitable quotient of $\mathcal{E}_{Q}$, we also define a second category $\mathcal{E}^{+}_{Q}$, which is extriangulated in the sense of Nakaoka and Palu [40]. This second category is the categorification of $\mathscr{A}_{Q}^{\bullet}$ referred to in the title. Our construction allows the desired properties of $\mathcal{E}^{+}_{Q}$ to be deduced directly from the corresponding properties of $\mathcal{E}_{Q}$ appearing in Theorem 1, via [40, Prop. 3.30].

Corollary 1** (Categorification for principal coefficients).**

Let $Q$ be an acyclic quiver. Then the category $\mathcal{E}^{+}_{Q}$ (Definition 7.1) has the properties that

1. (a)

the stable category $\underline{\mathcal{E}}^{+}_{Q}$ is equivalent to the cluster category $\mathcal{C}_{Q}$, 2. (b)

the cluster character on $\mathcal{E}_{Q}$ (see Theorem 1(c)**) induces a bijection between isomorphism classes of indecomposable rigid objects of $\mathcal{E}^{+}_{Q}$ and cluster variables of $\mathscr{A}_{Q}^{\bullet}$, and 3. (c)

this induces a further bijection between isomorphism classes of cluster-tilting objects of $\mathcal{E}_{Q}$ and seeds of the principal coefficient cluster algebra $\widetilde{\mathscr{A}}_{Q}$, commuting with mutation, such that the ice quiver of the endomorphism algebra of each cluster-tilting object agrees, up to arrows between frozen vertices, with the ice quiver of the corresponding seed.

We note that Fu–Keller [21] have a different approach to categorifying $\mathscr{A}_{Q}^{\bullet}$, via a full subcategory $\mathcal{U}_{Q}$ of the cluster category $\mathcal{C}_{Q^{\bullet}}$ attached to the quiver $Q^{\bullet}$ of the standard initial seed of $\mathscr{A}_{Q}^{\bullet}$. Since it is extension-closed as a subcategory of the triangulated category $\mathcal{C}_{Q^{\bullet}}$, the category $\mathcal{U}_{Q}$ is naturally extriangulated [40, Rem. 2.18].

Conjecture 1**.**

The category $\mathcal{E}^{+}_{Q}$ from Corollary 1 is equivalent, as an extriangulated category, to Fu–Keller’s category $\mathcal{U}_{Q}$.

Producing equivalences between ‘cluster-like’ categories is known to be a hard problem, although there are some results of this kind for triangulated categories, due to Keller–Reiten [35] and Amiot–Reiten–Todorov [2]. At present, we are not aware of any general result constructing such equivalences between extriangulated categories. Even if Conjecture 1 is true, the fact that we describe the categorification via a partial stabilisation of the Frobenius category $\mathcal{E}_{Q}$ instead of as an extension closed subcategory of $\mathcal{C}_{Q^{\bullet}}$ gives us access to different techniques for studying it, as we demonstrate in Section 9. Indeed, cluster theory is at present better developed for exact categories than for extriangulated categories such as $\mathcal{E}_{Q}^{+}$ and $\mathcal{U}_{Q}$, and it is useful to be able to exploit this.

The main results of the paper are contained in Sections 2–7. In Section 2 we describe the cluster algebras with polarised principal coefficients that we will categorify, and recall the results of [44], which we will use to construct the category $\mathcal{E}_{Q}$ appearing in Theorem 1. The algebra $A=A_{Q,W}$ needed as input for this construction is defined in Section 3, from the data of a quiver with potential $(Q,W)$. In Section 4 we explain results from [44] which allow us to establish the bimodule internally $3$-Calabi–Yau property for a frozen Jacobian algebra, and apply these results to $A$, thus proving Theorem 2. We first restrict to acyclic quivers in Section 5, where we show that $A$ is finite-dimensional, and hence Noetherian, under this assumption—this is why we require $Q$ to be acyclic in Theorem 1. All of these ingredients are combined in Section 6 to give a proof of Theorem 1. The proof of Corollary 1 then follows in Section 7.

In the remaining sections we investigate some of the features of the category $\mathcal{E}_{Q}$ appearing in Theorem 1. This category is defined as the category of Gorenstein projective modules over an Iwanaga–Gorenstein algebra $B_{Q}$, which we describe explicitly via a quiver with relations in Section 8. In Section 9 we explain how to use the category $\mathcal{E}_{Q}$ to recover cluster-algebraic information about $\widetilde{\mathscr{A}}_{Q}$ and $\mathscr{A}_{Q}^{\bullet}$. We close in Section 10 with examples, in particular observing that Theorem 1 remains true when $Q$ is a $3$-cycle, provided we replace $\mathcal{C}_{Q}$ by Amiot’s cluster category $\mathcal{C}_{Q,W}$ for a particular potential $W$.

Throughout, algebras are assumed to be associative and unital. All modules are left modules, the composition of maps $f\colon X\to Y$ and $g\colon Y\to Z$ is denoted by $gf$, and we use the same convention for compositions of arrows in quivers. The Jacobson radical of a module $X$ is denoted by $\operatorname{rad}{X}$. If $p$ is a path in a quiver, we denote its head by $hp$ and its tail by $tp$. We fix an algebraically closed field $\mathbb{K}$, over which all our algebras and categories will be defined unless specified otherwise. For a $\mathbb{K}$-algebra $A$, we denote the module category of $A$ by $\operatorname{Mod}{A}$ and the subcategory of finitely generated $A$-modules by $\operatorname{mod}{A}$.

2. Coefficient systems and cluster categories

In this section we introduce our main definitions. We will not give the full definition of a cluster algebra, since this is somewhat lengthy and can be found easily in many other sources; we recommend Keller’s survey [33]. For concreteness, our cluster algebras will be defined over $\mathbb{Q}$, and we do not assume frozen variables to be invertible; that is, the cluster algebra $\mathscr{A}$ generated by an initial seed with cluster $(x_{1},\dotsc,x_{n},x_{n+1},\dotsc,x_{m})$, in which the mutable variables are $x_{1},\dotsc,x_{n}$, is defined to be a subalgebra of $\mathbb{Q}(x_{1},\dotsc,x_{n})[x_{n+1},\dotsc,x_{m}]$. However, since our results are concerned with the set of cluster variables of $\mathscr{A}$, their grouping into clusters, and the exchange graph on these clusters, they are insensitive to changing these conventions by replacing $\mathbb{Q}$ by a field extension or inverting the frozen variables. As such, we de-emphasise these conventions below, and simply refer to ‘the’ cluster algebra generated by a seed.

Let $\mathscr{A}$ be a cluster algebra of geometric type without frozen variables, and let $s_{0}$ be a seed of $\mathscr{A}$, with quiver $Q$ and cluster variables $(x_{1},\dotsc,x_{n})$. By definition, the quiver $Q$ has no loops or $2$-cycles. The principal coefficient cluster algebra $\mathscr{A}_{Q}^{\bullet}$ corresponding to this data is defined by the following initial seed. The mutable cluster variables are again $(x_{1},\dotsc,x_{n})$, and the frozen variables are $(x_{1}^{+},\dotsc,x_{n}^{+})$, where the indexing reveals a preferred bijection between the mutable and frozen variables. The ice quiver $Q^{\bullet}$ of this seed contains $Q$ as a full subquiver, with mutable vertices, and for each vertex $i\in Q_{0}$ (corresponding to the variable $x_{i}$), $Q^{\bullet}$ has a frozen vertex $i^{+}$ (corresponding to $x_{i}^{+}$) and an arrow $i\to i^{+}$. While $\mathscr{A}$ is isomorphic (as a cluster algebra) to the cluster algebra determined by any quiver mutation equivalent to $Q$, this is not true of $\mathscr{A}_{Q}^{\bullet}$.

Specialising all frozen variables of $\mathscr{A}_{Q}^{\bullet}$ to $1$ to obtain a cluster algebra without frozen variables (which we refer to as taking the principal part) recovers $\mathscr{A}$, and gives a bijection between the seeds of $\mathscr{A}_{Q}^{\bullet}$ and those of $\mathscr{A}$ [14]; we write $s^{\bullet}$ for the seed of $\mathscr{A}_{Q}^{\bullet}$ corresponding to a seed $s$ of $\mathscr{A}$. Precisely, if $s^{\bullet}$ has cluster $(v_{1},\dotsc,v_{n},x_{1}^{+},\dotsc,x_{n}^{+})$, then $s$ has cluster $(v_{1},\dotsc,v_{n})|_{x_{i}^{+}=1,1\leqslant i\leqslant n}$, and the quiver of $s$ is the full subquiver of that of $s^{\bullet}$ on the mutable vertices. Principal coefficients are important since knowledge of the cluster algebra $\mathscr{A}_{Q}^{\bullet}$ can be used to study any cluster algebra $\mathscr{A}^{\prime}$ with principal part $\mathscr{A}$, via the theory of g-vectors and F-polynomials [20].

By choosing some extra data on $Q$, Amiot [1] constructs a categorification of $\mathscr{A}$. The construction uses Jacobian algebras, so we recall some relevant definitions, at the level of generality needed later in the paper.

Definition 2.1**.**

An ice quiver $(Q,F)$ consists of a finite quiver $Q$ without loops and a subquiver $F$ of $Q$. Denote by $\mathbb{K}\langle\langle Q\rangle\rangle$ the completion of the path algebra of $Q$ over our fixed algebraically closed field $\mathbb{K}$ with respect to the ideal $J_{Q}$ generated by arrows, treated as a topological algebra with the $J_{Q}$-adic topology. A potential on $Q$ is an element $W$ of the vector space quotient $\mathbb{K}\langle\langle Q\rangle\rangle/\overline{\{\mathbb{K}\langle\langle Q\rangle\rangle,\mathbb{K}\langle\langle Q\rangle\rangle\}}$, of $\mathbb{K}\langle\langle Q\rangle\rangle$ by the closure of the subspace spanned by commutators, such that $W$ lies in the image of the natural map from $J_{Q}$ to this vector space. (More informally, $W$ is a possibly infinite linear combination of cyclic equivalence classes of cycles of positive length in $Q$.)

A vertex or arrow of $Q$ is called frozen if it is a vertex or arrow of $F$, and mutable or unfrozen otherwise. For brevity, we write $Q_{0}^{\circ}=Q_{0}\setminus F_{0}$ and $Q_{1}^{\circ}=Q_{1}\setminus F_{1}$ for the sets of mutable vertices and unfrozen arrows respectively. For $\alpha\in Q_{1}$ and $\alpha_{k}\dotsm\alpha_{1}$ a cycle in $Q$, write

[TABLE]

Extending the map $\partial_{\alpha}$ linearly and continuously, and noting that it vanishes on commutators, allows us to define $\partial_{\alpha}{W}$. The ideal $\langle\partial_{\alpha}{W}:\alpha\in Q_{1}^{\circ}\rangle$ of $\mathbb{K}\langle\langle Q\rangle\rangle$ is called the Jacobian ideal, and we define the frozen Jacobian algebra associated to $(Q,F,W)$ by

[TABLE]

Write $A=J(Q,F,W)$. The above presentation of $A$ suggests a preferred idempotent

[TABLE]

which we call the frozen idempotent. We will call the subalgebra $B=eAe$ the boundary algebra of $A$. If $F=\varnothing$, then we refer to the pair $(Q,W)$ as a quiver with potential, and call $J(Q,W)=J(Q,\varnothing,W)$ simply the Jacobian algebra of $(Q,W)$. If $J(Q,W)$ is finite-dimensional, we call both $W$ and the pair $(Q,W)$ Jacobi-finite.

Remark 2.2*.*

In much of the paper, we will consider algebras defined by a quiver $Q$ together with a set of relations $R$, in the ordinary path algebra $\mathbb{K}Q$, having the property that the natural map $\mathbb{K}Q/\langle R\rangle\to\mathbb{K}\langle\langle Q\rangle\rangle/\overline{\langle R\rangle}$ is an isomorphism—for example, this happens when the domain is finite-dimensional. However, we take complete path algebras in the general theory since we want the categories we construct to be Krull–Schmidt [37, §4] (cf. [32, Rem. 3.3]). Further, we note that the Jacobson radical $J_{Q}$ of $\mathbb{K}\langle\langle Q\rangle\rangle$ is generated by the arrows (unlike the Jacobson radical of $\mathbb{K}Q$ when $Q$ has cycles). Since the Jacobian ideal defining $A=J(Q,F,W)$ is contained in $J_{Q}$, it follows that $A$ has Jacobson radical $J(A)$ generated by the arrows of $Q$, and so $A/J(A)\cong\mathbb{K}\langle\langle Q\rangle\rangle/J_{Q}\cong\mathbb{K}^{Q_{0}}$ is a semi-simple algebra. We will use this fact in Section 4.

The terminology ‘boundary algebra’ is inspired by and compatible with [3] (see also [42]), although in the general case $Q$ need not admit any embedding into a manifold so that $F$ is embedded into the boundary.

Assume that $Q$ is a quiver admitting a Jacobi-finite potential $W$. Then by work of Amiot [1], there is a $2$-Calabi–Yau triangulated category $\mathcal{C}_{Q,W}$ categorifying $\mathscr{A}_{Q}$. If $W$ is additionally non-degenerate [18, Def. 7.2], then the seeds of $\mathscr{A}$ correspond bijectively to additive equivalence classes of cluster-tilting objects of $\mathcal{C}_{Q,W}$ related by a finite sequence of mutations to an initial cluster-tilting object $T_{0}$ with $\operatorname{End}_{\mathcal{C}_{Q,W}}(T_{0})^{\mathrm{op}}=J(Q,W)$; such cluster-tilting objects are called reachable, and we denote the seed corresponding to such an object $T$ by $s_{T}$. Non-degeneracy is needed here to see, using results of Buan–Iyama–Reiten–Smith [9], that mutation of cluster-tilting objects in the mutation class of $T_{0}$ corresponds to Fomin–Zelevinsky mutation at the level of quivers of endomorphism algebras, and so in particular mutation is well-defined at any indecomposable summand of any reachable cluster-tilting object.

A priori, to categorify the principal coefficient cluster algebra $\mathscr{A}_{Q}^{\bullet}$, we would like to find a Frobenius category $\mathcal{E}$ such that

1. (a)

the stable category $\underline{\mathcal{E}}$ is triangle equivalent to $\mathcal{C}_{Q,W}$ (so that cluster-tilting objects of $\underline{\mathcal{E}}$ may be identified with those of $\mathcal{C}_{Q,W}$, and hence cluster-tilting objects in $\mathcal{E}$ can be mutated at their non-projective indecomposable summands), and 2. (b)

for any reachable cluster-tilting object $T$ there is an isomorphism $\mathbb{K}\langle\langle Q^{\prime}\rangle\rangle/\overline{I}\stackrel{{\scriptstyle\sim}}{{\to}}\operatorname{End}_{\mathcal{E}}(T)^{\mathrm{op}}$, for some ideal $I\subseteq J_{Q^{\prime}}^{2}$, where $Q^{\prime}$ is, up to arrows between frozen vertices, the quiver of the seed $s_{T}^{\bullet}$ of $\mathscr{A}_{Q}^{\bullet}$. (As always, we define the frozen vertices of $Q^{\prime}$ to be those whose image under the given isomorphism to $\operatorname{End}_{\mathcal{E}}(T)^{\mathrm{op}}$ is a projection onto an indecomposable projective summand.)

Unfortunately, this is not possible.

Proposition 2.3**.**

There does not exist a Frobenius category $\mathcal{E}$ satisfying conditions (a) and (b) above.

Proof.

Assume $\mathcal{E}$ were such a Frobenius category, and let $\hat{T}_{0}$ be the cluster-tilting object in $\mathcal{E}$ which, when viewed as an object of $\underline{\mathcal{E}}$, is identified with $T_{0}$ under the equivalence in (a). By (b), we have an isomorphism $\operatorname{End}_{\mathcal{E}}(\hat{T}_{0})^{\mathrm{op}}\stackrel{{\scriptstyle\sim}}{{\to}}\mathbb{K}\langle\langle Q\rangle\rangle/\overline{I}$ for $I\subseteq J_{Q}^{2}$ and $Q$ a quiver differing from $Q^{\bullet}$ only by the possible addition of arrows between frozen vertices. This latter property means that there is no path in $Q$ from a frozen vertex to a mutable one, and hence there are no non-zero maps in $\mathcal{E}$ from an indecomposable non-projective summand of $\hat{T}_{0}$ to an injective object in $\mathcal{E}$, contradicting the assumption that $\mathcal{E}$ has enough injective objects. ∎

For this reason, we will first consider, and categorify, a different cluster algebra $\widetilde{\mathscr{A}}_{Q}$ with initial seed obtained from that of $\mathscr{A}_{Q}^{\bullet}$ by adding more frozen variables. Starting from our seed $s_{0}$ of $\mathscr{A}$, with quiver $Q$ and cluster variables $(x_{1},\dotsc,x_{n})$, we construct an initial seed $\widetilde{s}_{0}$ of $\widetilde{\mathscr{A}}_{Q}$ as follows. The seed $\widetilde{s}_{0}$ has mutable variables $(x_{1},\dotsc,x_{n})$, and frozen variables $(x_{1}^{+},\dotsc,x_{n}^{+},x_{1}^{-},\dotsc,x_{n}^{-})$. Its ice quiver $\widetilde{Q}$ will be described fully in Definition 3.1; the relevant features for defining the cluster algebra are that $\widetilde{Q}$ contains $Q$ as a full subquiver, with mutable vertices, and has two frozen vertices $i^{+}$ (corresponding to $x_{i}^{+}$) and $i^{-}$ (corresponding to $x_{i}^{-})$ for each mutable vertex $i\in Q_{0}$, with arrows $i\to i^{+}$ and $i^{-}\to i$. (In Definition 3.1 we also describe arrows between the frozen vertices, that will play a role in our categorification, but are not important for defining $\widetilde{\mathscr{A}}_{Q}$.) We call $\widetilde{\mathscr{A}}_{Q}$ the polarised principal coefficient cluster algebra associated to $Q$.

We adopt the word ‘polarised’, referring to the partitioning of the frozen variables into two sets, to differentiate this coefficient system from the double principal coefficients studied by Rupel–Stella–Williams [46]. Since one encounters the same issues categorifying cluster algebras with double principal coefficients as in the case of ordinary principal coefficients, namely that no categorification may have enough injective objects, our preference here is for the polarised version.

As discussed in the introduction, we will construct a categorification of $\widetilde{\mathscr{A}}_{Q}$ using methodology introduced by the author in [44]. We now recall the key definitions and results needed to explain this construction. Given a $\mathbb{K}$-algebra $A$, we write $\mathcal{D}(A)$ for its derived category and ${A}^{\varepsilon}=A\mathbin{\otimes}_{\mathbb{K}}A^{\mathrm{op}}$ for its enveloping algebra, modules of which are precisely $A$-bimodules. We denote by $\operatorname{per}{A}$ the perfect derived category of $A$, i.e. the thick subcategory of $\mathcal{D}(A)$ generated by $A$, and write $\Omega_{A}=\operatorname{\mathbf{R}Hom}_{{A}^{\varepsilon}}(A,{A}^{\varepsilon})$.

Definition 2.4** ([44, Def. 2.4]).**

Given an algebra $A$ and idempotent $e\in A$, we say $A$ is bimodule internally $3$-Calabi–Yau with respect to $e$ if

1. (a)

$\operatorname{p.dim}_{{A}^{\varepsilon}}{A}\leqslant 3$, 2. (b)

$A\in\operatorname{per}{{A}^{\varepsilon}}$, and 3. (c)

there exists a triangle $A\stackrel{{\scriptstyle\psi}}{{\longrightarrow}}\Omega_{A}[3]\stackrel{{\scriptstyle}}{{\longrightarrow}}C\stackrel{{\scriptstyle}}{{\longrightarrow}}A[1]$ in $\mathcal{D}({A}^{\varepsilon})$, such that

[TABLE]

for any $M\in\mathcal{D}(A)$ whose total cohomology is a finite-dimensional $A/AeA$-module, and any $N\in\mathcal{D}(A^{\mathrm{op}})$ satisfying the analogous condition.

Remark 2.5*.*

Assume $A$ is bimodule internally $3$-Calabi–Yau with respect to $e$. Then $\operatorname{gl.dim}{A}\leqslant 3$, and there is a functorial duality

[TABLE]

for any finite-dimensional $A/AeA$-module $M$ and any $A$-module $N$ [44, Cor. 2.9]. Moreover, $A^{\mathrm{op}}$ has the same properties [44, Rem. 2.6].

To construct our Frobenius categories, we will use the following theorem.

Theorem 2.6** ([44, Thm. 4.1, Thm. 4.10]).**

Let $A$ be an algebra, and $e\in A$ an idempotent. If $A$ is Noetherian, $\underline{A}=A/AeA$ is finite-dimensional, and $A$ is bimodule internally $3$-Calabi–Yau with respect to $e$, then

1. (a)

$B=eAe$* is Iwanaga–Gorenstein (of injective dimension at most $3$), so the category*

[TABLE]

of Gorenstein projective $B$-modules is a Frobenius category, 2. (b)

$eA\in\operatorname{GP}(B)$* is cluster-tilting,* 3. (c)

there are natural isomorphisms $\operatorname{End}_{B}(eA)^{\mathrm{op}}\stackrel{{\scriptstyle\sim}}{{\to}}A$ and $\operatorname{\underline{End}}_{B}(eA)^{\mathrm{op}}\stackrel{{\scriptstyle\sim}}{{\to}}\underline{A}$, and 4. (d)

the stable category $\operatorname{\underline{GP}}(B)$ is $2$-Calabi–Yau.

In many cases—in particular in our application in the proof of Theorem 1—the Frobenius category $\operatorname{GP}(B)$ appearing in Theorem 2.6 is a Frobenius cluster category, as studied in [44], and defined as follows.

Definition 2.7** (cf. [44, Def. 3.3]).**

An Frobenius category $\mathcal{E}$ is called a Frobenius cluster category if it is Krull–Schmidt, stably $2$-Calabi–Yau, and $\operatorname{gl.dim}{\operatorname{End}_{\mathcal{E}}(T)^{\mathrm{op}}}\leqslant 3$ for any cluster-tilting object $T\in\mathcal{E}$, of which there is at least one.

Proposition 2.8**.**

In the context of Theorem 2.6, if $A$ is additionally finite-dimensional, then $\operatorname{GP}(B)$ is a Frobenius cluster category.

Proof.

The category $\operatorname{GP}(B)$ is idempotent complete for any algebra $B$, Frobenius by Theorem 2.6(a), and stably $2$-Calabi–Yau by Theorem 2.6(d). Now we use the extra assumption that $A$ is finite-dimensional. First, by [44, Prop. 3.7], the endomorphism algebra of a cluster-tilting object in $\operatorname{GP}(B)$ has global dimension at most $3$ provided it is Noetherian; when $A$ is finite-dimensional, the category $\operatorname{GP}(B)$ is Hom-finite, so this condition certainly holds. Moreover, finite-dimensional algebras are semi-perfect, which together with the earlier observation that $\operatorname{GP}(B)$ is idempotent complete implies that it is a Krull–Schmidt category by [37, Cor. 4.4]. ∎

Remark 2.9*.*

As suggested by the proof, the assumption that $A$ is finite-dimensional is likely to be much stronger than needed for the conclusion of Proposition 2.8. For example, it may already be true under the assumptions of Theorem 2.6 that all cluster-tilting objects in $\operatorname{GP}(B)$ have Noetherian endomorphism algebra—this is true for the cluster-tilting object $eA$ by the theorem, but we do not currently know how to deduce it for other cluster-tilting objects. Moreover, there are many infinite-dimensional semi-perfect algebras, such as complete path algebras of finite quivers with cycles.

Returning to the problem of categorifying the cluster algebra $\widetilde{\mathscr{A}}_{Q}$, our aim now is to construct an algebra $A$ satisfying the conditions of Theorem 2.6, defined as a quotient of the complete path algebra of the quiver $\widetilde{Q}$ used to define $\widetilde{\mathscr{A}}_{Q}$.

3. An ice quiver with potential

Consider again our initial seed $s_{0}$ for $\mathscr{A}$, with quiver $Q$, and choose a potential $W$ on $Q$. In this section, we will construct from $(Q,W)$ an ice quiver with potential $(\widetilde{Q},\widetilde{F},\widetilde{W})$, and thus a frozen Jacobian algebra $J(\widetilde{Q},\widetilde{F},\widetilde{W})$. It is this algebra that we intend to use as the input for the construction of a Frobenius category by Theorem 2.6; to apply this theorem we will require that $J(Q,W)$ is finite-dimensional, but we do not assume this yet.

Definition 3.1**.**

Let $(Q,W)$ be a quiver with potential. We define $\widetilde{Q}$ to be the quiver with vertex set given by

[TABLE]

where $Q_{0}^{+}=\{i^{+}:i\in Q_{0}\}$ is a set of formal symbols in bijection with $Q_{0}$, and similarly for $Q_{0}^{-}=\{i^{-}:i\in Q_{0}\}$. The set of arrows is given by

[TABLE]

and the head and tail functions $h,t\colon\widetilde{Q}_{1}\to\widetilde{Q}_{0}$ are extended from those of $Q$ by defining

[TABLE]

The frozen subquiver $\widetilde{F}$ is defined by

[TABLE]

Note that the head and tail of any arrow in $\widetilde{F}_{1}$ lies in $\widetilde{F}_{0}$, so these subsets describe a valid subquiver of $\widetilde{Q}$, which is even full. The quiver $\widetilde{F}$ is also bipartite, meaning that every vertex is either a source or a sink, and so it has no paths of length greater than $1$; precisely, the vertices in $Q_{0}^{+}$ are sources in $\widetilde{F}$, and those in $Q_{0}^{-}$ are sinks. As a vertex of $\widetilde{Q}$, each $i^{+}$ has unique incoming arrow $\alpha_{i}$ and each $i^{-}$ has unique outgoing arrow $\beta_{i}$.

Finally, we define a potential $\widetilde{W}$ on $\widetilde{Q}$ by

[TABLE]

and let

[TABLE]

be the frozen Jacobian algebra determined by $(\widetilde{Q},\widetilde{F},\widetilde{W})$. We denote the boundary algebra of $A_{Q,W}$ by $B_{Q,W}=eA_{Q,W}e$, where $e=\sum_{i\in Q_{0}}(e_{i}^{+}+e_{i}^{-})$ is the frozen idempotent of $A_{Q,W}$.

Note*.*

To aid legibility, if the vertices $i^{+}$ or $i^{-}$ appear as subscripts, we will usually move the sign into a superscript, as in the above expression for the frozen idempotent. When $W=0$, we will typically drop it from the notation; for example, we write $A_{Q}=A_{Q,0}$. The reader is warned that $\widetilde{0}$ is not the zero potential on $\widetilde{Q}$.

Since $\widetilde{W}$ has a straightforward description in terms of $W$, so do the defining relations of $A_{Q,W}$; these form the set $R$ consisting of

[TABLE]

for $a\in Q_{1}$ and $i\in Q_{0}$. Having such an explicit generating set of relations will prove to be extremely useful later in the paper.

To be able to apply Theorem 2.6, we wish to show that $A_{Q,W}$ is bimodule internally $3$-Calabi–Yau with respect to its frozen idempotent $e$, in the sense of Definition 2.4. We will do this, under a mild assumption on $(Q,W)$, in Section 4, but first we give some examples.

Example 3.2**.**

The quiver with potential $(Q,0)$, for $Q$ an 2 quiver, provides the most basic example revealing all of the combinatorial features of the construction. In this case, we have

[TABLE]

with $\widetilde{F}$ indicated by the boxed vertices and dashed arrows. The potential on this ice quiver is

[TABLE]

One can check that the frozen Jacobian algebra $A_{Q}$ attached to this data is isomorphic to the endomorphism algebra of a cluster-tilting object in the Frobenius cluster category consisting of those modules for the preprojective algebra of type 4 with socle supported at a fixed bivalent vertex [24]. For an explanation of why the categories arising in [24] are Frobenius cluster categories, see [44, Eg. 3.11].

Example 3.3**.**

Now let $(Q,W)$ be the quiver with potential in which

[TABLE]

and $W=cba$. The Jacobian algebra is a cluster-tilted algebra of type 3, and has infinite global dimension (like any non-hereditary cluster-tilted algebra [36, Cor. 2.1]). In this case

[TABLE]

with $\widetilde{F}$ again indicated by boxed vertices and dashed arrows. The potential is

[TABLE]

The associated frozen Jacobian algebra $A_{Q,W}$ also arises from a dimer model on a disk with six marked points on its boundary [3], and is isomorphic to the endomorphism algebra of a cluster-tilting object in Jensen–King–Su’s categorification of the cluster algebra structure on the Grassmannian $\mathrm{Gr}_{2}^{6}$ [32]. This category is again a Frobenius cluster category [44, Eg. 3.12]. Unlike the first example, this algebra is infinite-dimensional. However, it is Noetherian, so Theorem 2.6 still applies.

Since in Examples 3.2 and 3.3 the algebra $A_{Q,W}$ is the endomorphism algebra of a cluster-tilting object in a Frobenius cluster category, it is internally $3$-Calabi–Yau with respect to its frozen idempotent—that is, it has the properties in Remark 2.5—by a result of Keller–Reiten [36, §5.4] (see also [44, Cor. 3.10]). This foreshadows Theorem 4.14 below, which states that under mild assumptions on $(Q,W)$ the algebra $A_{Q,W}$ has the (a priori stronger) bimodule internal Calabi–Yau property from Definition 2.4.

4. Calabi–Yau properties for frozen Jacobian algebras

In this section, we will recall from [44, §5] a bimodule complex $0\to\mathbf{P}(A)\to A\to 0$ for a frozen Jacobian algebra $A$, exactness of which implies that $A$ is bimodule internally $3$-Calabi–Yau with respect to its frozen idempotent. We show that this complex is exact when $A=A_{Q,W}$ is as in Definition 3.1. Thus these frozen Jacobian algebras satisfy the most complicated condition in Theorem 2.6. This constitutes the main step in the proof of Theorem 1.

Our arguments exploit the fact that the algebras we consider are pseudocompact, and so we begin with some useful generalities on such algebras. Further background can be found in [22, 7, 48, 51, 30], for example.

Definition 4.1**.**

Let $A$ be a topological $\mathbb{K}$-algebra. We say that $A$ is pseudocompact if there is a system $\mathcal{I}=\{I\}$ of neighbourhoods of $0\in A$ consisting of (open) ideals such that $A/I$ is finite-dimensional for all $I\in\mathcal{I}$ and the natural map

[TABLE]

is an isomorphism. The Jacobson radical of $A$, denoted by $J$, is the intersection of maximal closed left ideals of $A$, and we say that $A$ is $J$-adically complete if the natural map $A\to\varprojlim_{n}A/J^{n}$ is an isomorphism.

Proposition 4.2**.**

If $Q$ is a finite quiver, the complete path algebra $\mathbb{K}\langle\langle Q\rangle\rangle$ is pseudocompact and $J$-adically complete, where $J$ is the Jacobson radical.

Proof.

The algebra $\mathbb{K}\langle\langle Q\rangle\rangle$ may be identified with the continuous dual of the path coalgebra of $Q^{\mathrm{op}}$, i.e. the space of continuous functionals on this coalgebra; see for example [48, Prop. 8.1(c)]. The continuous dual of any coalgebra is pseudocompact [47].

The Jacobson radical of $\mathbb{K}\langle\langle Q\rangle\rangle$ is generated by the arrows. In particular, $\mathbb{K}\langle\langle Q\rangle\rangle/J^{2}$ is finite-dimensional, since $Q$ is a finite quiver, and so $\mathbb{K}\langle\langle Q\rangle\rangle$ is $J$-adically complete by [30, Prop. 2.7]. ∎

Proposition 4.3**.**

Let $Q$ be a finite quiver. Then for any ideal $I\leqslant\mathbb{K}\langle\langle Q\rangle\rangle$ which is closed in the $J$-adic topology, for $J$ the Jacobson radical, the quotient algebra $A=\mathbb{K}\langle\langle Q\rangle\rangle/I$ is pseudocompact.

Proof.

This statement (in a more general form) can be found in The Stacks Project §00M9222See https://stacks.math.columbia.edu/tag/00M9, but we give a direct argument. For each $n\in\mathbb{Z}$, there is a short exact sequence

[TABLE]

where $\pi\colon\mathbb{K}\langle\langle Q\rangle\rangle\to A=\mathbb{K}\langle\langle Q\rangle\rangle/I$ is the projection. In particular, it follows that $A/\pi J^{n}$ is finite-dimensional. Note that the ideals $\pi J^{n}$ form a system of open neighbourhoods of [math] in $A$, since $\pi^{-1}(\pi J^{n})=I+J^{n}$ is open in $\mathbb{K}\langle\langle Q\rangle\rangle$.

The sequence (4.1) is the $n$-th component of a short exact sequence of inverse systems, each of which has only surjective morphisms and so satisfies (in a trivial way) the Mittag-Leffler condition. Thus we obtain a short exact sequence of inverse limits

[TABLE]

The left-hand term of this sequence may be naturally identified with $\bigcap_{n\geqslant 1}(I+J^{n})$, which is the closure of $I$ in the $J$-adic topology, and is thus equal to $I$ since $I$ is closed. Moreover, the middle term is $\mathbb{K}\langle\langle Q\rangle\rangle$ since this algebra is $J$-adically complete by Proposition 4.2. Hence the right-hand term is $A$, which is therefore pseudocompact. ∎

Corollary 4.4**.**

For any ice quiver with potential $(Q,F,W)$, the frozen Jacobian algebra $J(Q,F,W)$ is pseudocompact.

Proof.

By definition, $J(Q,F,W)$ is the quotient of $\mathbb{K}\langle\langle Q\rangle\rangle$ by a closed ideal. Thus the result follows by Proposition 4.3. ∎

We now return to the setting of ice quivers with potential. Let $(Q,F,W)$ be an ice quiver with potential and write $A=J(Q,F,W)$. Recall that $Q_{0}^{\circ}=Q_{0}\setminus F_{0}$ and $Q_{1}^{\circ}=Q_{1}\setminus F_{1}$ denote the sets of mutable vertices and unfrozen arrows of $Q$ respectively. For $i\in Q_{0}$, we write $\mathrm{H}_{i}$ for the set of arrows of $Q$ with head $i$, and $\mathrm{T}_{i}$ for the set of arrows of $Q$ with tail $i$. We denote by $\mathrm{H}_{i}^{\circ}$ and $\mathrm{T}_{i}^{\circ}$ the intersection of $Q_{1}^{\circ}$ with $\mathrm{H}_{i}$ and $\mathrm{T}_{i}$ respectively. Recall from Remark 2.2 that the quotient $S:=A/J(A)$ of $A$ by its Jacobson radical is a semi-simple algebra, isomorphic as a left $A$-module to the direct sum of the vertex simple $A$-modules. (This property is sometimes [30, §3.2] called pointedness.) Thus $S$ has a basis given by the vertex idempotents $e_{i}$ for $i\in Q_{0}$. For the remainder of this section, we write $\mathbin{\otimes}=\mathbin{\otimes}_{S}$.

Introduce formal symbols $\rho_{\alpha}$ for each $\alpha\in Q_{1}$ and $\omega_{v}$ for each $v\in Q_{0}$, and define $S$-bimodule structures on the vector spaces

[TABLE]

via the formulae

[TABLE]

Next we describe various morphisms $\mu_{k}$ of $A$-bimodules. Since $V_{0}\cong S$, the $A$-bimodule $A\mathbin{\otimes}V_{0}\mathbin{\otimes}A$ is canonically isomorphic to $A\mathbin{\otimes}A$. Composing this isomorphism with the multiplication map for $A$, we obtain a map $\mu_{0}\colon A\mathbin{\otimes}V_{0}\mathbin{\otimes}A\to A$. Define $\mu_{1}\colon A\mathbin{\otimes}V_{1}\mathbin{\otimes}A\to A\mathbin{\otimes}V_{0}\mathbin{\otimes}A$ by

[TABLE]

For any path $p=\alpha_{m}\dotsm\alpha_{1}$ of $\mathbb{K}Q$, we may define

[TABLE]

and extend by linearity and continuity to obtain a map $\Delta_{\alpha}\colon\mathbb{K}\langle\langle Q\rangle\rangle\to A\mathbin{\otimes}V_{1}\mathbin{\otimes}A$. We then define $\mu_{2}\colon A\mathbin{\otimes}V_{2}\mathbin{\otimes}A\to A\mathbin{\otimes}V_{1}\mathbin{\otimes}A$ by

[TABLE]

Finally, define $\mu_{3}\colon A\mathbin{\otimes}V_{3}\mathbin{\otimes}A\to A\mathbin{\otimes}V_{2}\mathbin{\otimes}A$ by

[TABLE]

Note that we have $A\otimes V_{k}\otimes A\otimes_{A}S=A\otimes V_{k}\otimes S=A\otimes V_{k}$ for $0\leqslant k\leqslant 3$. Thus for each $1\leqslant k\leqslant 3$ we obtain a map $\bar{\mu}_{k}:=(\mu_{k}\otimes_{A}S)\colon A\otimes V_{k}\to A\otimes V_{k-1}$.

Lemma 4.5**.**

Let $1\leqslant k\leqslant 3$ and consider $x\otimes v\otimes y\in A\otimes V_{k}\otimes A$, where $x,y\in A$ and $v\in V_{k}$. Then

[TABLE]

where $r\in A\otimes V_{k-1}\otimes Jy$.

Proof.

This follows directly from the definition of the maps $\mu_{k}$, recalling that the Jacobson radical $J$ is generated by the arrows of $Q$, and that $A/J=S$. ∎

Definition 4.6**.**

For an ice quiver with potential $(Q,F,W)$ with frozen Jacobian algebra $A$, denote by $\mathbf{P}(A)$ the complex of $A$-bimodules with non-zero terms

[TABLE]

and $A\mathbin{\otimes}\mathbb{K}Q_{0}\mathbin{\otimes}A$ in degree [math]. That this sequence is indeed a complex is [44, Lem. 5.5].

By [44, Thm. 5.7], if $A$ is a frozen Jacobian algebra such that

[TABLE]

is exact, then $A$ is bimodule internally $3$-Calabi–Yau with respect to the idempotent $e=\sum_{i\in F_{0}}e_{i}$. Our goal for the remainder of the section is to check exactness of (4.2) when $A=A_{Q,W}$ is the algebra from Definition 3.1. The following lemma allows us to simplify this calculation; its proof is based on [6, Prop. 7.5], but adapted to exploit pseudocompactness of $A$ in place of a suitable grading.

Lemma 4.7**.**

The complex (4.2) is exact if and only if

[TABLE]

is exact.

Proof.

The forward implication holds since $\mathbf{P}(A)\stackrel{{\scriptstyle\mu_{0}}}{{\longrightarrow}}A$ is perfect as a complex of right $A$-modules, and so remains exact under $-\mathbin{\otimes}_{A}M$ for any $M\in\operatorname{Mod}{A}$.

For the converse implication, we use pseudocompactness. Abbreviate $\bar{\mu}_{k,n}=\mu_{k}\otimes_{A}A/J^{n}$ (so that $\bar{\mu}_{k,1}=\bar{\mu}_{k}$ as defined above). We will show inductively that

[TABLE]

is exact for all $n$; the assumed exactness of (4.3) gives the base case $n=1$ of this induction. Then the result will follow as in the proof of Proposition 4.3 from the fact that (4.4) remains exact under taking inverse limits, noting again that the relevant inverse systems satisfy the Mittag-Leffler condition since all their morphisms are surjective.

That (4.4) is exact at $A/J^{n}$ (and indeed, that (4.2) is exact at $A$) follows since $\mu_{0}$ is multiplication in the unital algebra $A$, so we concentrate on the other terms, each of which has the form $A\otimes V_{k}\otimes A/J^{n}$ for some $S$-bimodule $V_{k}$, adopting the convention that $V_{k}=0$ for $k>3$.

Choose $k\geqslant 0$, let $\phi_{0}\in A\otimes V_{k}\otimes A/J^{n}$ for some $n\geqslant 2$, and write $\phi_{0}^{\prime}$ for the projection of $\phi_{0}$ to $A\otimes V_{k}\otimes A/J^{n-1}$. If $\phi_{0}$ is closed, i.e. if $\bar{\mu}_{k,n}(\phi_{0})=0$, then $\phi^{\prime}_{0}$ is also closed, and and so by induction there is $\psi_{0}^{\prime}\in A\otimes V_{k+1}\otimes A/J^{n-1}$ with $\bar{\mu}_{k+1,n-1}(\psi^{\prime})=\phi^{\prime}$. Choose any $\psi_{0}\in A\otimes V_{k+1}\otimes A/J^{n}$ projecting to $\psi^{\prime}_{0}$. Then $\phi_{1}:=\phi_{0}-\bar{\mu}_{k+1,n}(\psi_{0})$ projects to $\phi_{0}^{\prime}-\bar{\mu}_{k,n-1}(\psi_{0}^{\prime})=0$, and hence $\phi_{1}\in A\otimes V_{k}\otimes J^{n-1}/J^{n}$. Moreover, $\phi_{1}$ is closed.

Now let $Y$ be a basis of the finite-dimensional vector space $J^{n-1}/J^{n}$, so that we may write

[TABLE]

for some $u_{y}\in A\otimes V_{k}$. Since each $y\in J^{n-1}/J^{n}$ and $\phi_{1}$ is closed, we have

[TABLE]

by Lemma 4.5. It then follows by linear independence of the set $Y$ that $\bar{\mu}_{k}(u_{y})=0$ for all $y\in Y$. By the assumed exactness of (4.3), there are therefore $v_{y}\in A\otimes V_{k+1}$ with $\bar{\mu}_{k+1}(v_{y})=u_{y}$.

Now let

[TABLE]

Using Lemma 4.5 again, we may calculate

[TABLE]

and so $\phi_{0}=\bar{\mu}_{k+1,n}(\psi_{0}+\psi_{1})$ is exact. Thus each sequence (4.4), and hence the limit (4.2), is exact as required. ∎

Thus it suffices for us to show that (4.3) is exact. This complex decomposes along with $S$, so that its exactness is equivalent to the exactness of

[TABLE]

for each $i\in\widetilde{Q}_{0}$, where $S_{i}$ denotes the vertex simple left $A$-module at $i$. We may calculate the terms in this complex as

[TABLE]

In the first two cases, the right-hand sides are of the form $\bigoplus_{a\in X}Ae_{v(a)}$, where $X$ is a set of arrows, and $v\colon X\to Q_{0}$. We will denote by $x\mapsto x\otimes[a]$ the inclusion $Ae_{v(a)}\to\bigoplus_{a\in X}Ae_{v(a)}$ mapping the domain to the summand indexed by $a$; this helps us to distinguish these various inclusions when $v$ is not injective. As a consequence, a general element of the direct sum is $x=\sum_{a\in X}x_{a}\otimes[a]$ for $x_{a}\in Ae_{v(a)}$.

Each arrow $b\in Q_{1}$ has an associated right derivative $\partial^{r}_{b}\colon\mathbb{K}\langle\langle Q\rangle\rangle\to\mathbb{K}\langle\langle Q\rangle\rangle$, which is linear and continuous and given by

[TABLE]

on paths. Using this map, we may write

[TABLE]

Calculating $\mu_{k}\otimes_{A}S_{i}$ for the other values of $k$ is similar, and more straightforward.

Remark 4.8*.*

By standard results on presentations of algebras, see for example Butler–King [12], the complex (4.2) is always exact in degrees $-1$, [math] and $1$, and hence the same is true for each complex (4.5). Thus in the following argument, we need only check exactness of (4.5) at $A\otimes V_{3}\otimes S_{i}$ and $A\otimes V_{2}\otimes S_{i}$.

Now let $(Q,W)$ be a quiver with potential, and let $A=A_{Q,W}=J(\widetilde{Q},\widetilde{F},\widetilde{W})$. The following series of results will establish exactness of the complex (4.3) for $A$ for each vertex $i\in\widetilde{Q}_{0}$, using heavily the explicit set $R$ of defining relations for $A$ given in (3.1).

Lemma 4.9**.**

Let $i\in\widetilde{Q}_{0}^{\circ}=Q_{0}$. If $y\in Ae_{i}$ satisfies $y\beta_{i}=0$, then $y=0$.

Proof.

Let $\widetilde{y}$ be an arbitrary lift of $y$ to $\mathbb{K}\langle\langle\widetilde{Q}\rangle\rangle e_{i}$. Now assume $y\beta_{i}=0$, so $\widetilde{y}\beta_{i}\in\overline{\langle R\rangle}$. Since every term of $\widetilde{y}\beta_{i}$, when written in the basis of paths of $\widetilde{Q}$, ends with the arrow $\beta_{i}$, but no term of any element of $R$ has a term ending with $\beta_{i}$, we must be able to write $\widetilde{y}\beta_{i}=z\beta_{i}$ for some $z\in\overline{\langle R\rangle}e_{i}$. Comparing terms, we see that $\widetilde{y}=z\in\overline{\langle R\rangle}$, and so $y=0$ in $A$. ∎

Proposition 4.10**.**

For $i\in\widetilde{Q}_{0}^{\circ}$, the map $\mu_{3}\mathbin{\otimes}_{A}S_{i}\colon Ae_{i}\to\displaystyle\bigoplus_{a\in\mathrm{H}_{i}^{\circ}}Ae_{ta}$ is injective.

Proof.

We have $(\mu_{3}\mathbin{\otimes}_{A}S_{i})(y)=\sum_{a\in\mathrm{H}_{i}^{\circ}}-ya\otimes[a]$. Since $i$ is mutable, $\mathrm{H}_{i}^{\circ}=\mathrm{H}_{i}$ contains $\beta_{i}$ by the construction of $(\widetilde{Q},\widetilde{F})$. Thus if $(\mu_{3}\mathbin{\otimes}_{A}S_{i})(y)=0$, it follows that $-y\beta_{i}\mathbin{\otimes}[\beta_{i}]=0$, hence $y\beta_{i}=0$, and so $y=0$ by Lemma 4.9. ∎

Lemma 4.11**.**

Let $i\in\widetilde{Q}_{0}^{\circ}$. For each $a\in\mathrm{H}_{i}^{\circ}$, pick $x_{a}\in Ae_{ta}$. If $x_{\beta_{i}}\delta_{i}=\sum_{a\in\mathrm{H}_{i}^{\circ}\setminus\{\beta_{i}\}}x_{a}\beta_{ta}\delta_{a}$, then there exists $y\in Ae_{i}$ such that $x_{a}=ya$ for each $a\in\mathrm{H}_{i}^{\circ}$.

Proof.

Pick a lift $\widetilde{x}_{a}\in\mathbb{K}\langle\langle\widetilde{Q}\rangle\rangle$ of each $x_{a}$. Writing $p=\widetilde{x}_{\beta_{i}}\delta_{i}-\sum_{a\in\mathrm{H}_{i}^{\circ}\setminus\{\beta_{i}\}}\widetilde{x}_{a}\beta_{ta}\delta_{a}$, our assumption on the $x_{a}$ is equivalent to $p\in\overline{\langle R\rangle}$. Since every term of $p$ ends with either $\delta_{i}$ or $\beta_{ta}\delta_{a}$ for some $a\in\mathrm{H}_{i}^{\circ}\setminus\{\beta_{i}\}$, and the only element of $R$ including terms ending with these arrows is $\beta_{i}\delta_{i}-\sum_{a\in\mathrm{H}_{i}^{\circ}\setminus\{\beta_{i}\}}a\beta_{ta}\delta_{a}$, we can write

[TABLE]

where $z_{i}\in\overline{\langle R\rangle}e_{i}^{-}$, $z_{a}\in\overline{\langle R\rangle}e_{ta}$ and $y\in\mathbb{K}\langle\langle\widetilde{Q}\rangle\rangle e_{i}$. Comparing terms in our two expressions for $p$, we see that $\widetilde{x}_{\beta_{i}}=y\beta_{i}+z_{i}$ and $\widetilde{x}_{a}=ya-z_{a}$. Since $z_{i},z_{a}\in\overline{\langle R\rangle}$, when we pass to the quotient algebra $A$ we see that $x_{\beta_{i}}=y\beta_{i}$ and $x_{a}=ya$, as required. ∎

Proposition 4.12**.**

For $i\in\widetilde{Q}_{0}^{\circ}$, we have $\ker(\mu_{2}\mathbin{\otimes}_{A}S_{i})=\operatorname{im}(\mu_{3}\mathbin{\otimes}_{A}S_{i})$.

Proof.

Since $\mathbf{P}(A)$ is a complex, it is enough to show that $\ker(\mu_{2}\mathbin{\otimes}_{A}S_{i})\subseteq\operatorname{im}(\mu_{3}\mathbin{\otimes}_{A}S_{i})$. Let $x=\sum_{a\in\mathrm{H}_{i}^{\circ}}x_{a}\mathbin{\otimes}[a]\in\bigoplus_{a\in\mathrm{H}_{i}^{\circ}}Ae_{ta}$. Then

[TABLE]

In particular, $\alpha_{i}\in\mathrm{T}_{i}$, so if $x\in\ker(\mu_{2}\otimes_{A}S_{i})$, we have $\left(\sum_{a\in\mathrm{H}_{i}^{\circ}}x_{a}\partial^{r}_{\alpha_{i}}{\partial_{a}{\widetilde{W}}}\right)\otimes[\alpha_{i}]=0$. Using the explicit expressions for the relations $\partial_{a}{\widetilde{W}}$ computed in (3.1), we see that

[TABLE]

and so by Lemma 4.11 there exists $y\in Ae_{i}$ such that $x_{a}=ya$ for each $a$. It follows that $x=(\mu_{3}\mathbin{\otimes}_{A}S_{i})(y)$, as required. ∎

Proposition 4.13**.**

If $i^{\pm}\in\widetilde{F}_{0}$ then the complex {0}$${\mathbf{P}(A)\mathbin{\otimes}_{A}S_{i}^{\pm}}$${S_{i}^{\pm}}$${0}$$\scriptstyle{\mu_{0}\mathbin{\otimes}_{A}S_{i}^{\pm}} is exact.

Proof.

Since $i^{\pm}\in\widetilde{F}_{0}$, our complex is zero in degree $-3$. By Remark 4.8, we need only to check that $\mu_{2}\mathbin{\otimes}_{A}S_{i}^{\pm}$ is injective. Since $\mathrm{H}_{i^{-}}^{\circ}=\varnothing$, the complex $\mathbf{P}(A)\mathbin{\otimes}_{A}S_{i}^{-}$ is also zero in degree $-2$, so we are left to consider $\mu_{2}\mathbin{\otimes}_{A}S_{i}^{+}$.

Since $\mathrm{H}_{i^{+}}^{\circ}=\{\alpha_{i}\}$, we have $\mu_{2}\mathbin{\otimes}_{A}S_{i}^{+}\colon Ae_{i}\to\bigoplus_{b\in\mathrm{T}_{i}^{+}}Ae_{hb}$. Let $x\in Ae_{i}$, for which we calculate

[TABLE]

Assume this is [math]. Considering $\delta_{i}\in\mathrm{T}_{i}^{+}$, we see that we must have $0=x\partial^{r}_{\delta_{i}}{\partial_{\alpha_{i}}{\widetilde{W}}}=x\beta_{i}$. By Lemma 4.9, it follows that $x=0$, and $\mu_{2}\mathbin{\otimes}_{A}S_{i}^{+}$ is injective as required. ∎

Summarising the discussion above, we are able to establish the desired internal Calabi–Yau property for $A_{Q,W}$.

Theorem 4.14**.**

For any quiver with potential $(Q,W)$, the algebra $A_{Q,W}=J(\widetilde{Q},\widetilde{F},\widetilde{W})$ is bimodule internally $3$-Calabi–Yau with respect to the frozen idempotent $e=\sum_{i\in Q_{0}}(e_{i}^{+}+e_{i}^{-})$.

Proof.

Given Remark 4.8, Propositions 4.10 and 4.12 show that (4.5) is exact when $i$ is a mutable vertex, whereas Proposition 4.13 deals with the case that $i$ is frozen. Thus (4.3) is exact and so, since $A_{Q,W}$ is pseudocompact by Corollary 4.4, it follows from Lemma 4.7 that (4.2) is also exact. Hence we obtain the result by [44, Thm. 5.7]. ∎

Since for $A=A_{Q,W}$ we have $A/AeA=J(Q,W)$ by construction, Theorem 2 from the introduction is an immediate consequence. We record a further corollary, obtained by combining Theorem 4.14 with Theorem 2.6.

Corollary 4.15**.**

Let $(Q,W)$ be a Jacobi-finite quiver with potential. Assume that $A=A_{Q,W}$ is Noetherian, let $e=\sum_{i\in Q_{0}}(e_{i}^{+}+e_{i}^{-})$ be the frozen idempotent of $A$, let $B=eAe$ be its boundary algebra, and let $T=eA$. Then $T$ is a cluster-tilting object of the stably $2$-Calabi–Yau Frobenius category $\operatorname{GP}(B)$, with $\operatorname{End}_{B}(T)^{\mathrm{op}}\cong A$ and $\operatorname{\underline{End}}_{B}(T)^{\mathrm{op}}\cong J(Q,W)$.∎

It is this corollary that we will use to define the Frobenius category $\mathcal{E}_{Q}$ appearing in Theorem 1 for an acyclic quiver $Q$; to be able to do so, it only remains to check that $A_{Q}$ is Noetherian in this case, and we will show in Section 5 that it is even finite-dimensional. Unfortunately, at the moment we lack methods for showing that $A_{Q,W}$ is Noetherian in more cases (and expect that $A_{Q,W}$ is not Noetherian general), preventing us from extending Theorem 1 to the case of quivers with cycles. We already observed in Example 3.3 that $A_{Q,W}$ is Noetherian (but not finite-dimensional) when $(Q,W)$ is the $3$-cycle with its natural potential. This quiver with potential is Jacobi-finite, so Corollary 4.15 also applies in this case.

Remark 4.16*.*

Combinatorially, the algebra $A_{Q,W}$ seems to be related the dg-algebra $\Gamma_{Q,W}$ associated to $(Q,W)$ by Ginzburg [25, §4.2]; the loops in cohomological degree $-2$ in $\Gamma_{Q,W}$ are replaced by the cycles $i\to i^{+}\to i^{-}\to i$, and the degree $-1$ arrows are replaced by the paths $ha\to ha^{+}\to ta^{-}\to ta$. Here we use Amiot’s sign conventions [1, Def. 3.1], which are opposite to Ginzburg’s. By a result of Van den Bergh [34, Thm. A.12], the dg-algebra $\Gamma_{Q,W}$ is bimodule $3$-Calabi–Yau, and we expect this to be related to the fact that $A_{Q,W}$ is bimodule internally $3$-Calabi–Yau with respect to the idempotent determined by the vertices not appearing in Ginzburg’s construction. We will show in proving Theorem 1(b) that, when $Q$ is acyclic, the two constructions are also related via a triangle equivalence

[TABLE]

By a result of Yilin Wu [52, Lem. 5.10], it follows from exactness of (4.2) that the relative Ginzburg algebra $\Gamma_{\widetilde{Q},\widetilde{F},\widetilde{W}}$ [52, Def. 4.20] is concentrated in degree [math], its [math]-th cohomology being the algebra $A_{Q,W}$. There is thus [53, Prop. 3.19] a homotopy pushout diagram

[TABLE]

taken in the category of $k$-linear dg-categories with Tabuada’s model structure [50], where the functor $G$ is the deformed relative $3$-Calabi–Yau completion, with respect to $\widetilde{W}$, of the natural map $\mathbb{K}\widetilde{F}\to\mathbb{K}\widetilde{Q}$. In particular, this makes $\smash{\mathbf{\Pi}_{\widetilde{F}}}$ the $2$-Calabi–Yau completion of $\mathbb{K}\widetilde{F}$ (a dg version of the preprojective algebra of $\widetilde{F}$). Thus we can reconstruct the Ginzburg dg-algebra $\Gamma_{Q,W}$ from $A_{Q,W}$ (plus enough additional data to recover the dg-functor $G$). It is also possible to obtain the triangle equivalence (4.8) using this style of argument; see Remark 5.4.

However, the only properties of the ice quiver with potential $(\widetilde{Q},\widetilde{F},\widetilde{W})$ that we use here are that $\Gamma_{\widetilde{Q},\widetilde{F},\widetilde{W}}$ is concentrated in degree [math], and that removing the frozen vertices recovers $(Q,W)$; typically there are many ice quivers with potential with these two properties. At present we do not know a natural construction of the specific frozen Jacobian algebra $A_{Q,W}$ from $\Gamma_{Q,W}$, despite the combinatorial similarity of their definitions.

5. The acyclic case

Let $(Q,W)$ be a Jacobi-finite quiver with potential, so that the algebra $A_{Q,W}$ from Definition 3.1 satisfies all of the assumptions of Corollary 4.15 except possibly Noetherianity. Our goal in this section is to show that if $Q$ is an acyclic quiver, then the algebra $A=A_{Q}=J(\widetilde{Q},\widetilde{F},\widetilde{0})$ is even finite-dimensional, so that this result does indeed apply.

Lemma 5.1**.**

Let $Q$ be a finite quiver and let $p$ be a path in $\widetilde{Q}$ containing at least one arrow not in $Q_{1}$, and with $hp,tp\in Q_{0}$. Then $p$ is in the kernel of the projection $\pi\colon\mathbb{K}\langle\langle\widetilde{Q}\rangle\rangle\to A=J(\widetilde{Q},\widetilde{F},\widetilde{0})$. Moreover, if $q$ is a path of length at least $5$ containing no arrows of $Q_{1}$, then $q\in\ker{\pi}$.

Proof.

Let $\gamma$ be the first arrow of $p$ in $\widetilde{Q}_{1}\setminus Q_{1}$. If $\gamma$ has a predecessor in $p$, then this arrow is in $Q_{1}$, and so $t\gamma\in Q_{0}$. On the other hand, if $\gamma$ is the first arrow of $p$, then $t\gamma=tp\in Q_{0}$ by assumption. By the construction of $\widetilde{Q}$, it follows that $\gamma=\alpha_{i}$ for some $i\in Q_{0}$. Since $hp\in Q_{0}$, the path $p$ cannot terminate with $\alpha_{i}$, so this arrow has a successor. Looking again at the definition of $\widetilde{Q}$, the only options are $\delta_{a}$ for some $a\in Q_{1}$ with $ha=i$, or $\delta_{i}$. We break into two cases.

First assume $\alpha_{i}$ is followed in $p$ by $\delta_{a}$ for some $a\in Q_{0}$. This again cannot be the final arrow of $p$, since $hp\in Q_{0}$. The only arrow leaving $h\delta_{a}=i_{ta}^{-}$ is $\beta_{ta}$, so this must be the next arrow of $p$. But after projection to $A$ by $\pi$, we have $\beta_{ta}\delta_{a}\alpha_{ha}=\partial_{a}{W}=0$ since $W=0$, so $p\in\ker{\pi}$.

In the second case, $\alpha_{i}$ is followed by $\delta_{i}$. As above, $\delta_{i}$ must be followed in $p$ by $\beta_{i}$, and projecting to $A$ yields

[TABLE]

so that again $p\in\ker{\pi}$.

For the second statement, we have already shown that $\beta_{ta}\delta_{a}\alpha_{ha}\in\ker{\pi}$ for any $a\in Q_{1}$ and $\beta_{i}\delta_{i}\alpha_{i}\in\ker{\pi}$ for any $i\in Q_{0}$. It then follows from the bipartite property of $\widetilde{F}$ that any path which is not in $\ker{\pi}$ and involves only arrows not in $Q_{1}$ must be a subpath of $\delta_{x}\alpha_{i}\beta_{i}\delta_{y}$ for some $x,y\in Q_{0}\cup Q_{1}$ and $i\in Q_{0}$ with $hx=i=ty$. In particular, such a path has length at most $4$. ∎

Theorem 5.2**.**

Let $Q$ be an acyclic quiver. Then $A=J(\widetilde{Q},\widetilde{F},\widetilde{0})$ is finite-dimensional.

Proof.

We show that there are finitely many paths of $\widetilde{Q}$ determining non-zero elements of $A$. By Lemma 5.1, any path $p$ of $\widetilde{Q}$ determining a non-zero element of $A$ may not have any subpath with endpoints in $Q_{0}$ and containing an arrow outside $Q_{1}$. Thus we must have $p=q_{2}p^{\prime}q_{1}$, where $q_{1}$ and $q_{2}$ are (possibly empty) paths not involving arrows of $Q_{1}$, and $p^{\prime}$ is a path in $Q$. Since $Q$ is acyclic, there are only finitely many possibilities for $p^{\prime}$. By Lemma 5.1 again, $q_{1}$ and $q_{2}$ have length at most $4$ for $p$ to be non-zero in $A$, and so there are again only finitely many possibilities. ∎

We have now established everything we need in order to construct the Frobenius cluster category required by Theorem 1, and to prove the first two parts of this theorem.

Definition 5.3**.**

Let $Q$ be an acyclic quiver, let $A_{Q}=J(\widetilde{Q},\widetilde{F},\widetilde{W})$ be the frozen Jacobian algebra defined from $Q$ in Definition 3.1, and let $B_{Q}=eA_{Q}e$ be its boundary algebra. We define $\mathcal{E}_{Q}=\operatorname{GP}(B_{Q})$ to be the category of Gorenstein projective $B_{Q}$-modules.

Proof of Theorem 1(a).

Since $Q$ is an acyclic quiver, $J(Q,0)=\mathbb{K}Q$ is finite-dimensional. By Theorem 5.2, the algebra $A_{Q}=J(\widetilde{Q},\widetilde{F},\widetilde{0})$ is also finite-dimensional, and hence Noetherian.

Since the boundary algebra $B_{Q}=eA_{Q}e$ is finite-dimensional, Corollary 4.15 and Proposition 2.8 combine to show that $\mathcal{E}_{Q}=\operatorname{GP}(B_{Q})$ is a Hom-finite Frobenius cluster category, as required. ∎

Proof of Theorem 1(b).

We use Keller–Reiten’s recognition theorem [35, Thm. 2.1]; by Corollary 4.15, $\underline{\mathcal{E}}_{Q}$ is a $2$-Calabi–Yau triangulated category admitting a cluster-tilting object $T=eA_{Q}$ with endomorphism algebra $\mathbb{K}Q$, so $\underline{\mathcal{E}}_{Q}$ is triangle equivalent to the cluster category $\mathcal{C}_{Q}$ as required. ∎

We already observed after stating Corollary 4.15 that our construction applies to $(Q,W)$ given by the $3$-cycle with natural potential to produce a stably $2$-Calabi–Yau Frobenius cluster category $\mathcal{E}_{Q,W}=\operatorname{GP}(B_{Q,W})$. We claim that the analogous statement to Theorem 1(b) also holds here, namely that $\underline{\mathcal{E}}_{Q,W}$ is triangle equivalent to Amiot’s cluster category $\mathcal{C}_{Q,W}$. While Keller–Reiten’s recognition theorem no longer applies to the cluster-tilting object $T$ provided by Corollary 4.15, since its stable endomorphism algebra is not hereditary, one can in this case find another cluster-tilting object $T^{\prime}\in\mathcal{E}_{Q,W}$ with $\operatorname{\underline{End}}_{\mathcal{E}_{Q,W}}(T^{\prime})^{\mathrm{op}}\cong\mathbb{K}Q^{\prime}$, for $Q^{\prime}$ an orientation of the Dynkin diagram 3. Thus the recognition theorem shows that $\underline{\mathcal{E}}_{Q,W}\simeq\mathcal{C}_{Q^{\prime}}$, and $\mathcal{C}_{Q^{\prime}}\simeq\mathcal{C}_{Q,W}$ either by the recognition theorem again or by [1, Cor. 3.11].

We note that while Amiot–Reiten–Todorov have a recognition theorem [2, Thm. 3.1], which identifies certain stable categories of Frobenius categories admitting a cluster-tilting object with frozen Jacobian endomorphism algebra as generalised cluster categories, this theorem does not apply to our object $T$ when $W\neq 0$, because then $(\widetilde{Q},\widetilde{F},\widetilde{W})$ cannot satisfy their assumptions (H3) and (H4). Assumption (H3) requires a non-negative degree function on the arrows of $\widetilde{Q}$ giving $\widetilde{W}$ degree $1$, and (H4) requires that the arrows $\alpha_{i}$, for $i\in Q_{0}$, all have degree $1$. But if $W\neq 0$, then (H3) forces some arrow $a\in Q_{1}$ to have degree $1$, and then (H4) implies that the potential term $a\beta_{ta}\delta_{a}\alpha_{ha}$ has degree at least $2$, so (H3) does not hold.

Remark 5.4*.*

We could also prove Theorem 1(b) by using further results of Yilin Wu [53, Thm. 6.2, Thm. 7.9], exploiting in particular the fact that $A_{Q,W}$ is quasi-isomorphic to the relative Ginzburg dg-algebra $\Gamma_{\widetilde{Q},\widetilde{F},\widetilde{W}}$ (cf. Remark 4.16). This does not increase the generality of the result, since this approach requires $A_{Q,W}$ to be finite-dimensional, a fact we only establish in the acyclic case (and which is false in general). However, it seems more realistic to generalise Wu’s results to infinite-dimensional Jacobian algebras than to remove the acyclicity assumption from Keller–Reiten’s theorem.

6. Mutation and the cluster character

To complete the proof of Theorem 1, we need to understand the relationship between mutation of cluster-tilting objects in $\operatorname{GP}(B_{Q})$ and Fomin–Zelevinsky mutation of their quivers. These operations turn out to be compatible, in a much larger class of Frobenius cluster categories, in the sense of the following theorem.

Theorem 6.1**.**

Let $\mathcal{E}$ be a Hom-finite Frobenius cluster category, and assume there is a cluster-tilting object $T\in\mathcal{E}$ such that $\operatorname{End}_{\mathcal{E}}(T)^{\mathrm{op}}\cong J(Q,F,W)$, where $Q$ the Gabriel quiver of this algebra. Then

1. (a)

$Q$* has no loops or $2$-cycles incident with any mutable vertex, so the Iyama–Yoshino mutation of $T$ at any indecomposable non-projective summand is well-defined,* 2. (b)

if $T^{\prime}$ is obtained from $T$ by mutation at such a summand, then $\operatorname{End}_{\mathcal{E}}(T^{\prime})^{\mathrm{op}}\cong J(Q^{\prime},F^{\prime},W^{\prime})$, where $(Q^{\prime},F^{\prime},W^{\prime})$ is the mutation of $(Q,F,W)$ at the vertex corresponding to this summand, and 3. (c)

the quiver $Q^{\prime}$ is both the Gabriel quiver of $\operatorname{End}_{\mathcal{E}}(T^{\prime})^{\mathrm{op}}$ and, up to arrows between frozen vertices, the Fomin–Zelevinsky mutation of $Q$ at the appropriate vertex. In particular, it also has no loops or $2$-cycles incident with mutable vertices.

These results then extend inductively to any cluster-tilting object in the mutation class of $T$.

Proof.

This combines [45, Thm. 5.15] and [43, Prop. 3] (which corrects [45, Prop. 5.16]). ∎

The proof of [45, Thm. 5.15] referred to in that of Theorem 6.1 is similar to an analogous result of Buan–Iyama–Reiten–Smith for triangulated categories [9]. The definition of mutation for an ice quiver with potential is given in [45, Def. 4.1], and is similar to that for ordinary quivers with potential [9, §1.2]. We also explain in [45] how to extend the definition of Fomin–Zelevinsky mutation to ice quivers which may have arrows between their frozen vertices. Thus the same argument proves a stronger version of Theorem 6.1(c) in which these arrows are still considered, but we will not use this here.

A consequence of Theorem 6.1 is that the Frobenius category $\mathcal{E}_{Q}$ we attach to an acyclic quiver has a cluster structure in the sense of Buan–Iyama–Reiten–Scott [8, §II.1], which will allow us to use results of Fu and Keller [21] to complete the proof of Theorem 1.

Proposition 6.2**.**

The Frobenius category $\mathcal{E}_{Q}$ from Definition 5.3 has a cluster structure.

Proof.

By [8, Thm. II.1.6], it is enough to check that endomorphism algebras of cluster-tilting objects in $\mathcal{E}_{Q}$ have no loops or $2$-cycles in their quivers. Because $\mathcal{E}_{Q}$ is a Hom-finite Frobenius cluster category, this holds for those cluster-tilting objects in the mutation class of $T=eA_{Q}$ by Theorem 6.1. But since $\underline{\mathcal{E}}_{Q}\simeq\mathcal{C}_{Q}$ by Theorem 1(b), every cluster-tilting object of $\mathcal{E}_{Q}$ is in this mutation class [11, Thm. A.1]. ∎

Proof of Theorem 1(c)–(d).

Since $\mathcal{E}_{Q}$ is a Hom-finite stably $2$-Calabi–Yau Frobenius category, with cluster-tilting object $T=eA_{Q}$, it has a cluster character $\varphi^{T}\colon\operatorname{Ob}(\mathcal{E}_{Q})\to\widetilde{\mathscr{A}}_{Q}$ relative to $T$, as defined by Fu and Keller—see [21, §3], or (9.8) below, for an explicit formula for $\varphi^{T}$.

Moreover, in Fu–Keller’s terminology [21, Def. 5.1], the pair $(\mathcal{E}_{Q},T)$ is a Frobenius $2$-Calabi–Yau realisation of the polarised principal coefficient cluster algebra $\widetilde{\mathscr{A}}_{Q}$; this follows from Proposition 6.2 and by using Theorem 2.6(c) to see that $\operatorname{End}_{\mathcal{E}_{Q}}(T)^{\mathrm{op}}\cong A_{Q}$ has ice quiver $\widetilde{Q}$.

Both Theorem 1(c) and Theorem 1(d) now follow from [21, Thm. 5.4(a)]. Note that references to ‘reachable’ objects in this theorem may be dropped since every indecomposable rigid object and every cluster-tilting object in $\mathcal{E}_{Q}$ is reachable by [11, Thm. A.1], as in the proof of Proposition 6.2. Note also that, unlike us, Fu–Keller do not consider the frozen variables of $\widetilde{\mathscr{A}}_{Q}$ to be cluster variables, which leads them to exclude the indecomposable projective objects from their statement. However, it is straightforward to check (see [21, Thm. 3.3(a)]) that $\varphi^{T}$ also gives a bijection between the indecomposable projectives in $\mathcal{E}_{Q}$, which are summands of $T$, and the frozen variables of $\widetilde{\mathscr{A}}_{Q}$. ∎

Just as for Theorem 1(b), the conclusions of Theorem 1(c)–(d) still hold when $Q$ is a $3$-cycle, replacing $B_{Q}$ by $B_{Q,W}$ for $W$ the natural potential on $Q$. In this case $\widetilde{\mathscr{A}}_{Q}$ is the cluster algebra of the Grassmannian $G_{2}^{6}$, and $\operatorname{GP}(B_{Q,W})$ is the Grassmannian cluster category constructed by Jensen–King–Su [32] (see Example 3.3). The analogue of Theorem 6.1 holds for Grassmannian cluster categories, despite them being Hom-infinite—see [45, Prop. 5.17] and its preceding discussion.

For a general quiver with potential $(Q,W)$, even assuming that $A_{Q,W}$ is Noetherian so that the category $\mathcal{E}_{Q,W}$ is well-defined, it may still be the case that the cluster-tilting objects in this category form several different mutation classes. However, this would not significantly affect our arguments here: while we can only rule out loops and $2$-cycles in the mutation class of $T=eA_{Q,W}$ via our methods, and so we cannot show that $\mathcal{E}_{Q,W}$ has a cluster structure in the strict sense, Fu–Keller’s bijections (with the word ‘reachable’ reinstated) are still valid in this situation. A more detailed discussion of this issue can be found in [42, §6].

7. An extriangulated categorification

In this section we will prove Corollary 1, but first we need to define the extriangulated category appearing in the statement. To keep our discussion brief, and since we only deal with very particular examples, we will not define extriangulated categories fully here, and instead refer the reader to Nakaoka and Palu [40]. The most important piece of data for us will be that of the ‘extension group’ $\mathbb{E}(X,Y)$ for any two objects $X$ and $Y$ in the extriangulated category; in our context, the objects of the category will be the same as those of the exact category $\mathcal{E}_{Q}$, and we will have $\mathbb{E}(X,Y)=\operatorname{Ext}^{1}_{\mathcal{E}_{Q}}(X,Y)$.

Definition 7.1**.**

Let $Q$ be an acyclic quiver, with associated Frobenius category $\mathcal{E}_{Q}=\operatorname{GP}(B_{Q})$ as in Definition 5.3. Write $e^{-}=\sum_{i\in Q_{0}}e_{i}^{-}$, and $P^{-}=B_{Q}e^{-}$. Define $\mathcal{E}^{+}_{Q}=\mathcal{E}_{Q}/[P^{-}]$ to be the quotient of $\mathcal{E}_{Q}$ by the the ideal of morphisms factoring through an object of $\operatorname{add}{P^{-}}$.

Proposition 7.2**.**

The category $\mathcal{E}^{+}_{Q}$ carries the structure of an extriangulated category. Moreover, it is a Frobenius extriangulated category [40, Def. 7.1], and its stable category $\underline{\mathcal{E}}^{+}_{Q}$ coincides with $\underline{\mathcal{E}}_{Q}$, meaning in particular that it is triangulated and $2$-Calabi–Yau.

Proof.

Since $P^{-}$ is a projective-injective object of $\operatorname{GP}(B_{Q})$, the extriangulated structure on $\mathcal{E}_{Q}^{+}$ is induced from the exact structure on $\mathcal{E}_{Q}$ as in [40, Prop. 3.30]. Since the extension groups $\mathbb{E}_{\mathcal{E}^{+}_{Q}}(X,Y)$ in this extriangulated category coincide with the extension groups $\operatorname{Ext}^{1}_{\mathcal{E}_{Q}}(X,Y)$ in the exact category $\mathcal{E}_{Q}$, we see that an object is projective in $\mathcal{E}^{+}_{Q}$ if and only if it is projective in $\mathcal{E}_{Q}$, if and only if it is injective in $\mathcal{E}_{Q}$, if and only if it is injective in $\mathcal{E}^{+}_{Q}$. This agreement of extension groups also allows us to deduce the fact that $\mathcal{E}^{+}_{Q}$ has enough projective and injective objects [40, Def. 3.25] from this fact for $\operatorname{GP}(B_{Q})$, and thus conclude that $\mathcal{E}^{+}_{Q}$ is Frobenius. It also follows from the agreement of projective-injective objects in $\mathcal{E}^{+}_{Q}$ and $\mathcal{E}_{Q}$ that $\underline{\mathcal{E}}^{+}_{Q}=\underline{\mathcal{E}}_{Q}$, the latter being a $2$-Calabi–Yau triangulated category by Corollary 4.15. ∎

Note that if $(Q,W)$ is a Jacobi-finite quiver with potential such that $A_{Q,W}$ is Noetherian and internally Calabi–Yau with respect to $e$ (such as the $3$-cycle with its usual potential), so that we have a stably $2$-Calabi–Yau Frobenius category $\mathcal{E}_{Q,W}$, we can define $\mathcal{E}_{Q,W}^{+}=\mathcal{E}_{Q,W}/[B_{Q,W}e^{-}]$. The statement of Proposition 7.2 also holds for this category, with the same proof.

Proof of Corollary 1.

Statement (a) follows from Proposition 7.2, using Theorem 1(b) to see that $\underline{\mathcal{E}}_{Q}^{+}=\underline{\mathcal{E}}_{Q}$ is equivalent to the cluster category $\mathcal{C}_{Q}$.

To deduce the remaining statements from Theorem 1, first note that

[TABLE]

for any $X$ and $Y$ in the common set of objects of the three categories $\mathcal{E}_{Q}$, $\mathcal{E}^{+}_{Q}$ and $\underline{\mathcal{E}}_{Q}$. This means that a set of representatives of isomorphism classes of cluster-tilting objects in $\mathcal{E}_{Q}$ is also such a set for $\mathcal{E}_{Q}^{+}$ and for $\underline{\mathcal{E}}_{Q}$. Moreover, since $\mathcal{E}^{+}_{Q}$ and $\mathcal{E}_{Q}$ have the same projective-injective objects, a direct summand of one of these cluster-tilting objects is indecomposable non-projective in one of these subcategories if and only if this is the case in all three. Thus two of these cluster-tilting objects are related by mutation at an indecomposable summand in one of the categories if and only if they are related by mutation at the same summand in all three. Consequently, the identity map is a bijection from the set of cluster-tilting objects of $\mathcal{E}_{Q}$ to the set of cluster-tilting objects of $\mathcal{E}^{+}_{Q}$, commuting with mutation. A more detailed discussion of mutation of cluster-tilting objects in extriangulated categories can be found in [15] (see also [54]).

Finally, the indecomposable rigid objects of $\mathcal{E}_{Q}^{+}$ are, up to isomorphism, precisely the indecomposable rigid objects of $\mathcal{E}_{Q}$ which are not summands of $P^{-}$.

It now follows from Theorem 1(c)–(d) that composing Fu–Keller’s cluster character $\operatorname{Ob}(\mathcal{E}_{Q})\to\widetilde{\mathscr{A}}_{Q}$ with the map $\widetilde{\mathscr{A}}_{Q}\to\mathscr{A}_{Q}^{\bullet}$ evaluating the frozen variables $x_{i}^{-}$ at $1$ provides the required bijections. To see Corollary 1(c), note additionally that each seed of $\mathscr{A}_{Q}^{\bullet}$ is obtained from one of $\widetilde{\mathscr{A}}_{Q}$ by removing the frozen variables $x_{i}^{-}$ and deleting the corresponding vertices (together with any incident arrows) from the quiver. Similarly, one obtains the quiver of $\operatorname{End}_{\mathcal{E}_{Q}^{+}}(T)^{\mathrm{op}}$ from that of $\operatorname{End}_{\mathcal{E}_{Q}}(T)^{\mathrm{op}}$ by removing the vertices corresponding to summands of $P^{-}$. ∎

8. Boundary algebras

Since the objects of the Frobenius category $\mathcal{E}_{Q}$ in Theorem 1 are modules for the idempotent subalgebra $B_{Q}=eA_{Q}e$ determined by the frozen vertices of $\widetilde{Q}$, we wish to describe this subalgebra more explicitly. In this section, we will give a presentation of $B_{Q}$ via a quiver with relations.

Recall that the double quiver $\overline{Q}$ of a quiver $Q$ has vertex set $Q_{0}$ and arrows $Q_{1}\cup Q^{*}_{1}$, where $Q^{*}_{1}=\{\alpha^{*}:\alpha\in Q_{1}\}$. The head and tail maps agree with those of $Q$ on $Q_{1}$, and are defined by $h\alpha^{*}=t\alpha$ and $t\alpha^{*}=h\alpha$ on $Q^{*}_{1}$. The complete preprojective algebra of $Q$ is

[TABLE]

and, up to isomorphism, depends only on the underlying graph of $Q$. We begin with the following general statement for frozen Jacobian algebras, which reveals some of the relations of $B_{Q,W}$ for an arbitrary quiver with potential $(Q,W)$.

Proposition 8.1**.**

Let $(Q,F,W)$ be an ice quiver with potential, let $A=J(Q,F,W)$ and let $B=eAe$ be the boundary algebra of $A$. Then there is an algebra homomorphism $\pi\colon\Pi_{F}\to B$ given by $\pi(e_{i})=e_{i}$ for $i\in F_{0}$, and $\pi(\alpha)=\alpha$, $\pi(\alpha^{*})=\partial_{\alpha}{W}$ for $\alpha\in F_{1}$.

Proof.

It suffices to check that $\pi(\sum_{\alpha\in F_{1}}[\alpha,\alpha^{*}])=0$, i.e. that $\sum_{\alpha\in F_{1}}[\alpha,\partial_{\alpha}{W}]=0$. By construction, for any $i\in Q_{0}$ we have

[TABLE]

in $\mathbb{K}\langle\langle Q\rangle\rangle$. Projecting to $A$ and summing over vertices, we see that

[TABLE]

where the final equality holds since $\partial_{\alpha}{W}=0$ in $A$ whenever $\alpha\in Q_{1}^{\circ}$. ∎

Remark 8.2*.*

Familiarity with the constructions of \citesGLS-PFVs,BIRS1,JKS may make it tempting to conjecture that the map $\pi$ in Proposition 8.1 is surjective, at least when $J(Q,F,W)$ is bimodule internally $3$-Calabi–Yau, but this is in fact rarely the case. Indeed, we will see in this section that $\pi$ fails to be surjective for our frozen Jacobian algebras $J(\widetilde{Q},\widetilde{F},\widetilde{W})$ whenever $Q$ is acyclic with a path of length $2$; see Example 8.4 below.

We now turn to our description of $B_{Q}$, beginning with what will turn out to be its Gabriel quiver.

Definition 8.3**.**

Let $Q$ be an acyclic quiver, and consider the frozen subquiver $\widetilde{F}$ of $\widetilde{Q}$, which has vertex set $\widetilde{F}_{0}=\{i^{+},i^{-}:i\in Q_{0}\}$ and arrows

[TABLE]

for each $i\in Q_{0}$ and $a\in Q_{1}$. We define a quiver $\Lambda_{Q}$ by adjoining to $\widetilde{F}$ an arrow

[TABLE]

for each path $p$ of $Q$. Since $Q$ is acyclic, it has finitely many paths, and so $\Lambda_{Q}$ is a finite quiver.

If $p=e_{i}$ is the trivial path at $i\in Q_{0}$, we write $\delta^{*}_{p}=\delta^{*}_{i}$ to avoid a double subscript. The double quiver of $\widetilde{F}$ appears as the subquiver of $\Lambda_{Q}$ obtained by excluding the arrows $\delta^{*}_{p}$ for $p$ of length two or more; the notation for the arrows of $\Lambda_{Q}$ is chosen to be consistent with that used earlier for the arrows of this double quiver.

Example 8.4**.**

Let

[TABLE]

be a linearly oriented quiver of type 3. Then $\Lambda_{Q}$ is the following quiver.

[TABLE]

Definition 8.5**.**

Let $Q$ be a quiver. A zig-zag in $Q$ is a triple $(q,a,p)$, where $p$ and $q$ are paths in $Q$, and $a\in Q_{1}$ is an arrow such that $hp=ha$ and $tq=ta$. Thus if $a\colon v\to w$ is an arrow of $Q$, a zig-zag involving $a$ is some configuration

[TABLE]

where the dotted arrows denote paths. We call the zig-zag strict if $p\neq ap^{\prime}$ for any path $p^{\prime}$ and $q\neq q^{\prime}a$ for any path $q^{\prime}$, but do not exclude these possibilities in general. If $z=(q,a,p)$ is a zig-zag, then we define $hz=hq$ and $tz=tp$.

We now write down elements of $\mathbb{K}\langle\langle\Lambda_{Q}\rangle\rangle$ that will turn out to be a set of generating relations for $B_{Q}$, having three flavours, as follows.

1. (R1)

For each path $p$ of $Q$, let

[TABLE] 2. (R2)

For each path $p$ of $Q$, let

[TABLE] 3. (R3)

For each zig-zag $(q,a,p)$ of $Q$, let

[TABLE]

We write $I$ for the the ideal of $\mathbb{K}\langle\langle\Lambda_{Q}\rangle\rangle$ generated by the union of these three sets of relations. This generating set is usually not minimal, as for certain zig-zags $(q,a,p)$, the relation $r_{3}(q,a,p)$ may already lie in the ideal generated by relations of the form $r_{1}$ and $r_{2}$. For example, if $a\in Q_{1}$ is an arrow such that $i=ta$ is not incident with any other arrows of $Q$, then

[TABLE]

so in $\mathbb{K}\langle\langle\Lambda_{Q}\rangle\rangle/\overline{\langle r_{1}(a),r_{2}(e_{i})\rangle}$ we already have

[TABLE]

One can check that if $(q,a,p)$ is a strict zig-zag, then $r_{3}(q,a,p)$ is not redundant, but this condition is not necessary; if $Q$ is a linearly oriented quiver of type 4 and $a$ is the middle arrow, then the non-strict zig-zag $(a,a,a)$ yields an irredundant relation.

Remark 8.6*.*

When $p=e_{i}$ is a vertex idempotent, the relations $r_{1}(e_{i})$ and $r_{2}(e_{i})$ reduce to the preprojective relations on the double quiver of $\widetilde{F}$, of the form predicted by Proposition 8.1. Each arrow $a\in Q_{1}$ is part of the trivial strict zig-zag $(e_{ta},a,e_{ha})$, and so contributes an irredundant relation $r_{3}(e_{ta},a,e_{ha})=\delta^{*}_{ta}\delta_{a}\delta^{*}_{ha}$.

Let $\Phi\colon\mathbb{K}\langle\langle\Lambda_{Q}\rangle\rangle\to A_{Q}$ be the map given by the identity on the vertices of $\Lambda_{Q}$ and the arrows $\delta_{i}$ and $\delta_{a}$ for $i\in Q_{0}$ and $a\in Q_{1}$; this makes sense as these are subsets of the vertices and arrows of $\widetilde{Q}$. On the remaining arrows $\delta^{*}_{p}$ of $\Lambda_{Q}$, we define $\Phi(\delta^{*}_{p})=\alpha_{hp}p\beta_{tp}$.

Proposition 8.7**.**

The map $\Phi$ above induces a well-defined map $\Phi\colon\mathbb{K}\langle\langle\Lambda_{Q}\rangle\rangle/\overline{I}\to B_{Q}$.

Proof.

Since $\Phi$ sends every vertex or arrow of $\Lambda_{Q}$ to the image in $A_{Q}$ of a path in $\widetilde{Q}$ with frozen head and tail, it takes values in $B_{Q}$. It remains to check that it is zero on each of the generating relations of $I$, which we do by explicit calculation. Let $p$ be a path in $Q$. Then

[TABLE]

If $(q,a,p)$ is a zig-zag, then

[TABLE]

since $0=\partial_{a}{\widetilde{W}}=\partial_{a}{W}-\beta_{ta}\delta_{a}\alpha_{ha}=-\beta_{ta}\delta_{a}\alpha_{ha}$ by acyclicity of $Q$. ∎

Theorem 8.8**.**

Let $Q$ be an acyclic quiver. Then the map $\Phi\colon\mathbb{K}\langle\langle\Lambda_{Q}\rangle\rangle/\overline{I}\to B_{Q}$, where $\Phi$, $\Lambda_{Q}$ and $I$ are all defined as above, is an isomorphism.

Proof.

We begin by showing surjectivity. As in the proof of Theorem 5.2, we may use Lemma 5.1 to see that any path in $\widetilde{Q}$ determining a non-zero element of $A$ has the form $p=q_{1}p^{\prime}q_{2}$ where $q_{1}$ and $q_{2}$ contain no arrows of $Q_{1}$, and $p^{\prime}$ is a path of $Q$. If $p$ has frozen head and tail, then $q_{1}$ and $q_{2}$ must be non-zero, so we even have

[TABLE]

Now $q_{1}^{\prime}$ and $q_{2}^{\prime}$ are, like $p$, paths of $\widetilde{Q}$ with frozen head and tail, but with the additional property that they include no arrows of $Q_{1}$. Let $q$ be such a path. If $q$ contains the arrow $\beta_{i}$ for some $i\in Q_{0}$, then this arrow must have a successor in $q$, since its head is unfrozen. Moreover, this successor must be $\alpha_{i}$, since this is the only arrow outside of $Q_{1}$ that may follow $\beta_{i}$. Similarly, any occurrence of $\alpha_{i}$ in $q$ must be preceded by $\beta_{i}$. It follows that $q$ is either a vertex idempotent $e_{i}^{\pm}=\Phi(e_{i}^{\pm})$, or is formed by composing paths of the form $\delta_{i}=\Phi(\delta_{i})$ for $i\in Q_{0}$, $\delta_{a}=\Phi(\delta_{a})$ for $a\in Q_{1}$, or $\alpha_{i}\beta_{i}=\Phi(\delta^{*}_{i})$ for $i\in Q_{0}$, and so is in the image of $\Phi$. We conclude that the projection to $A_{Q}$ of any path in $\widetilde{Q}$ with frozen head and tail lies in the image of $\Phi$. Since these projections span $B_{Q}$, we see that $\Phi$ is surjective.

From now on, we abbreviate $B=B_{Q}$. To complete the proof, we will use [9, Prop. 3.3], which in this context states that $\Phi$ is an isomorphism if and only if

[TABLE]

and

[TABLE]

are exact sequences for all $i\in Q_{0}$. Here the left-most maps in each sequence are obtained from our generators for the ideal $I$ by right-differentiation (4.7) and the application of $\Phi$, as prescribed in [9], so they act on components by

[TABLE]

Here we have dealt with the ambiguity about which summand contains each term as in Section 4, denoting elements of $\bigoplus_{a\in X}Be_{v(a)}$ by $\sum_{a\in X}x_{a}\otimes[a]$, with $x_{a}\in Be_{v(x)}$ and $x_{a}\otimes[a]$ denoting its inclusion into the summand of $\bigoplus_{a\in X}Be_{v(a)}$ indexed by $a$. We adopt the convention here that the summand $Be_{i}^{-}$ appearing in the middle term of (8.1) is indexed by the vertex $i$.

Since $\Phi$ is well-defined and surjective, sequences (8.1) and (8.2) are complexes and exact at $\operatorname{rad}{Be_{i}^{+}}$ and $\operatorname{rad}{Be_{i}^{-}}$ respectively, so we need only check exactness at the middle term in each case. We proceed as in Section 4, using the explicit set $R$ of relations for $A_{Q}$ from (3.1), and begin with (8.1). Let $x_{i}\in e\mathbb{K}\langle\langle\widetilde{Q}\rangle\rangle e_{i}^{-}$ and $x_{a}\in e\mathbb{K}\langle\langle\widetilde{Q}\rangle\rangle e_{ta}^{-}$ for each $a\in Q_{1}$ with $ha=i$, determining the element

[TABLE]

of the middle term of (8.1). Assume that $x$ is a cycle for this complex, i.e. that

[TABLE]

Since the only generating relation for $A_{Q}$ with terms ending in $\delta_{i}$ or $\delta_{a}$ for $a\in Q_{1}$ with $ha=i$ is $\partial_{\alpha_{i}}{W}$, it follows that in $\mathbb{K}\langle\langle\widetilde{Q}\rangle\rangle$ we have

[TABLE]

for $z_{i},z_{a}\in\overline{\langle R\rangle}$ and $y\in\mathbb{K}\langle\langle\widetilde{Q}\rangle\rangle e_{i}$. Comparing terms, we see that $x_{i}=z_{i}+y\beta_{i}$ and $x_{a}=z_{a}-ya\beta_{ta}$. Since $hx_{i}$ and $hx_{a}$ are frozen, but $h\beta_{j}$ is unfrozen for all $j\in Q_{0}$, we must have

[TABLE]

for some $y_{p}\in Be_{hp}^{+}$. Projecting to $B$, we have

[TABLE]

Thus

[TABLE]

satisfies $f(y)=x$, and so sequence (8.1) is exact.

Now we turn to (8.2). For each path $p$ in $Q$ with $tp=i$, pick $x_{p}\in e\mathbb{K}\langle\langle\widetilde{Q}\rangle\rangle e_{hp}^{+}$, and assume that

[TABLE]

so that

[TABLE]

is a cycle in the middle term of (8.2). By comparison with the generating relations, we see that we may write

[TABLE]

for some $z_{p}\in\overline{\langle R\rangle}$, $y_{p}\in\mathbb{K}\langle\langle\widetilde{Q}\rangle\rangle e_{hp}^{-}$ and $y_{a,p}\in e\mathbb{K}\langle\langle\widetilde{Q}\rangle\rangle e_{ta}$. Each path $p$ in the sum is either the trivial path $e_{i}$ or of the form $p=br$ for some arrow $b$ and path $r$. By comparing terms, we deduce that after projection to $B$ we have

[TABLE]

Since $y_{a,p}\in e\mathbb{K}\langle\langle\widetilde{Q}\rangle\rangle e_{ta}$, we must have

[TABLE]

for some $y_{q,a,p}\in e\mathbb{K}\widetilde{Q}e_{hq}^{+}$. The triple $z=(q,a,p)$ occurring in a subscript here satisfies $ha=hq$ and $ta=tp$, so it is a zig-zag. One may then calculate explicitly using (8.3) that the $y_{p}$ and $y_{z}=y_{q,a,p}$ give a preimage

[TABLE]

of $x$ under $g$. ∎

We close this section with the following curious property of the category $\mathcal{E}_{Q}=\operatorname{GP}(B_{Q})$. Recall that $\operatorname{Sub}(X)$, for $X\in\operatorname{mod}{B_{Q}}$, denotes the full subcategory of $\operatorname{mod}{B_{Q}}$ on objects $M$ admitting a monomorphism $M\to X^{n}$ for some $n$.

Proposition 8.9**.**

Write $P^{+}=\bigoplus_{i\in Q_{0}}B_{Q}e_{k}^{+}$. If $Q$ is acyclic and has no isolated vertices, then $\operatorname{GP}(B_{Q})\subseteq\operatorname{Sub}(P^{+})$.

Proof.

Write $B=B_{Q}$. Since $\operatorname{GP}(B)$ is a Frobenius category with injective objects those in $\operatorname{add}{B}$, it suffices to show that $B\in\operatorname{Sub}(P^{+})$, or that $Be_{i}^{\pm}\in\operatorname{Sub}(P^{+})$ for each $i$. Since this is true of $Be_{i}^{+}$ by definition of $P^{+}$, it remains to show $Be_{i}^{-}\in\operatorname{Sub}(P^{+})$ for each $i\in Q_{0}$. Since $Q$ has no isolated vertices, $i$ cannot be both a source and a sink.

First assume $i$ is not a source in $Q$. Then the map $Be_{i}^{-}\to Be_{i}^{+}$ given by right multiplication by $\delta_{i}$ is injective, as follows. If $x\in Be_{i}^{-}$ satisfies $x\delta_{i}=0$ in $Be_{i}^{+}$, then lifting to $\mathbb{K}\langle\langle\Lambda_{Q}\rangle\rangle$ and using the explicit generating set of $I$, we have

[TABLE]

for some $z\in I$ and $y_{p}\in e\mathbb{K}\langle\langle\Lambda_{Q}\rangle\rangle e_{hp}^{+}$. Since $i$ is not a source, the sum over arrows on the right-hand side is non-empty. By comparing coefficients we see that $y_{p}=0$ for all $p$, and hence $x=z=0$ in $A$.

Now assume $i$ is not a sink. Pick $a\in Q_{1}$ with $ta=i$. Then the map $Be_{i}^{-}\to Be_{ha}^{+}$ given by right multiplication by $\delta_{a}$ is injective as follows. If $x\in Be_{i}^{-}$ satisfies $x\delta_{a}=0$ in $Be_{ha}^{+}$, then lifting to $\mathbb{K}\langle\langle\Lambda_{Q}\rangle\rangle$ and using our explicit relations, we have

[TABLE]

for $z\in I$, and it follows by comparing coefficients that $y_{p}=0$ for all $p$, so $x=0$. ∎

Example 10.2 below shows that we may have $\mathcal{E}_{Q}\subsetneq\operatorname{Sub}(P^{+})$. The assumption on isolated vertices is necessary, since such a vertex $i$ of $Q$ results in a direct summand of $\mathcal{E}_{Q}$ equivalent to $\operatorname{mod}{\Pi}$ for $\Pi$ the preprojective algebra of type 2, with indecomposable objects $S_{i}^{\pm}$ and $P_{i}^{\pm}$, and $S_{i}^{-},P_{i}^{-}\notin\operatorname{Sub}(P^{+})=\operatorname{Sub}(P_{i}^{+})$.

9. g-vectors, indices and dimension vectors

In this section we show how representation theoretic information about the category $\mathcal{E}_{Q}$ from Theorem 1 can be used to recover information about the principal coefficient cluster algebra $\mathscr{A}_{Q}^{\bullet}$. These are not new results (unsurprisingly, since this cluster algebra is very well-studied), but the style of proofs is different and demonstrates how the categorification given here can be used. Our results are also not restricted to the acyclic case, but hold whenever an appropriate Frobenius categorification can be constructed, for example in the context of Corollary 4.15.

Let $(Q,W)$ be a Jacobi-finite quiver with potential such that the frozen Jacobian algebra $A=A_{Q,W}$ is Noetherian; for example, one can take $Q$ to be an acyclic quiver. Then by Corollary 4.15, the category $\mathcal{E}=\operatorname{GP}(eAe)$ is a stably $2$-Calabi–Yau category with a cluster-tilting object $T=eA$, and there are compatible isomorphisms $\operatorname{End}_{\mathcal{E}}(T)^{\mathrm{op}}\cong A$ and $\operatorname{\underline{End}}_{\mathcal{E}}(T)^{\mathrm{op}}\cong J(Q,W)$. We keep the abbreviated notation $A$, $T$ and $\mathcal{E}$ for the rest of the section.

The isomorphism $\operatorname{End}_{\mathcal{E}}(T)^{\mathrm{op}}\cong A$ allows us to write the indecomposable summands of $T$ as $T_{i}$, for $i\in Q_{0}$, where $T_{i}$ corresponds to $Ae_{i}$ under the isomorphism. We write $P_{i}^{\pm}$ instead of $T_{i}^{\pm}$, noting that these are the indecomposable projective-injective objects of $\mathcal{E}$, and write $P^{\pm}=\bigoplus_{i\in Q_{0}}P_{i}^{\pm}$, which is compatible with the notation in Section 8. We abbreviate $F=\operatorname{Hom}_{\mathcal{E}}(T,\mathbin{\char 123\relax})$ and $G=\operatorname{Ext}^{1}_{\mathcal{E}}(T,\mathbin{\char 123\relax})$, these being functors $\mathcal{E}\to\operatorname{mod}{A}$ via the isomorphism $\operatorname{End}_{\mathcal{E}}(T)^{\mathrm{op}}\cong A$. Finally, we write $[M:N]$ for the multiplicity of $N$ as an indecomposable summand of $M$ (for $M$ and $N$ objects in any category in which this makes sense).

Lemma 9.1**.**

Let $X\in\mathcal{E}$. Then the minimal projective resolution

[TABLE]

of $GX$ has the property that, for each $j\in Q_{0}$,

[TABLE]

Proof.

Note that $eGX=\operatorname{Ext}^{1}_{\mathcal{E}}(P^{+}\oplus P^{-},X)=0$, so the composition series of $GX$ includes only the simple modules $S_{i}$ for $i\in Q_{0}$ a mutable vertex. In this case, the sequence (4.5), which is exact by Propositions 4.10 and 4.12, is a projective resolution of the simple $A$-module $S_{i}$. We write this resolution as

[TABLE]

for projective $A$-modules $P_{i}^{k}$ which can be described explicitly using (4.6). In particular, one sees using this description that the only appearances of the projective $A$-modules $Ae_{j}^{\pm}$ in (9.2) are one copy of $Ae_{i}^{+}$ in $P_{i}^{1}$, and one copy of $Ae_{i}^{-}$ in $P_{i}^{2}$.

By the horseshoe lemma, we can thus construct a (possibly non-minimal) projective resolution of $GX$ in which the degree $k$ term $\hat{P}^{k}$ is a direct sum of the $P_{i}^{k}$ over composition factors $S_{i}$ of $GX$. As a consequence, this resolution includes $\dim_{\mathbb{K}}(e_{j}GX)$ copies of $Ae_{j}^{+}$, all summands of $\hat{P}^{1}$, and $\dim_{\mathbb{K}}(e_{j}GX)$ copies of $Ae_{j}^{-}$, all summands of $\hat{P}^{2}$. Since each $Ae_{j}^{\pm}$ appears in only one homological degree in this resolution, it cannot be part of an acyclic summand, and so it appears with the same multiplicity and degree in the minimal projective resolution (9.1) of $GX$, as required. ∎

Recall that any $X\in\mathcal{E}$ fits into an exact sequence

[TABLE]

with $K_{X},R_{X}\in\operatorname{add}{T}$. Indeed, this holds for any Frobenius cluster category and cluster-tilting object, and the choice of sequence (9.3) is equivalent to the choice of the map $R_{X}\to X$, subject to the condition that this map is a right $\operatorname{add}{T}$-approximation. Dually, $X$ fits into an exact sequence

[TABLE]

with $L_{X},C_{X}\in\operatorname{add}{T}$, with the choice of sequence being equivalent to the choice of left $\operatorname{add}{T}$-approximation $X\to L_{X}$. We say the sequence (9.3) is minimal if the map $R_{X}\to X$ is a minimal right $\operatorname{add}{T}$-approximation of $X$, or equivalently if no non-zero component of the map $K_{X}\to R_{X}$ is an isomorphism, and define minimality for (9.4) dually.

Lemma 9.2**.**

For any $X\in\mathcal{E}$, choose minimal sequences of the form (9.3) and (9.4), and let $i\in Q_{0}$. Then

[TABLE]

Proof.

The first line of equalities follows immediately from minimality, using that $P_{i}^{\pm}$ is projective-injective. For the remaining equalities, recall that $F$ restricts to an equivalence $\operatorname{add}{T}\stackrel{{\scriptstyle\sim}}{{\to}}\operatorname{proj}{A}$ by the Yoneda lemma. Applying $F$ to (9.3) yields the exact sequence

[TABLE]

which is a projective resolution of $FX$. Applying $F$ to (9.3) yields

[TABLE]

and taking the cup product with (9.5) yields

[TABLE]

which is a projective resolution of $GX$. Furthermore, since the $\operatorname{add}{T}$-approximations $R_{X}\to X$ and $X\to L_{X}$ were chosen to be minimal, the projective resolutions (9.5) and (9.6) are also minimal. Noting that $[R_{X}:P_{i}^{\pm}]=[FR_{X}:FP_{i}^{\pm}]$ and $[L_{X}:P_{i}^{\pm}]=[FL_{X}:FP_{i}^{\pm}]$, and that $FP_{i}^{\pm}=Ae_{i}^{\pm}$ by Corollary 4.15, the result follows from Lemma 9.1. ∎

These observations will allow us to compute the g-vectors of any cluster algebra arising from a seed with principal part $Q$ in terms of in terms of the category $\mathcal{E}=\mathcal{E}_{Q}$. We define g-vectors via a grading on the principal coefficient cluster algebra $\mathscr{A}_{Q}^{\bullet}$, as in [20, §6]. Write the initial cluster variables of this cluster algebra as $x_{i}$ and $x_{i}^{+}$ for $i\in Q_{0}$, where the $x_{i}^{+}$ are frozen. We then give these variables $\mathbb{Z}^{Q_{0}}$-degrees

[TABLE]

where $\varepsilon_{i}$ is the $i$-th standard basis vector (named to avoid confusion with idempotents) and $b_{i}$ is the $i$-th row of the exchange matrix $b$ of $Q$. We extend this to the initial cluster variables of $\widetilde{\mathscr{A}}_{Q}$ by setting $\deg{x_{i}^{-}}=0$. This assignment puts a grading on the Laurent polynomial ring in variables $x_{i}$, $x_{i}^{+}$ and $x_{i}^{-}$, and thus on its subalgebra $\widetilde{\mathscr{A}}_{Q}$; note that the specialisation $x_{i}^{-}=1$, which restricts to a map $\widetilde{\mathscr{A}}_{Q}\to\mathscr{A}_{Q}^{\bullet}$, preserves degrees. We refer to the degree of any homogeneous element of the Laurent polynomial ring in $x_{i}$ and $x_{i}^{+}$ as the g-vector of the element.

All cluster variables of $\widetilde{\mathscr{A}}_{Q}$ are homogeneous in the above grading; by work of Grabowski [26, Prop. 3.2], this follows from the matrix identity

[TABLE]

where $1_{n}$ is the $n\times n$ identity matrix and $0_{n}$ is the $n\times n$ zero matrix, by observing that the first matrix in the product is the transposed exchange matrix of the initial seed of $\widetilde{\mathscr{A}}_{Q}$, and the second has rows given by the degrees of the cluster variables in this seed. Thus the cluster variables of $\mathscr{A}_{Q}^{\bullet}$ are also homogeneous and hence have well-defined g-vectors.

Given any seed $s$ with principal part $Q$, the mutable cluster variables of $\mathscr{A}_{Q}^{\bullet}$ are in natural bijection with those of the cluster algebra $\mathscr{A}_{s}$ with initial seed $s$, and so we define the g-vector of a cluster variable in $\mathscr{A}_{s}$ to be the g-vector of the corresponding cluster variable in $\mathscr{A}_{Q}^{\bullet}$. This applies in particular to the coefficient-free cluster algebra $\mathscr{A}_{Q}$.

The main results of this section involve the Fu–Keller cluster character $\varphi^{T}$ as in [21] and Section 6. While we are only assuming that $A=\operatorname{End}_{\mathcal{E}}(T)^{\mathrm{op}}$ is Noetherian, and not necessarily finite-dimensional, this is sufficient for the cluster character to be well-defined (cf. [27, §3] and [42, §6]).

Theorem 9.3**.**

Assume that $A=A_{Q,W}$ is Noetherian and consider the corresponding Frobenius category $\mathcal{E}=\mathcal{E}_{Q,W}$ and cluster-tilting object $T=eA$. Let $X\in\mathcal{E}$, and choose a minimal short exact sequence of the form (9.3). Write

[TABLE]

where $P\in\mathcal{E}$ is projective and $T_{i}=eAe_{i}$. Then $\varphi^{T}(X)$ is homogeneous, and its g-vector is $\sum_{i\in Q_{0}}(r_{i}-k_{i})\varepsilon_{i}$.

Proof.

We first observe that $K_{X}$ has no projective summands, since this would violate minimality, and so $R_{X}$ and $K_{X}$ have expressions of the required form. The element

[TABLE]

where $S_{j}$ denotes the simple $A$-module at vertex $j\in\widetilde{Q}_{0}$, is a grading of $\mathcal{E}$ in the sense of [27, Def. 3.7]; this follows again from the matrix identity (9.7), as in [27, Rem. 3.9(ii)]. We write this grading of $\mathcal{E}$ as $\deg_{G}$. It then follows from [27, Prop. 3.11(i)] that $\varphi^{T}(X)$ is homogeneous and its g-vector is equal to $\deg_{G}(X)$.

Now by [27, Prop. 3.11(ii)], we have

[TABLE]

By construction, we have

[TABLE]

so that

[TABLE]

But by Lemma 9.2, we have $P\in\operatorname{add}{P^{-}}$, so $\deg_{G}(P)=0$ and the result follows. ∎

Remark 9.4*.*

The quantity $\sum_{i\in Q_{0}}(r_{i}-k_{i})\varepsilon_{i}$ is by definition (cf. [41, §2.1]) the index of $X$ with respect to $T$. Thus Theorem 9.3 recovers the well-known result [21, Prop. 4.3] that the g-vector is categorified by the index, at least for those cluster algebras admitting appropriate additive categorifications (e.g. those defined by acyclic quivers).

We may use similar methods to show how the cluster character $\varphi^{T}$ on $\mathcal{E}$ may be computed solely in terms of the representation theory of the stable category $\underline{\mathcal{E}}$, and of the finite-dimensional algebra $J(Q,W)$. This is the first point at which we use an explicit formula for $\varphi^{T}$, and so we recall this from [21].

Recall that we are assuming $\operatorname{End}_{\mathcal{E}}(T)^{\mathrm{op}}\cong A=A_{Q,W}$ is Noetherian. A consequence of Theorem 4.14 is that $\operatorname{gl.dim}{A}\leqslant 3$, and so the Euler form

[TABLE]

is well-defined when $M\in\operatorname{mod}{A}$ is finitely generated and $N\in\operatorname{mod}{A}$ is finite-dimensional. Since $A$ has finite global dimension, the value of $\langle M,N\rangle$ depends only on the dimension vector of the finite-dimensional module $N$ by the horseshoe lemma, and so we may write $\langle M,d\rangle:=\langle M,N\rangle$ for an arbitrary $A$-module $N$ with dimension vector $d\in\mathbb{Z}^{\widetilde{Q}_{0}}$. Theorem 4.14 also implies that $\langle M,N\rangle=-\langle N,M\rangle$ if both modules are finite-dimensional and $eN=0$, so we may analogously define $\langle d,M\rangle$ for $d\in\mathbb{Z}^{\widetilde{Q}_{0}}$ supported only on the set $Q_{0}$ of mutable vertices and $M$ a finite-dimensional $A$-module.

Recall further that we write $F=\operatorname{Hom}(T,\mathbin{\char 123\relax})$ and $G=\operatorname{Ext}^{1}(T,\mathbin{\char 123\relax})$. Now Fu–Keller’s cluster character for $X\in\mathcal{E}$ can be written

[TABLE]

with notation as follows. The vector $\hat{g}_{X}\in\mathbb{Z}^{\widetilde{Q}_{0}}$ has $i$-th coordinate $\langle FX,S_{i}\rangle$, where $FX=\operatorname{Hom}_{\mathcal{E}}(T,X)$ as above and $S_{i}$ denotes the simple $A$-module at vertex $i\in\widetilde{Q}_{0}$. Similarly, the vector $\hat{v}_{d}\in\mathbb{Z}^{\widetilde{Q}_{0}}$ has $i$-th coordinate $\langle d,S_{i}\rangle=-\langle S_{i},d\rangle$. We use the standard monomial notation $x^{u}:=\prod_{i\in\widetilde{Q}_{0}}x_{i}^{u_{i}}$ for $u\in\mathbb{Z}^{\widetilde{Q}_{0}}$. Finally, $\lambda_{d}\in\mathbb{Z}$ is the Euler characteristic of the quiver Grassmannian of $d$-dimensional submodules of the $A$-module $GX=\operatorname{Ext}^{1}_{\mathcal{E}}(T,X)$. Note that $GX$ is a finite-dimensional $\operatorname{\underline{End}}_{\mathcal{E}}(T)^{\mathrm{op}}\cong J(Q,W)$-module, hence the restriction to $d\in\mathbb{Z}^{Q_{0}}$ in the summation. Thus $\lambda_{d}$ can be non-zero only for the finite set of $d\in\mathbb{Z}^{Q_{0}}$ satisfying $0\leqslant d\leqslant\operatorname{\underline{dim}}{GX}$ coordinate-wise.

For each $X\in\mathcal{E}$ and $d\in\mathbb{Z}^{\widetilde{Q}_{0}}$, let $g_{X},v_{d}\in\mathbb{Z}^{Q_{0}}$ be the restrictions of $\hat{g}_{X}$ and $\hat{v}_{d}$ respectively to the mutable vertices $Q_{0}$. Further, write

[TABLE]

By [21, Thm. 3.3(b)], this function coincides with Palu’s cluster character [41] for the stable category $\underline{\mathcal{E}}$, evaluated on the shifted object $\Sigma X$. Consequently, the data of $g_{X}$, $v_{d}$ and $\lambda_{d}$ may be computed entirely from $\underline{\mathcal{E}}$ and the algebra $J(Q,W)$.

The next result shows that this is in fact also true of the extended vectors $\hat{g}_{X}$ and $\hat{v}_{d}$, and hence of the cluster character $\varphi^{T}(X)$. To state it, we extend our monomial notation to write $(x^{+})^{u}=\prod_{i\in Q_{0}}(x_{i}^{+})^{u_{i}}$ when $u\in\mathbb{Z}^{Q_{0}}$, and define $(x^{-})^{u}$ similarly. We treat $\mathbb{Z}^{Q_{0}}$ as a subset of $\mathbb{Z}^{\widetilde{Q}_{0}}$ in the natural way, so that a monomial $x^{u}$ for $u\in\mathbb{Z}^{Q_{0}}$ lies in the same ring as a monomial $x^{v}$ for $v\in\mathbb{Z}^{\widetilde{Q}_{0}}$ (cf. (9.11) below, for example).

Theorem 9.5**.**

Assume $A_{Q,W}$ is Noetherian, and let $\mathcal{E}=\mathcal{E}_{Q,W}$ with cluster-tilting object $T=eA_{Q,W}$. Then for any $X\in\mathcal{E}$, the cluster character of $X$ with respect to $T$ is

[TABLE]

for $g_{X}$, $v_{d}$ and $\lambda_{d}$ as above.

Proof.

Bearing in mind the identity (9.9), cf. [21, Thm. 3.3(b)], it is sufficient to compute the power of $x_{i}^{\pm}$ appearing in each term of the formula (9.8) for $\varphi^{T}(X)$.

First we deal with the leading term $x^{\hat{g}_{X}}$. For $i\in Q_{0}$, the $i^{\pm}$-component of $\hat{g}_{X}$ is by definition $\langle FX,S_{i}^{\pm}\rangle$. This can be computed using the projective resolution (9.5) of $FX$, which shows that

[TABLE]

for $R_{X},K_{X}\in\operatorname{add}{T}$ as in (9.3); the second equality uses that $\dim\operatorname{Hom}_{A}(FR_{X},S_{i}^{\pm})$ counts the multiplicity of the projective $FP_{i}^{\pm}$ as a summand of the projective $FR_{X}$ (and similarly for $K_{X}$), and also the Yoneda lemma as in the proof of Lemma 9.2. We may then use this lemma to see that

[TABLE]

so that

[TABLE]

We calculate $x^{\hat{v}_{d}}$, for $d\in\mathbb{Z}^{\widetilde{Q}_{0}}$, similarly. The $i^{\pm}$-component is

[TABLE]

Now, arguing as for $\hat{g}_{X}$, we may use (9.2) to compute that

[TABLE]

It then follows that

[TABLE]

and we obtain the desired result by substituting (9.11) and (9.12) back into (9.8). ∎

Remark 9.6*.*

Using the interpretation of $\lambda_{d}$ as the Euler characteristic of a quiver Grassmannian, the non-zero terms of the sum in (9.10) are indexed by (dimension vectors of) submodules of the $J(Q,W)$-module $GX$. In the term indexed by such a submodule $N$, the exponent of $x^{+}$ is $\operatorname{\underline{dim}}(N)$, and that of $x^{-}$ is $\operatorname{\underline{dim}}(GX/N)$.

Corollary 9.7**.**

The bijection between rigid indecomposable objects of $\mathcal{E}_{Q}^{+}$ and cluster variables of the principal coefficient cluster algebra $\mathscr{A}_{Q}^{\bullet}$, as in Corollary 1(b), is given by $X\mapsto\varphi^{T}_{+}(X)$ where

[TABLE]

Proof.

As in the proof of Corollary 1, the bijection is given by specialising Fu–Keller’s cluster character on $\mathcal{E}_{Q}$ (where $X$ is also an object) at $x_{i}^{-}=1$ for all $i\in Q_{0}$. The result is then immediate from Theorem 9.5. ∎

Remark 9.8*.*

The right-hand side of (9.10) is precisely the ‘cluster character with coefficients’ considered by Borges and Pierin [5, Defn. 3.1] for the cluster category of a Dynkin quiver. As a consequence, their expression satisfies the cluster character multiplication formula (see e.g. [13, Thm. 2]), even after extending the setting to cluster categories of arbitrary acyclic quivers.

10. Examples

Example 10.1**.**

Let $Q$ be an 2 quiver, so, as computed in Example 3.2,

[TABLE]

and $\widetilde{W}=\beta_{1}\delta_{1}\alpha_{1}+\beta_{2}\delta_{2}\alpha_{2}-a\beta_{1}\delta_{a}\alpha_{2}$. Then $A_{Q}=J(\widetilde{Q},\widetilde{F},\widetilde{W})$, and its boundary algebra is $B_{Q}\cong\mathbb{K}\langle\langle\Lambda_{Q}\rangle\rangle/\overline{I}$ for

[TABLE]

and $I=\langle\alpha^{*}\alpha,\ \alpha\alpha^{*}-\beta^{*}\beta,\ \beta\beta^{*}-\gamma^{*}\gamma,\ \gamma\gamma^{*},\ \beta\alpha,\ \gamma\beta,\ \alpha^{*}\beta^{*}\gamma^{*}\rangle$. Here we have relabelled the vertices by identifying the ordered sets $(1^{+},1^{-},2^{+},2^{-})$ and $(1,2,3,4)$. The Auslander–Reiten quiver of $\operatorname{GP}(B)$ is shown in Figure 1, where we identify the left and right sides of the picture so that the quiver is drawn on a Möbius band.

To calculate the objects of $\operatorname{GP}(B_{Q})$ it is useful to observe that, in this example, $B_{Q}$ is $1$-Iwanaga–Gorenstein, and so $\operatorname{GP}(B_{Q})=\operatorname{Sub}(B_{Q})$. The stable category $\operatorname{\underline{GP}}(B_{Q})$ is the cluster category of type 2, as expected. The cluster tilting object

[TABLE]

of $\operatorname{GP}(B_{Q})$ has endomorphism algebra $A_{Q}$, and corresponds to the initial seed of the cluster algebra with polarised principal coefficients associated to our initial 2 quiver $Q$.

Example 10.2**.**

Let $Q$ be a linearly oriented quiver of type $\mathsf{A}_{3}$. We may then compute

[TABLE]

Relabelling vertices similarly to Example 10.1, the boundary algebra $B_{Q}$ has quiver

[TABLE]

as computed before in Example 8.4. Explicit relations can be written down as in Section 8, but here we will simply give radical filtrations for the projective modules. Note that despite the ‘geographical’ separation of $2$ and $5$ in these filtrations, the arrow $2\to 5$ always acts as a vector space isomorphism from the $1$-dimensional subspace of $e_{2}B_{Q}$ indicated by a $2$ in the filtration to the $1$-dimensional subspace of $e_{5}B_{Q}$ indicated by a $5$ in the row below, when this configuration occurs.

[TABLE]

In this case the Gorenstein dimension of $B_{Q}$ is $2$; the indecomposable projective $P_{2}$ has injective dimension $2$, while all others have injective dimension $1$. The Auslander–Reiten quiver of $\operatorname{GP}(B_{Q})$ is shown, again on a Möbius band, in Figure 2.

The initial cluster tilting object from Corollary 4.15 is

[TABLE]

Example 10.3**.**

Applying our construction to the quiver with potential $(Q,W)$ from Example 3.3 in which $Q$ is a $3$-cycle (which we may do, since while $A$ is not finite-dimensional in this case, it is still Noetherian) yields, as observed in Example 3.3, the Grassmannian cluster category for the Grassmannian $\mathrm{Gr}_{2}^{6}$ [32]. This is a Hom-infinite category, and the Gorenstein projective $B$-modules are all infinite-dimensional. Representing these modules by Plücker labels as in [32], the Auslander–Reiten quiver of $\operatorname{GP}(B_{Q,W})$ is shown, on the now familiar Möbius band, in Figure 3.

In this case, the quiver of the endomorphism algebra of the object

[TABLE]

is $\widetilde{Q}$, as is the quiver of the (isomorphic) endomorphism algebra of $24\mathbin{\oplus}26\mathbin{\oplus}46\mathbin{\oplus}B_{Q,W}$. We note that the stable category $\operatorname{\underline{GP}}(B_{Q,W})$ is equivalent to the cluster category $\mathcal{C}_{Q,W}\simeq\mathcal{C}_{Q^{\prime}}$ where $Q^{\prime}$ is any orientation of the Dynkin diagram 3. Thus all of the conclusions of Theorem 1 (replacing $\mathcal{E}_{Q}$ by $\mathcal{E}_{Q,W}$ and $\mathcal{C}_{Q}$ by $\mathcal{C}_{Q,W}$) still hold in this case, despite the failure of acyclicity.

Acknowledgements

We thank Mikhail Gorsky, Alfredo Nájera Chávez, Hiroyuki Nakaoka, Yann Palu and Salvatore Stella for useful conversations and for providing references. We are particularly grateful to Bernhard Keller for pointing out the role of pseudocompactness in the results of Section 4, and also thank the anonymous referee for suggesting various improvements.

Financial support during the initial writing of the paper was provided by the Max-Planck-Gesellschaft. The paper was revised during a stay at the Isaac Newton Institute for Mathematical Sciences, Cambridge, supported by EPSRC grant EP/R014604/1, during the programme Representation theory and cluster algebras, and we thank the institute for their support and hospitality. The author was further supported by the EPSRC postdoctoral fellowship grant EP/T001771/1 during this period.