Pith. sign in

REVIEW 3 major objections 5 minor 32 references

This paper establishes a complete classification of admissible (r, s, q) pairs and q-Casimir configurations for which the non-perturbative connected q-amplitudes of a q-difference quantum curve are uniquely determined by shifted q-topologic

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

T0 review · deepseek-v4-flash

2026-08-04 12:48 UTC pith:34IPROTB

load-bearing objection The r≡±1 mod s classification is a genuine, interesting result backed by real determinant work, but Lemma 4.5's q-Sylvester invertibility claim is under-proved and the Section 3 half-genus bookkeeping is inconsistent; both need fixing before the main theorem can be taken as a classification of (r,s,q) pairs. the 3 major comments →

arxiv 2608.02179 v1 pith:34IPROTB submitted 2026-08-03 math-ph math.AGmath.MPmath.RT

q-Deformed Topological Recursion: Quantum Curves and Non-perturbative Analysis

classification math-ph math.AGmath.MPmath.RT MSC 81T4537K1039A1314N1017B68
keywords q-deformed topological recursionquantum spectral curvesq-WKBAiry structuresq-loop equationstopological type propertyq-Casimir configurationsnon-perturbative amplitudes
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper asks when the formal expansion of a q-difference quantum curve is uniquely governed by the q-deformed topological recursion, and answers with a sharp classification: the expansion exists and is unique if and only if the integer parameters (r, s) satisfy r ≡ ±1 (mod s) (or s = 1), with strict restrictions on the allowed q-Casimir shifts in each case. To reach this, the authors construct an all-order q-WKB solution for the associated matrix system, show the resulting non-perturbative connected q-amplitudes satisfy shifted q-loop equations, and identify those equations as Ward identities of a q-deformed W(gl_r) algebra. The classification matters because it tells exactly which quantum spectral curves admit a well-defined semi-classical expansion and which do not, thereby mapping the boundary of the q-deformed correspondence between geometry and integrable systems. A sympathetic reader would care because this converts a formal recursion into a concrete criterion about arithmetic conditions on (r, s) and the q-Casimir data, with direct consequences for the possible quantizations of a given spectral curve.

Core claim

