Equivariant BV-BFV Formalism
Alberto S. Cattaneo, Nima Moshayedi

TL;DR
This paper extends the equivariant BV formalism to manifolds with boundary, providing a framework that incorporates boundary conditions, with AKSZ theories serving as a key example.
Contribution
It introduces an extension of the equivariant BV formalism to manifolds with boundary, broadening its applicability in mathematical physics.
Findings
Extended formalism to manifolds with boundary
Applied to AKSZ theories as a practical example
Provides a foundation for boundary conditions in equivariant BV
Abstract
The recently introduced equivariant BV formalism is extended to the case of manifolds with boundary under appropriate conditions. AKSZ theories are presented as a practical example.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification
