pith. machine review for the scientific record. sign in

arxiv: 2604.20604 · v1 · submitted 2026-04-22 · 🧮 math.RT · math.QA

Recognition: unknown

Almost finitary birepresentation theory and applications to affine Soergel bimodules

Marco Mackaay, Pedro Vaz, Vanessa Miemietz

Pith reviewed 2026-05-09 22:37 UTC · model grok-4.3

classification 🧮 math.RT math.QA
keywords almost finitary bicategoriesbirepresentation theorySoergel bimodulesinfinite Coxeter groupsextended affine type Asimple objectsreduction processclassification of birepresentations
0
0 comments X

The pith

A generalization of finitary birepresentation theory applies to Soergel bimodules of infinite Coxeter groups via a reduction process for simple objects.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper extends finitary birepresentation theory to an almost finitary setting that accommodates the bicategories formed by Soergel bimodules when the underlying Coxeter group is infinite. It introduces a reduction procedure that classifies simple birepresentations by relating them to simpler, finitary substructures. The authors then carry out the classification explicitly for the extended affine type A case. A reader would care because standard finitary methods fail for infinite groups, so this supplies a workable route to understanding the simple objects that control the representation theory in those settings. If the reduction works, it turns the problem of classifying simples in the infinite case into a finite one.

Core claim

We develop a generalization of finitary birepresentation theory applicable to Soergel bimodules for infinite Coxeter groups. We establish a reduction process for the classification of simple birepresentations of almost finitary bicategories, and consider in detail the case of Soergel bimodules in extended affine type A.

What carries the argument

The reduction process for simple birepresentations of almost finitary bicategories, which extends finitary theory by permitting controlled infinite-dimensional features while preserving classification properties.

If this is right

  • Simple birepresentations of almost finitary bicategories reduce to those of finitary ones.
  • The Soergel bimodules of extended affine type A admit a concrete classification of their simple birepresentations.
  • The same reduction applies to Soergel bimodules for other infinite Coxeter groups once the almost finitary structure is verified.
  • Birepresentation theory now covers bicategories that are not strictly finitary.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The reduction may let researchers compute simples in affine Hecke algebra categorifications by first solving the finite-type subproblems.
  • Similar almost finitary techniques could apply to other 2-categorical constructions arising from infinite groups in knot theory or quantum algebra.
  • If the reduction is functorial, it would give a way to compare birepresentations across different infinite Coxeter types.

Load-bearing premise

The finitary theory extends directly to almost finitary bicategories without losing classification power or introducing inconsistencies when the underlying Coxeter group is infinite.

What would settle it

A simple birepresentation of the Soergel bimodule bicategory in extended affine type A that cannot be reduced by the process to a finitary classification case.

read the original abstract

In this article, we develop a generalization of finitary birepresentation theory applicable to Soergel bimodules for infinite Coxeter groups. We establish a reduction process for the classification of simple birepresentations of almost finitary bicategories, and consider in detail the case of Soergel bimodules in extended affine type A.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper introduces the notion of almost finitary bicategories as a generalization of finitary bicategories, develops a reduction process for classifying their simple birepresentations, and applies the framework in detail to the bicategory of Soergel bimodules for extended affine type A Coxeter groups.

Significance. If the reduction process is shown to preserve simplicity and exhaust all cases, the work would provide a systematic extension of birepresentation classification from finite to infinite Coxeter groups, with potential applications to affine Hecke algebras and categorification. The explicit treatment of extended affine type A offers a concrete test case that could serve as a model for other infinite types.

major comments (2)
  1. [§4, Theorem 4.5] §4, Theorem 4.5 (the reduction theorem): the statement that every simple almost finitary birepresentation arises from a simple finitary one via the quotient functor relies on the claim that the kernel of the quotient map contains no nonzero simple objects; this is asserted but the proof sketch does not address whether the almost-finitary grading or the infinite Coxeter relations could produce additional simple objects outside the finitary quotient.
  2. [§6, Proposition 6.3] §6, Proposition 6.3 (application to extended affine type A): the verification that the Soergel bimodule bicategory is almost finitary uses a specific bound on the support of morphisms that depends on the affine length function; it is not shown that this bound is independent of the choice of reduced expression or that it survives the passage to the extended affine Weyl group, which is load-bearing for the claim that the classification reduces to the finitary case.
