Skip to main content
added 275 characters in body; edited title
Source Link
Rex
  • 1.6k
  • 11
  • 24

Various definitions of Connections on a bundles

Let $X$ be a smooth manifold and suppose I have a smooth vector bundle $E\to X$ which admits a connection $D$. Then on an open set $U\subset X$ where $E$ is trivial, once I choose a frame, say $e_1,...e_n$, I get a connection matrix by the rule $D(e_i)=\sum_{j=1}^{n}e_j\otimes\omega_{ji}^U$ (a column vector of 1 forms). If $V \subset X$ is another open set where $E$ is trivial and I choose a frame over $V$, say $f_1,...f_n$, then similarly I get $\omega^V$. Let $e_i=\sum_{j=1}^{n}g_{ji}f_j$. Then we have $\omega^V=g\omega^U g^{-1}-dgg^{-1}$.

On the other hand, we can form the associated principal $GL_n$ bundle $P\stackrel{\pi}{\to} X$, with $GL_n$ acting on the right. A connection on $P$ is a $GL_n$ invariant splitting of $\pi^*\Omega_X\to \Omega_P$. Locally, after we choose trivialisations for $P$ using the frames for $E$ chosen earlier, this becomes equivalent to giving a $\omega^U$ which satisfy$GL_n$ equivariant splitting of $\omega^V=g\omega^U g^{-1}+dgg^{-1}$.

There seems$\Omega_U\to \Omega_U\oplus\Omega_G$, which is equivalent to begiving a problemmap $\Omega_{G,e}\to\Omega_{U,x}$ for each point $x\in U$, this gives the $\omega^U$. If $x\in U\cap V$, then the point $(x,A)$ in $U\times G$ is identified with the signspoint $(x,gA)$ in $V\times G$. Could someone tell me if I am making a mistakeThe gluing gives the following relation $\omega^V=g\omega^U g^{-1}+dgg^{-1}$. This is different from the one above. Is that OK?

Connections on a bundles

Let $X$ be a smooth manifold and suppose I have a smooth vector bundle $E\to X$ which admits a connection $D$. Then on an open set $U\subset X$ where $E$ is trivial, once I choose a frame, say $e_1,...e_n$, I get a connection matrix by the rule $D(e_i)=\sum_{j=1}^{n}e_j\otimes\omega_{ji}^U$ (a column vector of 1 forms). If $V \subset X$ is another open set where $E$ is trivial and I choose a frame over $V$, say $f_1,...f_n$, then similarly I get $\omega^V$. Let $e_i=\sum_{j=1}^{n}g_{ji}f_j$. Then we have $\omega^V=g\omega^U g^{-1}-dgg^{-1}$.

On the other hand, we can form the associated principal $GL_n$ bundle $P\stackrel{\pi}{\to} X$, with $GL_n$ acting on the right. A connection on $P$ is a $GL_n$ invariant splitting of $\pi^*\Omega_X\to \Omega_P$. Locally, after we choose trivialisations for $P$ using the frames for $E$ chosen earlier, this becomes equivalent to giving $\omega^U$ which satisfy $\omega^V=g\omega^U g^{-1}+dgg^{-1}$.

There seems to be a problem with the signs. Could someone tell me if I am making a mistake.

Various definitions of Connections on bundles

Let $X$ be a smooth manifold and suppose I have a smooth vector bundle $E\to X$ which admits a connection $D$. Then on an open set $U\subset X$ where $E$ is trivial, once I choose a frame, say $e_1,...e_n$, I get a connection matrix by the rule $D(e_i)=\sum_{j=1}^{n}e_j\otimes\omega_{ji}^U$ (a column vector of 1 forms). If $V \subset X$ is another open set where $E$ is trivial and I choose a frame over $V$, say $f_1,...f_n$, then similarly I get $\omega^V$. Let $e_i=\sum_{j=1}^{n}g_{ji}f_j$. Then we have $\omega^V=g\omega^U g^{-1}-dgg^{-1}$.

On the other hand, we can form the associated principal $GL_n$ bundle $P\stackrel{\pi}{\to} X$, with $GL_n$ acting on the right. A connection on $P$ is a $GL_n$ invariant splitting of $\pi^*\Omega_X\to \Omega_P$. Locally, after we choose trivialisations for $P$ using the frames for $E$ chosen earlier, this becomes equivalent to giving a $GL_n$ equivariant splitting of $\Omega_U\to \Omega_U\oplus\Omega_G$, which is equivalent to giving a map $\Omega_{G,e}\to\Omega_{U,x}$ for each point $x\in U$, this gives the $\omega^U$. If $x\in U\cap V$, then the point $(x,A)$ in $U\times G$ is identified with the point $(x,gA)$ in $V\times G$. The gluing gives the following relation $\omega^V=g\omega^U g^{-1}+dgg^{-1}$. This is different from the one above. Is that OK?

Source Link
Rex
  • 1.6k
  • 11
  • 24

Connections on a bundles

Let $X$ be a smooth manifold and suppose I have a smooth vector bundle $E\to X$ which admits a connection $D$. Then on an open set $U\subset X$ where $E$ is trivial, once I choose a frame, say $e_1,...e_n$, I get a connection matrix by the rule $D(e_i)=\sum_{j=1}^{n}e_j\otimes\omega_{ji}^U$ (a column vector of 1 forms). If $V \subset X$ is another open set where $E$ is trivial and I choose a frame over $V$, say $f_1,...f_n$, then similarly I get $\omega^V$. Let $e_i=\sum_{j=1}^{n}g_{ji}f_j$. Then we have $\omega^V=g\omega^U g^{-1}-dgg^{-1}$.

On the other hand, we can form the associated principal $GL_n$ bundle $P\stackrel{\pi}{\to} X$, with $GL_n$ acting on the right. A connection on $P$ is a $GL_n$ invariant splitting of $\pi^*\Omega_X\to \Omega_P$. Locally, after we choose trivialisations for $P$ using the frames for $E$ chosen earlier, this becomes equivalent to giving $\omega^U$ which satisfy $\omega^V=g\omega^U g^{-1}+dgg^{-1}$.

There seems to be a problem with the signs. Could someone tell me if I am making a mistake.