Pith. sign in

REVIEW 3 major objections 5 minor 25 references

Rigidity of proper holomorphic self-mappings of the hexablock

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

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

Pith's one-line read Every proper holomorphic self-mapping of the hexablock is an automorphism, resolving G(H)=Aut(H).

desk verdict The first proof of the hexablock rigidity conjecture is real and likely correct, but the written proof has a few fixable typos and one repairable gap in the fiber-independence step. read the letter →

arxiv 2507.16176 v1 pith:KZXMR6KP submitted 2025-07-22 math.CV

Enchao Bi , Zeinab Shaaban , Guicong Su This is my paper · ORCID
classification math.CV MSC 32H0232A0747A25
keywords hexablockproperholomorphicself-mappingautomorphismgrouptetrablockHartogsdomainμ-synthesisboundaryfoliationquasi-circular
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 proves that every proper holomorphic self-mapping of the hexablock $\mathbb{H}$—a Hartogs domain in $\mathbb{C}^4$ fibered over the tetrablock and arising from $\mu$-synthesis—is an automorphism. The authors show the map must coincide with one of two explicit families of automorphisms, thereby resolving the previously open conjecture $G(\mathbb{H})=\mathrm{Aut}(\mathbb{H})$. The proof transfers rigidity from the tetrablock base to the whole domain: it forces the base coordinates to transform by a tetrablock automorphism, then uses a distinguished unit-ball slice inside $\mathbb{H}$ to force the fiber coordinate to rotate linearly. If correct, the result closes a rigidity gap for a non-smooth, non-circular domain whose boundary has a three-piece stratification.

What carries the argument

The central object is the hexablock $\mathbb{H}=\{(a,x)\in\mathbb{C}\times\mathbb{E}: |a|^2<e^{-u(x)}\}$, a Hartogs domain over the tetrablock $\mathbb{E}$, with $u$ built from an extremal problem over $\mathbb{D}^2$. The proof partitions $\partial\mathbb{H}$ into three pieces; the middle piece, lying over $\partial\mathbb{E}$, is claimed to be foliated by two-dimensional analytic discs, and that foliation lets the authors transfer boundary behavior from $\mathbb{H}$ down to the tetrablock base. A second mechanism is the quasi-circular, (1,1,1,2)-balanced structure of $\mathbb{H}$, which supplies holomorphic extension of proper self-maps to the closure. The final mechanism is the slice $\Omega=\{(a,\lambda,\lambda,\lambda^2)\}\cong\{(a,\lambda):|a|^2+|\lambda|^2<1\}$, the unit ball in $\mathbb{C}^2$, where the classical rigidity theorem for proper self-maps of the ball forces the fiber map to be a rotation; a pluriharmonicity argument then removes all remaining local freedom.

What would settle it

Compute $|x_1(\lambda)x_2(\lambda)-x_3(\lambda)|$ in Lemma 2.11 at $\lambda=0$: the formula as printed gives $(1-r)/(2-r)$, not $1-r$; replacing the factor $|1-h(\lambda)|$ by $|1-h(\lambda)|^2$ restores the correct value, and verifying that corrected identity for all $\lambda\in\mathbb{D}$ would settle whether the claimed analytic discs really lie in the stated boundary piece.

Watch

Extended reading notes

Core claim

Theorem 1.3 asserts that a proper holomorphic self-mapping $f:\mathbb{H}\to\mathbb{H}$ is automatically an automorphism, and in fact agrees with one of the explicit forms (1.3) or (1.4): the base map is an automorphism of the tetrablock and the fiber variable $a$ is sent to a unimodular multiple of $a$ multiplied by the fractional factor already present in those formulas. Consequently $G(\mathbb{H})=\mathrm{Aut}(\mathbb{H})$, the conjecture posed in [10], is true. The route is: extend $f$ holomorphically to the closure, show the induced map $\varphi:\mathbb{E}\to\mathbb{E}$ is proper (hence an automorphism), prove $f_2,f_3,f_4$ are independent of the fiber variable by boundary maximum-modulus arguments on the Shilov boundary, normalize so that the map has the form $(F_1(a,x),x)$, and read off $F_1(a,x)=e^{i\theta}a$ from a unit-ball slice and a pluriharmonicity contradiction.

