I have seen all kinds of questions and answers about how to identify a higher-form symmetries, but they all seem rather abstract. What I would like to do is investigate two very simple examples.
Consider ordinary E&M theory with Lagrangian $$\mathcal L = -\frac{1}{4} F_{\mu\nu}F^{\mu\nu}. $$ The equations of motion are $\partial_\nu F^{\mu\nu}=0$ and the Bianchi identity tells us that $\partial_\nu\star F^{\mu\nu}=0$. Thus, we have the two conserved two-form currents $F^{\mu\nu}=0$ and $\star F^{\mu\nu}=0$.
Consider massive E&M theory with Lagrangian $$\mathcal L = -\frac{1}{4} F_{\mu\nu}F^{\mu\nu}-\frac{1}{2} m^2 A_\mu A^\mu. $$ Now the equations of motion are $\partial_\nu F^{\mu\nu} = m^2 A^\mu$ and the Bianchi identity is as before $\partial_\nu\star F^{\mu\nu}=0$.
QUESTION: Evidently, in the massive case $F^{\mu\nu}$ is no longer a conserved two-form current. But it appears that $\star F^{\mu\nu}$ is a conserved current. Does this mean that massive E&M has a one-form symmetry?
I have never heard anyone claim that massive gauge fields have higher-form symmetries, leading me to suspect they do not. But I cannot figure out why this should be so.