Horizontal section of a principal bundle (source code)

= Horizontal section of a principal bundle

A local section $s:U\to P$ is horizontal when $ds(TU)\subseteq H$, equivalently when $s^*\mathcal A=0$. A <flat principal connection> has horizontal sections locally, while its <holonomy of a connection>[holonomy] can obstruct a global horizontal section.