pith. sign in

arxiv: 2606.08651 · v2 · pith:5MVQBV3Lnew · submitted 2026-06-07 · 🧮 math.CV

The Four-Point Picard Theorem for Quaternionic Slice Regular Functions

Guangbin Ren , Xin Zhao This is my paper

Pith reviewed 2026-06-27 17:42 UTC · model grok-4.3

classification 🧮 math.CV
keywords slice regular functionsquaternionic analysisPicard theorementire functionsvalue distributionaffine independencestem function
0
0 comments X

The pith

Entire slice regular functions on quaternions are constant when omitting four affinely independent values.

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

This paper proves that an entire slice regular function from the quaternions to the quaternions can omit four prescribed values only when those values are affinely dependent over the reals. Four affinely independent omitted values force the function to be constant. The argument reduces the problem to the real-symmetric stem function of the given function. A quadratic zero-divisor criterion then produces auxiliary zero-free entire functions for each omitted value, which are analyzed via factorization and value-distribution theorems to obtain a contradiction unless the function is constant. The converse direction follows from an earlier plane-omission result.

Core claim

An entire slice regular function f:H→H can omit four prescribed quaternionic values only in the affine-dependent case. More precisely, four affinely independent omitted values force f to be constant, while the converse follows from the plane-omission theorem of Bisi--Winkelmann.

What carries the argument

Real-symmetric stem function together with the quadratic zero-divisor criterion that produces zero-free entire functions Q_j for each omitted value.

If this is right

  • Four affinely independent omitted values force the function to be constant.
  • The converse holds via the earlier plane-omission theorem.
  • Finite-order cases are ruled out by Hadamard factorization and a rigidity argument on the real axis.
  • The general case reduces to an algebraic torus via logarithmic Bloch-Ochiai, with the nonsquare subcase excluded by even-ramification plus the level-one truncated second main theorem.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The affine-dependence condition may indicate how the four-dimensional geometry of the quaternions limits value omission compared with the two-dimensional complex case.
  • It would be natural to check whether three affinely independent values can be omitted by a non-constant example, testing sharpness.
  • Similar Picard-type statements could be sought for other hypercomplex function theories that admit a stem-function reduction.

Load-bearing premise

The stem-function reduction and quadratic zero-divisor analysis produce auxiliary entire functions to which standard factorization and truncated second-main theorems apply without extra growth or ramification obstructions.

What would settle it

Any explicit non-constant entire slice regular function that omits four affinely independent values such as 0, 1, i and j would disprove the claim.

read the original abstract

An entire slice regular function $f:\mathbb H\to\mathbb H$ can omit four prescribed quaternionic values only in the affine-dependent case. More precisely, four affinely independent omitted values force $f$ to be constant, while the converse follows from the plane-omission theorem of Bisi--Winkelmann. The proof passes to the real-symmetric stem function. For each omitted value a quadratic zero-divisor criterion gives a zero-free entire function $Q_j$, and the component normal to the affine span is governed by a square-discriminant identity. Finite-order data are excluded by Hadamard factorization and a rigidity argument on the real axis. In the general case, logarithmic Bloch--Ochiai places the $Q$-curve in a translated algebraic torus. The Laurent-square case reduces to the finite-order contradiction, and the nonsquare case is excluded by an even-ramification argument together with the level-one truncated Second Main Theorem of Noguchi--Winkelmann--Yamanoi.

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.

Referee Report

2 major / 2 minor

Summary. The manuscript establishes a four-point Picard theorem for entire slice regular functions f: H → H. It asserts that such an f can omit four prescribed quaternionic values only when the values are affinely dependent; four affinely independent omitted values force f to be constant. The converse follows from the plane-omission theorem of Bisi–Winkelmann. The proof reduces to the real-symmetric stem function; for each omitted value a quadratic zero-divisor criterion produces a zero-free entire function Q_j, while the component normal to the affine span is governed by a square-discriminant identity. Finite-order cases are excluded by Hadamard factorization together with a rigidity argument on the real axis. In the general case, logarithmic Bloch–Ochiai places the Q-curve in a translated algebraic torus; the Laurent-square case reduces to the finite-order contradiction, and the nonsquare case is excluded by an even-ramification argument together with the level-one truncated Second Main Theorem of Noguchi–Winkelmann–Yamanoi.

