Profinite rigidity of simple closed curves in surface groups

Xiaoyu Xu; Zhongzi Wang

Profinite rigidity of simple closed curves in surface groups

T0 review · 0 major / 6 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read For any simple closed curve in a closed orientable surface group, every integer power of that element is profinitely rigid: matching images in all finite quotients force the element into the same automorphism class.

desk verdict A solid, genuinely new profinite-rigidity theorem for simple closed curves in surface groups, with a coherent three-part proof and only compressed spots in the geometry. read the letter →

arxiv 2607.16147 v1 pith:O5NG7UBH submitted 2026-07-17 math.GT math.GR

Zhongzi Wang , Xiaoyu Xu This is my paper

classification math.GTmath.GR MSC 20E1857K20

keywords profiniterigiditysurfacegroupssimpleclosedcurvesepimorphicimagesfinitecoversalgebraicintersectionnumberpro-psubgroupseparability

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper's central claim is that finite quotient data completely determines simple closed curves in the fundamental group of a closed orientable surface. Precisely, if two elements have the same epimorphic images in every finite group, and one is represented by a simple closed curve, then the other is also simple and has the same topological type—so the two are related by an automorphism of the surface group. This holds for all integer powers of simple closed curves. The proof works by translating self-intersection into a profinite invariant: a non-power curve is simple exactly when, in every standard finite cover, any two lifts have algebraic intersection number zero, and profinite Poincaré duality lets this geometric invariant be read off from finite quotient data. A corollary is a new algorithm to decide whether a group word represents a simple closed curve.

What carries the argument

The load-bearing object is the criterion that a closed curve is simple if and only if, in every standard characteristic cover, all pairs of its elevations have algebraic intersection number zero. To prove the forward direction, from a transverse self-intersection of a non-power geodesic the authors take two loops that run once around it from different directions; the lifted isometries generate a classical Schottky group—a free, purely hyperbolic two-generator group whose quotient is a one-holed torus. A standard subgroup separability result for surface groups gives a finite cover in which a compact neighborhood of the intersecting lifts embeds homeomorphically, and the n-th standard characte

What would settle it

Find a non-power, non-simple closed curve α on a closed orientable surface and an integer n such that every pair of elevations of α in the n-th standard characteristic cover has algebraic intersection number zero. A single such example would refute the criterion in Theorem 6.2 and with it the simplicity-detection step of the main theorem.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is a profinite characterization of simplicity and topological type. Theorem 1.3 states that for any γ in π1(Σ,∗) represented by a simple closed curve and any integer d, the element γ^d is profinitely rigid: any δ with the same images as γ^d under every epimorphism from the surface group to a finite group lies in the Aut(Γ)-orbit of γ^d. The decisive intermediate result is Theorem 6.2: a non-power closed curve α is simple if and only if any two elevations of α in any standard characteristic cover have algebraic intersection number zero. This turns a geometric self-intersection condition into algebraic intersection numbers of lifts, computable from profi

Load-bearing premise

The proof's load-bearing geometric premise is that surface groups are subgroup separable in the strong geometric sense: from any transverse self-intersection of a non-power geodesic, two loops around it generate a classical Schottky group and a finite cover of the surface embeds the one-holed torus neighborhood homeomorphically; if that finite-cover construction fails, the algebraic-intersection criterion for simplicity does not go through.

Editorial extensions

If this is right

