{ "case_id": "case-1626c7160100050229a7351c", "target_id": "lem:spec0", "original_proof_status": "defective", "statement_status": "unresolved", "statement_argument": "The displayed proof sketch of Lemma lem:spec0 is defective because it defines the shifted test function by right translation, Psi_{q,gamma_1}(g) := Psi_q(g gamma_1), which both inserts the smoothing variable g^{-1} between gamma_1 and gamma in f(gamma_1 g^{-1} gamma h) and subjects the right-regular Sobolev norm of Psi_{q,gamma_1} to conjugation by Ad(gamma_1^{-1}), destroying the claimed uniformity in gamma_1. Although smoothing via a left-translated automorphized bump sum_{gamma in tilde{Gamma}(q)} psi(gamma_1 gamma g) would avoid both conjugation issues, the full lemma statement also relies on uninspected external counting and spectral inputs ([LP82], [BKS10], [KO11]) whose texts are not supplied in the review packet, leaving the statement status unresolved.", "summary": "The proof sketch of Lemma lem:spec0 contains two substantive, closely related errors that invalidate the claimed uniformity in gamma_1. Specifically, the author smooths F_q(g,h) = sum_{gamma in tilde{Gamma}(q)} f(g^{-1} gamma h) around (gamma_1^{-1}, e) using the right-translated bump Psi_{q,gamma_1}(g) := Psi_q(g gamma_1). Changing variables g -> g gamma_1^{-1} produces f(gamma_1 g^{-1} gamma h), where g in supp(psi) is conjugated by gamma_1: gamma_1 g^{-1} gamma h = (gamma_1 g^{-1} gamma_1^{-1})(gamma_1 gamma)h. Because ||gamma_1 g^{-1} gamma_1^{-1} - I|| can grow unboundedly with ||gamma_1|| for a fixed shell width eta, the inner and outer shell comparisons with f(gamma_1 gamma) fail to hold uniformly in gamma_1 (finding-be148e2c35505436dde0). Likewise, in the matrix coefficient , right-invariant Lie derivatives acting on Psi_{q,gamma_1} = pi(gamma_1)Psi_q introduce Ad(gamma_1^{-1}), so the second-order Sobolev norm S(Psi_{q,gamma_1}) is not bounded by O(eta^{-5}) independently of gamma_1 (finding-63f9c28e0b369f4d3b2f). The remaining three findings concern implicit spectral-projection background (finding-6f2f20dcc9484a453169), uninspected external references (finding-780309607bd9c1a5da36), and the valid final parameter optimization (finding-bff5861e48ae6665a78d).", "chronology_note": "The recorded review policy cutoff date is 2012-05-24 (journal received date). All external works cited in the proof of Lemma lem:spec0 and its Section 4 prerequisites—Patterson (1976), Lax-Phillips (1982), Sullivan (1984), Bourgain-Kontorovich-Sarnak (2010), and Kontorovich-Oh (2011)—were published in journals prior to the 2012-05-24 cutoff and are chronologically admissible. However, their full texts are not included in the supplied source packet, so external inputs that are not self-contained in the manuscript remain unverified.", "external_results": [ { "role": "proof_input", "imported_result": "Lattice-point counting in hyperbolic space for geometrically finite Kleinian groups with delta > 1, used in (5.9) to bound the number of group elements in the shell Y(1 - 10*eta) <= ||gamma_1 gamma|| <= Y(1 + 10*eta) by O(Y^delta * eta + Y^{delta - varepsilon}).", "available_from": "1982", "date_evidence": "Bibliography entry [LP82]: P. D. Lax and R. S. Phillips, Journal of Functional Analysis, 46:280--350, 1982.", "date_basis": "published_journal_year", "version": "Journal of Functional Analysis 46 (1982), 280-350", "finding_ids": [ "finding-6f2f20dcc9484a453169", "finding-780309607bd9c1a5da36" ] }, { "role": "proof_input", "imported_result": "Lemma 3.7 (change-of-variables identity expressing the smoothed sum H_q as an integral of matrix coefficients) and Proposition 4.18 (reversing the smoothing argument at level one to recover the main term N_1 / [Gamma : tilde{Gamma}(q)]).", "available_from": "2010", "date_evidence": "Bibliography entry [BKS10]: J. Bourgain, A. Kontorovich, and P. Sarnak, GAFA, 20(5):1175--1200, 2010.", "date_basis": "published_journal_year", "version": "Geom. Funct. Anal. 20(5) (2010), 1175-1200", "finding_ids": [ "finding-6f2f20dcc9484a453169", "finding-780309607bd9c1a5da36" ] }, { "role": "proof_input", "imported_result": "Proposition 5.3 (decay of matrix coefficients || << ||g||^{-2(2-Theta)} S(v) S(w) for unitary representations of SL(2,C) without complementary series of parameter s > Theta, stated as Theorem 4.8 / eq:decayMtrx).", "available_from": "2011", "date_evidence": "Bibliography entry [KO11]: A. Kontorovich and H. Oh, Journal of the American Mathematical Society, 24(3):603--648, 2011.", "date_basis": "published_journal_year", "version": "J. Amer. Math. Soc. 24(3) (2011), 603-648", "finding_ids": [ "finding-63f9c28e0b369f4d3b2f", "finding-780309607bd9c1a5da36" ] }, { "role": "background", "imported_result": "Patterson-Sullivan theory for the simplicity of the base eigenvalue lambda_0 = delta(2-delta) and the lifting of the Patterson-Sullivan base eigenfunction across finite-index subgroups.", "available_from": "1984", "date_evidence": "Bibliography entries [Pat76] (Acta Mathematica, 136:241--273, 1976) and [Sul84] (Acta Math., 153(3-4):259--277, 1984).", "date_basis": "published_journal_year", "version": "Acta Math. 136 (1976), 241-273; Acta Math. 153 (1984), 259-277", "finding_ids": [ "finding-6f2f20dcc9484a453169" ] } ], "decisions": [ { "finding_id": "finding-be148e2c35505436dde0", "outcome": "confirmed_error", "severity": "substantive", "source_quote": "both $f(\\g_{1}g^{-1}\\g h)$ and $f(\\g_{1}\\g)$ are $1$, so their difference vanishes.", "reasoning": "The proof defines F_q(g,h) = sum_{gamma in tilde{Gamma}(q)} f(g^{-1} gamma h) and smooths g against Psi_{q,gamma_1}(g) := Psi_q(g gamma_1). After the right-translation change of variables g -> g gamma_1^{-1}, the smoothed integral H_q has integrand f(gamma_1 g^{-1} gamma h) Psi_q(g) Psi_q(h), where g and h lie in the eta-ball around the identity e in G. Writing k = gamma_1 gamma, the perturbed argument is gamma_1 g^{-1} gamma h = (gamma_1 g^{-1} gamma_1^{-1}) k h. Because g^{-1} is conjugated by gamma_1, the left perturbation gamma_1 g^{-1} gamma_1^{-1} is not in an O(eta)-neighborhood of e uniformly in gamma_1; its distance from e grows with ||Ad(gamma_1)||. In particular, when gamma = gamma_1^{-1} in Gamma, ||gamma_1 gamma|| = ||e|| < Y(1 - 10*eta) for large Y so f(gamma_1 gamma) = 1, whereas ||gamma_1 g^{-1} gamma_1^{-1} h|| can exceed Y when ||gamma_1|| is large relative to Y and 1/eta. The same issue invalidates Range 1 (||gamma_1 gamma|| > Y(1 + 10*eta)) and recurs in the proof of Lemma lem:spec1.", "hypothesis_check": "Checked against the hypotheses of Lemma lem:spec0: gamma_1 in Gamma is arbitrary and the lemma explicitly asserts that the implied constant in O(Y^{Theta_0}) does not depend on q or gamma_1. Meanwhile, eta is chosen at the end of the proof as a negative power of Y independent of gamma_1.", "affected_claims": [ "lem:spec0", "lem:spec3", "lem:spec1", "thm:cMNis", "thm:cMNtoMNU", "eq:cIQ2bnd", "eq:cIQ11bnd", "eq:cIQ12bnd", "thm:IQX", "thm:CircMeth", "thm:RNU", "thm:Main" ], "revised_status": "not_checked", "revised_quote": "", "revised_reasoning": "No later edition was supplied in the review packet." }, { "finding_id": "finding-63f9c28e0b369f4d3b2f", "outcome": "confirmed_error", "severity": "substantive", "source_quote": "The functions $\\psi$ are bump functions in six real dimensions, so can be chosen \nto have second-order Sobolev norms bounded by $\\ll \\eta^{-5}$.", "reasoning": "While an unshifted smooth bump function psi supported in a radius-eta ball in six real dimensions with integral 1 has L^2 norm O(eta^{-3}) and second-order Sobolev norm S(Psi_q) << eta^{-5}, the matrix coefficient decay bound (4.8) is applied to and therefore requires bounding the product S(Psi_q) * S(Psi_{q,gamma_1}) by O(eta^{-10}) uniformly in gamma_1. Because the proof defines Psi_{q,gamma_1}(g) := Psi_q(g gamma_1) = (pi(gamma_1)Psi_q)(g), right-invariant Lie algebra derivatives act via d*pi(X) Psi_{q,gamma_1} = pi(gamma_1) d*pi(Ad(gamma_1^{-1})X) Psi_q. Two derivatives introduce factors of ||Ad(gamma_1^{-1})||^2 (as well as non-K directions in the Lie algebra of G), which grow unboundedly with ||gamma_1||. Hence S(Psi_{q,gamma_1}) is not uniformly O(eta^{-5}) as gamma_1 varies, and the O(Y^{delta - varepsilon} eta^{-10}) error term in (5.10) does not follow with an implied constant independent of gamma_1.", "hypothesis_check": "Checked against Section 4.3 (definition of the Sobolev norm S and Theorem 4.8 / eq:decayMtrx) and the hypotheses of Lemma lem:spec0 requiring uniformity in gamma_1.", "affected_claims": [ "lem:spec0", "lem:spec3", "lem:spec1", "thm:cMNis", "thm:cMNtoMNU", "eq:cIQ2bnd", "eq:cIQ11bnd", "eq:cIQ12bnd", "thm:IQX", "thm:CircMeth", "thm:RNU", "thm:Main" ], "revised_status": "not_checked", "revised_quote": "", "revised_reasoning": "No later edition was supplied in the review packet." }, { "finding_id": "finding-6f2f20dcc9484a453169", "outcome": "packet_context", "severity": "none", "source_quote": "Of course the projection onto the base representation is just $[\\G:\\tilde\\G(q)]^{-1}$ times the same projection at level one", "reasoning": "The manuscript invokes (4.4) (lambda_0(q) = lambda_0 = delta(2-delta)) and [BKS10, Prop. 4.18] to scale the base projection by [Gamma : tilde{Gamma}(q)]^{-1}. As the finding notes, this relies on standard background from Patterson-Sullivan theory (cited in Section 4.1) that the base eigenvalue lambda_0 is simple for geometrically finite groups with delta > 1 and that the base eigenfunction on tilde{Gamma}(q)\\H^3 is the pullback of the Patterson-Sullivan eigenfunction varphi_0 from Gamma\\H^3. Under the L^2(tilde{Gamma}(q)\\G) inner product (which integrates over [Gamma : tilde{Gamma}(q)] copies of a fundamental domain for Gamma\\G), normalizing the lifted basis vectors of V_{lambda_0} divides by [Gamma : tilde{Gamma}(q)]^{1/2} in each factor of the projection, yielding the factor [Gamma : tilde{Gamma}(q)]^{-1}. Furthermore, the spectral gap (4.5) at level Gamma(q) passes to any intermediate subgroup Gamma(q) < tilde{Gamma}(q) < Gamma via the inclusion L^2(tilde{Gamma}(q)\\G) subset L^2(Gamma(q)\\G) without requiring tilde{Gamma}(q) to be normal in Gamma.", "hypothesis_check": "Checked against (4.1)-(4.6) and hypothesis (5.1) that Gamma(q) < tilde{Gamma}(q) < Gamma.", "affected_claims": [ "lem:spec0" ], "revised_status": "not_checked", "revised_quote": "", "revised_reasoning": "No later edition was supplied in the review packet." }, { "finding_id": "finding-780309607bd9c1a5da36", "outcome": "unresolved", "severity": "none", "source_quote": "apply \\cite{LaxPhillips1982}, bounding the count by", "reasoning": "The proof sketch imports the shell bound O(Y^delta * eta + Y^{delta - varepsilon}) from [LP82], the matrix-coefficient integral identity and level-one comparison from [BKS10, Lemma 3.7 and Prop. 4.18], and the matrix-coefficient decay bound from [KO11, Prop. 5.3], while passing silently between G = SO_F(R) and its spin double cover SL(2,C) (the quadratic norm comparison ||g||^2 asymp T <=> ||iota(g)|| asymp T is only mentioned later in (5.24)). Because the full texts of [LP82], [BKS10], and [KO11] are not supplied in the review packet, their exact theorem statements, norm conventions, and hypotheses cannot be verified directly from the packet.", "hypothesis_check": "Checked against the supplied manuscript text and bibliography; the cited external works predate the 2012-05-24 cutoff but their contents are not included in the packet.", "affected_claims": [ "lem:spec0" ], "revised_status": "not_checked", "revised_quote": "", "revised_reasoning": "No later edition was supplied in the review packet." }, { "finding_id": "finding-bff5861e48ae6665a78d", "outcome": "packet_context", "severity": "none", "source_quote": "Optimizing $\\eta$ and renaming $\\gT_{0}<\\gd$", "reasoning": "Conditional on (5.10), balancing the error terms eta * Y^delta and Y^{delta - varepsilon} * eta^{-10} by setting eta = Y^{-varepsilon/11} yields O(Y^{delta - varepsilon/11}), which has exponent Theta_0 = delta - varepsilon/11 < delta depending only on delta and varepsilon. This final algebraic optimization step is elementary and valid conditional on (5.10).", "hypothesis_check": "Checked directly from equation (5.10).", "affected_claims": [ "lem:spec0" ], "revised_status": "not_checked", "revised_quote": "", "revised_reasoning": "No later edition was supplied in the review packet." } ] }