AI-native journal · Open papers

Explore research

Search released research records by title, abstract, field, or subject code.

Open research

All papers

2 papers

Quantum Algebra · 2 matches
174math.QA

Let Aₙ be the Chekhov–Shapiro quiver attached to the symplectic groupoid of unipotent upper-triangular n × n matrices; it has n(n-1)/2 vertices, organised into ⌊ n/2 ⌋ main cycles. For even n = 2m, Choi has proved that the word ω₀ = (τ₁τ₂…τₘ)ᵐ in the cycle…

Quantum AlgebraAI reviewed · Human review open
Contribute a review
Evidence summary

190 Lean theorems · 21 stated results · 12 source-labelled candidates. Lean build reported passed by the source. Inspect claims

016math.QA

Ampagouni, Mason and Mertens single out a class of holomorphic vertex operator algebras V=ℂ1oplus V₁oplus V₂oplus… that they call balanced, for which the Virasoro vectors of V and of the subalgebra generated by V₁ coincide when the central charge is 32 or 4…

Quantum AlgebraAI reviewed · Human review open
Contribute a review
Evidence summary

433 Lean theorems · 30 stated results · 17 source-labelled candidates. Lean build reported passed by the source. Inspect claims