arxiv: 2604.26418 · v1 · submitted 2026-04-29 · ✦ hep-th

Recognition: unknown

Quarter-indices for basic ortho-symplectic corners

Yasuyuki Hatsuda , Tadashi Okazaki

Authors on Pith no claims yet

Pith reviewed 2026-05-07 13:19 UTC · model grok-4.3

classification ✦ hep-th

keywords quarter-indicesortho-symplectic cornersY-junctionsS-dualityW-algebrasvertex operator algebrasHiggsing methodN=4 super Yang-Mills

0 comments

The pith

Exact closed-form quarter-indices for basic ortho-symplectic Y-junctions match under duality and reduce to W-algebra characters.

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

The paper derives exact expressions for supersymmetric quarter-indices of corner configurations in 4d N=4 super Yang-Mills theory using orthogonal and symplectic gauge groups. It focuses on basic Y-junctions and obtains closed forms by applying the Gustafson-type integral formula together with the Higgsing method. The resulting indices for dual configurations are shown to be identical, supplying evidence that the corners respect S-duality. In a special fugacity limit the same indices become vacuum characters of W-algebras of BCD type and of the Lie superalgebra osp(1|2N), which serve as the associated corner vertex operator algebras.

Core claim

For the basic Y-junctions, exact closed-form expressions for the indices are obtained by making use of the Gustafson type integral formula and the Higgsing method. The quarter-indices of dual configurations are demonstrated to be equal, providing evidence for S-duality of the corner configurations. In the special fugacity limit, the indices admit an interpretation in terms of the vacuum characters of the W-algebras of type BCD and the Lie superalgebra osp(1|2N) as the corner vertex operator algebras.

What carries the argument

The Gustafson-type integral formula combined with the Higgsing method, which reduces the quarter-index computation for Y-junctions to evaluable integrals.

If this is right

Equality of the quarter-indices between dual configurations supplies concrete evidence for S-duality of the corner setups.
In the special fugacity limit the indices become vacuum characters of W-algebras of BCD type and of osp(1|2N).
The closed-form results allow systematic study of these indices beyond numerical evaluation.

Where Pith is reading between the lines

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

The same integral techniques might extend to non-basic or higher-genus corner configurations.
The VOA interpretation could connect quarter-indices to other conformal-block quantities in related theories.
Successful matching here suggests that S-duality checks for corners may be feasible in broader classes of N=4 setups.

Load-bearing premise

The Gustafson-type integral formula and Higgsing method apply directly to the quarter-indices of these ortho-symplectic corner configurations without extra correction terms or restrictions on the gauge groups.

What would settle it

An explicit mismatch between the closed-form index for any basic Y-junction and an independent direct computation of the same index would falsify the claimed expressions and the duality evidence.

read the original abstract

We study supersymmetric quarter-indices for corner configurations in 4d $\mathcal{N}=4$ super Yang-Mills theory with orthogonal and symplectic gauge groups. For the basic Y-junctions, we obtain exact closed-form expressions for the indices by making use of the Gustafson type integral formula and the Higgsing method. We demonstrate the equality of the quarter-indices between dual configurations, providing evidence for S-duality of the corner configurations. In the special fugacity limit, the indices admit an interpretation in terms of the vacuum characters of the W-algebras of type BCD, and the Lie superalgebra $\mathfrak{osp}(1|2N)$ as the corner vertex operator algebras.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper supplies closed-form quarter-indices for basic ortho-symplectic Y-junctions, verifies their S-duality equality, and links a limit to BCD W-algebra and osp(1|2N) characters.

read the letter

The main point is that Hatsuda and Okazaki have produced explicit closed-form expressions for the quarter-indices of the basic ortho-symplectic corner junctions in N=4 SYM. They apply the Gustafson-type integral together with Higgsing to get the formulas, show that dual configurations give identical indices, and recover the expected vacuum characters of the type-BCD W-algebras and the osp(1|2N) superalgebra in the appropriate fugacity limit. These are concrete results that were not available before for these groups and setups. The work extends the unitary-case literature in a direct way, and the duality matching plus the VOA interpretation are the parts that will be most useful to people tracking protected quantities and their algebraic counterparts. The calculations appear to rest on standard localization techniques applied to the new gauge groups, which is a reasonable approach if the integrands are handled correctly. The potential weak point is whether the Gustafson formula carries over without extra root-system adjustments or Pfaffian factors; the abstract presents it as straightforward, but the precise integrand and contour choices would need checking to confirm there are no hidden corrections. If those details are solid in the body, the central claims hold. This is aimed at readers already working on supersymmetric indices, S-duality for non-unitary groups, and VOA realizations of corner configurations. Someone who needs the explicit expressions or wants to see the duality tested in these cases will get direct value. I would send it to peer review; the results are specific enough and the methods familiar enough that referees can verify the derivations without starting from scratch.

