Alphabeta Math
RemarkRemark: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-sol)audited 2026-09-30
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.

Projective and proper are distinct notions

Remark

Under the finite-dimensional H-projective convention of Projective morphisms before Proj, projectivity strengthens properness: a projective morphism is a closed immersion into a relative projective space followed by the projection, and Projective morphisms are proper proves that every such morphism is proper. This is the implication that holds with no extra hypotheses; properness by itself is the weaker notion, defined by separatedness, finite type and universal closedness, with no reference to an ambient projective space (Proper morphisms).

The converse genuinely needs extra hypotheses, and over an algebraically closed field it is false. Closed gluing of two projective three-spaces is proper constructs a proper k-scheme by gluing two copies of Pk3 along a line and a smooth plane conic in each, exchanging the line and the conic under the identifications; the glued scheme is proper over k, but it admits no closed immersion into any PkN. The obstruction is a degree argument. If such a closed immersion existed, then the pullback L of O(1) would restrict to O(n1) and O(n2) on the two copies of Pk3, with n1,n2>0, because on each copy the restriction is the pullback of O(1) along a closed immersion (Line bundles on projective three-space and their restrictions). Restricting instead to the glued curves, and using that a twist on Pk1 determines its index (The twist index on the projective line is an isomorphism invariant), the identification of the first line with the second conic gives n1=2n2, while the identification of the first conic with the second line gives 2n1=n2. The two equations force 3n1=0, hence n1=n2=0 in Z, contradicting n1>0. So no such immersion exists.

Thus "projective" and "proper" are genuinely distinct: the first is a special case of the second, and the second does not imply the first. The companion examples page carries the coordinate model of the glued scheme and the full nonprojectivity calculation; the empty scheme, which is both proper and projective, is not the witness, and no Noetherian hypothesis is involved in either direction.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

54 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