Load-bearing premise

The proof depends on the claim that the middle piece of the hexablock boundary—the part lying over the boundary of the tetrablock—is covered by two-dimensional analytic discs; the displayed calculation behind that claim omits a square, so this foliation step would need a corrected check before the rest of the argument can stand.

Editorial extensions

If this is right

  • Every proper holomorphic self-map of $\mathbb{H}$ is one of the explicit automorphisms in (1.3) or (1.4), so no nontrivial proper self-maps exist.
  • The conjecture $G(\mathbb{H})=\mathrm{Aut}(\mathbb{H})$ is true, completing the rigidity picture for this $\mu$-synthesis domain.
  • The induced map on the tetrablock base must be a tetrablock automorphism, so rigidity of the base transfers rigidly to the Hartogs extension.
  • The fiber variable can only be rotated; the proof rules out all nonlinear fiber transformations even locally.

Reading between the lines

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

  • A likely extension is to run the same two-stage argument on other Hartogs domains fibered over the tetrablock, or over the pentablock, where analogous boundary foliations are known; the hexablock result suggests the fiber coordinate will again transform linearly.
  • With $\mathrm{Aut}(\mathbb{H})$ now explicit, invariant metrics and complex geodesics of $\mathbb{H}$ become computable objects rather than abstract invariants.
  • The proof's use of a distinguished unit-ball slice points to a more general heuristic: for quasi-balanced Hartogs domains, proper-map rigidity can be reduced to base rigidity plus one carefully chosen slice.
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

3 major / 5 minor

Summary. The paper proves that every proper holomorphic self-mapping of the hexablock H is an automorphism, and moreover that it coincides with one of the two explicit families of automorphisms in Theorem 1.1. This is shown by extending proper maps to the closure, proving that the induced base map φ:E→E is a proper holomorphic self-map of the tetrablock (hence an automorphism), proving that the fiber components f2,f3,f4 are independent of the fiber variable a, reducing the map to the fiber-preserving form G(a,x)=(F1(a,x),x), and then using Alexander's theorem on a distinguished subdomain Ω and a local disk-automorphism argument to conclude G(a,x)=(eiθa,x). The paper thereby resolves the conjecture G(H)=Aut(H) posed by Biswas-Pal-Tomar.

Significance. If the proof is correct after repair, this is a substantial rigidity result: it gives a complete description of all proper holomorphic self-maps of a Hartogs domain over the tetrablock that arises in μ-synthesis, and confirms the automorphism-group conjecture. The proof is a forward chain from external results (Kosiński's extension theorem and tetrablock rigidity, Young's description of Aut(E), and the automorphisms of H from [10]); no step assumes the conjecture. The paper also contains a detailed boundary analysis of H, including a foliation of a boundary component by analytic discs. However, several technical points in the written proof need correction before the argument is valid as printed.

major comments (3)
  1. [§3, after Eq. (3.2)] The printed relation f2(a,x)=f3(a,x)eiθ is missing a conjugate. From bE={|x3|=1, x1=\bar{x2}x3, |x2|<1} and f4≡eiθ, the correct relation is f2(a,x)=eiθ\overline{f3(a,x)}. The conclusion that f2 and f3 are independent of a does not follow from the printed relation; one must use that f2 and f3 are holomorphic in a and apply ∂/∂\bar{a} to the conjugate relation. This step is load-bearing because it is the only argument establishing that f2,f3,f4 do not depend on the fiber variable a, which is needed for the reduction to G(a,x)=(F1(a,x),x).
  2. [Lemma 2.11] The formula |x1(λ)x2(λ)−x3(λ)| = (1−r)/(2−r)^2 |1−h(λ)| is arithmetically wrong; direct computation gives (1−r)/(2−r)^2 |1−h(λ)|^2. With the printed formula, the value at λ=0 is (1−r)/(2−r), not 1−r, contradicting the assertion that |x1(0)x2(0)−x3(0)|=1−r. Consequently the interval condition 1−r−ε<|x1x2−x3|<1−r+ε cannot be achieved for a^2 between (1−r)/(2−r) and 1−r, and the constructed disk need not satisfy |g(μ)|^2<|x1(λ)x2(λ)−x3(λ)|. The foliation of ∂2H by 2-dimensional analytic discs is essential for the proof that f maps ∂2H into C×∂E and hence for the properness of φ.
  3. [§3, after (3.3)] The assertion that the restriction of G to H∩(C×U) is a biholomorphic mapping, and consequently that F1(·,x) is a biholomorphic self-mapping of Ω_x for every x∈U, does not follow from JG≠0 alone. Nonvanishing Jacobian gives only local biholomorphy. One must first prove that each slice map F1(·,x): Ω_x→Ω_x is proper (using properness of G and the identity base), then combine properness with the absence of critical points to conclude that it is an automorphism of the disk. The subsequent formula for F1 and the holomorphy of H(a,x) also need a clearer justification, since the displayed denominator contains e^{u(x)}, which is not holomorphic in x; the manuscript's appeal to Riemann's removable singularity theorem is too terse.
