Linear Independence for $A_1^{(1)}$ by Using $C_{2}^{(1)}$

Goran Trup\v{c}evi\'c; Mirko Primc

REVIEW 2 major objections 4 minor 7 references

Linear Independence for $A_1^{(1)}$ by Using $C_{2}^{(1)}$

T0 review · 2 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 colored-partition monomials satisfying the stated difference and initial conditions are linearly independent in every standard $A_1^{(1)}$-module.

desk verdict New proof of a known theorem — the value is the C_2-embedding method, and the load-bearing §3.1 translation identity is asserted rather than proved, though it does check out. read the letter →

arxiv 2504.15597 v2 pith:P7Z66YL3 submitted 2025-04-22 math.QA

Mirko Primc , Goran Trupčević This is my paper · ORCID

classification math.QA MSC 17B6717B69

keywords affineLiealgebrasstandardmodulesFeigin-StoyanovskysubspacecombinatorialbasislinearindependenceA_1^(1)C_2^(1)intertwiningoperators

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 establishes that the monomial vectors (2.2), indexed by colored partitions whose frequencies satisfy the difference conditions (2.3)--(2.7), are linearly independent in every standard $A_1^{(1)}$-module $L(\Lambda)$. The same monomials were already known to span, so independence completes a uniform combinatorial basis theorem for all standard $A_1^{(1)}$-modules. The proof frees the statement from earlier direct arguments by embedding the affine Lie algebra of type $A_1^{(1)}$ into one of type $C_2^{(1)}$, then using a coefficient of an intertwining operator to move each monomial into a known basis of a Feigin--Stoyanovsky subspace. The reason to care is that the same embedding-and-translation mechanism is offered as a template for analogous conjectured independence results for all standard $C_\ell^{(1)}$-modules.

What carries the argument

