Alphabeta Math
Pipeline-generated
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.

Projector geometry, adiabatic transport and Berry curvature — Examples

1 · Prerequisites

2 · Summary

3 · Logical flowchart

4 · Definitions, postulates, theorems and proofs

None yet.

5 · Examples, experiments and counterexamples

ExampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passverified 2026-10-22 (gpt-6.1-sol)Open item page →

Spin-half curvature and a solid angle

Example

Assume full AC. Give S2 its unit-sphere metric and outward orientation. Let σx=(0110),σy=(0−ii0),σz=(100−1). and for n=(sin⁡θcos⁡ϕ,sin⁡θsin⁡ϕ,cos⁡θ) set P+=(I+n⋅σ)/2. The positive eigenline has northern unit frame uN(θ,ϕ)=(cos⁡(θ/2)eiϕsin⁡(θ/2)),0≤θ<π. In this frame AN=uN∗duN=i(1−cos⁡θ)dϕ/2, and the curvature is F=isin⁡θ dθ∧dϕ/2. The positive eigenline has Chern number −1. Let ωS2 be the outward-oriented area form, which in spherical coordinates is sin⁡θ dθ∧dϕ. For any piecewise C2 closed loop with a C2 oriented disk filling S, its oriented solid angle is Ω=∫SωS2 modulo 4π. Its holonomy is exp⁡(−iΩ/2); in particular a latitude at polar angle θ has Ω=2π(1−cos⁡θ).

Facts & Assumptions

Given: Full AC, the oriented unit sphere, the displayed Pauli matrices, and the projector family P+.

[A1]

Full AC is The Axiom of Choice; it entails Countable Choice The Axiom of Countable Choice (ACω).

[F1]

Projector curvature and frame covariance: for a C2 orthogonal projector, the projected connection has curvature P(dP∧dP)P and a local orthonormal frame u has connection form u∗du.

[F2]

Rank-one holonomy and integral curvature: the rank-one Chern number is the curvature integral with factor i/(2π), and local parallel transport has factors exp⁡(−∫A) with inverse frame-transition scalars at patch changes.

[F3]

Stokes for C1 one-forms on compact surface regions: for a C1 one-form on a compact oriented surface region with finitely many piecewise-C2 boundary arcs and corners, Stokes holds with the outward-normal-first orientation.

[F4]

Spin-half curvature and solid-angle filling period: two C2 disk fillings of the same loop have solid-angle integrals differing by an element of 4πZ.

Verification

1.1givenA1algebra

Matrix multiplication gives (n⋅σ)∗=(n⋅σ) and (n⋅σ)2=I, while tr⁡(n⋅σ)=0. Hence P+∗=P+2=P+ and tr⁡P+=1, so it is a rank-one orthogonal projection. Direct multiplication gives (n⋅σ)uN=uN and uN∗uN=1, so uN is a normalized local frame of its positive eigenline.

2.1givenF1step 1.1algebra

Differentiating the displayed spinor gives uN∗duN=isin⁡2(θ/2) dϕ=i(1−cos⁡θ)dϕ/2. Taking the exterior derivative yields dAN=isin⁡θ dθ∧dϕ/2, which is the curvature in this frame by [F1]. Both the projector curvature and the spherical area form are global smooth two-forms, so their equality on the northern chart gives F=(i/2)ωS2 globally.

3.1givenF1F2step 2.1algebra

Integrating the area form gives ∫S2sin⁡θ dθ dϕ=4π, hence i2π∫S2F=i2πi2(4π)=−1. By [F2] this is the integral first Chern number with the stated anti-Hermitian connection convention.

4.1givenF1F2F3F4F5step 2.1step 3.1algebra∎

