Towards interpolating categories for equivariant map algebras

Saima Samchuck-Schnarch

REVIEW 3 major objections 4 minor 21 references

Towards interpolating categories for equivariant map algebras

T0 review · 3 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper defines (equivariant) map-algebra modules in any symmetric monoidal $k$-linear category via string diagrams, and proposes a candidate interpolating category for current $\mathfrak{gl}_n$-modules built from the oriented Brauer…

desk verdict Solid categorical definitions and lemmas for (equivariant) map algebra modules, but the advertised interpolating category has a concrete essential-surjectivity obstruction beyond the unproved fullness conjecture. read the letter →

arxiv 2504.21163 v1 pith:RGRBUDAO submitted 2025-04-29 math.RT math.CT

Saima Samchuck-Schnarch This is my paper · ORCID

classification math.RTmath.CT MSC 18M3018M0517B10

keywords stringdiagrammonoidalcategoryLiealgebraequivariantmapcurrentinterpolatingorientedBrauermodulecategories

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper gives string-diagrammatic definitions of modules for map algebras $\mathfrak{g}\otimes A$ and equivariant map algebras $(\mathfrak{g}\otimes A)^\Gamma$ inside any symmetric monoidal $k$-linear category $\mathcal{C}$, rather than only in vector spaces. In $\mathcal{C}=\mathrm{Vec}_k$ these definitions recover ordinary modules for $\mathfrak{g}\otimes A$ and for the fixed-point algebra $(\mathfrak{g}\otimes A)^\Gamma$, so they unify known examples including current, loop, multicurrent, multiloop and twisted algebras. The main new proposal is a candidate interpolating category $\mathrm{Curr}(\mathrm{OB})$ built from the oriented Brauer category: it is the full subcategory of $(L,k[t])$-modules (current $L$-modules) whose underlying $L$-module structure is canonical, with functors $\mathrm{Curr}(I_n)$ to $(\mathfrak{gl}_n\otimes k[t])$-mod. The paper proves surrounding structure lemmas but leaves the decisive fullness property as Conjecture 4.8, so the interpolation claim is a well-formulated conjecture rather than an established theorem.

What carries the argument

The central object is the oriented Brauer category $\mathrm{OB}$, the free $k$-linear symmetric monoidal category on an object $\uparrow$ with dual $\downarrow$, equipped with incarnation functors $I_n: \mathrm{OB}(n)\to \mathfrak{gl}_n$-mod that are full for each $n$ (after specialization at the dimension parameter $\delta=n$). Inside $\mathrm{OB}$ one forms the Lie algebra $L=(\uparrow\downarrow, -)$, whose incarnation is $\mathfrak{gl}_n$ with natural module $\uparrow$ and dual $\downarrow$. The new machinery is Definition 3.6: instead of constructing the object $L\otimes A$, an $(L,A)$-module packages the action of $L\otimes A$ as a family of morphisms $\varphi_a: L\otimes V\to V$ indexed by $A$, satisfying a linear combination rule and the Leibniz identity $\varphi_b\varphi_a = \varphi_{ab} + \varphi_a\varphi_b$. This internal-external hybrid lets current-algebra modules be studied in diagrammatic categories for all $n$ simultaneously, and for non-integer dimension parameters $\delta$ where no $\mathfrak{gl}_\delta$ exists. The candidate interpolating category $\mathrm{Curr}(\mathrm{OB})$ is the full subcategory of these current $L$-modules whose underlying $L$-module structure is the canonical one obtained through the incarnation functor, a restriction designed to avoid the failure of fullness exhibited in Remark 4.9.

What would settle it

A concrete counterexample to Conjecture 4.8 would settle it: for some $n$, two current $L$-modules $V,W$ in $\mathrm{Curr}(\mathrm{OB}(n))$ and a morphism between $\mathrm{Curr}(I_n)(V)$ and $\mathrm{Curr}(I_n)(W)$ in $(\mathfrak{gl}_n\otimes k[t])$-mod that has no preimage in $\mathrm{Curr}(\mathrm{OB}(n))$. The paper's own calculations around $\uparrow\uparrow\uparrow\uparrow$ for $n=2$ show the preimage spaces depend on the choice of kernel elements $k_1,k_2$; a computational search over such choices could produce an empty preimage space, disproving fullness.

