{
  "schema_version": 1,
  "problem_number": "OWR-13494-009",
  "title": "Containment of the Symbolic Cube in the Square for the Roulleau–Urzúa Configurations of Cubics",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "In an Oberwolfach report of 2015 Harbourne considered the configurations C_n of 4(n² − 3)/3 plane cubics due to Roulleau and Urzúa, defined when 3 divides n, and asked whether I^(3) ⊄ I² for the ideal I of the singular points of C_n. He reported that for C_3 the containment I^(3) ⊆ I² holds, with I the ideal of the 12 proper singular points taken with multiplicity 2 and of the 24 infinitely near triple points taken with multiplicity 1. For n = 3m we take I to be the ideal of the cluster of all singular points of C_n, proper and infinitely near, with weight 3m² − 1 at each of the 12 points of multiplicity n² − 3 and weight 1 at each infinitely near triple point and at each quadruple point; for m = 1 this is Harbourne's ideal, and for m ≥ 2 it is our extension of his description. We prove that I^(3) ⊆ I² for every m ≥ 1, so that the answer to the question is negative for every n divisible by 3. From the description of C_n as the union of the Halphen cubics of order m, due to Bauer, Harbourne, Roé and Szemberg, Bézout's theorem gives α(I^(3)) = 36m² − 12, and for m ≥ 2 the Kawamata–Viehweg vanishing theorem on the blow-up of the cluster gives reg(I) ≤ 18m² − 8; for m = 1 an exact computation, made with a computer, gives reg(I) = 12, the value reported by Harbourne. The containment then follows from a criterion of Bocci and Harbourne. The question, the case n = 3 and its numbers are Harbourne's; for m ≥ 2 we found no answer in the literature accessible to us. The second part of the question, on interesting analogous configurations of conics, is not addressed. This is an unrefereed note.",
  "result_type": "COMPLETE_SCOPED_PROOF",
  "categories": [
    "math.AG",
    "math.AC"
  ],
  "keywords": [
    "containment problem",
    "symbolic powers",
    "symbolic cube",
    "ideals of points",
    "infinitely near points",
    "cluster ideals",
    "Castelnuovo–Mumford regularity",
    "Roulleau–Urzúa configurations",
    "Halphen cubics",
    "dual Hesse arrangement",
    "Bocci–Harbourne criterion",
    "Kawamata–Viehweg vanishing",
    "Oberwolfach Reports problems",
    "UnsolvedMath",
    "OWR-13494-009",
    "math.AG",
    "math.AC",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-14",
  "publication_date": "2026-10-14",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-14",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/owr-13494-009/",
  "pdf_url": "https://eulersolve.org/papers/owr-13494-009/paper.pdf?v=23186cf96c43",
  "doi": "10.5281/zenodo.23365899",
  "zenodo_record_url": "https://zenodo.org/records/23365899",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Answers the containment clause of B. Harbourne's question (Oberwolfach Report 9/2015, p. 512) for the Roulleau-Urzua configurations C_n of cubics, n = 3m: with I the ideal of the cluster of all singular points (proper and infinitely near; weight 3m^2-1 at the 12 vertices, weight 1 elsewhere; for m = 1 the source's ideal, for m >= 2 our extension), I^(3) is contained in I^2 for every m. The geometry of C_n is cited from Bauer, Harbourne, Roe and Szemberg; the case m = 1 is the source's own. Szemberg's clause on conics is not addressed. Novelty is not certified.",
  "files": {
    "paper.pdf": {
      "sha256": "23186cf96c437817bde0dff2a00738dddb88ce470e3d99bd98d5ee4e150f14bf"
    },
    "source.zip": {
      "sha256": "c492baee365a0b056a9fcb5c1b9d47344410a4cbe97556194a1230f8e1db4eb0"
    },
    "verification_report.md": {
      "sha256": "bcfe3905bfff688106dc224b7ed4421bddb9d210088ca34773dccc3a98511abb"
    }
  },
  "ai_use_disclosure": "AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text."
}