Prefer a chat interface with context about you and your work?
Equivariant BV-BFV Formalism
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.