Watch

Extended reading notes

Core claim

Definition 3.6 introduces an $(L,A)$-module in a symmetric monoidal $k$-linear category $\mathcal{C}$ as an object $V$ with action morphisms $\varphi_a: L\otimes V\to V$ for each $a\in A$ satisfying $\varphi_{\lambda a+\mu b} = \lambda\varphi_a+\mu\varphi_b$ and the Leibniz-type identity $\varphi_b\circ \varphi_a = \varphi_{ab} + \varphi_a\circ\varphi_b$. When $\mathcal{C}=\mathrm{Vec}_k$ these are exactly modules for the map algebra $L\otimes A$ with its usual bracket. Definition 3.17 extends the setup to a $\widehat{\Gamma}$-graded Lie algebra $L$ and a $\Gamma$-action on $A$, producing equivariant $(\Gamma,L,A)$-modules that, in $\mathrm{Vec}_k$, are modules for the equivariant map algebra $(\mathfrak{g}\otimes A)^\Gamma$. The paper proves that these module categories are symmetric monoidal (Proposition 3.23), admit duals (Lemma 3.24), and are transported by symmetric monoidal functors (Lemma 3.25). It then specializes to the oriented Brauer category $\mathrm{OB}$, where the object $L=(\uparrow\downarrow, -)$ represents $\mathfrak{gl}_n$ for each $n$, and defines $\mathrm{Curr}(\mathrm{OB})$ in Definition 4.7 as the full subcategory of current $L$-modules with canonical underlying $L$-module structure. Conjecture 4.8 asserts that the induced functors $\mathrm{Curr}(I_n): \mathrm{Curr}(\mathrm{OB}(n))\to (\mathfrak{gl}_n\otimes k[t])$-mod are full, which would make $\mathrm{Curr}(\mathrm{OB})$ an interpolating category for the family of current $\mathfrak{gl}_n$-module categories.

Load-bearing premise

The proposal stands or falls on the unproved conjecture that the functors $\mathrm{Curr}(I_n)$ are full, together with the choice to restrict to current modules whose underlying $L$-module structure is canonical; if either is wrong, $\mathrm{Curr}(\mathrm{OB})$ does not actually interpolate the categories $(\mathfrak{gl}_n\otimes k[t])$-mod.

Editorial extensions

If this is right

If Conjecture 4.8 holds, $\mathrm{Curr}(\mathrm{OB})$ is an interpolating category for the family $(\mathfrak{gl}_n\otimes k[t])$-mod, enabling uniform, $n$-independent arguments in the representation theory of current algebras.
In $\mathcal{C}=\mathrm{Vec}_k$, $(L,A)$-modules and equivariant $(\Gamma,L,A)$-modules recover ordinary modules for map algebras $\mathfrak{g}\otimes A$ and equivariant map algebras $(\mathfrak{g}\otimes A)^\Gamma$, covering current, loop, multicurrent, multiloop and twisted algebras in one framework.
The category $(\Gamma,L,A)$-mod is symmetric monoidal and closed under duals, so tensor products and duals of such modules exist categorically.
Symmetric monoidal functors transport these module categories, so the same constructions carry over to other diagrammatic categories such as the Brauer category, Frobenius Brauer supercategories, and F4/G2 diagrammatic categories.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Editorial inference: The restriction to canonical underlying $L$-module structures in Definition 4.7 is a response to the non-fullness example in Remark 4.9, but it is not yet shown to capture all $\mathfrak{gl}_n\otimes k[t]$-modules one cares about; a natural test is whether every finite-dimensional irreducible current $\mathfrak{gl}_n$-module, or at least every evaluation module, arises from a
Editorial inference: The internal-external device of indexing action morphisms by an external algebra $A$ suggests a general recipe for interpolating categories for other families of modules, e.g. modules for the $J$-presentation of current algebras, which the paper lists as future work.
Editorial inference: Proving Conjecture 4.8 may require a description of the kernel of $\mathrm{Curr}(I_n)$ along the lines of Lemma 4.10, since the $n=2$ examples show that preimage spaces are governed by kernel elements; analysing the 10-dimensional kernel on $\uparrow\uparrow\uparrow\uparrow$ further could reveal whether fullness holds.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Short version: the definitions and the lemmas around them are solid and useful; the advertised interpolating category is a genuinely interesting idea but, as it stands, the construction has a concrete obstruction that goes beyond the unproved fullness conjecture. The paper needs to either specify a target subcategory or change the construction.

