{
  "schema_version": 1,
  "problem_number": "OWR-4990374-015",
  "title": "Free Hyperplane Arrangements with Exponents 1, 2 and at Most One 3 Are Supersolvable: A Proof of a Conjecture of Tohăneanu",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "Ş. O. Tohăneanu conjectured (Oberwolfach Report 5/2021, p. 284; Conjecture 4.1 of the preprint arXiv:1707.07091v3) that every central free hyperplane arrangement over a field of characteristic zero whose exponents are 1's, 2's and at most one 3 is supersolvable. We prove this conjecture in every rank. The preprint was withdrawn by its author on 16 January 2022; no result of it is used here, but the strategy of our proof is that of the preprint and of the Oberwolfach abstract. Two cases follow from a theorem of DiPasquale (Math. Ann. 385 (2023)) and are proved again: exponents 1 and 2 only, and one exponent 3 together with a codimension-two flat in four hyperplanes; rank three was also known. New, to our knowledge and relative to the literature we found, is the case without such a flat in rank at least 4, and therefore the conjecture in general. With two exponents 3 the statement is false: the non-Fano arrangement (exponents (1,3,3)) and nine hyperplanes of rank four (exponents (1,2,3,3)) are free and not supersolvable. No computation enters the proof; the computations reported are tests. The book of Orlik and Terao was not accessible to us and was not read. No proof and no counterexample of the conjecture was found in the literature accessible to us; a search that finds nothing is not a proof of novelty. This is an unrefereed note.",
  "result_type": "COMPLETE_PROOF",
  "categories": [
    "math.CO",
    "math.AC",
    "math.AG"
  ],
  "keywords": [
    "hyperplane arrangements",
    "free arrangements",
    "logarithmic derivations",
    "exponents",
    "supersolvable arrangements",
    "modular elements",
    "formal arrangements",
    "relation space",
    "Tohăneanu conjecture",
    "Oberwolfach Reports problems",
    "UnsolvedMath",
    "OWR-4990374-015",
    "math.CO",
    "math.AC",
    "math.AG",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-12",
  "publication_date": "2026-10-12",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-12",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/owr-4990374-015/",
  "pdf_url": "https://eulersolve.org/papers/owr-4990374-015/paper.pdf?v=db3dc0b663ac",
  "doi": "10.5281/zenodo.23307000",
  "zenodo_record_url": "https://zenodo.org/records/23307000",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Proves the conjecture of Ş. O. Tohăneanu (Oberwolfach Report 5/2021, p. 284; Conjecture 4.1 of the preprint arXiv:1707.07091, which its author withdrew on 16 January 2022). No result of the preprint is used; the strategy of the proof is that of the preprint and of the Oberwolfach abstract. The cases of exponents 1 and 2 only and of a codimension-two flat in four hyperplanes follow from a theorem of M. DiPasquale (Math. Ann. 385 (2023)) and are proved again; new, relative to the literature found, is the case without such a flat in rank at least 4. The proof uses no computation; the computations are tests. The book of Orlik and Terao was not accessible to us and was not read. Novelty is not certified.",
  "files": {
    "paper.pdf": {
      "sha256": "db3dc0b663ac99ff658fc52cb64ad879bdbb3cd7ed7e7b371b5f31bc22dd0362"
    },
    "source.zip": {
      "sha256": "2de12cc5d45fbf4d7f37b5da4ae28d2aafc4f11267ff1fbc05c61c79c25e9ea0"
    },
    "verification_report.md": {
      "sha256": "2d1f50fe4bba27f8f2e1a6e6928690c207cf826eeca454ec7490912d17d6dc7e"
    }
  },
  "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."
}