MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

Consider principal connections on the frame bundle of a compact, connected, smooth, orientable Riemannian surface embedded in $\mathbb{R}^3$. On a disk $D$, it is apparent that you can construct a connection $\omega$ with zero holonomy everywhere: for instance, map $D$ to the plane and use Euclidean translation to induce parallel transport. Further, suppose that $D$ is actually an embedding of $S^2$ with a single point $p$ removed. If we now compactify $D$ to get $S^2$ again, then we have a connection $\tilde{\omega}$ on the sphere which is well-defined for any loop that does not contain $p$, and exhibits zero holonomy around any such loop. In a similar way, we can construct a connection with a single "singular" point on a surface of any genus by removing a set of loops that generate the fundamental group rather than just a single point (though here we cannot can no longer rely on Euclidean translation to provide the connection). And more generally, we can imagine connections with zero holonomy except at a number of singularities (map a punctured disk to the plane)plane, say).

Is there a more formal description of this type of construction, and does it have a name? Any pointers to literature?

2 added 78 characters in body

Consider principal connections on the frame bundle of a compact, connected, smooth, orientable Riemannian surface embedded in $\mathbb{R}^3$. On a disk $D$, it is apparent that you can construct a connection $\omega$ with zero holonomy everywhere: for instance, map $D$ to the plane and use Euclidean translation to induce parallel transport. Further, suppose that $D$ is actually an embedding of $S^2$ with a single point $p$ removed. If we now compactify $D$ to get $S^2$ again, then we have a connection $\tilde{\omega}$ on the sphere which is well-defined for any loop that does not contain $p$, and exhibits zero holonomy around any such loop. In a similar way, we can construct a connection with a single "singular" point on a surface of any genus by removing a set of loops that generate the fundamental group (rather than just a single point)point (though here we cannot rely on Euclidean translation to provide the connection). And more generally, we can imagine connections with zero holonomy except at a number of singularities (map a punctured disk to the plane).

Is there a more formal description of this type of construction, and does it have a name? Any pointers to literature?

1

# Singular, holonomy-free connections on Riemannian surfaces?

Consider principal connections on the frame bundle of a compact, connected, smooth, orientable Riemannian surface embedded in $\mathbb{R}^3$. On a disk $D$, it is apparent that you can construct a connection $\omega$ with zero holonomy everywhere: for instance, map $D$ to the plane and use Euclidean translation to induce parallel transport. Further, suppose that $D$ is actually an embedding of $S^2$ with a single point $p$ removed. If we now compactify $D$ to get $S^2$ again, then we have a connection $\tilde{\omega}$ on the sphere which is well-defined for any loop that does not contain $p$, and exhibits zero holonomy around any such loop. In a similar way, we can construct a connection with a single "singular" point on a surface of any genus by removing a set of loops that generate the fundamental group (rather than just a single point). And more generally, we can imagine connections with zero holonomy except at a number of singularities (map a punctured disk to the plane).

Is there a more formal description of this type of construction, and does it have a name? Any pointers to literature?