What is new: Definition 3.6 and Definition 3.17 give a clean categorical generalization of modules for map algebras and equivariant map algebras, and in Vec they recover L⊗A-modules and (g⊗A)^Γ-modules. That is a real contribution, and the diagrammatic framework is well chosen. The structural results—monoidal structure (3.23), duals (3.24), equivariant evaluation modules (3.22), and the extension constructions (3.31, 3.33)—are mostly straightforward but correctly proved. I also appreciate the explicit honesty about what is conjectural.

The soft spot: the interpolation claim in Section 4. Definition 4.7 restricts to current L-modules with canonical underlying L-module precisely to dodge the non-fullness example in Remark 4.9. Conjecture 4.8, that Curr(I_n) is full, is open. That is fine for a 'towards' paper, but there is a sharper gap. Every object in the image of Curr(I_n) has underlying gl_n-module of the form U^{⊗p}⊗(U*)^{⊗q}, so the identity of gl_n acts by p−q, an integer. A one-dimensional gl_n⊗k[t]-module with the identity acting by a non-integer scalar is not in the essential image. So if the target is all current gl_n-modules, Conjecture 4.8 is not the missing piece; the category is not essentially surjective. The paper needs to specify what the target category is and what 'interpolating' is supposed to mean here—fullness, essential surjectivity, or an equivalence on some subcategory. This is fixable, but the current text leaves the main claim under-specified.

Who is this for: people working on diagrammatic categorification of current/loop algebra modules, and anyone who wants a graphical calculus for equivariant map algebra representations. The definitions alone are citable. The interpolating category needs more work before it can be used as a theorem.

Recommendation: send it to peer review. A serious referee can push the author to sharpen the interpolation claim, and the core definitions deserve to be on record. I would not desk-reject.

Referee Report

3 major / 4 minor

Summary. The paper develops a string-diagrammatic framework for modules over map algebras and equivariant map algebras internal to symmetric monoidal k-linear categories. Definition 3.6 introduces (L,A)-modules via action morphisms satisfying (3.4), which specialize to L⊗A-modules when C = Vec_k; Definition 3.17 introduces equivariant (Γ,L,A)-modules specializing to modules for (g⊗A)^Γ. The paper proves a monoidal structure (Proposition 3.23), duals (Lemma 3.24), equivariant evaluation modules (Proposition 3.22), and current-module truncations and extensions (Propositions 3.31 and 3.33). In Section 4, the formalism is applied to the oriented Brauer category OB, defining the current algebra object L = ↑↓ and the candidate interpolating category Curr(OB(n)) consisting of current L-modules with canonical underlying L-module structure. Conjecture 4.8 states that the induced functors Curr(I_n) are full, which the paper interprets as making Curr(OB) a candidate interpolating category for the family (gl_n⊗k[t])-mod.

Significance. The framework is self-contained, and the proved lemmas appear internally consistent; the recovery of ordinary L⊗A-modules and (g⊗A)^Γ-modules when C = Vec_k provides a clear external benchmark. The diagrammatic proofs are explicit, and the constructions of evaluation modules, duals, and current-module extensions are potentially useful tools. If the interpolation claim were made precise and proved, this would be a meaningful contribution to categorical representation theory. The main limitation is that the headline interpolation statement remains conjectural and, more importantly, the precise target category and the notion of interpolation are not specified.

major comments (3)

