{
  "schema_version": 1,
  "problem_number": "AIM-ARITHMETIC_GEOMETRY-0067",
  "title": "A Seventeen-Dimensional Component of the Hilbert Scheme of Eighteen Points on an Integral Curve",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "We give an explicit integral projective curve whose Hilbert scheme of eighteen points has a rational component of dimension seventeen. This answers affirmatively Problem 20 in the 2010 AIM workshop list Components of Hilbert Schemes, even with the curve required to be integral and projective. The curve comes from the known numerical semigroup ⟨13,14,15,16,17,18,21,23⟩ of Herzog–Kumashiro–Stamate. A five-generator ideal of colength eighteen is a canonical module; its full Hilbert tangent space is the seventeen-dimensional normalization quotient. A flat family of truncated unit translates identifies an open subset of the Hilbert scheme with affine 17-space. Two independent finite syzygy certificates verify the tangent calculation over every field. In characteristic zero, a separate application of Kass's theorem gives a component of dimension d−1 for every d≥18 on the same curve. The semigroup, canonical-module identities and general moduli theorem are established prior work; the point is their explicit Hilbert-scheme application. No absolute priority or minimal-length claim is made.",
  "result_type": "COMPLETE_AFFIRMATIVE_ANSWER",
  "categories": [
    "math.AG",
    "math.AC"
  ],
  "keywords": [
    "Hilbert scheme of points",
    "integral monomial curve",
    "canonical module",
    "numerical semigroup",
    "deficient component",
    "exact tangent certificate",
    "AIM-ARITHMETIC_GEOMETRY-0067",
    "open mathematics",
    "mathematical proof",
    "math.AG",
    "math.AC"
  ],
  "manuscript_version_date": "2026-09-05",
  "publication_date": "2026-09-05",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-09-05",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/aim-arithmetic-geometry-0067/",
  "pdf_url": "https://eulersolve.org/papers/aim-arithmetic-geometry-0067/paper.pdf?v=922bde59af83",
  "doi": "10.5281/zenodo.22328080",
  "zenodo_record_url": "https://zenodo.org/records/22328080",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": null,
  "files": {
    "paper.pdf": {
      "sha256": "922bde59af83272763062fc366fa2bb9be9de235c90ae29a120d1681fddbdf2d"
    },
    "source.zip": {
      "sha256": "294cc89255a20a72a4b27cc58af2a88df82f27a8c9a8a23380bbf7cac2399c5b"
    },
    "verification_report.md": {
      "sha256": "7525d6e77a6e39f7a65238e96d69d64f09683efa38c3dcac6270de44070d5c29"
    }
  },
  "ai_use_disclosure": "AI-assisted tools supported literature search, computation, proof auditing, and manuscript preparation. The author remains responsible for all claims and the final text."
}