If γ is simple, any δ profinitely equivalent to γ^d is in the same Aut(Γ)-orbit, so profinite data separate the finitely many topological types of simple closed curve elements.
The set of all elements represented by simple closed curves is closed in the profinite topology of a surface group.
There exists an algorithm—enumerating finite quotients by day and automorphisms by night—that decides whether a word in the standard generators represents a simple closed curve, though no complexity bound is obtained.
Powers are not a loophole: profinite equivalence preserves roots, so γ is rigid if and only if γ^d is rigid, and exponent data is encoded in finite quotient images.
The pro-p analogue fails: γ^m and γ^n are pro-p equivalent whenever they have the same p-adic valuation, so p-quotients cannot see the full geometric type.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Going beyond the paper, the elevation-intersection criterion suggests a route to recognizing simple curves in related groups where subgroup separability still holds, such as certain orbifold or relatively hyperbolic surface groups; a counterexample there would clarify how much of the argument is genuinely profinite rather than geometric.
The algorithm given by Corollary 1.5 has no effective complexity control, so a natural test is whether the shortest distinguishing finite quotient for a non-simple word is bounded by a computable function of the word length.
The pro-p counterexamples show that only p-adic valuations of exponents survive in pro-p completions; this suggests that any pro-p analogue of the theorem would need additional invariants beyond epimorphic images to finite p-groups.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

You should know two things about this one. First, the main theorem is real and new: in a closed orientable surface group, any element profinitely equivalent to a simple closed curve (or a proper power of one) is actually in its Aut-orbit. Prior element-level profinite rigidity was confined to free groups, so this is a genuine extension, not a repackaging. Second, the proof holds up. I went through the three-stage argument — non-power reduction via Minasyan's centralizer theorem, simplicity via algebraic-intersection numbers in standard characteristic covers, and topological type via profinite completions of collapsed quotients — and the logical dependencies are coherent. The profinite-cohomology machinery (cap products, naturality, Poincar\'e duality) is handled with care, and Proposition 6.4 is the right engine for comparing intersection numbers under profinite automorphisms.

The paper does several things well beyond the headline theorem. Corollary 1.5 gives an algorithm for recognizing simple closed curve words (though without a practical complexity bound), Corollary 1.6 shows the set of such elements is closed in the profinite topology, and Section 8 gives a clean pro-p counterexample via exotic automorphisms of profinite surface groups. The self-citation to Xu [25] appears in the pro-p section, not in the proof of Theorem 1.3, and it is used appropriately for efficient graph-of-groups decompositions.

Soft spots, in proportion: the geometric sufficiency direction of Theorem 6.2 is compressed. The step where a transverse self-intersection of a geodesic yields two loops f,g generating a classical Schottky group, and where Scott's LERF lemma gives a finite cover projecting a one-holed torus neighborhood homeomorphically, is asserted rather than expanded. The stress-test note checked this construction and found it sound; I agree it works, but a referee should ask the authors to write out a bit more detail there. There is also a small notational mismatch: Definition 5.10 phrases the cap product as cohomology-cohomology, while Lemma 6.5 uses the standard homology-cohomology cap product. It does not affect the argument, but it will confuse readers and should be fixed.

Who gets value from this: geometric group theorists working on profinite rigidity, and anyone interested in algorithmic recognition of simple curves. It is not a ``big theory rethink'' but it is a substantial, verifiable advance in a specific subfield. If I were handling it, I would send it to a serious referee rather than desk-reject. I would also cite it if I worked nearby. Bring it to a reading group if you want a clean example of profinite methods applied to surface topology.

Referee Report

0 major / 6 minor

Summary. The paper proves Theorem 1.3: in the fundamental group Γ of a closed orientable surface, every power γ^d of an element represented by a simple closed curve is profinitely rigid, i.e. any element with the same epimorphic images in every finite group lies in the Aut(Γ)-orbit of γ^d. The proof proceeds in three steps: (i) Minasyan's hereditary conjugacy separability is used to show that a profinitely equivalent element is a non-power with the same maximal root behavior; (ii) cohomological goodness, profinite Poincaré duality, and a Scott/LERF finite-cover construction (Theorem 6.2) are used to show that a non-power element profinitely equivalent to a simple curve is itself simple; (iii) the Dehn–Nielsen–Baer theorem and profinite completions of the quotients by normal closures are used to show the topological type is detected profinitely. Consequences include an algorithm for the simple-curve recognition problem and closedness of the simple-curve set in the profinite topology. The paper also shows the result fails for pro-p completions, with explicit counterexamples.

