Alphabeta Math
TheoremStatement: AI-adaptedProof: AI-adaptedPipeline-generatedjudge pass (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.

Framed zero-dimensional bordism in a nonorientable manifold is mod two

Statement

Assume ACω. Let M be a closed connected nonorientable smooth m-manifold, m≥1. Then the parity N↦∣N∣ mod 2 is a bijection from the set of framed cobordism classes of closed framed 0-dimensional submanifolds of M to Z/2, it is additive under disjoint union, and (N,φ) is framed null-cobordant if and only if ∣N∣ is even. No orientation of M is used to define the invariant.

Facts & Assumptions

Given: ACω and a closed connected nonorientable smooth m-manifold M, m≥1.

[F1]

The boundary of every compact smooth 1-manifold has even cardinality; such a manifold is a finite union of circles and intervals (Boundary of a compact 1-manifold has even cardinality).

[F2]

For connected nonorientable M, B(M) 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).

[F3]

Opposite chart signs at two points of a chart ball cancel by a cobordism supported there (Oppositely framed points cancel in pairs).

[F4]

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).

[F5]

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

1.1F1F4given

A framed cobordism from N0 to N1 is a compact 1-manifold with boundary N0⊔N1. By [F1], ∣N0∣+∣N1∣ is even, so parity is invariant under framed cobordism. This argument does not assume orientability of the ambient manifold.

1.2F1given

Nonorientability excludes the empty manifold. It also excludes m=1: by [F1], a nonempty closed connected 1-manifold is a single circle, and its period coordinate supplies a global positive tangent ray, making it orientable. Thus m≥2. 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.

2.1F2F4F5step 1.2

Given any frame path from [F2] and a finite set P of forbidden base points disjoint from its endpoints, subdivide it into finitely many tangent trivializations. Move subdivision frames slightly off P 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 B(M∖P) by the smoothing argument in [F2]. The graph cobordism therefore avoids all stationary cylinders at P. Adjoining those cylinders gives an embedded cobordism of the full finite configuration, with the normal framings defined separately on the disjoint pieces.

3.1F2F3F4step 1.1step 2.1

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.

4.1F1F4step 1.1step 3.1algebra∎

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 Z/2 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 M and no disjoint union of intersecting cobordisms is used.

Depends on

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