Low-lying Geodesics in an Arithmetic Hyperbolic Three-Manifold

Katie McKeon

arxiv: 1907.03350 · v1 · pith:VWFVXRARnew · submitted 2019-07-07 · 🧮 math.NT

Low-lying Geodesics in an Arithmetic Hyperbolic Three-Manifold

Katie McKeon This is my paper

Pith reviewed 2026-05-25 01:05 UTC · model grok-4.3

classification 🧮 math.NT

keywords closed geodesicshyperbolic three-manifoldsbinary quadratic formsGaussian integersHurwitz continued fractionssieve theoryexpander graphs

0 comments

The pith

A compact set in the SL(2,Z[i]) quotient of hyperbolic three-space contains infinitely many fundamental closed geodesics.

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

The paper sets up a correspondence linking closed geodesics on the manifold to Hurwitz complex continued fractions and to binary quadratic forms over the Gaussian integers, with fundamentality preserved under the link. It then applies sieve theory, symbolic dynamics, and expander graphs to prove that infinitely many of the fundamental geodesics remain inside one fixed compact subset. A reader would care because the result shows that the arithmetic geodesics tied to fundamental forms do not all escape to the cusp; a positive proportion or at least an infinite collection stay bounded.

Core claim

Via the bijective correspondence between closed geodesics in the quotient manifold, Hurwitz continued fractions, and binary quadratic forms over Z[i] that preserves fundamentality, the paper proves that there exists a compact subset of the manifold containing infinitely many fundamental geodesics.

What carries the argument

The bijective correspondence between closed geodesics, Hurwitz complex continued fractions, and binary quadratic forms over the Gaussian integers that preserves the notion of fundamentality.

Load-bearing premise

The stated correspondence between closed geodesics, Hurwitz fractions, and binary quadratic forms over the Gaussian integers is bijective and preserves which objects are fundamental.

What would settle it

An explicit computation or proof that every compact subset of the manifold contains only finitely many fundamental geodesics would falsify the claim.

read the original abstract

We examine closed geodesics in the quotient of hyperbolic three space by the discrete group of isometries SL(2,Z[i]). There is a correspondence between closed geodesics in the manifold, the complex continued fractions originally studied by Hurwitz, and binary quadratic forms over the Gaussian integers. According to this correspondence, a geodesic is called fundamental if the associated binary quadratic form is. Using techniques from sieve theory, symbolic dynamics, and the theory of expander graphs, we show the existence of a compact set in the manifold containing infinitely many fundamental geodesics.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper shows a compact set in the SL(2,Z[i]) quotient of H^3 contains infinitely many fundamental closed geodesics by sieving fundamental binary quadratic forms over Z[i] with expander estimates.

read the letter

The punchline is that this paper proves the existence of a compact set in the quotient manifold SL(2,Z[i]) backslash H^3 that contains infinitely many fundamental closed geodesics. It does this by linking the geodesics to fundamental binary quadratic forms over the Gaussian integers via Hurwitz continued fractions and then applying sieve theory and expander graph estimates to show there are infinitely many such forms that correspond to geodesics staying in a bounded region. What the paper does well is to make this translation and then use the combination of sieve methods with the expansion properties to control the count. The result is new in the sense that it pins down the infinitude inside a compact set for this specific arithmetic group, building on prior work on the continued fractions but adding the geometric constraint. The soft spot is the reliance on the correspondence being bijective and preserving fundamentality. The abstract states the correspondence and defines fundamental geodesics via the forms, but if there are forms that don't correspond to closed geodesics or if fundamentality doesn't match perfectly, the sieve count might not directly translate. That said, this seems like a standard setup in the field, so probably the paper addresses it in the body. No other major issues like circular arguments or missing error terms are apparent from the description. This work is aimed at researchers in arithmetic hyperbolic geometry who care about the distribution and counting of closed geodesics. A reader looking for examples of how analytic number theory tools apply to 3-manifold geometry will get something out of it. It deserves a serious referee because the claim is specific, the methods are appropriate, and the result organizes further questions about these geodesics. I recommend sending it to peer review.

Referee Report

1 major / 2 minor

Summary. The paper claims to prove the existence of a compact subset of the arithmetic hyperbolic 3-manifold SL(2, Z[i]) ∖ H³ that contains infinitely many fundamental closed geodesics. It does so by establishing a correspondence between these geodesics, Hurwitz complex continued fractions, and binary quadratic forms over the Gaussian integers Z[i], defining a geodesic to be fundamental precisely when the associated form is fundamental, and then applying sieve theory, symbolic dynamics, and expander-graph techniques to produce an effective count of the corresponding forms that implies the geometric statement.