Significance. This is a substantial new contribution to profinite rigidity of elements in surface groups, a strong property previously established mainly for free groups. The proof is carefully structured and draws on independent published tools rather than assuming the conclusion; the central three-step argument is internally consistent and I found no load-bearing error. The geometric core — the characterization of simplicity via algebraic intersection numbers of elevations in standard characteristic covers — is credible and well supported by Scott's LERF theorem and standard Schottky-group facts. The paper also gives a new algorithm for the simple closed curve recognition problem and a clean pro-p counterexample, which are valuable additions. The main weaknesses are expositional: a few key inferences are compressed and some notation is inconsistent, but these do not undermine the central claims.

minor comments (6)

[Section 6.3, Proposition 6.4] The final inference "Varying n among all positive integers, we can deduce I = ±I'" is too terse. As written, one only has, for each n, a unit κ_n with I ≡ κ_n I' mod n. To get equality up to sign one should spell out the prime-power argument: for each prime p, the congruences modulo p^k force v_p(I)=v_p(I'), so I/I' is a rational number with trivial p-adic valuation for every p, hence I=±I'. This is a readability issue, not a mathematical gap.
[Section 5.2, Definition 5.10] The cap product is written in the form H^k(G,A) × H^l(G,B) → H^{k-l}(G,...), but Lemma 6.5 and Section 6.3 use the standard cap product H_2 × H^1 → H_1. Please correct the variance and the indices so that the notation matches the intended homology-cohomology cap product.
[Section 4.1, Proposition 4.2 and Corollary 4.5] The statement "C_{\hatΓ}(γ) = C_Γ(γ)" is missing an overline/closure on the right-hand side. Literally, the centralizer in the profinite completion cannot equal the discrete centralizer when the centralizer is infinite cyclic; the intended statement is C_{\hatΓ}(γ) = \overline{C_Γ(γ)}. The subsequent applications use the intended version.
[Section 6.2, Theorem 6.2 proof] The application of Scott [20, Lemma 1.4] is very compressed. Since this is the geometric heart of the sufficiency direction, please state the lemma and explain explicitly why the compact neighbourhood X projects homeomorphically into the constructed finite cover Σ'. The argument appears sound, but the current one-sentence citation makes verification harder.
[Section 2.1 and Section 3.1] There are several typographical slips: "indexed over indexed over" in Definition 2.1, "one one finds" and "presentaion" in the proof of Proposition 3.2. A careful proofreading pass is needed.
[Section 8.1, Proposition 8.2] The compatibility of the λ-multiplication on edge groups with the vertex isomorphisms is asserted only up to conjugacy. A brief explanation of how the edge generators are normalized in the pants decomposition would help the reader verify that the maps ϕ_e and ϕ_v are genuinely compatible.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main derivation is built on independent external theorems and does not use its conclusion as an input.

full rationale

The proof of Theorem 1.3 is self-contained in the relevant sense: it derives profinite rigidity of simple closed curves from external, published results rather than from the conclusion. Profinite equivalence is first converted, via Hanany–Meiri–Puder [9, Theorem 2.2], into an automorphism of the profinite completion; Minasyan's centralizer theorem [13, Corollary 12.3] is then used to force the target element to be a non-power. The geometric criterion for simplicity, Theorem 6.2, is proved from Scott's LERF theorem [20] and Button's construction of classical Schottky groups [3]; this is an independent geometric step, not a restatement of the rigidity theorem. The profinite-to-homological comparison uses Pletch's cap product [14], Serre goodness [8], and standard Poincaré duality facts for profinite groups; the topological-type step uses cohomological goodness of free products and Dehn–Nielsen–Baer. None of these steps is defined in terms of the target result, and no fitted parameter is later renamed as a prediction. The only citation to an author of the present paper, Xu [25], occurs in Section 8 for the pro-p flexibility counterexamples, not in the proof of Theorem 1.3, and it is cited as an established external result. The noted notational mismatch around Definition 5.10 and Lemma 6.5 concerns the cap-product convention and does not amount to a circular reduction. Overall, no load-bearing circular step was found.

