{
  "case_id": "case-5ee37d1446f6d003dabf8d4f",
  "target_id": "lem:GGq",
  "original_proof_status": "defective",
  "statement_status": "refuted",
  "statement_argument": "Under the manuscript's definitions, part (2) of Lemma lem:GGq (equation (2.17)) is false as stated. In Section 2.1 the manuscript defines the special orthogonal group of the Descartes form F(x) = 2(x_1^2 + x_2^2 + x_3^2 + x_4^2) - (x_1 + x_2 + x_3 + x_4)^2 as SO_F(R) = {g in SL(4,R) : F(gv) = F(v) for all v}, and in equation (2.14) it defines the principal congruence subgroup Gamma(q) = {gamma in Gamma : gamma = I (mod q)}. Thus reduction modulo q embeds Gamma/Gamma(q) as a subgroup of the finite group SO_F(Z/qZ) = {g in SL(4,Z/qZ) : F(gv) = F(v) (mod q)}. Take q = 7, which satisfies (q,6) = 1. Write F(x) = x^T A x and B(x,y) = x^T A y with A = 2I - J. In the Clifford algebra Cl(F_7^4, B) defined by xy + yx = 2B(x,y), the standard basis vectors e_1, e_2, e_3, e_4 satisfy e_i^2 = B(e_i,e_i) = 1, and each generating reflection S_i of the Apollonian group acts on v in F_7^4 by S_i(v) = v - 2B(v,e_i)e_i = -e_i v e_i. Since Gamma consists of even words in S_1, S_2, S_3, S_4, every element of Gamma/Gamma(7) acts on F_7^4 by v |-> g v tilde(g) for some even Clifford element g in Cl^0(F_7^4, B) satisfying g tilde(g) = 1, where tilde(.) is the reversal anti-involution (so every element of Gamma/Gamma(7) has spinor norm 1 mod (F_7^x)^2). Now consider the B-orthogonal basis of F_7^4 given by u_1 = e_1, u_2 = e_2 - e_3, u_3 = e_2 + e_3 - 2e_4, and u_4 = 3e_1 + e_2 + e_3 + e_4, whose squared norms B(u_i,u_i) modulo 7 are 1, 4, 5, and 2, respectively. The matrix -I belongs to SO_F(Z/7Z) because (-I)^T A (-I) = A and det(-I) = 1. However, if v |-> g v tilde(g) equalled -I on F_7^4, then g tilde(g) = 1 would imply g u_i = -u_i g for each i = 1, 2, 3, 4. Expanding g in the basis of Cl^0(F_7^4, B) formed by even products of {u_1, u_2, u_3, u_4}, an even monomial anticommutes with u_i if and only if it contains u_i, forcing g = c u_1 u_2 u_3 u_4 for some c in F_7. Then g tilde(g) = c^2 u_1^2 u_2^2 u_3^2 u_4^2 = 1 * 4 * 5 * 2 c^2 = 5c^2 (mod 7). Since 5^-1 = 3 is a quadratic nonresidue modulo 7, 5c^2 = 1 (mod 7) has no solution in F_7. Hence -I is not in the congruence image of Gamma modulo 7. Because the canonical reduction map Gamma/Gamma(7) -> SO_F(Z/7Z) is injective and misses -I, its image is a proper subgroup of the finite group SO_F(Z/7Z) (specifically, the index-2 spinor kernel, isomorphic to PSL(2, F_49)), so Gamma/Gamma(7) cannot be isomorphic to SO_F(Z/7Z).",
  "summary": "Lemma lem:GGq is stated without proof in the manuscript by citing Fuchs's thesis [Fuc10]. Inspection of the full reviewed source resolves the context question about the definition of Gamma(q) and SO_F: equation (2.14) explicitly defines Gamma(q) = {gamma in Gamma : gamma = I (mod q)}, and Section 2.1 defines SO_F as the full determinant-1 orthogonal group of F without a spinor-kernel restriction. Under these manuscript definitions, part (2) of Lemma lem:GGq (asserting Gamma/Gamma(q) is isomorphic to SO_F(Z/qZ) for (q,6)=1) is refuted by an elementary self-contained spinor-norm countercheck at q=7: -I belongs to SO_F(Z/7Z) but has spinor norm 5 (a non-square mod 7), whereas every element of Gamma is an even word in reflections across vectors of norm 1 and thus has spinor norm 1. Consequently the injective mod-7 reduction of Gamma/Gamma(7) is a proper (index-2) subgroup of SO_F(Z/7Z). The remaining assertions of Lemma lem:GGq (multiplicativity in part (1) and 2-adic/3-adic stabilization in part (3)) and the local-obstruction characterization in Remark rmk:locA rely on the uninspected thesis [Fuc10] and omitted orbit-lifting arguments, leaving those two findings unresolved.",
  "chronology_note": "The recorded review cutoff is the journal received date 2012-05-24. The refutation of part (2) of Lemma lem:GGq uses only elementary linear/Clifford algebra over F_7 and requires no external results. Lemma lem:GGq and Remark rmk:locA cite E. Fuchs's PhD thesis [Fuc10] (bibliographic year 2010, before the cutoff), but the thesis text, exact theorem statements, and dated deposit evidence are not supplied in the review packet, so claims depending on [Fuc10] remain unresolved under the historical evidence policy.",
  "external_results": [
    {
      "role": "proof_input",
      "imported_result": "E. Fuchs, Arithmetic properties of Apollonian circle packings, Princeton University Thesis, 2010 (cited for the determination of the congruence quotients Gamma/Gamma(q) in Lemma lem:GGq and the characterization of admissible residue classes modulo 24 in Remark rmk:locA).",
      "available_from": "unresolved",
      "date_evidence": "The bibliography entry [Fuc10] lists 2010 ('Princeton University Thesis'), which precedes the 2012-05-24 cutoff, but the thesis text, exact theorem locations, and dated deposit documentation are not present in the supplied material.",
      "date_basis": "bibliographic_year_only_uninspected",
      "version": "Uninspected 2010 Princeton University PhD thesis",
      "finding_ids": [
        "finding-f0ff005c076de5c21997",
        "finding-a984fa6be1b8d3db3601"
      ]
    }
  ],
  "decisions": [
    {
      "finding_id": "finding-31bdc90e0466ef298357",
      "outcome": "confirmed_error",
      "severity": "substantive",
      "source_quote": "\\G/\\G(q)\\cong\\SO_{F}(\\Z/q\\Z).",
      "reasoning": "The elementary countercheck at q = 7 is valid. By Section 2.1, F(x) = x^T A x with A = 2I - J and S_1, S_2, S_3, S_4 are reflections across the standard basis vectors e_1, e_2, e_3, e_4, each satisfying B(e_i,e_i) = e_i^T A e_i = 1. Every element of Gamma is an even word in the S_i, so in the Clifford algebra Cl(F_7^4, B) it acts by conjugation v |-> g v tilde(g) with g in Cl^0(F_7^4, B) satisfying g tilde(g) = 1. For the B-orthogonal basis u_1 = e_1, u_2 = e_2 - e_3, u_3 = e_2 + e_3 - 2e_4, u_4 = 3e_1 + e_2 + e_3 + e_4 over F_7, the squared norms B(u_i,u_i) are 1, 4, 5, 2 (mod 7). Any even Clifford element g anticommuting with all u_i must be of the form g = c u_1 u_2 u_3 u_4, which has norm g tilde(g) = 40 c^2 = 5c^2 (mod 7). Since 5 is a quadratic nonresidue mod 7, 5c^2 = 1 (mod 7) has no solution, so -I is not in the mod-7 congruence image of Gamma. However, -I preserves F and has determinant (-1)^4 = 1, so -I belongs to SO_F(Z/7Z). Because Gamma/Gamma(7) injects into the finite group SO_F(Z/7Z) as a proper subgroup (the index-2 spinor kernel), the isomorphism asserted in (2.17) fails.",
      "hypothesis_check": "All hypotheses of part (2) of Lemma lem:GGq are satisfied: q = 7 >= 1 satisfies (q,6) = (7,6) = 1, Gamma = A cap SO_F is the even Apollonian subgroup defined in Section 2.1, and Gamma(q) = {gamma in Gamma : gamma = I (mod q)} is defined in (2.14).",
      "affected_claims": [
        "lem:GGq"
      ],
      "revised_status": "not_checked",
      "revised_quote": "",
      "revised_reasoning": "No later edition was supplied for inspection."
    },
    {
      "finding_id": "finding-e4dc6f48ec1e0033418d",
      "outcome": "packet_context",
      "severity": "none",
      "source_quote": "For each $q\\ge1$, define the ``principal'' $q$-congruence subgroup\n\\be\\label{eq:GqDef}\n\\G(q)\n:=\n\\{\n\\g\\in\\G:\n\\g\\equiv I(\\mod q)\n\\}\n.\n\\ee",
      "reasoning": "The definition of Gamma(q) was omitted from the reviewer's packet excerpt, but in the full reviewed source it is explicitly given right above Lemma lem:GGq in equation (2.14) as Gamma(q) := {gamma in Gamma : gamma = I (mod q)}. Likewise, SO_F is explicitly defined in Section 2.1 via G := SO_F(R) = {g in SL(4,R) : F(gv) = F(v) for all v in R^4}, with no spin-image restriction documented anywhere in the manuscript. Thus the full source supplies the missing context and confirms the definitions used in finding-31bdc90e0466ef298357.",
      "hypothesis_check": "Checked against Section 2.1 and Section 2.3 (equation (2.14)) of the full reviewed source.",
      "affected_claims": [
        "lem:GGq"
      ],
      "revised_status": "not_checked",
      "revised_quote": "",
      "revised_reasoning": "No later edition was supplied for inspection."
    },
    {
      "finding_id": "finding-f0ff005c076de5c21997",
      "outcome": "unresolved",
      "severity": "substantive",
      "source_quote": "\\begin{lem}[\\cite{FuchsThesis}]\\label{lem:GGq}",
      "reasoning": "Lemma lem:GGq is stated in the manuscript without proof by citing [Fuc10] (E. Fuchs, 2010 Princeton University Thesis). Although Varju's Appendix in the full source proves related generation statements for the spin preimage bar(Gamma) in SL(2, Z[i]/(q)) (including stabilisation at 2^7 and 3^1), it does not establish stabilisation at 8 in SO_F(Z/2^ell Z) or the exact image of Gamma/Gamma(q) in SO_F(Z/qZ). Because the text of [Fuc10], the exact theorem numbers, and dated availability evidence are not in the review packet—and part (2) as written in the manuscript is false for the full group SO_F(Z/qZ)—the cited proof input cannot be verified from the supplied material.",
      "hypothesis_check": "Checked against Section 2.3, the Appendix, and the bibliography of the full reviewed source; no proof of Lemma lem:GGq or text of [Fuc10] is included.",
      "affected_claims": [
        "lem:GGq"
      ],
      "revised_status": "not_checked",
      "revised_quote": "",
      "revised_reasoning": "No later edition was supplied for inspection."
    },
    {
      "finding_id": "finding-a984fa6be1b8d3db3601",
      "outcome": "unresolved",
      "severity": "substantive",
      "source_quote": "The admissible numbers are precisely those\n residue classes $(\\mod 24)$ which appear  as some entry in the orbit of $v_{0}$ under $\\G/\\G(24)$.",
      "reasoning": "Remark rmk:locA states that Lemma lem:GGq explains all local obstructions and characterizes admissible integers as those residue classes mod 24 appearing as an entry in the orbit of v_0 under Gamma/Gamma(24). While passing from the full Apollonian group A to the index-2 subgroup Gamma on individual coordinates is elementary (for any quadruple w in A v_0 and any chosen entry, the reflection S_j fixing that entry maps w into the opposite coset of Gamma while preserving the entry), the deduction of Remark rmk:locA from Lemma lem:GGq also requires showing that for (q,6)=1 the orbit of the primitive isotropic vector v_0 under Gamma/Gamma(q) projects onto all of Z/qZ in some coordinate, and that for prime powers 2^ell (ell >= 3) and 3^ell (ell >= 1) the congruence kernels act transitively on the coordinate fibers of the primitive isotropic cone. These orbit-transitivity and Hensel-lifting steps are not proved in the manuscript (they are part of the uninspected reference [Fuc10]), so the justification remains unverified in the supplied packet.",
      "hypothesis_check": "Checked against Section 1.1, Section 2.2 (equation (2.4)), and Section 2.3 (Lemma lem:GGq and Remark rmk:locA) of the full reviewed source; v_0 is the primitive isotropic root quadruple of the fixed primitive integral gasket.",
      "affected_claims": [
        "lem:GGq"
      ],
      "revised_status": "not_checked",
      "revised_quote": "",
      "revised_reasoning": "No later edition was supplied for inspection."
    }
  ]
}