Copertina

Virasoro algebra and Sugawara constructions formally in Lean

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Kytölä, Kalle
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Quantum Algebra Mathematical Physics 03B35, 68V20, 17B68, 17B56 F.3.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
di: Wang, Zili, et al.
Pubblicazione: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
di: Kosaian, Katherine, et al.
Pubblicazione: (2024)

Formalizing Pick's Theorem in Isabelle/HOL
di: Binder, Sage, et al.
Pubblicazione: (2024)

Graded anti-pre-Lie algebraic structures on Witt and Virasoro algebras
di: Bai, Chengming, et al.
Pubblicazione: (2025)

Computation of cohomology of finite Lie conformal algebras
di: Zhang, Zhenyu, et al.
Pubblicazione: (2025)

$(d,σ)$-twisted Affine-Virasoro superalgebras
di: Lü, Rencai, et al.
Pubblicazione: (2025)

Infinitesimal Modular Group: $q$-Deformed $\mathfrak{sl}_2$ and Witt Algebra
di: Thomas, Alexander
Pubblicazione: (2023)

Transposed δ-Poisson (super)algebra Structures on the Virasoro-like algebra and its Kantor Lie-double
di: Lin, Jie, et al.
Pubblicazione: (2025)

Derivations and Biderivations of affine-Virasoro Lie algebras
di: Chakraborty, Priyanshu, et al.
Pubblicazione: (2025)

An application of collapsing levels to the representation theory of affine vertex algebras
di: Adamovic, Drazen, et al.
Pubblicazione: (2018)

Anti-Rota-Baxter operators on Witt and Virasoro algebras
di: Azizov, Majidkhan
Pubblicazione: (2024)

Two classes of Lie conformal superalgebras related to the Heisenberg--Virasoro Lie conformal algebra
di: Wang, Jinrong, et al.
Pubblicazione: (2024)

Lie algebras whose derivation algebras are simple
di: Feldvoss, Jörg, et al.
Pubblicazione: (2025)

Tensor product weight modules over the affine-Virasoro algebra
di: Chen, Qiu-Fan, et al.
Pubblicazione: (2024)

Computational Complexity of Physical Counting
di: Simas, Tristan
Pubblicazione: (2026)

Classification of simple Harish-Chandra modules over the Ovsienko-Roger superalgebra
di: Dilxat, Munayim, et al.
Pubblicazione: (2022)

The solenoidal Virasoro algebra and its simple weight modules
di: Agrebaoui, Boujemaa, et al.
Pubblicazione: (2024)

The solenoidal Heisenberg Virasoro algebra and its simple weight modules
di: Agrebaoui, Boujemaa, et al.
Pubblicazione: (2024)

1-cocycles of the Witt algebra with coefficients in tensor product of modules
di: Gao, Shoulan, et al.
Pubblicazione: (2024)

Central extensions, derivations, and automorphisms of semi-direct sums of the Witt algebra with its intermediate series modules
di: Buzaglo, Lucas, et al.
Pubblicazione: (2024)

Integrating positive energy representations of the Virasoro algebra
di: Henriques, André G., et al.
Pubblicazione: (2025)

Deformation maps in proto-twilled Leibniz algebras
di: Das, Apurba, et al.
Pubblicazione: (2024)

Compatible root graded anti-pre-Lie algebraic structures on finite-dimensional complex simple Lie algebras
di: Bai, Chengming, et al.
Pubblicazione: (2025)

Conformal operads and the basic vertex algebra cohomology complex
di: De Sole, Alberto, et al.
Pubblicazione: (2024)

Algorithm and abstraction in formal mathematics
di: Macbeth, Heather
Pubblicazione: (2024)

Complete and cocomplete Lie algebras with injective and projective properties
di: Le, Vu A., et al.
Pubblicazione: (2025)

2-Local derivations on a Block-type Lie algebra
di: Chen, Qiufan, et al.
Pubblicazione: (2026)

Maximal dimensional subalgebras of general Cartan type Lie algebras
di: Bell, Jason, et al.
Pubblicazione: (2023)

Twisting $\mathcal{O}$-operators by $(2,3)$-Cocycle of Hom-Lie-Yamaguti Algebras with Representations
di: Mabrouk, Sami, et al.
Pubblicazione: (2025)

On the abelianization of the special derivation Lie algebras of free Lie algebras
di: Enomoto, Naoya, et al.
Pubblicazione: (2025)

A Modular First Formalisation of Combinatorial Design Theory
di: Edmonds, Chelsea, et al.
Pubblicazione: (2021)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
di: Farmer, William M.
Pubblicazione: (2026)

Fock space of local fields of the discrete GFF and its scaling limit bosonic CFT
di: Adame-Carrillo, David, et al.
Pubblicazione: (2024)

W-algebras, Gaussian Free Fields and $\mathfrak{g}$-Dotsenko-Fateev integrals
di: Cerclé, Baptiste
Pubblicazione: (2024)

On Cohomology group of current Lie algebras
di: García-Delgado, R.
Pubblicazione: (2023)

A general mirror equivalence theorem for coset vertex operator algebras
di: McRae, Robert
Pubblicazione: (2021)

Structure of Virasoro tensor categories at central charge $13-6p-6p^{-1}$ for integers $p > 1$
di: McRae, Robert, et al.
Pubblicazione: (2020)

Symbolic computation of optimal systems of subalgebras of three- and four-dimensional real Lie algebras
di: Amata, Luca, et al.
Pubblicazione: (2025)

Non-weight modules over gap-$p$ Virasoro algebras
di: Xu, Chengkang, et al.
Pubblicazione: (2025)

Non-weight modules over generalized Heisenberg-Virasoro algebra of rank two
di: Wen, Yi, et al.
Pubblicazione: (2025)