{
  "paper_info": {
    "title": "Arithmeticity, Superrigidity, and Totally Geodesic Submanifolds",
    "total_elements": 14,
    "elements_with_proofs": 13,
    "counting_convention": "Counts theorem, proposition, lemma, and corollary statements. The count of proofs includes the arithmeticity deductions in Section 3.2 and the introductory derivations of the two corollaries. Theorem 4.3 is explicitly imported rather than proved. There are also five remarks, three questions, and one example, giving 23 numbered mathematical environments altogether."
  },
  "historical_review": {
    "cutoff_date": "2019-06-20",
    "basis": "journal_received",
    "cutoff_evidence": "Annals DOI 10.4007/annals.2021.193.3.4 publisher page Milestones: Received 20 June 2019; Revised 24 April 2020; Accepted 23 March 2021. Cached publisher.html.",
    "reference_inspection": "No external reference text or version history was available for inspection. Publication years below are taken from the supplied bibliography, not independently verified.",
    "chronology_status": "The bibliography identifies pre-cutoff publication years for the classical inputs. For the arXiv inputs, the exact pre-cutoff versions containing the invoked results and theorem numbering remain unresolved.",
    "requested_records": [
      "A dated pre-20 June 2019 version of arXiv:1810.01608 containing the results invoked as Theorems 4.3 and 4.6 and Proposition 5.1.",
      "A dated pre-20 June 2019 version of arXiv:1802.04619 containing Lemma 5.13.",
      "Dated pre-20 June 2019 versions of arXiv:1802.04423 and arXiv:1902.06621 containing, respectively, Theorem 10.1 and Theorem 1.9(3)."
    ],
    "knowledge_limit_disclosure": "Model weights may contain later mathematical knowledge. No later theorem or later proof of this paper's results has been used to discharge an original proof obligation; imported results are identified through the supplied source and their historical availability is qualified accordingly.",
    "retrospective_note": "No retrospective mathematical result is used in this assessment."
  },
  "verification_results": [
    {
      "label": "Theorem 1.1",
      "element_type": "theorem",
      "element_id": "theorem_1_1",
      "source_label": "thm:main",
      "argument_gist": "Convert infinitely many maximal totally geodesic subspaces into properly supported homogeneous measures converging to Haar measure, then apply the homogeneous arithmeticity theorem.",
      "dependencies": [
        {
          "source_label": "prop:homogen",
          "evidence": "We show in Proposition \\ref{prop:homogen} that Theorem \\ref{thm:main:homogeneous} implies Theorem \\ref{thm:main}."
        },
        {
          "source_label": "thm:main:homogeneous",
          "evidence": "In particular, this section reduces Theorem \\ref{thm:main} to Theorem \\ref{thm:main:homogeneous} and Theorem \\ref{thm:main:homogeneous} to Theorem \\ref{theorem:superrigiditydichotomy}."
        }
      ],
      "external_inputs": [],
      "external_references": [],
      "verdict": "major_issues",
      "issues": [
        "The needed implication (1) to (2) in Proposition 3.1 is not affected by the missing proper-support hypothesis in that proposition's item (3), but the proposition is nevertheless misstated.",
        "The arithmeticity deduction inherits unresolved steps in Proposition 3.4, Lemma 3.5, and the treatment of non-absolutely-simple targets in Section 3.2.",
        "The original argument also requires confirmation of the pre-cutoff versions of the Bader\u2013Furman and FLMS results."
      ],
      "reasoning": "The reduction is logically appropriate and has no apparent circularity. This assessment identifies defects and unverified obligations in the supplied proof, not a counterexample to the arithmeticity theorem."
    },
    {
      "label": "Corollary 1.2",
      "element_type": "corollary",
      "element_id": "corollary_1_2",
      "source_label": "cor:knots",
      "argument_gist": "Apply Theorem 1.1 to a knot complement with infinitely many totally geodesic surfaces and then use Reid's classification of arithmetic knot complements. The converse requires the figure-eight complement to have infinitely many such surfaces.",
      "dependencies": [
        {
          "source_label": "thm:main",
          "evidence": "First, combining Theorem \\ref{thm:main} with a theorem of Reid \\cite{ReidKnot} we obtain the following."
        }
      ],
      "external_inputs": [
        {
          "bibliography_key": "ReidKnot",
          "role": "proof_input",
          "imported_result": "The classification asserting that the figure-eight knot complement is the only arithmetic hyperbolic knot complement.",
          "required_hypotheses": [
            "The manifold is the complement of a knot in S^3.",
            "It has a complete finite-volume hyperbolic structure.",
            "Its lattice is arithmetic."
          ],
          "locator": "Theorem not specified",
          "audit_status": "not_inspected",
          "available_from": "1991",
          "date_evidence": "\\newblock {\\em J. London Math. Soc. (2)}, 43(1):171--184, 1991.",
          "date_basis": "Publication year in the supplied bibliography",
          "version": "1991 journal article cited; theorem text not inspected",
          "evidence": "First, combining Theorem \\ref{thm:main} with a theorem of Reid \\cite{ReidKnot} we obtain the following."
        }
      ],
      "external_references": [],
      "verdict": "minor_issues",
      "issues": [
        "The converse is not supplied explicitly. Arithmeticity alone does not imply the existence of a totally geodesic surface: the paper itself notes arithmetic three-manifolds without such surfaces. One must additionally establish that the figure-eight complement has a finite-area totally geodesic surface, then invoke the arithmetic geodesic submanifold dichotomy.",
        "The forward implication remains conditional on Theorem 1.1 and the cited classification."
      ],
      "reasoning": "In dimension three every proper totally geodesic surface is maximal, so the forward reduction has the correct dimension hypothesis. The omitted converse is a short, standard additional argument, but it is not supplied by the quoted classification alone."
    },
    {
      "label": "Corollary 1.3",
      "element_type": "corollary",
      "element_id": "corollary_1_3",
      "source_label": "cor:kleinian",
      "argument_gist": "Use orbit-closure or finiteness results to force finite volume in parts (1) and (2), then apply Theorem 1.1. For part (3), combine Theorem 1.1 with the quadratic-form classification of even-dimensional arithmetic hyperbolic manifolds and the arithmetic geodesic dichotomy.",
      "dependencies": [
        {
          "source_label": "thm:main",
          "evidence": "Combining Theorem \\ref{thm:main} with results of Benoist--Oh \\cite[Thm. 10.1]{BO}, Lee--Oh \\cite[Thm. 1.9(3)]{LO}, and the classification of arithmetic hyperbolic $n$-manifolds (e.g., see \\cite{Meyer}), we also obtain the following."
        }
      ],
      "external_inputs": [
        {
          "bibliography_key": "BO",
          "role": "proof_input",
          "imported_result": "Theorem 10.1, invoked to force finite volume from infinitely many finite-area totally geodesic surfaces in the geometrically finite three-dimensional setting; its exact statement is not supplied.",
          "required_hypotheses": [
            "A geometrically finite hyperbolic three-manifold.",
            "Infinitely many distinct finite-area totally geodesic surfaces.",
            "Any additional hypotheses of the cited theorem must be checked."
          ],
          "locator": "Theorem 10.1",
          "audit_status": "not_inspected",
          "available_from": null,
          "date_evidence": "\\newblock Preprint: arXiv:1802.04423.",
          "date_basis": "The identifier indicates an earlier preprint series, but no result-bearing dated version was inspected",
          "version": "Unspecified arXiv version",
          "evidence": "Combining Theorem \\ref{thm:main} with results of Benoist--Oh \\cite[Thm. 10.1]{BO}, Lee--Oh \\cite[Thm. 1.9(3)]{LO}, and the classification of arithmetic hyperbolic $n$-manifolds (e.g., see \\cite{Meyer}), we also obtain the following."
        },
        {
          "bibliography_key": "LO",
          "role": "proof_input",
          "imported_result": "Theorem 1.9(3), invoked for the convex-cocompact conclusion in part (2); its exact statement is not supplied.",
          "required_hypotheses": [
            "A convex cocompact hyperbolic n-manifold.",
            "Infinitely many distinct maximal finite-area totally geodesic surfaces.",
            "Any additional hypotheses of the cited theorem must be checked."
          ],
          "locator": "Theorem 1.9(3)",
          "audit_status": "not_inspected",
          "available_from": null,
          "date_evidence": "\\newblock Preprint: arXiv:1902.06621.",
          "date_basis": "The identifier indicates a February 2019 preprint series, but the version containing the needed result was not inspected",
          "version": "Unspecified arXiv version",
          "evidence": "Combining Theorem \\ref{thm:main} with results of Benoist--Oh \\cite[Thm. 10.1]{BO}, Lee--Oh \\cite[Thm. 1.9(3)]{LO}, and the classification of arithmetic hyperbolic $n$-manifolds (e.g., see \\cite{Meyer}), we also obtain the following."
        },
        {
          "bibliography_key": "Meyer",
          "role": "proof_input",
          "imported_result": "The classification consequence that even-dimensional arithmetic real-hyperbolic manifolds admit totally geodesic hypersurfaces, together with the arithmetic subform construction underlying that consequence.",
          "required_hypotheses": [
            "The dimension n is even and at least four.",
            "The manifold is arithmetic and has finite volume."
          ],
          "locator": "No theorem number supplied",
          "audit_status": "not_inspected",
          "available_from": "2017",
          "date_evidence": "\\newblock {\\em Trans. Amer. Math. Soc.}, 369(11):7549--7588, 2017.",
          "date_basis": "Publication year in the supplied bibliography",
          "version": "2017 journal article cited",
          "evidence": "Combining Theorem \\ref{thm:main} with results of Benoist--Oh \\cite[Thm. 10.1]{BO}, Lee--Oh \\cite[Thm. 1.9(3)]{LO}, and the classification of arithmetic hyperbolic $n$-manifolds (e.g., see \\cite{Meyer}), we also obtain the following."
        }
      ],
      "external_references": [],
      "verdict": "unverifiable",
      "issues": [
        "No derivations of the three parts are written out, and the precise scope of the two dynamical inputs is essential.",
        "The supplied text does not establish that the cited BO and LO statements have exactly the generality asserted here. Their titles alone establish neither a match nor a mismatch.",
        "The pre-cutoff result-bearing versions of BO and LO are unresolved."
      ],
      "reasoning": "The intended deductions are plausible. Once finite volume is established, Theorem 1.1 applies; in the convex-cocompact case finite volume gives compactness. The exact external hypotheses must nevertheless be checked rather than inferred."
    },
    {
      "label": "Theorem 1.4",
      "element_type": "theorem",
      "element_id": "theorem_1_4",
      "source_label": "thm:dehnfilling",
      "argument_gist": "The Dehn-filling quotient representation has unbounded Zariski-dense image and nontrivial kernel. Infinitely many surviving totally geodesic surfaces are used to build an invariant projective-bundle measure. Superrigidity would extend the quotient representation to the ambient simple Lie group, contradicting its nontrivial kernel.",
      "dependencies": [
        {
          "source_label": "theorem:superrigiditydichotomy",
          "evidence": "Then Theorem \\ref{theorem:superrigiditydichotomy} implies that $\\rho$ extends to a representation of $G$, which gives the desired contradiction."
        },
        {
          "source_label": "prop:liftingmeasures",
          "evidence": "Moreover, $W_i$ stabilizes a line in $V$ under the adjoint action, and the construction of $\\nu$ proceeds exactly as in the proof of Proposition \\ref{prop:liftingmeasures}."
        },
        {
          "source_label": "prop:homogen",
          "evidence": "As in the proof of Theorem \\ref{thm:main}, we produce this measure by finding an invariant line bundle over each closed $W$-orbit in $G/\\Gam$."
        },
        {
          "source_label": "lemma:compatible",
          "evidence": "To apply Theorem \\ref{theorem:superrigiditydichotomy}, we take $W = \\SO_0(2,1)$ and then must produce an $H$-representation $V$ and a $W$-invariant measure $\\nu$ on the bundle $(G \\times \\bbP(V)) / \\Gam$ that projects to Haar measure on $G / \\Gam$."
        }
      ],
      "external_inputs": [],
      "external_references": [],
      "verdict": "major_issues",
      "issues": [
        "Compatibility of the real target is an additional application requirement. It is not checked here explicitly and depends on Lemma 3.5, whose supplied proof has substantial gaps.",
        "The passage from the theorem's isotopy formulation to Fuchsian image subgroups is compressed. The argument should explain why the image of the source surface group preserves the target plane and why infinitely many target surfaces yield infinitely many distinct source subspaces.",
        "The sequence of source closed orbits must have a subsequence equidistributing to Haar measure; the relevant part of Proposition 3.1 supplies this mechanism, but this application is left implicit.",
        "The selected irreducible summand must receive the exterior-volume lines nontrivially. This follows from the special three-dimensional calculation in Proposition 3.4, not from the word 'nontrivial' alone without that calculation."
      ],
      "reasoning": "The contradiction at the end is sound: a nontrivial continuous homomorphism from the center-free simple group SO_0(3,1) with unbounded image cannot kill a nontrivial lattice element. The application is structurally convincing, but it inherits the compatibility obligation and leaves several identifications unstated."
    },
    {
      "label": "Theorem 1.5",
      "element_type": "theorem",
      "element_id": "theorem_1_5",
      "source_label": "thm:main:homogeneous",
      "argument_gist": "For every place other than the original real place, assume the localized lattice representation is unbounded. Proposition 3.4 produces an invariant projective-bundle measure and Lemma 3.5 gives compatibility. Theorem 1.6 then extends the representation, contradicting the distinct-place argument. Boundedness at all other places yields arithmeticity.",
      "dependencies": [
        {
          "source_label": "prop:liftingmeasures",
          "evidence": "in \\S\\ref{Ssec:buildingmeasures} we will produce an $\\ell_v$-vector space $V$, endowed with a faithful irreducible representation of $\\bfH(\\ell_v)$, and a $W$-invariant measure on $(G\\times\\bbP(V))/\\Gamma$, as required in Theorem~\\ref{theorem:superrigiditydichotomy}."
        },
        {
          "source_label": "lemma:compatible",
          "evidence": "Our proof will be complete once we show that the pair consisting of $\\ell_v$ and $\\bfH$ is compatible with $G$. This will be done in \\S\\ref{ssec:Compatible}."
        },
        {
          "source_label": "theorem:superrigiditydichotomy",
          "evidence": "The existence of the desired extension $G\\to \\bfH(\\ell_v)$ will follow from Theorem~\\ref{theorem:superrigiditydichotomy} once we verify its various assumptions in the specific settings of Proposition~\\ref{prop:homogen}."
        }
      ],
      "external_inputs": [
        {
          "bibliography_key": "VinbergDef",
          "role": "proof_input",
          "imported_result": "Definition over the adjoint trace field, after the stated finite-index and isogeny adjustments, and minimality of that field.",
          "required_hypotheses": [
            "A Zariski-dense lattice in the stated real semisimple algebraic group.",
            "The field is generated by adjoint traces.",
            "The finite-index and isogeny adjustments must preserve the representations used later."
          ],
          "locator": "No theorem number supplied",
          "audit_status": "not_inspected",
          "available_from": "1971",
          "date_evidence": "\\newblock {\\em Izv. Akad. Nauk SSSR Ser. Mat.}, 35:45--55, 1971.",
          "date_basis": "Publication year in the supplied bibliography",
          "version": "1971 article cited",
          "evidence": "By work of Vinberg \\cite{VinbergDef}, there exists an $\\ell$-group $\\bfG$ and an $\\bbR$-isogeny $\\bfG\\to \\bfG_0$ such that the image of $\\bfG(\\ell)$ in $\\bfG_0(\\bbR)$ contains a finite index subgroup of $\\Gamma$."
        },
        {
          "bibliography_key": "Selberg",
          "role": "proof_input",
          "imported_result": "A contribution to the joint number-field assertion for adjoint trace fields of the lattices under consideration; the individual result and division of cases are not identified.",
          "required_hypotheses": [
            "A lattice in SO_0(n,1), n at least three.",
            "The compact and noncompact cases must be covered by the cited collection of results."
          ],
          "locator": "No theorem number supplied",
          "audit_status": "not_inspected",
          "available_from": "1960",
          "date_evidence": "  {F}unction {T}heory, {B}ombay, 1960)}, pages 147--164. Tata Institute of",
          "date_basis": "Bibliographic conference/publication information supplied by the manuscript",
          "version": "Contribution cited in the bibliography",
          "evidence": "Moreover, it follows from work of Selberg, Calabi, Raghunathan, and Garland \\cite{Selberg, Calabi, RaghunathanRigid, Garland} that $\\ell$ is in fact a number field."
        },
        {
          "bibliography_key": "Calabi",
          "role": "proof_input",
          "imported_result": "A contribution to the joint assertion that the adjoint trace field is a number field; the exact individual theorem is not specified.",
          "required_hypotheses": [
            "The lattice and compactness hypotheses of the applicable rigidity result.",
            "A separate justification is needed in cases not covered by that individual result."
          ],
          "locator": "No theorem number supplied",
          "audit_status": "not_inspected",
          "available_from": "1961",
          "date_evidence": "  155--180. American Mathematical Society, Providence, R.I., 1961.",
          "date_basis": "Publication year in the supplied bibliography",
          "version": "1961 proceedings contribution cited",
          "evidence": "Moreover, it follows from work of Selberg, Calabi, Raghunathan, and Garland \\cite{Selberg, Calabi, RaghunathanRigid, Garland} that $\\ell$ is in fact a number field."
        },
        {
          "bibliography_key": "RaghunathanRigid",
          "role": "proof_input",
          "imported_result": "A contribution to the joint assertion that the adjoint trace field is a number field; the exact individual theorem is not specified.",
          "required_hypotheses": [
            "The hypotheses of the particular cohomological rigidity result invoked.",
            "Its application to the relevant lattice cases must be identified."
          ],
          "locator": "No theorem number supplied",
          "audit_status": "not_inspected",
          "available_from": "1967",
          "date_evidence": "\\newblock {\\em Ann. of Math. (2)}, 87:279--304, 1967.",
          "date_basis": "Year printed in the supplied bibliography; bibliographic accuracy not independently checked",
          "version": "Journal article cited",
          "evidence": "Moreover, it follows from work of Selberg, Calabi, Raghunathan, and Garland \\cite{Selberg, Calabi, RaghunathanRigid, Garland} that $\\ell$ is in fact a number field."
        },
        {
          "bibliography_key": "Garland",
          "role": "proof_input",
          "imported_result": "A contribution to the joint number-field assertion, including the relevant nonuniform rigidity arguments; the exact individual theorem is not specified.",
          "required_hypotheses": [
            "The lattice and deformation hypotheses of the applicable result.",
            "The exceptional nonuniform three-dimensional case must not be treated as ordinary local rigidity without explanation."
          ],
          "locator": "No theorem number supplied",
          "audit_status": "not_inspected",
          "available_from": "1966",
          "date_evidence": "  {S}ympos. {P}ure {M}ath., {B}oulder, {C}olo., 1965)}, pages 400--404. Amer.",
          "date_basis": "The supplied bibliography dates the publication to 1966",
          "version": "1966 proceedings contribution cited",
          "evidence": "Moreover, it follows from work of Selberg, Calabi, Raghunathan, and Garland \\cite{Selberg, Calabi, RaghunathanRigid, Garland} that $\\ell$ is in fact a number field."
        },
        {
          "bibliography_key": "",
          "role": "proof_input",
          "imported_result": "The arithmeticity criterion that the lattice is arithmetic exactly when all localized images away from the original real place are relatively compact.",
          "required_hypotheses": [
            "The adjoint trace field is a number field and is the correct minimal field of definition.",
            "The original real form and its lattice are as specified.",
            "The algebraic group, isogenies, and finite-index changes meet the arithmeticity criterion's hypotheses."
          ],
          "locator": "Unnumbered standard criterion in Section 3.2",
          "audit_status": "not_inspected",
          "available_from": null,
          "date_evidence": "",
          "date_basis": "No theorem-specific dated source record supplied",
          "version": "Not specified",
          "evidence": "it is standard that $\\Gamma$ is arithmetic if and only if the image of $\\Gam$ in $\\bfG(\\ell_v)$ is precompact for every $v\\neq w$."
        },
        {
          "bibliography_key": "MargulisBook",
          "role": "proof_input",
          "imported_result": "The extension-to-field-embedding principle invoked to rule out continuous extensions at a place distinct from the original real place.",
          "required_hypotheses": [
            "The target is absolutely simple in the cited formulation.",
            "The extended homomorphism satisfies the nontriviality and density hypotheses of that formulation.",
            "The induced continuous field embedding agrees with the relevant trace-field embedding."
          ],
          "locator": "Remark 1.8.2(III)",
          "audit_status": "not_inspected",
          "available_from": "1991",
          "date_evidence": "\\newblock Springer-Verlag, 1991.",
          "date_basis": "Publication year in the supplied bibliography",
          "version": "1991 book edition cited",
          "evidence": "By \\cite[Rem.\\ 1.8.2(III)]{MargulisBook}, such an extension gives rise to a continuous field embedding $\\ell_w\\to \\ell_v$ and this field embedding clearly agrees with $v:\\ell\\to \\ell_v$ on the set of elements of the form $\\Tr(\\Ad(\\gamma))$ for $\\gamma\\in \\Gamma$."
        }
      ],
      "external_references": [
        {
          "bibliography_key": "MargulisBook",
          "role": "background",
          "locator": "Chapter IX",
          "audit_status": "not_inspected",
          "evidence": "For more details see \\cite[Ch.\\ IX]{MargulisBook} or \\cite[Ch.\\ 6]{Zimmer}."
        },
        {
          "bibliography_key": "Zimmer",
          "role": "background",
          "locator": "Chapter 6",
          "audit_status": "not_inspected",
          "evidence": "For more details see \\cite[Ch.\\ IX]{MargulisBook} or \\cite[Ch.\\ 6]{Zimmer}."
        }
      ],
      "verdict": "major_issues",
      "issues": [
        "The theorem depends essentially on the unresolved steps in Proposition 3.4 and Lemma 3.5.",
        "Section 3.2's proposed absolutely-simple reduction is not justified as written. Restriction of scalars of an absolutely simple group over a proper finite extension generally produces a group that is not absolutely simple over the smaller field; projecting to a smaller-field simple factor does not automatically correct this.",
        "For the non-absolutely-simple three-dimensional case, the target factor, the field embedding it produces, and its agreement with the original adjoint trace field need a precise argument. The manuscript's assertion that the stated procedure produces an absolutely simple target over ell_v does not supply it.",
        "The number-field assertion is supported by a collection of citations without identifying which results cover which cases, particularly nonuniform dimension three."
      ],
      "reasoning": "The boundedness-at-other-places strategy is coherent, and properness of a finite isogeny supports the passage between boundedness in the original and adjoint groups. The deficiencies concern indispensable hypotheses and reductions, not merely notation."
    },
    {
      "label": "Theorem 1.6",
      "element_type": "theorem",
      "element_id": "theorem_1_6",
      "source_label": "theorem:superrigiditydichotomy",
      "argument_gist": "Disintegrate the invariant bundle measure to obtain a W-invariant algebraic-valued map. Take an initial U'-algebraic representation and extend its equivariance to P. Compatibility forces its stabilizer to be trivial. Normalizer equivariance then supplies a Weyl element, and equivariance under generators of G yields extension of the lattice representation.",
      "dependencies": [
        {
          "source_label": "lemma:properness",
          "evidence": "we show that the existence of the map $\\phi: G \\rightarrow \\bH/ \\bfL(k)$ from Proposition \\ref{lemma:properness} implies that the representation $\\rho$ of $\\Gamma$ extends to $G$."
        },
        {
          "source_label": "thm:BF",
          "evidence": "Theorem \\ref{thm:BF} implies that there is a $k$-algebraic subgroup $\\bfJ$ of $\\bH$ such that this object is a measurable map $\\Psi:G \\rightarrow \\bH/\\bfJ(k)$"
        },
        {
          "source_label": "lem:initobj",
          "evidence": "Since $U^\\prime$ is normal in $U$ and $U$ is normal in $P$, Lemma \\ref{lem:initobj} implies that $\\tau$ extends to a continuous homomorphism $\\tau:P \\to N_{\\bfH}(\\bfJ)/\\bfJ(k)$ making the map $\\Psi$ an initial object in the category of $P$-algebraic representations of $G$."
        }
      ],
      "external_inputs": [
        {
          "bibliography_key": "",
          "role": "proof_input",
          "imported_result": "Howe\u2013Moore mixing for the finite-volume homogeneous space, implying weak mixing upon restriction to each noncompact closed subgroup.",
          "required_hypotheses": [
            "G is the connected simple group SO_0(n,1).",
            "The representation on the orthogonal complement of constants has no G-fixed vector.",
            "The restricting subgroup is closed and noncompact."
          ],
          "locator": "Howe--Moore theorem, uncited",
          "audit_status": "not_inspected",
          "available_from": null,
          "date_evidence": "",
          "date_basis": "No dated source record supplied for this named classical input",
          "version": "Not specified",
          "evidence": "Observe that the action of $G$ on $G/\\Gamma$ is mixing by the Howe--Moore theorem."
        },
        {
          "bibliography_key": "BaderFurman",
          "role": "proof_input",
          "imported_result": "The gluing/extension result for an algebraic-valued measurable map equivariant under subgroups generating the ambient group.",
          "required_hypotheses": [
            "The representation of Gamma is Zariski dense.",
            "The measurable map to H(k) has compatible continuous equivariance under P and N_G(A).",
            "These subgroups generate G.",
            "All additional hypotheses of Proposition 5.1 must hold."
          ],
          "locator": "Proposition 5.1 and end of proof of Theorem 1.3",
          "audit_status": "not_inspected",
          "available_from": null,
          "date_evidence": "\\newblock Preprint: arXiv:1810.01608.",
          "date_basis": "No inspected pre-cutoff version containing the invoked numbered results",
          "version": "Unspecified arXiv version",
          "evidence": "Since $\\Psi$ is equivariant for both $P$ and $N_G(A)$, using \\cite[Prop.\\ 5.1]{BaderFurman} and following the end of the proof of \\cite[Thm.\\ 1.3]{BaderFurman}, we deduce that $\\rho : \\Gam \\to \\bfH(k)$ extends to a continuous homomorphism $\\wh{\\rho} : G \\to \\bfH(k)$."
        }
      ],
      "external_references": [],
      "verdict": "minor_issues",
      "issues": [
        "Lemma 4.4, literally stated for normalizers, does not directly say that an initial P-object restricts to an initial A-object: P is not an iterated normalizer of A. The conclusion is available here because the stabilizer has already been proved trivial, but that argument should be supplied.",
        "The passage through U' normal in U normal in P also uses initiality for intermediate subgroups, not just a literal iteration of normalizers. This is a categorical consequence that should be stated.",
        "The factorization through the right algebraic quotient should explicitly use that the initial-object morphism is invariant under the Zariski closure of tau(U').",
        "The theorem assumes a connected algebraic group, whereas its proof calls H adjoint. Adjointness is not needed for the fixed-point contradiction there; the wording should match the statement.",
        "The external extension theorem and the historical version of the Bader\u2013Furman machinery remain uninspected."
      ],
      "reasoning": "The compatibility argument is logically effective: if J is nontrivial, it turns U'-invariance of the morphism into U-invariance; together with W-invariance and generation of G, this contradicts properness of L and Zariski density. New repair, separate from the supplied proof: let H/J_A be an initial A-object. Since the existing map Psi to H is A-equivariant, there is an H-equivariant morphism H/J_A to H. A point of H has trivial stabilizer for left translation, so J_A is trivial. An H-equivariant morphism H to H is right translation and is an isomorphism. Thus Psi is initial for A. This closes the specific A-initiality gap without importing a later result."
    },
    {
      "label": "Proposition 3.1",
      "element_type": "proposition",
      "element_id": "proposition_3_1",
      "source_label": "prop:homogen",
      "argument_gist": "Associate homogeneous measures to totally geodesic subspaces. Use nonescape and support containment for limits to show that an infinite family of distinct maximal subspaces has Haar measure as a subsequential limit. Conversely, use proper supporting subspaces and full support of the limit to force infinitely many maximal subspaces.",
      "dependencies": [
        {
          "source_label": "lem:clarifying",
          "evidence": "By Lemma~\\ref{lem:clarifying}\\eqref{lem:clarifying3}, each $Z_i$ is the image under $\\pi : G / \\Gam \\to X_\\Gam$ of a homogeneous, $W_m$-invariant subspace of $G/\\Gamma$ which we denote by $Y_i$."
        },
        {
          "source_label": "thm:MS",
          "evidence": "Note that Theorem~\\ref{thm:MS} implies that $\\mu$ is a homogeneous, $W_m$-ergodic probability measure on $G/\\Gamma$."
        }
      ],
      "external_inputs": [
        {
          "bibliography_key": "RatnerOrbitClosure",
          "role": "proof_input",
          "imported_result": "Homogeneity of finite ergodic invariant measures for a subgroup generated by one-parameter unipotent subgroups.",
          "required_hypotheses": [
            "G/Gamma is a finite-volume homogeneous space.",
            "W_m is generated by one-parameter unipotent subgroups.",
            "The measures are finite and W_m-ergodic."
          ],
          "locator": "No theorem number supplied",
          "audit_status": "not_inspected",
          "available_from": "1991",
          "date_evidence": "\\newblock {\\em Duke Math. J.}, 63(1):235--280, 1991.",
          "date_basis": "Publication year in the supplied bibliography",
          "version": "1991 article cited",
          "evidence": "That $(3)$ implies $(2)$ is clear and the reverse implication is a theorem of Ratner \\cite{RatnerOrbitClosure} (see also Einsiedler \\cite{Einsiedler})."
        }
      ],
      "external_references": [
        {
          "bibliography_key": "Einsiedler",
          "role": "background",
          "locator": "",
          "audit_status": "not_inspected",
          "evidence": "That $(3)$ implies $(2)$ is clear and the reverse implication is a theorem of Ratner \\cite{RatnerOrbitClosure} (see also Einsiedler \\cite{Einsiedler})."
        }
      ],
      "verdict": "major_issues",
      "issues": [
        "Item (3) omits proper support and does not require distinct measures. The constant sequence of normalized Haar measures satisfies item (3) for every lattice: Haar measure is homogeneous and W_m-ergodic.",
        "Consequently, the asserted immediate implication (3) to (2) is not justified, and the proof of (3) to (1) fails when it asks for a maximal proper totally geodesic subspace containing the projection of a full-support measure.",
        "This is a demonstrated defect in the literal statement, not merely an unverified external step. The natural correction is to require proper support in item (3), or to impose an appropriate distinctness condition and discard any Haar term.",
        "The statement should specify probability normalization throughout."
      ],
      "reasoning": "The important direction from distinct maximal subspaces to Haar equidistribution is substantially sound conditional on Lemma 3.2 and Theorem 3.3. Maximality forces each translated limiting support to project to the original subspace; the normalizer argument then makes all those projections equal, a contradiction. The missing proper-support condition affects the claimed equivalence but need not destroy that direction."
    },
    {
      "label": "Lemma 3.2",
      "element_type": "lemma",
      "element_id": "lemma_3_2",
      "source_label": "lem:clarifying",
      "argument_gist": "Classify closed subgroups containing W_m through their unipotent-generated subgroup and compact normalizer. Project their closed orbits to totally geodesic subspaces. Conversely, lift a totally geodesic subspace to its adapted frame set and take a Ratner ergodic component.",
      "dependencies": [],
      "external_inputs": [
        {
          "bibliography_key": "Gelander-Levit",
          "role": "proof_input",
          "imported_result": "Finite volume of a closed properly immersed totally geodesic subspace of dimension at least two in the finite-volume hyperbolic setting.",
          "required_hypotheses": [
            "The ambient hyperbolic orbifold has finite volume.",
            "The totally geodesic subspace is closed and properly immersed.",
            "Its dimension is at least two."
          ],
          "locator": "Proposition 3.4",
          "audit_status": "not_inspected",
          "available_from": "2014",
          "date_evidence": "\\newblock {\\em Geom. Funct. Anal.}, 24(5):1431--1447, 2014.",
          "date_basis": "Publication year in the supplied bibliography",
          "version": "2014 journal article cited",
          "evidence": "The fact that it has a finite measure is well-known; see \\cite[Prop.~3.4]{Gelander-Levit} for a recent reference."
        },
        {
          "bibliography_key": "RatnerOrbitClosure",
          "role": "proof_input",
          "imported_result": "Homogeneity of W_m-ergodic components of the finite invariant measure on the closed normalizer orbit.",
          "required_hypotheses": [
            "A finite W_m-invariant measure on G/Gamma.",
            "W_m is generated by one-parameter unipotent subgroups.",
            "The selected component is ergodic."
          ],
          "locator": "Ratner's Theorem; no local citation number",
          "audit_status": "not_inspected",
          "available_from": "1991",
          "date_evidence": "\\newblock {\\em Duke Math. J.}, 63(1):235--280, 1991.",
          "date_basis": "Publication year in the supplied bibliography",
          "version": "1991 article identified by the subsection's Ratner citation",
          "evidence": "Clearly, $W_m \\le S \\le N_m$ and $\\mu$ is $S$-homogeneous by Ratner's Theorem."
        }
      ],
      "external_references": [],
      "verdict": "minor_issues",
      "issues": [
        "The opening paragraph states an unrestricted converse asserting W_m' is contained in S_1 whenever K\\KS_1g is a totally geodesic m'-space. That converse is false without additional assumptions: an Iwasawa subgroup AN of W_m' already acts transitively on that hyperbolic space but does not contain W_m'. The later argument uses subgroups already known to contain W_m', so this overstatement can be removed.",
        "For immersed subspaces with self-intersections, the adapted-frame construction should be formulated over the immersed source, or as its image in the ambient frame bundle, rather than literally as a subbundle over the underlying image.",
        "The rank-one subgroup classification and the claimed centralizer conjugacy are asserted rather than demonstrated."
      ],
      "reasoning": "The operative classification is appropriate: a subgroup containing a noncompact W_m has a larger real-hyperbolic unipotent-generated simple factor, with remaining directions compact. Properness of the K-quotient projection and compactness of the normalizer quotient give the required closedness properties. The finite-volume and Ratner assertions remain conditional on the cited inputs."
    },
    {
      "label": "Theorem 3.3",
      "element_type": "theorem",
      "element_id": "theorem_3_3",
      "source_label": "thm:MS",
      "argument_gist": "Find a compact set meeting every relevant geodesic subspace and apply uniform unipotent nondivergence to prevent a zero limit. Apply Mozes\u2013Shah to obtain a homogeneous probability limit and translated support containment. Howe\u2013Moore supplies ergodicity for the relevant unipotent subgroups and for W.",
      "dependencies": [
        {
          "source_label": "lem:clarifying",
          "evidence": "By Lemma~\\ref{lem:clarifying}\\eqref{lem:clarifying1}, $\\pi_*\\mu_i$ is the unit renormalization of the volume measure associated with a closed totally geodesic subspace of dimension at least $m\\ge 2$."
        }
      ],
      "external_inputs": [
        {
          "bibliography_key": "FLMS",
          "role": "proof_input",
          "imported_result": "Existence of a compact subset of the finite-volume hyperbolic orbifold meeting every closed totally geodesic subspace of dimension at least two.",
          "required_hypotheses": [
            "The ambient hyperbolic orbifold has finite volume.",
            "The subspaces are closed, properly immersed, and have dimension at least two."
          ],
          "locator": "Lemma 5.13",
          "audit_status": "not_inspected",
          "available_from": null,
          "date_evidence": "\\newblock Preprint: arXiv:1802.04619.",
          "date_basis": "No inspected dated version containing Lemma 5.13",
          "version": "Unspecified arXiv version",
          "evidence": "Using \\cite[Lem.~5.13]{FLMS} we fix a compact set $C_1$ in $X_\\Gamma=K\\backslash G/\\Gamma$ that meets every closed totally geodesic subspace of dimension at least $2$."
        },
        {
          "bibliography_key": "DaniMargulis",
          "role": "proof_input",
          "imported_result": "Uniform nondivergence for a fixed one-parameter unipotent flow starting in a compact set, in the form used in equation (3.1).",
          "required_hypotheses": [
            "Gamma is a lattice in G.",
            "The flow is a one-parameter unipotent subgroup.",
            "Starting points lie in the fixed compact set F.",
            "The time interval has positive length."
          ],
          "locator": "Theorem 6.1",
          "audit_status": "not_inspected",
          "available_from": "1993",
          "date_evidence": "  Math.}, pages 91--137. Amer. Math. Soc., 1993.",
          "date_basis": "Publication year in the supplied bibliography",
          "version": "1993 proceedings contribution cited",
          "evidence": "Applying \\cite[Thm.~6.1]{DaniMargulis} we find a compact subset $F^\\prime\\subset G/\\Gamma$"
        },
        {
          "bibliography_key": "MS",
          "role": "proof_input",
          "imported_result": "The nonzero-limit probability/homogeneity assertion of Corollary 1.3 and the support-containment and conjugated-invariance assertion of Theorem 1.1.",
          "required_hypotheses": [
            "The measures belong to the unipotent-ergodic homogeneous measure class.",
            "There is a nonzero weak-* limit.",
            "For the support theorem, chosen basepoints are generic for the specified one-parameter flows and converge to a point of the limiting support."
          ],
          "locator": "Corollary 1.3 and Theorem 1.1",
          "audit_status": "not_inspected",
          "available_from": "1995",
          "date_evidence": "\\newblock {\\em Ergodic Theory Dynam. Systems}, 15(1):149--159, 1995.",
          "date_basis": "Publication year in the supplied bibliography",
          "version": "1995 journal article cited",
          "evidence": "By \\cite[Thm.~1.1]{MS}, we conclude that for every $1\\le j \\le k$ there exists an $i_j$ such that $Y_i\\subset g_iY$ and $\\mu$ is $U_j^{g_i^{-1}}$-invariant for every $i\\geq i_j$."
        },
        {
          "bibliography_key": "",
          "role": "proof_input",
          "imported_result": "Howe\u2013Moore vanishing of matrix coefficients, used to obtain ergodicity of noncompact subgroups in the simple rank-one homogeneous actions.",
          "required_hypotheses": [
            "The unipotent-generated noncompact factor is simple in this real rank-one setting.",
            "The action on the homogeneous probability space is ergodic for that factor.",
            "The restricting subgroup is noncompact."
          ],
          "locator": "Howe--Moore theorem, uncited",
          "audit_status": "not_inspected",
          "available_from": null,
          "date_evidence": "",
          "date_basis": "No dated source record supplied",
          "version": "Not specified",
          "evidence": "We note that $\\mu_i$ is $\\{u_t\\}$-ergodic by the Howe--Moore theorem"
        },
        {
          "bibliography_key": "",
          "role": "proof_input",
          "imported_result": "The Birkhoff ergodic theorem for the characteristic function of F'.",
          "required_hypotheses": [
            "A measure-preserving flow on a probability space.",
            "Ergodicity of the flow.",
            "Integrability of the characteristic function."
          ],
          "locator": "Birkhoff ergodic theorem, uncited",
          "audit_status": "not_inspected",
          "available_from": null,
          "date_evidence": "",
          "date_basis": "No dated source record supplied",
          "version": "Not specified",
          "evidence": "Applying the Birkhoff ergodic theorem to the function $\\chi_{F'}$ we conclude by Equation~\\eqref{eq:DM} that indeed $\\mu_i(F') \\geq 1/2$."
        }
      ],
      "external_references": [],
      "verdict": "valid",
      "issues": [],
      "reasoning": "Conditional on the precise cited results, the proof correctly prevents a zero limit and arranges generic basepoints for finitely many generating unipotent subgroups. The compact-set inequality passes to the limit in the needed direction. Rank one is important when promoting semisimple ergodicity to subgroup ergodicity. The displayed time-average formula should read T>0 rather than T>=0; this is harmless."
    },
    {
      "label": "Proposition 3.4",
      "element_type": "proposition",
      "element_id": "proposition_3_4",
      "source_label": "prop:liftingmeasures",
      "argument_gist": "Use the Lie-algebra volume line of each proper algebraic subgroup supporting a homogeneous measure. Project those lines to a common irreducible summand of an exterior power of the adjoint representation. The resulting sections lift the homogeneous measures to the projective bundle; a limit projects to Haar measure. Handle the split D_2 case through the faithful tensor representation V(3,3).",
      "dependencies": [
        {
          "source_label": "prop:homogen",
          "evidence": "By Proposition \\ref{prop:homogen} we can assume that we have $W$-invariant, $W$-homogeneous measures $\\mu_i$ on $G/\\Gamma$ converging to Haar measure."
        }
      ],
      "external_inputs": [],
      "external_references": [],
      "verdict": "major_issues",
      "issues": [
        "The proof asserts, without establishing it in the preceding proposition, that Gamma_i is Zariski dense in S_i and that S_i is ell-defined. The essential object should be its algebraic Zariski closure; connected real Lie groups, algebraic groups, and their real points must be distinguished. The descent to ell and preservation of properness under localization require proof.",
        "The notation calS is undefined, and the placement of x_i, S_i, and Gamma_i requires an explicit choice of conjugated supporting subgroup.",
        "In the product case, nonnormality of Gamma_i and injectivity of rho do not imply that rho(Gamma_i) is not contained in a direct factor. A nonnormal subgroup can be contained in a normal direct factor. A descent or Galois argument is needed to establish nontrivial projection to both factors.",
        "The subsequent conclusion that the algebraic closure is a conjugate diagonal subgroup requires that it be a proper connected simple subdirect subgroup. Those prerequisites are not established by the stated nonnormality argument.",
        "The reduction of every relevant nonsimple local D_2 form to PGL_2(k) times PGL_2(k) should explain why the remaining quaternionic product forms are excluded by the assumed unboundedness.",
        "The stabilizer of the exterior-volume line is the normalizer of the Lie algebra, or equivalently of the connected algebraic subgroup, not automatically the normalizer of an arbitrary disconnected L_i."
      ],
      "reasoning": "The exterior-power mechanism is sound once the algebraic supporting subgroups and their local forms are established. Direct calculation confirms the special decomposition: wedge^3(A direct-sum B) has two one-dimensional trivial summands and two copies of A tensor B when A and B are the three-dimensional adjoint modules. The diagonal exterior-volume line has nonzero mixed components. Compactness of projective fibers and convergence of the projected probability measures justify tightness of the lifts; almost every ergodic component of the limit projects to Haar measure because the base W-action is ergodic. The missing descent and subdirectness arguments are substantive obligations, not counterexamples to the proposed construction."
    },
    {
      "label": "Lemma 3.5",
      "element_type": "lemma",
      "element_id": "lemma_3_5",
      "source_label": "lemma:compatible",
      "argument_gist": "Reduce to complex coefficients. If U has nontrivial image, use a rank comparison to force the kernel subgroup to be finite-by-unipotent. Place the lifted image in a parabolic and analyze its Levi action and unipotent radical to contradict nontriviality of J. Treat dimension three separately using maximal unipotent subgroups of PGL_2 times PGL_2.",
      "dependencies": [],
      "external_inputs": [
        {
          "bibliography_key": "BorelTits",
          "role": "proof_input",
          "imported_result": "A subgroup normalizing a suitable nontrivial unipotent subgroup is contained in a proper parabolic subgroup.",
          "required_hypotheses": [
            "The ambient group is reductive over the relevant perfect field, here C.",
            "The lifted group normalizes a nontrivial connected unipotent subgroup.",
            "The precise normalizer/parabolic conclusion of the cited result applies."
          ],
          "locator": "Section 3",
          "audit_status": "not_inspected",
          "available_from": "1971",
          "date_evidence": "\\newblock {\\em Invent. Math.}, 12:95--104, 1971.",
          "date_basis": "Publication year in the supplied bibliography",
          "version": "1971 journal article cited",
          "evidence": "By \\cite[\\S3]{BorelTits}, we see that $\\widetilde\\bfP$ is contained in a maximal parabolic subgroup $\\bfQ<\\bfH$, as it contains a nontrivial normal unipotent subgroup."
        }
      ],
      "external_references": [],
      "verdict": "major_issues",
      "issues": [
        "The assertion that every non-central subgroup of P contains U is false for arbitrary subgroups: A is a counterexample. The argument concerns ker(tau), so the intended statement must be restricted to normal subgroups.",
        "For n=5, M is locally SO(4,C), hence has two simple factors. The assertion that M is almost simple for every n>=4 is false.",
        "The conclusion that the parabolic must have isotropic-subspace dimension k=1 is not established by the stated Levi comparison. For n=4, the k=2 parabolic has semisimple Levi locally SL_2, as does SO(3). For n=7, a maximal-isotropic k=4 parabolic has semisimple Levi SL_4, locally isomorphic to SO(6). These cases require additional representation analysis or an explicitly justified treatment of the exceptional automorphisms.",
        "The claimed projective transitivity is false. A complex orthogonal group preserves the isotropic quadric and is not transitive on the full projective space of its standard module. Irreducibility, rather than transitivity, can prove the needed statement about invariant vector subgroups in the line-stabilizer case.",
        "The unipotent radical R does not consist of all unipotent elements of Q: its semisimple Levi factor also contains unipotent elements. Containment of the two normal unipotent subgroups in R needs a different argument.",
        "Containing R and the semisimple Levi factor does not by itself imply that the lifted group equals Q, because the Levi central torus can be missing. The earlier full-rank equality could be relevant, but it must be used.",
        "In the n=3 argument, the lifted two-dimensional unipotent subgroup must be chosen with the required image in the quotient and trivial intersection with J; the existence and properties of that lift are left implicit."
      ],
      "reasoning": "The nonarchimedean argument is correct, as are the general idea of passing to C and the initial rank comparison. Several later assertions in the complex n>=4 proof are demonstrably false or fail to exclude small-rank cases. They do not furnish a counterexample to compatibility, but the supplied proof does not establish the lemma in its full stated range."
    },
    {
      "label": "Proposition 4.1",
      "element_type": "proposition",
      "element_id": "proposition_4_1",
      "source_label": "lemma:properness",
      "argument_gist": "Disintegrate the bundle measure into probability measures on projective fibers. Algebraic smoothness and ergodicity place the resulting map in a single H-orbit. Metric ergodicity excludes a compact stabilizer; the projective-measure stabilizer theorem then gives a proper algebraic subgroup containing that stabilizer.",
      "dependencies": [],
      "external_inputs": [
        {
          "bibliography_key": "Zimmer",
          "role": "proof_input",
          "imported_result": "The orbit-smoothness and stabilizer results for the action on projective probability measures, and the properness conclusion for the Zariski closure of a noncompact measure stabilizer in a faithful irreducible representation.",
          "required_hypotheses": [
            "A finite-dimensional faithful irreducible rational representation over the local field.",
            "A measurable equivariant map from an ergodic Gamma-space.",
            "A noncompact stabilizer for the proper-Zariski-closure conclusion."
          ],
          "locator": "Corollary 3.2.12, Theorem 3.2.4, and Proposition 3.2.15",
          "audit_status": "not_inspected",
          "available_from": "1984",
          "date_evidence": "\\newblock Birkh\\\"auser Verlag, Basel, 1984.",
          "date_basis": "Publication year in the supplied bibliography",
          "version": "1984 book edition cited",
          "evidence": "By \\cite[Cor.\\ 3.2.12 and Thm.\\ 3.2.4]{Zimmer}, the image of this map lies in a single $\\bH(k)$-orbit that can be identified with $\\bH(k)/\\tilde{L}$"
        },
        {
          "bibliography_key": "Bader-Gelander",
          "role": "proof_input",
          "imported_result": "Metric ergodicity of the Gamma-action on W\\G, forcing equivariant maps into separable isometric spaces to be essentially constant.",
          "required_hypotheses": [
            "G is the stated connected simple real Lie group.",
            "Gamma is a lattice.",
            "W is a closed noncompact subgroup of the required type.",
            "The target admits the relevant separable invariant metric."
          ],
          "locator": "Corollary 6.7",
          "audit_status": "not_inspected",
          "available_from": "2017",
          "date_evidence": "\\newblock {\\em Groups Geom. Dyn.}, 11(3):1003--1039, 2017.",
          "date_basis": "Publication year in the supplied bibliography",
          "version": "2017 journal article cited",
          "evidence": "by \\cite[Cor.\\ 6.7]{Bader-Gelander} the action of $\\Gamma$ on $W\\backslash G$ is metrically ergodic"
        }
      ],
      "external_references": [
        {
          "bibliography_key": "Bader-Gelander",
          "role": "background",
          "locator": "Definition 6.5",
          "audit_status": "not_inspected",
          "evidence": "see \\cite[Def.\\ 6.5]{Bader-Gelander} for the definition"
        },
        {
          "bibliography_key": "MargulisBook",
          "role": "conditional",
          "locator": "Theorem V.5.15",
          "audit_status": "not_inspected",
          "evidence": "One can also prove the group $\\tilde{L}$ is noncompact by showing nontriviality of the Lyapunov spectrum of the $W$-action on the bundle $(G\\times \\mathbb{P}(V))/\\Gamma$ using \\cite[Thm.\\ V.5.15]{MargulisBook}."
        }
      ],
      "verdict": "valid",
      "issues": [],
      "reasoning": "The compact-stabilizer contradiction is correct: an essentially constant equivariant map to H(k)/tilde L places rho(Gamma) inside a conjugate compact subgroup, contradicting unboundedness. The remaining assertions are identifiable external inputs, not independently audited here. The alternative Lyapunov argument is not used."
    },
    {
      "label": "Theorem 4.3",
      "element_type": "theorem",
      "element_id": "theorem_4_3",
      "source_label": "thm:BF",
      "argument_gist": "Import the existence of a coset initial object in the category of T-algebraic representations under weak mixing.",
      "dependencies": [],
      "external_inputs": [
        {
          "bibliography_key": "BaderFurman",
          "role": "proof_input",
          "imported_result": "Theorem 4.3: the category of T-algebraic representations has an initial object, and that object is a coset representation, when the T-action on G/Gamma is weakly mixing.",
          "required_hypotheses": [
            "G is locally compact and second countable.",
            "Gamma is a lattice.",
            "The representation into H(k) is Zariski dense.",
            "T is closed.",
            "The T-action on G/Gamma is weakly mixing.",
            "The category and continuity conventions agree with the cited formulation."
          ],
          "locator": "Theorem 4.3",
          "audit_status": "not_inspected",
          "available_from": null,
          "date_evidence": "\\newblock Preprint: arXiv:1810.01608.",
          "date_basis": "No inspected pre-cutoff version containing Theorem 4.3",
          "version": "Unspecified arXiv version",
          "evidence": "\\begin{thm}[Thm.\\ 4.3 \\cite{BaderFurman}]\\label{thm:BF}\nThe collection of $T$-algebraic representations of $G$ forms a category. If the $T$-action on $G / \\Gam$ is weakly mixing, then this category has an initial object and this initial object is a coset $T$-algebraic representation."
        }
      ],
      "external_references": [],
      "verdict": "unverifiable",
      "issues": [
        "This is an explicitly quoted external theorem, not an internally supplied proof.",
        "The exact statement, continuity assumptions, and result-bearing pre-cutoff version were not inspected."
      ],
      "reasoning": "There is no objection merely because the theorem is imported. Its role and required hypotheses are clear, but reproducing its statement does not verify the external theorem or its historical version."
    },
    {
      "label": "Lemma 4.4",
      "element_type": "lemma",
      "element_id": "lemma_4_4",
      "source_label": "lem:initobj",
      "argument_gist": "Use normalizer extension of an initial algebraic representation. For the reverse assertion, restrict a normalizer-initial object and use minimality to rule out a smaller T-stabilizer. Repeat for iterated normalizers.",
      "dependencies": [
        {
          "source_label": "thm:BF",
          "evidence": "Assume that the action of $T$ on $G/\\Gam$ is weakly mixing. Then initial objects for $T$ and $N_G(T)$ have the same map."
        }
      ],
      "external_inputs": [
        {
          "bibliography_key": "BaderFurman",
          "role": "proof_input",
          "imported_result": "Theorem 4.6, extending the equivariance of an initial T-object to the normalizer of T.",
          "required_hypotheses": [
            "The initial T-object exists under the stated weak-mixing hypothesis.",
            "The Zariski-density and algebraic-representation hypotheses of the surrounding setup hold.",
            "The extended right-action group is replaced by the appropriate Zariski closure."
          ],
          "locator": "Theorem 4.6",
          "audit_status": "not_inspected",
          "available_from": null,
          "date_evidence": "\\newblock Preprint: arXiv:1810.01608.",
          "date_basis": "No inspected pre-cutoff version containing Theorem 4.6",
          "version": "Unspecified arXiv version",
          "evidence": "For the first claim, the forward direction is the content of \\cite[Thm.\\ 4.6]{BaderFurman}."
        }
      ],
      "external_references": [
        {
          "bibliography_key": "BaderFurman",
          "role": "background",
          "locator": "",
          "audit_status": "not_inspected",
          "evidence": "Though not stated explicitly, the following is also implicit in \\cite{BaderFurman}."
        }
      ],
      "verdict": "minor_issues",
      "issues": [
        "On restriction to T, its right-action group should be replaced by the Zariski closure of tau(T), so that the stipulated density condition still holds.",
        "The minimality argument should explicitly identify the coset varieties by an H-equivariant isomorphism and explain compatibility of the structural maps, rather than only compare subgroup sizes.",
        "The cited forward extension theorem and its pre-cutoff version remain uninspected."
      ],
      "reasoning": "The reverse argument is credible: a smaller T-initial stabilizer would extend to the normalizer and contradict normalizer-initial minimality. The iteration is then legitimate, since weak mixing for T implies weak mixing for a larger acting subgroup. The proof needs categorical bookkeeping rather than a new rigidity mechanism."
    }
  ],
  "argument_gist": "The main target is arithmeticity of a finite-volume real-hyperbolic lattice having infinitely many maximal totally geodesic subspaces of dimension at least two. Homogeneous dynamics turns those subspaces into a Haar-approximating sequence of measures. Algebraic exterior-power lines lift that sequence to a projective bundle for each unbounded localized representation. A separate superrigidity argument converts the lifted invariant measure into an algebraic-valued map and then an extension of the representation. Such extensions at other places are ruled out, yielding arithmeticity. The bottlenecks are the algebraic descent in the lifting construction, compatibility of all local targets, the initial-object machinery, and the non-absolutely-simple distinct-place argument.",
  "argument_steps": [
    {
      "title": "Geometric subspaces and homogeneous supports",
      "gist": "Adapted frames and the normalizers of standard SO_0(m,1) subgroups relate closed totally geodesic subspaces to finite homogeneous orbits.",
      "claims": [
        "lem:clarifying"
      ]
    },
    {
      "title": "Nonescape and support control",
      "gist": "A compact set meeting every relevant subspace, unipotent nondivergence, and Mozes\u2013Shah limit theory produce probability limits and translated containment of supports.",
      "claims": [
        "thm:MS"
      ]
    },
    {
      "title": "Maximality forces Haar equidistribution",
      "gist": "If a limit support were proper, maximality and normalizer rigidity would force infinitely many distinct source subspaces to have the same projection.",
      "claims": [
        "prop:homogen"
      ]
    },
    {
      "title": "Lift measures using algebraic volume lines",
      "gist": "Exterior powers of the adjoint module give invariant projective lines over proper homogeneous supports. Passing to one irreducible summand and taking a limit yields the bundle measure required for superrigidity.",
      "claims": [
        "prop:liftingmeasures"
      ]
    },
    {
      "title": "Verify local-target compatibility",
      "gist": "Totally disconnected targets kill U. Complex targets are treated by rank and parabolic analysis, with a separate D_2 argument. This phase contains the most substantial supplied-proof defects.",
      "claims": [
        "lemma:compatible"
      ]
    },
    {
      "title": "Extract an algebraic-valued measurable map",
      "gist": "Disintegration, projective-measure stabilizers, and metric ergodicity produce a W-invariant Gamma-map to H/L with L proper.",
      "claims": [
        "lemma:properness"
      ]
    },
    {
      "title": "Initial objects and normalizer extension",
      "gist": "Weak mixing permits initial coset algebraic representations. Compatibility eliminates their stabilizer, and a Weyl element completes equivariance under generators of G.",
      "claims": [
        "thm:BF",
        "lem:initobj",
        "theorem:superrigiditydichotomy"
      ]
    },
    {
      "title": "Conclude arithmeticity",
      "gist": "Apply superrigidity to unbounded localizations and contradict extension at a distinct place. Relative compactness at all other places gives arithmeticity.",
      "claims": [
        "thm:main:homogeneous",
        "thm:main"
      ]
    },
    {
      "title": "Applications and Dehn filling",
      "gist": "Combine arithmeticity with external classification and orbit results. For Dehn filling, use the same invariant-measure mechanism on the quotient representation and contradict its nontrivial kernel.",
      "claims": [
        "cor:knots",
        "cor:kleinian",
        "thm:dehnfilling"
      ]
    }
  ],
  "external_references": [
    {
      "bibliography_key": "Curt",
      "role": "background",
      "locator": "Question 7.6",
      "audit_status": "not_inspected",
      "evidence": "Independently, Curtis McMullen asked whether Theorem \\ref{thm:main} is true in the setting of hyperbolic $3$-manifolds (see \\cite[Qn.\\ 7.6]{Curt} or \\cite[Qn.\\ 8.2]{MR})."
    },
    {
      "bibliography_key": "MR",
      "role": "background",
      "locator": "Question 8.2",
      "audit_status": "not_inspected",
      "evidence": "Independently, Curtis McMullen asked whether Theorem \\ref{thm:main} is true in the setting of hyperbolic $3$-manifolds (see \\cite[Qn.\\ 7.6]{Curt} or \\cite[Qn.\\ 8.2]{MR})."
    },
    {
      "bibliography_key": "GPS",
      "role": "background",
      "locator": "Question 0.4",
      "audit_status": "not_inspected",
      "evidence": "Theorem \\ref{thm:main} is also motivated in part by a question of Gromov and Piatetski-Shapiro \\cite[Qn.\\ 0.4]{GPS}."
    },
    {
      "bibliography_key": "FLMS",
      "role": "background",
      "locator": "",
      "audit_status": "not_inspected",
      "evidence": "In a prior paper with J.-F.\\ Lafont, the last three authors proved that a large class of nonarithmetic hyperbolic $n$-manifolds, including all the hybrids constructed by Gromov and Piatetski-Shapiro, have only finitely many maximal totally geodesic submanifolds \\cite{FLMS}."
    },
    {
      "bibliography_key": "MM",
      "role": "background",
      "locator": "",
      "audit_status": "not_inspected",
      "evidence": "The case when $M$ is a closed hyperbolic $3$-manifold was very recently and independently proved by Margulis and Mohammadi \\cite{MM}."
    },
    {
      "bibliography_key": "MMO",
      "role": "background",
      "locator": "",
      "audit_status": "not_inspected",
      "evidence": "For convex cocompact acylindrical $3$-manifolds, this result already follows from work of McMullen--Mohammadi--Oh \\cite{MMO, MMO2} and Theorem \\ref{thm:main}."
    },
    {
      "bibliography_key": "MMO2",
      "role": "background",
      "locator": "",
      "audit_status": "not_inspected",
      "evidence": "For convex cocompact acylindrical $3$-manifolds, this result already follows from work of McMullen--Mohammadi--Oh \\cite{MMO, MMO2} and Theorem \\ref{thm:main}."
    },
    {
      "bibliography_key": "MargulisICM",
      "role": "background",
      "locator": "",
      "audit_status": "not_inspected",
      "evidence": "Our approach to proving Theorem \\ref{thm:main} is inspired by the Margulis superrigidity and arithmeticity theorems \\cite{MargulisICM, MargulisSuperrigidity}."
    },
    {
      "bibliography_key": "MargulisSuperrigidity",
      "role": "background",
      "locator": "",
      "audit_status": "not_inspected",
      "evidence": "Our approach to proving Theorem \\ref{thm:main} is inspired by the Margulis superrigidity and arithmeticity theorems \\cite{MargulisICM, MargulisSuperrigidity}."
    },
    {
      "bibliography_key": "BorelCrelle",
      "role": "background",
      "locator": "",
      "audit_status": "not_inspected",
      "evidence": "This theorem also holds in rank one and is the full converse to a theorem of Borel \\cite{BorelCrelle}."
    },
    {
      "bibliography_key": "MRTG",
      "role": "background",
      "locator": "",
      "audit_status": "not_inspected",
      "evidence": "This observation is one of the motivations for the question answered by Theorem \\ref{thm:main} and was perhaps first made precise in dimension $3$ by Maclachlan--Reid and Reid \\cite{MRTG, ReidTG}, who also exhibited the first hyperbolic $3$-manifolds with no totally geodesic surfaces."
    },
    {
      "bibliography_key": "ReidTG",
      "role": "background",
      "locator": "",
      "audit_status": "not_inspected",
      "evidence": "This observation is one of the motivations for the question answered by Theorem \\ref{thm:main} and was perhaps first made precise in dimension $3$ by Maclachlan--Reid and Reid \\cite{MRTG, ReidTG}, who also exhibited the first hyperbolic $3$-manifolds with no totally geodesic surfaces."
    },
    {
      "bibliography_key": "RatnerDuke",
      "role": "background",
      "locator": "",
      "audit_status": "not_inspected",
      "evidence": "We have a $W$-action on $G/\\Gamma$, and results of Ratner classify the $W$-invariant ergodic measures for this action \\cite{RatnerDuke}."
    },
    {
      "bibliography_key": "BrownFisherHurtado",
      "role": "background",
      "locator": "",
      "audit_status": "not_inspected",
      "evidence": "For example, see work of Brown, Hurtado, and the second author on Zimmer's conjecture \\cite{BrownFisherHurtado,BrownFisherHurtado2}."
    },
    {
      "bibliography_key": "BrownFisherHurtado2",
      "role": "background",
      "locator": "",
      "audit_status": "not_inspected",
      "evidence": "For example, see work of Brown, Hurtado, and the second author on Zimmer's conjecture \\cite{BrownFisherHurtado,BrownFisherHurtado2}."
    },
    {
      "bibliography_key": "ZimmerCSR",
      "role": "background",
      "locator": "",
      "audit_status": "not_inspected",
      "evidence": "There is also an analogous \\emph{superrigidity for cocycles} that follows from the same proof, and which provides some partial technical results towards questions raised by results of Zimmer and Bader--Furman--Sauer \\cite{ZimmerCSR, BFS}."
    },
    {
      "bibliography_key": "BFS",
      "role": "background",
      "locator": "",
      "audit_status": "not_inspected",
      "evidence": "There is also an analogous \\emph{superrigidity for cocycles} that follows from the same proof, and which provides some partial technical results towards questions raised by results of Zimmer and Bader--Furman--Sauer \\cite{ZimmerCSR, BFS}."
    },
    {
      "bibliography_key": "Rolfsen",
      "role": "background",
      "locator": "Link tables",
      "audit_status": "not_inspected",
      "evidence": "Let $N$ be the complement in $S^3$ of the $3$-chain link, which is also called $6_1^3$ in the Rolfsen tables \\cite{Rolfsen}."
    },
    {
      "bibliography_key": "MaclachlanReid",
      "role": "background",
      "locator": "Section 9.2",
      "audit_status": "not_inspected",
      "evidence": "Then $N$ is arithmetic \\cite[\\S 9.2]{MaclachlanReid}."
    },
    {
      "bibliography_key": "Thurston",
      "role": "background",
      "locator": "Example 6.8.10",
      "audit_status": "not_inspected",
      "evidence": "Moreover, $N$ is obtained from trivial Dehn filling on one component of the four component arithmetic link complement given in \\cite[Ex.\\ 6.8.10]{Thurston}, also known as L12n2210."
    },
    {
      "bibliography_key": "CooperLong",
      "role": "background",
      "locator": "",
      "audit_status": "not_inspected",
      "evidence": "We also note that it is frequently the case that a $\\pi_1$-injective surface in a $3$-manifold remains $\\pi_1$-injective under Dehn filling (e.g., see \\cite{CooperLong})."
    },
    {
      "bibliography_key": "Meyer",
      "role": "background",
      "locator": "Final remarks",
      "audit_status": "not_inspected",
      "evidence": "In this case, every arithmetic hyperbolic manifold either contains maximal totally geodesic submanifold of codimension $1$ or $2$ (see \\cite{Meyer}), hence having infinitely many such submanifolds again characterizes arithmeticity."
    },
    {
      "bibliography_key": "Marden",
      "role": "unclassified",
      "locator": "Bibliography only",
      "audit_status": "not_inspected",
      "evidence": "\\bibitem{Marden}\nA.~Marden.\n\\newblock {\\em Outer circles}."
    }
  ],
  "overall_assessment": {
    "validity_score": 63,
    "summary": "The manuscript has a coherent and powerful architecture, with a particularly clear separation between homogeneous dynamics and a measure-based superrigidity mechanism. However, the supplied version contains a demonstrable misstatement in Proposition 3.1, several incorrect assertions and untreated cases in the compatibility proof, and substantive missing justification in the algebraic lifting and distinct-place reductions. These findings do not disprove the main arithmeticity theorem, but they prevent certification of its supplied proof as complete.",
    "critical_issues": [
      "Proposition 3.1(3) admits the constant Haar sequence, so the asserted equivalence is not correct as literally stated.",
      "Lemma 3.5 does not establish compatibility in all dimensions: its almost-simplicity assertion fails at n=5, its Levi comparison does not exclude n=4 and n=7 alternatives, and two subsequent assertions about orthogonal transitivity and unipotent elements are false.",
      "Proposition 3.4 requires a rigorous algebraic-closure and field-of-definition argument, plus a valid proof of subdirectness in the nonsimple D_2 case.",
      "The restriction-of-scalars procedure in Section 3.2 does not automatically create an absolutely simple target over the original local field.",
      "The exact result-bearing pre-cutoff versions of essential preprint inputs have not been established."
    ],
    "minor_issues": [
      "The converse in Corollary 1.2 needs the existence of a totally geodesic surface in the figure-eight complement, not arithmeticity alone.",
      "Theorem 1.6's A-initiality step cites a normalizer lemma that does not directly imply the stated restriction result; a short categorical repair is available.",
      "Lemma 3.2 contains an overbroad converse about transitive subgroups and uses embedded-subbundle language for immersed subspaces.",
      "The notation calS is undefined, probability normalization is occasionally implicit, and equation (3.1) should exclude T=0.",
      "Section 5.1 says that if either M or N is nonarithmetic, then both contain only finitely many surfaces. Theorem 1.1 establishes finiteness for the nonarithmetic member; that suffices for the intended application but not for the sentence as written.",
      "The bibliographic entries RatnerDuke and RatnerOrbitClosure duplicate the same article, and the Thurston URL is malformed."
    ],
    "strengths": [
      "The main proof dependencies are substantially acyclic and can be separated into independently checkable modules.",
      "The maximality argument converting support containment into Haar equidistribution is effective.",
      "The exterior-power construction provides a concrete bridge from geodesic subspaces to invariant projective-bundle measures.",
      "The special tensor-representation calculation in dimension three can be checked directly and supports the intended faithful representation.",
      "The superrigidity proof identifies compatibility as a precise, reusable hypothesis rather than hiding it inside the dynamical argument.",
      "The Dehn-filling application uses a genuinely different representation and explains why arithmeticity alone does not address that setting."
    ]
  },
  "_public_provenance": {
    "origin": "returned_native_final_assessment_not_campaign_verdict",
    "model": "gpt-6.1-sol",
    "effort": "high",
    "provider": "openai",
    "manuscript_sha256": "6776902687fa24498e9bc0084edb02b1630009b90b7b06a7e2fba0e6d697397c",
    "review_input_sha256": "6776902687fa24498e9bc0084edb02b1630009b90b7b06a7e2fba0e6d697397c",
    "original_assessment_sha256": "82b1e08dc91a15d234c4996b46bcaf8f634a7d813a9708fd708aa27a7993c044",
    "note": "Original final assessment fields retained; embedded roadmap and private provider/run metadata omitted. No raw reasoning stream is exported."
  }
}