Significance. If the central correspondence is bijective and preserves fundamentality exactly, the result would give a new existence theorem for low-lying fundamental geodesics in this specific arithmetic 3-manifold and illustrate a workable combination of sieve methods with the geometry of the geodesic flow. The explicit use of expander graphs to obtain quantitative control is a methodological strength that could be of interest beyond the immediate setting.

major comments (1)

[Introduction / correspondence paragraphs] The reduction from the geometric claim (infinitely many fundamental geodesics inside a compact set) to a sieve-theoretic count on binary quadratic forms over Z[i] rests entirely on the asserted bijective correspondence with closed geodesics and Hurwitz continued fractions together with exact preservation of the fundamental property. The manuscript states this correspondence in the opening paragraphs but does not supply a self-contained verification or a precise reference establishing surjectivity, injectivity, and preservation for the fundamental subset; any gap here would mean the expander-graph estimates do not directly imply the stated geometric conclusion.

minor comments (2)

Notation for the fundamental property and for the compact set K is introduced without an explicit forward reference to the precise definition used in the counting argument.
The abstract and introduction would benefit from a single sentence clarifying whether the compact set is effective (i.e., whether an explicit radius or height bound is obtained).

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need to make the foundational correspondence fully explicit. We address the major comment below.

read point-by-point responses

Referee: [Introduction / correspondence paragraphs] The reduction from the geometric claim (infinitely many fundamental geodesics inside a compact set) to a sieve-theoretic count on binary quadratic forms over Z[i] rests entirely on the asserted bijective correspondence with closed geodesics and Hurwitz continued fractions together with exact preservation of the fundamental property. The manuscript states this correspondence in the opening paragraphs but does not supply a self-contained verification or a precise reference establishing surjectivity, injectivity, and preservation for the fundamental subset; any gap here would mean the expander-graph estimates do not directly imply the stated geometric conclusion.

Authors: The referee is correct that the current introduction asserts the correspondence without a self-contained verification or a precise reference. While the maps between closed geodesics in SL(2,Z[i])∖H³, Hurwitz continued fractions, and binary quadratic forms over Z[i] (together with the preservation of the fundamental property) are standard, the manuscript does not spell out the details. We will revise the introduction by adding a short subsection that (i) recalls the explicit bijections, (ii) verifies injectivity, surjectivity, and preservation of fundamentality on the relevant subsets, and (iii) supplies a precise reference to the literature establishing these facts. This change will make the reduction to the sieve-theoretic count fully rigorous and self-contained. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper states the existence of a correspondence between closed geodesics in SL(2,Z[i])∖H³, Hurwitz complex continued fractions, and binary quadratic forms over Z[i], then defines a geodesic as fundamental precisely when the associated form is fundamental. It applies sieve theory, symbolic dynamics, and expander graphs to conclude that infinitely many such fundamental geodesics lie in some compact subset. No equations, fitted parameters, self-citations, or ansatzes appear in the provided text that would reduce the existence claim to a tautological re-labeling or to a quantity defined in terms of itself. The bijectivity and fundamentality-preservation properties are treated as given facts enabling the count, not as results derived circularly from the target statement. This is the normal case of an independent derivation resting on an external correspondence.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review performed from abstract only; full text unavailable so ledger entries are limited to what is explicitly invoked in the abstract.

axioms (1)

domain assumption There is a bijective correspondence between closed geodesics in the SL(2,Z[i]) quotient, Hurwitz complex continued fractions, and binary quadratic forms over the Gaussian integers that preserves the fundamental property.
Invoked in the second sentence of the abstract as the basis for defining fundamental geodesics.

pith-pipeline@v0.9.0 · 5605 in / 1339 out tokens · 21939 ms · 2026-05-25T01:05:32.340351+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We examine closed geodesics in the quotient of hyperbolic three space by the discrete group of isometries SL(2,Z[i]). There is a correspondence between closed geodesics... and binary quadratic forms over the Gaussian integers.
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean LogicNat recovery and embed_injective unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Using techniques from sieve theory, symbolic dynamics, and the theory of expander graphs, we show the existence of a compact set... containing infinitely many fundamental geodesics.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.