Pith. sign in

REVIEW 4 major objections 5 minor 1 cited by

Irregular KZ equations and Kac-Moody representations

T0 review · 4 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash

Pith's one-line read The paper establishes that irregular Virasoro conformal blocks, including derivatives with arbitrary numbers of screening charges, are exact solutions of irregular KZ equations derived from irregular representations of affine sl(2,C)…

desk verdict A real step forward for irregular KZ equations, but Theorem 2 overreaches as stated and the sign of the irregular term flips between sections; it deserves a serious referee. read the letter →

arxiv 2412.16929 v2 pith:OYIK24DA submitted 2024-12-22 hep-th

classification hep-th MSC 17B6717B6981T40
keywords irregularKZequationsKac-MoodyrepresentationsVirasoroalgebraGaiotto-TeschnerstatesLiouvilleconformalblocksSugawaraconstructionArgyres-Douglastheoriessurfaceoperators
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

The paper builds irregular representations of the affine Kac-Moody algebra $\widehat{sl}(2,\mathbb{C})$ by letting the first $r$ positive modes act nontrivially on the vacuum, and proves that the Sugawara stress tensor on these modules reproduces the Gaiotto-Teschner irregular representations of the Virasoro algebra. From the intertwining relations for these modules it derives a modified Knizhnik-Zamolodchikov equation---the irregular KZ equation---for blocks with an irregular operator at infinity and $N$ regular operators at finite points. The main theorem states that a column vector made from integrals with $m$ screening charges satisfies this equation, so derivatives of irregular Liouville conformal blocks solve it for arbitrary height $m$. If correct, this closes the missing representation-theoretic link between irregular Virasoro blocks and Kac-Moody blocks, and gives explicit integral solutions that can describe braiding of surface operators in Argyres-Douglas theories.

What carries the argument

The machinery is a Fock-space representation of the affine algebra whose vacuum is not killed by the first $r$ positive modes: the action is twisted as $\alpha_{-i}=i\partial_{x_i}$, $\alpha_i=-x_i$ for $1\le i\le r$, with the vacuum $\Omega_r=\sqrt{\prod_{i=1}^r x_i}$, so the Sugawara tensor $T(z)=\frac12:\!\alpha(z)^2\!:+\cdots$ generates exactly the $L_0,\dots,L_{2r}$ of the Gaiotto-Teschner irregular Virasoro state of degree $r$. For $\widehat{sl}(2,\mathbb{C})$ the same twist is embedded through a $\beta\gamma$ bosonization (two Heisenberg systems plus $\alpha$), and the current-algebra intertwiners satisfy the gauge-invariance relation $[a_\pm(w),\Phi_u(z)]=\frac{1}{z-w}\Phi_{au}(z)$. The solution side is carried by the master integrand $A(z,w)=\exp(\frac{\Lambda}{b^2}\sum_i w_i)\prod_{i<j}(w_i-w_j)^{-2/b^2}\prod_{i,j}(w_i-z_j)^{k_j/b^2}$; the $\phi^{(m)}$ are derivatives of $\int A\,d^m w$ with factors $(w_{ia}-z_a)^{-1}$, and the dictionary $\kappa=-b^2$, $x_1=\Lambda/2b$ links the two sides.

What would settle it

Compute the commutator $[L_n,L_m]$ on a non-vacuum vector of the degree-1 sl(2) irregular module; if it fails to give the Virasoro algebra for some $n,m$, the Sugawara foundation breaks. Independently, take the 2-point height-2 block and substitute generic numerical values of $k_1,k_2,b,\Lambda$ into the claimed equation $-b^2\partial_1\psi=\mathrm{diag}(2\Lambda,\Lambda,0)\psi+\hat\Omega_{12}^{T}/(z_1-z_2)\psi$; a nonzero residual would falsify Theorem 2. For arbitrary height, one can run the same check for $m=3$ with $N=2$ or $3$.

Watch

Extended reading notes

Core claim

