bibkey: klukowski2024congruence authors: Adam Klukowski year: 2024 title: Congruence subgroup property for nilpotent groups and subsurface subgroups of Mapping Class Groups doi: null url: https://arxiv.org/abs/2411.06867v2 claim: Finite characteristic quotients define congruence subgroups; the paper proves congruence separability for solvable subgroups and formulates a curve-orbit congruence-control conjecture. strata_touched:
- D5/S3/Observer/Dynamics/SurfaceTwistCongruence
- D5/S3/Observer/Dynamics/SurfaceDerivedOrbitDetector license: citation-only triage: anchor
Surface congruence and finite nonabelian observations
Verified locator
Adam Klukowski, Congruence subgroup property for nilpotent groups and subsurface subgroups of Mapping Class Groups (2024). No DOI is assigned in this catalog entry. https://arxiv.org/abs/2411.06867v2
Source scope
Definition 3 defines congruence subgroups using finite characteristic quotients and their induced outer actions. Corollary 7 proves congruence separability of solvable mapping-class subgroups; Theorem 8 treats subsurface subgroups. Corollaries 10 and 11 treat sufficiently large multicurves and intersections with principal congruence kernels. Lemma 14’s composition criterion requires both restricted CSP and a congruence condition on all finite-index subgroups containing the chosen subgroup.
Conjecture 13 asks whether, for every finite-index Gamma and simple closed curve alpha, there is a congruence subgroup Delta with Delta.alpha contained in Gamma.alpha. A cyclic twist detector does not supply that full orbit inclusion. The introduction distinguishes punctured genus one from the closed torus, whose usual SL2(Z) action on Z^2 lacks CSP.
Correspondence to the theory
Sections 1-9 of SURFACE_CONGRUENCE_OBSERVERS construct the characteristic quotient from all representations into the dihedral group of order 8m. The partial-conjugation twist has exact outer period m. The explicit target and matching upper and lower bounds are not attributed to a numbered result of Klukowski; the qualitative cyclic-subgroup consequence is already known.
Sections 10-15 use u=[[a1,a2],[b1,b3]] in genus at least three. A relator-compatible seven-dimensional family has rho_t(tau^n(u))=I-(n+t)E17. The all-GL7(Z/m) evaluation quotient has a fully invariant kernel. Conjugacy forces modular equality, and for natural times below m it is equivalent to equality. The exact all-time period for the smaller unitriangular target and the class-six threshold are separate results in Section 14.
The word u is second-derived and cannot represent an essential simple closed curve. Church and Pixton, Separating twists and the Magnus representation of the Torelli group, https://arxiv.org/abs/0804.3633, provide related separating-twist context, not the displayed seven-dimensional formula.
Sections 16-21 combine the Johnson filtration with a fixed nonabelian finite simple quotient to obstruct all finite characteristic nilpotent observations for one simple-curve pair. The published inputs include Masbaum and Reid, DOI 10.2140/gt.2012.16.1393, and Putman, https://arxiv.org/abs/0904.0467. The same target homomorphism must remain surjective on the Torelli group; a separately existing Torelli quotient is insufficient.
The additional outer-trivial quantum applications in Sections 19-20 use Detcherry, Godfard and Santharoubane, https://arxiv.org/abs/2607.09633v1, Theorem 9.7 and its extension construction. They retain that preprint’s source dependency. Section 21’s all-epimorphism simple-target family gives a finite paired-image criterion, conditional on the stated solvability of Out(S).
Boundaries
Neither the matrix word nor an individual representation substitutes for a simple curve or an all-representation characteristic kernel. No all-time converse is asserted for the larger GL7 evaluation quotient. The constructions do not resolve Conjecture 13, the general higher-genus CSP, or the specified quantum-kernel congruence question, and do not produce a successful simple target for the paired-image criterion.