The core claim is the classification theorem: for coprime r and s with 1 ≤ r'' < s (r = r's + r''), the formal topological expansion coefficients ω^q_{g,n} of the non-perturbative connected q-amplitudes W^q_n are uniquely, non-trivially, and recursively determined by the shifted q-topological recursion if and only if one of three structural conditions holds: (i) s = 1 with arbitrary q-Casimir configurations; (ii) r ≡ 1 (mod s) with the higher q-Casimirs S^ℏ_j vanishing for all j > 1; or (iii) r ≡ −1 (mod s) with s > 2 and all q-Casimirs S^ℏ_j zero. The paper establishes this by constructing the q-WKB solution, deriving the shifted q-loop equations, and proving a refined 'q-topological type p

What carries the argument

The central mechanism is the q-topological type property, a refinement of the classical topological type property that controls when the q-amplitudes are uniquely determined by the q-topological recursion. Its work is carried by three objects: the all-order q-WKB gauge transformation that diagonalizes the q-connection via the q-Sylvester operator (requiring the non-resonance condition y_i(z) ≠ y_j(avg z) with avg z = (qz + q^{-1}z)/2), the q-Master Matrix M_ℏ = Ψ_ℏ E Ψ_ℏ^{-1} built from the q-WKB solution, and the q-deformed Cauchy kernel whose poles at z_1 = q z_2 and z_1 = q^{-1}z_2 yield the q-Bergman kernel ω^q_{0,2} = dz_1 dz_2 / ((z_1 - q z_2)(z_1 - q^{-1}z_2)). The refined q-Assumptio

Load-bearing premise

The all-order q-WKB solution exists only if the q-Sylvester operator is invertible, i.e., the eigenvalues y_i(z) and y_j(avg z) never coincide for i ≠ j away from the q-ramification points; the paper states this is guaranteed but does not prove the absence of additional q-Stokes loci, so the formal construction is valid only on an unspecified domain, and the classification also relies on an imported existence/uniqueness theorem for shifted q-topological recursion that is not

What would settle it

For the non-admissible pair (r, s) = (7, 5) treated in the paper, compute the q-perturbed characteristic expression D_q(z, M) − D_q(z, 0) at order ℏ^2 with only S^ℏ_1 nonzero: the paper predicts a pole at z = 0 whose order exceeds the cancellation power of the q-Jacobian. If a direct calculation shows this pole is actually cancelled by contributions the paper discards, the necessity claim of the classification would fail.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

Share X Bluesky LinkedIn Reddit HN

If this is right

  • For s = 1 and s = r − 1, varying the shift parameters reconstructs all possible operator orderings of the q-quantum curve, giving a complete dictionary between shift data and quantization choices.
  • For intermediate 1 < s < r − 1 with r ≡ 1 (mod s), only partial ordering freedom remains; for r ≡ −1 (mod s), the quantization is rigid (only the trivial shifts).
  • The q-topological expansion naturally contains half-integer genus sectors (all powers of ℏ, not just even powers), so the q-deformation breaks the classical ℏ ↔ −ℏ parity while preserving recursive solvability when the arithmetic conditions are met.
  • The non-perturbative q-loop equations are shown to be the Ward identities of a q-deformed W(gl_r) algebra, linking the recursion to infinite-dimensional symmetry algebras.
  • The classification limits which (r, s, q) systems admit a well-defined topological expansion; outside the admissible set, even the primary q-Casimir generates poles that the spectral curve cannot cancel.

Where Pith is reading between the lines

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

  • The arithmetic condition r ≡ ±1 (mod s) likely applies beyond the explicit (r, s, q)-family: any q-difference connection whose leading Lax matrix has the same block-companion structure should face the same pole obstruction, making the condition a general feature of q-deformed topological recursion.
  • The unproven non-resonance assumption in the q-WKB construction (Lemma 4.5) leaves open the possibility of q-Stokes loci where eigenvalues collide under the averaged shift; checking this for small admissible examples like (r, s) = (5, 2) could determine the true domain of the formal expansion.
  • The appearance of half-integer genus sectors suggests the q-amplitudes may correspond to K-theoretic or refined invariants in enumerative geometry, a connection the paper does not make explicit.
  • The full Casimir freedom in the s = 1 case means the same classical curve admits many inequivalent quantizations; comparing spectral determinants of the different q-difference operators would give a concrete test of this moduli space.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper develops a q-deformed analogue of the Bergère–Eynard–Marchal framework, combining (r,s)-Airy structures, shifted q-topological recursion and q-difference quantum curves. In §3 the authors construct an all-order q-WKB solution for a rational q-connection and derive shifted q-loop equations, arriving at an explicit q-difference quantum-curve operator. In §4 they reverse the logic: starting from the q-difference system they define non-perturbative connected q-amplitudes via a q-Master Matrix, prove that these amplitudes satisfy non-perturbative q-loop equations, and introduce a refined q-Topological Type property. The main result, Theorem 4.38, is an if-and-only-if classification of the (r,s,q) pairs and q-Casimir configurations for which the formal topological expansion is uniquely and recursively determined by the shifted q-topological recursion: (i) s=1 with arbitrary q-Casimir configurations; (ii) r≡1 (mod s) with S^ℏ_j=0 for j>1; or (iii) r≡−1 (mod s), s>2, with all S^ℏ_j=0. A substantial part of the algebraic foundation is imported from the companion paper [30], especially Theorem 2.8.

Significance. If the main claims are correct, this would be a meaningful extension of topological recursion to q-difference systems, with a concrete, falsifiable classification of admissible pairs. The explicit pole-order/determinant analysis in Proposition 4.35 is a valuable and unusual feature, as are the worked examples (5,2), (7,4) and the non-admissible (7,5). The paper also gives an explicit split-pole q-Bergman kernel and a clear statement of the q-topological type property, making the structure easy to test. However, two load-bearing technical points—the invertibility locus of the q-Sylvester operator in Lemma 4.5 and the genus-index bookkeeping in the §3 q-WKB summation—are not resolved in the submitted version, and the proof of the base case Lemma 4.22 is only a sketch. These gaps prevent acceptance in the current form, but they appear to be local and potentially fixable.

major comments (3)
  1. [§4.1, Lemma 4.5, Eq. (4.24)] The formal diagonalization requires the q-Sylvester operator L_{q,Y0}: M ↦ M Y0(z) − Y0(z) M(avg z) to be invertible on off-diagonal matrices. With Y0 diagonal as in Lemma 4.3, substituting M_{ij}(z)=c z^k gives the eigenvalue y_j(z) − C^k y_i(z), where C=(q+q^{-1})/2. The non-resonance condition stated in Lemma 4.5, y_i(z)≠y_j(avg z), addresses only the single Fourier mode k=s−r. It does not control the infinite set of modes k∈Z. For q with C^m=1 and μ_r⊂μ_m, resonances occur; for example r=3, C a primitive sixth root of unity, k=2 gives ϑ^j=ϑ^i C^2. Such q exist and need not be roots of unity. At those q, Eq. (4.23) has no unique solution at some order, so the formal gauge transformation (4.17)–(4.18), the q-Master Matrix expansion (Prop. 4.10), the non-perturbative q-loop equations (Prop. 4.15), and the identification with shifted q-TR (Thm. 4.20) are not established. Since Theorem 4.
  2. [§3.2.2–§3.2.4: Def. 3.14, Lemma 3.15, Lemma 3.17, Thm. 3.24, Ex. 3.26] The genus-index conventions are inconsistent across the q-WKB summation. Definition 3.14 defines ξ_{i,q} as a sum over 'all g,n' without specifying whether g ranges over Z_{≥0} or (1/2)Z_{≥0}. Lemma 3.15 sums over integer g, while Lemma 3.17 and Example 3.26 include sums over g≥1/2, and Theorem 3.24 sums over g≥1. The paper itself declares in Remark 4.19 that half-genus sectors are generic for q-difference systems, and the partition function (2.9) includes g∈(1/2)N. The resulting ℏ-powers of the shift constants S_{i,2g} differ between formulas, so the quantum-curve operator of Theorem 3.24 is not an unambiguous consequence of the preceding resummation. This affects the claim of an all-order q-WKB construction and the quantum-curve correspondence in §3. The indexing must be fixed or the half-genus sectors must be shown to drop out in this part of the derivation.
  3. [Appendix D / Lemma 4.22] Lemma 4.22 states the base case of the q-topological type property: the leading-order two-point correlator is exactly the split-pole q-Bergman kernel. This is a hard input for the recursion and for Proposition 4.33. The proof in Appendix D, however, is a sketch: after reducing to a determinant derivative via Jacobi’s formula, it says only that 'the algebraic contraction fixes the normalization constant to unity,' without specifying T(z1,z2) or computing the trace/adjugate contraction. Since condition (c) of Definition 4.17 and the subsequent identification with q-TR both require this kernel exactly, the computation should be supplied, or the split-pole form should be stated explicitly as an additional assumption (it already appears as part of Definition 2.2).
minor comments (5)
  1. [Eq. (4.17)] The notation \(\vec Y_{\ell\ge 1}\) and the ordered product are not defined; the branch of the matrix exponential/logarithm and the convergence/formal meaning should be specified.
  2. [§4.1, Eq. (4.18)] 'avg z' is used in the formula before it is defined; define \(M_{q,x}\) and \(\operatorname{avg} z\) consistently in one place.
  3. [Thm. 3.24, Eq. (3.75)] The operator ordering in \([D_{r,q}\cdots D_{i,q}]\) is not defined; clarify whether it is simple concatenation, q-Weyl ordered, or some other prescription.
  4. [Throughout] There are several typos and consistency issues: 'refered' in the proof of Lemma 3.5, 'Functio nal' in the Section 3.3 heading, 'Wiht copy' in the author email footer, and the shift constants are denoted both S_{i,n} and S_{i,\ell}.
  5. [Theorem 2.8] Theorem 2.8 is quoted from the companion paper [30] without proof. This is acceptable as a dependency, but the manuscript should state explicitly that the main classification theorem is conditional on the correctness of [30] and on the applicability of that theorem to the present shifted q-spectral curves.

Circularity Check

0 steps flagged

No significant circularity; the central derivation is self-contained, with [30] as an external dependency rather than an internal loop.

full rationale

The main classification (Thm 4.38) is not a renamed input or a fitted prediction. The necessity direction rests on the independent determinant pole-order analysis of Prop 4.35, which derives the constraints r'' in {1,s-1} and vanishing of higher q-Casimirs from regularity of the q-perturbed characteristic expression. The sufficiency direction is supported in-paper by the induction in Thm 4.20, which shows that the q-loop equations plus the q-topological type property force the expansion coefficients to satisfy the q-topological recursion; uniqueness there follows by decreasing Euler characteristic, not by importing the conclusion. The cited Theorems 2.7 and 2.8 from the authors' prior work [30] supply the existence and uniqueness of the shifted q-topological recursion framework and the q-loop equations; this is a dependency on earlier work, but the paper does not assume the classification and then re-derive it. The q-Sylvester invertibility in Lemma 4.5 is asserted with a non-resonance condition that is not fully analyzed (for example, additional q-resonances at certain roots of unity are not ruled out); this is an analytic gap or correctness risk, not a circular reduction. No fitted parameter is relabelled as a prediction, and no central equation is definitionally equivalent to its own input.

Axiom & Free-Parameter Ledger

1 free parameters · 5 axioms · 3 invented entities

No empirical data are fitted; the 'free parameters' are the shift/Casimir constants whose admissibility is the paper's output. The key axioms are the split-pole q-Bergman kernel, the centered q-connection/gauge action, and the imported existence theorem from [30]. The non-resonance condition is an unproved domain assumption. No new physical entities with external evidence are introduced.

free parameters (1)
  • Shift/Casimir constants S_{i,2g} (and q-Casimir functions S^ℏ_j(z)) = Not fitted; formal constants constrained by s-consistency and by the classification
    Introduced in (2.6) and Example 4.2 to parameterize operator orderings; the classification decides which are admissible, but their values are not derived from first principles.
axioms (5)
  • domain assumption Existence and uniqueness of the shifted q-topological recursion correlators and q-Airy structure (Theorem 2.8 of the present paper, proved in [30]).
    Used to define the wave function (3.46) and the recursion (2.23); this is the load-bearing imported result.
  • ad hoc to paper The q-deformed Bergman kernel has the split-pole form dz1 dz2 / ((z1−qz2)(z1−q^{-1}z2)).
    Postulated in Definition 2.2 and used as the fundamental bidifferential (Lemma 4.22); the recursion kernel (2.22) and the classification's pole analysis depend on this exact form.
  • ad hoc to paper The centered gauge action (4.18) with average point avg z=(qz+q^{-1}z)/2 is the correct q-analogue of the classical gauge transformation for ∇_{q,ℏ}.
    Used in Lemma 4.5 to construct the formal diagonalization; the standard q-difference gauge action would involve U(qz) and U(q^{-1}z) separately.
  • standard math Standard residue theorem, Vieta's formulas, Vandermonde inversion, and the q-derivative identities (1.1)-(1.4).
    Used throughout the proof of Lemma 3.9, Proposition 4.35, and Appendices A-C.
  • domain assumption The non-resonance condition y_i(z) ≠ y_j(avg z) for i≠j away from q-ramification points.
    Needed for invertibility of the q-Sylvester operator in Lemma 4.5; asserted without proof.
invented entities (3)
  • Centered q-ℏ-connection ∇_{q,ℏ} = M_{q,x}·Q̂ − L(x,ℏ;q) no independent evidence
    purpose: Defines the matrix system whose WKB solutions yield the q-amplitudes
    New definition (4.1); no external falsifiable handle.
  • q-Master Matrix M_ℏ(z,E)=Ψ_ℏ(z)EΨ_ℏ(z)^{-1} no independent evidence
    purpose: Generator of non-perturbative connected q-amplitudes and q-loop equations
    Definition (4.34); internal to the formalism.
  • q-Casimir functions S^ℏ_j(z) no independent evidence
    purpose: Parametrize admissible deformations/quantizations; the classification constrains them
    Formal series in Example 4.2; no independent prediction.

pith-pipeline@v1.3.0-daily-deepseek · 49423 in / 26722 out tokens · 188007 ms · 2026-08-04T12:48:05.941493+00:00 · methodology

0 comments
Cite this review

Pith. "Pith review of $q$-Deformed Topological Recursion: Quantum Curves and Non-perturbative Analysis." pith.science (2026). https://pith.science/paper/34IPROTB

@misc{pith2026260802179,
  author       = {Pith},
  title        = {Pith review of: $q$-Deformed Topological Recursion: Quantum Curves and Non-perturbative Analysis},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/34IPROTB}},
  note         = {Machine review of arXiv:2608.02179}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