The central claim is that irregular Virasoro representations are not merely analogous to irregular affine Kac-Moody representations: they are produced from them. With the degree-one irregular vacuum $f(x_1)=1/\sqrt{x_1}$ and the modified mode actions $\alpha_1=-x_1$, $\alpha_{-1}=\partial_{x_1}$, the Sugawara generators act as $L_0=(x_1\partial_{x_1}+\lambda(\theta-\lambda))$, $L_1=-2x_1(\lambda-\theta)$, $L_2=-x_1^2$, matching the rank-1 Gaiotto-Teschner state after the rescalings $x_1\to(\sqrt{2}/\sqrt{-1})x_1$, etc.; the same pattern extends to degree $r$. For the sl(2) case, the paper derives the degree-one irregular KZ equation $\kappa\partial_i\psi=(\Lambda/2 H_i+\sum_{j\ne i}\Omega_{ij}/(z_i-z_j))\psi$ and proves Theorem 2: the column vector $\hat\psi$ whose entries are $\phi^{(m)}=\int A(z,w)d^m w\prod_{a=1}^{m_1}\frac{1}{w_{1a}-z_1}\cdots$ satisfies $-b^2\partial_i\hat\psi=A_i\hat\psi+\sum_{j\ne i}\hat\Omega_{ij}^{T}/(z_i-z_j)\hat\psi$ with $A_i\phi^{(m)}=-\Lambda m_i\phi^{(m)}$. This identifies irregular Liouville blocks with $m$ screenings as exact solutions for every $m$, and the connection is shown to be flat in degree one.

Load-bearing premise

The load-bearing premise is that the modified mode actions define genuine representations of the affine algebra and that the Sugawara Virasoro modes close on the full irregular module, not just on the vacuum; the paper verifies only selected actions and the single commutator $[L_2,L_1]=L_3$.

Editorial extensions

If this is right

  • Irregular Virasoro conformal blocks with degenerate fields and one irregular operator at infinity admit a KZ-type flat connection at level $\kappa=-b^2$, so current-algebra methods apply to them.
  • For every height $m$, the $\phi^{(m)}$ integrals give an explicit basis of solutions of a linear system whose matrices are block-diagonal by height; the height counts how many lowering operators act on the highest-weight tensor product.
  • The degree-one irregular KZ connection is flat, and higher-degree flatness holds under the constraints (4.8), so these equations define genuine braiding operations on conformal blocks.
  • Through the Liouville correspondence, these braidings describe the exchange of surface operators in Argyres-Douglas theories, with $2^N$ conformal blocks matching the number of Lefschetz thimbles and the Grothendieck rank of the Rozansky-Witten category.

Reading between the lines

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

  • Beyond the paper: the same irregular Fock-space twist should extend to higher-rank affine algebras by adding more $\beta\gamma$ systems, yielding irregular KZ equations for Toda-type conformal blocks; the paper notes the relevance but does not carry this out.
  • Beyond the paper: Theorem 2 is proven as an operator identity on the integrand, so a direct numerical check for $m=3$ with $N=2$ or $N=3$ and generic parameters would independently test the arbitrary-height claim.
  • Beyond the paper: if the degree-$r$ flatness constraints (4.8) are read as conditions on the module at infinity, they provide a classification of which irregular singularities admit a consistent KZ description, i.e., which surface operators in Argyres-Douglas theories can be braided.
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.

Referee Report

4 major / 5 minor

Summary. The paper constructs irregular representations of the affine Lie algebra \widehat{sl}(2,\mathbb{C}) by modifying the action of positive modes on a Fock space, and shows via the Sugawara construction that these yield Gaiotto-Teschner irregular Virasoro modules. It then derives irregular Knizhnik-Zamolodchikov (KZ) equations for conformal blocks with an irregular operator at infinity and regular insertions, and identifies solutions with derivatives of irregular Liouville conformal blocks with screening charges. Theorem 1 proves the height-2 case and Theorem 2 claims integral solutions for arbitrary height. The paper also discusses flatness of the resulting connections and applications to Argyres-Douglas theories with surface operators. The main results are the representation-theoretic link between irregular Virasoro and Kac-Moody blocks and the explicit integral representations of the irregular KZ solutions.