Assumptions & free parameters 0 free parameters · 8 assumptions · 0 invented entities

Pure mathematics: no fitted parameters or ad hoc constants appear. The proof rests on a set of published external theorems; none states the target result, and none is derived inside the paper. The self-cited efficiency result [25] is used only for the pro-p flexibility section, not for the main rigidity theorem.

assumptions (8)

domain assumption Surface groups are LERF (Scott 1978).
Used in Theorem 6.2 to embed the one-holed torus neighborhood in a finite cover, and in Proposition 8.2 for efficiency of the graph-of-groups decomposition.
domain assumption Every finite-index subgroup of a surface group is conjugacy separable (Fine–Rosenberger 1990).
Used in Corollary 4.5 to ensure C_Ĝ(γ) equals the closure of C_Γ(γ) via Minasyan's hereditary conjugacy separability.
domain assumption Surface groups are cohomologically good; free products of good groups are good (Grunewald–Jaikin-Zapirain–Zalesskii, Pletch).
Used in §6.3 and §7 to transport Poincaré duality to profinite cohomology and to compare intersection numbers and kernel sizes.
standard math Profinite equivalence of elements is equivalent to existence of an automorphism of the profinite completion mapping one to the other (Hanany–Meiri–Puder, Theorem 2.2).
Foundational equivalence used throughout; cited as [9, Theorem 2.2].
standard math Minasyan's hereditary conjugacy separability theorem (Corollary 12.3).
Used in Proposition 4.2 to identify centralizers in the profinite completion with closures of Γ-centralizers.
standard math Pletch's profinite cap product and its naturality.
Basis for the algebraic intersection computation in Proposition 6.4 and the kernel-size comparison in Proposition 7.1.
domain assumption Dehn–Nielsen–Baer realization of automorphisms of π1(Σ) by homeomorphisms.
Used in §7 to translate topological type of a simple curve into existence of an automorphism of Γ.
domain assumption Exotic automorphisms of free profinite groups (Belyi/Ihara) and efficiency of graph-of-groups decompositions after profinite completion (Xu 2025).
Used only in the pro-p counterexample section (Propositions 8.2–8.3), not in the main theorem.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Profinite rigidity of simple closed curves in surface groups." pith.science (2026). https://pith.science/paper/O5NG7UBH

@misc{pith2026260716147,
  author       = {Pith},
  title        = {Pith review of: Profinite rigidity of simple closed curves in surface groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/O5NG7UBH}},
  note         = {Machine review of arXiv:2607.16147}
}

abstract

This paper establishes a new characterization of simple closed curves on a closed orientable surface. Let $\Gamma$ be the fundamental group of a closed orientable surface. We prove that if an element $g\in\Gamma$ has the same possible images as a given simple closed curve $\gamma\in \Gamma$ under epimorphisms from $\Gamma$ to every finite group, then $g$ belongs to the $\mathrm{Aut}(\Gamma)$-orbit of $\gamma$, i.e. $g$ is itself a simple closed curve with the same topological type as $\gamma$. Consequently, the set of simple closed curves in $\Gamma$ is closed in the profinite topology of $\Gamma$; and we obtain a new algorithm to decide whether a given element in $\Gamma$ can be represented by a simple closed curve. Proper powers of simple closed curves and the pro-$p$ cases are also discussed.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

25 extracted references · 1 linked inside Pith

[25]

School of Mathematical Sciences, Peking University, Beijing 100871, P.R

Xiaoyu Xu,Profinite almost rigidity in 3-manifolds, Advances in Mathematics480(2025), 110505. School of Mathematical Sciences, Peking University, Beijing 100871, P.R. China Email address:wangzz22@stu.pku.edu.cn Beijing International Center for Mathematical Research, Peking University, Beijing 100871, P.R. China Email address:xuxiaoyu@stu.pku.edu.cn

