HEXAGONbeta

Stochastic Connections on Surface Bundles

A mix of human-written and AI-generated textHuman understanding: some partsmath.PR — Probabilitymath.AP — Analysis of PDEsmath.DG — Differential Geometrymath-ph — Mathematical Physics

Contributed by Zhenyu Sun ↗

Version 1 / Nov 11, 2026 / CC BY 4.0

Abstract

We construct local stochastic connection dynamics on arbitrary principal bundles over closed oriented Riemannian surfaces. For each smooth reference connection, the bare additive spatial heat approximations of the Yang–Mills–DeTurck equation converge to a maximal local strong Markov family in a separable negative Hölder space. A finite Gaussian enhancement defines the singular products, and cancellation of the total logarithmic mass identifies the limiting equation. Rough comparison gauges and predictable rotations of the Wiener noise identify the local orbit laws for different references. The finite quadratic tensor anomaly vanishes after the two-dimensional Yang–Mills contraction, with the finite normalisation fixed by the spatial heat approximation. Continuing through bounded representatives gives a reference-independent maximal local strong Markov family on the full rough orbit space. Gaussian line primitives have every Hölder exponent below one on bounded regular curve families and define non-Abelian Young parallel transport. On a dense, gauge-invariant Borel full-heat trace domain, polygonal holonomies separate rough gauge orbits, admit Borel representative maps, and recover the bundle class. The orbit dynamics has continuous holonomy paths on this domain, and the regularised holonomies converge uniformly on bounded regular curve families and compact surviving positive-time intervals. We also prove regularisation-independent convergence of first-order Gaussian currents after time integration, including a harmonic example of infinite variation and zero quadratic variation. At fixed regularisation scale, the field-dependent covariant heat approximation has classical solutions and an explicit Itô correction in Coulomb coordinates. In every Abelian sector, the quotient diffusion is global, reference independent, and reversible with an explicitly identified unique invariant law.

Provenance statement

This work combines human-written and AI-generated text. OpenAI Codex was used to review mathematical arguments and citations, revise the exposition, edit the LaTeX source, and check compilation and rendered pages. Some, but not all, parts of the contribution have been checked and understood by a human.

Tools used

OpenAI
Codex

References

  1. Isma ë l Bailleul and Fr é d é ric Bernicot. Heat semigroup and singular PDE s. Journal of Functional Analysis , 270 0 (9): 0 3344--3452, 2016. 10.1016/j.jfa.2016.02.012.DOI
  2. Isma ë l Bailleul and Fr é d é ric Bernicot. High order paracontrolled calculus. Forum of Mathematics, Sigma , 7: 0 e44, 2019. 10.1017/fms.2019.44.DOI
  3. Nicole Berline, Ezra Getzler, and Michèle Vergne. Heat Kernels and Dirac Operators . Grundlehren Text Editions. Springer, 2004. 10.1007/978-3-642-58088-8.DOI
  4. Bjoern Bringmann and Sky Cao. A para-controlled approach to the stochastic Yang--Mills equation in two dimensions. Memoirs of the American Mathematical Society , 319 0 (1624), 2026. 10.1090/memo/1624. URL https://arxiv.org/abs/2305.07197v2. Numbered references in the text use arXiv:2305.07197v2, 13 August 2025.arXivDOI
  5. Bjoern Bringmann, Sky Cao, Martin Hairer, and Wenhao Zhao. Construction of the 2D non-abelian Yang--Mills--Higgs measure via stochastic quantisation, 2026. URL https://arxiv.org/abs/2611.03640.link
  6. Ajay Chandra and Martin Hairer. An analytic BPHZ theorem for regularity structures, 2018. URL https://arxiv.org/abs/1612.08138v5. Version 5, 22 January 2018.link
  7. Ajay Chandra, Ilya Chevyrev, Martin Hairer, and Hao Shen. Langevin dynamic for the 2d Y ang-- M ills measure. Publications Math é matiques de l' IHÉ S , 136: 0 1--147, 2022. 10.1007/s10240-022-00132-0.DOI
  8. Ilya Chevyrev and Hao Shen. Invariant measure and universality of the 2d Y ang-- M ills L angevin dynamic. Communications on Pure and Applied Mathematics , 79 0 (8): 0 1973--2102, 2026 a . 10.1002/cpa.70043.DOI
  9. Ilya Chevyrev and Hao Shen. Uniqueness of gauge covariant renormalisation of stochastic 3D Yang--Mills--Higgs . Archive for Rational Mechanics and Analysis , 250: 0 11, 2026 b . 10.1007/s00205-025-02163-3.DOI
  10. Ilya Chevyrev, Tom Klose, and Abdulwahab Mohamed. A PDE approach to the 2D Yang--Mills measure, 2026. URL https://arxiv.org/abs/2607.22236.link
Show all 21 referencesShow fewer references
  1. Reda Chhaibi, Nguyen Viet Dang, Yannick Guedes Bonthonneau, Gabriel Rivi è re, and Tat Dat T ô . The Yang--Mills measure on surfaces via Morse theory, 2026. URL https://arxiv.org/abs/2607.24640.link
  2. Nguyen Viet Dang and Elias Nohra. The Y ang-- M ills measure on compact surfaces as a universal scaling limit of lattice gauge models, 2026. URL https://arxiv.org/abs/2602.08591.link
  3. Massimiliano Gubinelli and Milton Jara. Regularization by noise and stochastic Burgers equations. Stochastic Partial Differential Equations: Analysis and Computations , 1 0 (2): 0 325--350, 2013. 10.1007/s40072-013-0011-5. URL https://arxiv.org/abs/1208.6551.DOI
  4. Massimiliano Gubinelli, Peter Imkeller, and Nicolas Perkowski. Paracontrolled distributions and singular PDE s. Forum of Mathematics, Pi , 3: 0 e6, 2015. 10.1017/fmp.2015.2.DOI
  5. Martin Hairer. A theory of regularity structures. Inventiones Mathematicae , 198 0 (2): 0 269--504, 2014. 10.1007/s00222-014-0505-4.DOI
  6. Martin Hairer and Harprit Singh. Regularity structures on manifolds and vector bundles, 2023. URL https://arxiv.org/abs/2308.05049.link
  7. Martin Hairer and Rhys Steele. The BPHZ theorem for regularity structures via the spectral gap inequality. Archive for Rational Mechanics and Analysis , 248: 0 9, 2024. 10.1007/s00205-023-01946-w. URL https://arxiv.org/abs/2301.10081v3. Article 9. Numbered references in the text use arXiv:2301.10081v3, 7 October 2023.arXivDOI
  8. Alexander S. Kechris. Classical Descriptive Set Theory , volume 156 of Graduate Texts in Mathematics . Springer, New York, 1995. 10.1007/978-1-4612-4190-4.DOI
  9. Thierry L é vy. Discrete and continuous Yang--Mills measure for non-trivial bundles over compact surfaces. Probability Theory and Related Fields , 136 0 (2): 0 171--202, 2006. 10.1007/s00440-005-0478-8. URL https://arxiv.org/abs/math-ph/0501014.DOI
  10. Michael E. Taylor. Pseudodifferential Operators and Nonlinear PDE , volume 100 of Progress in Mathematics . Birkhäuser, Boston, 1991. 10.1007/978-1-4612-0431-2.DOI
  11. L. C. Young. An inequality of the H ölder type, connected with S tieltjes integration. Acta Mathematica , 67 0 (1): 0 251--282, 1936. 10.1007/BF02401743.DOI

Version history

  1. v1 · 140 pagesSubmitted by Zhenyu SunInitial depositCurrentNov 10, 2026