Significance. If the gaps identified below are repaired, this paper would fill a genuine gap in the literature: it connects irregular Virasoro conformal blocks to irregular Kac-Moody representations via the Sugawara construction, and it provides explicit integral solutions of the resulting irregular KZ equations. The height-2 theorem and the operator calculus in Section 3.5 are valuable, and the connection to Liouville theory and Argyres-Douglas surface operators is well motivated. The paper is not circular: the KZ equations are derived from the constructed modules, and the statement that derivatives of Liouville blocks satisfy them is proven directly. The main shortcomings are technical, not conceptual: the contour hypotheses in Theorem 2 are missing, the sign of the irregular term is inconsistent, and the representation-theoretic verification of the Sugawara Virasoro algebra is incomplete.

major comments (4)
  1. [Sec. 3.5, Theorem 2 (Eqs. (3.90)-(3.94), proof (3.99)-(3.112))] Theorem 2 is stated for an arbitrary contour Γ, but the proof uses integration by parts in the w-variables and drops all boundary terms, e.g. Eq. (3.107) and the manipulations in Appendix A. The integrand contains exp(Λ/b^2 Σ_i w_i), so for a noncompact Γ the boundary contribution at infinity does not vanish in general. The theorem should either restrict Γ to relative homology cycles (typically Lefschetz thimbles) on which the boundary terms vanish, or prove that the boundary terms cancel after summation. As written, the central existence statement for integral solutions is not proven for generic Γ.
  2. [Sec. 1.1 vs Sec. 3.5; Eqs. (1.10), (3.94), (3.77), (3.87)] The sign of the irregular term A_i is inconsistent. Eq. (1.10) states A_i φ^{(m)} = +Λ m_i φ^{(m)}, whereas Theorem 2, Eq. (3.94) states A_i φ^{(m)} = -Λ m_i φ^{(m)}. The height-2 proof is internally inconsistent as well: Eq. (3.77) gives A_1 = -diag(2Λ, Λ, 0), while Eq. (3.87) gives A_1 = diag(2Λ, Λ, 0). This must be settled before the equation can be applied, since the sign determines whether the irregular term is a source or a sink in the KZ equation.
  3. [Sec. 2.1-2.2, Eqs. (2.7)-(2.11), (2.81)-(2.89), (2.121)-(2.128)] The paper claims that the modified Fock-space actions define representations of the affine algebras and that the Sugawara modes L_n close to the Virasoro algebra on these irregular modules. However, only selected actions on the vacuum are checked (Eqs. (2.23)-(2.26), (2.51)-(2.56), (2.90)-(2.93)) together with one commutator, [L_2, L_1] = L_3 (Eq. (2.57)). Since the derivation of the irregular KZ equations in Section 3 relies on the Sugawara construction, the full Virasoro relations on the irregular modules (or a general argument establishing them) must be supplied. As written, this is an unproven load-bearing assumption.
  4. [Sec. 4.2, Eqs. (4.5)-(4.12)] The flatness argument for degree r > 1 is incomplete. Eq. (4.8) is asserted to be sufficient for flatness of the connection (4.6), but no computation is shown, and the limit z_1 → ∞ in Eqs. (4.9)-(4.12) is taken without controlling the terms that couple the irregular singularity to the other marked points. Moreover, the identification A_i^{(l)} = Ω^{(l+1)}_{∞ i} presupposes representations of the higher-degree subspaces g^{(l)} at infinity, which have not been constructed for general l. Thus the claim that irregular KZ equations of arbitrary degree define flat connections is not established.
