Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedprecheck passjudge pass (gpt-5.6-terra)audited 2026-09-14
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.

Schubert cells in real and complex Grassmannians

Definition

Fix the coordinate flag 0F1FN. A Schubert symbol for Grn(FN) is a strictly increasing sequence a=(a1<<an) with 1aiN. Its Schubert cell is

e(a)={W:dim(WFai)=i, dim(WFai1)=i1 for every i}.

Every We(a) has a unique pivot-normalized basis

vi=eai+j<aij{a1,,ai1}xijej,

after using earlier pivot rows to clear their columns. The free coordinates number

d(a)=i=1n(aii),

so e(a)Fd(a). Its real dimension is d(a) for F=R and 2d(a) for F=C. Equivalently, the integers aii, read in reverse order, form a partition fitting the n by (Nn) rectangle. These spaces use the Grassmannian topology fixed in Stiefel spaces, Grassmannians, and tautological bundles. For n=0, the unique symbol is the empty sequence, the displayed sum is the empty sum 0, and its Schubert cell is the one-point Grassmannian.

Depends on

Used by

Dependency tree · two levels

4 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