Pith. sign in

REVIEW 2 minor 13 references

Local-global conjugacy questions for affine extensions

T0 review · 0 major / 2 minor · reviewed 2026-06-28 · grok-4.3

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

Pith's one-line read Local-global conjugacy extends from tree automorphisms to affine extensions of groups via cohomology, yet a key conjecture on Markov models is false.

desk verdict Paper gives a counterexample to Goksel's conjecture and generalizes conjugacy results to affine extensions via cohomology. read the letter →

arxiv 2606.04649 v1 pith:CGAWSXJN submitted 2026-06-03 math.DS math.GRmath.NT

Dean Wardell This is my paper · ORCID
classification math.DSmath.GRmath.NT
keywords local-globalconjugacyaffineextensionsMarkovmodelsGaloisgroupscohomologyarborealrepresentationspermutationbinaryrootedtrees
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 takes conjugacy questions that Goksel studied inside automorphism groups of finite binary trees and shows they continue to hold when the groups are enlarged to affine extensions by permutation representations. The proof proceeds by a direct cohomological argument that identifies the relevant conjugacy classes without extra restrictions on the groups involved. At the same time the paper exhibits an explicit counterexample to Goksel's main conjecture that the even Markov groups always contain the Galois images, showing that the probabilistic model cannot be used in its current form to predict cycle structures.

What carries the argument

The cohomological argument that lifts conjugacy classes from the automorphism group of the tree to the affine extension by a permutation representation.

What would settle it

An explicit pair consisting of a group, a permutation representation, and an element whose local conjugacy class in the affine extension does not match its global class would falsify the generalized conjugacy statement.

Watch

Extended reading notes

Core claim

Local-global conjugacy holds for affine extensions of groups by permutation representations because a cohomological argument identifies the conjugacy classes inside the larger groups; simultaneously, an explicit counterexample demonstrates that the even Markov groups M_n(f) do not always contain the Galois groups G_n(f).

Load-bearing premise

The cohomological argument applies directly to the affine extensions coming from the given permutation representations without needing further conditions on the groups or the representations.

Editorial extensions

If this is right

  • Conjugacy questions inside larger groups that contain the tree automorphisms can be settled by the same cohomology calculation.
  • The Markov-model prediction of cycle structures in Galois groups must be revised because the conjectured containment fails.
  • Arboreal Galois representations can be studied inside affine extensions without losing the local-global conjugacy property.
  • Further work on the underlying questions about Markov models is required once the counterexample is taken into account.

Reading between the lines

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

  • The same cohomological technique may apply to other wreath-product or affine extensions that arise in iterated monodromy or iterated function systems.
  • Concrete counterexamples of the type constructed here could be used to test revised versions of the Markov model against actual Galois groups of quadratic polynomials.
  • If the counterexample arises from a specific dynamical system, similar failures may appear in higher-degree postcritically finite maps.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 2 minor

Summary. Boston and Jones introduced Markov models to predict cycle structures of elements in Galois groups G_n(f) for iterates of quadratic postcritically finite polynomials. Goksel refined these to even Markov groups M_n(f) and conjectured they contain copies of G_n(f), leading to local-global conjugacy questions inside Aut(T_n). The manuscript generalizes Goksel's conjugacy results from automorphism groups of binary rooted trees to affine extensions of groups by permutation representations, via a cohomological argument. It also constructs a counterexample to Goksel's main conjecture, indicating that further work is needed on the underlying Markov model questions.

Significance. If the cohomological generalization and the counterexample are valid, the work broadens the scope of local-global conjugacy questions beyond the specific arboreal Galois setting to a more general group-theoretic framework. The explicit counterexample supplies concrete evidence against the conjectural containment of G_n(f) in M_n(f), which directly affects the reliability of probabilistic predictions for cycle structures in these Galois groups.

minor comments (2)
  1. The abstract refers to 'the main conjecture proposed by Goksel' without a numbered reference or brief statement of its precise formulation; adding this would help readers connect the counterexample to the original claim.
  2. Notation for the affine extensions and the relevant cohomology groups is introduced without an explicit comparison table to the earlier Aut(T_n) setting; a short comparison would clarify the scope of the generalization.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our generalization of local-global conjugacy questions via cohomology to affine extensions and for noting our counterexample to Goksel's conjecture. We appreciate the recommendation of minor revision.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity

full rationale

The paper's central steps are a cohomological generalization of conjugacy results to affine extensions (via permutation representations) and an explicit counterexample to Goksel's conjecture. Neither step reduces to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain. The counterexample is presented as independent evidence, and the cohomology argument is invoked as an external tool rather than derived from the paper's own inputs. No equations or claims in the abstract or description exhibit the enumerated circularity patterns.

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

