{
  "schema_version": 1,
  "problem_number": "AIM-TOPOLOGY-0275",
  "title": "The Quaternionic Toledo Spectrum for Split F4 over Products of Surfaces",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "Let F be the connected linear split real group of type F4, and let Q_rho be its canonical oriented three-plane bundle, obtained from a maximal compact reduction of a flat F-bundle. We determine the range of the characteristic number <p_1(Q_rho), [Sigma_g x Sigma_h]> over all representations of a product of two closed oriented surface groups. For g,h >= 2, put G=g-1, H=h-1 and P(R,S)={ab : a,b are integers, |a| <= R, |b| <= S}. The range is 2P(2G,2H) union 2P(3G,H) union 2P(G,3H), with sharp absolute bound 8GH. The number is zero if either genus is at most one. The argument retains nonreductive images, disconnected image closures and central lifting obstructions. Its main steps are a full Levi reduction, control of the ordered real normalizers of commuting semisimple factors, and descent of integral degree-two classes to the original surfaces. Genuine symplectic two-plane representations realize every value.\n\nThe theorem addresses the split F4 target and products of two surfaces, a family suggested in the 2007 AIM workshop's quaternionic Toledo program (Question 4.2 and Comments 4.3-4.4, recorded as AIM-TOPOLOGY-0275 in UnsolvedMath v1.6.0). It does not resolve that general program for arbitrary four-manifolds and targets. Classical structure results, characteristic-class relations and surface inequalities retain attribution. No identical spectrum was found in a bounded primary-literature review through 8 October 2026; no absolute priority claim is made.\n\nThis is an AI-assisted, self-audited and unrefereed preprint, without independent review or formal proof-assistant verification. The author is responsible for its claims. Eight portable exact-arithmetic checkers and their matching normal and optimized Python outputs accompany the source. These test stated finite algebraic domains, not the general theorem.",
  "result_type": "COMPLETE_PROOF",
  "categories": [
    "math.DG",
    "math.GT",
    "math.GR"
  ],
  "keywords": [
    "quaternionic Toledo invariant",
    "split F4",
    "surface group representations",
    "Pontryagin classes",
    "real reductive groups",
    "integral descent",
    "exceptional dual pairs",
    "AIM-TOPOLOGY-0275"
  ],
  "manuscript_version_date": "2026-10-08",
  "publication_date": "2026-10-08",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-08",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/aim-topology-0275/",
  "pdf_url": "https://eulersolve.org/papers/aim-topology-0275/paper.pdf?v=8ec2d80d7494",
  "doi": "10.5281/zenodo.23242863",
  "zenodo_record_url": "https://zenodo.org/records/23242863",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Exact integral quaternionic Toledo spectrum for every representation of two closed oriented surface groups into connected linear split F4(4): 2P(2G,2H) union 2P(3G,H) union 2P(G,3H), G=g-1,H=h-1 positive, sharp 8GH, with low-genus zero. Arbitrary four-manifolds and other quaternionic targets are not resolved. Classical structure results and surface inequalities retain attribution. AI-assisted, self-audited and unrefereed; no independent review, formal verification or absolute priority is claimed.",
  "files": {
    "paper.pdf": {
      "sha256": "8ec2d80d7494c73189234d20c1520c1b38bab923ec1eb47c22deb418cbc1c371"
    },
    "source.zip": {
      "sha256": "a458fc957164bb6ed37ea5813376f504d950e5188adfecdca40eefbcd52a4181"
    },
    "verification_report.md": {
      "sha256": "c02c28ec3b9026d36ff2b7f62af60e57f5db08e729738abf4be06cc1c733e650"
    }
  },
  "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."
}