{
  "schema_version": 1,
  "problem_number": "AMR-103-0120",
  "title": "A Conjecture of Guadagnini and Pilo on Quantum Invariants and the Fundamental Group: Counterexamples and a Classification by Gauge Group",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "Guadagnini and Pilo conjectured that for a closed oriented 3-manifold M and a compact gauge group G the absolute value of the quantum invariant τ^G_r(M), when it does not vanish, depends only on the fundamental group of M; this is Conjecture 7.5 of Ohtsuki's problem list. They proved it for lens spaces and G = SU(2). We show that the conjecture is false in general. With τ(S^3) = 1: for SU(4) and r = 12 the lens spaces L(8,1) and L(8,3) have |τ| = 16 + 8√3 and 56 + 32√3; for SU(5) and r = 10 one has |τ(L(5,1))|^2 = 3475 + 1550√5 and |τ(L(5,2))| = 45 + 20√5; for Spin(7) and r = 15 the moduli for L(10,1) and L(10,3) are nonzero with ratio 2 − √3. These values are obtained by exact computation from the Reshetikhin–Turaev surgery formula. On the basis of the lens space formula of Hansen and Takata we then determine the simply connected compact simple groups for which the conjecture holds. We prove a structure result for the lattice Gauss sums in that formula: only a coset of a stabilizer in the Weyl group contributes. From it we deduce that the lens-space statement fails for SU(N) for every N ≥ 4, for Spin(m) with m = 7 and every m ≥ 9, and for E_6, E_7, E_8, and that it holds for Sp(2n) for every n ≥ 1 and for SU(3), G_2, Spin(8) and F_4 (for the last two with a computer-assisted lemma). By geometrization the conjecture for G is equivalent to its lens-space case, so, given that formula, it holds exactly for SU(2), SU(3), Sp(2n), G_2, Spin(8) and F_4. We also record that two closed formulas of Guadagnini and Pilo for SU(2) are inaccurate; their conclusion is not affected. This is an unrefereed note.",
  "result_type": "COMPLETE_COUNTEREXAMPLE",
  "categories": [
    "math.GT",
    "math.QA"
  ],
  "keywords": [
    "quantum invariants of 3-manifolds",
    "Witten–Reshetikhin–Turaev invariants",
    "Reshetikhin–Turaev invariants",
    "lens spaces",
    "fundamental group",
    "lattice Gauss sums",
    "Weyl groups",
    "modular tensor categories",
    "Chern–Simons theory",
    "counterexample",
    "Ohtsuki problem list",
    "UnsolvedMath",
    "AMR-103-0120",
    "math.GT",
    "math.QA",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-04",
  "publication_date": "2026-10-04",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-04",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/amr-103-0120/",
  "pdf_url": "https://eulersolve.org/papers/amr-103-0120/paper.pdf?v=8682eba2da0d",
  "doi": "10.5281/zenodo.23138144",
  "zenodo_record_url": "https://zenodo.org/records/23138144",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Refutes Conjecture 7.5 of Ohtsuki's problem list (Guadagnini and Pilo, 1998) as stated for a general gauge group: for SU(4) at r = 12, SU(5) at r = 10 and Spin(7) at r = 15 there are lens spaces with the same fundamental group whose invariants are nonzero and have different absolute values (exact computation from the surgery formula). The classification by group (the conjecture holds exactly for SU(2), SU(3), Sp(2n), G_2, Spin(8) and F_4 among the simply connected compact simple groups) uses the published lens space formula of Hansen and Takata, which the note does not reprove; for Spin(8) and F_4 it also uses a computer-assisted lemma. The projective versions of the invariants (SO(3), PSU(N)) are not decided. Unrefereed; no priority claim.",
  "files": {
    "paper.pdf": {
      "sha256": "8682eba2da0dfb6f708691615c7554495292dee7b69991f160403bd725785ffb"
    },
    "source.zip": {
      "sha256": "75fadddc08577c75a7d591a6a4e32ed9071a08b3ad0defe34649105a99d18d6d"
    },
    "verification_report.md": {
      "sha256": "0e499b0458b640ab78debfe8f4846173bf9570d5acfba548548be08a08bec8ce"
    }
  },
  "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."
}