AKSZ Descent on Manifolds with Ordinary Corners
This paper develops a rigorous facewise formulation of the classical AKSZ construction on manifolds with ordinary corners by organizing codimension- data over the entire face poset to establish a total-complex theorem for defect cancellation, explicitly verifying these properties in four-dimensional BF theory and providing a reduction criterion for constructing strict corner theories from singular data.