Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedverified 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.

C2 projector bundles and Kato transport

Definition

Let M be a finite-dimensional smooth manifold, let d≥1 be an integer, and give Cd its standard Hermitian inner product. Let P:M→End⁡(Cd) be a C2 map such that P(x)2=P(x)=P(x)∗ and rank⁡P(x)=r is constant. Define EP={(x,v)∈M×Cd:P(x)v=v},π(x,v)=x. Its fiber at x is ran⁡P(x) with the inner product inherited from Cd, using ⟨v,w⟩=v∗w. The following finite-regularity convention fixes the meaning of d here. If s:U→Cd is C1, then dsx:TxM→Cd is its differential, whose coordinate coefficients are continuous. If a C1 one-form is written in coordinates as α=∑j=1nαj dxj, define dα=∑1≤j<k≤n(∂jαk−∂kαj) dxj∧dxk componentwise, whenever its coefficients are C1. These derivatives have continuous coefficients. The chain rule and symmetry of mixed second derivatives make the definitions independent of C2 coordinate changes; on smooth forms they agree with the componentwise exterior derivative. Wedge products of these forms are the pointwise alternating products, with matrix multiplication in the coefficient factors when present. In particular, dP is a C1 matrix-valued one-form.

For an open U⊆M, a C1 section of EP is a C1 map s:U→Cd with Ps=s. A Hermitian connection at this regularity is a complex-linear operation from such sections to continuous EP-valued one-forms satisfying ∇(fs)=df s+f∇s for f∈C1(U,C) and d(s∗t)=(∇s)∗t+s∗∇t for all C1 sections s,t. Define the projected connection by ∇s=P ds.

For a C2 path γ:[0,1]→M, with derivatives extending continuously to the endpoints, put Pγ(t)=P(γ(t)) and Kγ(t)=[Pγ′(t),Pγ(t)]. Kato transport along γ is the matrix solution Wγ′(t)=Kγ(t)Wγ(t), Wγ(0)=Id.

The connection and Kato transport are defined from the projector family itself; no Schrödinger Hamiltonian or physical time evolution is needed. For a one-parameter C2 family H:[0,1]→Herm⁡(Cd), with derivatives through order two continuous up to the endpoints, suppose P(s) is the orthogonal spectral projection onto a subset of the spectrum, is continuous in operator norm, and that subset has distance at least g>0 from its complementary spectrum for every s. Under Countable Choice, the earlier finite-dimensional adiabatic result gives P∈C2([0,1],End⁡(Cd)) of constant rank; restriction to M=(0,1) supplies an example of the projector families defined here.

Depends on

Dependency tree · 2 levels

Sources