Generalized partial-slice monogenic functions: the octonionic case
Pith reviewed 2026-05-23 00:41 UTC · model grok-4.3
The pith
Generalized partial-slice monogenic functions over octonions include both regular and slice regular functions as special cases.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The generalized partial-slice monogenic functions over octonions encompass the regular functions and the slice regular functions. In this non-associative setting the standard properties of monogenic functions continue to hold, including the identity theorem, representation formula, Cauchy and Cauchy-Pompeiu integral formulas, maximum modulus principle, Fueter polynomials and Taylor series expansions. The results are shown to apply more generally to real alternative algebras with a conjugation.
What carries the argument
The generalized partial-slice monogenic function, defined by extending the partial-slice condition from Clifford algebras to octonions.
If this is right
- Both regular and slice regular functions satisfy the new definition.
- The identity theorem holds for these functions.
- Cauchy and Cauchy-Pompeiu integral formulas represent the functions via boundary integrals.
- The maximum modulus principle applies.
- Taylor series expansions and Fueter polynomials are available.
Where Pith is reading between the lines
- The same construction and proofs should apply to other real alternative algebras equipped with conjugation.
- This may allow results from the Clifford setting to transfer directly to octonion-valued problems in geometry or physics.
- Further specialization of the partial-slice parameter could recover additional subclasses of functions.
Load-bearing premise
The algebraic properties of octonions as an alternative algebra with conjugation suffice for the proofs to go through without modification from the Clifford algebra case.
What would settle it
A function that meets the generalized partial-slice monogenic condition over octonions but violates the identity theorem, such as a non-zero function whose zero set has an accumulation point.
read the original abstract
In a recent paper [Trans. Amer. Math. Soc. 378 (2025), 851-883], the concept of generalized partial-slice monogenic (or regular) function was introduced over Clifford algebras. The present paper shall extend the study of generalized partial-slice monogenic functions from the associative case of Clifford algebras to non-associative alternative algebras, such as octonions. The new class of functions encompasses the regular functions [Rend. Sem. Mat. Univ. Padova 50 (1973), 251-267] and slice regular functions [Rocky Mountain J. Math. 40 (2010), no. 1, 225-241] over octonions, indeed both appear in the theory as special cases. In the non-associative setting of octonions, we shall develop some fundamental properties such as identity theorem, Representation Formula, Cauchy (and Cauchy-Pompeiu) integral formula, maximum modulus principle, Fueter polynomials, Taylor series expansion. As a complement, the paper also introduces and discusses the notion of generalized partial-slice (and regular) functions. Although the study is limited to the case of octonions, it is clear from the statements and the arguments in the proofs that the results hold more in general in real alternative algebras equipped with a notion of conjugation.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper extends the notion of generalized partial-slice monogenic functions, previously defined over Clifford algebras, to the octonions. It defines a new class that includes both regular functions and slice-regular functions over octonions as special cases, and establishes several fundamental results in this non-associative setting: the identity theorem, Representation Formula, Cauchy and Cauchy-Pompeiu integral formulas, maximum modulus principle, Fueter polynomials, and Taylor series expansions. The authors state that the same arguments apply verbatim to any real alternative algebra equipped with a conjugation.
Significance. If the proofs are shown to rely only on alternativity rather than full associativity, the work would supply a coherent framework that unifies known classes of octonionic monogenic functions and extends naturally to other alternative algebras. The explicit recovery of both regular and slice-regular functions as special cases is a concrete strength.
major comments (2)
- [Abstract] Abstract and final paragraph: the claim that 'the statements and the arguments in the proofs' carry over unchanged to arbitrary real alternative algebras with conjugation is load-bearing for the paper's scope. No explicit check is supplied that steps involving products inside integrals, power-series multiplication, or Fueter-polynomial recursions use only alternativity (xy)x = x(yx) and never require (xy)z = x(yz).
- [Definition section] Definition of generalized partial-slice monogenic function (presumably §2): the partial-slice condition must be formulated so that the non-associativity of octonion multiplication does not invalidate the subsequent integral representations or the Representation Formula; the manuscript does not isolate the precise algebraic identity used at each step.
minor comments (2)
- [Preliminaries] Notation for the octonion conjugation and the splitting into real and imaginary parts should be stated once at the beginning and used consistently.
- [References] The 2025 Trans. Amer. Math. Soc. reference should include the full bibliographic details (volume, pages, DOI) in the reference list.
Simulated Author's Rebuttal
We thank the referee for the careful reading and the constructive comments, which point to useful clarifications on the algebraic foundations of the results.
read point-by-point responses
-
Referee: [Abstract] Abstract and final paragraph: the claim that 'the statements and the arguments in the proofs' carry over unchanged to arbitrary real alternative algebras with conjugation is load-bearing for the paper's scope. No explicit check is supplied that steps involving products inside integrals, power-series multiplication, or Fueter-polynomial recursions use only alternativity (xy)x = x(yx) and never require (xy)z = x(yz).
Authors: We agree that an explicit verification would strengthen the manuscript. In the revised version we will insert a dedicated remark (or short subsection) that systematically identifies the algebraic identities used in each proof—identity theorem, Representation Formula, integral formulas, maximum modulus principle, Fueter polynomials, and Taylor series—and confirms that only the alternative laws are invoked, without any appeal to full associativity. revision: yes
-
Referee: [Definition section] Definition of generalized partial-slice monogenic function (presumably §2): the partial-slice condition must be formulated so that the non-associativity of octonion multiplication does not invalidate the subsequent integral representations or the Representation Formula; the manuscript does not isolate the precise algebraic identity used at each step.
Authors: The partial-slice condition is stated so that the subsequent formulas remain valid under alternativity. To make this transparent we will revise the definition section (and the proofs that follow) to explicitly name the precise identities—primarily the left and right alternative laws—employed at each step when deriving the integral representations and the Representation Formula. revision: yes
Circularity Check
No significant circularity detected; new definition and proofs for octonions are independent of the cited Clifford-algebra source
full rationale
The paper cites a 2025 Trans. AMS paper solely to introduce the generalized partial-slice monogenic concept in the associative Clifford setting, then defines an analogous class for octonions and derives its properties (identity theorem, Representation Formula, Cauchy integral formula, Fueter polynomials, Taylor expansion) directly in the non-associative case. The abstract explicitly states that both regular and slice-regular functions appear as special cases within the new theory, and the proofs are presented as self-contained for octonions. The further claim that the same arguments apply verbatim to any real alternative algebra with conjugation is an assertion about the scope of the given proofs rather than a reduction of any equation or result to the prior paper by construction. No self-definitional loop, fitted-input prediction, or load-bearing self-citation chain is exhibited; the derivation chain therefore remains self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
invented entities (1)
-
generalized partial-slice monogenic function over octonions
no independent evidence
Forward citations
Cited by 3 Pith papers
-
Monogenic functions over real alternative *-algebras: fundamental results and applications
Presents integral formulas and series expansions for monogenic functions in real alternative *-algebras that unify several hypercomplex analysis theories.
-
Monogenic functions over real alternative *-algebras: the several hypercomplex variables case
Introduces monogenic functions of several hypercomplex variables over real alternative *-algebras and establishes Bochner-Martinelli formula, Plemelj-Sokhotski formula, and Hartogs extension theorem.
-
Monogenic functions over real alternative *-algebras: the several hypercomplex variables case
Initiates monogenic functions of several hypercomplex variables over real alternative *-algebras and establishes Bochner-Martinelli, Plemelj-Sokhotski, and Hartogs extension results in this unified setting.
Reference graph
Works this paper leans on
-
[1]
J. C. Baez,The octonions, Bull. Amer. Math. Soc. (N.S.) 39 (2002), no. 2, 145-205
work page 2002
- [2]
-
[3]
F. Colombo, R. S. Kraußhar, I. Sabadini,Octonionic monogenic and slice mono- genic Hardy and Bergman spaces, Forum Math. 36 (2024), no. 4, 1031-1052
work page 2024
-
[4]
F. Colombo, I. Sabadini, D. C. Struppa,Michele Sce’s Works in Hypercomplex Analysis. A Translation with Commentaries, Birkh¨ auser, Basel, 2020. 34
work page 2020
-
[5]
F. Colombo, I. Sabadini, D. C. Struppa,Dirac equation in the octonionic alge- bra, Contemp. Math. 251 (2000), 117-134
work page 2000
-
[6]
F. Colombo, I. Sabadini, D. C. Struppa,Slice monogenic functions, Israel J. Math. 171 (2009), 385-403
work page 2009
-
[7]
F. Colombo, I. Sabadini, D. C. Struppa,Noncommutative functional calcu- lus. Theory and applications of slice hyperholomorphic functions, Volume 289, Progress in Mathematics, Birkh¨ auser, Basel (2011)
work page 2011
-
[8]
R. Delanghe, F. Sommen, V. Vladim´ ır Souˇ cek,Clifford algebra and spinor- valued functions. A function theory for the Dirac operator, Mathematics and its Applications, Vol. 53, Kluwer Academic Publishers Group, Dordrecht, 1992
work page 1992
-
[9]
P. Dentoni, M. Sce,Funzioni regolari nell’algebra di Cayley, Rend. Sem. Mat. Univ. Padova 50 (1973), 251-267
work page 1973
-
[10]
C. Ding, Z. Xu,Invariance of iterated global differential operator for slice mono- genic functions, Comput. Methods Funct. Theory 25 (2025), no. 3, 735-752
work page 2025
-
[11]
X. Dou, G. Ren, I. Sabadini,A representation formula for slice regular functions over slice-cones in several variables, Ann. Mat. Pura Appl. (4) 202 (2023), no. 5, 2421-2446
work page 2023
-
[12]
X. Dou, G. Ren, I. Sabadini, T. Yang,Weak slice regular functions on the n-dimensional quadratic cone of octonions, J. Geom. Anal. 31 (2021), no. 11, 11312-11337
work page 2021
-
[13]
G. Gentili, D. C. Struppa,A new theory of regular functions of a quaternionic variable, Adv. Math. 216 (2007) no. 1, 279-301
work page 2007
-
[14]
G. Gentili, D. C. Struppa,Regular functions on the space of Cayley numbers, Rocky Mountain J. Math. 40 (2010), no. 1, 225-241
work page 2010
-
[15]
R. Ghiloni, A. Perotti,Slice regular functions on real alternative algebras, Adv. Math. 226 (2011), no. 2, 1662-1691
work page 2011
-
[16]
R. Ghiloni, A. Perotti, C. Stoppato,Division algebras of slice functions, Proc. Roy. Soc. Edinburgh Sect. A 150 (2020), no. 4, 2055-2082
work page 2020
-
[17]
R. Ghiloni, C. Stoppato,A unified notion of regularity in one hypercomplex variable, J. Geom. Phys. 202 (2024), Paper No. 105219, 13 pp
work page 2024
-
[18]
A unified theory of regular functions of a hypercomplex variable
R. Ghiloni, C. Stoppato,A unified theory of regular functions of a hypercomplex variable, arXiv:2408.01523, 2024
work page internal anchor Pith review Pith/arXiv arXiv 2024
-
[19]
K. G¨ urlebeck, K. Habetha, W. Spr¨ oßig,Holomorphic functions in the plane and n-dimensional space, Birkh¨ auser Verlag, Basel, 2008
work page 2008
- [20]
-
[21]
M. Jin, G. Ren,Cauchy kernel of slice Dirac operator in octonions with complex spine, Complex Anal. Oper. Theory 14 (2020), no. 1, Paper No. 17, 24 pp. 35
work page 2020
-
[22]
M. Jin, G. Ren,Global Plemelj formula of slice Dirac operator in octonions with complex spine, Complex Anal. Oper. Theory 15 (2021), no. 2, Paper No. 33, 18 pp
work page 2021
-
[23]
M. Jin, G. Ren, I. Sabadini,Slice Dirac operator over octonions, Israel J. Math. 240 (2020), no. 1, 315-344
work page 2020
-
[24]
S. G. Krantz, H. R. Parks,A primer of real analytic functions, Second ed. Birkh¨ auser Advanced Texts, Birkh¨ auser, Boston, 2002
work page 2002
-
[25]
X. Li, L. Peng,Taylor series and orthogonality of the octonion analytic func- tions, Acta Math. Sci. Ser. B 21 (2001), no. 3, 323-330
work page 2001
-
[26]
X. Li, L. Peng,The Cauchy integral formulas on the octonions, Bull. Belg. Math. Soc. Simon Stevin 9 (2002), no. 1, 47-64
work page 2002
-
[27]
J. Liao, X. Li,An improvement of the octonionic Taylor type theorem, Acta Math. Sci. Ser. B 31 (2011), no. 2, 561-566
work page 2011
-
[28]
Nono,On the octonionic linearization of Laplacian and octonionic function theory, Bull
K. Nono,On the octonionic linearization of Laplacian and octonionic function theory, Bull. Fukuoka Univ. Ed. Part III, 37(1988), 1-15
work page 1988
-
[29]
S. Okubo,Introduction to octonion and other non-associative algebras in physics, Montroll Memorial Lecture Series in Mathematical Physics, 2. Cam- bridge University Press, Cambridge, 1995
work page 1995
-
[30]
Perotti,Cauchy-Riemann operators and local slice analysis over real alter- native algebras, J
A. Perotti,Cauchy-Riemann operators and local slice analysis over real alter- native algebras, J. Math. Anal. Appl. 516 (2022), no. 1, Paper No. 126480, 34 pp
work page 2022
-
[31]
R. D. Schafer,An introduction to nonassociative algebras, Pure and Applied Mathematics, Vol. 22. Academic Press, New York-London, 1966
work page 1966
-
[32]
Sommen,Spherical monogenic functions and analytic functionals on the unit sphere, Tokyo J
F. Sommen,Spherical monogenic functions and analytic functionals on the unit sphere, Tokyo J. Math. 4 (1981), no. 2, 427-456
work page 1981
-
[33]
Wang,On geometric aspects of quaternionic and octonionic slice regular functions, J
X. Wang,On geometric aspects of quaternionic and octonionic slice regular functions, J. Geom. Anal. 27 (2017), no. 4, 2817-2871
work page 2017
-
[34]
Xu,Bohr theorems for slice regular functions over octonions, Proc
Z. Xu,Bohr theorems for slice regular functions over octonions, Proc. Roy. Soc. Edinburgh Sect. A 151 (2021), no. 5, 1595-1610
work page 2021
-
[35]
Z. Xu, I. Sabadini,Generalized partial-slice monogenic functions, Trans. Amer. Math. Soc. 378 (2025), no. 2, 851-883
work page 2025
-
[36]
Z. Xu, I. Sabadini,On the Fueter-Sce theorem for generalized partial-slice mono- genic functions, Ann. Mat. Pura Appl. 204 (2025), no. 2, 835-857
work page 2025
-
[37]
Z. Xu, I. Sabadini,Generalized partial-slice monogenic functions: a synthesis of two function theories, Adv. Appl. Clifford Algebr. 34 (2024), no. 2, Paper No. 10
work page 2024
-
[38]
Z. Xu, I. Sabadini,Segal-Bargmann transform for generalized partial-slice monogenic functions, Izv. Math. 89 (2025), no. 6, 1182-1207. 36
work page 2025
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.