[Paper Review] On the Holonomy of the Coulomb Connection over Manifolds with Boundary

William E. Gryc|ArXiv.org|Oct 10, 2006

Black Holes and Theoretical Physics10 references4 citations

TL;DR

This paper investigates the holonomy of the Coulomb connection on principal bundles over compact Riemannian manifolds with boundary, focusing on Dirichlet boundary conditions for connections. It shows that the curvature form at a single connection fails to span a dense subspace of the holonomy Lie algebra due to a boundary-induced constraint involving the mean curvature. However, when including first commutators at the flat connection in a product bundle over a bounded domain in ℝⁿ, the span becomes dense, implying the restricted holonomy group is dense in the identity component of the gauge group.

ABSTRACT

Narasimhan and Ramadas showed that the restricted holonomy group of the Coulomb connection is dense in the connected component of the identity of the gauge group when one considers the product principal bundle $S^3 imes SU(2) o S^3$. Instead of a base manifold S^3, we consider here a base manifold of dimension $n\ge 2$ with a boundary and use Dirichlet boundary conditions on connections as defined by Marini. A key step in the method of Narasimhan and Ramadas consisted in showing that the linear space spanned by the curvature form at one specially chosen connection is dense in the holonomy Lie algebra with respect to an appropriate Sobolev norm. Our objective is to explore the effect of the presence of a boundary on this construction of the holonomy Lie algebra. Fixing appropriate Sobolev norms, it will be shown that the space spanned, linearly, by the curvature form at any one connection is never dense in the holonomy Lie algebra. In contrast, the linear space spanned by the curvature form and its first commutators at the flat connection is dense and, in the $C^\infty$ category, is in fact the entire holonomy Lie algebra. The former, negative, theorem is proven for a general principle bundle over $M$, while the latter, positive, theorem is proven only for a product bundle over the closure of a bounded open subset of $\mathbb{R}^n$. Our technique for proving absence of density consists in showing that the linear space spanned by the curvature form at one point is contained in the kernel of a linear map consisting of a third order differential operator, followed by a restriction operation at the boundary; this mapping is determined by the mean curvature of the boundary.

Motivation & Objective

• To analyze the holonomy of the Coulomb connection on principal bundles over compact Riemannian manifolds with non-empty boundary.
• To investigate the effect of Dirichlet boundary conditions on the density of the curvature form's image in the holonomy Lie algebra.
• To determine whether the holonomy Lie algebra can still be densely generated despite the presence of a boundary.
• To establish conditions under which the restricted holonomy group remains dense in the identity component of the gauge group.

Proposed method

• The analysis uses Sobolev norms on connections and gauge transformations, with k > n/2 + 1 for regularity.
• A linear operator T_A is constructed as T_A(f) = d_A Δ_A f + 2(n−1)H Δ_A f, where H is the mean curvature of the boundary.
• It is shown that the image of the curvature form at any connection lies in the kernel of T_A, proving non-density in the holonomy Lie algebra.
• For the product bundle over a bounded open set in ℝⁿ, the holonomy Lie algebra is generated by the curvature and its first commutators at the flat connection.
• The proof relies on constructing a function f_k with compact support near the boundary and using a cutoff function η to control boundary behavior.
• The key argument uses the fact that d(Δf)(ν) + 2(n−1)H Δf = 0 on the boundary, linking the kernel of T_A to the curvature image.

Experimental results

Research questions

• RQ1 Can the image of the curvature form of the Coulomb connection at a single connection span a dense subspace of the holonomy Lie algebra when the base manifold has a boundary?
• RQ2 How does the mean curvature of the boundary affect the density properties of the curvature image in the gauge algebra?
• RQ3 Is the holonomy Lie algebra still densely generated when commutators of the curvature are included, despite boundary constraints?
• RQ4 Does the restricted holonomy group of the Coulomb connection remain dense in the identity component of the gauge group under Dirichlet boundary conditions?
• RQ5 Under what conditions does the span of the curvature and its first commutators generate the full C^∞ part of the gauge algebra?

Key findings

• The image of the curvature form at any single connection is contained in the kernel of a nontrivial bounded linear operator T_A, which depends on the mean curvature H of the boundary, proving it cannot be dense in the holonomy Lie algebra.
• The linear space spanned by the curvature form and its first commutators at the flat connection is dense in the C^∞ part of the gauge algebra for a product bundle over a bounded domain in ℝⁿ.
• The restricted holonomy group of the Coulomb connection is dense in the connected component of the identity of the gauge group under Dirichlet boundary conditions, when the bundle is trivial and the base is a bounded open set with smooth boundary.
• The failure of single-curvature density is due to a third-order differential operator followed by boundary restriction, which vanishes on the curvature image.
• The construction of a function f_k with controlled boundary derivative ensures that the image of the curvature lies in the kernel of T_A, establishing the non-density result.
• The positive result relies on solving a boundary value problem for T_0(f) = u, which allows recovery of any smooth gauge parameter from the curvature and its commutators.