Significance. If the central claim holds, the result supplies a sharp four-point omission theorem in the quaternionic slice-regular category, extending classical Picard theory and complementing the Bisi–Winkelmann plane-omission result. The approach correctly invokes independent external theorems (Bisi–Winkelmann; Noguchi–Winkelmann–Yamanoi) and combines slice regularity with value-distribution methods; this combination is a genuine strength when the reduction steps are fully verified.

major comments (2)
  1. [Abstract (proof outline)] Abstract (paragraph beginning 'The proof passes to the real-symmetric stem function'): the reduction via the real-symmetric stem function together with the quadratic zero-divisor criterion is asserted to produce entire functions Q_j to which the Hadamard factorization and the level-one truncated SMT apply without additional growth or ramification obstructions. The manuscript provides no explicit growth-order estimates, ramification-divisor computation, or confirmation that the stem-function reduction preserves the necessary Nevanlinna-theoretic hypotheses (even ramification and proximity functions satisfying the truncated defect relation without extra terms arising from the quaternionic-to-complex passage). This step is load-bearing for the general-case exclusion.
  2. [Abstract (general case)] Abstract (sentence 'the nonsquare case is excluded by an even-ramification argument together with the level-one truncated Second Main Theorem'): the even-ramification argument is only named and is not accompanied by a concrete computation of the ramification divisor or a reference to a specific identity showing that the ramification index is even after the stem-function reduction. Without this verification it is impossible to confirm that the level-one truncated SMT of Noguchi–Winkelmann–Yamanoi applies directly.
minor comments (2)
  1. The abstract would benefit from a one-sentence reminder of the definition of slice regularity and of the real-symmetric stem function for readers outside the immediate subfield.
  2. All external theorems invoked (Bisi–Winkelmann, Noguchi–Winkelmann–Yamanoi) should appear with complete bibliographic entries; the current abstract citation style is acceptable but the full manuscript should list them explicitly.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need for more explicit verification of the reduction steps. We agree that the abstract summarizes the argument at a high level and will expand the relevant sections with the requested estimates and computations in the revised manuscript.

read point-by-point responses

  1. Referee: [Abstract (proof outline)] Abstract (paragraph beginning 'The proof passes to the real-symmetric stem function'): the reduction via the real-symmetric stem function together with the quadratic zero-divisor criterion is asserted to produce entire functions Q_j to which the Hadamard factorization and the level-one truncated SMT apply without additional growth or ramification obstructions. The manuscript provides no explicit growth-order estimates, ramification-divisor computation, or confirmation that the stem-function reduction preserves the necessary Nevanlinna-theoretic hypotheses (even ramification and proximity functions satisfying the truncated defect relation without extra terms arising from the quaternionic-to-complex passage). This step is load-bearing for the general-case exclusion.

    Authors: We agree that the abstract does not contain the explicit estimates. The body of the paper derives the growth orders for the Q_j from the slice-regularity of f and the real-symmetric stem function, with the quadratic zero-divisor criterion ensuring the functions remain entire and zero-free while preserving the order. The Nevanlinna hypotheses are inherited because the reduction maps to a complex entire function without introducing additional proximity or ramification terms. To make this fully transparent, we will insert a new subsection providing the growth-order estimates, the explicit verification of the truncated defect relation, and confirmation that no extra terms arise from the quaternionic-to-complex passage. revision: yes

  2. Referee: [Abstract (general case)] Abstract (sentence 'the nonsquare case is excluded by an even-ramification argument together with the level-one truncated Second Main Theorem'): the even-ramification argument is only named and is not accompanied by a concrete computation of the ramification divisor or a reference to a specific identity showing that the ramification index is even after the stem-function reduction. Without this verification it is impossible to confirm that the level-one truncated SMT of Noguchi–Winkelmann–Yamanoi applies directly.

    Authors: The even-ramification property follows directly from the square-discriminant identity stated in the abstract, which forces all ramification indices in the reduced Q-curve to be even. We will add the concrete computation of the ramification divisor together with the explicit identity and a short reference to the relevant lemma in the revised version, thereby confirming that the hypotheses of the level-one truncated SMT are satisfied without additional terms. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation applies independent external theorems after stem-function reduction

