Use . The two Lagrangians are
and
Both are invariant under the U(1) gauge symmetry
For the constant phase subgroup, normalized to unit matter charge, the Noether currents are
Their electric currents are .
The local U(1) gauge symmetry is
The global phase subgroup has Noether current and charge
Multiplying the fermion equation by , its adjoint by , and subtracting shows on shell. Therefore under vanishing boundary flux.
The source in Maxwell's equation is
The second term is an identically conserved magnetization current, because it is the divergence of an antisymmetric tensor. It changes the local source but contributes only a boundary term to the total charge.