Pith. sign in

REVIEW 5 major objections 5 minor 7 references

Equidistant Hypersurfaces Of The Complex Bidisk $\mathbb{H}^2_{\mathbb{C}}\times \mathbb{H}^2_{\mathbb{C}}$

T0 review · 5 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read For any cyclic group generated by a loxodromic isometry of the complex bidisk, the Dirichlet domain has exactly two faces, given by the two bisectors between the basepoint and the generator and its inverse.

desk verdict A plausible but unproven two-face Dirichlet domain theorem; the proof hinges on a boundary-coincidence lemma that is false, so the paper fails as written. read the letter →

arxiv 2505.22562 v2 pith:TXWXUQJS submitted 2025-05-28 math.GT

Krishnendu Gongopadhyay , Lokenath Kundu , Aditya Tiwari This is my paper · ORCID
classification math.GT MSC 51M1032M1522E40
keywords complexhyperbolicplanebidiskDirichletdomainloxodromicisometryequidistanthypersurfaceBusemannfunctionHadamardmanifold
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

This paper asks how many sides a Dirichlet domain can have when a cyclic group acts on the complex bidisk $\mathbb{H}^2_{\mathbb{C}} \times \mathbb{H}^2_{\mathbb{C}}$, the product of two complex hyperbolic planes with the product metric. The answer it proposes is the simplest possible: for an isometry $\gamma = (g_1,g_2)$ whose components are loxodromic, and a basepoint $z = (z_1,z_2)$ with each $z_i$ on the invariant axis of $g_i$, the Dirichlet domain of the group $\langle \gamma \rangle$ is bounded by exactly two equidistant hypersurfaces, the bisectors $E(z,\gamma(z))$ and $E(z,\gamma^{-1}(z))$. If correct, this gives a complete two-sided fundamental domain for the group and shows that the complex structure does not force the side count to grow beyond the real bidisk analogue. The proof combines a level-set description of equidistant surfaces, Busemann-function asymptotics at the boundary, an invisibility criterion, and the strict convexity of metric spheres in this Hadamard manifold.

What carries the argument

The equidistant hypersurface $E(z,w)$ is decomposed as $E(z,w) = \bigcup_{k} S^1_k \times S^2_k$, where $S^1_k$ and $S^2_k$ are the 'square hyperbola' level sets $\{x_i : d^2(x_i,z_i) - d^2(x_i,w_i) = \pm k\}$ in each factor; this product structure is what lets the arguments split across the two factors. Two auxiliary results carry the load: the boundary-coincidence theorems (4.2 and 4.3), which use Busemann-function asymptotics to show that every level set $S_k$ accumulates at the same boundary points as $S_0$, and the invisibility lemma (5.1), which reduces checking that all other bisectors are invisible to checking the central level set $E^0$. The final disjointness of the two faces rests on the Hadamard-manifold fact that metric spheres are strictly convex, so a geodesic cannot meet a sphere in three points.

What would settle it

In the ball model, take explicit loxodromic matrices in $\mathrm{PU}(2,1)$ with distinct translation lengths, choose $z$ on the product of the axes, and for a boundary point $\xi$ plot $f(t)=d^2(\gamma(t),z)-d^2(\gamma(t),w)$ along the geodesic ray to $\xi$; if the graph misses some real level $k$, the unproved 'sufficient variation' assertion of Remark 4.4 is false and the proof's boundary-coincidence step collapses.

Watch

Extended reading notes

Core claim

The central claim, Theorem 1.1, is that for $\gamma=(g_1,g_2)$ with $g_i$ loxodromic and $z_i$ on the invariant axis of $g_i$, the bisectors $E(z,\gamma(z))$ and $E(z,\gamma^{-1}(z))$ are exactly the two faces of the Dirichlet domain for $\langle \gamma \rangle$; no other bisector contributes a face. The proof first establishes that these two bisectors are disjoint: a common point would put the three distinct points $\gamma^{-1}(z)$, $z$, and $\gamma(z)$ on one geodesic and on one metric sphere, contradicting the fact that in a Hadamard manifold a geodesic meets a sphere in at most two points. It then invokes an invisibility lemma to argue that all translates $\gamma^j(z)$ with $j \neq 0,\pm 1$ lie far enough along the same axis flat that their bisectors do not enter the domain. The paper also develops a structural description of equidistant hypersurfaces as unions of products of squared-distance level sets in the two factors, and proves, via Busemann functions, that all these level sets share the same boundary points at infinity.

Load-bearing premise