Referee Report

1 major / 1 minor

Summary. The manuscript computes supersymmetric quarter-indices for basic Y-junction corner configurations in 4d N=4 SYM with orthogonal and symplectic gauge groups. Exact closed-form expressions are obtained via the Gustafson-type integral formula combined with Higgsing; equality of indices between dual configurations is shown as evidence for S-duality; and a special fugacity limit yields vacuum characters of W-algebras of type BCD together with the osp(1|2N) Lie superalgebra as the associated corner VOAs.

Significance. If the closed-form expressions and duality equalities hold, the work supplies concrete new results for quarter-indices beyond unitary groups, direct evidence for S-duality of ortho-symplectic corners, and an explicit bridge from these indices to BCD W-algebra characters and osp(1|2N) VOAs. This strengthens the dictionary between 4d gauge-theory indices and 2d algebraic structures.

major comments (1)

[Sections deriving the quarter-index integrals for basic Y-junctions (around the Gustafson formula application and Higgs-] The central derivations rely on direct application of the Gustafson-type integral formula to ortho-symplectic groups. The original formula and its hypergeometric integrands were derived for unitary gauge groups with their specific Weyl denominators; the manuscript must explicitly insert or derive the appropriate root-system factors, Weyl group order, and any Pfaffian contributions to the localization measure for O/Sp groups (see the integral representations in the sections deriving the Y-junction indices). Without this adaptation or independent verification against known limits, the claimed exact closed forms and the subsequent duality equalities are not guaranteed to hold.

minor comments (1)

[Introduction and setup] Notation for the fugacity variables and the precise definition of the 'basic Y-junction' boundary conditions could be introduced earlier with a diagram or table to aid readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive major comment. We address the point below and are happy to revise the presentation accordingly.

read point-by-point responses

Referee: The central derivations rely on direct application of the Gustafson-type integral formula to ortho-symplectic groups. The original formula and its hypergeometric integrands were derived for unitary gauge groups with their specific Weyl denominators; the manuscript must explicitly insert or derive the appropriate root-system factors, Weyl group order, and any Pfaffian contributions to the localization measure for O/Sp groups (see the integral representations in the sections deriving the Y-junction indices). Without this adaptation or independent verification against known limits, the claimed exact closed forms and the subsequent duality equalities are not guaranteed to hold.

Authors: We thank the referee for highlighting the need for greater explicitness in the adaptation. The manuscript applies the known generalization of the Gustafson integral to the root systems of types B, C, and D (as developed in the literature on hypergeometric integrals over classical root systems), which incorporates the correct Weyl group orders, root-system factors, and Pfaffian contributions arising from the localization measure for orthogonal and symplectic groups in 4d N=4 SYM. The hypergeometric integrands are adjusted accordingly, and the subsequent Higgsing procedure preserves these factors. Nevertheless, we agree that an explicit derivation starting from the localization formula would strengthen the exposition. In the revised version we will insert a short dedicated subsection (in the sections deriving the Y-junction indices) that derives the integral representation for O/Sp groups, contrasts it with the unitary case, and verifies consistency against known limits such as rank-one reductions and small-N checks. This addition will not alter the closed-form results or the duality equalities but will make the adaptation fully transparent. revision: yes

Circularity Check

0 steps flagged

No circularity; external integral formulas and independent dual computations

full rationale

The paper obtains closed-form quarter-index expressions via the external Gustafson-type integral formula and Higgsing method applied to ortho-symplectic Y-junctions, then verifies equality by direct comparison of independently computed dual configurations. The special fugacity limit yields W-algebra character interpretations as a derived consequence rather than an input. No steps reduce by construction to self-definitions, fitted parameters renamed as predictions, or load-bearing self-citations whose validity depends on the present work. The derivation remains self-contained against named external results and physical dualities.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the direct applicability of two named external mathematical tools to the new physical configurations; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (2)

domain assumption Gustafson-type integral formula applies without modification to the quarter-index integrals for these gauge groups and junctions
Invoked to obtain the closed-form expressions
domain assumption Higgsing method correctly reduces the index computation for the basic Y-junction corner configurations
Used to derive the exact expressions

pith-pipeline@v0.9.0 · 5406 in / 1512 out tokens · 119311 ms · 2026-05-07T13:19:16.525805+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

49 extracted references · 44 canonical work pages · 1 internal anchor

[1]

Magnetic Monopoles as Gauge Particles?,

C. Montonen and D. I. Olive, “Magnetic Monopoles as Gauge Particles?,”Phys. Lett. 72B(1977) 117–120

1977
[2]

Topological Charges for N=4 Supersymmetric Gauge Theories and Monopoles of Spin 1,

H. Osborn, “Topological Charges for N=4 Supersymmetric Gauge Theories and Monopoles of Spin 1,”Phys.Lett.B83(1979) 321

1979
[3]

The Large N Limit of Superconformal Field Theories and Supergravity

J. M. Maldacena, “The Large N limit of superconformal field theories and supergravity,”Adv.Theor.Math.Phys.2(1998) 231–252,arXiv:hep-th/9711200 [hep-th]

work page internal anchor Pith review arXiv 1998
[4]

Type IIB Superstrings, BPS Monopoles, And Three-Dimensional Gauge Dynamics

A. Hanany and E. Witten, “Type IIB superstrings, BPS monopoles, and three-dimensional gauge dynamics,”Nucl.Phys.B492(1997) 152–190, arXiv:hep-th/9611230 [hep-th]

work page Pith review arXiv 1997
[5]

Supersymmetric Boundary Conditions in N=4 Super Yang-Mills Theory,

D. Gaiotto and E. Witten, “Supersymmetric Boundary Conditions in N=4 Super Yang-Mills Theory,”J. Statist. Phys.135(2009) 789–855,arXiv:0804.2902 [hep-th]

work page arXiv 2009
[6]

Janus Configurations, Chern-Simons Couplings, And The theta-Angle in N=4 Super Yang-Mills Theory,

D. Gaiotto and E. Witten, “Janus Configurations, Chern-Simons Couplings, And The theta-Angle in N=4 Super Yang-Mills Theory,”JHEP1006(2010) 097, arXiv:0804.2907 [hep-th]

work page arXiv 2010
[7]

S-Duality of Boundary Conditions In N=4 Super Yang-Mills Theory,

D. Gaiotto and E. Witten, “S-Duality of Boundary Conditions In N=4 Super Yang-Mills Theory,”Adv. Theor. Math. Phys.13no. 3, (2009) 721–896, arXiv:0807.3720 [hep-th]

work page arXiv 2009
[8]

Vertex Algebras at the Corner,

D. Gaiotto and M. Rapˇ c´ ak, “Vertex Algebras at the Corner,”JHEP01(2019) 160, arXiv:1703.00982 [hep-th]

work page arXiv 2019
[9]

Vertex Algebras for S-duality,

T. Creutzig and D. Gaiotto, “Vertex Algebras for S-duality,”Commun. Math. Phys. 379no. 3, (2020) 785–845,arXiv:1708.00875 [hep-th]

work page arXiv 2020
[10]

Webs of W-algebras,

T. Proch´ azka and M. Rapˇ c´ ak, “Webs of W-algebras,”JHEP11(2018) 109, arXiv:1711.06888 [hep-th]

work page arXiv 2018
[11]

(0,4) brane box models,

A. Hanany and T. Okazaki, “(0,4) brane box models,”JHEP03(2019) 027, arXiv:1811.09117 [hep-th]

work page arXiv 2019
[12]

Dualities of Corner Configurations and Supersymmetric Indices,

D. Gaiotto and T. Okazaki, “Dualities of Corner Configurations and Supersymmetric Indices,”JHEP11(2019) 056,arXiv:1902.05175 [hep-th]

work page arXiv 2019
[13]

Abelian dualities ofN= (0,4) boundary conditions,

T. Okazaki, “Abelian dualities ofN= (0,4) boundary conditions,”JHEP08(2019) 170,arXiv:1905.07425 [hep-th]

work page arXiv 2019
[14]

3-Manifolds and 3d Indices,

T. Dimofte, D. Gaiotto, and S. Gukov, “3-Manifolds and 3d Indices,”Adv. Theor. Math. Phys.17no. 5, (2013) 975–1076,arXiv:1112.5179 [hep-th]. – 30 –

work page arXiv 2013
[15]

Line Operator Index onS 1 ×S 3,

D. Gang, E. Koh, and K. Lee, “Line Operator Index onS 1 ×S 3,”JHEP05(2012) 007,arXiv:1201.5539 [hep-th]

work page arXiv 2012
[16]

Someq-beta and Mellin-Barnes integrals on compact Lie groups and Lie algebras,

R. A. Gustafson, “Someq-beta and Mellin-Barnes integrals on compact Lie groups and Lie algebras,”Trans. Amer. Math. Soc.341no. 1, (1994) 69–119. https://doi.org/10.2307/2154615

work page doi:10.2307/2154615 1994
[17]

Askey-Wilson polynomials for root systems of typeBC,

T. H. Koornwinder, “Askey-Wilson polynomials for root systems of typeBC,” in Hypergeometric functions on domains of positivity, Jack polynomials, and applications (Tampa, FL, 1991), vol. 138 ofContemp. Math., pp. 189–204. Amer. Math. Soc., Providence, RI, 1992.https://doi.org/10.1090/conm/138/1199128

work page doi:10.1090/conm/138/1199128 1991
[18]

Bootstrapping the superconformal index with surface defects,

D. Gaiotto, L. Rastelli, and S. S. Razamat, “Bootstrapping the superconformal index with surface defects,”JHEP01(2013) 022,arXiv:1207.3577 [hep-th]

work page arXiv 2013
[19]

(2,2) and (0,4) Supersymmetric Boundary Conditions in 3d N = 4 Theories and Type IIB Branes,

H.-J. Chung and T. Okazaki, “(2,2) and (0,4) Supersymmetric Boundary Conditions in 3d N = 4 Theories and Type IIB Branes,”Phys. Rev.D96no. 8, (2017) 086005, arXiv:1608.05363 [hep-th]

work page arXiv 2017
[20]

Aspects of Ω-deformed M-theory,

D. Gaiotto and J. Oh, “Aspects of Ω-deformed M-theory,”JHEP12(2024) 184, arXiv:1907.06495 [hep-th]

work page arXiv 2024
[21]

Miura operators, degenerate fields and the M2-M5 intersection,

D. Gaiotto and M. Rapcak, “Miura operators, degenerate fields and the M2-M5 intersection,”JHEP01(2022) 086,arXiv:2012.04118 [hep-th]

work page arXiv 2022
[22]

R-matrices and Miura operators in 5d Chern-Simons theory,

N. Ishtiaque, S. Jeong, and Y. Zhou, “R-matrices and Miura operators in 5d Chern-Simons theory,”SciPost Phys. Core8(2025) 003,arXiv:2408.15712 [hep-th]

work page arXiv 2025
[23]

M2-M5 giant graviton expansions,

H. Hayashi, T. Nosaka, and T. Okazaki, “M2-M5 giant graviton expansions,”JHEP12 (2024) 109,arXiv:2409.13239 [hep-th]

work page arXiv 2024
[24]

M5-branes from gauge theories on the 5-sphere,

H.-C. Kim and S. Kim, “M5-branes from gauge theories on the 5-sphere,”JHEP05 (2013) 144,arXiv:1206.6339 [hep-th]

work page arXiv 2013
[25]

Wsymmetry in six dimensions,

C. Beem, L. Rastelli, and B. C. van Rees, “Wsymmetry in six dimensions,”JHEP05 (2015) 017,arXiv:1404.1079 [hep-th]

work page arXiv 2015
[26]

Twisted holography,

K. Costello and D. Gaiotto, “Twisted holography,”JHEP01(2025) 087, arXiv:1812.09257 [hep-th]

work page arXiv 2025
[27]

M-theory in the Omega-background and 5-dimensional non-commutative gauge theory,

K. Costello, “M-theory in the Omega-background and 5-dimensional non-commutative gauge theory,”arXiv:1610.04144 [hep-th]

work page arXiv
[28]

Holography and Koszul duality: the example of theM2 brane,

K. Costello, “Holography and Koszul duality: the example of theM2 brane,” arXiv:1705.02500 [hep-th]

work page arXiv
[29]

Baryons and branes in anti-de Sitter space,

E. Witten, “Baryons and branes in anti-de Sitter space,”JHEP07(1998) 006, arXiv:hep-th/9805112. – 31 –

work page arXiv 1998
[30]

Mirror symmetry by O3 planes,

B. Feng and A. Hanany, “Mirror symmetry by O3 planes,”JHEP11(2000) 033, arXiv:hep-th/0004092 [hep-th]

work page arXiv 2000
[31]

N= 3 four dimensional field theories,

I. n. Garc´ ıa-Etxebarria and D. Regalado, “N= 3 four dimensional field theories,” JHEP03(2016) 083,arXiv:1512.06434 [hep-th]

work page arXiv 2016
[32]

S-folds and 4d N=3 superconformal field theories,

O. Aharony, Y. Tachikawa, and K. Gomi, “S-folds and 4d N=3 superconformal field theories,”JHEP06(2016) 044,arXiv:1602.08638 [hep-th]

work page arXiv 2016
[33]

Orbifold ETW brane and half-indices,

Y. Hatsuda, H. Lin, and T. Okazaki, “Orbifold ETW brane and half-indices,”JHEP 12(2025) 227,arXiv:2409.16841 [hep-th]

work page arXiv 2025
[34]

Branes, Superpotentials and Superconformal Fixed Points

O. Aharony and A. Hanany, “Branes, superpotentials and superconformal fixed points,”Nucl. Phys.B504(1997) 239–271,arXiv:hep-th/9704170 [hep-th]

work page Pith review arXiv 1997
[35]

Dual boundary conditions in 3d SCFT’s,

T. Dimofte, D. Gaiotto, and N. M. Paquette, “Dual boundary conditions in 3d SCFT’s,”JHEP05(2018) 060,arXiv:1712.07654 [hep-th]

work page arXiv 2018
[36]

Superconformal Index with Duality Domain Wall,

D. Gang, E. Koh, and K. Lee, “Superconformal Index with Duality Domain Wall,” JHEP10(2012) 187,arXiv:1205.0069 [hep-th]

work page arXiv 2012
[37]

An Index for 4 dimensional super conformal theories,

J. Kinney, J. M. Maldacena, S. Minwalla, and S. Raju, “An Index for 4 dimensional super conformal theories,”Commun. Math. Phys.275(2007) 209–254, arXiv:hep-th/0510251

work page arXiv 2007
[38]

Counting chiral primaries in N = 1, d=4 superconformal field theories,

C. Romelsberger, “Counting chiral primaries in N = 1, d=4 superconformal field theories,”Nucl. Phys. B747(2006) 329–353,arXiv:hep-th/0510060

work page arXiv 2006
[39]

Calculating the Superconformal Index and Seiberg Duality,

C. Romelsberger, “Calculating the Superconformal Index and Seiberg Duality,” arXiv:0707.3702 [hep-th]

work page arXiv
[40]

Vertex Operator Algebras and 3dN= 4 gauge theories,

K. Costello and D. Gaiotto, “Vertex Operator Algebras and 3dN= 4 gauge theories,” JHEP05(2019) 018,arXiv:1804.06460 [hep-th]

work page arXiv 2019
[41]

I. G. Macdonald,Symmetric functions and Hall polynomials. Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York, second ed.,
[42]

Zelevinsky, Oxford Science Publications

With contributions by A. Zelevinsky, Oxford Science Publications
[43]

I. G. Macdonald,Affine Hecke algebras and orthogonal polynomials, vol. 157 of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 2003. https://doi.org/10.1017/CBO9780511542824

work page doi:10.1017/cbo9780511542824 2003
[44]

Double affine Hecke algebras and Macdonald’s conjectures,

I. Cherednik, “Double affine Hecke algebras and Macdonald’s conjectures,”Ann. of Math. (2)141no. 1, (1995) 191–216.https://doi.org/10.2307/2118632

work page doi:10.2307/2118632 1995
[45]

Macdonald’s evaluation conjectures and difference Fourier transform,

I. Cherednik, “Macdonald’s evaluation conjectures and difference Fourier transform,” Invent. Math.122no. 1, (1995) 119–145.https://doi.org/10.1007/BF01231441

work page doi:10.1007/bf01231441 1995
[46]

A bilateral extension of theq-Selberg integral,

M. Ito and P. J. Forrester, “A bilateral extension of theq-Selberg integral,”Trans. – 32 – Amer. Math. Soc.369no. 4, (2017) 2843–2878. https://doi.org/10.1090/tran/6851

work page doi:10.1090/tran/6851 2017
[47]

G. E. Andrews,The theory of partitions. Cambridge Mathematical Library. Cambridge University Press, Cambridge, 1998. Reprint of the 1976 original

1998
[48]

W(1+infinity) and W(gl(N)) with central charge N,

E. Frenkel, V. Kac, A. Radul, and W.-Q. Wang, “W(1+infinity) and W(gl(N)) with central charge N,”Commun. Math. Phys.170(1995) 337–358, arXiv:hep-th/9405121

work page arXiv 1995
[49]

Characters and fusion rules forW-algebras via quantized Drinfel′d-Sokolov reduction,

E. Frenkel, V. Kac, and M. Wakimoto, “Characters and fusion rules forW-algebras via quantized Drinfel′d-Sokolov reduction,”Comm. Math. Phys.147no. 2, (1992) 295–328.http://projecteuclid.org/euclid.cmp/1104250638. – 33 –

work page arXiv 1992