[§4, Definition 4.7 and Conjecture 4.8] The precise target of the proposed interpolation is not stated. Every object of Curr(OB(n)) has underlying L-module I(X) for some X in OB(n), so every module in the image of Curr(I_n) has underlying gl_n-module In(X). For any such X, the identity element of gl_n acts on In(X) by the integer (#↑ − #↓), because In(X) is a tensor product of copies of the natural module and its dual. Consequently, a one-dimensional gl_n⊗k[t]-module on which the identity of gl_n acts by a non-integral scalar and t acts by a scalar is not isomorphic to Curr(I_n)(V) for any V. If the intended target is the whole category (gl_n⊗k[t])-mod, then Conjecture 4.8, which only asserts fullness, cannot establish interpolation; the paper must specify the target subcategory and state whether interpolation means full functors, essential surjectivity, or an equivalence.
[§4, Conjecture 4.8 and the discussion after Lemma 4.10] Conjecture 4.8 is the only bridge from Curr(OB(n)) to (gl_n⊗k[t])-mod, and it is unproved. The computations in the discussion after Lemma 4.10 give necessary conditions and low-dimensional examples, but no proof of fullness is provided. Because the abstract and introduction present Curr(OB) as the main construction of the paper, the central claim is conditional on an open conjecture. The manuscript should either prove fullness (or a substantial restricted version) or explicitly state that the interpolation application is only a conjecture and avoid the phrasing 'hence Curr(OB) is an interpolating category' in Conjecture 4.8.
[§4, Remark 4.9] The restriction to canonical underlying L-module structures is introduced specifically to avoid the non-fullness counterexample in Remark 4.9, but no independent justification is given. This restriction excludes legitimate gl_n⊗k[t]-modules, such as the trivial module on the natural representation, whose underlying gl_n-module is not of the form In(X) with the canonical structure. If the goal is to interpolate all current gl_n-modules, the restriction is not harmless; if the goal is only to interpolate the subcategory generated by canonical modules, that subcategory should be described explicitly and justified as the right target.

minor comments (4)

[Abstract] The phrase 'how our definitions can applied' should read 'how our definitions can be applied'.
[§4, after Lemma 4.10] The claim that the kernel of I_2 restricted to End_OB(2)(↑↑↑↑) is 10-dimensional is said to follow from 'direct computer calculations', but no code or detailed data are provided. For reproducibility, the manuscript should include the relevant code or a precise description of the computation.
[Lemma 3.24] The statement begins 'Let be an equivariant (Γ,L,A)-module', with the module symbol missing. Presumably the intended wording is 'Let V be an equivariant (Γ,L,A)-module'.
[Definition 3.17] The notation (Γ,L,A)-mod suppresses the fixed Γ-action on A from the notation. This is acknowledged in the text, but a reader may confuse the category with one in which the action is part of the data; a brief remark or a subscript would improve clarity.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the categorical definitions are checked against the Vec_k benchmarks L⊗A-modules and (g⊗A)^Γ-modules by explicit construction, and the interpolation claim is openly stated as a conjecture rather than smuggled in.

full rationale

The paper's central definitions, Definition 3.6 and Definition 3.17, are verified by explicit translation against the external benchmarks C=Vec_k: an (L,A)-module is shown to be equivalent to an L⊗A-module by writing (x⊗a)·v = a(x⊗v), and equivariant (Γ,L,A)-modules are shown equivalent to modules for (g⊗A)^Γ in Example 3.18. These are direct constructions, not fitted inputs or renamed conclusions. The candidate interpolating category Curr(OB) is introduced in Definition 4.7 as a full subcategory of (L,k[t])-mod whose underlying L-module structures are canonical, and the desired fullness property is explicitly stated as Conjecture 4.8, with Remark 4.9 and Lemma 4.10 used to explain what remains to be proved. This is a conditional proposal, transparently labeled as a conjecture, not a derivation that reduces to its own inputs. The restriction to canonical underlying L-modules is a definitional choice motivated by avoiding a known non-fullness example; whether that restriction is the right one is a mathematical completeness question, not circularity. Citations to [SSS24] and [MS23] are used only to fix presentations of known diagrammatic categories and are not load-bearing for the new construction or for the conjecture. No parameter is fitted to data and then renamed as a prediction. Therefore the derivation chain is self-contained at the level claimed, and the unproved fullness of Curr(I_n) is a correctness gap, not circularity.

Assumptions & free parameters 0 free parameters · 5 assumptions · 1 invented entities

The definitions are explicit and do not introduce fitted parameters; the construction leans on standard category-theoretic axioms and on two cited theorems about the oriented Brauer category. The only new postulated object is the candidate category Curr(OB), and its defining property is explicitly conjectural.

assumptions (5)

domain assumption The ground field k has characteristic 0.
Section 2.1 fixes char 0; used for expressions such as 1/(n+1)! in Lemma 4.10 and for field-valued evaluation maps.
standard math Symmetric monoidal k-linear categories with duals satisfy the diagrammatic identities (CROSS), (ZIGZAG), and (DELOOP).
Section 2.2 assumes these identities for all categories considered; all proofs manipulate string diagrams using them.
standard math The oriented Brauer category OB is the free symmetric monoidal k-linear category generated by an object and its dual (Lemma 4.2, citing BCNR17 Cor. 3.1).
Used to construct the incarnation functors I_n and the functor I: OB→(L,k[t])-mod in Section 4.
standard math The kernel of I_n: OB(n)→gl_n-mod is the tensor ideal generated by the (n+1)-strand antisymmetrizer (Lemma 4.10, citing Bru17 Thm. 1.10).
Used in the fullness discussion and in the n=2 examples; the paper relies on this cited theorem rather than proving it.
standard math The incarnation functors I_n: OB(n)→gl_n-mod are full (cited from CW12, Section 8.3).
Basis for calling OB an interpolating category and for the analogous conjecture for Curr(I_n).

invented entities (1)

The candidate interpolating category Curr(OB) and its specializations Curr(OB(n))
purpose: To organize the categories of gl_n⊗k[t]-modules for all n at once, and to allow non-integer dimension parameters.
The key fullness property is Conjecture 4.8, which is left unproved; the paper supplies only low-dimensional examples, so the entity has no independent verification outside the paper.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Towards interpolating categories for equivariant map algebras." pith.science (2026). https://pith.science/paper/RGRBUDAO

@misc{pith2026250421163,
  author       = {Pith},
  title        = {Pith review of: Towards interpolating categories for equivariant map algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RGRBUDAO}},
  note         = {Machine review of arXiv:2504.21163}
}