minor comments (5)
  1. [Abstract/Introduction] There are several typos in the text, e.g. 'Painlave equations' should be 'Painlevé equations', and the affiliation 'St. Peresburg University' should be 'St. Petersburg University'.
  2. [Eq. (2.102)] The displayed computation of ⟨Ω_1, h_+(z_i)⋯⟩ contains a repeated factor ⟨h_1 Ω_1, ⋯⟩ on both sides of the equality; the last factor should presumably be ⟨Ω_1, ⋯⟩. Please correct.
  3. [Sec. 1.1, Eqs. (1.2), (2.131)] The parameter z_0 appears in the formulas for \hat{L}_i but is never defined in the description of the irregular module actions in Section 2.3. Please clarify its meaning or remove it.
  4. [Theorem 1, Eqs. (3.66)-(3.67) vs proof, Eqs. (3.77), (3.87)] The normalization of the A_i action is inconsistent between the statement of Theorem 1 (factors of Λ/b^2) and the proof (factors of Λ). The convention should be fixed and used uniformly.
  5. [Sec. 3.4, Eq. (3.31)] The parameter dictionary c = x_1 = Λ/(2b), b = -iκ uses the symbol b for both the Liouville parameter and the Kac-Moody level parameter; the substitution into Eq. (3.20) leading to Eq. (3.32) is not transparent. Please state the dictionary with distinct notation and display the intermediate steps.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the constructions and integral-solution theorems are derived directly, with only non-circular proof gaps.

full rationale

The derivation chain is not circular. The irregular Kac-Moody representations are built from explicit mode assignments (Sec. 2.1-2.2), and the claim that they reproduce Gaiotto-Teschner Virasoro states is verified by computing Sugawara L_n actions and matching to [9], an external reference, after an explicit change of variables; this is an isomorphism check, not a definition of the target states in terms of the source construction. The irregular KZ equations in Sec. 3.2-3.3 are obtained from the intertwining condition and the explicit action of currents on the irregular vacuum, not by assuming the equation. The Liouville-block integral solutions are proven by direct differentiation and integration by parts in Theorem 1 (Appendix A) and by the operator identity in Theorem 2 (Eqs. 3.101-3.112); the parameters c=x1=Lambda/(2b) are matched after both objects are independently defined, so this is dictionary-making rather than fitting. The citation to the authors' earlier height-1 paper [34] is used to connect the height-1 sector, but the same equations are re-derived from the present representation-theoretic setup and Theorem 2 covers arbitrary height, so the self-citation is not load-bearing. The proof does contain a nontrivial analytical gap: Theorem 2's integration by parts (3.107) discards boundary terms that vanish only for suitably chosen contours such as Lefschetz thimbles, not for generic Gamma, and the sign of A_i is inconsistent between Eq. (1.10) and Eq. (3.94). These are correctness risks, not circularity. No step reduces a claimed prediction to an input by construction, so the circularity score is zero.

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

The central claim rests on the validity of the new irregular module actions and the closure of the Sugawara Virasoro modes on them, on the existence of intertwiners, and on analytic assumptions about integration contours. No parameters are fitted to data; b, Lambda, k_i and the level k are physical inputs inherited from both sides of the dictionary (3.31).

free parameters (1)
  • None fitted
    No numbers are fitted to data or chosen ad hoc to make a derivation work; b, Lambda, k_i and the level k are physical inputs inherited from Liouville theory and the Wakimoto construction, appearing on both sides of the dictionary (3.31).
assumptions (5)
  • ad hoc to paper The modified Fock-space actions (2.7)-(2.11) and (2.81)-(2.89) define representations of the affine algebras hat gl(1) and hat sl(2).
    Asserted with 'One can check' (Section 2.1); not proven in detail, and the whole construction rests on it.
  • ad hoc to paper The Sugawara modes L_n form a representation of the Virasoro algebra on the irregular modules.
    Only selected actions on the vacuum and one commutator (2.57) are checked; full closure is assumed.
  • domain assumption The intertwiner Phi satisfies [a[n], Phi_u(z)] = z^n Phi_{a u}(z) for the irregular modes (Section 3.1, Eq. (3.1)).
    Standard in regular WZW models; its validity for irregular modules is assumed without proof.
  • domain assumption The integration cycles Gamma can be chosen so that total derivatives vanish and integrals converge (Section 3.4, Theorems 1 and 2).
    Not addressed; the proof uses integration by parts freely, which requires boundary terms and convergence conditions.
  • domain assumption The Liouville/SL(2) WZW correspondence of [29,36] holds in the irregular setting (Section 3.4).
    Adopted from the literature; motivates the dictionary (3.31) but is not proved here.
