{
  "schema_version": 1,
  "problem_number": "OWR-14213-008",
  "title": "Karpenko's Conjecture on the Special Schubert Class in the Gamma Filtration Fails for n = 8, 9 and 11: A Short Consequence of Printed Results",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "Let φ be a non-degenerate quadratic form of dimension 2n+1 over a field F whose even Clifford algebra C_0(φ) is a division algebra, let X be its maximal orthogonal Grassmannian and S the Severi–Brauer variety of C_0(φ). N. Karpenko conjectured (Math. Z. 285 (2017), Conjecture 4.7, also Conjecture 3 of his abstract in Oberwolfach Report 5/2016) that for n ≥ 8 the class e_n ∈ K(X_{F(S)}) of the special Schubert variety of lowest dimension does not lie in the term number n+1−[(n+1)/2] of the gamma filtration. We observe that the conjecture is false: over every field of characteristic 0, for n = 8, 9 and 11 and for every such φ, the class e_n lies in this term (term 5 for n = 8, 9, term 6 for n = 11), and such forms exist. This is a short consequence of printed results, not found stated in print. The proof is Karpenko's own printed argument that Conjecture 4.7 implies his Conjecture 3.3 on indexes of orthogonal Grassmannians, written out in a general form with two implicit steps filled in, combined with Totaro's computation of the torsion indexes of Spin(20) and Spin(24) (for n = 9, 11) and with Karpenko's theorem on Spin(18)-torsors (for n = 8). A computer-assisted supplement, kept separate from the proof, finds by an exact computation in the Grothendieck ring of the split Grassmannian that e_8 lies in the seventh but not in the eighth gamma term, and e_9 in the eighth but not in the ninth. The cases n = 10 and n = 12 are not decided here, nor is any n ≥ 13. No printed answer to the question was found in the sources searched; a search that finds nothing is not a proof of novelty. This is an unrefereed note.",
  "result_type": "COMPLETE_COUNTEREXAMPLE",
  "categories": [
    "math.AG",
    "math.KT",
    "math.RA"
  ],
  "keywords": [
    "Karpenko's conjecture",
    "maximal orthogonal Grassmannian",
    "Grothendieck ring",
    "gamma filtration",
    "topological filtration",
    "special Schubert class",
    "quadratic forms in I^3",
    "spin groups",
    "torsion index",
    "counterexample",
    "Oberwolfach Report 5/2016",
    "UnsolvedMath",
    "OWR-14213-008",
    "math.AG",
    "math.KT",
    "math.RA",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-20",
  "publication_date": "2026-10-20",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-20",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/owr-14213-008/",
  "pdf_url": "https://eulersolve.org/papers/owr-14213-008/paper.pdf?v=1a9ab2c8213c",
  "doi": "10.5281/zenodo.23496536",
  "zenodo_record_url": "https://zenodo.org/records/23496536",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "A short consequence of printed results (Karpenko 2017, Totaro 2005, Karpenko 2025) in characteristic 0; n = 10, 12 and n of at least 13 are not decided.",
  "files": {
    "paper.pdf": {
      "sha256": "1a9ab2c8213c8ab9b117364b4e0de8a476ce3efabe75b4d3f842170551af9e9f"
    },
    "source.zip": {
      "sha256": "8b9d5cdfb8467aa50f58c39edeccbb61ee5dae77899e9532762b4b124515fb71"
    },
    "verification_report.md": {
      "sha256": "ba1cffe8a96cd8e400bd33047a6d03df26544640037caae33857f518030c8f7b"
    }
  },
  "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."
}