2025
[1]

Dario Ascari and Jonathan Fruchter,Virtual homological torsion in graphs of free groups with cyclic edge groups, arXiv Preprint (2025), arXiv: 2505.20960v1

arXiv 2025
[2]

Bely˘i,On Galois extensions of a maximal cyclotomic field, Mathematics of the USSR- Izvestiya14(1980), no

Gennadiy V. Bely˘i,On Galois extensions of a maximal cyclotomic field, Mathematics of the USSR- Izvestiya14(1980), no. 2, 247–256

1980
[3]

Jack Button,All Fuchsian Schottky groups are classical Schottky groups, Geometry & Topology Monographs1(1998), 117–125

1998
[4]

Michel Emsalem and Pierre Lochak,Appendix: The action of the absolute Galois group on the moduli spaces of spheres with four marked points, The Grothendieck Theory of Dessins d’Enfants (Leila Schneps, ed.), London Mathematical Society Lecture Note Series, Cambridge University Press, 1994, Appendix to [12], pp. 307–322

1994
[5]

Benson Farb and Dan Margalit,A primer on mapping class groups, Princeton University Press, Princeton, 2011

2011
[6]

109, American Mathematical Society, 1990, pp

Benjamin Fine and Gerhard Rosenberger,Conjugacy separability of Fuchsian groups and related questions, Combinatorial group theory, Proceedings of the AMS Special Session in combinatorial group theory, Contemporary Mathematics, vol. 109, American Mathematical Society, 1990, pp. 11– 18

1990
[7]

24, 21320–21345

Alejandra Garrido and Andrei Jaikin-Zapirain,Free factors and profinite completions, Interna- tional Mathematics Research Notices2023(2023), no. 24, 21320–21345

2023

Show all 25 references

[8]

1, 53 – 72

Fritz Grunewald, Andrei Jaikin-Zapirain, and Pavel Zalesskii,Cohomological goodness and the profinite completion of Bianchi groups, Duke Mathematical Journal144(2008), no. 1, 53 – 72

2008
[9]

Liam Hanany, Chen Meiri, and Doron Puder,Some orbits of free words that are determined by measures on finite groups, Journal of Algebra555(2020), 305–324

2020
[10]

John Hempel,Residual finiteness of surface groups, Proceedings of the American Mathematical Society32(1972), 323

1972
[11]

1, The Mathematical Society of Japan, Springer-Verlag, 1990, pp

Yasutaka Ihara,Braids, Galois groups, and some arithmetic functions, Proceedings of the Inter- national Congress of Mathematicians (Kyoto, Japan), vol. 1, The Mathematical Society of Japan, Springer-Verlag, 1990, pp. 99–120

1990
[12]

,On the embedding ofGal( Q/Q)into dGT, The Grothendieck Theory of Dessins d’Enfants (Leila Schneps, ed.), London Mathematical Society Lecture Note Series, Cambridge University Press, 1994, With an appendix [4], pp. 289–306

1994
[13]

2, 335–388

Ashot Minasyan,Hereditary conjugacy separability of right-angled Artin groups and its applica- tions, Groups, Geometry, and Dynamics6(2012), no. 2, 335–388

2012
[14]

thesis, Carleton University, Ottawa, Canada, 1977, Department of Mathematics

Andrew Pletch,Profinite duality groups, Ph.D. thesis, Carleton University, Ottawa, Canada, 1977, Department of Mathematics

1977
[15]

1, 55–74

,Profinite duality groups I, Journal of Pure and Applied Algebra16(1980), no. 1, 55–74

1980
[16]

3, 285–297

,Profinite duality groups II, Journal of Pure and Applied Algebra16(1980), no. 3, 285–297. 24 ZHONGZI W ANG AND XIAOYU XU

