Abstract:We define a family of diffeomorphism-invariant models of random connections on principal G -bundles over the plane, whose curvatures are concentrated on singular points. We study the limit when the number of points grows to infinity whilst the singular curvature on each point diminishes, and prove that the holonomy along a Brownian trajectory converges towards an explicit limit.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to study the holonomy of planar Brownian motion on the Poisson - perforated plane. Specifically, the author is concerned with whether the holonomy along Brownian trajectories converges to a well - defined limit distribution when the number of points tends to infinity and the singular curvature at each point weakens.
### Research Background and Motivation
1. **The Detour Problem of Brownian Motion**:
- Previous studies have mainly explored the problem of Brownian motion detouring around points from the perspective of homology. For example, Spitzer's results show that as time tends to infinity, the asymptotic behavior of Brownian motion around a single point exhibits a Cauchy distribution. Yor further calculated the detour distribution at a fixed time and proposed a limit theorem as time tends to infinity.
- The article also mentions the homological properties of multi - point detours and the influence of magnetic impurities on electrons in two - dimensional media, especially the average detour convergence when the number of Poisson - distributed impurities increases.
2. **The Relationship with Yang - Mills Fields**:
- The author was initially inspired by the relationship with Yang - Mills fields. A two - dimensional Yang - Mills field is a random mapping that maps sufficiently smooth loops to a compact connected Lie group G. This mapping has the algebraic properties of a holomorphic function with a smooth connection but has lower regularity.
- Yang - Mills fields can be understood as very irregular randomly - connected holomorphic mappings. Defining this holonomy is of great significance for quantum field theory because it allows the probabilistic definition and calculation of the k - point function of the Gaussian free field coupled with Yang - Mills fields through the Symanzik identity.
### Main Results
The main result of the article proves that when the intensity K of the Poisson process tends to infinity, the holonomy along the Brownian curve X, which is independent of the Poisson point set P, converges almost everywhere to a 1 - stable distribution in G. This distribution was first introduced in reference [14].
### Model Definition
- **Model Description**: Consider a random flat G - bundle with an arbitrary connected compact Lie group G. Each Poisson point is associated with a monodromy element, with a proportion of distance 1 being \(K^{-1}\). This corresponds to the Markovian holonomy field in the literature.
- **Main Theorem**: When \(K\rightarrow\infty\), the holonomy along the Brownian curve X converges almost everywhere to a 1 - stable distribution in G.
### Proof Strategy
To prove the main theorem, the author first explains why the main theorem holds and points out the main difficulties. Then, the steps to solve these problems are summarized:
1. **Understanding of Homotopy Classes**: After fixing an appropriate isomorphism, the homotopy class \([\ell]\in\pi_1(P_K)\) of a loop \(\ell\) can be understood as a word of letters \(x,x^{-1}\). By counting the algebraic number of occurrences of each letter \(x\), the detour number \(\theta(x,\ell)\) around the point \(x\) can be obtained.
2. **Proof in the Simplified Case**: In Section 4, the author proves that the theorem still holds if \(\omega_{\varphi,K}(\overline{X})\) is replaced by \(g^{\theta(x_1,\ell)}_1...g^{\theta(x_n,\ell)}_n\). This is easy to prove in the case where G is an abelian group.
3. **Handling of Key Problems**: The main problem is how to control the length of \(\omega_{\varphi,K}([X_0,s_1]...[X_{t_k},1])\), because in general this length can be very large. The author solves this problem by finding a hierarchical structure between different points, thereby maintaining some independence and ignoring the length of conjugate subgroups at the same time.
In summary, this paper successfully solves the problem of holonomy convergence of planar Brownian motion on the Poisson - perforated plane by introducing new mathematical tools and techniques, providing an important theoretical basis for further research in quantum field theory.