arxiv: 2604.25729 · v1 · submitted 2026-04-28 · 🧮 math-ph · math.MP· math.QA· math.RT

Recognition: unknown

Derivations on the triplet W-algebras with mathfrak{sl}₂-symmetry

Hiromu Nakano

Authors on Pith no claims yet

Pith reviewed 2026-05-07 14:17 UTC · model grok-4.3

classification 🧮 math-ph math.MPmath.QAmath.RT

keywords triplet W-algebrasderivationsFrobenius homomorphismssl(2) symmetryW-superalgebrasautomorphism groupsvertex operator algebras

0 comments

The pith

Refining the Frobenius homomorphisms of Tsuchiya-Wood produces derivations on the triplet W-algebras that naturally induce their sl2 symmetry.

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

The paper shows how to construct derivations on the family of triplet W-algebras W_{p+, p-} by refining earlier Frobenius homomorphisms. These derivations extend a property previously known only for the case W_{2,p} to the general parameters. The construction makes the sl2 symmetry of the algebras appear as a direct consequence of the derivations. The same technique applies to the triplet W-superalgebra SW(m), leading to a determination of its complete automorphism group as PSL_2(C) times Z_2.

Core claim

We construct derivations on the triplet W-algebras W_{p+,p-} by refining the Frobenius homomorphisms of Tsuchiya-Wood and show that the property of the Adamovi'{c}-Milas derivation for W_{2,p} extends to our derivations. As an application, we show that the sl_2-symmetry of W_{p+,p-} arises naturally from our construction. We further show that our method applies to the triplet W-superalgebra SW(m) and that the full automorphism group Aut(SW(m)) is PSL_2(C) x Z_2.

What carries the argument

Refined Frobenius homomorphisms of Tsuchiya-Wood, which serve as the source of the new derivations on the triplet W-algebras W_{p+,p-} and on the superalgebra SW(m).

Load-bearing premise

The refined homomorphisms satisfy the Leibniz rule and the defining relations of the triplet W-algebras for arbitrary parameters p+ and p-.

What would settle it

An explicit calculation for specific small values of p+ and p- showing that the refined map fails to preserve the algebra product or the relations would disprove the existence of the claimed derivations.

Figures

Figures reproduced from arXiv: 2604.25729 by Hiromu Nakano.

**Figure 2.1.** Figure 2.1: One-dimensional twisted cycle associated to view at source ↗

**Figure 2.2.** Figure 2.2: Schematic diagrams of the Fock modules Fp+,s;m, Fp+,s;n for 1 ≤ s < p−, m ≥ 1, and n ≤ 0. The black circles represent the generating vectors for the socle of the Fock modules, and the white circles correspond the generating vectors of Soc2/Soc1. The top circles represent the lowest weight vectors, and the circles are arranged so that their L0-weights increase from top to bottom. Each arrow indicates that… view at source ↗

**Figure 2.3.** Figure 2.3: Schematic diagrams of the Fock module Fr,s;n (1 ≤ r < p+, 1 ≤ s < p−, n ∈ Z). The black circles represent the generating vectors for the socle of the Fock modules. The white squares and triangles correspond the generating vectors of Soc2/Soc1 and Soc3/Soc2, respectively. The top square represents the lowest weight vector, and the other shapes are arranged so that their L0-weights increase from top to bot… view at source ↗

**Figure 2.4.** Figure 2.4: The Felder complex (2.32). Horizontal arrows represent the view at source ↗

**Figure 2.5.** Figure 2.5: Schematic diagram of the complex (2.31). Horizontal arrows view at source ↗

**Figure 3.1.** Figure 3.1: A schematic diagram of each action in Proposition 3.4. The black () view at source ↗

**Figure 3.2.** Figure 3.2: The singular vector un,k and the cosingular vectors vn−1,l in the case of (n, k) = (2, 1). Recall that a derivation on a vertex (super)algebra V is an even linear map D : V → V , such that D(anb) = (Da)nb + anDb for all a, b ∈ V and n ∈ Z (cf. [8]). In terms of vertex operators, this formula is equivalent to the following: DY (a, w)b = Y (Da)b + Y (a, w)Db. Theorem 3.20. For any v1, v2 ∈ Wp+,p− , we have… view at source ↗

read the original abstract

