Explain the necessity of the Euler-characteristic counterterm in the scalar–two-form duality derivation

Establish a principled derivation, within the path‑integral duality framework that maps the circle‑valued massless scalar field φ to the two‑form gauge field B in four dimensions, of the Euler‑characteristic gravitational counterterm (proportional to −log f times the curvature integral giving χ(M)) that must be added to the scalar action to restore equality of the scalar and two‑form path integrals, thereby clarifying why this counterterm arises in the derivation presented in Section 2.2.

Background

The paper analyzes the duality between a circle‑valued massless scalar field and a two‑form gauge field in four dimensions, emphasizing Dirac quantization and a Poisson resummation that relates the flux sum in the two‑form description to the winding sum in the scalar description. In Appendix B, the authors compare path integrals and find an anomalous multiplicative factor f^χ, where χ(M) is the Euler characteristic, arising from zero‑mode measures and gauge redundancies.

To match the scalar and two‑form path integrals, they propose adding to the scalar action a c‑number counterterm proportional to −log f times the Euler‑characteristic curvature integral. While this restores equality of the partition functions, the authors explicitly note that, from the perspective of their extended (φ,A,B) derivation in Section 2.2, the origin and necessity of this counterterm are not clearly explained, motivating a precise derivation that accounts for the anomaly within that framework.