invented entities (1)
  • Irregular vacuum state at infinity (module with modified positive-mode action)
    purpose: Serves as the non-regular module at z=infinity in the conformal block, producing the Lambda H_i term in the irregular KZ equation.
    A mathematical construction; its only handles are the resulting KZ equations and integral solutions verified inside the paper, with no external falsifiable prediction.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Irregular KZ equations and Kac-Moody representations." pith.science (2026). https://pith.science/paper/OYIK24DA

@misc{pith2026241216929,
  author       = {Pith},
  title        = {Pith review of: Irregular KZ equations and Kac-Moody representations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OYIK24DA}},
  note         = {Machine review of arXiv:2412.16929}
}
abstract

In this paper we construct irregular representations of the affine Kac-Moody algebra $\widehat{sl}(2,\mathbb{C})$. We show how such irregular representations correspond to irregular Gaiotto-Teschner representations of the Virasoro algebra. The intertwiners for such representations satisfy a version of Knizhnik-Zamolodchikov (KZ) equations which we call irregular KZ equations. By connecting to 2d Liouville theory, we show how the conformal blocks governed by our irregular KZ equation correspond to 4d Argyres-Douglas theories with surface operator insertions. The corresponding flat connections describe braiding between such operators on the Gaiotto curve.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. 2D CFT and efficient Bethe ansatz for exactly solvable Richardson-Gaudin models

    hep-th 2025-07 conditional novelty 3.0 of 10

    The paper identifies the Richardson Yang-Yang function with a Gaiotto-Witten irregular Virasoro block and provides a numerical solver for the Bethe equations of Richardson-Gaudin models.

Reference graph

Works this paper leans on

44 extracted references · 13 canonical work pages · cited by 1 Pith paper

  1. [34]

    Haghighat, Y

    B. Haghighat, Y. Liu and N. Reshetikhin, Flat Connections from Irregular Conformal Blocks , 2311.07960

  2. [1]

    A. A. Belavin, A. M. Polyakov and A. B. Zamolodchikov, Infinite Conformal Symmetry in Two-Dimensional Quantum Field Theory , Nucl. Phys. B 241 (1984) 333–380

  3. [2]

    Knizhnik and A

    V. Knizhnik and A. Zamolodchikov, Current algebra and wess-zumino model in two dimensions, Nuclear Physics B 247 (1984) 83–103

  4. [3]

    Witten, Quantum Field Theory and the Jones Polynomial , Commun

    E. Witten, Quantum Field Theory and the Jones Polynomial , Commun. Math. Phys. 121 (1989) 351–399

  5. [4]

    L. F. Alday, D. Gaiotto and Y. Tachikawa, Liouville Correlation Functions from Four-dimensional Gauge Theories, Lett. Math. Phys. 91 (2010) 167–197, [ 0906.3219]

  6. [5]

    Gaiotto, Asymptotically free N = 2 theories and irregular conformal blocks , J

    D. Gaiotto, Asymptotically free N = 2 theories and irregular conformal blocks , J. Phys. Conf. Ser. 462 (2013) 012014, [ 0908.0307]

  7. [6]

    Dijkgraaf and C

    R. Dijkgraaf and C. Vafa, Toda Theories, Matrix Models, Topological Strings, and N=2 Gauge Systems , 0909.2453

  8. [7]

    Gaiotto and E

    D. Gaiotto and E. Witten, Knot Invariants from Four-Dimensional Gauge Theory , Adv. Theor. Math. Phys. 16 (2012) 935–1086, [ 1106.4789]

