\documentclass[11pt,a4paper]{article} \usepackage[margin=25mm]{geometry} \usepackage{amsmath,amssymb,amsthm,mathtools} \usepackage[T1]{fontenc} \usepackage{lmodern} \usepackage{indentfirst} \usepackage{xcolor} \numberwithin{equation}{section} \usepackage[hyperfootnotes=false]{hyperref} \hypersetup{colorlinks=true,linkcolor=blue,urlcolor=blue,citecolor=blue} \usepackage{enumitem} \setlist{nosep} \pagestyle{plain} \newtheorem{theorem}{Theorem}[section] \newtheorem{proposition}[theorem]{Proposition} \newtheorem{lemma}[theorem]{Lemma} \newtheorem{corollary}[theorem]{Corollary} \theoremstyle{remark}\newtheorem{remark}[theorem]{Remark} \newcommand{\Lef}{\mathcal L} \newcommand{\E}{\mathbb E} \newcommand{\IH}{\operatorname{IH}} \newcommand{\BPS}{\operatorname{BPS}} \newcommand{\Sym}{\operatorname{Sym}} \newcommand{\sgn}{\operatorname{sgn}} \newcommand{\ch}{\operatorname{ch}} \newcommand{\vir}{\mathrm{vir}} \newcommand{\GL}{\operatorname{GL}} \newcommand{\Hom}{\operatorname{Hom}} \newcommand{\Rep}{\operatorname{Rep}} \newcommand{\Gr}{\operatorname{Gr}} \newcommand{\Q}{\mathbb Q} \newcommand{\C}{\mathbb C} \newcommand{\sltoo}{\mathfrak{sl}_2} \title{Lefschetz coefficients of quantum theta functions} \author{Qiyue Tang} \date{} \begin{document} \maketitle \begingroup\renewcommand\thefootnote{}\footnotetext{\textit{2020 Mathematics Subject Classification.} Primary 13F60; Secondary 16G20, 14F43.\newline \textit{Keywords.} Quantum theta functions, scattering diagrams, quiver moduli, intersection cohomology.}\endgroup \begin{abstract} We prove that the coefficients of quantum theta functions in the skew-symmetric setting are characters of finite-dimensional $\mathfrak{sl}_2$ representations. This proves Conjectures 1.4, 2.17 and 3.13 of Davison--Mandel and the two-wall conjecture stated as Conjecture 3.12 in Davison's ICM 2026 survey. \end{abstract} \begingroup \color{blue} \section*{AI use and scholarly credit} The results and original proof arguments of this paper were generated using GPT-6-Pro in conversational mode. Codex was used to review the arguments and refine the exposition. Rethlas-OSV, combining Rethlas \cite{Rethlas} with OSVerify \cite{OSVerify}, was also used to review the arguments. By posting this manuscript on this platform, I do not seek to assert ownership of the results or claim priority. I welcome anyone interested in preparing a finished account or checking the arguments; the eventual scholarly credit should go to those who undertake that work. \par \endgroup \section{Introduction} Fomin and Zelevinsky introduced cluster algebras in connection with total positivity and canonical bases \cite{FZ}. A seed specifies a set of algebraically independent cluster variables and exchange data; mutation replaces one variable by a rational expression prescribed by those data. The Laurent phenomenon puts every cluster variable in the Laurent ring of every seed. A cluster monomial is a product of variables from one cluster with nonnegative integer exponents. The basis problem asks for distinguished elements extending these monomials and compatible with all seed expansions. Positivity of an individual expansion and positivity of multiplication in such a basis are separate requirements. Fock and Goncharov placed this problem in the geometry of cluster ensembles \cite{FG}. The associated $\mathcal A$- and $\mathcal X$-spaces are assembled from algebraic tori by mutation maps. Their duality conjectures relate regular functions on one space to integral tropical points of a dual space. In seed coordinates, these tropical points are integer vectors, and mutation changes their coordinates by piecewise linear maps. This gives a candidate indexing set independent of a single cluster. It also connects positive functions with the geometry of the tropical space. Theta functions arose geometrically in the mirror construction of Gross, Hacking and Keel for log Calabi--Yau surfaces \cite{GHK}. The input there is a surface with an anticanonical boundary cycle. Curve counts determine corrections to the gluing of local models of its mirror, and the mirror algebra is equipped with distinguished functions. Scattering diagrams organize these corrections: a wall carries an automorphism, and consistency requires that their ordered product around a closed path be the identity. A broken line carries a monomial along a piecewise linear path and changes it by a term of the wall automorphism at each bend. Summing its terminal monomials constructs a theta function. The endpoint determines the chart in which the function is expressed, while its initial integral direction determines its index. Gross, Hacking, Keel and Kontsevich applied this construction to cluster varieties \cite{GHKK}. Their formal theta functions are indexed by integral tropical points and include the cluster monomials. Broken-line counts give positive expansions and multiplication coefficients. Regularity requires a further distinction. The theta functions with finite expansions define the middle algebra; the upper cluster algebra is the intersection of the Laurent rings of the seed tori. Theorem 0.3 of \cite{GHKK} gives the canonical map from the middle algebra to the upper algebra, injective for principal-coefficient $\mathcal A$-spaces and for $\mathcal X$-spaces, and under the stated cone condition for $\mathcal A$-spaces. Its image contains the algebra generated by global monomials. The convexity results of their Section 8 give hypotheses for full canonical-basis statements. Thus the formal construction, the middle algebra, and identification with all regular functions have distinct roles in the theory. Berenstein and Zelevinsky introduced quantum cluster algebras using compatible skew forms and quantum seeds \cite{BZ}. Their seed tori have noncommuting monomials, so the coefficients of a quantum basis retain a Laurent parameter. Mandel developed quantum theta functions and their relation to refined tropical curve counts \cite{Mandel}. Davison and Mandel established strong positivity for the resulting theta bases in the skew-symmetric setting \cite{DMTheta}. Their construction extends quantum cluster monomials, specializes to the classical theta functions, and has nonnegative Laurent multiplication coefficients. They also prove bar-invariance. The scattering atlas is the collection of charts obtained from generic endpoints in the scattering diagram. An element whose expansion in every such chart has nonnegative Laurent polynomial coefficients has a theta expansion with nonnegative Laurent polynomial coefficients, as shown by the coefficient-extraction argument in the proof of \cite[Theorem 3.16]{DMTheta}. The Lefschetz property refines positivity and bar-invariance. For an integer $r\geq1$, put \[ [r]_t=t^{r-1}+t^{r-3}+\cdots+t^{1-r}, \] \[ \Lef=\left\{\sum_{r\geq1}m_r[r]_t: m_r\in\mathbb N,\ m_r=0\text{ for all but finitely many }r\right\}, \] where $t$ is the quantum parameter and $\mathbb N=\{0,1,2,\ldots\}$. These are exactly the weight characters of finite-dimensional $\mathfrak{sl}_2$ representations, where $\mathfrak{sl}_2$ is the Lie algebra of traceless $2\times2$ matrices. For example, $t^2+1+t^{-2}$ belongs to $\Lef$, whereas the nonnegative symmetric polynomial $t^2+t^{-2}$ does not. Davison's cohomological approach proves a Lefschetz refinement for quantum cluster variables \cite{DavisonPos}. Davison--Mandel's Theorem 1.5 establishes the theta-function assertion for acyclic seeds. Their Conjecture 1.4 asks for it for every theta index and every generic scattering chart. We prove this assertion. More generally, scattering diagrams with incoming labels in $\Lef$ admit completions with labels in $\Lef$, and every coefficient in every broken-line expansion belongs to $\Lef$. These statements prove Conjectures 2.17 and 3.13 of \cite{DMTheta}, respectively, and imply Conjecture 1.4. The two-wall factorization at the end of their Section 7.3 is also the conjecture stated in signed Donaldson--Thomas notation in Davison's ICM 2026 survey \cite[Conjecture 3.12]{DavisonICM}. Corollary~\ref{cor:icm} gives the parameter and order comparison. The issue is already visible at a single joint of a scattering diagram. For unit incoming labels, acyclic quiver moduli provide the required Lefschetz operators. Arbitrary quantum-integer labels require a construction compatible with both input gradings. We retain independent colors on each incoming wall and identify every coefficient in the two Schur bases with a multiplicity space in the intersection cohomology of a projective thin bipartite quiver moduli space. Here ``thin'' means that every vertex space has dimension one. A finite-group-invariant ample class then supplies the Lefschetz operator on each multiplicity space. The geometric comparison adds an independent loop and an invariant full flag on each of the two sides. The resulting proper smooth family over ordered spectra compares vertex permutations on thin moduli with block Springer actions on colored moduli, using the sign-support result of \cite{FYZ}. The identification of zero-potential BPS cohomology with intersection cohomology comes from \cite{MR,DMCoHA}. The one-sided source-color construction in \cite{Tang} is a precursor of this comparison. The present proof uses both sides and recovers the primitive BPS representations from the relative cohomological Poincar\'e--Birkhoff--Witt (PBW) theorem of Davison and Meinhardt \cite{DMCoHA}. Its Euler-form exchange sign is canceled by the two permutation signs. Super Schur evaluation subsequently allows arbitrary Lefschetz input characters, including direct sums of both parities. The universal formula is Theorem~\ref{thm:main}; its proof occupies Sections~\ref{sec:colors}--\ref{sec:lefschetz}. Theorems~\ref{thm:scattering} and~\ref{thm:theta} give the scattering and theta assertions, and Corollary~\ref{cor:icm} identifies the ICM formulation. Section~\ref{sec:acyclic} extends the color formula to arbitrary finite acyclic quivers at a slope on which the Euler form is symmetric. \section{The universal two-wall formula}\label{sec:universal} We use the cone $\Lef$ defined in the introduction. Let $W_r$ be the irreducible $r$-dimensional $\sltoo$ representation, graded by the eigenvalues $r-1,r-3,\ldots,1-r$ of its Cartan element. Quiver representations and varieties are over $\C$. Cohomology and finite-group representations have rational coefficients; extension of scalars to $\C$ is understood in the color evaluations below. Throughout, $\IH^j(N)$ denotes \emph{unshifted} intersection cohomology. Thus a class in $\IH^j(N)$ has degree $j-D$ in $\IH(N)[D]$. For a graded space $V$ we use $\chi_t(V)=\sum_j\dim(V^j)t^j$, the ordinary dimension character. More generally, $(V[D])^j=V^{j+D}$ defines the shift of a graded space. For an alphabet $U=(u_1,u_2,\ldots)$, let $\Lambda(U)$ be the ring of symmetric functions over $\Q$, with $p_m(U)=\sum_i u_i^m$ the power sums. For $a\geq0$, let $S_a$ be the symmetric group on $a$ letters, with $S_0$ trivial. A partition $\lambda\vdash a$ is a weakly decreasing sequence of positive integers with sum $a$, with the empty sequence allowed for $a=0$; $S^\lambda$ denotes the corresponding rational irreducible representation of $S_a$, and $s_\lambda$ its Schur function. The transpose partition is denoted $\lambda'$, and $\ell(\lambda)$ is the number of its parts. In a finite alphabet with fewer than $\ell(\lambda)$ variables, $s_\lambda$ is zero. The symbol $\boxtimes$ denotes the external tensor product of representations of different groups, and $\sgn_a$ the one-dimensional sign representation of $S_a$. We write $R^G$ for the subspace fixed by a group $G$ acting on $R$. For a graded representation $R$ of $S_a\times S_b$, the space $\Hom_{S_a\times S_b}(S^\lambda\boxtimes S^\mu,R)$ is graded by the target degree and records the multiplicity of that irreducible representation. Fix an integer $k\geq1$. The quantum torus has a basis $Z^{a,b}$ indexed by $(a,b)\in\mathbb Z^2$ and multiplication \[ Z^{a,b}Z^{c,d}=t^{k(ad-bc)}Z^{a+c,b+d}. \] Write $X=Z^{1,0}$ and $Y=Z^{0,1}$. We use its formal power-series completion in nonnegative $(a,b)$, with coefficients in $\Q(t)\otimes\Lambda(U)\otimes\Lambda(V)$; identities are interpreted at each finite total degree $a+b$. For integers $m,j\geq1$, the coefficient ring carries the algebra endomorphisms \[ \psi_m(t)=(-1)^{m+1}t^m,\qquad \psi_m(p_j(U))=p_{mj}(U),\qquad \psi_m(p_j(V))=p_{mj}(V). \] These are the Adams operations; the two alphabets initially have even variables, meaning parity zero. For $d=(d_1,d_2)\in\mathbb N^2\setminus\{0\}$, write $Z^d=Z^{d_1,d_2}$. For a coefficient $P$ in the stated ring, the Davison--Mandel dilogarithm on this ray is \begin{equation} \E(-PZ^d)= \exp\!\left(\sum_{m\geq1} \frac{(-1)^{m+1}\psi_m(P)}{m(t^m-t^{-m})}Z^{md}\right). \label{eq:1.1} \end{equation} The sign in the argument is additive: $\E(PZ^d)$ is the inverse of $\E(-PZ^d)$. This convention has first coefficient $P/(t-t^{-1})$ in $\E(-PZ^d)$. Define $P_{a,b;k}(t;U,V)$ by the unique ordered factorization \begin{equation} \E(-p_1(U)X)\E(-p_1(V)Y) =\E(-p_1(V)Y) \prod_{\substack{a,b>0\\ b/a\ \mathrm{decreasing}}} \E(-P_{a,b;k}(t;U,V)Z^{a,b}) \E(-p_1(U)X). \label{eq:1.2} \end{equation} All multiples on a ray are included. Factors on the same ray commute; equivalently one may combine them into one plethystic ray factor. At every finite positive-degree cutoff this is a finite problem. A triangular recursion determines the factors: at total degree $a+b$ the unknown $P_{a,b;k}$ occurs linearly as $P_{a,b;k}/(t-t^{-1})$. Every other contribution comes from previously determined lower degrees, including the higher Adams terms of smaller multiples on the same ray. Subtracting those terms determines $P_{a,b;k}$ uniquely. Color degrees are preserved at each step, so the coefficients lie in $\Q(t)\otimes\Lambda(U)\otimes\Lambda(V)$, homogeneous of bidegree $(a,b)$. A quiver representation assigns a finite-dimensional vector space to each vertex and a linear map to each arrow. A subrepresentation is a collection of vertex subspaces preserved by all arrow maps. Its dimension vector records their dimensions. For a vertex weight $\theta=(\theta_i)$, its weight is $\sum_i\theta_i d_i$ on a subrepresentation of dimension vector $d$. We use the nonpositive subobject convention below; this corresponds to the weight $-\theta$ in \cite[Definition 1.1]{King}. \begin{theorem}\label{thm:main} For $a,b\geq1$, let $N_{a,b;k}$ be the projective coarse moduli space of semistable representations of the quiver with $a$ source vertices, $b$ sink vertices, and $k$ arrows from every source to every sink. Every vertex has dimension one, and the stability has weight $b$ at each source and $-a$ at each sink. A representation is semistable if every subrepresentation has nonpositive weight, and stable if every nonzero proper subrepresentation has negative weight. The coarse moduli identifies semistable representations with the same polystable associated graded. Let \[ G_{a,b}=S_a\times S_b,\qquad D_{a,b}=kab-a-b+1, \] and use ordinary geometric vertex permutation on intersection cohomology. Then \begin{equation} P_{a,b;k}(t;U,V)= \sum_{\lambda\vdash a,\ \mu\vdash b} C_{\lambda,\mu;k}(t)s_\lambda(U)s_\mu(V), \label{eq:1.3} \end{equation} where \begin{equation} C_{\lambda,\mu;k}(t) =\chi_t\Hom_{G_{a,b}}\! \left(S^\lambda\boxtimes S^\mu,\, (\sgn_a\boxtimes\sgn_b)\otimes \IH(N_{a,b;k})[D_{a,b}]\right). \label{eq:1.4} \end{equation} In particular, every $C_{\lambda,\mu;k}$ belongs to $\Lef$. \end{theorem} The stable locus in this moduli space is nonempty. Indeed, choose every arrow nonzero. A subrepresentation containing a source must contain all sinks; its weight is strictly negative unless it is the full representation. A nonzero subrepresentation containing no source also has negative weight. Irreducibility of the representation space implies that the stable open subset is dense. The representation space has dimension $kab$. On the stable locus its effective gauge torus has dimension $a+b-1$, giving dimension $D_{a,b}$. For an acyclic quiver the affine invariant ring consists of constants, so relative GIT projectivity gives a projective coarse moduli space. The locus of nonzero arrows is a torus modulo the effective gauge torus; its image is dense, giving the toric structure. For $a=b=1$, the moduli is $\mathbb P^{k-1}$, so the formula gives $P_{1,1;k}=[k]_t p_1(U)p_1(V)$. The proof of the general formula will be completed in Section~\ref{sec:lefschetz}. \section{Finite colors and BPS cohomology}\label{sec:colors} For integers $r,s\geq1$, choose finite even alphabets $U=(u_1,\ldots,u_r)$ and $V=(v_1,\ldots,v_s)$. Let $Q_{r,s;k}$ be the corresponding complete bipartite quiver. For dimension compositions $\alpha\in\mathbb N^r$, $\beta\in\mathbb N^s$, set \begin{equation} P=|\alpha|=\sum_i\alpha_i,\quad Q=|\beta|=\sum_j\beta_j,\qquad \delta_{\alpha,\beta}=kPQ-\sum_i\alpha_i^2-\sum_j\beta_j^2. \label{eq:2.1} \end{equation} For fixed totals $P,Q>0$, put weight $Q$ on each source and $-P$ on each sink. This is the stability of projected slope $Q/P$, with the same subrepresentation convention as above. Write $u^\alpha=\prod_i u_i^{\alpha_i}$ and $v^\beta=\prod_j v_j^{\beta_j}$, with an empty product equal to one. For dimension vectors $d,e$ of a quiver the Euler form is $\chi(d,e)=\sum_v d_v e_v-\sum_{v\to w}d_v e_w$, counting every arrow. A slope is called $\mu$-generic when this form is symmetric on all dimension vectors of that slope. For projected dimensions $(P,Q)$ and $(P',Q')$, the antisymmetric Euler form is $k(P'Q-PQ')$. It vanishes when $Q/P=Q'/P'$, proving $\mu$-genericity on every positive finite slope. For a variety $X$ with an algebraic group $G$ acting on it, $[X/G]$ denotes the quotient stack, and $H^*([X/G],\Q)$ denotes equivariant cohomology. The group of changes of bases at the colored vertices is $\prod_i\GL_{\alpha_i}\times\prod_j\GL_{\beta_j}$, with $\GL_0$ the trivial group. Its quotient of the semistable open subset is denoted by $\mathfrak S_{\alpha,\beta}$. Put \begin{equation} H_{\alpha,\beta} =H^*(\mathfrak S_{\alpha,\beta},\Q)[\delta_{\alpha,\beta}]. \label{eq:2.2} \end{equation} This is the ordinary-cohomology presentation of the dual compactly supported virtual character used in DT integration. In particular, for one isolated one-dimensional vertex it is \begin{equation} T=H^*(B\C^*)[-1],\qquad \chi_t(T)=\frac{t}{1-t^2}; \label{eq:2.3} \end{equation} Here $B\C^*$ is the classifying stack of scalar automorphisms; $H^*(B\C^*)=\Q[c]$ with $c$ in degree two. In $T$, the vector $c^m$ has degree $2m+1$ for $m\geq0$, so $T$ is odd in every degree in which it is nonzero. For zero potential the BPS object is normalized intersection cohomology of the stable closure, or zero if the stable locus is empty \cite[Theorem 4.6]{MR}, \cite[Theorem 4.10 and Corollary 4.11]{DMCoHA}. When the stable locus is nonempty, the normalization is a shift by the coarse dimension $\delta_{\alpha,\beta}+1$. Write its ordinary character as $b_{\alpha,\beta}(t)$. We use ``BPS cohomology'' for this primitive object; the cohomological integrality theorem reconstructs semistable stack cohomology from its graded symmetric powers tensored with $T$. The Harder--Narasimhan and integrality identities imply that the finite alphabet evaluation of \eqref{eq:1.2} has \begin{equation} P_{P,Q;k}(t;U,V)= \sum_{\substack{|\alpha|=P\\|\beta|=Q}} b_{\alpha,\beta}(t)u^\alpha v^\beta. \label{eq:2.4} \end{equation} Here the collapse of degree lattices sends each source degree to $X$, each sink degree to $Y$, retaining its color monomial. The antisymmetric Euler form depends only on $(P,Q)$, so this map preserves the quantum torus multiplication. It also respects the Adams operations on each ray. Consequently the ordered product identity descends in every degree, including all multiples on each output ray. The Hall identity with positive arguments is \begin{equation} \E(p_1(V)Y)\E(p_1(U)X) =\E(p_1(U)X) \prod_{b/a\ \mathrm{increasing}} \E(P_{a,b;k}Z^{a,b})\E(p_1(V)Y). \label{eq:2.5} \end{equation} The full representation stack has character \begin{equation} \frac{t^{\sum_i\alpha_i^2+\sum_j\beta_j^2-kPQ}} {\prod_i\prod_{h=1}^{\alpha_i}(1-t^{2h}) \prod_j\prod_{h=1}^{\beta_j}(1-t^{2h})}. \label{eq:2.6} \end{equation} Indeed, for one vertex the dilogarithm expansion is \[ \E(uX)=\sum_{n\geq0} \frac{t^{n^2}}{\prod_{h=1}^n(1-t^{2h})}u^nX^n, \] with the empty denominator equal to one. For a commuting even variable $z$, formula \eqref{eq:1.1} gives \[ \log\E(z)=\sum_{m\geq1}\frac{(-1)^{m+1}t^m z^m}{m(1-t^{2m})}, \qquad\E(z)=(1+tz)\E(t^2z). \] Writing $\E(z)=\sum_{n\geq0}a_nz^n$, comparison of coefficients gives $a_0=1$ and $(1-t^{2n})a_n=t^{2n-1}a_{n-1}$ for $n\geq1$. Iteration yields the displayed coefficient. Multiplying it over all source and sink colors gives the two sums of squares in the numerator, and the sink-before-source Weyl multiplication contributes $t^{-kPQ}$. This gives the normalization in \eqref{eq:2.5}. Inverting the whole identity gives \eqref{eq:1.2}, as in \cite[\S7.3]{DMTheta}. For zero potential the monodromic vanishing-cycle normalization agrees with the centered ordinary object; see \cite[Example 2.11]{DMCoHA}. The purity and Tate assertions in \cite[\S6.3.4, Propositions 6.21--6.22]{DMTheta} identify the DT weight character with this $\chi_t$. Consequently \eqref{eq:2.4} is expressed in the original DM parameter, with the indicated cohomological shifts. It remains to identify \eqref{eq:2.4} with the Frobenius characteristic in \eqref{eq:1.3}. The next two sections supply that identification. \section{Double-loop Springer polarization of stacks}\label{sec:polarization} We extend the source-color construction of \cite{Tang} to both sides. The sheaf-theoretic input is the standard Grothendieck--Springer sign-support statement, in the formulation of \cite[\S3]{FYZ}. We use its Betti version: the Springer correspondences and sign idempotents act on rational constructible complexes, and the zero nilpotent fiber is the full complex flag variety. \subsection{A proper smooth family over ordered spectra} Fix $P,Q>0$, and an integer $f\geq1$. On vector spaces $U_0=\C^P$, $W_0=\C^Q$, consider two independent endomorphisms $L_U,L_W$, $k$ arbitrary maps $U_0\to W_0$, and $f$ framing vectors in $U_0$. Add a one-dimensional framing vertex, with $f$ arrows to $U_0$. Choose rational $0<\epsilon<1$ and stability \begin{equation} \theta_U=Q-\epsilon/P,\qquad \theta_W=-P,\qquad \theta_\infty=\epsilon. \label{eq:3.1} \end{equation} The weight of a subrepresentation of dimensions $(A,B,\eta)$, $\eta\in\{0,1\}$, is \begin{equation} QA-PB+\epsilon(\eta-A/P). \label{eq:3.2} \end{equation} The integer $QA-PB$ must vanish if this expression is zero, since $|\epsilon(\eta-A/P)|<1$. Then $\eta=A/P$. If $\eta=0$ this forces $A=B=0$; if $\eta=1$ it forces $A=P$ and $B=Q$. Thus semistability equals stability. Let $M^f$ be the resulting stable GIT quotient. Fixing the framing basis identifies the effective gauge group with $\GL_P\times\GL_Q$, and its action is free: a stable object's endomorphisms are scalars, and fixing the framing basis forces that scalar to be one. Let $F^f$ additionally record full flags in $U_0,W_0$ preserved by the corresponding loops. The flag map $r:F^f\to M^f$ is projective. Concretely, construct $F^f$ as the closed loop-invariant incidence scheme in the two relative full flag bundles over the free reductive quotient $M^f$. The Borel presentation below describes this scheme. Put \[ \mathcal T=\mathbb A^P\times\mathbb A^Q,\qquad \mathcal S=\Sym^P\mathbb A^1\times\Sym^Q\mathbb A^1, \] and let $\pi:\mathcal T\to\mathcal S$ be the finite quotient. Here $\Sym^d\mathbb A^1=(\mathbb A^1)^d/S_d$ parametrizes unordered multisets of $d$ complex numbers, including repeated values. Reading the induced endomorphism on each one-dimensional flag quotient defines $h:F^f\to\mathcal T$. For a morphism $f$, $Rf_*$ denotes derived direct image of rational constructible complexes, and $R^jf_*$ its degree-$j$ cohomology sheaf; pullbacks in this argument are derived pullbacks. \begin{lemma}\label{lem:smoothproper} The map $h$ is proper and smooth, of relative dimension \begin{equation} fP+kPQ-P-Q. \label{eq:3.3} \end{equation} Hence $E_f^j=R^jh_*\Q$ is a constant local system on $\mathcal T$. \end{lemma} \begin{proof} The affine invariant quotient of all loop, arrow and framing data is $\mathcal S$. One first uses the common scalar action on $U_0,W_0$ to exclude framing variables from invariants, and then a relative scalar action to exclude cross-arrow variables. The remaining invariants are the two characteristic polynomials. Relative GIT projectivity \cite[\S2]{King}, together with stable equals semistable, gives a projective map $M^f\to\mathcal S$. Composing with $r$ gives a proper map. Its lift $h$ through the separated finite morphism $\pi$ is proper: its graph is closed in $F^f\times_{\mathcal S}\mathcal T$ and the second projection is a base change of a proper map. Let $B_d\subset\GL_d$ be the upper triangular subgroup and $\mathfrak b_d$ its Lie algebra. A superscript $s$ on the representation space denotes its stable open subset. Fixing standard full flags gives \begin{equation} F^f\simeq \left[ \left(\mathfrak b_P\oplus\mathfrak b_Q \oplus\Hom(U_0,W_0)^k\oplus U_0^f\right)^s /(B_P\times B_Q)\right]. \label{eq:3.4} \end{equation} Projection from the stable open set to the two diagonals is smooth. The Borel action is free; smoothness descends along this smooth torsor. Subtracting the Borel dimensions cancels the dimensions of the two Borel Lie algebras, leaving total dimension $kPQ+fP$. This gives \eqref{eq:3.3}. Proper smooth base change makes $E_f^j$ a local system, which is constant because the complex affine space $\mathcal T$ is simply connected. \end{proof} \subsection{The geometric permutation action} Over the open set $\mathcal T_{\rm reg}$ of distinct eigenvalues on each side, put $\mathcal S_{\rm reg}=\pi(\mathcal T_{\rm reg})$. For distinct source eigenvalues $\lambda_1,\ldots,\lambda_P$, the projector onto the $i$th eigenline is $\prod_{j\ne i}(L_U-\lambda_j)/(\lambda_i-\lambda_j)$; the analogous formula applies to $L_W$. These projectors decompose $U_0,W_0$ into ordered eigenlines. Loop-invariant subspaces are precisely sums of these eigenlines. Consequently \begin{equation} F^f|_{\mathcal T_{\rm reg}} \simeq \mathcal T_{\rm reg}\times M_{\rm thin}^f, \label{eq:3.5} \end{equation} where $M_{\rm thin}^f$ is the stable moduli of the thin bipartite quiver with $P$ source and $Q$ sink vertices, a common one-dimensional framing vertex, and $f$ arrows from it to each source. Each source has weight $Q-\epsilon/P$, each sink weight $-P$, and the framing vertex weight $\epsilon$. Reordering the spectra corresponds exactly to relabeling its source and sink vertices. The product description over $\mathcal T_{\rm reg}$ gives its geometric $S_P\times S_Q$-action. We also write $E_f^j$ for this constant system viewed as its fiber when taking a group multiplicity. Together with the coordinate action on $\mathcal T$, this defines an equivariant structure on the entire constant system. We write $\mathfrak{gl}_d=\operatorname{End}(\C^d)$. The notation $\mathcal{IC}_X$ means the intersection complex normalized to restrict to $\Q[\dim X]$ on the smooth locus of a pure-dimensional variety $X$. Intermediate extension means the perverse extension having no subobject or quotient supported on the complement of that locus. The other construction of an action uses the Cartesian pullback of the product of two Grothendieck resolutions along \[ M^f\longrightarrow [\mathfrak{gl}_P/\GL_P]\times[\mathfrak{gl}_Q/\GL_Q]. \] It gives the Springer action on $Rr_*\Q$. These two constructions agree. Indeed, if $c:M^f\to\mathcal S$ is the characteristic-polynomial map, \begin{equation} R^j(cr)_*\Q=\pi_*E_f^j. \label{eq:3.6} \end{equation} The finite map $\pi$ is small, since all its fibers have dimension zero. Since $E_f^j$ is constant on the smooth space $\mathcal T$, $\pi_*E_f^j[P+Q]$ is the intermediate extension of its restriction to $\mathcal S_{\rm reg}$. Endomorphisms of this extension are determined on that open set. There both actions are the same reordering of flags and eigenlines, so they agree everywhere. At a collision point, the action of its Young stabilizer is therefore the corresponding block Springer action. This identifies the action with geometric vertex permutations. \subsection{Block signs and the exact shift} For compositions $\alpha,\beta$ choose a spectrum having the indicated multiplicities within each side. Its Young stabilizer is \[ G_{\alpha,\beta}=\prod_iS_{\alpha_i}\times\prod_jS_{\beta_j}. \] For $d\geq1$, let $\mathcal N_d$ be the nilpotent cone in $\mathfrak{gl}_d$, and let $\rho_d$ be the map from pairs consisting of an endomorphism and a preserved full flag to the endomorphism. With the Grothendieck action for which the top cohomology of the zero nilpotent flag fiber is sign, the Springer sign summand on the nilpotent cone is \begin{equation} \Hom_{S_d}(\sgn_d,R\rho_{d,*}\Q)|_{\mathcal N_d} =\Q_{\{0\}}[-d(d-1)]. \label{eq:3.7} \end{equation} The block action is the product action; these facts are precisely \cite[Corollary 3.7 and proof of Proposition 3.8]{FYZ}. Applying \eqref{eq:3.7} separately to every block on both sides selects the locus where each block loop is scalar. That locus is the stable moduli $M_{\alpha,\beta}^f$ of the colored quiver $Q_{r,s;k}$ with dimensions $\alpha,\beta$, a common one-dimensional framing vertex, and $f$ arrows to each source color. The weights are $Q-\epsilon/P$ on source colors, $-P$ on sink colors, and $\epsilon$ at the framing vertex. Source and sink spectra vary independently. Set \[ 2g_{\alpha,\beta} =\sum_i\alpha_i(\alpha_i-1)+\sum_j\beta_j(\beta_j-1). \] In the following projector, $\sgn$ is the restriction of $\sgn_P\boxtimes\sgn_Q$ to $G_{\alpha,\beta}$. Taking a finite-group sign summand is exact over $\Q$, hence commutes with pullback. The Cartesian Grothendieck resolution and proper base change therefore pull \eqref{eq:3.7} back to the scalar-block locus. The product of its top flag lines gives \begin{equation} \Hom_{G_{\alpha,\beta}} (\sgn,E_f^j) \cong H^{j-2g_{\alpha,\beta}}(M_{\alpha,\beta}^f,\Q). \label{eq:3.8} \end{equation} On this fixed ordered-spectrum locus with distinguished blocks, the top flag cohomology line has trivial monodromy: the structure groups are connected general linear groups and preserve the fundamental class. The global permutation action is retained separately. Put $\delta_{\rm thin}=kPQ-P-Q$, and let $H_{P,Q}^{\rm thin}$ be the cohomology of the thin semistable stack shifted by $\delta_{\rm thin}$. The shift satisfies \begin{equation} \delta_{\rm thin}-\delta_{\alpha,\beta}=2g_{\alpha,\beta}. \label{eq:3.9} \end{equation} \subsection{Framing and stabilization} The map from $M_{\alpha,\beta}^f$ to $\mathfrak S_{\alpha,\beta}$ is the stable open subset of the rank-$fP$ framing bundle. Its complement has codimension tending to infinity with $f$. If the underlying representation is not semistable, a positive-weight subrepresentation, taken with framing dimension zero, still has positive perturbed weight: its original positive integer weight decreases by less than one. For a semistable underlying representation, the only possible destabilizing framed subobject has framing dimension one and original weight zero. Thus bad framing lands in the source subspace of a proper equal-slope subrepresentation. That source dimension $A$ satisfies $A0$. For $n\geq1$, consider label sets of sizes $(P,Q)=(np,nq)$. A PBW decomposition of a thin dimension vector partitions the source labels and sink labels into disjoint supports. Every nonzero factor on this slope has projected dimensions $(P_i,Q_i)=n_i(p,q)$. There are no source-only or sink-only factors on a positive finite slope. Let $d_i$ be the thin dimension vector of support $i$. For two disjoint supports, writing $\chi_{ij}=\chi(d_i,d_j)$, the Euler forms are \[ \chi_{12}=-kP_1Q_2,\qquad \chi_{ii}=P_i+Q_i-kP_iQ_i. \] The extra symmetry in the relative cohomological PBW theorem is \begin{equation} \tau(d_1,d_2)=\chi_{12}+\chi_{11}\chi_{22}\pmod2 \label{eq:4.1} \end{equation} in addition to ordinary cohomological Koszul symmetry \cite[Theorem C, formula (15)]{DMCoHA}. In the field $\mathbb F_2=\mathbb Z/2\mathbb Z$, substituting $P_i=n_ip$, $Q_i=n_iq$ gives $\chi_{ii}=n_i(p+q+kpq)$, and hence \[ \tau(d_1,d_2)=n_1n_2\bigl(kpq+(p+q+kpq)^2\bigr) =n_1n_2(p+q). \] Consequently \begin{equation} \tau(d_1,d_2) =n_1n_2(p+q) =P_1P_2+Q_1Q_2\pmod2. \label{eq:4.2} \end{equation} The block exchange in the restriction of $\sgn_P\boxtimes\sgn_Q$ has exactly the last sign. Twisting the whole thin symmetric sequence by this representation cancels the extra $\tau$, while leaving the ordinary cohomological Koszul symmetry intact. \subsection{Naturality and the relative PBW theorem} \begin{lemma}\label{lem:pbw} For the thin complete bipartite quivers at a fixed positive slope, the relative PBW morphism is natural under all source and sink relabelings. In projected degree $(P,Q)$, its primitive factor has the geometric action on $\IH(N_{P,Q;k})[D_{P,Q}]$ and the trivial action on $T$. \end{lemma} \begin{proof} All quivers on different finite label sets are related by relabeling; restriction to a support gives the corresponding smaller complete bipartite quiver. The moduli constructions, direct-sum morphisms, perverse filtrations and Hall correspondences respect these maps. The correspondence stacks and their complex algebraic push/pull maps are preserved by relabeling, as are the Euler normalization and the zero-potential constant/intersection complexes. The relative product uses the $\tau$ symmetry of \eqref{eq:4.1}. For zero potential and a thin positive support, the stable open subset is nonempty. The primitive term is the canonical strict-full-support intersection-complex summand in the direct image of the stack cohomology. On the stable open its multiplicity is $T$, the cohomology of the scalar automorphism group. Vertex relabeling fixes the scalar automorphism $\lambda\operatorname{id}$, so acts trivially on $T$. The canonical full-support construction and its intermediate extension therefore identify the action on the primitive with the geometric action on $\IH(N_{P,Q;k})[D_{P,Q}]$. For a thin support dimension vector $d$, let $\mathfrak S_d$ be its semistable stack and $N_d$ its coarse moduli. The map $p:\mathfrak S_d\to N_d$ sends a representation to the direct sum of its stable Jordan--H\"older factors of the fixed slope. Over the stable open, each $R^{2m}p_*\Q$ has its canonical rank-one fiber generated by $c^m$ in $H^*(B\C^*)$; a band-preserving relabeling fixes this generator. On the thin stack an invariant representative of the degree-two fiber generator is \[ \frac{1}{|\operatorname{supp}d|} \sum_{v\in\operatorname{supp}d}c_1(\mathcal L_v), \] where $\operatorname{supp}d$ is the set of vertices of dimension one, $\mathcal L_v$ is the tautological line at vertex $v$, and $c_1$ denotes the first Chern class. Each summand restricts to the generator $c$ on the scalar fiber. Base change for relabeling gives coherent actions on $Rp_*\mathcal{IC}$ and its perverse cohomology. The strict-full-support part consists of the simple perverse summands whose support is the entire coarse moduli space. It is intrinsic, and its restriction to the stable open determines it by intermediate extension, giving the equivariant primitive inclusion. Hall covariance has a direct description on thin supports. For a thin output dimension vector, the block supports are disjoint. For $0\to E_1\to E\to E_2\to0$, arrows from source support 1 to sink support 2 are zero; reverse cross arrows are arbitrary extension coordinates. Thus the extension stack is an affine bundle of rank $kP_2Q_1$ over the two block stacks and maps to the total stack by a coordinate-zero embedding of codimension $kP_1Q_2$. Relabeling preserves both maps. Smooth pullback, Gysin/trace and direct image commute with these isomorphisms; permuting complex coordinates preserves their complex orientation. On the common slope $P_1Q_2=P_2Q_1$, and the shift for the union minus the two block shifts is \[ \begin{aligned} &k(P_1+P_2)(Q_1+Q_2)-(P_1+P_2)-(Q_1+Q_2)\\ &\quad-(kP_1Q_1-P_1-Q_1)-(kP_2Q_2-P_2-Q_2) =2kP_1Q_2. \end{aligned} \] This equals the Gysin degree. Hence the normalized multiplication is relabeling-equivariant. An exchange of the ordered factors is a separate operation and uses the prescribed $\tau$ braiding, already accounted for in \eqref{eq:4.2}. Apply the relative canonical PBW theorem and push to dimension vectors. The natural identification with the perverse associated graded of absolute cohomology \cite[Proposition 5.7, Corollary 4.11, Theorem C]{DMCoHA} suffices for the resulting graded group character. The finite group preserves the filtration, hence a representation and its associated graded have the same character in every cohomological degree. More explicitly, the morphism in \cite[Theorem 6.9]{DMCoHA} is the composition of the canonical inclusion of Corollary 4.11, the $\tau$-symmetric projector, and iterated relative Hall multiplication. Each of these three maps is preserved by relabeling. The known nonequivariant isomorphism is therefore an equivariant isomorphism. \end{proof} Let \[ R_H(P,Q)=(\sgn_P\boxtimes\sgn_Q)\otimes H_{P,Q}^{\rm thin}, \quad R_B(P,Q)=(\sgn_P\boxtimes\sgn_Q)\otimes \IH(N_{P,Q;k})[D_{P,Q}]. \] At $(0,0)$ set $R_H(0,0)=\Q$ and $R_B(0,0)=0$; away from the chosen positive slope set both sequences to zero. A bivariate symmetric sequence assigns to each pair of finite label sets a graded vector space, functorially under bijections; equivalently it assigns an $S_P\times S_Q$ representation to each $(P,Q)$. Its induction product is \[ (R\star R')(P,Q)=\!\!\bigoplus_{\substack{P_1+P_2=P\\Q_1+Q_2=Q}} \operatorname{Ind}_{(S_{P_1}\times S_{Q_1})\times(S_{P_2}\times S_{Q_2})}^{S_P\times S_Q} \bigl(R(P_1,Q_1)\otimes R'(P_2,Q_2)\bigr). \] The groups in the subscript act on disjoint label blocks. We define $\Sym_{\rm seq}(R)=\bigoplus_{m\geq0}(R^{\star m})^{S_m}$, where $S_m$ permutes factors with sign $(-1)^{ij}$ when degrees $i,j$ are exchanged. The $m=0$ term is the unit at $(0,0)$. Brackets below record degreewise characters, so extensions and their associated graded have the same class. Lemma~\ref{lem:pbw} and the sign cancellation give \begin{equation} [R_H]=[\Sym_{\rm seq}(T\otimes R_B)]. \label{eq:4.3} \end{equation} \subsection{Shifts and tensor permutations} There are three distinct sources of signs. A geometric automorphism of one variety $N$ acts on its globally shifted $\IH(N)[\dim N]$ without an additional sign character. Exchanging two already shifted tensor factors, however, uses their cohomological Koszul sign. Finally, the normalized Hall symmetry has the extra term $\tau$ in \eqref{eq:4.1}. The degree-zero representation $\sgn_P\boxtimes\sgn_Q$ cancels only this last term, leaving the Koszul symmetry and the odd grading of $T$. This distinction is the issue discussed in \cite[Proposition 3.5 and Remark 3.6]{MR}: a naive geometric permutation of several factors and the sheaf-theoretic permutation of their shifted intersection complexes can differ by a dimension sign. In \cite[\S6.1]{DMCoHA}, moving the half-Tate normalization factors explicitly produces the term $\chi_{11}\chi_{22}$ in $\tau$. With sink dimension one, a colored source of dimension $\alpha_i$ is stable precisely when its $k$ outgoing linear forms define an injection $\C^{\alpha_i}\to\C^k$. The coarse moduli is therefore $\prod_i\operatorname{Gr}(\alpha_i,k)$, where $\Gr(m,k)$ parametrizes $m$-dimensional subspaces of $\C^k$, empty when some $\alpha_i>k$. The centered Grassmannian character is $\chi_t\Lambda^{\alpha_i}W_k$. To see the grading, the Schubert cells of $\Gr(m,k)$ are indexed by $1\leq i_1<\cdots0$ with $D\omega(L,L)\subset\mathbb Z$. The Weyl monomials are the basis elements $z^p$, $p\in L$, with $z^p z^{p'}=t^{\omega(p,p')}z^{p+p'}$ over $\Q(t^{1/D})$. Choose an integral linear functional strictly positive on $\sigma\setminus\{0\}$. Complete by its degree, allowing supports in translates of $\sigma\cap L$. Each bounded-degree slice of this monoid is finite, so coefficient identities are checked in finite degree quotients. Different such functionals define the same completion. For $v\in L_0^+$ not in the radical of $\omega$, put $v^{\omega\perp}=\{x\in L_{\mathbb R}:\omega(v,x)=0\}$. A wall consists of a rational polyhedral codimension-one cone $\mathfrak d\subset v^{\omega\perp}$ and an element supported in positive multiples of $v$, such as $\E(-R(t)z^v)$. The dilogarithm is defined by \eqref{eq:1.1}, with $Z^{md}$ replaced by $z^{mv}$. A wall is incoming if $x+\mathbb R_{\geq0}v\subset\mathfrak d$ for every $x\in\mathfrak d$; otherwise it is outgoing. A diagram has finitely many nontrivial walls at each degree cutoff. At a transverse crossing by a path $\gamma$, its wall element acts by conjugation, raised to the power $\operatorname{sign}\omega(v,-\gamma')$. The path-ordered product is the composition of these actions in traversal order. A diagram is consistent if every admissible closed path has identity product; equivalence means equality of path-ordered products. Admissible paths avoid wall boundaries and intersections of nonparallel walls. The completion theorem \cite[Theorem 2.13]{DMTheta} supplies the consistent completion of a finite full-hyperplane incoming diagram by outgoing walls. \begin{theorem}\label{thm:scattering} For finitely many $v_i\in L_0^+$ with $\omega(v_i,\cdot)\ne0$ and $R_i\in\Lef$, the consistent completion of \[ \{(v_i^{\omega\perp},\E(-R_i(t)z^{v_i})):1\leq i\leq s\} \] has a representative all of whose walls have the form $(\mathfrak d,\E(-R_{\mathfrak d}(t)z^{v_{\mathfrak d}}))$ with $R_{\mathfrak d}\in\Lef$ and $v_{\mathfrak d}\in L_0^+$. \end{theorem} \begin{proof} Work at a fixed degree cutoff. The change-of-monoid and generic perturbation construction of \cite[Section 5]{DMTheta} separates incoming factors and reduces new joints to two-wall problems. Split $R_i=\sum_r m_{i,r}[r]_t$ into irreducible characters; additivity of the dilogarithm writes each incoming factor as a product of the corresponding coincident factors. Each joint has integral pairing because its degrees lie in $L_0$. Corollary~\ref{cor:two} supplies its outgoing factors with labels in $\Lef$. This is exactly the sufficient two-wall criterion at the end of \cite[Section 7.3]{DMTheta}. The lattice projection in that construction adds the degree labels and preserves the skew pairing and $t$. Coincident factors may be retained separately or combined by adding their labels. Both operations preserve $\Lef$. The construction retains all degrees on a ray, so projection also retains nonprimitive factors. The compatible degreewise completions give the asserted diagram by inverse limit. This proves Conjecture 2.17 of \cite{DMTheta}. \end{proof} \subsection{Broken-line coefficients} A broken line ending at a generic point $\mathcal Q\in L_{\mathbb R}$ is a piecewise affine path $\gamma:(-\infty,0]\to L_{\mathbb R}$, with $\gamma(0)=\mathcal Q$, together with a monomial $c(t)z^m$ on each linear segment. Its velocity is $-m$. It begins with $z^p$ for a prescribed $p\in L$ and changes monomial at a wall by selecting a term in the corresponding conjugation action. It avoids the joints; generic endpoints are chosen outside the exceptional loci for these paths. The theta expansion $\vartheta_{p,\mathcal Q}$ is the sum of terminal monomials. The construction of \cite[Section 3]{DMTheta} makes this sum well-defined degreewise. Write \[ \vartheta_{p,\mathcal Q}=z^p+ \sum_{v\in L^+}c_{p,v,\mathcal Q}(t)z^{p+v}, \] where an absent monomial has coefficient zero; for $p=0$ the theta function is $1$. \begin{theorem}\label{thm:theta} For the incoming data of Theorem~\ref{thm:scattering}, every $c_{p,v,\mathcal Q}(t)$ belongs to $\Lef$, for all $p\in L$ and all generic $\mathcal Q$. Consequently Conjectures 3.13 and 1.4 of Davison--Mandel hold. \end{theorem} \begin{proof} Use the representative from Theorem~\ref{thm:scattering}. We compute the crossing in the Weyl basis. It suffices first to take one label $[r]_t$ and an incoming monomial $z^p$. Put $b=\omega(v,p)\in\mathbb Z$. For $b\ne0$, the crossing sign is $\varepsilon=\operatorname{sign}b$, since the velocity is $-p$. Along the ray extend $\psi_m$ by $\psi_m(z^v)=z^{mv}$, and define $\operatorname{Exp}_\psi(F)=\exp(\sum_{m\geq1}\psi_m(F)/m)$. Equation \eqref{eq:1.1} reads $\E(-Pz^v)=\operatorname{Exp}_\psi(Pz^v/(t-t^{-1}))$. Since $z^v z^p=t^{2b}z^p z^v$, conjugation gives \[ \E(-\varepsilon[r]_t z^v)z^p\E(-\varepsilon[r]_t z^v)^{-1} =z^p\operatorname{Exp}_\psi\!\left( \frac{\varepsilon[r]_t(t^{2b}-1)}{t-t^{-1}}z^v\right) =z^p\operatorname{Exp}_\psi\!\left([r]_t[|b|]_t t^b z^v\right). \] The weights of $W_r\otimes W_{|b|}$ shifted by $b$ all have parity $r+|b|-2+b\equiv r\pmod2$. The coefficient of $z^{nv}$ in the last exponential is therefore $t^{nb}$ times the character of $\Lambda^n(W_r\otimes W_{|b|})$ if $r$ is odd, and of $\Sym^n(W_r\otimes W_{|b|})$ if $r$ is even. Left multiplication by $z^p$ contributes $t^{n\omega(p,v)}=t^{-nb}$, canceling the shift. Thus each resulting Weyl coefficient belongs to $\Lef$. For $b=0$ the action is the identity. This also proves directly the special case of \cite[Lemma 3.5]{DMTheta} used here. For a sum of irreducible labels, compose the commuting same-ray actions. An existing coefficient in $\Lef$ multiplies these characters; tensor products and direct sums of $\sltoo$ modules preserve $\Lef$. Starting with coefficient $1$, induction over bends proves the assertion for each broken line. At a fixed output degree the defining sum is finite, so its coefficient is in $\Lef$. This proves Conjecture 3.13. Here $\mathcal A_{\rm prin}$ is the cluster $\mathcal A$-space with principal coefficients. The cluster seed diagrams for $\mathcal A$, $\mathcal A_{\rm prin}$ and $\mathcal X$ enter this framework by \cite[Lemma 4.3]{DMTheta}; the quantum $\mathcal A$ case has its standing compatible-pair assumption. In these diagrams the incoming labels are $1$, and $\vartheta_{p,\mathcal Q}$ is the expansion of the theta function with index $p$ in the scattering chart indexed by $\mathcal Q$. Applying the result to each of these seed lattices proves Conjecture 1.4 for every index and generic chart. \end{proof} \subsection{The ICM 2026 formulation} Write $x=q^{1/2}$ for the parameter in \cite{DavisonICM}. Its signed quantum integer is \[ [\pm r]_q=(-1)^{r+1}\frac{x^r-x^{-r}}{x-x^{-1}}=[r]_{-x}. \] Thus evaluation $t=-x$ sends $\Lef$ to nonnegative sums of these signed integers. This is a translation of parameter conventions. \begin{corollary}\label{cor:icm} Conjecture 3.12 of \cite{DavisonICM} holds: for every $n_1,n_2,k\geq1$, all the ray labels in its ordered factorization are nonnegative sums of $[\pm r]_q$, $r\geq1$. \end{corollary} \begin{proof} Use the positive-argument Hall identity \eqref{eq:2.5}, specialized to $R=[n_2]_t$ on the source and $S=[n_1]_t$ on the sink. This is the sink-before-source order of the ICM statement. With $t=-q^{1/2}$, its twisted multiplication is the same Euler-form quantum torus multiplication. Indeed, for $d=(a,b)$ and $e=(c,d_2)$, the Euler form is $\chi(d,e)=ac+bd_2-kad_2$, so $-(\chi(d,e)-\chi(e,d))=k(ad_2-bc)$, the exponent in our torus. This is the convention of \cite[Section 3.3]{DavisonICM}. The plethystic operation also agrees. Under $t=-x$ the Adams operation becomes ordinary substitution $x\mapsto x^m$, and \[ \left.\log\E(P(t)Z^d)\right|_{t=-x} =\sum_{m\geq1}\frac{P(-x^m)}{m(x^m-x^{-m})}Z^{md}. \] This is $\log\operatorname{Exp}(P(-x)Z^d/(x-x^{-1}))$, where $\operatorname{Exp}(F)=\exp(\sum_{m\geq1}\Psi_m(F)/m)$, with $\Psi_m(x)=x^m$ and $\Psi_m(Z^d)=Z^{md}$, is ordinary plethystic exponentiation on this ray. Since $1/(x-x^{-1})=-q^{1/2}/(1-q)$, it is the dilogarithm in \cite[Example 3.2]{DavisonICM}. Consequently the ordered factors in the two identities agree by uniqueness, including every multiple on each ray. Corollary~\ref{cor:two} and $[r]_{-x}=[\pm r]_q$ give the result. More explicitly, for positive source and sink degrees $a,b$, its coefficient is $P_{a,b;k}(-x;[n_2]_{-x},[n_1]_{-x})$; the axis coefficients are the two prescribed inputs. \end{proof} \section{Colored BPS invariants of acyclic quivers}\label{sec:acyclic} \subsection{The multialphabet formula} The two-sided construction extends to one alphabet at each vertex. It gives Schur--Lefschetz positivity in all alphabets simultaneously. Let $Q$ be a finite acyclic quiver with vertex set $Q_0$ and arrow set $Q_1$, allowing multiple arrows. For $d,e\in\mathbb N^{Q_0}$ put \[ A(d,e)=\sum_{a:i\to j}d_i e_j,\qquad \chi_Q(d,e)=\sum_i d_i e_i-A(d,e). \] For a real weight $\zeta=(\zeta_i)$ define $|d|=\sum_i d_i$ and $\mu(d)=\zeta\cdot d/|d|$ for $d\ne0$. A nonzero representation is semistable when every nonzero subrepresentation has slope at most its slope, and stable when the inequality is strict for every proper nonzero subrepresentation. Fix a value $\mu$ for which the stability is $\mu$-generic: $\chi_Q(d,e)=\chi_Q(e,d)$ for dimensions on that slope. Replace vertex $i$ by $r_i\geq1$ colors; replace every arrow by all pairs between its colored endpoints. A colored dimension vector is an array $\alpha=(\alpha_{i,c})$, with $i\in Q_0$, $1\leq c\leq r_i$ and $\alpha_{i,c}\in\mathbb N$. Write $\pi(\alpha)_i= \sum_c\alpha_{i,c}$ and let $b_\alpha(t)$ be the normalized zero-potential BPS character for the inherited slope stability. Explicitly, this is the character of the intersection cohomology of the stable closure shifted by $A(d,d)-\sum_{i,c}\alpha_{i,c}^2+1$, for $d=\pi(\alpha)$, and zero when the stable locus is empty. Each vertex has the even alphabet $U_i=(u_{i,1},\ldots,u_{i,r_i})$; $\mathbf u^\alpha=\prod_{i,c}u_{i,c}^{\alpha_{i,c}}$. Put $G_d=\prod_i S_{d_i}$. For a graded $G_d$ representation $R$, define its multialphabet Frobenius characteristic by \[ \ch_{G_d}(R)=\sum_{\lambda_i\vdash d_i} \chi_t\Hom_{G_d}(\boxtimes_i S^{\lambda_i},R) \prod_i s_{\lambda_i}(U_i). \] For $d_i=0$, the group and its representation are trivial and the empty partition contributes $1$. For nonzero $d$ on the slope let $Q^d$ have $d_i$ one-dimensional clones at vertex $i$, with all arrow pairs. Put $\epsilon_d=\boxtimes_i\sgn_{d_i}$. Give the clones at $i$ the weight inherited from $\zeta_i$. Let $N_d$ denote its semistable coarse moduli and $N_d^{\rm st}$ its stable open locus. Define \[ I_d=\begin{cases} \IH(N_d)[A(d,d)-|d|+1],&N_d^{\rm st}\ne\varnothing,\\ 0,&N_d^{\rm st}=\varnothing, \end{cases} \] where the shift in the first branch is the dimension of $N_d$. \begin{theorem}\label{thm:acyclic} For every $\mu$-generic slope and every nonzero $d$ on it, \begin{equation} \sum_{\pi(\alpha)=d}b_\alpha(t)\mathbf u^\alpha =\ch_{G_d}(\epsilon_d\otimes I_d). \label{eq:A.1} \end{equation} The right-hand side is evaluated in the same finite alphabets as the left. Equivalently, its universal coefficient of $\prod_i s_{\lambda_i}(U_i)$ is \begin{equation} \chi_t\Hom_{G_d}\!\left(\boxtimes_iS^{\lambda_i}, \epsilon_d\otimes I_d\right)\in\Lef. \label{eq:A.2} \end{equation} The group $G_d$ permutes clones within each fixed original vertex. \end{theorem} \begin{proof} We extend the constructions of Sections~\ref{sec:polarization}--\ref{sec:lefschetz}. All colored and thin quivers inherit $\mu$-genericity: the antisymmetrized Euler form depends only on projected dimensions. At fixed $d$, only finitely many subdimensions matter. One can choose an integral King weight $\theta$ preserving their slope comparisons and equalities. Indeed, the conditions for equality are homogeneous linear equations with integer coefficients in the weight vector. Their solution space has a rational basis. The finitely many strict inequalities cut out an open subset of this space containing $(\zeta_i-\mu)_i$. Choose a rational point in it and clear positive denominators. This also gives $\theta(d)=0$. Give every original vertex $i$ an auxiliary endomorphism, an invariant full flag and $f\geq1$ framing vectors from a common one-dimensional vertex. Choose rational $0<\epsilon<1$. Use $\theta_i-\epsilon/|d|$ and $\theta_\infty=\epsilon$. For a subobject of original dimension $e\leq d$ and framing dimension $\eta\in\{0,1\}$, its weight is $\sum_i\theta_i e_i+\epsilon(\eta-|e|/|d|)$. Its integer part and perturbation vanish simultaneously only when $e=0,\eta=0$ or $e=d,\eta=1$. Thus stable equals semistable. The effective gauge action is free. Choose positive topological heights $w_j>w_i$ along every arrow. The central one-parameter subgroup with weights $w_i$ gives all original arrows and framing variables nonzero weights of the same sign, and all auxiliary loops weight zero. The invariant ring therefore contains only the independent loop characteristic polynomials. This proves that the affine GIT base is $\prod_i\Sym^{d_i}\mathbb A^1$. The all-flag ordered-spectrum map to $\prod_i\mathbb A^{d_i}$ is proper by relative GIT and the closed graph argument, and smooth by its free Borel presentation. Its relative dimension is \[ A(d,d)+(f-1)|d|. \] Regular eigenline decomposition and finite-pushforward IC uniqueness identify its Springer action with the geometric $G_d$ action exactly as before. For the colored composition $\alpha$, the block sign projector has shift $\sum_{i,c}\alpha_{i,c}(\alpha_{i,c}-1)$. The centers are \[ \delta_{\rm thin}=A(d,d)-|d|, \quad \delta_\alpha=A(d,d)-\sum_{i,c}\alpha_{i,c}^2, \] whose difference is that shift. Framing at every vertex ensures that a bad frame for a proper equal-slope subobject $e$ has codimension at least $f(|d|-|e|)-\sum_{i,c}\lfloor\alpha_{i,c}^2/4\rfloor$. Here $H_\alpha$ is the cohomology of the colored semistable stack shifted by $\delta_\alpha$, and $H_{{\rm thin},d}$ is the thin semistable stack cohomology shifted by $\delta_{\rm thin}$. Ordinary-degree stabilization therefore proves \begin{equation} [H_\alpha]=[(\epsilon_d\otimes H_{{\rm thin},d})^{G_\alpha}], \quad G_\alpha=\prod_{i,c}S_{\alpha_{i,c}}. \label{eq:A.3} \end{equation} If the thin stable locus is empty, all colored stable loci are empty: otherwise choose bases in a stable colored representation and expand its matrices into thin arrows. Every thin subobject would be a colored coordinate-subspace subobject, so the thin object is stable. In this branch both sides of \eqref{eq:A.1} are zero by the definition of BPS. When the stable locus is nonempty it is dense, since the representation space is irreducible; the canonical primitive action is then the geometric action on $I_d$, as in the main proof. For two disjoint thin blocks of projected sizes $d,e$, their Euler pairing is $-A(d,e)$. The self-pairing of the first block is $|d|-A(d,d)$, which is congruent to $\chi_Q(d,d)$ modulo two because $d_i^2\equiv d_i$. Substituting these expressions into \eqref{eq:4.1} and adding the clone-sign exponent $\sum_i d_i e_i$ gives the residual exchange form \begin{equation} \rho(d,e)=\chi_Q(d,e)+\chi_Q(d,d)\chi_Q(e,e)\pmod2. \label{eq:A.4} \end{equation} For this calculation put $q_Q(d)=\chi_Q(d,d)\bmod2$. On the mod-two span of the same-slope lattice, $\mu$-genericity gives $q_Q(d+e)=q_Q(d)+q_Q(e)+\chi_Q(d,e)+\chi_Q(e,d) =q_Q(d)+q_Q(e)$. Hence $\rho$ is symmetric bilinear, and $\rho(d,d)=q_Q(d)+q_Q(d)^2=0$. Choose a basis of this $\mathbb F_2$ vector space. Define $\psi$ to equal $\rho$ on ordered pairs of basis vectors above the diagonal, and zero on and below the diagonal, extending bilinearly. Then $\psi+\psi^{\mathsf T}=\rho$. On an ordered support partition with projected block sizes $d_1,\ldots,d_r$, multiply by \begin{equation} (-1)^{\sum_{a