A southern frame is uS=(e−iϕcos⁡(θ/2),sin⁡(θ/2))T=e−iϕuN; it is regular at the south pole and together with uN covers S2. Along the equator the transition is g(ϕ)=e−iϕ, so (2πi)−1∫02πg−1dg=−1. The two-hemisphere clutching clause in [F2] therefore gives Chern number −1, matching the direct curvature integral in step 3.1 and fixing the orientation sign. Pull these frames back to the standard closed parameter disk filling S. Their inverse images form an open cover of the disk; by [F5] it has a Lebesgue number δ>0. Choose N with 2/N<δ, set h=1/N, and intersect the disk with the closed axis-aligned squares [ih,(i+1)h]×[jh,(j+1)h]. Retain only intersections Cij with nonempty interior. There are finitely many; their interiors are disjoint and their closures cover the disk, since every disk point is a limit of interior points off the grid lines and a subsequence lies in one of finitely many retained cells. Each cell has diameter at most 2h<δ, so it lies in one frame patch. Each is a compact convex region whose boundary, after zero-length pieces are discarded, is a finite union of regular straight or circular arcs meeting at finitely many corners; the C1 Stokes item [F3] applies. On a cell Cij, its frame connection Aij is C1 because the filling is C2, and [F3] gives ∫∂CijAij=∫CijF. Since one frame covers the cell, its boundary holonomy is exp⁡(−∫∂CijAij)=exp⁡(−∫CijF). Choose a unit vector at each vertex of this finite cell decomposition and write each oriented edge transport as its unit-modulus scalar in those endpoint vectors. In the product of the cell-boundary holonomies every internal edge occurs once in each direction, so its scalar and inverse cancel; only the outer boundary loop remains. Thus Hol⁡(C)=exp⁡(−∫SF)=exp⁡(−iΩ/2). If a second filling is chosen, [F4] says its solid angle differs by 4πk for some integer k, so this exponential is independent of the filling. For a latitude circle the north-cap integral is Ω=∫02π∫0θsin⁡u du dϕ=2π(1−cos⁡θ).

CounterexampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passverified 2026-10-22 (gpt-6.1-sol)Open item page →

Slow variation alone is insufficient

Statement refuted

Assuming Countable Choice, slow scaling by T alone guarantees a uniform O(1/T) leakage bound for the pointwise ordered upper eigenspace of every finite-dimensional C2 Hermitian family, even when its spectral gap may close.

Facts & Assumptions

Given: Countable Choice, ℏ>0 in joule-seconds, an energy E0>0 in joules, and a duration T>0 in seconds.

[F1]

Physical adiabatic phase with explicit scale: under Countable Choice, a C2 finite Hermitian family with a spectral projection followed continuously in operator norm and separated from its complementary spectrum by a uniform positive gap satisfies the stated O(1/T) leakage bound.

Counterexample

1.1givenA1algebra

On C2, let e↑=(1,0)T, e↓=(0,1)T, and H(s)=E0(2s−1)diag⁡(1,−1) for s∈[0,1]. For s<1/2 the ordered upper eigenvalue is E0(1−2s) and its projection is Pup(s)=e↓e↓∗; for s>1/2 it is E0(2s−1) and its projection is Pup(s)=e↑e↑∗. At s=1/2, H(s)=0, so the degenerate upper eigenspace is all of C2 and its spectral projection is I2; the one-sided rank-one projections therefore have no continuous rank-one extension. The gap between the two eigenvalues is 2E0∣2s−1∣, which closes at s=1/2.

2.1givenstep 1.1constructalgebra

The propagator from s=0 solves iℏUT′(s)=TH(s)UT(s) and is UT(s)=exp⁡ ⁣(−iTE0ℏ(s2−s)diag⁡(1,−1)), as direct differentiation verifies. In particular UT(1)=I2.

3.1givenF1step 1.1step 2.1algebra

At the endpoints, Pup(0)=e↓e↓∗ and Pup(1)=e↑e↑∗. Therefore ∥(I−Pup(1))UT(1)Pup(0)∥=∥e↓e↓∗∥=1 for every T>0. No finite constant C independent of T can bound this leakage by C/T. The ordered projection fails the continuity and uniform-gap hypotheses in [F1].

4.1givenstep 1.1step 2.1algebra∎

The constant projection P↓=e↓e↓∗ commutes with every H(s) and has zero leakage for all T. At the crossing it is not the spectral projection onto the degenerate eigenspace, which is all of C2; it is a continuous invariant rank-one subspace, not a coherently followed gapped spectral cluster. Thus the example refutes a gap-free uniform tracking claim for the ordered branch; it does not assert that every choice of state at a crossing causes transitions.

Sources