full rationale

The paper's chain reduces the four-point omission statement to properties of zero-free entire functions Q_j obtained via quadratic zero-divisor criterion on the real-symmetric stem function, then invokes Hadamard factorization for the finite-order case and the level-one truncated SMT of Noguchi–Winkelmann–Yamanoi (plus Bloch–Ochiai) for the general case. These theorems are cited as external and independent of the present work; the abstract explicitly attributes the converse to Bisi–Winkelmann. No self-citation is load-bearing, no parameter is fitted on a subset and relabeled a prediction, and no step equates the conclusion to its own inputs by definition. The derivation therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof relies on standard complex-analytic tools (Hadamard factorization, Bloch–Ochiai, truncated SMT) applied after a stem-function reduction; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math Hadamard factorization applies to the auxiliary entire functions Q_j constructed via the quadratic zero-divisor criterion.
    Invoked in the finite-order case to obtain a contradiction.
  • domain assumption The level-one truncated Second Main Theorem of Noguchi–Winkelmann–Yamanoi applies to the Q-curve in the nonsquare Laurent case.
    Used to exclude the nonsquare case via even-ramification.

pith-pipeline@v0.9.1-grok · 5696 in / 1354 out tokens · 12590 ms · 2026-06-27T17:42:31.568528+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

23 extracted references · 11 canonical work pages

  1. [1]

    C. Bisi, J. Winkelmann:On a quaternionic Picard theorem. Proc. Amer. Math. Soc., Ser. B7, 106–117 (2020).https://doi.org/10.1090/bproc/54

    work page doi:10.1090/bproc/54 2020

  2. [2]

    C. Bisi, J. Winkelmann:The harmonicity of slice regular functions. J. Geom. Anal. 31, 7773–7811 (2021).https://doi.org/10.1007/s12220-020-00551-7

    work page doi:10.1007/s12220-020-00551-7 2021

  3. [3]

    Boas:Entire Functions

    R.P. Boas:Entire Functions. Pure and Applied Mathematics, vol. 5. Academic Press, New York (1954)

    1954

  4. [4]

    Colombo, G

    F. Colombo, G. Gentili, I. Sabadini, D.C. Struppa:Extension results for slice regular functions of a quaternionic variable. Adv. Math.222, no.5, 1793–1808 (2009).https: //doi.org/10.1016/j.aim.2009.06.015

    work page doi:10.1016/j.aim.2009.06.015 2009

  5. [5]

    Colombo, I

    F. Colombo, I. Sabadini, D.C. Struppa:Noncommutative Functional Calculus: The- ory and Applications of Slice Hyperholomorphic Functions. Progress in Mathematics, vol.289. Birkh¨ auser/Springer Basel AG, Basel (2011).https://doi.org/10.1007/ 978-3-0348-0110-2

    2011

  6. [6]

    Cox, J.B

    D.A. Cox, J.B. Little, H.K. Schenck:Toric Varieties. Graduate Studies in Mathemat- ics, vol.124. Amer. Math. Soc., Providence, RI (2011).https://doi.org/10.1090/ gsm/124

    2011

  7. [7]

    Cullen:An integral theorem for analytic intrinsic functions on quater- nions

    C.G. Cullen:An integral theorem for analytic intrinsic functions on quater- nions. Duke Math. J.32, no.1, 139–148 (1965).https://doi.org/10.1215/ S0012-7094-65-03212-6

    1965

  8. [8]

    Dethloff, S.S.-Y

    G.-E. Dethloff, S.S.-Y. Lu:Logarithmic jet bundles and applications. Osaka J. Math. 38, no.1, 185–237 (2001)

    2001

  9. [9]

    Fulton:Introduction to Toric Varieties

    W. Fulton:Introduction to Toric Varieties. Annals of Mathematics Studies, vol.131. Princeton University Press, Princeton, NJ (1993)

    1993

  10. [10]

    Gentili, C

    G. Gentili, C. Stoppato:Zeros of regular functions and polynomials of a quaternionic variable. Michigan Math. J.56, no.3, 655–667 (2008).https://doi.org/10.1307/ mmj/1231770366

    arXiv 2008

  11. [11]

    Gentili, C

    G. Gentili, C. Stoppato, D.C. Struppa:Regular Functions of a Quaternionic Variable. Springer Monographs in Mathematics. Springer, Heidelberg (2013).https://doi. org/10.1007/978-3-642-33871-7

    work page doi:10.1007/978-3-642-33871-7 2013

  12. [12]

    Gentili, D.C

    G. Gentili, D.C. Struppa:A new approach to Cullen-regular functions of a quater- nionic variable. C. R. Math. Acad. Sci. Paris342, no.10, 741–744 (2006).https: //doi.org/10.1016/j.crma.2006.03.015

    work page doi:10.1016/j.crma.2006.03.015 2006

  13. [13]

    Gentili, D.C

    G. Gentili, D.C. Struppa:A new theory of regular functions of a quaternionic variable. Adv. Math.216, no.1, 279–301 (2007).https://doi.org/10.1016/j.aim.2007.05. 010

    work page doi:10.1016/j.aim.2007.05 2007

  14. [14]

    Ghiloni, A

    R. Ghiloni, A. Perotti:Slice regular functions on real alternative algebras. Adv. Math. 226, no.2, 1662–1691 (2011).https://doi.org/10.1016/j.aim.2010.08.015

    work page doi:10.1016/j.aim.2010.08.015 2011

  15. [15]

    Griffiths, J

    P.A. Griffiths, J. King:Nevanlinna theory and holomorphic mappings between al- gebraic varieties. Acta Math.130, 145–220 (1973).https://doi.org/10.1007/ BF02392265

    1973

  16. [16]

    Levin:Distribution of Zeros of Entire Functions, Revised ed

    B.Ya. Levin:Distribution of Zeros of Entire Functions, Revised ed. Translations of Mathematical Monographs, vol.5. Amer. Math. Soc., Providence, RI (1980)

    1980

  17. [17]

    Noguchi,On holomorphic curves in semi-abelian varieties, Math

    J. Noguchi,On holomorphic curves in semi-abelian varieties, Math. Z.228(1998), no. 4, 713–721

    1998

  18. [18]

    Noguchi,Lemma on logarithmic derivatives and holomorphic curves in algebraic varieties, Nagoya Math

    J. Noguchi,Lemma on logarithmic derivatives and holomorphic curves in algebraic varieties, Nagoya Math. J.83(1981), 213–233

    1981

  19. [19]

    Noguchi, J

    J. Noguchi, J. Winkelmann:Nevanlinna Theory in Several Complex Variables and Diophantine Approximation. Grundlehren der mathematischen Wissenschaften, vol.350. Springer, Tokyo (2014).https://doi.org/10.1007/978-4-431-54571-2 32 G. REN AND X. ZHAO

    work page doi:10.1007/978-4-431-54571-2 2014

  20. [20]

    Noguchi, J

    J. Noguchi, J. Winkelmann, K. Yamanoi:The second main theorem for holomorphic curves into semi-abelian varieties. Acta Math.188, no.1, 129–161 (2002).https: //doi.org/10.1007/BF02392797

    work page doi:10.1007/bf02392797 2002

  21. [21]

    Noguchi, J

    J. Noguchi, J. Winkelmann, K. Yamanoi:Degeneracy of holomorphic curves into algebraic varieties. J. Math. Pures Appl.88, no.3, 293–306 (2007).https://doi. org/10.1016/j.matpur.2007.05.002

    work page doi:10.1016/j.matpur.2007.05.002 2007

  22. [22]

    Noguchi, J

    J. Noguchi, J. Winkelmann, K. Yamanoi:The second main theorem for holomorphic curves into semi-abelian varieties. II. Forum Math.20, no.3, 469–503 (2008).https: //doi.org/10.1515/FORUM.2008.024

    work page doi:10.1515/forum.2008.024 2008

  23. [23]

    Perotti,A four dimensional Jensen formula, Riv

    A. Perotti,A four dimensional Jensen formula, Riv. Math. Univ. Parma (N.S.)11 (2020), no. 1, 139–152. Department of Mathematics, University of Science and Technology of China, Hefei 230026, China Email address:rengb@ustc.edu.cn Department of Mathematics, University of Science and Technology of China, Hefei 230026, China Email address:zx130781@mail.ustc.edu.cn

    2020