The chain of results depends on the assertion, stated but not proved in Remark 4.4, that along a geodesic ray approaching a boundary point of the complex bidisk the function $f_n(t)=d^2(\gamma_n(t),z)-d^2(\gamma_n(t),w)$ attains every prescribed real value $k$; if that variation can fail, the boundary-coincidence lemma loses its support and the two-face conclusion would need a different proof.

Editorial extensions

If this is right

  • If Theorem 1.1 holds, the Dirichlet domain for $\langle \gamma \rangle$ is the intersection of the two half-spaces $d(\cdot,z) \leq d(\cdot,\gamma(z))$ and $d(\cdot,z) \leq d(\cdot,\gamma^{-1}(z))$, giving an explicit two-sided fundamental domain.
  • The quotient $\mathbb{H}^2_{\mathbb{C}} \times \mathbb{H}^2_{\mathbb{C}} / \langle \gamma \rangle$ is then represented by a polyhedron with exactly two faces, the minimal possible side count for a domain of this kind.
  • For every integer $j$ with $j \neq 0,\pm 1$, the bisector $E(z,\gamma^j(z))$ lies strictly outside the domain, so the side count is stable under passing to higher powers of $\gamma$.
  • The square-hyperbola level-set description gives an explicit coordinate picture of each equidistant hypersurface, which could be used to draw or compute the domain.

Reading between the lines

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

  • The two-face conclusion likely extends to products $\mathbb{H}^{n_1}_{\mathbb{C}} \times \mathbb{H}^{n_2}_{\mathbb{C}}$ of higher-dimensional complex hyperbolic spaces, since the Hadamard convexity argument and the product decomposition do not use the complex dimension; the paper does not state this extension.
  • If the basepoint $z$ is moved off the product of the two invariant axes, the side count may grow, by analogy with the real bidisk where off-flat basepoints produce more than two faces; testing this would clarify how special the on-axis choice is.
  • A rigorous fix for the 'sufficient variation' gap could come from an explicit asymptotic formula for $d^2(\gamma(t),z)-d^2(\gamma(t),w)$ along rays in the product space, replacing the intermediate-value heuristic with a direct computation.
  • Numerical experiments with explicit $\mathrm{PU}(2,1)$ matrices and unequal translation lengths could verify both the disjointness of the two bisectors and the boundary-coincidence lemma, giving confidence in the theorem despite the proof gap.
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.

Referee Report

5 major / 5 minor

Summary. The paper studies Dirichlet domains for cyclic groups generated by an element γ=(g1,g2) in the isometry group of the complex bidisk H^2_C × H^2_C, where each gi is loxodromic. Theorem 1.1 claims that for z=(z1,z2) with zi on the invariant axis of gi, the two bisectors E(z,γ(z)) and E(z,γ^{-1}(z)) are precisely the two faces of the Dirichlet domain. The proof introduces level sets of squared-distance differences, uses Busemann-function asymptotics to relate boundary points of these level sets, and then applies an 'invisibility' lemma to rule out all other bisectors. The final step invokes strict convexity of metric balls in Hadamard manifolds to show the two candidate bisectors are disjoint.

Significance. If Theorem 1.1 were established, it would give a complete two-sided fundamental domain for cyclic loxodromic subgroups of Isom(H^2_C × H^2_C), extending known results for the real bidisk and for cyclic groups in complex hyperbolic space. The paper has a clear conceptual framework: decomposition of equidistant hypersurfaces via squared-distance differences, use of Busemann functions, and an invisibility reduction. It contains no fitted parameters and no circular reasoning in the sense of fitting predictions to data. However, the central technical lemmas are not established, and at least one of them is false as stated. The main result is therefore not proven by the arguments in the manuscript.