minor comments (5)
  1. [Lemma 2.3] Items (2), (3), and (5) are misquoted: the terms |x1−x2x3| and |x2−x1x3| should read |x1−\bar{x2}x3| and |x2−\bar{x1}x3|. The proof only uses item (4), which is correct, so this is a typographical issue.
  2. [Lemma 2.4] Item (1), as printed, states x1=x2x3, which is false for the distinguished boundary; the correct condition is x1=\bar{x2}x3, consistent with (3.2). The citation to [2] supports the corrected version.
  3. [Theorem 2.8] The statement says 'hetrablock' instead of 'hexablock'.
  4. [Lemma 2.10] The notation (ea,0,er,1−er) uses 'ea' and 'er' as single symbols; this should be typeset as (\tilde{a},0,\tilde{r},1−\tilde{r}) for readability.
  5. [§3, formula for F1] In the displayed automorphism formula after 'Observe that F1(·,x) is a biholomorphic self-mapping...', the denominator should contain \overline{F^{-1}_1(0,x)} rather than F^{-1}_1(0,x); as written the expression is not the standard automorphism of Ω_x.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the proof is a forward chain from external prior theorems and does not assume the conjecture it establishes.

full rationale

The main derivation is self-contained relative to external prior results. Reference [10] supplies the definition and geometry of H, the subgroup G(H), polynomial convexity, the quasi-balanced structure, and the subdomain Ω; [15] supplies the quasi-circular extension theorem and the tetrablock proper-map rigidity used to conclude that φ is an automorphism; [24] supplies Aut(E). None of these load-bearing citations is by the present authors, and none assumes the target statement G(H)=Aut(H). The automorphism forms (1.3)/(1.4) are invoked only after f is shown to be an automorphism and after the induced base map is identified with a tetrablock automorphism, so they are not the premise of the argument. No parameter is fitted to data, no quantity is renamed as a prediction, and no equation in the paper is equivalent by construction to the conclusion. The only present-author citation ([21]) appears in a list of related works and is not load-bearing. I explicitly flag two non-circular proof defects: (i) in Lemma 2.11 the displayed formula should be |x1(λ)x2(λ)−x3(λ)| = (1−r)|1−h(λ)|^2/(2−r)^2; as printed, the missing square gives the wrong value at λ = 0. (ii) In Section 3, relation (3.2) yields f2 = \bar{f3}e^{iθ}, not f2 = f3e^{iθ}; the printed equality is a typo, though the intended conclusion of independence from a still follows from the conjugate relation by holomorphy. These are correctness risks, not circularity. Therefore the circularity score is 0.

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

The proof is a chain of citations to established results. It introduces no fitted parameters and no new entities. The main unproved inputs are Bergman kernel extension and geometry facts for the hexablock, taken from Biswas-Pal-Tomar [10], and the standard rigidity theorems for the tetrablock and unit ball. The paper's own new boundary lemmas (2.9-2.11) carry the remainder of the burden, and Lemma 2.11 as printed contains a formula error.

