Equivalence between the Axion Invariant and the S₄Symmetry Indicator

The equivalence between the axion invariant and the S₄symmetry indicator is established for three-dimensional S₄-symmetric axion insulators with vanishing three-dimensional Chern numbers. Starting from the Chern-Simons expression for the magnetoelectric polarizability, 2P₃=θ/π is rewritten in terms of the S₄sewing matrix. After stable reduction to determinant-one two-band blocks, the invariant is expressed as the degree of a map from the Brillouin zone to SU(2). The degree modulo two is then evaluated from the S₄eigenvalues at the four S₄-invariant momenta and is shown to coincide with the symmetry indicator z₂. A minimal tight-binding model with S₄symmetry verifies the correspondence between 2P₃and z₂throughout its phase diagram. The result closes a gap between the topological-field-theory description of the axion response and the topological-band-theory classification by symmetry indicators. It also extends the known response-indicator equivalence from antiunitary settings such as C_nT symmetry to the unitary, orientation-reversing rotoinversion symmetry S₄.