This work investigates the $q$-deformation of $(r,s)$-Airy structures and their realization via $q$-difference operators, providing a bridge between quantum spectral curves and integrable systems. We construct an all-order $q$-WKB solution for the matrix systems associated with the $q$-quantized curve $E_q(x,y)=0$. We demonstrate that the resulting non-perturbative connected $q$-amplitudes satisfy a set of shifted $q$-loop equations, which can be interpreted as the Ward identities of a $q$-deformed $\mathcal{W}(\mathfrak{gl}_r)$ algebra. Our main result provides a rigorous classification of admissible $(r,s,q)$ pairs and $q$-Casimir configurations that satisfy the $q$-topological type property. This ensures that the semi-classical expansion is uniquely governed by the $q$-topological recursion, offering new insights into the $q$-quantization of mirror curves and their underlying algebraic structures.

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

32 extracted references · 8 linked inside Pith

  1. [1]

    T. Aoki, T. Kawai and Y. Takei. Exact WKB analysis of non-adiabatic transition probabilities for three levels.J. Phys. A35(10), 2401–2430 (2002)

  2. [2]

    Belliard

    R. Belliard. A renormalised description of meromorphic connections over curves (2024). arXiv:2402.13362

  3. [3]

    Belliard, B

    R. Belliard, B. Eynard and O. Marchal. Integrable differential systems of topological type and recon- struction by the topological recursion.Ann. Henri Poincar´ e18(10), 3193–3248 (2017)

  4. [4]

    Belliard, B

    R. Belliard, B. Eynard and O. Marchal. Loop equations from differential systems on curves.Ann. Henri Poincar´ e19(1), 141–161 (2018)

  5. [5]

    Belliard, V

    R. Belliard, V. Bouchard, R. Kramer and T. Nelson. Highest weight vectors, shifted topological recursion and quantum curves.Commun. Math. Phys.406, 274 (2025)

  6. [6]

    Berg` ere and B

    M. Berg` ere and B. Eynard. Determinantal formulae and loop equations (2009). arXiv:0901.3273

  7. [7]

    Berg` ere, G

    M. Berg` ere, G. Borot and B. Eynard. Rational differential systems, loop equations, and application to theqth reductions of KP.Ann. Henri Poincar´ e16(12), 2713–2782 (2015)

  8. [8]

    Borot, V

    G. Borot, V. Bouchard, N.K. Chidambaram and T. Creutzig. Whittaker vectors forW-algebras from topological recursion.Selecta Math. (N.S.)30(2), 33–91 (2024). https://doi.org/10.1007/s00029-024- 00921-x. arXiv:2104.04516

  9. [9]

    Borot, V

    G. Borot, V. Bouchard, N.K. Chidambaram, T. Creutzig and D. Noshchenko. Higher Airy struc- tures,Walgebras and topological recursion.Mem. Amer. Math. Soc.296(1476), 108 (2024). https://doi.org/10.1090/memo/1476. arXiv:1812.08738

  10. [10]

    Borot, V

    G. Borot, V. Bouchard, N.K. Chidambaram, R. Kramer and S. Shadrin. Taking limits in topological recursion.J. Lond. Math. Soc. (2)112(3), Paper No. e70286 (2025). https://doi.org/10.1112/jlms.70286. arXiv:2309.01654

  11. [11]

    Borot, R

    G. Borot, R. Kramer and Y. Sch¨ uler. Higher Airy structures and topological recursion for sin- gular spectral curves.Ann. Inst. Henri Poincar´ e D(2023). https://doi.org/10.4171/AIHPD/168. arXiv:2010.03512

  12. [12]

    Bott and L

    R. Bott and L. W. Tu.Differential Forms in Algebraic Topology, Graduate Texts in Mathematics, vol. 82, Springer-Verlag, New York, 1982

  13. [13]

    Bouchard

    V. Bouchard. Les Houches lecture notes on topological recursion (2024). arXiv:2409.06657

  14. [14]

    Bouchard and B

    V. Bouchard and B. Eynard. Reconstructing WKB from topological recursion.J. ´Ec. polytech. Math.4, 845–908 (2017)

  15. [15]

    Bouchard, T

    V. Bouchard, T. Creutzig and A. Joshi. Airy ideals, transvections andW(sp 2N )-algebras.Ann. Henri Poincar´ e25(5), (2024)

  16. [16]

    Cartan.Formes diff´ erentielles, Hermann, Paris, 1967

    H. Cartan.Formes diff´ erentielles, Hermann, Paris, 1967

  17. [17]

    Chari and A

    V. Chari and A. Pressley.A Guide to Quantum Groups, Cambridge University Press, Cambridge, 1994

  18. [18]

    Chekhov, B

    L. Chekhov, B. Eynard and N. Orantin. Free energy topological expansion for the 2-matrix model.J. High Energy Phys.2006(12), 1–31 (2006)

  19. [19]

    Eynard, E

    B. Eynard, E. Garcia-Failde, O. Marchal and N. Orantin. Quantization of classical spectral curves via topological recursion.Comm. Math. Phys.405(5), 116–118 (2024). https://doi.org/10.1007/s00220-024- 04997-6. arXiv:2106.04339

  20. [20]

    Eynard, M

    B. Eynard, M. Mulase and B. Safnuk. The Laplace transform of the cut-and-join equation and the Bouchard-Mari˜ no conjecture on Hurwitz numbers.Publ. Res. Inst. Math. Sci.47(2), 629–670 (2011)

  21. [21]

    Eynard and N

    B. Eynard and N. Orantin. Invariants of algebraic curves and topological expansion.Commun. Number Theory Phys.1(2), 347–452 (2007)

  22. [22]

    Eynard and N

    B. Eynard and N. Orantin. Topological recursion in enumerative geometry and random matrices.J. Phys. A42(29), 293001-117 (2009)

  23. [23]

    Gasper and M

    G. Gasper and M. Rahman.Basic Hypergeometric Series, 2nd ed., Cambridge University Press, Cam- bridge, 2004

  24. [24]

    Iwaki, O

    K. Iwaki, O. Marchal and A. Saenz. Painlev´ e equations, topological type property and reconstruction by the topological recursion.J. Geom. Phys.124, 16–54 (2018)

  25. [25]

    Kac and P

    V. Kac and P. Cheung.Quantum Calculus, Universitext, Springer-Verlag, New York, 2002

  26. [26]

    Kontsevich and Y

    M. Kontsevich and Y. Soibelman. Airy structures and symplectic geometry of topological recursion. Topological recursion and its influence in analysis, geometry, and topology.Proc. Sympos. Pure Math. 100, 433–489 (2018). arXiv:1701.09137

  27. [27]

    R. Kramer. Cycles of curves, cover counts, and central invariants,Universiteit van Amsterdam(2019), 328pp. https://hdl.handle.net/11245.1/588b7706-082d-4836-9cf7-7ca5025f3d64

  28. [28]

    Lang.Fundamentals of Differential Geometry, Graduate Texts in Mathematics, vol

    S. Lang.Fundamentals of Differential Geometry, Graduate Texts in Mathematics, vol. 191, Springer- Verlag, New York, 1999. 51

  29. [29]

    J. M. Lee.Introduction to Smooth Manifolds, 2nd ed., Graduate Texts in Mathematics, vol. 218, Springer- Verlag, New York, 2013

  30. [30]

    Melong and R

    F. Melong and R. Wulkenhaar,q-Deformed Topological Recursion, Weight Vectors and Algebraic Struc- tures, preprint arXiv:2606.16441 (2026)

  31. [31]

    Sole and V.G

    A. Sole and V.G. Kac. Finite vs affineW-algebras.Japan. J. Math.1(1), 137–261 (2006). https://doi.org/10.1007/s11537-006-0505-2. arXiv:math-ph/0511055

  32. [32]

    Spivak.Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus, Westview Press, New York, 1965

    M. Spivak.Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus, Westview Press, New York, 1965. Mathematisches Institut der Universit¨at M¨unster Einsteinstr. 62, 48149 M¨unster, Germany, e-mail:fridolin.melong@uni-muenster.de (Wiht copy to fridomelong@gmail.com) Mathematisches Institut der Universit¨at M¨unster Einsteinstr....