{"id":"bbbf8593-d702-43e1-a70f-d708adb33ea8","arxiv_id":"2502.07271","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":0.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A survey of recent work showing that Patterson-Sullivan theory, including shadow lemmas and the Hopf-Tsuji-Sullivan dichotomy, extends to transverse subgroups of SL(d,R), with applications to Anosov and relatively Anosov groups.","lead":"This paper surveys recent work on the geometry and dynamics of transverse subgroups of semi-simple Lie groups, focusing on Patterson-Sullivan measures and their consequences. It explains how classical results about hyperbolic surfaces, such as ergodicity of geodesic flow and counting of closed geodesics, generalize to higher-rank settings.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified; the only concrete defect is the undefined symbol Q in Theorem 6.1, which appears to be a typo for P⁽ᵣᵕᵔ³ᴵ⁾.","rationale":"The reader identified Theorem 5.1 as the weakest assumption, but the paper itself weakens that concern by stating in Section 5 that the projective-geometry tool can be bypassed and by presenting in Section 7.2 a GPS-based Hopf-Tsuji-Sullivan dichotomy (Theorem 7.1) for transverse groups. The survey is expository and does not claim new theorems; its central statement is quoted from published work. I found no hidden assumption or circular dependency. The undefined symbol Q in Theorem 6.1 is real and should be fixed, but it is a notational typo, not a mathematical gap. For these reasons the appropriate disposition is to keep the reader's CONDITIONAL verdict unchanged, conditioned on the trivial correction of Q to P⁽ᵣᵕᵔ³ᴵ⁾ and on the usual verification of the cited results.","tokens_in":25425,"tokens_out":15771,"duration_ms":144972,"concrete_test":"Check Theorem 6.1 against [19, Theorem 1.4] and the definition of the Poincaré series in Section 4. If Q⁽ᵣᵕᵔ³ᴵ⁾ is never defined elsewhere, replace it with P⁽ᵣᵕᵔ³ᴵ⁾; if the published theorem uses a different series, correct the survey's statement accordingly.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I do not find a load-bearing mathematical concern. This is an expository survey whose central theorem (6.1) is a restatement of the published theorem [19, Thm 1.4]. The reader's weakest assumption (Theorem 5.1) is cited without proof, but the survey explicitly notes in Section 5 that the projective-visibility tool can be bypassed by the GPS framework of Kim-Oh-Wang and Blayac-Canary-Zhu-Zimmer, and Section 7.2 states a general Hopf-Tsuji-Sullivan dichotomy (Theorem 7.1) that applies to transverse groups via Proposition 7.3. Thus even if Theorem 5.1 had a gap, the main ergodicity and conical-density claims would still have an independent route. The one concrete defect is that Theorem 6.1 and Theorem 6.2 use Q⁽ᵣᵕᵔ³ᴵ⁾(δ), which is never defined; internal consistency with Section 4 and all other statements indicates Q is a typo for the Poincaré series P⁽ᵣᵕᵔ³ᴵ⁾(δ). That is a presentational flaw, not a correctness risk.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper is a survey of Patterson–Sullivan theory and dynamical properties of transverse subgroups of SL(d,R). It develops the classical Fuchsian theory as motivation, introduces divergent/transverse groups and the associated φ-Poincaré series, φ-Patterson–Sullivan measures, and a shadow lemma via projective visibility. It then constructs flow spaces and Bowen–Margulis–Sullivan measures, states a Hopf–Tsuji–Sullivan dichotomy for transverse groups (Theorem 6.1), and surveys recent work by Kim–Oh–Wang, the GPS framework of Blayac–Canary–Zhu–Zimmer, and applications to relatively Anosov groups and counting problems. The exposition is largely a summary of the authors' own published work and closely related preprints, with proof sketches for several key statements.","tokens_in":25563,"tokens_out":10586,"duration_ms":85961,"significance":"If the technical statements are accurate, this is a useful and timely survey of an active area. It collects many precise theorems (e.g., Theorem 6.1, Theorem 7.4) with references to published papers or widely circulated preprints, and it explicitly notes alternative routes to the main results (Section 5 and Section 7.2), so the survey does not rely solely on the unproved Theorem 5.1. The inclusion of the GPS framework gives an independent path to the HTS dichotomy and counting results, which strengthens the survey's value. The proof sketches are generally consistent with the classical theory and convey the main ideas. The manuscript is clearly organized and will likely be useful to researchers entering the subject.","major_comments":[{"comment":"The measure defined as d\\tilde m(w,z,t) := e^{-\\delta_\\varphi(\\Gamma)\\,\\varphi(G(\\xi(w),\\xi(z)))} d\\bar\\mu(w)d\\mu(z)ds(t) cannot be \\Gamma_0-invariant given the relation displayed immediately above it. With the stated relation \\varphi(G(AF_1,AF_2)) - \\varphi(G(F_1,F_2)) = -\\bar\\sigma_\\varphi(A,F_1) - \\sigma_\\varphi(A,F_2), the exponent should be +\\delta_\\varphi(\\Gamma)\\,\\varphi(G(\\xi(w),\\xi(z))), not negative; as written, the measure transforms with an extra factor involving 2\\delta(\\bar\\sigma_\\varphi+\\sigma_\\varphi). This sign inconsistency also conflicts with Section 7.2, where the BMS measure is defined with e^{+\\delta G} and Proposition 7.3 asserts that (\\sigma_\\varphi, \\bar\\sigma_\\varphi, \\varphi\\circ G) is a GPS system. Please correct either the sign in the displayed relation or the sign in the measure; the current formula is not invariant and the proof sketch of Theorem 6.1 is therefore not self-consistent.","section":"§6, displayed formula for d\\tilde m"}],"minor_comments":[{"comment":"The symbols Q_\\varphi^\\Gamma(\\delta) are never defined. Judging from the surrounding text and the analogous statements in Sections 2 and 7, Q is evidently a typo for the φ-Poincaré series P_\\varphi^\\Gamma(\\delta); please replace it in all three occurrences.","section":"§6, Theorems 6.1, 6.2, Corollary 6.3"},{"comment":"In both bullets of Theorem 2.7 the notation P_\\varphi^\\Gamma(\\delta) appears, but no φ has been defined in the Fuchsian setting; it should be the classical Poincaré series P_\\Gamma(\\delta).","section":"§2, Theorem 2.7"},{"comment":"The notation ℓ_\\varphi(\\gamma) is used without definition. It apparently denotes the φ-length φ(ν_θ(\\gamma)) (the Jordan projection analog), but this should be stated explicitly, especially since ℓ_σ is not introduced in this section.","section":"§6, Theorem 6.2"},{"comment":"The displayed formula has a missing closing parenthesis in the exponential: e^{-\\delta_\\varphi(\\Gamma)\\,\\varphi(G(\\xi(w),\\xi(z))} should read e^{-\\delta_\\varphi(\\Gamma)\\,\\varphi(G(\\xi(w),\\xi(z)))}.","section":"§6, displayed formula for d\\tilde m"},{"comment":"There is a typo: 'copact' should be 'compact' in the paragraph on convergence group actions.","section":"§3"},{"comment":"In the remark following Corollary 6.3, 'Hichin' should be 'Hitchin'.","section":"§6, Remark"}],"recommendation":"major_revision","confidential_remarks":"The sign error in Section 6 is the only substantive mathematical issue I found. It should be resolved before publication, ideally by comparing directly with [19, Thm. 1.4] and [8, Prop. 10.3]. The paper is heavily based on the authors' own work, which is normal for a survey, and the alternative routes cited in Section 7 mitigate the reliance on Theorem 5.1. The undefined symbols are typos that would not affect the validity of the cited theorems."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is a survey, not a research paper. It restates results the authors proved elsewhere, and even the one \"new corollary\" (Cor 5.5) is pulled from their earlier paper [19]. So if you are looking for a new theorem, you will not find one. But as a survey it is genuinely good: the classical Fuchsian case is laid out carefully, the machinery of partial flags, Busemann cocycles, and Poincaré series is built up patiently, and the text is honest about which tools are needed and where the proofs live.\n\nThe paper's real value is expository. The projective-visibility tool (Theorem 5.1) is explained in a way that makes the later shadow lemma and flow space construction understandable, and the survey is upfront that Kim–Oh–Wang and Blayac–Canary–Zhu–Zimmer have since given an alternative GPS route that bypasses this tool. The proof sketches in the Fuchsian setting are nice pedagogical choices, and the statements of the main dichotomy (Theorem 6.1) and its recent generalizations are clean.\n\nSoft spots, in proportion to how soft they are. The undefined symbol Q in Theorems 6.1 and 6.2 is a real typo—it should almost certainly be the Poincaré series P—and since that theorem is the centerpiece, the authors should fix it. The survey leans heavily on the authors' own papers [18, 19, 20] for the central results. That is normal for a survey of one's own theory, and those results are established in full elsewhere, so I do not see a circularity problem. Theorem 5.1 is cited without proof, but the survey itself points to the GPS alternative, and Proposition 7.3 gives an independent route to the main ergodicity claims, so even a gap there would not be load-bearing. The label \"new corollary\" for Cor 5.5 is a bit misleading—it is new to this survey, but not new mathematics—and the authors should rephrase or simply cite it as a consequence.\n\nWho is this for? Graduate students or researchers entering higher-rank Patterson–Sullivan theory, and people working on Anosov representations who want a concise map of recent results. It deserves a serious referee: a survey needs careful checking of citations and statements, and this one is mostly careful but not flawless. I would send it out for review, with a request to fix the notation and adjust the \"new\" language. My own verdict would be minor revision.","headline":"A clear, useful survey of Patterson–Sullivan theory for transverse groups; nothing new, but a solid entry point, with one notation typo and heavy reliance on the authors' own prior papers.","tokens_in":26190,"tokens_out":1575,"would_cite":true,"duration_ms":16166,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37D40","22E40","20F65"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper establishes a Hopf–Tsuji–Sullivan dichotomy for transverse subgroups of SL(d,R): divergence of the φ-Poincaré series at the critical exponent forces a unique Patterson–Sullivan measure with full conical measure and ergodic…","keywords":["transverse subgroups","Patterson–Sullivan measures","Hopf–Tsuji–Sullivan dichotomy","Anosov subgroups","relatively Anosov subgroups","shadow lemma","Hilbert geometry","critical exponent"],"falsifier":"Take a specific non-Anosov $P_\\theta$-transverse group, for instance a Zariski dense subgroup of $\\mathrm{SL}(3,\\mathbb{R})$ built by a ping-pong on partial flags, and compute its $\\alpha_1$-Poincaré series at the critical exponent; check whether divergence coincides with the conical limit set having full $\\alpha_1$-Patterson–Sullivan measure and with ergodicity of the action on the square of the limit set. A single violation would refute Theorem 6.1, and a failure to realize the group by a projectively visible domain would refute Theorem 5.1.","tokens_in":25124,"feed_emoji":"🌀","tokens_out":9293,"duration_ms":74788,"temperature":0.7,"pith_summary":"This survey argues that a classical dichotomy for hyperbolic surfaces survives in the higher-rank setting of transverse subgroups of $\\mathrm{SL}(d,\\mathbb{R})$. The dichotomy is governed by whether the $\\varphi$-Poincaré series diverges at its critical exponent. Divergence forces a unique Patterson–Sullivan measure supported on the conical limit set and an ergodic, conservative action of the group on pairs of limit points; convergence forces the conical limit set to have measure zero and the action to be dissipative. The authors establish this by embedding any transverse group into a convex projective domain, where shadows and a geodesic flow can be defined through Hilbert geometry, and then importing the shadow lemma and the classical ergodicity argument for flows. A sympathetic reader should care because these tools yield counting asymptotics, growth gaps, Hausdorff dimension calculations, and rigidity of critical exponents for Anosov and relatively Anosov groups.","feed_headline":"Transverse groups obey a sharp ergodicity dichotomy","feed_subtitle":"Divergence of the Poincaré series controls Patterson–Sullivan uniqueness and ergodicity.","key_machinery":"The load-bearing object is the projective-geometry correspondence of Theorem 5.1, which realizes a given $P_\\theta$-transverse group $\\Gamma$ as a projectively visible subgroup $\\Gamma_0$ of the automorphism group of a properly convex domain $\\Omega$ in real projective space, with an equivariant homeomorphism between the two limit sets. Using Hilbert-metric shadows in $\\partial\\Omega$, the paper defines shadows in the higher-rank limit set and proves an analogue of the shadow lemma: the Patterson–Sullivan measure of the shadow of $\\gamma(b_0)$ is comparable to $e^{-\\delta_\\varphi(\\Gamma)\\,\\varphi(\\kappa_\\theta(\\rho(\\gamma)))}$. The same correspondence yields a Hopf parametrization of a flow space $\\widetilde U(\\Gamma_0)=\\Lambda_\\Omega(\\Gamma_0)^{(2)}\\times \\mathbb{R}$, on which the two Patterson–Sullivan measures $\\bar\\mu$ and $\\mu$ are paired through a Gromov product to build a Bowen–Margulis–Sullivan measure; the classical ergodicity argument applied on this flow space produces the dichotomy.","core_discovery":"The central claim, stated as Theorem 6.1, is a Hopf–Tsuji–Sullivan dichotomy for every non-elementary $P_\\theta$-transverse subgroup $\\Gamma \\subset \\mathrm{SL}(d,\\mathbb{R})$ and every $\\varphi \\in \\mathfrak{a}^*_\\theta$ with finite critical exponent $\\delta = \\delta_\\varphi(\\Gamma)$. If the Poincaré series diverges at $\\delta$, then there is a unique $\\varphi$-Patterson–Sullivan measure $\\mu$ and a unique $\\bar\\varphi$-Patterson–Sullivan measure $\\bar\\mu$; the conical limit set has full measure for both, the $\\Gamma$-action on the square of the limit set with measure $\\bar\\mu \\otimes \\mu$ is conservative and ergodic, and the individual actions on the limit set are ergodic. If the Poincaré series converges at $\\delta$, then the conical limit set has measure zero for every Patterson–Sullivan measure and the action on the square is dissipative and non-ergodic. Surrounding results give a Brooks-type growth gap for subgroups, divergence of the Poincaré series for relatively Anosov groups, Hausdorff dimension bounds for conical limit sets of $(1,1,2)$-hypertransverse groups, critical exponents at most one for cusped Hitchin representations, and concavity of the critical exponent as a function on $\\mathfrak{a}^*_\\theta$.","pith_inferences":["Because the projective-visibility route is bypassed by the Weyl-chamber flow and GPS approaches surveyed in Section 7, the dichotomy is likely a property of expanding cocycle pairs on convergence groups rather than of the linear structure of $\\mathrm{SL}(d,\\mathbb{R})$; one could try to axiomatize Theorem 6.1 in that generality.","The Hausdorff-dimension identity for hypertransverse groups suggests a testable refinement: for non-hypertransverse Anosov representations, compare $\\delta_{\\alpha_1}(\\Gamma)$ with the dimension of the conical limit set to see where the equality fails and whether a modified weight restores it.","The concavity result for $\\delta_\\varphi$ may connect to pressure-metric and entropy-rigidity questions in higher Teichmüller theory; a concrete next step is to test whether strict concavity persists when the divergence condition is replaced by convergence of the regularized series."],"forward_implications":["Every $P_\\theta$-relatively Anosov group with $\\delta_\\varphi(\\Gamma)<\\infty$ has divergent Poincaré series at the critical exponent, so its $\\varphi$-Patterson–Sullivan measure is unique and the $\\Gamma$-action on the limit set is ergodic.","Torsion-free $P_\\theta$-relatively Anosov groups satisfy the counting law $\\#\\{[\\gamma]\\in[\\Gamma_{\\mathrm{lox}}]:0<\\varphi(\\lambda(\\gamma))\\le R\\}\\sim e^{\\delta R}/(\\delta R)$.","For cusped Hitchin representations, every simple-root critical exponent satisfies $\\delta_{\\alpha_k}(\\Gamma)\\le 1$, with equality exactly when the underlying Fuchsian group is a lattice.","For Zariski dense transverse groups, the critical-exponent function $\\varphi\\mapsto\\delta_\\varphi(\\Gamma)$ is strictly concave along segments where the Poincaré series diverges at the critical exponent.","For $P_\\theta$-Anosov groups, the $\\theta$-limit set is either null for the ambient Lebesgue-class measure or is the entire flag manifold, in which case the group is a uniform lattice in a rank-one Lie group."],"supporting_citations":[{"why":"Contains the projective-visibility theorem, the shadow lemma, and the Hopf–Tsuji–Sullivan dichotomy that the survey presents.","marker":"[19]"},{"why":"Provides divergence of the Poincaré series at the critical exponent for relatively Anosov groups, used in Theorem 5.6.","marker":"[20]"},{"why":"Introduced transverse groups and proved the convergence-group action of the limit set (Proposition 3.1).","marker":"[39]"},{"why":"The classical shadow lemma and ergodicity dichotomy in the hyperbolic setting that the survey generalizes.","marker":"[58]"},{"why":"The original construction of Patterson–Sullivan measures, adapted in Theorem 4.1.","marker":"[50]"},{"why":"The classical critical-exponent-gap argument for subgroups, which yields Theorem 5.4.","marker":"[24]"},{"why":"Earlier ergodicity and divergence results for Anosov groups that the survey extends.","marker":"[57]"},{"why":"An alternate flow-space construction that recovers the main results and is surveyed in Section 7.1.","marker":"[41]"},{"why":"The general cocycle/GPS framework whose dichotomy is stated as Theorem 7.1.","marker":"[7]"},{"why":"Counting and mixing results for GPS systems, used for the relatively Anosov counting theorem.","marker":"[8]"}],"fun_headline_variants":["Transverse groups: Poincaré divergence dictates ergodicity","Hopf–Tsuji–Sullivan dichotomy for transverse groups","Ergodicity of transverse groups from Poincaré series","Sharp ergodicity dichotomy for transverse groups"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The entire construction sits on Theorem 5.1, cited rather than proved here, which asserts that every $P_\\theta$-transverse subgroup can be presented as a projectively visible group on a convex domain with an equivariant identification of limit sets; if that theorem failed, the shadow estimates and flow space that produce the dichotomy would lose their foundation.","fun_headline_variants_meta":{"raw":{"variants":["Transverse groups: Poincaré divergence dictates ergodicity","Hopf–Tsuji–Sullivan dichotomy for transverse groups","Ergodicity of transverse groups from Poincaré series","Sharp ergodicity dichotomy for transverse groups"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001048,"raw_usage":{"total_tokens":4340,"prompt_tokens":820,"completion_tokens":3520,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":436,"completion_tokens_details":{"reasoning_tokens":3454}},"tokens_in":436,"tokens_out":3520,"duration_ms":22940,"temperature":1.0,"reasoning_tokens":3454,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-08T13:16:18.893288+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a specific non-Anosov $P_\\theta$-transverse group, for instance a Zariski dense subgroup of $\\mathrm{SL}(3,\\mathbb{R})$ built by a ping-pong on partial flags, and compute its $\\alpha_1$-Poincaré series at the critical exponent; check whether divergence coincides with the conical limit set having full $\\alpha_1$-Patterson–Sullivan measure and with ergodicity of the action on the square of the limit set. A single violation would refute Theorem 6.1, and a failure to realize the group by a projectively visible domain would refute Theorem 5.1.","supporting_citations":[{"cited_title":"The orbital counting problem for hyperc onvex representations,","cited_arxiv_id":null,"evidence_quote":"Earlier ergodicity and divergence results for Anosov groups that the survey extends."},{"cited_title":"Relatively Anosov groups: finiteness, measure of maximal entropy, and reparameterization","cited_arxiv_id":"2404.09745","evidence_quote":"An alternate flow-space construction that recovers the main results and is surveyed in Section 7.1."},{"cited_title":"Entropy rigidity for cusped Hitchin representations,","cited_arxiv_id":null,"evidence_quote":"Contains the projective-visibility theorem, the shadow lemma, and the Hopf–Tsuji–Sullivan dichotomy that the survey presents."},{"cited_title":"Patterson–Sullivan measures for transverse groups,","cited_arxiv_id":null,"evidence_quote":"Provides divergence of the Poincaré series at the critical exponent for relatively Anosov groups, used in Theorem 5.6."},{"cited_title":"Relativizing characterizati ons of Anosov subgroups I,","cited_arxiv_id":null,"evidence_quote":"Introduced transverse groups and proved the convergence-group action of the limit set (Proposition 3.1)."},{"cited_title":"A report on an ergodic dichotomy,","cited_arxiv_id":null,"evidence_quote":"The classical shadow lemma and ergodicity dichotomy in the hyperbolic setting that the survey generalizes."},{"cited_title":"Some examples of Fuchsian groups,","cited_arxiv_id":null,"evidence_quote":"The original construction of Patterson–Sullivan measures, adapted in Theorem 4.1."},{"cited_title":"Twiste d Patterson-Sullivan measures and applications to amenabi l- ity and coverings,","cited_arxiv_id":null,"evidence_quote":"The classical critical-exponent-gap argument for subgroups, which yields Theorem 5.4."},{"cited_title":"Patterson--Sullivan densities in convex projective geometry","cited_arxiv_id":"2106.08089","evidence_quote":"The general cocycle/GPS framework whose dichotomy is stated as Theorem 7.1."}],"review_version":1}