{
  "schema_version": 1,
  "problem_number": "OWR-13494-011",
  "title": "Line Configurations in P^3 Whose Symbolic Square Has Initial Degree α(I)+1 Are Coplanar or Pseudostars: A Negative Answer to a Question of Janssen",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "For a finite union L of lines in P^3 with homogeneous ideal I, let α(I) be the least degree of a non-zero form in I, and let I^(2) be the second symbolic power of I, the ideal of the forms that vanish to order at least two along every line of L; one always has α(I^(2)) ≥ α(I) + 1. Janssen proved (J. Pure Appl. Algebra 219 (2015)) that an arithmetically Cohen–Macaulay configuration with α(I^(2)) = α(I) + 1 is contained in a plane or is a pseudostar, that is, the set of all pairwise intersections of m ≥ 3 planes no three of which contain a common line. He asked, there and in Oberwolfach Report 9/2015, whether a configuration of lines that is not arithmetically Cohen–Macaulay can satisfy this equality. We show that it cannot. Over an algebraically closed field of arbitrary characteristic, the equality α(I^(2)) = α(I) + 1 holds if and only if L is contained in a plane or is a pseudostar; both kinds of configurations are arithmetically Cohen–Macaulay, so the hypothesis in Janssen's theorem is not needed. The same holds for reduced curves of pure dimension one: the equality holds exactly for plane curves and for pseudostars of lines. In the proof we factor a form of degree α(I) + 1 that is singular along L; the case of an irreducible form is excluded by the following statement, which we prove for arbitrary singularities and in every characteristic: the curves along which an irreducible surface of degree d is singular lie on a surface of degree d − 2. This statement is classical in spirit (adjoint surfaces). For α(I) ≤ 2 the classification already follows from a theorem of Haghighi and Mosakhani (2021), which is known to us only through its abstract and its zbMATH review. Computations, among them an exhaustive check of all 2^35 − 1 sets of lines of the projective space over the field with two elements, agree with the theorem; they are corroboration only and are not used in the proofs. This is an unrefereed note.",
  "result_type": "COMPLETE_NEGATIVE_ANSWER",
  "categories": [
    "math.AG",
    "math.AC"
  ],
  "keywords": [
    "configurations of lines",
    "symbolic powers",
    "initial degree",
    "fattening",
    "arithmetically Cohen–Macaulay",
    "pseudostar",
    "star configurations",
    "adjoint surfaces",
    "conductor",
    "Picard scheme",
    "negative answer",
    "Oberwolfach Reports problems",
    "UnsolvedMath",
    "OWR-13494-011",
    "math.AG",
    "math.AC",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-10",
  "publication_date": "2026-10-10",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-10",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/owr-13494-011/",
  "pdf_url": "https://eulersolve.org/papers/owr-13494-011/paper.pdf?v=1ea2dcb0021c",
  "doi": "10.5281/zenodo.23284413",
  "zenodo_record_url": "https://zenodo.org/records/23284413",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Answer to the question of M. Janssen (Oberwolfach Reports 12 (2015), Report 9/2015; J. Pure Appl. Algebra 219 (2015), Question 3.1): there is no configuration of lines in P^3 with α(I^(2)) − α(I) = 1 that is not arithmetically Cohen–Macaulay; the configurations with this property are exactly the coplanar ones and the pseudostars, over an algebraically closed field of every characteristic. The case α(I) ≤ 2 already follows from a theorem of Haghighi and Mosakhani (2021), which is known to the author only through its abstract and its zbMATH review. The main tool is classical in spirit. The computations of the package are corroboration only and are not used in the proofs.",
  "files": {
    "paper.pdf": {
      "sha256": "1ea2dcb0021c1dcf3d896c158339c10bd87ee494ccd99564db341eefcc656254"
    },
    "source.zip": {
      "sha256": "ce362b54a28a381a9eaaac2f0161c248a16025382a614979f9f8fff3feb58942"
    },
    "verification_report.md": {
      "sha256": "327f640ab782e6ea3de2420447d21b4a4670ee7721da345f0c451a35ce8c72f3"
    }
  },
  "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."
}