Show all 44 references
  1. [8]

    Nagoya, Hypergeometric solutions to Schr¨ odinger equations for the quantum Painlev´ e equations, Journal of Mathematical Physics 52 (Aug., 2011) 083509–083509, [ 1109.1645]

    H. Nagoya, Hypergeometric solutions to Schr¨ odinger equations for the quantum Painlev´ e equations, Journal of Mathematical Physics 52 (Aug., 2011) 083509–083509, [ 1109.1645]

  2. [9]

    Gaiotto and J

    D. Gaiotto and J. Teschner, Irregular singularities in Liouville theory and Argyres-Douglas type gauge theories, I , JHEP 12 (2012) 050, [ 1203.1052]

  3. [10]

    Nekrasov, BPS/CFT correspondence: non-perturbative Dyson-Schwinger equations and qq-characters, JHEP 03 (2016) 181, [ 1512.05388]

    N. Nekrasov, BPS/CFT correspondence: non-perturbative Dyson-Schwinger equations and qq-characters, JHEP 03 (2016) 181, [ 1512.05388]

  4. [11]

    Reshetikhin, The knizhnik-zamolodchikov system as a deformation of the isomonodromy problem, Letters in Mathematical Physics 26 (1992) 167–177

    N. Reshetikhin, The knizhnik-zamolodchikov system as a deformation of the isomonodromy problem, Letters in Mathematical Physics 26 (1992) 167–177

  5. [12]

    Gaiotto, G

    D. Gaiotto, G. W. Moore and A. Neitzke, Wall-crossing, Hitchin systems, and the WKB approximation, Adv. Math. 234 (2013) 239–403, [ 0907.3987]

  6. [13]

    P. C. Argyres and M. R. Douglas, New phenomena in SU(3) supersymmetric gauge theory , Nucl. Phys. B 448 (1995) 93–126, [ hep-th/9505062]

  7. [14]

    Bonelli, O

    G. Bonelli, O. Lisovyy, K. Maruyoshi, A. Sciarappa and A. Tanzini, On Painlev´ e/gauge theory correspondence, Lett. Matth. Phys. 107 (2017) 2359–2413, [ 1612.06235]

  8. [15]

    Jimbo, H

    M. Jimbo, H. Nagoya and J. Sun, Remarks on the confluent kz equation for and quantum painlev´ e equations, Journal of Physics A: Mathematical and Theoretical 41 (apr, 2008) 175205

  9. [16]

    Awata, H

    H. Awata, H. Fuji, H. Kanno, M. Manabe and Y. Yamada, Localization with a Surface Operator, Irregular Conformal Blocks and Open Topological String , Adv. Theor. Math. Phys. 16 (2012) 725–804, [ 1008.0574]

  10. [17]

    Nagoya and J

    H. Nagoya and J. Sun, Confluent primary fields in the conformal field theory , Journal of Physics A: Mathematical and Theoretical 43 (Oct., 2010) 465203

  11. [18]

    Nishinaka and C

    T. Nishinaka and C. Rim, Matrix models for irregular conformal blocks and Argyres-Douglas theories, JHEP 10 (2012) 138, [ 1207.4480]

  12. [19]

    Rim, Irregular conformal block and its matrix model , 1210.7925

    C. Rim, Irregular conformal block and its matrix model , 1210.7925

  13. [20]

    Gaiotto and J

    D. Gaiotto and J. Lamy-Poirier, Irregular Singularities in the H + 3 WZW Model, 1301.5342. – 38 –

  14. [21]

    S. K. Choi, C. Rim and H. Zhang, Virasoro irregular conformal block and beta deformed random matrix model , Phys. Lett. B 742 (2015) 50–54, [ 1411.4453]

  15. [22]

    Nagoya, Irregular conformal blocks, with an application to the fifth and fourth Painlev´ e equations, J

    H. Nagoya, Irregular conformal blocks, with an application to the fifth and fourth Painlev´ e equations, J. Math. Phys. 56 (2015) 123505, [ 1505.02398]

  16. [23]

    S. K. Ashok, D. P. Jatkar, R. R. John, M. Raman and J. Troost, Exact WKB analysis of N = 2 gauge theories , JHEP 07 (2016) 115, [ 1604.05520]

  17. [24]

    Bonelli, C

    G. Bonelli, C. Iossa, D. P. Lichtig and A. Tanzini, Irregular Liouville correlators and connection formulae for Heun functions , 2201.04491

  18. [25]

    Felder and G

    G. Felder and G. Rembado, Singular modules for affine Lie algebras, and applications to irregular WZNW conformal blocks , Selecta Math. 29 (2023) 15, [ 2012.14793]

  19. [26]

    Awata and Y

    H. Awata and Y. Yamada, Five-dimensional AGT Conjecture and the Deformed Virasoro Algebra, JHEP 01 (2010) 125, [ 0910.4431]

  20. [27]

    Frenkel, S

    E. Frenkel, S. Gukov and J. Teschner, Surface Operators and Separation of Variables , JHEP 01 (2016) 179, [ 1506.07508]

  21. [28]

    Nekrasov, BPS/CFT correspondence V: BPZ and KZ equations from qq-characters , 1711.11582

    N. Nekrasov, BPS/CFT correspondence V: BPZ and KZ equations from qq-characters , 1711.11582

  22. [29]

    Ribault and J

    S. Ribault and J. Teschner, H+(3)-WZNW correlators from Liouville theory , JHEP 06 (2005) 014, [ hep-th/0502048]

  23. [30]

    Jimbo, T

    M. Jimbo, T. Miwa and K. Ueno, Monodromy preserving deformation of linear ordinary differential equations with rational coefficients: I. general theory and tau-function , Physica D: Nonlinear Phenomena 2 (1981) 306–352

  24. [31]

    Feigin, E

    B. Feigin, E. Frenkel and L. Rybnikov, Opers with irregular singularity and spectra of the shift of argument subalgebra , Duke Mathematical Journal 155 (nov, 2010)

  25. [32]

    Feigin, E

    B. Feigin, E. Frenkel and V. T. Laredo, Gaudin models with irregular singularities , Advances in Mathematics 223 (feb, 2010) 873–948

  26. [33]

    Xu, Representations of quantum groups arising from the stokes phenomenon and applications,

    X. Xu, Representations of quantum groups arising from the stokes phenomenon and applications,

  27. [35]

    L. F. Alday, D. Gaiotto, S. Gukov, Y. Tachikawa and H. Verlinde, Loop and surface operators in N=2 gauge theory and Liouville modular geometry , JHEP 01 (2010) 113, [ 0909.0945]

  28. [36]

    Cordova and D

    C. Cordova and D. L. Jafferis, Toda Theory From Six Dimensions , JHEP 12 (2017) 106, [1605.03997]

  29. [37]

    X. Gu, B. Haghighat and K. Loo, Irregular Fibonacci Conformal Blocks, 2311.13358

  30. [38]

    Hu and P

    S. Hu and P. Liu, Kauffman polynomial from a generalized yang–yang function , Annales Henri Poincar´ e17 (May, 2016) 1145–1179

  31. [39]

    Nekrasov and E

    N. Nekrasov and E. Witten, The Omega Deformation, Branes, Integrability, and Liouville Theory, JHEP 09 (2010) 092, [ 1002.0888]

  32. [40]

    J. A. Harvey, G. W. Moore and A. Strominger, Reducing S duality to T duality , Phys. Rev. D 52 (1995) 7161–7167, [ hep-th/9501022]. – 39 –

  33. [41]

    Bershadsky, A

    M. Bershadsky, A. Johansen, V. Sadov and C. Vafa, Topological reduction of 4-d SYM to 2-d sigma models, Nucl. Phys. B 448 (1995) 166–186, [ hep-th/9501096]

  34. [42]

    Rozansky and E

    L. Rozansky and E. Witten, HyperKahler geometry and invariants of three manifolds , Selecta Math. 3 (1997) 401–458, [ hep-th/9612216]

  35. [43]

    Dedushenko, S

    M. Dedushenko, S. Gukov, H. Nakajima, D. Pei and K. Ye, 3d TQFTs from Argyres–Douglas theories, J. Phys. A 53 (2020) 43LT01, [1809.04638]

  36. [44]

    Gukov, B

    S. Gukov, B. Haghighat and N. Reshetikhin, Foams and KZ-equations in Rozansky-Witten theories, 2407.19757. – 40 –

Pith tools

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