major comments (5)
  1. [§4.2, Theorem 4.2] The proof squares the asymptotic expansion d(x_n,z)=B_ξ(z,o)-log(1-||x_n||)+o(1) and then writes d^2(x_n,z)=(B_ξ(z,o)-log(1-||x_n||))^2+o(1). This is not justified: the error term o(1) is multiplied by the unbounded factor -log(1-||x_n||) when squared, so the remainder need not be o(1). Since the conclusion B_ξ(z)=B_ξ(w) is obtained from the coefficient of log(1-||x_n||) in the difference, the claim that this coefficient must vanish is not rigorously established as written.
  2. [§4.3, Theorem 4.3] The intermediate-value argument is invalid. The proof observes that f_n(0)=0 and lim_{t→∞} f_n(t)=0 and then asserts that f_n(t) attains every real value k for sufficiently large n. A continuous function that starts and ends at zero need not take any nonzero value; without additional information such as monotonicity or a lower/upper bound, the conclusion f_n(t_n)=k does not follow. Thus the inclusion S_0(z,w)∩∂H^2_C ⊆ S_k(z,w)∩∂H^2_C is not proven.
  3. [§4.3, Remark 4.4] Remark 4.4 concedes that the needed variation of f_n(t) is not automatic and then asserts, without proof, that in H^2_C × H^2_C the condition is 'always satisfied' because the functions decompose across factors and 'vary smoothly and strictly along geodesics.' This is not a proof, and the statement is in fact false for the intended purpose. Using the expansion in Theorem 4.2, along a geodesic ray converging to ξ the difference d^2(γ_n(t),z)-d^2(γ_n(t),w) behaves as 2L_n(B_ξ(w)-B_ξ(z))+B_ξ(z)^2-B_ξ(w)^2+o(L_n) with L_n=-log(1-||γ_n(t)||)→∞. If this difference is to equal a fixed constant k, the coefficient B_ξ(w)-B_ξ(z) must vanish; then the limit of the difference is 0, forcing k=0. Hence for k≠0 the set S_k has no boundary accumulation point at ξ, contradicting the claimed equality of boundaries. Theorem 4.3 and the invisibility lemma built on it therefore fail.
  4. [§5, Lemma 5.1] The proof of Lemma 5.1 assumes that E(x,y) is connected and that E^0(x,y) is a well-defined subset. Neither fact is established. Equation (4.2) represents E(x,y) as a union over k of products S^1_k × S^2_k, and it is not shown that this union is connected. The argument that f(E(x,y)) is an interval, and hence contains 0 if it contains both positive and negative values, depends on this unproved connectedness. This is a load-bearing point for the invisibility reduction.
  5. [§5.1, proof of Theorem 1.1] The final paragraph asserts that 'all other translates of z lie farther along the geodesic, and their associated equidistant hypersurfaces do not intersect this domain.' This is not proved. Ruling out all bisectors E(z,γ^j(z)) for |j|≥2 is precisely the role of the invisibility lemma, which depends on the false boundary-coincidence statements above. In addition, the proof does not rigorously justify that the two bisectors are faces of the Dirichlet domain rather than merely intersecting it. The conclusion that the Dirichlet domain has precisely two faces is therefore unsupported.
minor comments (5)
  1. [§4.3, Remark 4.4] The remark contains a repeated and incomplete sentence: 'This requires sufficient variation in the fn(t)=... along the ray.' The sentence should be completed or removed.
  2. [§5, Lemma 5.1] There is a typo in the proof: 'one of the following hplds' should read 'one of the following holds.'
  3. [§3.1] In the proof of Theorem 3.2, the citation 'by Theorem 2.4' should refer to Proposition 2.4, since that is where the classification of totally geodesic subspaces is proved.
  4. [§2.1] The Bergman metric distance formula is labelled as equation (2), but the numbering is inconsistent with the surrounding equation numbering (2.1) and later equations (4.1), (4.2).
  5. [§5, Lemma 5.1] The set E^0(x,y) is used without a definition. If it is intended to be the k=0 component in equation (4.2), that should be stated explicitly before the lemma.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular reasoning found; the derivation is self-contained, though it contains unproven intermediate assertions.

full rationale

The paper's derivation chain is not circular. The main theorem is a synthetic geometric argument about Dirichlet domains in H^2_C × H^2_C, built from Busemann-function asymptotics, level-set boundary analysis, connectedness arguments, and the strict convexity of metric spheres in Hadamard manifolds. There are no fitted parameters, no quantity is defined in terms of the theorem's conclusion, and no result is imported from a self-citation: the cited works (Jørgensen, Drumm–Poritz, Phillips) are background and comparison, not load-bearing derivations. The invisibility lemma (Lemma 5.1) does not assume the theorem's conclusion; it uses connectedness and the disjointness hypothesis to derive a contradiction, which is a legitimate proof structure. The weak point is Theorem 4.3 and Remark 4.4: the claim that f_n(t) = d^2(γ_n(t),z) − d^2(γ_n(t),w) attains every prescribed real value k along a geodesic ray is asserted rather than proved, and it is in tension with Theorem 4.2, which implies that any boundary accumulation point of S_k forces k = 0. But this is a mathematical correctness gap, not circularity: the conclusion of Theorem 4.3 is not assumed as an input, and no step reduces by construction to an earlier definition or fitted value. Accordingly, the circularity score is 0.

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