abstract

Using the language of string diagrams, we define categorical generalizations of modules for map algebras $\mathfrak{g} \otimes A$ and equivariant map algebras $(\mathfrak{g} \otimes A)^\Gamma$, where $\mathfrak{g}$ is a Lie algebra, $A$ is a commutative associative algebra, and $\Gamma$ is an abelian group acting on $\mathfrak{g}$ and $A$. After establishing some properties of these modules, we present several examples of how our definitions can applied in various diagrammatic categories. In particular, we use the oriented Brauer category OB to construct a candidate interpolating category for the categories of $\mathfrak{gl}_n \otimes k[t]$-modules.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 11 canonical work pages

[2]

011, doi:10.3842/sigma.2017.011

URL: http://dx.doi.org/10.3842/SIGMA.2017. 011, doi:10.3842/sigma.2017.011. [Bra37] Richard Brauer. On algebras which are connected with the semisimple continuous groups. Ann. of Math. (2), 38(4):857–872,

work page doi:10.3842/sigma.2017 2017
[4]

TOWARDS INTERPOLATING CATEGORIES FOR EQUIVARIANT MAP ALGEBRAS 23 [CFK10] Vyjayanthi Chari, Ghislain Fourier, and Tanusree Khandai

arXiv:1712.08953. TOWARDS INTERPOLATING CATEGORIES FOR EQUIVARIANT MAP ALGEBRAS 23 [CFK10] Vyjayanthi Chari, Ghislain Fourier, and Tanusree Khandai. A categorical approach to Weyl modules. Transform. Groups, 15(3):517–549,

arXiv
[14]

2011, doi:10.2140/pjm.2010.245.167

arXiv:0811. 2011, doi:10.2140/pjm.2010.245.167. [LZ15] Gustav Lehrer and Ruibin Zhang. The Brauer category and invariant theory. J. Eur. Math. Soc. (JEMS) , 17(9):2311–2351,

work page doi:10.2140/pjm.2010.245.167 2011
[16]

Affine oriented Frobenius Brauer categories

arXiv:2101.04582, doi:10.1080/00927872.2022.2113401. [Neh11] Erhard Neher. Extended affine Lie algebras—an introduction to their structure theory. In Geometric representation theory and extended affine Lie algebras , volume 59 of Fields Inst. Commun. , pages 107–

work page Pith review arXiv 2022
[18]

Irreducible finite-dimensional representations of equivariant map algebras

arXiv:0906.5189, doi: 10.1090/S0002-9947-2011-05420-6 . [Sav21] Alistair Savage. String diagrams and categorification. In Interactions of quantum affine algebras with cluster algebras, current algebras and categorification—in honor of Vyjayanthi Chari on the occasion of her 60th birthday , volume 337 of Progr. Math., pages 3–36. Birkh¨ auser/Springer, Cham,

