Papers › Reciprocity obstructions in semigroup orbits in SL(2, Z)
Reciprocity obstructions in semigroup orbits in SL(2, Z)
James Rickards, Katherine E. Stange
The archive published only this paper's code-link row. Authors, date and abstract are from arXiv's metadata (CC0), read from the Kaggle arXiv metadata snapshot of 2026-09-12 where its title matched the archive's; the title is the archive's.
We study orbits of semigroups of SL(2,ℤ), and demonstrate reciprocity obstructions: we show that certain such orbits avoid squares, but not as a consequence of obstructions inherited from an algebraic set, and not as a consequence of congruence obstructions. This is in analogy to the reciprocity obstructions recently used to disprove the Apollonian local-global conjecture. We give an example of such an orbit which is known exactly, and misses all squares together with an explicit finite list of sporadic values: the corresponding semigroup is not thin, but is dense in an algebraic variety that does not have such obstructions. We also demonstrate thin semigroups with reciprocity obstructions, including semigroups associated to continued fractions formed from finite alphabets. Zaremba's conjecture states that for continued fractions with coefficients chosen from {1,…,5}, every positive integer appears as a denominator. Bourgain and Kontorovich proposed a generalization of Zaremba's conjecture in the context of semigroups associated to finite alphabets. We disprove their conjecture. In particular, we demonstrate classes of finite continued fraction expansions which never represent rationals with square denominator, but not as a consequence of congruence obstructions, and for which the limit set has Hausdorff dimension exceeding 1/2. An example of such a class is continued fractions of the form [0; a₁, a₂, …, aₙ,1,1,2], where the aᵢ are chosen from the set {4,8,12,…,128}. The object at the heart of these results is a semigroup Ψ⊆Γ₁(4) which preserves Kronecker symbols.
Code
Repository list and official/mentioned flags are the archive's, frozen 2025-07-28. Reachability, where shown, is from one Syntology probe window (2026-09-16 to 2026-09-18); repositories not probed show nothing. GitHub stars are not tracked.
Code Syntology ran Syntology
Not run by Syntology. Nothing on this page verifies that the listed code works.
Results from the paper archive 2025-07-28
No leaderboard rows for this paper in the archive.
Report a problem or propose a change · a person checks every report against the paper or source before anything changes; decisions are listed on /corrections