assumptions (5)
  • domain assumption The hexablock H satisfies the Bergman kernel extension hypothesis of Lemma 2.7 (Kosinski), specifically Corollary 6.4 and Remark 7 in [10] and [15].
    Theorem 2.8, which extends every proper holomorphic self-map to the boundary of H, depends on this cited property. It is not proved in this paper.
  • standard math The automorphism group Aut(E) of the tetrablock consists exactly of the maps tau_{nu,chi} and tau_{nu,chi,F} (Young [24]), and every such map lifts to an automorphism of H, yielding the group G(H) from Theorem 1.1.
    Used to normalize G = T∘f so that the base map becomes the identity, reducing the problem to a fiber-wise disk automorphism.
  • standard math Alexander's theorem: every proper holomorphic self-map of the unit ball in C^2 (here the slice eOmega) is an automorphism.
    Applied to the map phi(a,λ)=(F1(a,λ,λ,λ^2), λ) to conclude it is the rotation (eta a, λ).
  • standard math The boundary and distinguished boundary descriptions of the tetrablock (Lemmas 2.3 and 2.4, from [1] and [2]).
    Used to identify ∂E and bE. Caution: the printed statements in this paper contain missing conjugates that are corrected only implicitly in the subsequent text.
  • domain assumption Lemma 3.7 in [10]: (a,λ,λ,λ^2) is in H if and only if |a|^2 + |λ|^2 < 1.
    Defines the special slice eOmega, the unit ball in C^2, used for Alexander's theorem.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Rigidity of proper holomorphic self-mappings of the hexablock." pith.science (2026). https://pith.science/paper/KZXMR6KP

@misc{pith2026250716176,
  author       = {Pith},
  title        = {Pith review of: Rigidity of proper holomorphic self-mappings of the hexablock},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KZXMR6KP}},
  note         = {Machine review of arXiv:2507.16176}
}
abstract

The hexablock \(\mathbb{H}\), introduced by Biswas-Pal-Tomar \cite{Hexablock}, is a Hartogs domain in \(\mathbb{C}^4\) fibered over the tetrablock \(\mathbb{E}\) in \(\mathbb{C}^3\), arising in the context of \(\mu\)-synthesis problems. In this paper, we prove that every proper holomorphic self-map of \(\mathbb{H}\) is necessarily an automorphism. Consequently, we resolve the conjecture \(G(\mathbb{H}) = \mathrm{Aut}(\mathbb{H})\) on the automorphism group structure, originally posed by Biswas-Pal-Tomar in \cite{Hexablock}.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

25 extracted references · 24 canonical work pages

  1. [10]

    Biswas, S

    I. Biswas, S. Pal and N. Tomar, The Hexablock: a domain associated with the µ-synthesis in M2(C), https://arxiv.org/abs/2506.15149

    arXiv

  2. [1]

    A. A. Abouhajar, Function theory related to H ∞ control, PhD Thesis, Newcastle University , 2007

    work page 2007

  3. [2]

    A. A. Abouhajar, M. C. White and N. J. Young, A Schwarz lemma for a domain related to µ-synthesis, J. Geom. Anal. 17 (2007), 717–750

    work page 2007

  4. [3]

    Agler, Z

    J. Agler, Z. A. Lykova and N. J. Young,Extremal holomorphic maps and the symmetrized bidisc, Proc. London Math. Soc. 106 (2013), 781–818

    work page 2013

  5. [4]

    Agler, Z

    J. Agler, Z. A. Lykova and N. J. Young,The complex geometry of a domain related toµ-synthesis, J. Math. Anal. Appl. 422 (2015), 508–543

    work page 2015

  6. [5]

    Agler and N

    J. Agler and N. J. Young, The hyperbolic geometry of the symmetrized bidisc, J. Geom. Anal. 14 (2004), 375–403

    work page 2004

  7. [6]

    O. M. O. Alsalhi and Z. A. Lykova, Rational tetra-inner functions and the special variety of the tetrablock, J. Math. Anal. Appl. 506 (2022), Paper No. 125534, 52 pp

    work page 2022

  8. [7]

    Bhattacharyya, S

    T. Bhattacharyya, S. Pal and S. Shyam Roy , Dilations of Γ-contractions by solving operator equations, Adv. Math. 230 (2012), 577–606

    work page 2012