We construct derivations on the triplet $W$-algebras $\mathcal{W}_{p_+,p_-}$ by refining the Frobenius homomorphisms of Tsuchiya-Wood and show that the property of the Adamovi\'{c}-Milas derivation for $\mathcal{W}_{2,p}$ extends to our derivations. As an application, we show that the $\mathfrak{sl}_2$-symmetry of $\mathcal{W}_{p_+,p_-}$ arises naturally from our construction. We further show that our method applies to the triplet $W$-superalgebra $\mathcal{SW}(m)$ and that the full automorphism group ${\rm Aut}(\mathcal{SW}(m))$ is $PSL_2(\mathbb{C})\times \mathbb{Z}_2$.

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 refines Tsuchiya-Wood Frobenius maps to produce derivations on general W_{p+,p-} and derives the sl2 symmetry from them, while computing Aut(SW(m)) as PSL2(C) x Z2.

read the letter

The core advance is a refinement of the Tsuchiya-Wood Frobenius homomorphisms that yields derivations on the triplet W-algebras for arbitrary coprime p+ and p-. This extends the Adamovic-Milas derivation property, which was known only for the W_{2,p} case, and the authors show that the sl2 symmetry of W_{p+,p-} follows directly from the existence of these derivations. They then apply the same method to the triplet W-superalgebra SW(m) and obtain the explicit result that its full automorphism group is PSL2(C) times Z2.

Referee Report

1 major / 2 minor

Summary. The paper constructs derivations on the triplet W-algebras W_{p+,p-} by refining the Frobenius homomorphisms of Tsuchiya-Wood. It extends the Adamović-Milas derivation property from the special case W_{2,p} to general coprime p+,p- and shows that the sl_2-symmetry arises naturally from this construction. The method is applied to the triplet W-superalgebra SW(m), yielding that Aut(SW(m)) = PSL_2(C) × Z_2.

Significance. If the central construction is valid, the work supplies a natural origin for the sl_2-symmetry and a uniform derivation framework that generalizes known results on W-algebras. The explicit automorphism-group computation for the superalgebra case is a concrete advance with potential utility in representation theory and conformal field theory.

major comments (1)

The refinement of the Tsuchiya-Wood Frobenius homomorphisms must be verified to produce derivations (i.e., to satisfy the Leibniz rule) for arbitrary coprime p+, p- without imposing extra relations that hold only for special values such as p+=2. This step is load-bearing for the subsequent claim that sl_2-symmetry arises naturally from the construction.

minor comments (2)

Ensure that the bibliography contains complete citations for all referenced works, including the precise statements from Tsuchiya-Wood and Adamović-Milas that are being refined.
Clarify the precise definition of the refined homomorphism (e.g., how the action on generators is modified) in a dedicated subsection or equation block for readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive feedback. We address the single major comment below.

read point-by-point responses

Referee: The refinement of the Tsuchiya-Wood Frobenius homomorphisms must be verified to produce derivations (i.e., to satisfy the Leibniz rule) for arbitrary coprime p+, p- without imposing extra relations that hold only for special values such as p+=2. This step is load-bearing for the subsequent claim that sl_2-symmetry arises naturally from the construction.

Authors: The refined Frobenius homomorphisms are constructed in Definition 3.1 to apply for arbitrary coprime p+, p-. Proposition 3.4 verifies that they satisfy the Leibniz rule by direct expansion using the general commutation relations of the triplet W-algebra (which are independent of the special case p+=2). The proof uses only the coprimeness to guarantee that the relevant screening operators generate the correct submodule structure, without introducing auxiliary relations. This uniform derivation property is then used in Theorem 4.2 to extend the Adamović-Milas result, from which the natural sl_2-symmetry is deduced in Section 5 exactly as in the p+=2 case. revision: no

Circularity Check

0 steps flagged

No significant circularity; construction builds on external prior results

full rationale

The paper constructs derivations on the triplet W-algebras by refining the Frobenius homomorphisms of Tsuchiya-Wood and extends the Adamovic-Milas derivation property to general W_{p+,p-}. The sl2-symmetry is shown to arise naturally from this construction, and the method is applied to the superalgebra case. All load-bearing steps rely on cited external results rather than self-definitions, fitted parameters renamed as predictions, or self-citation chains. No equation or claim in the provided text reduces the new results to the paper's own inputs by construction, making the derivation self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review performed on abstract only; no explicit free parameters, invented entities, or ad-hoc axioms are stated in the provided text.

axioms (1)

domain assumption Standard definitions and properties of triplet W-algebras and Frobenius homomorphisms from prior literature
The construction assumes the existence and basic features of W_{p+,p-} and the Tsuchiya-Wood homomorphisms as background.

pith-pipeline@v0.9.0 · 5436 in / 1269 out tokens · 43885 ms · 2026-05-07T14:17:58.603338+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

38 extracted references · 27 canonical work pages