minor comments (2)
  1. [Introduction] The introduction does not cite the original finitary birepresentation papers (e.g., the works of Mazorchuk–Miemietz or related 2-representation literature) when defining the finitary baseline, making the precise scope of the generalization harder to assess.
  2. [§5] Notation for the bicategory of Soergel bimodules (e.g., the symbols for the grading shift and the affine action) is introduced in §5 without a consolidated table or reference to standard conventions in Soergel bimodule literature.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and valuable comments on our manuscript. We have carefully considered the major comments and provide point-by-point responses below, along with plans for revisions to address the concerns raised.

read point-by-point responses

  1. Referee: [§4, Theorem 4.5] §4, Theorem 4.5 (the reduction theorem): the statement that every simple almost finitary birepresentation arises from a simple finitary one via the quotient functor relies on the claim that the kernel of the quotient map contains no nonzero simple objects; this is asserted but the proof sketch does not address whether the almost-finitary grading or the infinite Coxeter relations could produce additional simple objects outside the finitary quotient.

    Authors: We appreciate the referee highlighting this aspect of the proof of Theorem 4.5. The claim that the kernel contains no nonzero simple objects is based on the fact that any object in the kernel would have to be annihilated by the quotient, but in an almost finitary bicategory, the endomorphism spaces are finite-dimensional in each graded component, preventing the existence of nonzero simples in the kernel. To address the concern about additional simples from the grading or infinite relations, we note that the infinite Coxeter relations are already incorporated into the definition of the bicategory, and the almost-finitary condition ensures that no new simples appear outside the finitary quotient. Nevertheless, we acknowledge that the current proof sketch is concise and will expand it in the revision to include a full verification that no such additional simple objects can arise, by considering the possible supports and using the exactness of the quotient functor. revision: yes

  2. Referee: [§6, Proposition 6.3] §6, Proposition 6.3 (application to extended affine type A): the verification that the Soergel bimodule bicategory is almost finitary uses a specific bound on the support of morphisms that depends on the affine length function; it is not shown that this bound is independent of the choice of reduced expression or that it survives the passage to the extended affine Weyl group, which is load-bearing for the claim that the classification reduces to the finitary case.

    Authors: We thank the referee for this observation on Proposition 6.3. The support bound is indeed derived using the affine length function, which by definition in Coxeter groups is independent of any particular reduced expression, as it counts the minimal number of generators needed. We will add a clarifying remark or short proof in the revised manuscript to explicitly state this independence. Furthermore, for the extended affine Weyl group, which is a semidirect product of the affine Weyl group with the finite group of automorphisms, the bimodule category extends naturally, and the support bounds carry over because the additional morphisms from the finite part have bounded support by finitariness. This ensures the bicategory remains almost finitary, allowing the reduction to the finitary case. We will include this explanation to make the argument complete. revision: yes

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on extending standard bicategory and Soergel bimodule axioms to an almost finitary setting; no free parameters or new invented entities with independent evidence are visible from the abstract.

axioms (1)
  • standard math Standard axioms of bicategories, finitary representations, and Soergel bimodules for Coxeter groups
    The generalization presupposes the prior finitary theory and the definition of Soergel bimodules as established objects.
invented entities (1)
  • almost finitary bicategory no independent evidence
    purpose: To extend finitary birepresentation theory to infinite Coxeter groups
    New concept introduced to relax the finitary condition while preserving enough structure for a reduction process.

pith-pipeline@v0.9.0 · 5343 in / 1361 out tokens · 167063 ms · 2026-05-09T22:37:22.670174+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

