Critical-exponent exhaustions and the ergodic endpoint

Definitions and mathematical statement

This source fragment is not an autonomous problem. The supplied verification says that the "Problem 4.1" label is false: on page 5 of the AIM PDF the first paragraph comments on Problem 4.3, while the second introduces Problem 4.4. The pronoun "He," the construction, and its proposed dependence on ergodic properties are not defined by this record. No independent ergodic conjecture is inferred from the splice.

The contextual setup uses an infinitely generated Fuchsian group $\Gamma=\Gamma_0$ of the first kind and the quotient $O=\mathbb H^2/\Gamma$. First kind means its limit set is the full ideal circle; it does not supply any additional endpoint convergence assumption. Allow an orbifold quotient unless torsion-freeness is imposed. Fix a common basepoint and take nested compact connected suborbifolds or admissible compact neighborhoods $K_n$ whose interiors exhaust $O$. Interpret the subgroup "carried" by $K_n$ as the image \[ \Gamma_n=\operatorname{im}\left(\pi_1^{\mathrm{orb}}(K_n) \to\pi_1^{\mathrm{orb}}(O)=\Gamma\right), \] with common basepoint conventions, rather than assuming every inclusion is injective. Then $\Gamma_n\subset\Gamma_{n+1}$ and $\bigcup_n\Gamma_n=\Gamma$. Metric balls require the same image-subgroup interpretation. Compact-cofinal interior exhaustions, not arbitrary set-theoretic unions, ensure that two such systems are mutually directed-cofinal.

For a subgroup $H\leq\Gamma$ and fixed $z\in\mathbb H^2$, define \[ P_H(s)=\sum_{\gamma\in H}e^{-s\,d(z,\gamma z)},\qquad \delta(H)=\inf\{s\geq0:P_H(s)<\infty\}. \] The aid invokes Sullivan's 1979 union theorem to assert \[ \delta(\Gamma_n)\nearrow\delta(\Gamma). \] For $0\leq s<\delta(\Gamma)$ this implies $P_{\Gamma_n}(s)=\infty$ for every sufficiently large $n$. For $s>\delta(\Gamma)$, monotone summation over the increasing union gives \[ P_{\Gamma_n}(s)\nearrow P_\Gamma(s)<\infty. \] At the endpoint the exact extended-real identity is \[ P_\Gamma(\delta(\Gamma)) =\sup_n P_{\Gamma_n}(\delta(\Gamma)). \] Consequently $\Gamma$ is of divergence type exactly when those endpoint finite-stage sums are unbounded, allowing individual sums to be infinite. This does not require a finite stage itself to be of divergence type at the ambient exponent, and critical-exponent convergence alone does not decide the endpoint. Mutually cofinal exhaustions yield the same limiting exponent and the same endpoint test.

These are the supplied aid's precise exhaustion statements. They do not identify the omitted construction in Problem 4.3 or replace the missing full question of Problem 4.4.

Short English statement

This entry splices context from two different AIM problems and is not a separate question. The supplied mathematical synthesis interprets finite-stage groups as images carried by a compact exhaustion. Their critical exponents approach the ambient one, while divergence at that exponent is determined by whether the finite-stage Poincaré sums remain bounded.

Sources

• Local UnsolvedMath registry, permanent ID $20003116$, source code catalogue entry; canonical location aim-topology-notes.json, notes[203].
• AIM Lipschitz metric on Teichmueller space, https://aimath.org/pastworkshops/lipschitzteichproblems.pdf. The supplied verification identifies page 5 as a splice of commentary on Problem 4.3 and introductory context for Problem 4.4, with a false extracted "Problem 4.1" label. No PDF was accessed for this draft.
• Sullivan's 1979 union theorem, named in the attached summary without a paper title or full reference.
• Research attempt 1 is marked context-only and not-a-problem, despite the registry open/problem labels. It carries proved and low-novelty metadata plus the explicit machine-generated, non-peer-reviewed research-aid warning requiring independent verification before citation.