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.
Positive oriented atlases characterize orientations except for one-manifolds with boundary
Statement
Let be an -manifold with boundary. If , or if and , an orientation of the tangent determinant lines is equivalent to an atlas whose transition Jacobians are positive. Any such atlas determines an orientation for every , but the converse can fail when and . In dimension zero, arbitrary pointwise signs remain the governing formulation.
Facts & Assumptions
Given: A smooth -manifold with boundary.
An orientation is a smooth choice of determinant ray, and for a chart is oriented when its coordinate frame lies in that ray (Oriented smooth manifolds and oriented charts).
In positive dimension, determinant rays are equivalent to positive-basis classes (Orientations and positive basis classes agree in positive dimension).
Boundary charts take values in , and their last positive coordinate direction is inward at the face (Smooth charts, atlases, and structures with boundary; Inward, outward, and boundary-tangent vectors).
Proof
Suppose an orientation is selected and either , or and . By [L1] and [L2], each chart frame has a sign relative to that ray; continuity makes this sign locally constant, so restrict to its sign components. On a negative interior chart, reverse one coordinate. On a negative boundary chart with , reverse one of the first coordinates; this preserves while reversing the frame orientation. The resulting positive charts cover .
On overlaps, [L2] says that both coordinate frames are positive precisely when their change determinant is positive. Thus step 1.1 gives a positive-transition atlas. Conversely, in every , positive transition determinants make the chart-frame rays agree on overlaps and hence define the orientation of [L1].
The converse in step 2.1 is not reversible for an arbitrary orientation when and there is boundary: by [L3], a positive boundary chart necessarily declares the inward vector positive. On the standard oriented interval , is inward at but outward at , so its orientation cannot be represented by positive boundary charts at both endpoints. Finally, when , [L1] shows why independent pointwise signs, rather than the unique empty chart frame, remain the correct datum.
Depends on
Used by
Dependency tree · two levels
11 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Ioan Mărcuț, Manifolds (2017 lecture notes), §§14.5, 15.1 (standard reference, not scraped)
- Will Merry, Differential Geometry (2021), Lecture 24 (standard reference, not scraped)