work page Pith review arXiv 2011
[21]

[TV17] Vladimir Turaev and Alexis Virelizier

doi:10.1070/IM1990v035n02ABEH000711. [TV17] Vladimir Turaev and Alexis Virelizier. Monoidal categories and topological field theory , volume 322 of Progress in Mathematics. Birkh¨ auser/Springer, Cham, 2017.doi:10.1007/978-3-319-49834-8

doi:10.1070/im1990v035n02abeh000711 2017
[1937]

[Bru17] Jonathan Brundan

doi:10.2307/1968843. [Bru17] Jonathan Brundan. Representations of the oriented skein category,

doi:10.2307/1968843
[1989]

[Kup94] Greg Kuperberg

doi:10.1016/0001-8708(89)90004-2. [Kup94] Greg Kuperberg. The quantum G2 link invariant. Internat. J. Math. , 5(1):61–85,

doi:10.1016/0001-8708(89)90004-2

Show all 21 references

[1994]

[Kup96] Greg Kuperberg

arXiv:math/ 9201302, doi:10.1142/S0129167X94000048. [Kup96] Greg Kuperberg. Spiders for rank 2 Lie algebras. Comm. Math. Phys. , 180(1):109–151,

doi
[1996]

[Lau10] Michael Lau

URL: http: //projecteuclid.org/euclid.cmp/1104287237, arXiv:q-alg/9712003. [Lau10] Michael Lau. Representations of multiloop algebras. Pacific J. Math. , 245(1):167–184,
[2004]

[GSZ23] Raj Gandhi, Alistair Savage, and Kirill Zainoulline

arXiv:0212001v4, doi:10.1007/s00220-004-1166-8 . [GSZ23] Raj Gandhi, Alistair Savage, and Kirill Zainoulline. Diagrammatics for F4. Bulletin of the London Math- ematical Society, 55(1):349–374,

doi
[2005]

[CP94] Vyjayanthi Chari and Andrew Pressley

arXiv:math/ 0502409, doi:10.1090/conm/392/07350. [CP94] Vyjayanthi Chari and Andrew Pressley. A guide to quantum groups . Cambridge University Press, Cam- bridge,

doi
[2010]

[CG05] Vyjayanthi Chari and Jacob Greenstein

arXiv:0906.2014, doi:10.1007/s00031-010-9090-9 . [CG05] Vyjayanthi Chari and Jacob Greenstein. An application of free Lie algebras to polynomial current algebras and their representation theory. In Infinite-dimensional aspects of representation theory and applications , volume...

2014 arXiv
[2011]

[NSS12] Erhard Neher, Alistair Savage, and Prasad Senesi

arXiv:1003.2352, doi:10.1090/fic/059/05. [NSS12] Erhard Neher, Alistair Savage, and Prasad Senesi. Irreducible finite-dimensional representations of equivariant map algebras. Trans. Amer. Math. Soc. , 364(5):2619–2646,

arXiv
[2012]

[Dri87] Vladimir G

arXiv:1108.0652, doi:10.1090/S1088-4165- 2012-00425-3. [Dri87] Vladimir G. Drinfeld. A new realization of Yangians and of quantum affine algebras. Dokl. Akad. Nauk SSSR, 296(1):13–17,

2012 arXiv
[2014]

[Koi89] Kazuhiko Koike

arXiv: 1302.6869, doi:10.1016/j.jalgebra.2014.05.021. [Koi89] Kazuhiko Koike. On the decomposition of tensor products of the representations of the classical groups: by means of the universal characters. Adv. Math., 74(1):57–86,

2014 arXiv
[2015]

[MS23] Alexandra McSween and Alistair Savage

arXiv:1207.5889, doi:10.4171/JEMS/558. [MS23] Alexandra McSween and Alistair Savage. Affine oriented Frobenius Brauer categories. Communications in Algebra, 51(2):742–756,

arXiv
[2017]

6574, doi:10.4171/QT/87

arXiv:1404. 6574, doi:10.4171/QT/87. [BR17] Samuel Belliard and Vidas Regelskis. Drinfeld J presentation of twisted Yangians. Symmetry, Integrability and Geometry: Methods and Applications , March

