Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedprecheck passverified 2026-10-22 (gpt-6.1-sol)
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 P:Σ→End⁡(Cd) be a C2 rank-one orthogonal projection family. Let EP be its complex line bundle, ∇=P d, and F=P(dP∧dP)P. Then i2π∫Σtr⁡F=⟨c1(EP),[Σ]⟩∈Z. For any C2 closed path γ subdivided into local unit frames uj, with Aj=uj∗duj and transition uj+1=ujgj for gj valued in U(1) 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 exp⁡(−∫γjAj) and the transition factors gj−1. Thus geometric holonomy includes the frame-transition scalars whenever one frame does not cover the path.

In addition, suppose Σ=ΣN∪ΣS is a decomposition into compact oriented subsurfaces with disjoint interiors and common finite boundary Γ=∂ΣN=−∂ΣS, a finite union of oriented smooth circles. If EP has supplied C2 unit frames uN,uS on these subsurfaces and uS=uNg on Γ for a C2 map g:Γ→U(1), then ⟨c1(EP),[Σ]⟩=wind⁡(g):=∑Γj⊂Γ12πi∫Γjg−1dg∈Z, where each component Γj has the orientation induced by ∂ΣN.

Facts & Assumptions

Given: Full AC, the stated compact oriented smooth surface, a C2 rank-one orthogonal projection family, and a C2 closed path. For the conditional clutching clause, also assume the stated subsurface decomposition and supplied unit frames.

[A1]

Full AC is The Axiom of Choice and implies Countable Choice The Axiom of Countable Choice (ACω), as well as the hypotheses of the Chern and de Rham suppliers used below.

[F1]

C2 projector bundles and Kato transport and Projector curvature and frame covariance: EP has fibers ran⁡P, ∇=P d, F=P(dP∧dP)P, and a local unit frame has connection form u∗du.

[F2]

C2 projector curvature has integral Chern number: under full AC, the displayed curvature integral equals the integral first Chern class pairing for a C2 projector.

[F3]

First Chern form agrees with the topological line class: for a smooth Hermitian line bundle, the anti-Hermitian curvature Ω has Chern form −Ω/(2πi) and its de Rham class is the real image of c1.

[F4]

Stokes for C1 one-forms on compact surface regions: Stokes holds for the C1 connection forms on the two compact subsurfaces, including their piecewise-C2 boundaries.

Proof

1.1A1F2F3given

The first equality and integrality are exactly [F2], with the Chern-form convention and sign fixed by [F3].

1.2F1givenconstructalgebra

Let γ lie in one frame patch with unit frame u. A section is uc, and ∇(uc)=u(dc+Ac) for A=u∗du; therefore a parallel section satisfies c′=−A(γ′)c. Since this is a scalar equation, its transport factor on that segment is exp⁡(−∫γA). The compact path has a finite subdivision into local frame patches by compactness and the open-cover property; uniqueness follows directly by differentiating c(t)exp⁡(∫t0tA(γ′(v)) dv), which is constant. To identify this with Kato transport, write P(t)=P(γ(t)) and v(t)=W(t)v0 with P(0)v0=v0. Intertwining gives Pv=v and PP′P=0 gives Pv′=P[P′,P]v=0, so v is parallel. Conversely, a parallel section with Pv=v satisfies v′=P′v+Pv′=P′v=[P′,P]v, hence satisfies the same Kato equation.

2.1F1F2step 1.2algebra

At a frame change uj+1=ujgj, equality of the represented section ujcj=uj+1cj+1 gives cj+1=gj−1cj. 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.

3.1F1F2F4step 1.1algebra∎

In the two-subsurface decomposition, set AN=uN∗duN and AS=uS∗duS. From uS=uNg and g−1g=1, the product rule gives AS=AN+g−1dg. For a line, A∧A=0, so the scalar curvature on each patch is dA. The common boundary has opposite induced orientations on the two subsurfaces. Applying [F4] gives ∫Σtr⁡F=∫ΓAN+∫−ΓAS=∫Γ(AN−AS)=−∫Γg−1dg. For one oriented component parameterized by t∈[0,2π], ∣g(t)∣=1 implies g−1g′=ia(t) for a real continuous function a. Put θ(t)=∫0ta(s) ds; differentiating shows g(t)e−iθ(t) is constant, so g(t)=g(0)eiθ(t). Since g(2π)=g(0), θ(2π)∈2πZ, and hence (2πi)−1∫g−1dg∈Z. Summing components shows wind⁡(g)∈Z. Multiplying the curvature identity by i/(2π) and using step 1.1 proves the claimed Chern-number formula, with the sign fixed by the orientation of ∂ΣN.

Depends on

Dependency tree · 2 levels

Sources