[1]

Adamovi´ c D., Lin X., Milas A.,ADEsubalgebras of the triplet ver- tex algebraW(p):A-series,Comm. Contemp. Math.15(2013), no.6, 1350028, 30 pages, arXiv:1212.5453[math.QA]

work page arXiv 2013
[2]

Adamovi´ c D., Lin X., Milas A.,ADEsubalgebras of the triplet ver- tex algebraW(p):D m-series,Int. J. Math.,25.01 (2014), 1450001., arXiv:1304.5711 [math.QA]

work page arXiv 2014
[3]

Adamovi´ c D., Lin X., Milas A., Vertex AlgebrasW(p) Am andW(p) Dm and Constant Term Identities, (2015), arXiv:1503.01542[math.QA]

work page arXiv 2015
[4]

Adamovi´ c D., Milas A., On the triplet vertex algebraW(p),Advances in Mathematics217(2008), 2664-2699, arXiv:0707.1857[math.QA]

work page arXiv 2008
[5]

Adamovi´ c D., Milas A., The N= 1 triplet vertex operator superalgebras: twisted sector,SIGMA,4(2008) 087, arXiv:0806.3560[math.QA]

work page arXiv 2008
[6]

Adamovi´ c D., Milas A., TheN= 1 triplet vertex oper- ator superalgebras,Comm. Math. Phys.,288(2009) 225-270, arXiv:0712.0379[math.QA]. 67

work page arXiv 2009
[7]

(N.S.)15(2009), 535-561

Adamovi´ c D., Milas A., Lattice construction of logarithmic modules for certain vertex algebras,Selecta Math. (N.S.)15(2009), 535-561. arXiv:0902.3417[math.QA]

work page arXiv 2009
[8]

Adamovi´ c D., Milas A., OnW-algebras associated to (2, p) minimal models and their representations,Int. Math. Res. Not., 2010 (2010)20 : 3896-3934, arXiv:0908.4053[math.QA]

work page arXiv 2010
[9]

arXiv:1101.0803[math.QA]

Adamovi´ c D., Milas A., On W-algebra extensions of (2, p) min- imal models: p>3,Journal of Algebra344(2011) 313-332. arXiv:1101.0803[math.QA]

work page arXiv 2011
[10]

arXiv:1212.6771[math.QA]

Adamovi´ c D., Milas A.,C 2-CofiniteW-Algebras and Their Logarith- mic Representations,Conformal Field Theories and Tensor Categories, (2014),249. arXiv:1212.6771[math.QA]

work page arXiv 2014
[11]

Aomoto K., KitaM.,Theory of hypergeometric functions, Springer, 2011

2011
[12]

Math.,314 (2017) 71-123, arXiv:1606.04187[hep-th]

Blondeau-Fournier O., Mathieu P., Ridout D., Wood S., Superconfor- mal minimal models and admissible Jack polynomials,Adv. Math.,314 (2017) 71-123, arXiv:1606.04187[hep-th]

work page arXiv 2017
[13]

Creutzig T., McRae R., Orosz Hunziker F., Yang J.,N= 1 su- per Virasoro tensor categories,Comm. Math. Phys., 2026,407.4: 73., arXiv:2412.18127[math.QA]

work page arXiv 2026
[14]

Creutzig T., McRae R., Yang J., On ribbon categories for sin- glet vertex algebras,Comm. Math. Phys.,387(2021) 865-925, arXiv:2007.12735[math.QA]

work page arXiv 2021
[15]

L., Fuchs D.B., Representations of the Virasoro algebra,in Representations of infinite-dimensional Lie groups and Lie algebras, Gordon andd Breach, New York(1989)

Feigin B. L., Fuchs D.B., Representations of the Virasoro algebra,in Representations of infinite-dimensional Lie groups and Lie algebras, Gordon andd Breach, New York(1989)

1989
[16]

L., Gainutdinov A.M., Semikhatov A.M., Tipunin I

Feigin B. L., Gainutdinov A.M., Semikhatov A.M., Tipunin I. Yu., Loga- rithmic extensions of minimal models: characters and modular transfor- mation,Nuclear Phys. B.,757(2006), 303-343, arXiv:0606196[hep-th]

2006
[17]

Felder G., BRST approach to minimal models,Nuc. Phy. B317(1989) 215-236

1989
[18]

J., Warnaar S

Forrester P. J., Warnaar S. O., The importance of the Selberg integral, Bull. Amer. Math. Soc.45(2008) 489-534, arXiv:0710.3981[math.CA]. 68

work page arXiv 2008
[19]