doi
[2021]

[SSS24] Saima Samchuck-Schnarch and Alistair Savage

arXiv: 1806.06873, doi:10.1007/978-3-030-63849-8\_1 . [SSS24] Saima Samchuck-Schnarch and Alistair Savage. Diagrammatics for real supergroups. Annals of Represen- tation Theory, 1(2):125–191,

arXiv
[2023]

[GV14] Isar Goyvaerts and Joost Vercruysse

arXiv:2107.12464, doi:10.1112/blms.12733. [GV14] Isar Goyvaerts and Joost Vercruysse. Lie monads and dualities. J. Algebra, 414:120–158,

arXiv
[2024]

[Tur89] Vladimir G

arXiv:2301.01414, doi:10.5802/art.7. [Tur89] Vladimir G. Turaev. Operator invariants of tangles, and R-matrices. Izv. Akad. Nauk SSSR Ser. Mat. , 53(5):1073–1107, 1135,

arXiv

Pith tools

Reviewed August 16, 2026 · model on record in the stance chip above.

[1] [2]

011, doi:10.3842/sigma.2017.011

URL: http://dx.doi.org/10.3842/SIGMA.2017. 011, doi:10.3842/sigma.2017.011. [Bra37] Richard Brauer. On algebras which are connected with the semisimple continuous groups. Ann. of Math. (2), 38(4):857–872,

work page doi:10.3842/sigma.2017 2017

[2] [4]

TOWARDS INTERPOLATING CATEGORIES FOR EQUIVARIANT MAP ALGEBRAS 23 [CFK10] Vyjayanthi Chari, Ghislain Fourier, and Tanusree Khandai

arXiv:1712.08953. TOWARDS INTERPOLATING CATEGORIES FOR EQUIVARIANT MAP ALGEBRAS 23 [CFK10] Vyjayanthi Chari, Ghislain Fourier, and Tanusree Khandai. A categorical approach to Weyl modules. Transform. Groups, 15(3):517–549,

arXiv

[3] [14]

2011, doi:10.2140/pjm.2010.245.167

arXiv:0811. 2011, doi:10.2140/pjm.2010.245.167. [LZ15] Gustav Lehrer and Ruibin Zhang. The Brauer category and invariant theory. J. Eur. Math. Soc. (JEMS) , 17(9):2311–2351,

work page doi:10.2140/pjm.2010.245.167 2011

[4] [16]

Affine oriented Frobenius Brauer categories

arXiv:2101.04582, doi:10.1080/00927872.2022.2113401. [Neh11] Erhard Neher. Extended affine Lie algebras—an introduction to their structure theory. In Geometric representation theory and extended affine Lie algebras , volume 59 of Fields Inst. Commun. , pages 107–

work page Pith review arXiv 2022

[5] [18]

Irreducible finite-dimensional representations of equivariant map algebras

arXiv:0906.5189, doi: 10.1090/S0002-9947-2011-05420-6 . [Sav21] Alistair Savage. String diagrams and categorification. In Interactions of quantum affine algebras with cluster algebras, current algebras and categorification—in honor of Vyjayanthi Chari on the occasion of her 60th birthday , volume 337 of Progr. Math., pages 3–36. Birkh¨ auser/Springer, Cham,

work page Pith review arXiv 2011

[6] [21]

[TV17] Vladimir Turaev and Alexis Virelizier

doi:10.1070/IM1990v035n02ABEH000711. [TV17] Vladimir Turaev and Alexis Virelizier. Monoidal categories and topological field theory , volume 322 of Progress in Mathematics. Birkh¨ auser/Springer, Cham, 2017.doi:10.1007/978-3-319-49834-8

doi:10.1070/im1990v035n02abeh000711 2017

[7] [1937]

[Bru17] Jonathan Brundan

doi:10.2307/1968843. [Bru17] Jonathan Brundan. Representations of the oriented skein category,

doi:10.2307/1968843

[8] [1989]

[Kup94] Greg Kuperberg

doi:10.1016/0001-8708(89)90004-2. [Kup94] Greg Kuperberg. The quantum G2 link invariant. Internat. J. Math. , 5(1):61–85,

doi:10.1016/0001-8708(89)90004-2