Abstract provides no information on free parameters, axioms, or invented entities; the work builds on prior models using cohomological methods.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Local-global conjugacy questions for affine extensions." pith.science (2026). https://pith.science/paper/CGAWSXJN

@misc{pith2026260604649,
  author       = {Pith},
  title        = {Pith review of: Local-global conjugacy questions for affine extensions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CGAWSXJN}},
  note         = {Machine review of arXiv:2606.04649}
}
abstract

Boston and Jones constructed a probabilistic model, called the Markov model, in order to predict the cycle structures of elements in Galois groups $G_n(f)$ associated to the $n$-th iterate of a quadratic postcritically finite polynomial $f$ over a number field. Goksel refined this model, introducing the 'even' Markov groups $M_n(f)$. These groups conjecturally contain a copy of $G_n(f)$, leading to questions about local-global conjugacies within the larger automorphism group $\operatorname{Aut}(T_n)$ of the first $n$ levels of the binary rooted tree coming from arboreal representations of the Galois groups. While the conjugacy results found by Goksel were restricted to the study of these automorphism groups, we generalise the findings to affine extensions of groups by permutation representations, using a cohomological argument. Furthermore, we provide a counterexample to the main conjecture proposed by Goksel, demonstrating that more work is required to resolve the underlying questions regarding Markov models.

Figures

Figures reproduced from arXiv: 2606.04649 by the authors.

Figure 1
Figure 1. for T3. ε 0 1 00 01 10 11 000 001 010 011 100 101 110 111 [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

13 extracted references · 3 canonical work pages

  1. [1]

    Adams and T

    O. Adams and T. Hyde,Profinite iterated monodromy groups of unicritical polynomials, arXiv: 2504.13028, 2025

    work page arXiv 2025

  2. [2]

    Benedetto, P

    R. Benedetto, P. Ingram, R. Jones, M. Manes, J. H. Silverman, and T. J. Tucker,Current trends and open problems in arithmetic dynamics, Bulletin of the American Mathematical Society, 56(4):611–685, 2019

    2019

  3. [3]

    Boston, R

    N. Boston, R. Jones,Settled polynomials over finite fields, Proceedings of the American Mathematical Society, 140(6):1849–1863, 2012

    2012

  4. [4]

    Goksel,A local-global conjugacy question arising from arithmetic dynamics, Groups, Geometry, and Dynamics, 18(2):635–648, 2024

    V. Goksel,A local-global conjugacy question arising from arithmetic dynamics, Groups, Geometry, and Dynamics, 18(2):635–648, 2024

    2024

  5. [5]

    Goksel,Markov processes and some PCF quadratic polynomials, Research in Number Theory, 5(3), 2019

    V. Goksel,Markov processes and some PCF quadratic polynomials, Research in Number Theory, 5(3), 2019

    2019

  6. [6]

    Jones,Galois representations from pre-image trees: an arboreal survey, Publications math´ ematiques de Besan¸ con

    R. Jones,Galois representations from pre-image trees: an arboreal survey, Publications math´ ematiques de Besan¸ con. Alg` ebre et th´ eorie des nombres, 107–136, 2013

    2013

  7. [7]

    Stevenhagen and H

    P. Stevenhagen and H. W. Lenstra,Chebotar¨ ev and his density theorem, The Mathematical Intelligencer, 18(2):26–37, 1996

    1996

  8. [8]

    J. S. M. Mart´ ınez,A Markov model for factorization of iterated cubic polynomials, arXiv:2502.16202, 2025

    work page arXiv 2025

Show all 13 references
  1. [9]

    R. W. K. Odoni,The Galois theory of iterates and composites of polynomials, Proceedings of the London Mathematical Society, 3(3):385–414, 1985

    1985

  2. [10]

    Pink,Profinite iterated monodromy groups arising from quadratic polynomials, arXiv:1307.5678, 2013

    R. Pink,Profinite iterated monodromy groups arising from quadratic polynomials, arXiv:1307.5678, 2013

    2013 arXiv

  3. [11]

    Serre,Local Fields, Springer, 2013

    J.-P. Serre,Local Fields, Springer, 2013

    2013

  4. [12]

    Sonn,Groups of small order as Galois groups overQ, The Rocky Mountain Journal of Mathematics, 19(3):947–956, 1989

    J. Sonn,Groups of small order as Galois groups overQ, The Rocky Mountain Journal of Mathematics, 19(3):947–956, 1989

    1989

  5. [13]

    C. A. Weibel,An introduction to homological algebra, Cambridge university press, 1994

    1994

Pith tools

Reviewed June 28, 2026 · model on record in the stance chip above.