The central device is a pair of transfers between two parametrizations of monomials. Colored partitions $\pi$ with frequencies $a_j,b_j,c_j$ satisfy the same difference conditions (2.3)--(2.5) in both the $A_1^{(1)}$ and $C_2^{(1)}$ settings; the two settings differ only in the initial conditions. The inner derivation $T=\operatorname{ad} x_{12}$ acts as a translation along the root chain $x_{11}\mapsto x_{12}\mapsto x_{21}\mapsto x_{22}$, so a power $T^N$ converts an $A_1$ monomial $x(\pi)$ into its $C_2$ counterpart $x(\pi)$. The coefficient $w$ of the intertwining operator, specified by $v_1\mapsto 0$ and $v_2\mapsto v_{12}$, selects the correct distribution of $x_{21}(0)$ factors among tensor factors and repairs the mismatch in the initial condition $c_0$. The Feigin--Stoyanovsky subspace is the submodule generated from the highest weight vector by the positive homogeneous component of the minuscule-coweight gradation. Together $T$ and $w$ map each admissible $A_1$ monomial into a known linearly independent monomial set for $W_{C_2^{(1)}}(\Lambda')$.

What would settle it

Take a small level such as $k_0=k_1=1$ and any admissible monomial with $c_0>0$, then compute $T^{N'}x(\pi)$ and $T^{N'+1}x(\pi)$ directly in the enveloping algebra of affine $C_2^{(1)}$; a nonzero value of $T^{N'+1}x(\pi)$, or a scalar mismatch in $T^{N'}x(\pi)=x(\pi)$, would break the proof. A computer search for a nontrivial dependence relation among the monomials (2.2) in any small standard $A_1^{(1)}$-module would also settle the claim.

Watch

Extended reading notes

Core claim

The paper's central claim is that the monomial system (2.2), with difference conditions (2.3)--(2.5) and initial conditions (2.6)--(2.7), is linearly independent in every standard $A_1^{(1)}$-module $L(\Lambda)$, $\Lambda=k_0\Lambda_0+k_1\Lambda_1$. The proof embeds $L(\Lambda)$ in a standard $C_2^{(1)}$-module and acts on each monomial vector $x(\pi)v_\Lambda$ by a power of the translation operator $T=\operatorname{ad} x_{12}$, followed by a coefficient $w$ of an intertwining operator of type $\binom{L(\Lambda_2)}{L(\Lambda_1)\ L(\Lambda_1)}$. The resulting vector is, up to a nonzero scalar, a monomial $x(\pi_1)v_{\Lambda'}$ in the Feigin--Stoyanovsky subspace $W_{C_2^{(1)}}(\Lambda')$ satisfying the same difference conditions and the corresponding initial conditions. Because those $C_2^{(1)}$ monomials are already known to be linearly independent, any dependence relation among the $A_1^{(1)}$ monomials would produce one among the $C_2^{(1)}$ basis monomials, forcing all coefficients to vanish.

Load-bearing premise

The load-bearing premise is the asserted translation identity of Section 3.1: for every admissible monomial, $T^{N'}$ sends it exactly to the corresponding $C_2$ monomial up to a nonzero scalar and $T^{N'+1}$ sends it to zero; if that identity fails, the transfer of linear independence collapses.

Editorial extensions

If this is right

The monomials (2.2) satisfying (2.3)--(2.7) form a basis of every standard $A_1^{(1)}$-module $L(k_0\Lambda_0+k_1\Lambda_1)$, because the paper supplies the linear independence and the spanning property was already known.
The $A_1^{(1)}$ monomial bases and the $C_2^{(1)}$ Feigin--Stoyanovsky bases are governed by the same difference conditions, so their enumerations coincide as colored-partition generating functions.
The proof exhibits a concrete mechanism, translation by an inner derivation followed by an intertwining coefficient, that establishes independence without a direct inductive proof on partitions.
The paper presents this mechanism as the intended route to the conjectured linear independence of combinatorial bases for all standard $C_\ell^{(1)}$-modules.

Reading between the lines

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

The translation identity that carries the proof is independent of the intertwining coefficient; isolating it and verifying it on small monomials with $c_0>0$ would show exactly how far the same argument extends.
The intertwining coefficient $w$ acts as a projector that discards tensor factors carrying the wrong weight vector; the same selection mechanism could plausibly transfer independence results between other affine pairs equipped with a minuscule coweight and a compatible root chain.
Because the translation preserves the difference conditions exactly, the argument implicitly gives a bijection between $A_1^{(1)}$ basis monomials and a subclass of $C_2^{(1)}$ Feigin--Stoyanovsky monomials; any new enumeration of one family would automatically enumerate the other.

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

Two things to know up front. The theorem — linear independence of the combinatorial monomial basis of standard A_1^(1)-modules — is already proved by Meurman–Primc [5] and Feigin–Kedem–Loktev–Miwa–Mukhin [3], and the paper says so itself. What's new is the proof method: the authors carry their C_l^(1) argument [7] down to l = 1 by embedding A_1 in C_2, translating A_1 monomials to Feigin–Stoyanovsky monomials with a power of T = ad x_{12}, and using a coefficient of an intertwining operator to handle the mismatched initial conditions. Legitimate extension of a technique, modest significance, with the C_l^(1) conjecture from [2] as the forward-looking payoff.

Credit where it's due. The paper is honest: it credits [5] and [3] explicitly, and the C_2 basis it imports from [1] and [6] is genuinely external — no circularity. The induction in §3.3 is clean: kill lower strata with x_{12}(0)^N, peel off the c_0-strata with the intertwining coefficients w_{k1,s}, then read off independence from the known FS basis.

The soft spot is §3.1. The identities T^{N'}x(π) = x(π) (up to scalar), T^{N'+1}x(π) = 0, and the computation behind (3.1)–(3.3) are each asserted in a single sentence, with no derivation and no pointer to a lemma in [7]. Everything downstream leans on them. I checked the Leibniz bookkeeping myself: the a-colored factors are T-stable (so omitting Σa_j is fine), and each colored factor has a fixed quota of hits; the only surviving multi-index is the quota distribution, and any other distribution over-hits some factor into either zero or an x_{22}(0), which commutes past the whole monomial and annihilates v_Λ. The scalar left standing is a nonzero multinomial coefficient times the fixed root-vector normalizations. So the stress-test worry that the scalar might vanish for a legitimate π doesn't survive contact with the computation; the identity holds. But the paper gives the reader none of this, and since the whole note is a proof, that compression is a real presentation gap. A referee should ask for the two or three lines to be written out, or for a specific reference to [7]. Because I worked from the flat arXiv text I couldn't double-check the root-vector conventions behind (2.2) and (3.1) — the order of factors in the noncommutative monomial matters there, and that deserves a careful look against the PDF.

Who this is for: affine algebra and VOA monomial-basis people. It's already out in SIGMA, so this is partly post-hoc, but as a desk decision: yes, send it out. The referee's job is short — verify §3.1 and the factor ordering, ask for the derivation, done.

Referee Report

2 major / 4 minor

Summary. The paper claims a new proof of linear independence of the combinatorial monomial bases of standard modules for the affine Lie algebra A_1^(1). The strategy is to embed each standard A_1^(1)-module L(Λ) into a standard C_2^(1)-module L(Λ) and to transport the A_1-monomials (2.2) to monomials in the Feigin-Stoyanovsky subspace W(Λ') via the derivation T=ad x_{12} and a coefficient w of an intertwining operator. The linear independence of the target monomial system in W(Λ') is imported from [1] and [6]. The proof hinges on an asserted translation identity T^{N'}x(π)=x(π), T^{N'+1}x(π)=0 in Section 3.1, on a distribution argument for the T-derivatives, and on the intertwining operator to correct the c_0 initial condition.

Significance. If the missing translation lemma is supplied, the paper gives an elegant and genuinely different proof of a known theorem, extending the authors' earlier C_l^(1)-method to all standard A_1^(1)-modules. The use of an intertwining-operator coefficient to handle inhomogeneous initial conditions is a useful technique that may transfer to other cases. The paper is clearly organized and the induction in Section 3.3 is transparent. The main theorem itself is not new, having been proved in [3] and [5], so the value of the paper is methodological; at present, however, the central new step is asserted rather than proved, and the manuscript is not self-contained.

major comments (2)

[3.1] The identity "The action by T^{N'} transforms x(π) to x(π): T^{N'}x(π)=x(π). Furthermore, T^{N'+1}x(π)=0" is load-bearing but is asserted without proof. It is used to obtain (3.3) and to discard all terms with N(π)<N in (3.6), so the induction collapses if it fails. The identity is not a routine consequence of T being a derivation: the monomial (2.2) is a noncommutative ordered product, T generates mixed terms when applied to it, and the exponent N' omits Σ a_j, so the behaviour of the a-colored factors depends on the precise root-vector convention. The paper also writes "up to a scalar" but then uses equality; the scalar must be shown to be nonzero for every admissible π. Please state this as a lemma with a complete proof, or give an exact reference to a lemma in [7] that handles the general initial conditions (2.6)-(2.7).
[3.1, Eqs. (3.1)-(3.2)] The argument that all non-surviving terms in the expansion of T^N(x(π1)x11(0)^{c0}) contain an x22(0) factor is incomplete. The text says that in all other possibilities at least two T's act on the same x11(0) factor, but a derivative could instead act on a factor inside x(π1) while one of the x11(0) factors receives no T; the resulting term need not contain x22(0) from that source and must be shown to vanish by a separate argument. A complete case analysis of the distribution of T's among the factors is needed before (3.3) is justified.

minor comments (4)

[2.2] The root-vector notation x11, x12, x22, x12, x21, x22, x21, x11 is typeset with overbars in a way that is nearly indistinguishable in the text; since the translation identity depends on which root vector is being adjoined, please add a table or use unambiguous symbols.
[3.1] The object x(π1) is used without a formal definition; please define π1 explicitly as the colored partition obtained from π by removing the j=0 part of color c.
[3.2] In the discussion of (3.4), the annihilation of the unwanted terms should be spelled out: w sends v1 to 0 by the cited property, and w commutes with the action of \tilde g1, so x(π1) can be pulled through; as written this is plausible but terse.
[1] The introduction uses both "combinatorial spanning set" and "combinatorial basis"; please use one term consistently or explain the distinction.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: A1 linear independence is reduced to an independent C2 Feigin–Stoyanovsky subspace basis and an intertwining operator, not to its own input.

full rationale

I traced the derivation in Sections 2.3–3.3. The proof takes a hypothetical relation (3.5) in L_{A1}(Λ), applies the power x12(0)^N and then the intertwining coefficient w_{k1,s}, and obtains a relation (3.7) in the Feigin–Stoyanovsky subspace W_C2(Λ'). The vanishing of coefficients in (3.7) is imported from the monomial basis theorem for W_C2(Λ) cited from [1] and [6], and the operator w is cited from [1, Proposition 7] / [6, Remark 6.3]. These are external theorems with their own hypotheses about standard C2-modules; they do not assume the A1 linear-independence result being proved. Although the cited papers share authors with the present paper, the cited theorems are parameter-free and are not restatements of the target result, so under the stated rules they count as independent support rather than circularity. No fitted quantity is renamed as a prediction, and no uniqueness or ansatz is smuggled in through the citations. I do flag one missing-support issue: Section 3.1 asserts 'The action by T^{N'} transforms x(π) to x(π): T^{N'}x(π)=x(π). Furthermore, T^{N'+1}x(π)=0' without proof or lemma reference. If this identity fails, the induction in Section 3.3 collapses. That is a genuine proof gap and correctness risk, but it is not circular: the identity is not defined into existence and does not reduce to the target theorem.

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

No free parameters or invented entities. The proof rests on standard affine algebra theory, two cited basis and intertwining results, and one unproved combinatorial identity about the derivation T.

assumptions (5)

standard math Standard theory of affine Lie algebras, integrable highest weight modules, and PBW theorem.
Used throughout Section 2.1 to set up modules L(Λ) and root vector actions; accepted background.
domain assumption Tensor product realization L(Λ) ⊂ L(Λ0)^⊗k0 ⊗ L(Λ1)^⊗k1 ⊗ L(Λ2)^⊗k2 for C_2^(1).
Invoked in Section 2.2 to describe the top-level module and the vector vΛ; standard but not proved here.
standard math The monomial basis of the Feigin-Stoyanovsky subspace W_C2^(1)(Λ) from [1] and [6].
Used in Section 3.3 to conclude that the relation (3.7) has all coefficients zero; this is the independent benchmark on which the proof rests.
standard math Existence and properties of the intertwining operator coefficient w: L(Λ1) → L(Λ2), v1 ↦ 0, v2 ↦ v12, commuting with g1, from [1, Proposition 7] and [6, Remark 6.3].
Used in Section 3.2 to separate the terms with different c0 in (3.6); cited from prior work.
ad hoc to paper Translation identity T^{N'}x(π)=x(π) and T^{N'+1}x(π)=0 stated in Section 3.1.
Load-bearing for the embedding; stated without proof or citation, and it is what the induction in Section 3.3 relies on.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Linear Independence for $A_1^{(1)}$ by Using $C_{2}^{(1)}$." pith.science (2026). https://pith.science/paper/P7Z66YL3

@misc{pith2026250415597,
  author       = {Pith},
  title        = {Pith review of: Linear Independence for $A_1^(1)$ by Using $C_2^(1)$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/P7Z66YL3}},
  note         = {Machine review of arXiv:2504.15597}
}

abstract

In the previous paper, the authors proved linear independence of the combinatorial spanning set for standard $C_\ell^{(1)}$-module $L(k\Lambda_0)$ by establishing a connection with the combinatorial basis of Feigin-Stoyanovsky's type subspace $W(k\Lambda_0)$ of $C_{2\ell}^{(1)}$-module $L(k\Lambda_0)$. In this note we extend this argument for $C_{1}^{(1)}\cong A_{1}^{(1)}$ to all standard $A_{1}^{(1)}$-modules $L(\Lambda)$. In the proof we use a coefficient of an intertwining operator of the type $\binom{L(\Lambda_2)}{L(\Lambda_1)\ L(\Lambda_1)}$ for standard $C_{2}^{(1)}$-modules.

Figures

Figures reproduced from arXiv: 2504.15597 by the authors.

**Figure 1.** The root system of type C2. The subalgebra l = span{x11, x11, x11} ⊂ g is a simple algebra of type A1 with the simple root θ = 2ϵ1. The inclusion l ⊂ g induces an inclusion of affine Lie algebras ˜l ⊂ g˜; the subalgebra ˜l is of type A (1) 1 . Denote by Λ¯ 0 and Λ¯ 1 fundamental weights of ˜l. Standard ˜l-modules can be found as ˜l-submodules of standard g˜-modules LA (1) 1 [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

7 extracted references · 6 canonical work pages

[5]

Meurman A., Primc M., Annihilating fields of standard modules of sl(2, C)∼ and combinatorial identities, Mem. Amer. Math. Soc. 137 (1999), viii+89 pages, arXiv:math.QA/9806105

work page arXiv 1999
[3]

Combinatorics of the $\hat{sl}_2$ Spaces of Coinvariants

Feigin B., Kedem R., Loktev S., Miwa T., Mukhin E., Combinatorics of the bsl2 spaces of coinvariants, Transform. Groups 6 (2001), 25–52, arXiv:math-ph/9908003

work page Pith review arXiv 2001
[7]

Algebra 661 (2025), 341–356, arXiv:2403.06881

Primc M., Trupˇ cevi´ c G., Linear independence for C(1) ℓ by using C(1) 2ℓ , J. Algebra 661 (2025), 341–356, arXiv:2403.06881

arXiv 2025
[2]

Capparelli S., Meurman A., Primc A., Primc M., New partition identities from C(1) ℓ -modules, Glas. Mat. Ser. 57 (2022), 161–184, arXiv:2106.06262

work page Pith review arXiv 2022
[1]

Bases of Feigin-Stoyanovsky's type subspaces for $C_\ell^{(1)}$

Baranovi´ c I., Primc M., Trupˇ cevi´ c G., Bases of Feigin–Stoyanovsky’s type subspaces forC(1) ℓ , Ramanujan J. 45 (2018), 265–289, arXiv:1603.04594

work page Pith review arXiv 2018
[6]

Primc M., Combinatorial bases of modules for affine Lie algebra B(1) 2 , Cent. Eur. J. Math. 11 (2013), 197–225, arXiv:1002.3535

work page Pith review arXiv 2013
[4]

Kac V.G., Infinite-dimensional Lie algebras, 3rd ed., Cambridge University Press, Cambridge, 1990

work page 1990

Pith tools

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

[1] [5]

Meurman A., Primc M., Annihilating fields of standard modules of sl(2, C)∼ and combinatorial identities, Mem. Amer. Math. Soc. 137 (1999), viii+89 pages, arXiv:math.QA/9806105

work page arXiv 1999

[2] [3]

Combinatorics of the $\hat{sl}_2$ Spaces of Coinvariants

Feigin B., Kedem R., Loktev S., Miwa T., Mukhin E., Combinatorics of the bsl2 spaces of coinvariants, Transform. Groups 6 (2001), 25–52, arXiv:math-ph/9908003

work page Pith review arXiv 2001

[3] [7]

Algebra 661 (2025), 341–356, arXiv:2403.06881

Primc M., Trupˇ cevi´ c G., Linear independence for C(1) ℓ by using C(1) 2ℓ , J. Algebra 661 (2025), 341–356, arXiv:2403.06881

arXiv 2025

[4] [2]

Capparelli S., Meurman A., Primc A., Primc M., New partition identities from C(1) ℓ -modules, Glas. Mat. Ser. 57 (2022), 161–184, arXiv:2106.06262

work page Pith review arXiv 2022

[5] [1]

Bases of Feigin-Stoyanovsky's type subspaces for $C_\ell^{(1)}$

Baranovi´ c I., Primc M., Trupˇ cevi´ c G., Bases of Feigin–Stoyanovsky’s type subspaces forC(1) ℓ , Ramanujan J. 45 (2018), 265–289, arXiv:1603.04594

work page Pith review arXiv 2018

[6] [6]

Primc M., Combinatorial bases of modules for affine Lie algebra B(1) 2 , Cent. Eur. J. Math. 11 (2013), 197–225, arXiv:1002.3535

work page Pith review arXiv 2013

[7] [4]

Kac V.G., Infinite-dimensional Lie algebras, 3rd ed., Cambridge University Press, Cambridge, 1990

work page 1990