{"id":"3cb6e50d-b6a4-4c5e-a275-bdcc6e108dc3","arxiv_id":"2504.21163","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Categorical modules for (equivariant) map algebras are defined diagrammatically, and a candidate interpolating category Curr(OB) for current gl_n-modules is constructed, with its central fullness property left as a conjecture.","lead":"Using string diagrams, this paper defines categorical versions of modules for map algebras and equivariant map algebras, and builds a candidate category meant to interpolate between representation categories of gl_n ⊗ k[t] for all n. The proposed interpolating category is a candidate: the property that would make it actually interpolate is left as a conjecture.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Unproved fullness of Curr(I_n) is decisive, and the canonical-module restriction leaves the interpolation target unspecified; Curr(I_n) visibly fails essential surjectivity onto all gl_n⊗k[t]-modules.","rationale":"The paper is an honest 'towards' contribution: Definitions 3.6 and 3.17 are well-motivated, the equivalence with ordinary (equivariant) map algebra modules in Vec is standard, and the monoidal and dual constructions in Section 3 are plausible. The diagrammatic proofs could not be fully checked from the plain-text version, but the surrounding equations are consistent. The central novel object, Curr(OB), is explicitly labeled a candidate, and the paper itself flags Conjecture 4.8 as the open statement needed for interpolation. The reader's conditional verdict is therefore appropriate: the lemmas and definitions support the paper's actual claims, but the advertised interpolating category is not established. My stress-test adds a distinct gap not emphasized by the reader: even if Conjecture 4.8 were proved, Curr(I_n) is not essentially surjective onto all gl_n⊗k[t]-modules because every object in its image has an integral central character, while one-dimensional current modules with non-integral central charge exist in the full module category. This does not invalidate the definitions or the surrounding lemmas, but it means the target category for Curr(OB) must be specified precisely. Since the paper already frames the result as conjectural, the conditional verdict stands unchanged.","tokens_in":19612,"tokens_out":13233,"duration_ms":157767,"concrete_test":"Check whether Curr(I_n) is essentially surjective onto the finite-dimensional objects of the stated target: take M = k with gl_n acting by λ tr and t acting by c∈k. All objects in the image of Curr(I_n) have underlying gl_n-module with integral central charge (#↑ − #↓), so for λ∉Z, M is not in the essential image. If interpolation is required to cover the target category, this settles that the claim as stated is false; the paper must either restrict the target to modules whose underlying gl_n-module lies in the image of I_n, or add objects realizing non-integral central charges to Curr(OB).","verdict_should_be":"UNCHANGED","load_bearing_attack":"Definition 4.7 defines Curr(OB(n)) by restricting to current L-modules whose underlying L-module is canonical; this restriction is introduced only to dodge the non-fullness example in Remark 4.9. The advertised interpolating property is Conjecture 4.8, and no proof is provided; the discussion after Lemma 4.10 offers only n=2 examples with preimage spaces of positive dimension. Because the conjectural fullness is the only bridge from Curr(OB(n)) to (gl_n⊗k[t])-mod, every substantive statement about interpolation is conditional. There is also a sharper gap: Curr(I_n) lands in current modules whose underlying gl_n-module lies in the image of I_n. Any such module has integral action of the identity of gl_n (the difference #↑−#↓). A one-dimensional gl_n⊗k[t]-module in which the identity of gl_n acts by λ∉Z and t acts by a scalar is therefore not isomorphic to Curr(I_n)(V) for any V. If the target category is understood as all gl_n⊗k[t]-modules, Conjecture 4.8 cannot be the missing piece; the paper needs to specify a target subcategory and state whether interpolation means full functors, essential surjectivity, or an equivalence on that subcategory.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":19862,"tokens_out":11578,"duration_ms":136164,"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":[{"comment":"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.","section":"§4, Definition 4.7 and Conjecture 4.8"},{"comment":"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.","section":"§4, Conjecture 4.8 and the discussion after Lemma 4.10"},{"comment":"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.","section":"§4, Remark 4.9"}],"minor_comments":[{"comment":"The phrase 'how our definitions can applied' should read 'how our definitions can be applied'.","section":"Abstract"},{"comment":"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.","section":"§4, after Lemma 4.10"},{"comment":"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'.","section":"Lemma 3.24"},{"comment":"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.","section":"Definition 3.17"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is honest about the conjectural status of the interpolation claim, and the core categorical definitions appear sound. The main difficulty is that the proposed interpolating category is not tied to a precisely specified target, so the central claim cannot yet be evaluated. I see no citation or attribution concerns."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nWhat 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.\n\nThe 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.\n\nWho 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.\n\nRecommendation: 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.","headline":"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.","tokens_in":20415,"tokens_out":5832,"would_cite":true,"duration_ms":63492,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["18M30","18M05","17B10"],"pacs":[],"model":"deepseek-v4-flash","headline":"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…","keywords":["string diagram","monoidal category","Lie algebra","equivariant map algebra","current algebra","interpolating category","oriented Brauer category","module categories"],"falsifier":"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.","tokens_in":19384,"feed_emoji":"🧶","tokens_out":16578,"duration_ms":118361,"temperature":0.7,"pith_summary":"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.","feed_headline":"One diagram category targets all current gl_n-modules","feed_subtitle":"New string-diagram definitions for equivariant map-algebra modules; the interpolation claim is the open conjecture.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Defines the oriented Brauer category $\\mathrm{OB}$ and proves the basis theorem that underpins its use as the diagrammatic setting throughout.","marker":"[BCNR17]"},{"why":"Proves that each incarnation functor $I_n:\\mathrm{OB}(n)\\to \\mathfrak{gl}_n$-mod is full, the property that makes $\\mathrm{OB}$ an interpolating category for $\\mathfrak{gl}_n$-mod and the model for Conjecture 4.8.","marker":"[CW12]"},{"why":"Identifies the kernel of $I_n$ as the tensor ideal generated by the antisymmetrizer, used in Lemma 4.10 and the examples that probe whether $\\mathrm{Curr}(I_n)$ is full.","marker":"[Bru17]"},{"why":"Provides the equivariant map algebra setting and its evaluation modules, which the paper's equivariant $(\\Gamma,L,A)$-modules generalize.","marker":"[NSS12]"},{"why":"Supplies the presentation of the oriented Brauer category adopted in Definition 4.1 and the Frobenius Brauer supercategory context.","marker":"[MS23]"}],"fun_headline_variants":["Interpolating category candidate for gl_n current modules","String diagrams define modules for map and equivariant algebras","Conjectured fullness yields interpolating category for gl_n","Brauer category aims to interpolate gl_n current modules","Categorical modules for map algebras via string diagrams"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Interpolating category candidate for gl_n current modules","String diagrams define modules for map and equivariant algebras","Conjectured fullness yields interpolating category for gl_n","Brauer category aims to interpolate gl_n current modules","Categorical modules for map algebras via string diagrams"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000757,"raw_usage":{"total_tokens":3418,"prompt_tokens":1053,"completion_tokens":2365,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":669,"completion_tokens_details":{"reasoning_tokens":2288}},"tokens_in":669,"tokens_out":2365,"duration_ms":16744,"temperature":1.0,"reasoning_tokens":2288,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T05:12:03.101544+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}