12 extracted references · 4 canonical work pages

  1. [1]

    [A] L. Abrams. Modules, comodules, and cotensor products over Frobenius algebras. J. Alg.219 (1999), 201–213. [Be] R. Bezrukavnikov. On tensor categories attached to cells in affine Weyl groups. In: ”Representa- tion theory of algebraic groups and quantum groups,” 69–90, Adv. Stud. Pure Math., 40, Math. Soc. Japan, Tokyo,

    1999

  2. [2]

    Bezrukavnikov, V

    [BO] R. Bezrukavnikov, V. Ostrik. On tensor categories attached to cells in affine Weyl groups II, in ”Representations of algebraic groups and quantum groups”, Advanced Studies in Pure Math., vol. 40, Math. Soc. of Japan, Tokyo, 2004, p. 101–119. [Br] S. Breaz. The Krull-Remak-Schmidt-Azumaya Theorem for idempotent complete categories. Preprint arXiv:2503...

    work page arXiv 2004

  3. [3]

    Elias, M

    [EH] B. Elias, M. Hogancamp. Categorical diagonalization of full twists. Duke Math. J.174(2025), 2513–2650. [EL] B. Elias, N. Libedinsky. Indecomposable Soergel bimodules for Universal Coxeter groups. Trans. Amer. Math. Soc.369(2017), no. 6, 3883–3910. [EMTW] B. Elias, S. Makisumi, U, Thiel, G. Williamson.Introduction to Soergel bimodules. RSMI Springer S...

    2025

  4. [4]

    Elias, L

    [ERT] B. Elias, L. Rogel, D. Tubbenhauer. Idempotents, traces, and dimensions in Hecke categories. Preprint arXiv:2507.10061. [EW1] B. Elias, G. Williamson. The Hodge theory of Soergel bimodules. Ann. of Math. (2)180(2014), no. 3, 1089-1136 [EW2] B. Elias, G. Williamson. Soergel calculus. Represent. Theory20(2016), 295–374 [EW3] B. Elias, G. Williamson. R...

    work page arXiv 2014

  5. [5]

    URL: https://arxiv.org/abs/1607.03271, doi:10.4171/jems/1061. [EG] P. Etingof, S. Gelaki. Invariant Hopf 2-cocycles for affine algebraic groups. International Mathe- matics Research Notices, Vol. 2020, No. 2, 344—366. [EO] P. Etingof, V. Ostrik. Module categories over representations ofSL q(C)and graphs. Math. Res. Let.11(2004), 103–114. [Fa] C. Faith. Al...

    work page doi:10.4171/jems/1061 2020

  6. [6]

    [Ge] S. Gelaki. Module categories over affine group schemes. Quantum Topol.6(2015), 1–37. [GL] J. Graham, G. Lehrer. The representation theory of affine Temperley-Lieb algebras, Enseign. Math.44(1998), 173–218. [HM] K. Hristova, V. Miemietz. Basic Hopf algebras and symmetric bimodules. J. Pure Appl. Algebra 227 (2023), no. 7, 107328. [Hu] J. E. Humphreys....

    2015

  7. [7]

    [Jo] H. Jonsson. On simple transitive2-representations of bimodules over the dual numbers. Algebr. Represent. Theor.26(2023), 2057–2083. [Ka] G. Karpilovsky.The Schur Multiplier. LMS Monographs New Series, Oxford University Press,

    2023

  8. [8]

    [Ke] G. M. Kelly. Basic concepts of enriched category theory. Repr. Theory Appl. Categ. No. 10 (2005). Reprint of the 1982 original. 54 MARCO MACKAAY, VANESSA MIEMIETZ, AND PEDRO VAZ [KMMZ] T. Kildetoft, M. Mackaay, V. Mazorchuk, J. Zimmermann. Simple transitive2- representations of small quotients of Soergel bimodules. Trans. Amer. Math. Soc. 371 (2019),...

    2005

  9. [9]

    Laugwitz, V

    [LM] R. Laugwitz, V. Miemietz. Pretriangulated2-representations via dg algebra1-morphisms. Doc. Math. 30 (2025), no. 6, 1271–1323. [Lu] G. Lusztig. Hecke algebras with unequal parameters, volume 18 of CRM Monograph Series. Amer- ican Mathematical Society, Providence, RI,

    2025

  10. [10]

    URL: https://arxiv.org/abs/math/0208154. [Lu1] G. Lusztig. Cells in affine Weyl groups. J. Advances in Pure Mathematics6(1985), Algebraic Groups and Related Topics, 255–287. [Lu2] G. Lusztig. Cells in affine Weyl groups II. J. Algebra109(1987), 536–548. [Lu3] G. Lusztig. Cells in affine Weyl groups IV. J. Fac. Sci. Univ. Tokyo Sect. IA Math.36(1989), No. ...

    work page arXiv 1985

  11. [11]

    [NPT] K. A. Nguyen, M. V. D. Put, J. Top. Algebraic subgroups ofGL(2,C). Indagationes mathematicae-New series,19(2) (2008), 287–297. [Oh] C. Ohn. QuantumSL(3,C)’s with classical representation theory. J. Alg.213(2) (1999), 721–756. [Ri] E. Riehl. Categorical homotopy theory. New Mathematical Monographs,

    2008

  12. [12]

    [Sc] J. Schur. Untersuchungen ¨ uber die Darstellung der endlichen Gruppen durch gebrochene lineare Substitutionen. Journal f¨ ur die reine und angewandte Mathematik132(1907), 85–137. [Wi] G. Williamson. Singular Soergel bimodules. Int. Math. Res. Not. 2011, No. 20, 4555-4632. [Xi] N. Xi. The based ring of two-sided cells of affine Weyl groups of type eAn...

    1907