pith. sign in

arxiv: 2110.06334 · v2 · submitted 2021-10-11 · 🧮 math-ph · math.MP

Principal Bundles and Gauge Theories

Matthijs V\'ak\'ar This is my paper

Pith reviewed 2026-05-24 12:41 UTC · model grok-4.3

classification 🧮 math-ph math.MP
keywords principal bundlesgauge theoriesconnectionscurvaturefiber bundlesdifferential geometryelectromagnetismYang-Mills
0
0 comments X

The pith

Principal bundles supply the geometric framework that formalizes gauge theories in physics.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The lecture notes first present the differential geometry of principal bundles as manifolds equipped with a free and transitive Lie group action. They then show that this structure encodes the local gauge symmetries of physical field theories by identifying the structure group with the gauge group. Connections on the bundle correspond to gauge potentials while their curvature forms give the field strengths. This identification reproduces the equations of electromagnetism and extends naturally to non-abelian theories and general relativity. The formalization therefore supplies a single geometric language for the classical gauge theories that appear in physics.

Core claim

Principal bundles, together with connections on them, formalize gauge theories by letting the fibers carry the gauge group action and letting the connection one-form represent the gauge potential whose exterior covariant derivative yields the curvature two-form that encodes the field strength.

What carries the argument

Principal bundle with connection, where the connection form defines parallel transport and its curvature measures the non-integrability that produces physical forces.

If this is right

  • Gauge transformations arise as changes of local trivializations of the bundle.
  • The field strength is recovered as the curvature of the connection and satisfies the Bianchi identity automatically.
  • Electromagnetism appears as the special case where the structure group is the circle group U(1).
  • The same construction applies to the frame bundle in general relativity, with the Lorentz group as structure group.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same geometric language should extend to describe topological invariants such as instanton numbers without additional structure.
  • Quantization of the theory would then correspond to choosing a representation of the structure group on the fibers of an associated vector bundle.
  • Global obstructions to trivializing the bundle would appear as physical phenomena such as magnetic monopoles.

Load-bearing premise

Physical gauge symmetries can be represented exactly by the free transitive action of a Lie group on the fibers of a bundle over spacetime.

What would settle it

A classical gauge theory whose field equations or local symmetry transformations cannot be recovered from any connection on a principal bundle over the spacetime manifold.

read the original abstract

This set of lecture notes first gives an introduction to the geometry of principal bundles. Next, it demonstrates how they can be used to formalize the concept of gauge theories arising in physics. A basic familiarity with the differential geometry of manifolds and the classical field theories of general relativity and electromagnetism is assumed.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. This set of lecture notes introduces the geometry of principal bundles and demonstrates how they formalize gauge theories in physics, assuming a basic familiarity with the differential geometry of manifolds and the classical field theories of general relativity and electromagnetism.

Significance. The central claim is a standard, rigorously established result in differential geometry and theoretical physics (connection as gauge potential, curvature as field strength). As an expository work with no novel derivations, free parameters, or ad-hoc axioms, its value lies in clear presentation for bridging the two fields; no machine-checked proofs or falsifiable predictions are claimed.

minor comments (1)
  1. The abstract is concise but could briefly list the main topics covered in the notes (e.g., connections, curvature, associated bundles) to help readers assess scope.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive recommendation to accept the lecture notes. The provided summary correctly identifies the manuscript as an expository introduction to principal bundles and their use in formalizing gauge theories, assuming the stated background in differential geometry and classical field theory.

Circularity Check

0 steps flagged

No significant circularity; purely expository lecture notes

full rationale

The paper consists of lecture notes introducing the standard geometry of principal bundles and their conventional use in formalizing gauge theories (connection as gauge potential, curvature as field strength). No original derivations, predictions, or fitted parameters are present. The central claim is a well-established equivalence in differential geometry, presented without any self-referential steps, self-citation chains, or reductions of outputs to inputs by construction. The notes explicitly assume external background knowledge in manifolds and classical field theory, making the exposition self-contained against standard benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No new free parameters, axioms, or invented entities are introduced; the paper reviews standard differential geometry and physics concepts.