Z., Lepowsky J., On axiomatic approaches to vertex operator algebras and modules, Vol

Frenkel I., Huang Y. Z., Lepowsky J., On axiomatic approaches to vertex operator algebras and modules, Vol. 494.American Mathematical Soc., 1993

1993
[20]

M., Tipunin I

Fuchs J., Hwang S., Semikhatov A. M., Tipunin I. Y., Nonsemisimple fusion algebras and the Verlinde formula,Commun. Math. Phys.247 (2004) 713–742, arXiv:hep-th/0306274

work page arXiv 2004
[21]

Iohara K., Koga Y., Representation theory of Neveu-Schwarz and Ra- mond Algebra II: Fock modules,Ann. Inst. Fourier, Grenoble,53, 6 (2003) 1755-1818

2003
[22]

Iohara K., Koga Y., Representation Theory of the Virasoro Algebra, Springer Monographs in Mathematics, Berlin, Springer 2011

2011
[23]

Kac V., Wang W., Vertex Operator Superalgebras and Their Represen- tations,Mathematical aspects of conformal and topological field theories and quantum groups, 175, 161 (1994), arXiv:hep-th/9312065

work page arXiv 1994
[24]

Li H., Sugimoto S., A Lie algebraic pattern behind logarithmic CFTs, (2024), arXiv:2409.07381[math.RT]

work page arXiv 2024
[25]

Lin X., ADE Subalgebras of the Triplet Vertex AlgebraW(p):E 6,E 7, Int. Math. Res. Not., 2015(15), 6752-6792

2015
[26]

McRae R., Sopin V., A tensor category construction of theW p,q triplet vertex operator algebra and applications,SIGMA,22(2026): 012., arXiv:2508.18895[math.QA]

work page arXiv 2026
[27]

McRae R., Yang J., Structure of Virasoro tensor categories at central charge 13−6p−6p −1 for integersp >1, (2021), arXiv:2011.02170 [math.QA]

work page arXiv 2021
[28]

Nagatomo K., Tsuchiya A., The Triplet Vertex Operator AlgebraW(p) and Restricted Quantum Group at Root of Unity,Adv. Stdu. in Pure Math., Exploring new Structures and Natural Constructions in Math- ematical Physics, Amer. Math. Soc.61, 1-49 (2011), arXiv:0902.4607 [math.QA]

work page arXiv 2011
[29]

Nakano H., Projective covers of the simple modules for the tripletW- algebraW p+,p−, (2023), arXiv:2305.12448[math.RT]

work page arXiv 2023
[30]

Nakano, H., Tensor structure on the module category of the triplet su- peralgebraSW(m), (2024), arXiv:2412.20898 [math.QA]. 69

work page arXiv 2024
[31]

Tidsskrift26(1944) 71-78

Selberg A., Bemerkninger om et Mulitiplet Integral,Norsk Mat. Tidsskrift26(1944) 71-78

1944
[32]

Sugimoto S., On the Feigin-Tipunin conjecture,Selecta Mathematica27 (5), 86 (2021), arXiv:2004.05769 [math.RT]

work page arXiv 2021
[33]

Sugimoto S., Atiyah-Bott formula and homological block of Seifert fibered homology 3-spheres, (2022), arXiv:2208.05689 [math.RT]

work page arXiv 2022
[34]

Sussman E., The singularities of Selberg–and Dotsenko–Fateev-like in- tegrals,Annales Henri Poincar´ e. Vol. 25. No. 9.Cham: Springer Inter- national Publishing, (2024), arXiv:2301.03750[math.QA]

work page arXiv 2024
[35]

RIMS, Kyoto Univ.22(1986) 259- 327

Tsuchiya A., Kanie Y., Fock space representations of the Virasoro alge- bra - Intertwining operators,Publ. RIMS, Kyoto Univ.22(1986) 259- 327

1986
[36]

Tsuchiya A., Wood S., The tensor structure on the representation category of theW p triplet algebra,J. Phys. A46(2013) 445203, arXiv:1201.0419 [hep-th]

work page arXiv 2013
[37]

Tsuchiya A., Wood S., On the extendedW-algebra of typesl 2 at positive rational level,Int. Math. Res. Not., Volume 2015, Issue14, 1 January 2015, Pages 5357-5435, arXiv:1302.6435 [math.QA]

work page arXiv 2015
[38]

Zhu Y., Modular invariance of characters of of vertex operator algebras, J. Amer. Math. Soc.9(1996), 237-302. H. Nakano,Osaka City University Advanced Mathematical Institute E-mail address:hiromutakati@gmail.com 70

1996