Observables in the bc system
MetadataShow full item record
This paper will examine observables in the bc system, a two-dimensional free conformal field theory. We begin by encoding the bc system into the BV formalism following procedures of Costello and Gwilliam. This will allow us to construct the factorization algebra of observables for the bc system. The cohomology of the factorization algebra recovers the observables themselves. In cohomology, we will compute the commutation relations and factorization algebra structure maps for observables supported on disks and annuli. These structure maps will be used to prove the equivalence of the factorization algebra and vertex algebra structures for the bc system. This proof provides a rigorous derivation of the free fermionic vertex algebra starting from the action functional of the bc system. Using this equivalence, we will provide a dictionary to translate the action of the Virasoro algebra to the language of factorization algebras. Also in this paper, we examine the bc system in four-dimensions. We construct its factorization algebra and show that its observables are anti-commutative. Lastly, we prove that the global observables of the bc system are one-dimensional on a compact manifold of complex dimension one or two.