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 be a finite-dimensional smooth manifold, let be an integer, and give its standard Hermitian inner product. Let be a map such that and is constant. Define Its fiber at is with the inner product inherited from , using . The following finite-regularity convention fixes the meaning of here. If is , then is its differential, whose coordinate coefficients are continuous. If a one-form is written in coordinates as , define componentwise, whenever its coefficients are . These derivatives have continuous coefficients. The chain rule and symmetry of mixed second derivatives make the definitions independent of 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, is a matrix-valued one-form.
For an open , a section of is a map with . A Hermitian connection at this regularity is a complex-linear operation from such sections to continuous -valued one-forms satisfying for and for all sections . Define the projected connection by .
For a path , with derivatives extending continuously to the endpoints, put and . Kato transport along is the matrix solution , .
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 family , with derivatives through order two continuous up to the endpoints, suppose is the orthogonal spectral projection onto a subset of the spectrum, is continuous in operator norm, and that subset has distance at least from its complementary spectrum for every . Under Countable Choice, the earlier finite-dimensional adiabatic result gives of constant rank; restriction to supplies an example of the projector families defined here.