The paper introduces no fitted constants and no new entities. It relies on standard properties of complex hyperbolic spaces and Hadamard manifolds, plus three unproved assertions specific to this paper: the squarable Busemann asymptotic, the sufficient variation of squared-distance level functions along rays, and the geometric behavior of the equidistant hypersurfaces used in the invisibility lemma.

assumptions (4)
  • standard math Metric spheres in a Hadamard manifold are strictly convex, so a geodesic intersects a sphere in at most two points.
    Used in Section 5.1 to contradict the assumed triple intersection of a sphere with the geodesic through gamma^{-1}(z), z, gamma(z).
  • domain assumption For a loxodromic g_i and a point z_i on its invariant axis, the points z, gamma(z), gamma^{-1}(z) lie on a single geodesic in the product flat.
    Invoked in Section 5.1 without proof; the collinearity is true when z_i is on the axis, but is not demonstrated in the text.
  • ad hoc to paper The squared-distance difference function along geodesic rays in H^2_C x H^2_C attains every real value k (sufficient variation).
    Asserted in Remark 4.4, acknowledged to be false in general metric spaces, and left unproved for this product space; it is needed for Theorem 4.3 and the invisibility lemma.
  • ad hoc to paper The equidistant hypersurface E(x,y) is connected and its central subset E^0(x,y) is well-defined and sufficient for invisibility.
    Used in Lemma 5.1; E^0 is never defined and connectedness is asserted without proof.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Equidistant Hypersurfaces Of The Complex Bidisk $\mathbb{H}^2_{\mathbb{C}}\times \mathbb{H}^2_{\mathbb{C}}$." pith.science (2026). https://pith.science/paper/TXWXUQJS

@misc{pith2026250522562,
  author       = {Pith},
  title        = {Pith review of: Equidistant Hypersurfaces Of The Complex Bidisk $\mathbbH^2_\mathbbC\times \mathbbH^2_\mathbbC$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TXWXUQJS}},
  note         = {Machine review of arXiv:2505.22562}
}
abstract

We consider the isometries of the complex hyperbolic bidisk, that is, the product space $\mathbb{H}^2_{\mathbb{C}} \times \mathbb{H}^2_{\mathbb{C}} $, where each factor $ \mathbb{H}^2_{\mathbb{C}} $ denotes the complex hyperbolic plane. We investigate the Dirichlet domain formed by the action of a cyclic subgroup $(g_1, g_2)$, where each $g_i$ is loxodromic. We prove that such a Dirichlet domain has two sides.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

7 extracted references · 7 canonical work pages

  1. [1]

    Drumm, and Rosemonde Lareau-Dussault,Equidistant hypersurfaces of the bidisk, Geom

    Virginie Charette, Todd A. Drumm, and Rosemonde Lareau-Dussault,Equidistant hypersurfaces of the bidisk, Geom. Dedicata, 163, 2013, 275–284

    work page 2013

  2. [2]

    Drumm and Jonathan A

    Todd A. Drumm and Jonathan A. Poritz,Ford and Dirichlet domains for cyclic subgroups ofPSL 2(C)acting onH 3 R and∂H 3 R, Conform. Geom. Dyn., 3, 1999

    work page 1999

  3. [3]

    Alex Eskin and Benson Farb,Quasi-flats and rigidity in higher rank symmetric spaces, J. Amer. Math. Soc., 10, 1997, 3, 653–692

    work page 1997

  4. [4]

    W. M. Goldman,Complex Hyperbolic Geometry, Oxford Mathematical Monographs, Oxford University Press, 1999

    work page 1999

  5. [5]

    Troels Jørgensen,On cyclic groups of M¨ obius transformations, Math. Scand. 33, 1973, 250–260

    work page 1973

  6. [6]

    Parker,Notes on Complex Hyperbolic Geometry, Available athttps://maths.dur.ac.uk/users/ john.r.parker/notes/chg.pdf

    John R. Parker,Notes on Complex Hyperbolic Geometry, Available athttps://maths.dur.ac.uk/users/ john.r.parker/notes/chg.pdf

    work page

  7. [7]

    Phillips,Dirichlet polyhedra for cyclic groups in complex hyperbolic space, Proc

    Mark B. Phillips,Dirichlet polyhedra for cyclic groups in complex hyperbolic space, Proc. Amer. Math. Soc., 115, 1992, 221–228. Indian Institute of Science Education and Research (IISER) Mohali, Knowledge City, Sector 81, SAS Nagar, Punjab 140306, India Email address:krishnendu@iisermohali.ac.in Indian Institute of Science Education and Research (IISER) M...

    work page 1992

Pith tools

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