1980
[17]

1, 63–97

Doron Puder and Ori Parzanchevski,Measure preserving words are primitive, Journal of the Amer- ican Mathematical Society28(2015), no. 1, 63–97

2015
[18]

Luis Ribes,Profinite graphs and groups, Ergebnisse der Mathematik und ihrer Grenzgebiete (A Series of Modern Surveys in Mathematics), Springer Cham, 2017

2017
[19]

Luis Ribes and Pavel Zalesskii,Profinite groups, Ergebnisse der Mathematik und ihrer Grenzge- biete (A Series of Modern Surveys in Mathematics), Springer Berlin Heidelberg, 2010

2010
[20]

3, 555–565

Peter Scott,Subgroups of surface groups are almost geometric, Journal of the London Mathematical Societys2-17(1978), no. 3, 555–565

1978
[21]

Jean-Pierre Serre,Galois cohomology, Springer Monographs in Mathematics, Springer Berlin Hei- delberg, 2001

2001
[22]

Weibel,An introduction to homological algebra, Cambridge Studies in Advanced Math- ematics, Cambridge University Press, 1994

Charles A. Weibel,An introduction to homological algebra, Cambridge Studies in Advanced Math- ematics, Cambridge University Press, 1994

1994
[23]

4, 893–919

Henry Wilton,Essential surfaces in graph pairs, Journal of the American Mathematical Society 31(2018), no. 4, 893–919

2018
[24]

Math´ ematique359(2021), no

,On the profinite rigidity of surface groups and surface words, Comptes Rendus. Math´ ematique359(2021), no. 2, 119–122

2021

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.

[1] [25]

School of Mathematical Sciences, Peking University, Beijing 100871, P.R

Xiaoyu Xu,Profinite almost rigidity in 3-manifolds, Advances in Mathematics480(2025), 110505. School of Mathematical Sciences, Peking University, Beijing 100871, P.R. China Email address:wangzz22@stu.pku.edu.cn Beijing International Center for Mathematical Research, Peking University, Beijing 100871, P.R. China Email address:xuxiaoyu@stu.pku.edu.cn

2025

[2] [1]

Dario Ascari and Jonathan Fruchter,Virtual homological torsion in graphs of free groups with cyclic edge groups, arXiv Preprint (2025), arXiv: 2505.20960v1

arXiv 2025

[3] [2]

Bely˘i,On Galois extensions of a maximal cyclotomic field, Mathematics of the USSR- Izvestiya14(1980), no

Gennadiy V. Bely˘i,On Galois extensions of a maximal cyclotomic field, Mathematics of the USSR- Izvestiya14(1980), no. 2, 247–256

1980

[4] [3]

Jack Button,All Fuchsian Schottky groups are classical Schottky groups, Geometry & Topology Monographs1(1998), 117–125

1998

[5] [4]

Michel Emsalem and Pierre Lochak,Appendix: The action of the absolute Galois group on the moduli spaces of spheres with four marked points, The Grothendieck Theory of Dessins d’Enfants (Leila Schneps, ed.), London Mathematical Society Lecture Note Series, Cambridge University Press, 1994, Appendix to [12], pp. 307–322

1994

[6] [5]

Benson Farb and Dan Margalit,A primer on mapping class groups, Princeton University Press, Princeton, 2011

2011

[7] [6]

109, American Mathematical Society, 1990, pp

Benjamin Fine and Gerhard Rosenberger,Conjugacy separability of Fuchsian groups and related questions, Combinatorial group theory, Proceedings of the AMS Special Session in combinatorial group theory, Contemporary Mathematics, vol. 109, American Mathematical Society, 1990, pp. 11– 18

1990

[8] [7]

24, 21320–21345

Alejandra Garrido and Andrei Jaikin-Zapirain,Free factors and profinite completions, Interna- tional Mathematics Research Notices2023(2023), no. 24, 21320–21345

2023