How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Rank-one holonomy and integral curvature
Statement
Assume full AC. Let be a compact boundaryless oriented smooth surface, and let be a rank-one orthogonal projection family. Let be its complex line bundle, , and . Then For any closed path subdivided into local unit frames , with and transition for valued in at the crossing points, the holonomy is the scalar by which parallel transport acts on its one-dimensional initial fiber. This scalar is the product of the local factors and the transition factors . Thus geometric holonomy includes the frame-transition scalars whenever one frame does not cover the path.
In addition, suppose is a decomposition into compact oriented subsurfaces with disjoint interiors and common finite boundary , a finite union of oriented smooth circles. If has supplied unit frames on these subsurfaces and on for a map , then where each component has the orientation induced by .
Facts & Assumptions
Given: Full AC, the stated compact oriented smooth surface, a rank-one orthogonal projection family, and a closed path. For the conditional clutching clause, also assume the stated subsurface decomposition and supplied unit frames.
Full AC is The Axiom of Choice and implies Countable Choice The Axiom of Countable Choice (), as well as the hypotheses of the Chern and de Rham suppliers used below.
C2 projector bundles and Kato transport and Projector curvature and frame covariance: has fibers , , , and a local unit frame has connection form .
C2 projector curvature has integral Chern number: under full AC, the displayed curvature integral equals the integral first Chern class pairing for a projector.
First Chern form agrees with the topological line class: for a smooth Hermitian line bundle, the anti-Hermitian curvature has Chern form and its de Rham class is the real image of .
Stokes for C1 one-forms on compact surface regions: Stokes holds for the connection forms on the two compact subsurfaces, including their piecewise- boundaries.
Proof
The first equality and integrality are exactly [F2], with the Chern-form convention and sign fixed by [F3].
Let lie in one frame patch with unit frame . A section is , and for ; therefore a parallel section satisfies . Since this is a scalar equation, its transport factor on that segment is . The compact path has a finite subdivision into local frame patches by compactness and the open-cover property; uniqueness follows directly by differentiating , which is constant. To identify this with Kato transport, write and with . Intertwining gives and gives , so is parallel. Conversely, a parallel section with satisfies , hence satisfies the same Kato equation.
At a frame change , equality of the represented section gives . Composing the local scalar transport equations from step 1.2 with these coefficient changes gives exactly the product in the Statement. Include the final transition back to the initial frame at the closing point, so the product represents the endpoint map in the initial unit vector. Subdividing a segment splits its integral into a sum, and inserting an intermediate frame at a crossing splits a transition into two whose inverse factors multiply to the original inverse; hence refinement leaves the product unchanged. Step 1.2 identifies this parallel transport with Kato transport.
In the two-subsurface decomposition, set and . From and , the product rule gives . For a line, , so the scalar curvature on each patch is . The common boundary has opposite induced orientations on the two subsurfaces. Applying [F4] gives For one oriented component parameterized by , implies for a real continuous function . Put ; differentiating shows is constant, so . Since , , and hence . Summing components shows . Multiplying the curvature identity by and using step 1.1 proves the claimed Chern-number formula, with the sign fixed by the orientation of .