pith-pipeline@v0.9.0 · 5553 in / 844 out tokens · 24663 ms · 2026-05-24T12:41:06.793241+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

34 extracted references · 34 canonical work pages · 2 internal anchors

  1. [1]

    Aldrovandi and J.G

    R. Aldrovandi and J.G. Pereira: An Introduction to GEOMETRICAL PHYSICS. World Scientific Pub. Co. Inc., Singapore, 1995

    work page 1995

  2. [2]

    Ambrose, R.S

    W. Ambrose, R.S. Palais and I.M. Singer: Sprays. In: Anais da Academia. Brasieira de Ciencias, 32, 1-15 (1960)

    work page 1960

  3. [3]

    Baez and J.P

    J. Baez and J.P. Muniain: Gauge Fields, Knots and Gravity. World Scientific, Singapore, 1994

    work page 1994

  4. [4]

    van den Ban: Lie groups

    E.P. van den Ban: Lie groups. Lecture Notes. Utrecht, Spring 2010

    work page 2010

  5. [5]

    van den Ban: Riemannian Geometry

    E.P. van den Ban: Riemannian Geometry. Lecture notes. Utrecht, Fall 2008

    work page 2008

  6. [6]

    Bleecker: Gauge Theory and Variational Principles

    D. Bleecker: Gauge Theory and Variational Principles. Addison-Wesley, Read- ing, Massachusetts, 1981

    work page 1981

  7. [7]

    Bott and L.W

    R. Bott and L.W. Tu: Differential Forms in Algebraic Topology. Springer- Verlag, New York, 1982

    work page 1982

  8. [8]

    Cartan: On Manifolds with an Affine Connection and the Theory of Gen- eral Relativity

    E. Cartan: On Manifolds with an Affine Connection and the Theory of Gen- eral Relativity. (Translated and put into modern mathematical language by A. Magnon and A. Ashtekar.) Bibliopolis, Napoli, 1986

    work page 1986

  9. [9]

    Duistermaat: Principal Fibre Bundles

    J.J. Duistermaat: Principal Fibre Bundles. Lecture notes for a Spring School, June 17-22, 2004, Utrecht

    work page 2004

  10. [10]

    Connections and Parallel Transport

    F. Dumitrescu: Connections and Parallel Transport. 2009. arXiv:0903.0121v2

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  11. [11]

    Ehlers and R

    J. Ehlers and R. Geroch Equation of Motion of Small Bodies in Relativity

    work page

  12. [12]

    arXiv:gr-qc/0309074v1

    work page internal anchor Pith review Pith/arXiv arXiv

  13. [13]

    Faddeev and A.A

    L.D. Faddeev and A.A. Slavnov Gauge Fields. Introduction to Quantum The- ory. The Benjamin/Cummings Publishing Company, Reading, Massachuset ts, 1980

    work page 1980

  14. [14]

    Frankel: The Geometry of Physics

    T. Frankel: The Geometry of Physics. An introduction. Second edition. Cam- bridge University Press, 2004

    work page 2004

  15. [15]

    Gelfand and S.V

    I.M. Gelfand and S.V. Fomin: Calculus of Variations. Translated by R.A. Silverman. Prentice Hall inc., Englewood Cliffs, New Jersey, 1963

    work page 1963

  16. [16]

    Husemoller: Fibre bundles

    D. Husemoller: Fibre bundles. Third edition. Springer Verlag, New York, 1994

    work page 1994

  17. [17]

    Jackson: Classical Electrodynamics

    J.D. Jackson: Classical Electrodynamics. Third Edition. John Wiley and Sons, New York, 1999

    work page 1999

  18. [18]

    Janssens: Transformation & Uncertainty

    B. Janssens: Transformation & Uncertainty. Some Thoughts on Quantum Probability Theory, Quantum Stochastics, and Natural Bund les. PhD thesis, Universiteit Utrecht, 2010. 79 80 BIBLIOGRAPHY

    work page 2010

  19. [19]

    Kobayashi and K

    S. Kobayashi and K. Nomizu: Foundations of differential geometry. Volume 1. John Wiley and Sons, inc., 1996 (Original printing 1963)

    work page 1996

  20. [20]

    Kolar, J

    I. Kolar, J. Slovak and P.W. Michor: Natural Operations in Differential Ge- ometry. Springer-Verlag, Berlin, Heidelberg, New York, 1993

    work page 1993

  21. [21]

    Mac Lane and I

    S. Mac Lane and I. Moerdijk: Sheaves in Geometry and Logic. Springer Verlag, New York, 1992

    work page 1992

  22. [22]

    Marathe and G

    K.B. Marathe and G. Martucci: The Mathematical Foundations of Gauge The- ories. North-Holland, 1992

    work page 1992

  23. [23]

    Michor: Gauge Theory for Fibre Bundles

    P.W. Michor: Gauge Theory for Fibre Bundles. Monographs and Textbooks in Physical Science Lecture Notes, 1990

    work page 1990

  24. [24]

    Michor: Topics in Differential Geometry

    P.W. Michor: Topics in Differential Geometry. American Mathematical Soci- ety, Providence, Rhode Island, 2008

    work page 2008

  25. [25]

    Minguzzi, C

    E. Minguzzi, C. Tejero Prieto and A. L´ opez Almorox: Weak gauge principle and electric charge quantisation. J.Phys. A39 (2006) 9591-9610

    work page 2006

  26. [26]

    Misner, K.S

    C.W. Misner, K.S. Thorne and J.A. Wheeler: Gravitation. W.H. Freeman and Company, San Francisco, 1970

    work page 1970

  27. [27]

    Schreiber and K

    U. Schreiber and K. Waldorf: Parallel Transport and Functors. J. Homotopy Relat. Struct. 4, 187-244 (2009)

    work page 2009

  28. [28]

    Spivak: A Comprehensive Introduction to Differential Geometry

    M. Spivak: A Comprehensive Introduction to Differential Geometry. Vol ume Two. Third Edition. Publish or Perish, Houston, Texas, 1999

    work page 1999

  29. [29]

    Steenrod: The Topology of Fibre Bundles

    N. Steenrod: The Topology of Fibre Bundles. Princeton University Press, Princeton, New Jersey, 1951

    work page 1951

  30. [30]

    Svetlichny: Preparation for Gauge Theory

    G. Svetlichny: Preparation for Gauge Theory. Lecture notes. Pontificia Uni- versidade Catolica, Rio de Janeiro, Brazil, 1999. arXiv:math-ph/990 2027v3

    work page 1999

  31. [31]

    Thirring: Classical mathematical physics

    W. Thirring: Classical mathematical physics. Dynamical systems and fiel d the- ories. Third edition. Springer-Verlag, New York, Vienna, 1997

    work page 1997

  32. [32]

    Wachter: Relativistic Quantum Mechanics

    A. Wachter: Relativistic Quantum Mechanics. Springer, 2011

    work page 2011

  33. [33]

    Wald: General Relativity

    R.M. Wald: General Relativity. University of Chicago Press, Chicago, 1984

    work page 1984

  34. [34]

    Westenhof, von: Differential Forms in Mathematical Physics

    C. Westenhof, von: Differential Forms in Mathematical Physics. North Holland Publishing Company, Amsterdam, 1978. BIBLIOGRAPHY 81 Glossary of Symbols Ad Adjoint representation of a Lie group on its Lie algebra CCG Category of G-cocycles CFB Category of coordinate fibre bundles CFBλ For an action G λ −→ DiffS, the category of coordinate (G,λ )-fibre bundles C∞...

    work page 1978