Relaxed and logarithmic modules of $$\widehat{{{\mathfrak {s}}}{{\mathfrak {l}}}_3}$$

Abstract In Adamović (Commun Math Phys 366:1025–1067, 2019), the affine vertex algebra $$L_k({{\mathfrak {s}}}{{\mathfrak {l}}}_2)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>L</mml:mi> <mml:mi>k</mml:mi> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>s</mml:mi> <mml:msub> <mml:mi>l</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> is realized as a subalgebra of the vertex algebra $$Vir_c \otimes \Pi (0)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>V</mml:mi> <mml:mi>i</mml:mi> <mml:msub> <mml:mi>r</mml:mi> <mml:mi>c</mml:mi> </mml:msub> <mml:mo>⊗</mml:mo> <mml:mi>Π</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:mn>0</mml:mn> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> , where $$Vir_c $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>V</mml:mi> <mml:mi>i</mml:mi> <mml:msub> <mml:mi>r</mml:mi> <mml:mi>c</mml:mi> </mml:msub> </mml:mrow> </mml:math> is a simple Virasoro vertex algebra and $$\Pi (0)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>Π</mml:mi> <mml:mo>(</mml:mo> <mml:mn>0</mml:mn> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> is a half-lattice vertex algebra. Moreover, all $$L_k({{\mathfrak {s}}}{{\mathfrak {l}}}_2)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>L</mml:mi> <mml:mi>k</mml:mi> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>s</mml:mi> <mml:msub> <mml:mi>l</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> -modules (including, modules in the category $$KL_k$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>K</mml:mi> <mml:msub> <mml:mi>L</mml:mi> <mml:mi>k</mml:mi> </mml:msub> </mml:mrow> </mml:math> , relaxed highest weight modules and logarithmic modules) are realized as $$Vir_c \otimes \Pi (0)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>V</mml:mi> <mml:mi>i</mml:mi> <mml:msub> <mml:mi>r</mml:mi> <mml:mi>c</mml:mi> </mml:msub> <mml:mo>⊗</mml:mo> <mml:mi>Π</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:mn>0</mml:mn> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> -modules. A natural question is the generalization of this construction in higher rank. In the current paper, we study the case $${\mathfrak {g}}= {{\mathfrak {s}}}{{\mathfrak {l}}}_3$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>g</mml:mi> <mml:mo>=</mml:mo> <mml:mi>s</mml:mi> <mml:msub> <mml:mi>l</mml:mi> <mml:mn>3</mml:mn> </mml:msub> </mml:mrow> </mml:math> and present realization of the VOA $$L_k({\mathfrak {g}})$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>L</mml:mi> <mml:mi>k</mml:mi> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>g</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> for $$k \notin {\mathbb {Z}}_{\ge 0}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>k</mml:mi> <mml:mo>∉</mml:mo> <mml:msub> <mml:mi>Z</mml:mi> <mml:mrow> <mml:mo>≥</mml:mo> <mml:mn>0</mml:mn> </mml:mrow> </mml:msub> </mml:mrow> </mml:math> as a vertex subalgebra of $${\mathcal {W}}_ k \otimes {\mathcal {S}} \otimes \Pi (0)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>W</mml:mi> <mml:mi>k</mml:mi> </mml:msub> <mml:mo>⊗</mml:mo> <mml:mi>S</mml:mi> <mml:mo>⊗</mml:mo> <mml:mi>Π</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:mn>0</mml:mn> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> , where $${\mathcal {W}}_ k $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>W</mml:mi> <mml:mi>k</mml:mi> </mml:msub> </mml:math> is a simple Bershadsky–Polyakov vertex algebra and $${\mathcal {S}}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>S</mml:mi> </mml:math> is the $$\beta \gamma $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>β</mml:mi> <mml:mi>γ</mml:mi> </mml:mrow> </mml:math> vertex algebra. We use this realization to study ordinary modules, relaxed highest weight modules and logarithmic modules. We prove the irreducibility of all our relaxed highest weight modules having finite-dimensional weight spaces (whose top components are Gelfand–Tsetlin modules). The irreducibility of relaxed highest weight modules with infinite-dimensional weight spaces is proved up to a conjecture on the irreducibility of certain $${\mathfrak {g}}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>g</mml:mi> </mml:math> -modules which are not Gelfand–Tsetlin modules. The next problem that we consider is the realization of logarithmic modules. We first analyse the free-field realization of $${\mathcal {W}}_ k $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>W</mml:mi> <mml:mi>k</mml:mi> </mml:msub> </mml:math> from Adamović et al. (Lett Math Phys 111(2), Paper No. 38, <jats:ext-li

Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.