Alphabeta Math
RemarkRemark: Literature-sourcedProof: Not applicablePipeline-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.

No inference to general resolution of singularities

Remark

The results of this page prove resolution for reduced projective plane curves by point blowups (Resolution of reduced plane curves by point blowups and the delta recurrence) and the regularity of point blowups of regular surfaces; the blowups used are proper and, in the point case, have the explicit projective chart descriptions of Blowups of finite type ideals are locally H-projective, and proper. These statements do not imply resolution of singularities for arbitrary varieties, nor for surfaces over imperfect fields with smoothness assertions about the resulting components, nor for schemes of dimension at least three. The termination argument for the curve case uses two features special to curves on surfaces: the one-dimensional normalization defect δk, which decreases by r m(m−1)/2 at each singular point blowup, and the pairwise contact order of two regular branches at a point of a regular surface, which decreases by one under an appropriate point blowup. In higher dimension there is no such defect count, and the embedded normal-crossing support produced for curves does not control the singularities of a general ambient scheme. The page therefore claims only the plane-curve resolution and the regularity statements stated and proved in its items, and the normal-crossing conclusion is asserted over the residual residue fields, not as smoothness over an imperfect base field.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

42 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