I am rereading David Bleecker's Gauge Theory and Variational Principles, and I have realized I don't understand something.
The offending part is in 3.3 (page 50-52), however I am reproducing the formalism here in my own notation.
Preliminaries: Here $M$ is a smooth manifold ("spacetime") and $P\rightarrow M$ is a principal fibre bundle with structure group $G$. Let $V$ be a finite dimensional real or complex vector space, and let $\rho:G\rightarrow\text{GL}(V)$ be a representation.
The notation $C(P,V,\rho)$ refers to smooth functions $\psi:P\rightarrow V$ that satisfies the equivariance property $\psi(ug)=\rho(g^{-1})\psi(u)$ for $u\in P$ and $g\in G$. The notation $\Omega^k(P,V,\rho)$ refers to differential $k$-forms on $P$ with values in $V$ that are 1) horizontal 2) equivariant in the sense of $(r_g)^\ast\xi=\rho(g^{-1})\circ\xi$ (here $r_g$ is the right action of $G$ on $P$).
The notation $C(P,G)$ refers to smooth maps $\tau:P\rightarrow G$ such that $\tau(ug)=\mathbf{Ad}_{g^{-1}}\tau(u)=g^{-1}\tau(u)g$.
A gauge transformation is a vertical automorphism of $P$, eg. it is a diffeomorphism $f:P\rightarrow P$ with $f(ug)=f(u)g$ and it covers the identitiy (eg. $\pi(f(u))=\pi(u)$). The group of gauge transformations of $P$ is denoted as $\text{GA}(P)$. There is a one-to-one correspondance between elements of $\text{GA}(P)$ and $C(P,G)$. For any $\tau\in C(P,G)$ we have an $f\in\text{GA}(P)$ defined as $f(u)=u\tau(u)$, and for any $f\in\text{GA}(P)$, we have a $\tau\in C(P,G)$ defined as $f(u)=u\tau(u)$.
Lagrangians: The space of 1-jets of maps from $P$ to $V$ are defined as $$ J(P,V)=\left\{(u,v,\theta):\ u\in P,\ v\in V,\ \theta:T_uP\rightarrow V\ \text{is linear} \right\}. $$ This is a smooth manifold in a natural way.
A Lagrangian is a map $L:J(P,V)\rightarrow \mathbb R$ such that $$ L(u,v,\theta)=L(ug,\rho(g^{-1})v,\rho(g^{-1})\circ\theta\circ (r_{g^{-1}})_\ast). $$
It is shown in the text that a Lagrangian determines a function $\mathcal L:C(P,V,\rho)\rightarrow C(M)$ by $$ \mathcal L(\psi)(x)=L(u,\psi(u),d\psi|_u) $$ with $x=\pi(u)$.
A Lagrangian is $G$-invariant if $L(u,v,\theta)=L(u,\rho(g)v,\rho(g)\circ\theta)$.
A Lagrangian is gauge-invariant if for any $f\in\text{GA}(P)$ and $\psi\in C(P,V,\rho)$ we have $ \mathcal L(\psi)=\mathcal L(f^{-1\ast}\psi)$.
It is then shown in the text that $G$-invariance does not imply gauge invariance.
Question 1: If a Lagrangian $L:J(P,V)\rightarrow\mathbb R$ is defined by the definition I have given above, then, as I have stated, $L(u,\psi(u),d\psi|_u)$ depends only on the base point $x\in M$, but not on the fiber point $u\in P_x$.
Considering that a "choice of gauge" at $x\in M$ is a fiber point $u\in P_x$, it seems to me that the bare definition of the Lagrangian already implies a sort of gauge-invariance (at least a "global" gauge invariance), since the value of the Lagrangian is insensitive to displacements along the fibers.
So what is the actual difference between a "Lagrangian" and a "$G$-invariant Lagrangian"? What would be an example of a Lagrangian that isn't $G$-invariant?
Question 2: Assuming Question 1 gets sorted out, I assume the difference between a $G$-invariant Lagrangian and a gauge-invariant Lagrangian is basically the same thing as the difference between a "globally $G$-invariant Lagrangian" and a "locally $G$-invariant Lagrangian" in the "traditional" (local tensor calculus-based) approach, where in the traditional language, "globally invariant" means that the $G$-transformation is constant, while "locally invariant" means that the $G$-transformation depends on the base space points.
Is this correct?
Question 3: I find Bleecker calling a vertical automorphism of $P$ a "gauge transformation" fairly odd, because previous he has referred to a local trivialization (LT) of $P$ as a choice of gauge. And of course it is intuitively clear that a LT is precisely what corresponds to a choice of gauge in the traditional local formalism.
However this would imply to me that a gauge transformation is actually a transition function between two LTs. How are elements of $\text{GA}(P)$ related to transition functions? Especially that it seems to me that a transition function is more closely related to what in the usual traditional physics literature is called a gauge transformation.