REVIEW 1 major objections 4 minor 31 references
Growth in affine Hecke categories
T0 review · 1 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read This paper proves that tensor powers in affine Hecke categories grow exponentially with a polynomial correction fixed by the root system: $n^{-1/2}$ in affine type $A_1$ and $n^{-3/2}$ in affine type $A_2$ for longest elements.
desk verdict A genuinely new paper on growth in affine Hecke categories, but the headline A2 one-sided-longest theorem rests on a provably false identity in Lemma 7A.4. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing tool is the combinatorial Satake isomorphism, which identifies the spherical subalgebra of the affine Hecke algebra with the Grothendieck ring of finite-dimensional representations of the adjoint group. Under this isomorphism, two-sided longest basis elements $b_w$ become representations $V_w$, and powers $b_w^n$ become ordinary tensor powers $V_w^{\otimes n}$, which have known asymptotics from tensor-category methods. For one-sided longest elements, the paper sandwiches $b_w^n$ between its spherical projection $(eb_w)^n$ and a bounded multiple of it, using a uniform bound on $\nu(b_x b_{w_0})$ for beyond-the-wall elements $x$ in type $A_2$. The projective cell (the lowest two-sided cell) is described by inequalities on root pairings and by finite left-right corrections around spherical elements, and explicit local multiplication rules in affine type $A_2$ carry the reduction from the cyclic wall to the projective cell. Weyl's dimension formula converts length growth along a ray into the polynomial degree $|\Phi^+|$.
What would settle it
Directly compute $\nu(b_x b_{w_0})$ for the infinite beyond-the-wall family $x=\theta(m,n)$ in affine type $A_2$ for, say, $m+n$ up to $50$ with a computer algebra system; the paper's Section 7 proof is a manual case check with no machine verification, so a single value above $12$ would falsify Lemma 5D.13 and hence the sharp $n^{-3/2}$ lower bound. A milder check is to compute the first few dozen terms of $\nu(b_{123}^n)$ from the KL multiplication rules and test whether the normalized sequence $\nu(b_{123}^n)/(n^{-3/2}8^n)$ stays within two positive constants; a different polynomial exponent would falsify the claimed growth law.
Extended reading notes
Core claim
For a fixed element $w$ of an affine Weyl group, write $b_w^n = \sum_x a_x(n) b_x$ in the Kazhdan--Lusztig basis and let $\nu(b_w^n)=\sum_x a_x(n)$ count summands with multiplicity; the exponential scale is $\beta=\nu_\delta(b_w)$, the sum of standard-basis coefficients. The paper's central claim is that this count grows like a constant times $\beta^n$ times a polynomial correction controlled by the positive root system: in affine type $A_1$, $\nu(b_w^n)\sim C_w n^{-1/2}\beta^n$ for every non-finite $w$; in affine type $A_2$, two-sided longest elements satisfy $\nu(b_w^n)\sim C_w n^{-3/2}\beta^n$, and one-sided longest elements satisfy $c_1(w)n^{-3/2}\beta^n\le \nu(b_w^n)\le c_2(w)n^{-3/2}\beta^n$ for large $n$. More coarsely, in arbitrary affine type every element $w$ in the projective cell obeys $C n^{-|\Phi^+|}\beta^n\le \nu(b_w^n)\le \beta^n$. The main discovery is that the exponent $-|\Phi^+|/2$ — already known for tensor powers of faithful representations of complex reductive groups — survives the passage to affine Hecke categories for the longest classes of elements, despite the non-semisimple and infinite setting.
Load-bearing premise
The sharp $n^{-3/2}$ lower bound for one-sided longest elements rests entirely on the hand-verified claim that multiplying any beyond-the-wall Kazhdan--Lusztig basis element by the longest finite element produces at most twelve summands; if one of the cases in the Section 7 analysis is wrong, the lower bound would degrade.
Editorial extensions
If this is right
- For two-sided longest elements in affine type $A_2$, $\nu(b_w^n)\sim C_w n^{-3/2}\beta^n$, so the growth problem reduces exactly to tensor powers of $PGL_3$-representations.
- For one-sided longest elements in affine type $A_2$, the weaker sharp form $\nu(b_w^n)\in\Theta(n^{-3/2}\beta^n)$ holds, extending the expected $n^{-|\Phi^+|/2}$ correction beyond the spherical case.
- In any affine type, every element in the projective cell has $C n^{-|\Phi^+|}\beta^n\le\nu(b_w^n)\le\beta^n$, giving an affirmative answer to the exponential part of the growth question and bounding the possible polynomial loss.
- For cyclic on-the-wall elements in affine type $A_2$, the wall's own summands are asymptotically negligible; the projective cell governs the growth, so the full asymptotic is recovered from the projective part alone.
Reading between the lines
- The numerical evidence in affine type $C_2$ — $\nu(b_{312}^n)\sim C n^{-2}8^n$ — suggests the expected exponent $|\Phi^+|/2=2$ holds there too, but the paper's methods would need a uniform beyond-the-wall bound analogous to the twelve-summand bound of affine $A_2$.
- Because the one-sided longest argument uses only the uniform bound $\nu(b_x b_{w_0})\le C$, the $n^{-|\Phi^+|/2}$ result should extend to any affine type where such a bound can be verified, plausibly all rank-two affine Weyl groups.
- The Perron--Frobenius block-triangular mechanism is general: for wall elements, the projective cell is the unique final class, so the wall contribution is exponentially negligible; confirming this in other affine types would settle the stronger form of the growth question.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops asymptotic growth bounds for tensor powers in affine Hecke categories, formulated as growth of the coefficient sum ν(b_w^n) for Kazhdan–Lusztig basis elements in affine Hecke algebras. In arbitrary affine type the authors prove a general lower bound C n^{-|Φ^+|} β^n ≤ ν(b_w^n) ≤ β^n for elements in the projective cell (Theorem 3C.1), and use the Satake isomorphism to obtain sharp asymptotics for two-sided longest elements (Theorem 3D.4). In affine type A1 they determine ν(b_w^n) explicitly up to the scalar prefactor (Theorem 4B.1). In affine type A2 they establish the expected n^{-3/2} polynomial correction for two-sided longest elements and, via the uniform beyond-the-wall estimate ν(b_x b_{w0}) ≤ 12, the weaker Θ(n^{-3/2} β^n) form for one-sided longest elements (Theorem 5D.14). A computational section on affine type C2 is explicitly labeled as experimental.
Significance. If the proofs are correct, the paper makes an important contribution by establishing the expected n^{-|Φ^+|/2} polynomial correction in a non-spherical affine Hecke setting, going beyond the directly representation-theoretic cases. The general framework of Section 3C, the Satake reduction, and the explicit A1 computations are clean and well motivated. The paper also ships reproducible code and distinguishes clearly between proved results and experimental observations, especially in Section 6. The decisive external input [CEO24] is published and independent of the paper's own claims, so the overall strategy is not circular. The main obstruction is not the architecture of the proof but a specific technical identity in the key uniform-bound lemma, which is load-bearing for Theorem 5D.14(b).
major comments (1)
- [§7, Lemma 7A.4, Case 3] The displayed identity b_{θ(m,n)u} b_{w0} = b_{θ(m,n)} b_{s_{2m-2n}} b_{s_{2m-2n+1}} (b_t b_s − 1) is false. For m=2, n=0 one has θ(2,0)=123123212, which ends in st=12, and u=3. The word θ(2,0)3 121 = 1231232123121 is reduced: the braid-triplet distances are 1 and 3, both odd by Lemma 5D.9. Hence the left side contains the standard-basis element δ_{1231232123121} with coefficient 1 (length 13). On the right, the factor b_s b_t (b_t b_s − 1) lies in the finite Hecke algebra of {1,2}, whose standard-basis support has length at most 3; so every standard term on the right has length at most ℓ(θ)+3 = 12. The coefficient of that length-13 element is therefore 1 on the left and 0 on the right. Since this is precisely the case that must establish the uniform bound for beyond-the-wall elements ending in st, the proof of Lemma 5D.13 is incomplete, and Theorem 5D.14(b) is not proved as written.
minor comments (4)
- [§2B, Definition 2B.1] The sentence “in general, ν(b_x)ν(b_y) = 1” is confusing because ν(b_x) is not generally 1; this phrasing should be clarified or removed.
- [§5B] The numerical statement “|a_{n+2} − a_{n+1}| < |a_{n+1} − a_n| < 0.0001 for n∈{20,...,30}” should specify precisely how the normalized sequence a_n is indexed and which values were checked; as written it is hard to verify from the displayed data.
- [Lemma 3B.9] The quantity d_k is used in the table of values of d, but it is only defined inside the proof; defining d_k in the statement would improve readability.
- [References] The reference [Tub22] appears in the text as 2022 but the bibliography lists 2024; please make the year consistent.
Circularity Check
No circularity: the new asymptotics are proved from external multiplication rules and a published tensor-power theorem, not from the target formula.
full rationale
The derivation chain for the headline result, Theorem 5D.14(b), consists of three independent inputs. The coarse lower bound comes from Theorem 3C.1, proved in Section 3C from the projective-cell growth bound Lemma 3B.9, Shi's cell description, and Weyl's dimension formula. The upper bound comes from the Satake comparison in Theorem 3D.1 and Theorem 3D.4, invoking the published tensor-power theorem [CEO24, Theorem 2.5]; that theorem concerns symmetric tensor categories and representation categories, not affine Hecke categories, and its proof is not derived from the present claims, so it is external evidence rather than a circular input. The sharpened lower bound for one-sided longest elements in affine type A2 uses Lemma 5D.13, the uniform beyond-the-wall estimate nu(b_x b_w0) <= 12. Lemma 5D.13 is proved in Section 7 by direct bookkeeping from the multiplication rules of Libedinsky-Patimo [LP23], with no asymptotic scaling assumed. None of these inputs is defined in terms of nu(b_w^n) or its n^{-3/2} beta^n asymptotics. The scalar-poly-exp Ansatz is explicitly stated as a question in Question 1B.3, tested numerically in Section 5B, and the numerical data are labeled as evidence, not as proof. The skeptical objection concerning Lemma 7A.4 Case 3 is a purported false identity in the manual case analysis; if valid, that is a mathematical correctness issue, not circularity, because the claimed bound does not reduce to the theorem it is used to prove. Accordingly, no load-bearing step in the paper reduces to its own output by construction, and the circularity score is 0.
Assumptions & free parameters
free parameters (1)
- C (Coxeter element scalar estimate) =
approximately 0.14 to 0.15
assumptions (8)
- standard math Kazhdan-Lusztig basis at v=1 has nonnegative integral structure constants
- domain assumption Shi's description of the projective cell as the region outside all Shi strips
- domain assumption Every element in the projective cell is a uniformly bounded left/right correction of a Satake (spherical) element
- domain assumption Combinatorial Satake isomorphism: H_sph maps b_m_lambda to |W_f|[L(lambda)] and preserves multiplicative structure
- domain assumption Tensor-power asymptotics for faithful representations of complex reductive groups
- domain assumption Libedinsky-Patimo multiplication rules for affine A2
- standard math Every nontrivial finite-dimensional representation of a complex adjoint simple group is faithful
- domain assumption The span of the projective cell is a two-sided ideal in the KL cell decomposition
Cite this review
Pith. "Pith review of Growth in affine Hecke categories." pith.science (2026). https://pith.science/paper/BJIUWGYR
@misc{pith2026260809197,
author = {Pith},
title = {Pith review of: Growth in affine Hecke categories},
year = {2026},
howpublished = {\url{https://pith.science/paper/BJIUWGYR}},
note = {Machine review of arXiv:2608.09197}
}
read the original abstract
This paper studies the asymptotic growth of tensor powers in affine Hecke categories, or equivalently of powers of Kazhdan--Lusztig basis elements in affine Hecke algebras. We prove general bounds in arbitrary affine type, determine precise asymptotics in affine type A1, and establish corresponding results for several natural families in affine type A2.
Figures
Figures from the paper (2 more)
Reference graph
Works this paper leans on
-
[1]
Kazhdan-Lusztig polynomials for $\tilde{B}_2$
K. Batistelli, A. Bingham, and D. Plaza. Kazhdan--Lusztig polynomials for \( B_2\). J. Pure Appl. Algebra , 227(9):Paper No. 107385, 2023. https://arxiv.org/abs/2102.01278, https://doi.org/10.1016/j.jpaa.2023.107385 doi:10.1016/j.jpaa.2023.107385
work page Pith review arXiv 2023
-
[2]
P. Biane. Estimation asymptotique des multiplicit \'e s dans les puissances tensorielles d'un g -module. C. R. Acad. Sci. Paris S \'e r. I Math. , 316(8):849--852, 1993
work page 1993
-
[3]
R.M. Bryant and L.G. Kov \'a cs. Tensor products of representations of finite groups. Bull. London Math. Soc. , 4:133--135, 1972. https://doi.org/10.1112/blms/4.2.133 doi:10.1112/blms/4.2.133
-
[4]
Asymptotic properties of tensor powers in symmetric tensor categories
K. Coulembier, P. Etingof, and V. Ostrik. Asymptotic properties of tensor powers in symmetric tensor categories. Pure Appl. Math. Q. , 20(3):1141--1179, 2024. https://arxiv.org/abs/2301.09804, https://doi.org/10.4310/PAMQ.2024.v20.n3.a4 doi:10.4310/PAMQ.2024.v20.n3.a4
work page Pith review arXiv 2024
-
[5]
K. Coulembier, P. Etingof, V. Ostrik, and D. Tubbenhauer. Fractal behavior of tensor powers of the two dimensional space in prime characteristic. Contemp. Math. , Volume: 829; 2025; 291 pp, American Mathematical Society, [Providence], RI, [2025], ©2025. https://arxiv.org/abs/2405.16786, https://doi.org/10.1090/conm/829 doi:10.1090/conm/829
arXiv 2025
-
[6]
K. Coulembier, V. Ostrik, and D. Tubbenhauer. Growth rates of the number of indecomposable summands in tensor powers. Algebr. Represent. Theory , 27(2):1033--1062, 2024. https://arxiv.org/abs/2301.00885, https://doi.org/10.1007/s10468-023-10245-7 doi:10.1007/s10468-023-10245-7
arXiv 2024
-
[7]
K. Coulembier, J. O'Sullivan, and D. Tubbenhauer. Code and more for ``Growth in affine Hecke categories''. 2026. https://github.com/dtubbenhauer/growthaffinehecke
work page 2026
- [8]
Show all 31 references
-
[9]
Elias, S
B. Elias, S. Makisumi, U. Thiel, and G. Williamson. Introduction to Soergel bimodules . RSME Springer Series, 5. Springer, Cham, 2020. https://doi.org/10.1007/978-3-030-48826-0 doi:10.1007/978-3-030-48826-0
2020 doi
-
[10]
Gruber and D
J. Gruber and D. Tubbenhauer. Growth problems in diagram categories. Bull. Lond. Math. Soc. 57 (2025), no. 11, 3454--3469. https://arxiv.org/abs/2503.00685, https://doi.org/10.1112/blms.70163 doi:10.1112/blms.70163
2025 arXiv
-
[11]
D. He. Growth problems for representations of finite groups. To appear in Ark. Mat. , 2024. https://arxiv.org/abs/2408.04196
2024 arXiv
-
[12]
He and D
D. He and D. Tubbenhauer. Growth problems for representations of finite monoids. North-West. Eur. J. Math. 11 (2025), 103–117, i. https://arxiv.org/abs/2502.02849
2025 arXiv
-
[13]
He and D
D. He and D. Tubbenhauer. Tensor powers of representations of (diagram) monoids. 2025. https://arxiv.org/abs/2508.04054
2025 arXiv
-
[14]
J. E. Humphreys. Reflection groups and Coxeter groups . Cambridge Studies in Advanced Mathematics, 29. Cambridge University Press, Cambridge, 1990. https://doi.org/10.1017/CBO9780511623646 doi:10.1017/CBO9780511623646
1990 doi
-
[15]
Kazhdan and G
D. Kazhdan and G. Lusztig. Representations of Coxeter groups and Hecke algebras. Invent. Math. , 53(2):165--184, 1979. https://doi.org/10.1007/BF01390031 doi:10.1007/BF01390031
1979 doi
-
[16]
F. Knop. On the Kazhdan--Lusztig basis of a spherical Hecke algebra. Represent. Theory , 9:417--425, 2005. https://arxiv.org/abs/math/0403066, https://doi.org/10.1090/S1088-4165-05-00237-2 doi:10.1090/S1088-4165-05-00237-2
2005 arXiv
-
[17]
Lacabanne, D
A. Lacabanne, D. Tubbenhauer, and P. Vaz. Asymptotics in finite monoidal categories. Proc. Amer. Math. Soc. Ser. B , 10:398--412, 2023. https://arxiv.org/abs/2307.03044, https://doi.org/10.1090/bproc/198 doi:10.1090/bproc/198
2023 arXiv
-
[18]
Lacabanne, D
A. Lacabanne, D. Tubbenhauer, and P. Vaz. Asymptotics in infinite monoidal categories. High. Struct. , 9(2):168--197, 2025. https://arxiv.org/abs/2404.09513, https://doi.org/10.21136/HS.2025.14 doi:10.21136/HS.2025.14
2025 arXiv
-
[19]
Lachowska, O
A. Lachowska, O. Postnova, N. Reshetikhin, and D. Solovyev. Tensor powers of vector representation of U_q(sl_2) at even roots of unity. 2024. URL: https://arxiv.org/abs/2404.03933
2024 arXiv
-
[20]
M.J. Larsen. Bounds for \(SL_2\)-indecomposables in tensor powers of the natural representation in characteristic \(2\). Ann. Represent. Theory , 2(4):575--598, 2025. https://arxiv.org/abs/2405.16015, https://doi.org/10.5802/art.30 doi:10.5802/art.30
2025 arXiv
-
[21]
M.J. Larsen. Tensor power asymptotics for linearly reductive groups. 2025. https://arxiv.org/abs/2512.22985
2025
-
[22]
Libedinsky and L
N. Libedinsky and L. Patimo. On the affine Hecke category for \(SL_3\). Selecta Math. (N.S.) , 29(4):Paper No. 64, 42 pp., 2023. https://arxiv.org/abs/2005.02647, https://doi.org/10.1007/s00029-023-00864-9 doi:10.1007/s00029-023-00864-9
2023 arXiv
-
[23]
Lu and Y
M. Lu and Y. Zhang. Growth rates of indecomposable summands in tensor powers of representations of quivers. 2026. https://arxiv.org/abs/2605.03506
2026 arXiv
-
[24]
Lusztig and N
G. Lusztig and N. Xi. Canonical left cells in affine Weyl groups. Adv. Math. , 72(2):284--288, 1988. https://doi.org/10.1016/0001-8708(88)90031-X doi:10.1016/0001-8708(88)90031-X
1988 doi
-
[25]
O'Sullivan and D
J. O'Sullivan and D. Tubbenhauer. Growth problems of quantum groups. 2025. https://arxiv.org/abs/2511.06737
2025
-
[26]
N.-H. Sheu. Asymptotic growth of trivial summands in tensor powers. 2025. https://arxiv.org/abs/2501.11125
2025
-
[27]
N.-H. Sheu. Fractal behavior of tensor powers of tilting modules of \(SL_2\). 2025. https://arxiv.org/abs/2512.24317
2025
-
[28]
J.-Y. Shi. A two-sided cell in an affine Weyl group. J. London Math. Soc. (2) , 36(3):407--420, 1987. https://doi.org/10.1112/jlms/s2-36.3.407 doi:10.1112/jlms/s2-36.3.407
1987 doi
-
[29]
J.-Y. Shi. A two-sided cell in an affine Weyl group, II. J. London Math. Soc. (2) , 37(2):253--264, 1988. https://doi.org/10.1112/jlms/s2-37.2.253 doi:10.1112/jlms/s2-37.2.253
1988 doi
-
[30]
Tubbenhauer
D. Tubbenhauer. Sandwich cellularity and a version of cell theory. Rocky Mountain J. Math. , 54(6):1733--1773, 2024. https://arxiv.org/abs/2206.06678, https://doi.org/10.1216/rmj.2024.54.1733 doi:10.1216/rmj.2024.54.1733
2024 arXiv
-
[31]
N. Xi. The based ring of the lowest two-sided cell of an affine Weyl group, II. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , 27(1):47--61, 1994. https://doi.org/10.24033/asens.1688 doi:10.24033/asens.1688
1994 doi
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.