Alphabeta Math
False statementConstruction: AI-adaptedVerification: AI-adaptedPipeline-generatedjudge pass (gpt-5.6-terra)audited 2026-09-09
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.

False: density measures require an orientation

Statement

False assertion: a nonorientable smooth manifold cannot carry a positive smooth density measure.

A counterexample is the open Möbius strip (R×(1,1))/(s,t)(s+1,t): it is a smooth nonorientable surface carrying the descended positive smooth density dsdt.

Facts & Assumptions

Given: Assume ACω. Manifolds are Hausdorff, second countable and smooth, with boundary allowed; n=0 is allowed unless excluded. Densities are pointwise Borel, 0=0, and λ0(R0)=1. Explicit nonorientable Möbius witness, with the source used at its Refutation rather than its weaker Statement.

[F1]

Oriented smooth manifolds and oriented charts: An orientation is a smooth choice of a determinant ray at every point.

[F2]

Positive smooth densities give Radon volume: A finite positive smooth density gives a Radon measure.

[F3]

Existence of positive smooth densities: Positive smooth densities exist also on nonorientable manifolds.

Refutation

1.1

Let T(s,t)=(s+1,t) act on X=R×(1,1) and let q:XM=X/T be the quotient. It is open since q1q(V)=kZTkV is open for every open V. Rectangles of s-width less than one have disjoint translates, so q restricts to a homeomorphism from each such rectangle onto an open chart. The quotient is Hausdorff: for two inequivalent points, first choose bounded neighborhoods; only finitely many integer translates can intersect them because their s-coordinates are bounded, and shrink the neighborhoods to exclude each of these finitely many intersections. Their quotient images then separate the two orbits. Images of rational rectangles form a countable base. Transition maps are restrictions of powers of T, hence smooth. If M had an orientation, its pullback to X would be a smooth sign σ:X{+1,1} relative to the coordinate frame. This sign is constant because X is connected (any two points are joined by a straight segment). But DT=diag(1,1) implies σ(Tp)=σ(p), contradicting constancy. Thus M is a smooth nonorientable surface.

F1
2.1

The explicit local coefficient one gives dsdt. Since DT=diag(1,1) has absolute determinant one, all transition powers preserve this density. It descends to a positive smooth density on M, an explicit instance of the general existence theorem. Its coefficients are finite, so it defines a Radon measure. This nonorientable witness refutes the assertion.

F2F3step 1.1

Depends on

Used by

Dependency tree · two levels

17 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