Show all 25 references
  1. [8]

    Bhattacharyya, The tetrablock as a spectral set , Indiana Univ

    T. Bhattacharyya, The tetrablock as a spectral set , Indiana Univ. Math. J. 63 (2014), 1601– 1629

    2014

  2. [9]

    Bisai and S

    B. Bisai and S. Pal, Structure theorems for operators associated with two domains related to µ-synthesis, Bull. Sci. Math. 159 (2020), Paper No. 102822, 30 pp

    2020

  3. [11]

    J. C. Doyle and G. Stein, Multivariable feedback design: concepts for a classical/modern synthe- sis, IEEE Trans. Automat. Control 26 (1981), 4–16. RIGIDITY OF PROPER HOLOMORPHIC SELF-MAPPINGS OF THE HEXABLOCK 13

    1981

  4. [12]

    B. A. Francis, A course in H ∞ Control Theory , Lecture Notes in Control and Information Sciences, Vol. 88, Springer, Berlin (1987)

    1987

  5. [13]

    Jindal and P

    A. Jindal and P. Kumar, Rational penta-inner functions and the distinguished boundary of the pentablock, Complex Anal. Oper. Theory 16 (2022), Paper No. 120, 12 pp

    2022

  6. [14]

    Jindal and P

    A. Jindal and P. Kumar, Operator theory on the pentablock, J. Math. Anal. Appl. 540 (2024), Paper No. 128589, 17 pp

    2024

  7. [15]

    Kosi ´nski, Geometry of quasi-circular domains and application to tetrablock , Proc

    L. Kosi ´nski, Geometry of quasi-circular domains and application to tetrablock , Proc. Amer. Math. Soc. 139 (2011), 559–569

    2011

  8. [16]

    Kosi ´nski, The group of automorphisms of the pentablock , Complex Anal

    L. Kosi ´nski, The group of automorphisms of the pentablock , Complex Anal. Oper. Theory . 6 (2015), 1349–1359

    2015

  9. [17]

    Kosi ´nski and W

    L. Kosi ´nski and W. Zwonek, Nevanlinna-Pick problem and uniqueness of left inverses in convex domains, symmetrized bidisc and tetrablock, J. Geom. Anal. 26 (2016), 1863–1890

    2016

  10. [18]

    Pal and S

    S. Pal and S. Roy ,A Schwarz lemma for two families of domains and complex geometry, Complex Var. Elliptic Equ.66 (2021), 756–782

    2021

  11. [19]

    Pal and N

    S. Pal and N. Tomar, Operators associated with the pentablock and their relations with biball and symmetrized bidisc, https://arxiv.org/abs/2309.15080v2

    arXiv

  12. [20]

    Pflug and W

    P. Pflug and W. Zwonek, Description of all complex geodesics in the symmetrised bidisc , Bull. London Math. Soc. 37 (2005), 575–584

    2005

  13. [21]

    G. Su, Z. Tu and L. Wang, Rigidity of proper holomorphic self-mappings of the pentablock , J. Math. Anal. Appl. 424 (2015), 460–469

    2015

  14. [22]

    Su, Geometric properties of the pentablock , Complex Anal

    G. Su, Geometric properties of the pentablock , Complex Anal. Oper. Theory 14 (2020), Paper No. 44, 14 pp

    2020

  15. [23]

    Tomar, A new characterization for the distinguished boundaries of a few domains related to µ-synthesis, Proc

    N. Tomar, A new characterization for the distinguished boundaries of a few domains related to µ-synthesis, Proc. Indian Acad. Sci. (Math. Sci.) (2024)

    2024

  16. [24]

    N. J. Young, The automorphism group of the tetrablock, J. Lond. Math. Soc. 77 (2008), 757– 770

    2008

  17. [25]

    Zwonek, Geometric properties of the tetrablock, Arch

    W. Zwonek, Geometric properties of the tetrablock, Arch. Math. (Basel) 100 (2013), 159–165. SCHOOL OF MATHEMATICS AND STATISTICS , QINGDAO UNIVERSITY , QINGDAO , SHANDONG 266071, P.R. C HINA Email address: bienchao@qdu.edu.cn SCHOOL OF MATHEMATICS AND STATISTICS , W UHAN UNIVE...

    2013

Pith tools

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