Alphabeta Math
LemmaStatement: AI-generatedProof: AI-generated
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.

Flag triangles construct the dual sphere

Statement

The spherical cellulation of the seven-plane arrangement has a dual cell decomposition of the same sphere. Its vertices correspond to the 32 chambers, its edges to the 48 chamber adjacencies, and its two-dimensional disk faces to the vertices of the spherical arrangement. A dual face boundary lists the chambers incident to that arrangement vertex in cyclic order.

Facts & Assumptions

[F1]

The seven D4 planes give a finite spherical cellulation gives embedded polygonal disks meeting along entire faces on S2. D4 chamber labels and complete adjacency graph gives the 32 chambers and 48 adjacencies. The CW convention is CW complex with closure finiteness and weak topology.

Proof

Given: The data in the Statement and the exact supplier facts above.

Goal: Establish the Statement.

1.1F1

Choose a point in every spherical chamber and a point inside each arrangement edge. Inside each closed chamber disk draw nonintersecting arcs from its chosen centre to its edge centres and vertices, producing one triangle for each flag v⊂e⊂C‾. Such arcs exist by a homeomorphism with a convex polygon; use the same edge centres on both sides. These finitely many triangles fit along their common edges and subdivide the original sphere.

2.1F1step 1.1∎

For each original arrangement vertex v, unite all flag triangles beginning at v. Their cyclic order around a sufficiently small circle about v shows that their union is a cone from v over a polygonal boundary, hence an embedded closed disk. Its boundary runs successively through chamber centres and intervening edge centres. Two such disks meet along the broken arc joining the two chamber centres across their common arrangement edge; regard that broken arc as one dual edge. The chamber centres are the dual vertices. Every flag triangle belongs to exactly one such disk, so these dual disks cover the same sphere and have disjoint interiors. Their finite embedded disk attachments give a regular cell decomposition. Its adjacency graph and cyclic face boundaries are exactly as asserted.

Depends on

Used by · 4

Dependency tree · 2 levels

Each result is drawn at its shortest distance from this item. Arrows run from prerequisites to the items that use them; this item has a heavier outline. External source nodes link directly to the cited text. The view shows up to two dependency steps; open a prerequisite to continue.