Thomas Creutzig,Andrew R. Linshaw,Bailin Song
Abstract:The question of when a vertex algebra is a quantization of the arc space of its associated scheme has recently received a lot of attention in both the mathematics and physics literature. This property was first studied by Tomoyuki Arakawa and Anne Moreau [Lectures on $\mathcal{W}$-algebras, Australian Representation Theory Workshop 2016, University of Melbourne], and was given the name "classical freeness" by Jethro van Ekeren and Reimundo Heluani in their work on chiral homology [Comm. Math. Phys. 386 (2021), no. 1, 495-550]. Later, it was extended to vertex superalgebras by Hao Li [Eur. J. Math. 7 (2021), 1689-1728]. In this note, we prove the classical freeness of the simple affine vertex superalgebra $L_n(\mathfrak{osp}_{m|2r})$ for all positive integers $m,n,r$ satisfying $-\frac{m}{2} + r +n+1 > 0$. In particular, it holds for the rational vertex superalgebras $L_n(\mathfrak{osp}_{1|2r})$ for all positive integers $r,n$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove the classical freeness of a specific orthosymplectic affine vertex superalgebra \(L_n(\text{osp}_{m|2r})\). Specifically, the authors are concerned with whether these vertex superalgebras are classical free quantizations of their arc spaces when the positive integers \(m\), \(n\), \(r\) satisfy the condition \(-\frac{m}{2}+r + n+ 1>0\).
### Background and Problem
In the mathematical and physical literature, the question of when a vertex algebra can be regarded as a classical free quantization of the arc space of its associated scheme has received extensive attention. This problem was first studied by Tomoyuki Arakawa and Anne Moreau and named "classical freeness". Subsequently, Jethro van Ekeren and Reimundo Heluani further extended this concept when studying odd homology. Hao Li then naturally extended this concept to vertex superalgebras.
### Specific Problem
The main objective of this paper is to prove that for all positive integers \(m\), \(n\), \(r\) satisfying \(-\frac{m}{2}+r + n+ 1>0\), the simple orthosymplectic affine vertex superalgebra \(L_n(\text{osp}_{m|2r})\) is classically free. In particular, for all positive integers \(r\), \(n\), the rational vertex superalgebra \(L_n(\text{osp}_{1|2r})\) is also classically free.
### Solution
The authors use the invariant theory of arc spaces to prove this. They construct an appropriate filtration and prove that the associated graded algebra of this filtration is isomorphic to the coordinate ring of the arc space, thereby verifying the classical freeness.
### Main Results
The main result of the paper is Theorem 3.1, which shows that for all positive integers \(m\), \(n\), \(r\), the vertex superalgebra \(\tilde{V}_n(\text{osp}_{m|2r})\) is classically free. Further, Corollary 3.1 shows that when \(-\frac{m}{2}+r + n+ 1>0\), the simple orthosymplectic affine vertex superalgebra \(L_n(\text{osp}_{m|2r})\) is also classically free, especially \(L_n(\text{osp}_{1|2r})\) is classically free for all positive integers \(n\), \(r\).
### Conclusion
This result provides new examples for understanding the classical freeness of vertex superalgebras and provides a theoretical basis for further research on this property.