Does $A_\mu$ transform with the coordinates, or as a vector in a tangent space?

Question

Does the vector potential $A_\mu$ transform when we merely relabel events in space-time (coordinate transformation), or does it transform with the basis vectors of a tangent space in which it lives?

If the latter, is there any difference between stating that we always have to transform the tangent space with the coordinates, and just saying that $A_\mu$ transforms with the coordinates?

Since it is part of the covariant derivative $\partial_\mu - i e A_\mu$ and the gauge transformation goes like $A_\mu \to A_\mu + \partial_\mu \lambda$, I would think it should transform with the coordinates, as does $\partial_\mu$. I don't see how the gauge transformation can be consistent if $A_\mu$ and $\partial_\mu \lambda$ don't transform in the same way.

Edit: I'm sorry, I should have given more context to the question. Thank you for the well reasoned answers so far. I'm thinking of the action for a Dirac field: $$ \int \mathrm d^4 x \, i\bar\psi \gamma^\mu (\partial_\mu - i e A_\mu) \psi $$ I'm imagining breaking up the transformation into two steps: first transforming the coordinates and then transforming the basis/components of the fields. Let's assume that the volume element is invariant. After the coordinate transformation, we have $$ \int \mathrm d^4 x \, i\bar\psi(\Lambda^{-1}x) \gamma^\mu (\partial_\mu - i e A_\mu(\Lambda^{-1}x)) \psi(\Lambda^{-1}x) $$ Since we're integrating over all of space, this is equivalent to $$ \int \mathrm d^4 x \, i\bar\psi(x) \gamma^\mu (\Lambda_\mu^{\phantom\mu\nu}\partial_\nu - i e A_\mu(x)) \psi(x) $$ Then we complete the transformation by changing the basis/components: $$ \int \mathrm d^4 x \, i\bar\psi(x) S^{-1} \gamma^\mu \Lambda_\mu^{\phantom\mu\nu}(\partial_\nu - i e A_\nu(x)) (S \psi(x)) $$ Alternatively, it could be that changing the coordinates (first step) would have to also change the components of $A_\mu$ in the third equation, which would be invariant in the second step.

Answer 1

Please Notice that $A_\mu$ was $\textbf{coefficients}$ of the tensor. Your tensor was invariant and written $\sum A_{\mu_i} d\mu_i$ where $d\mu_i$ were basis. The way people treated it was to use $A_\mu$ the coefficients and doing the algebra there. The tensor itself was always invariant, but $A_\mu$'s representation may differ in different coordinates. The derivation of the transformation formula actually needed to include the basis.

Answer 2

I'm not entirely clear that I understand the question, but the complete transformation properties of spin-1 fields transforms under the Lorentz group as

$$ A_\mu \to \Lambda_{\mu}^{\ \nu} A_\nu(\Lambda^{-1} x). $$

I have taken the "passive" transformation convention where I have chosen to transform the field $A_\mu$ and keep the point of observation fixed.

Answer 3

rossng asked: Does the vector potential Aμ transform when we merely relabel events in space-time (coordinate transformation), or does it transform with the basis vectors of a tangent space in which it lives?

The rule to transform from the coordiantes $x$ to the coordinates $\bar{x}$ is

$$ \bar{A}_{\beta}(\bar{x}) = \frac{\partial x^{\gamma}}{\partial \bar{x}^{\beta}} A_{\gamma}(x) $$

for more details see here.

Answer 4

Does the vector potential $A_\mu$ transform when we merely relabel events in space-time (coordinate transformation), or does it transform with the basis vectors of a tangent space in which it lives?

transformations in spacetime like lorentz boosts ($\Lambda^{\beta}{}_{\alpha} x^\alpha$) transforms $A_\alpha$ into $\Lambda^{\beta}{}_{\alpha}A_{\beta}({\Lambda}^{-1}x)$. Note that $A_\mu$ is an covariant tensor, and transforms under changes in basis, See

is there any difference between stating that we always have to transform the tangent space with the coordinates, and just saying that $A_\mu$ transforms with the coordinates?

in curved coordinates which tangent spaces varies, $A=A^{\alpha}e_{\alpha}$ has a curvature form $F$ defined by $F=dA$, in indice notation $F=dA$ can be rewrite as $F_{\alpha\beta}={\partial}_{\alpha}A_{\beta}-{\partial}_{\beta}A_{\alpha}$, just turns $\partial_\mu$ into Levi-civita's $\nabla_\mu$.

Since it is part of the covariant derivative $\partial_\mu−ieA_\mu$ and the gauge transformation goes like $A_\mu \to A_\mu + \partial_\mu \lambda$, I would think it should transform with the coordinates, as does $\partial_\mu$. I don't see how the gauge transformation can be consistent if $A_\mu$ and $\partial_\mu \lambda$ don't transform in the same way.

the covariant derivative is an object in QFT's constructed to make field lagrangians invariant under some groups transformations. $U(1)$ generates a local phase change in matter fields, to avoid "unphysical" local terms in the lagrangian, is introduced the covariant derivative. Also note that $A_\mu$ satisfies $\partial^\mu F_{\mu\nu}=0$, therefore arbitrary transformations like $\partial_\nu h(x)$ does not change physics of the system

edit: I don't know if this will answner your question, but fields are maps from the Manifold to his "space" i.e. $F:M\to W$; an arbitrary scalar field $\phi$ can be denoted as $\phi:M \to \mathbb{R}$, vectorial field can be represented as $A:M \to V$, and an spinor field as $\psi:M \to S$, what you're doing is transforming $M$, and later $W$.