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.
Framed zero-dimensional bordism in a nonorientable manifold is mod two
Statement
Assume . Let be a closed connected nonorientable smooth -manifold, . Then the parity is a bijection from the set of framed cobordism classes of closed framed -dimensional submanifolds of to , it is additive under disjoint union, and is framed null-cobordant if and only if is even. No orientation of is used to define the invariant.
Facts & Assumptions
Given: and a closed connected nonorientable smooth -manifold , .
The boundary of every compact smooth -manifold has even cardinality; such a manifold is a finite union of circles and intervals (Boundary of a compact 1-manifold has even cardinality).
For connected nonorientable , is connected and any two frames are joined by a smooth path; a frame path gives a graph cobordism (The components of the frame bundle of a connected manifold, Framed points in one component of the frame bundle are framed cobordant).
Opposite chart signs at two points of a chart ball cancel by a cobordism supported there (Oppositely framed points cancel in pairs).
Framed cobordisms have literal product ends, compose along them, and have boundary the two end configurations (Framed cobordism of framed submanifolds, Framed cobordism is an equivalence relation, Framings of a normal bundle).
Frames in the same orientation component are smoothly path-connected, and the smooth step function permits constant endpoint paths (Positively oriented bases of an oriented vector space are path-connected, The standard smooth step function).
Proof
A framed cobordism from to is a compact -manifold with boundary . By [F1], is even, so parity is invariant under framed cobordism. This argument does not assume orientability of the ambient manifold.
Nonorientability excludes the empty manifold. It also excludes : by [F1], a nonempty closed connected -manifold is a single circle, and its period coordinate supplies a global positive tangent ray, making it orientable. Thus . In a Euclidean ball of that dimension with finitely many points removed, two allowed points can be joined by two straight segments through an intermediate point avoiding the finitely many lines through either endpoint and a removed point. A finite union of lines has empty interior: choose a direction different from all their directions and remove its finitely many intersections inside a small ball. Hence the required intermediate point exists.
Given any frame path from [F2] and a finite set of forbidden base points disjoint from its endpoints, subdivide it into finitely many tangent trivializations. Move subdivision frames slightly off inside the chart overlaps and preserve their local determinant component. Within each chart, join their base points in the punctured ball by step 1.2, and join their frame coordinates by [F5]; the original path ensures that the local signs of the two endpoints agree. The resulting paths glue and can be smoothed with endpoints fixed on by the smoothing argument in [F2]. The graph cobordism therefore avoids all stationary cylinders at . Adjoining those cylinders gives an embedded cobordism of the full finite configuration, with the normal framings defined separately on the disjoint pieces.
Choose distinct target points in a chart ball, avoiding the initial configuration, with opposite chart framings at each chosen pair. Move the initial points successively to those targets by step 2.1, taking the forbidden set to be all other currently occupied points. The global frame bundle is connected by [F2], so no initial sign restricts the chosen terminal frame. Arrange the pairs in separate small balls and cancel each using [F3], adjoining only stationary cylinders outside that ball. An even configuration reduces to the empty one; an odd configuration reduces to a single framed point. Any two singleton configurations are cobordant by [F2], whereas a singleton is not null-cobordant by step 1.1.
Empty and singleton configurations realize the two parities, and step 3.1 proves that these are precisely the two classes. Thus parity is a bijection to and null-cobordism is equivalent to even cardinality. Every two classes have disjoint representatives by using distinct points. The class of their union depends only on the sum of their parities, by the bijection, so addition on classes is well defined and additive. No orientation of and no disjoint union of intersecting cobordisms is used.
Depends on
- Oppositely framed points cancel in pairs
- The components of the frame bundle of a connected manifold
- Framed points in one component of the frame bundle are framed cobordant
- Framed cobordism of framed submanifolds
- Framings of a normal bundle
- Framed cobordism is an equivalence relation
- The congruence class $[a]_n$ and the quotient set $\mathbb{Z}/n$
- Separation of a topological space, connected and disconnected spaces, clopen sets, and connected subsets
- Paths, path-connected spaces and path components
- A connected, locally path-connected space is path-connected, because its path components are open
- Orientable manifolds
- Open cover, subcover, and compact topological space; a compact subset is a subspace that is compact in its own right
- Euclidean spaces and Euclidean open subsets as smooth manifolds
- Smooth manifolds and their smooth charts
- The Axiom of Countable Choice ($\mathrm{AC}_\omega$)
- Boundary of a compact 1-manifold has even cardinality
- Positively oriented bases of an oriented vector space are path-connected
- The standard smooth step function
Used by
Dependency tree · two levels
88 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
- Daniel S. Freed, Bordism: Old and New (lecture notes, UT Austin, Fall 2012) (standard reference, not scraped)
- John Milnor, Topology from the Differentiable Viewpoint (standard reference, not scraped)