Invariants and Automorphisms for slice regular functions

Cinzia Bisi; Joerg Winkelmann

REVIEW 2 major objections 4 minor 29 references

Invariants and Automorphisms for slice regular functions

T0 review · 2 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read Trace, norm, and a central divisor form a complete set of automorphism invariants for slice regular functions over the quaternions and the Clifford algebra R3.

desk verdict A genuinely new classification theorem for slice regular functions over H and R3, with a repairable gap in the proof of the key implication (ii)⇒(iv). read the letter →

arxiv 2411.15896 v1 pith:4UG3KIVQ submitted 2024-11-24 math.CV math.DGmath.RA

Cinzia Bisi , Joerg Winkelmann This is my paper · ORCID

classification math.CVmath.DGmath.RA MSC 30G3515A6616W20

keywords sliceregularfunctionsquaternionsCliffordalgebraR3centraldivisorstemtracenormautomorphisminvariants

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

The paper proves that two slice regular functions on a symmetric domain over the quaternions, or over the Clifford algebra $\mathbb{R}_3\cong\mathbb{H}\oplus\mathbb{H}$, are equivalent under a holomorphically varying automorphism exactly when they agree in three invariants: pointwise trace, pointwise norm, and a newly introduced "central divisor." The central divisor $\operatorname{cdiv}(F)$ records where the stem function $F:D\to\mathbb{H}_{\mathbb C}$ takes values in the center of the complexified algebra, and it is defined precisely when the function is not slice preserving. This upgrades the classical pointwise statement for quaternions—where trace and norm determine the automorphism orbit of a single value—to a statement about functions, where the automorphism must be allowed to vary holomorphically over the domain. The extra divisor is needed because pointwise automorphisms can always be chosen, but they can be glued into one global holomorphic family only away from the zeros of the non-central part of the stem function. If the theorem is right, matching these three invariants is both necessary and sufficient for two slice regular functions to lie in the same orbit of the natural automorphism action.

What carries the argument

The machinery has three parts. First, stem functions: every slice regular function on $\Omega_D$ is encoded by a holomorphic function $F:D\to\mathbb H_{\mathbb C}$ satisfying $F(\bar z)=\overline{F(z)}$, and automorphisms of the function algebra act on these stems, with trace and norm passing through the correspondence exactly. Second, the central divisor: writing $\mathbb H_{\mathbb C}=\mathbb C\oplus(W\otimes\mathbb C)$ with $W$ the imaginary subspace of $\mathbb H$, the stem function splits as $F=(F',F'')$, and $\operatorname{cdiv}(F)$ is the divisor of $F'':D\to W\otimes\mathbb C$, recording where $F$ enters the center. Third, the gluing mechanism: for $F,H$ with the same invariants, one forms $V=\{(z,g)\in D\times G_{\mathbb C}:F(z)=g(H(z))\}$ with $G_{\mathbb C}=\operatorname{Aut}(\mathbb H_{\mathbb C})$. The fibers of $V\to D$ are the isotropy groups of the action on the imaginary directions; they are all one-dimensional, and generically isomorphic to $\mathbb C^*$. Because the generic isotropy group is commutative and one-dimensional, the relevant isotropy sheaf is locally isomorphic to $\mathbb Z$, and a sheaf-cohomology vanishing result ($H^1(D,\mathcal A)=0$ for the sheaf $\mathcal A$ of holomorphic sections into isotropy groups) converts local holomorphic sections into a global one. The same structure, applied componentwise, covers $\mathbb{R}_3$.

What would settle it

Find two non-slice-preserving slice regular functions with equal trace, norm, and central divisor, yet no holomorphic map $\varphi:D\to\operatorname{Aut}(\mathbb H_{\mathbb C})$ with $F(z)=\varphi(z)(H(z))$; the theorem asserts none exists. A concrete route is to compute the 1-cocycle obtained from local holomorphic solutions on a two-open-set cover of $D$ and check whether it is a coboundary in the sheaf $\mathcal A$ of holomorphic functions into the isotropy groups. For the explicit pair in Section 4—$F(z)=I+zJ+\frac12 z^2K$ and $G(z)=(1+\frac12 z^2)I$, which have equal trace and norm but different central divisor—the theorem predicts that no holomorphic $\alpha:D\to\mathbb H_{\mathbb C}^*$ satisfies $F=\alpha^{-1}G\alpha$; a direct power-series solution would settle that prediction.

Watch

Extended reading notes

Core claim

The central result is Theorem 1.1. Let $D\subset\mathbb C$ be a symmetric domain, $\Omega_D$ the corresponding axially symmetric domain in the quaternions, and let $f,h:\Omega_D\to\mathbb H$ be slice regular functions with stem functions $F,H:D\to\mathbb H_{\mathbb C}$. If neither $f$ nor $h$ is slice preserving—meaning neither stem function collapses into the center of $\mathbb H_{\mathbb C}$—then the following are equivalent: (i) $f$ and $h$ have the same trace, norm, and central divisor; (ii) $F$ and $H$ have the same trace, norm, and central divisor; (iii) $F(z)$ and $H(z)$ lie in the same $\operatorname{Aut}(\mathbb H_{\mathbb C})$-orbit for every $z\in D$; (iv) there is a holomorphic map $\varphi:D\to\operatorname{Aut}(\mathbb H_{\mathbb C})$ with $F(z)=\varphi(z)(H(z))$ for all $z$; (v) there is a holomorphic map $\alpha:D\to\mathbb H_{\mathbb C}^*$ with $F(z)=\alpha(z)^{-1}H(z)\alpha(z)$. The passage from (iii) to (iv) is the real content: pointwise equivalence of values is promoted to global holomorphic conjugacy, and (v) shows that this conjugacy is inner, matching the Skolem–Noether picture for the constant algebra. If $f$ is slice preserving, the statement collapses to $f=h$, since automorphisms fix the center pointwise. Theorem 8.1 proves the analogous equivalence for slice regular functions with values in $\mathbb{R}_3\cong\mathbb{H}\oplus\mathbb{H}$, using the connected component $\operatorname{Aut}(\mathbb H_{\mathbb C})\times\operatorname{Aut}(\mathbb H_{\mathbb C})$ of the automorphism group.

Load-bearing premise

The load-bearing premise is that every non-real direction in the complexified algebra is fixed by a connected one-dimensional group of automorphisms—generically the nonzero complex numbers—so that local choices of automorphism can be glued into one global holomorphic choice.

Editorial extensions

If this is right

Two non-slice-preserving quaternionic slice regular functions are holomorphically conjugate by an inner automorphism-valued map exactly when their trace, norm, and central divisor agree; this gives a complete, computable invariant for the automorphism action.
The same classification holds for $\mathbb{R}_3$-valued slice regular functions with respect to the connected automorphism group; for the full automorphism group, trace and norm are invariants only up to the order-reversing swap of the two $\mathbb{H}$ factors.
Slice-preserving functions are rigid: if one of the two functions is slice preserving, the equivalence collapses to equality of the functions themselves, because automorphisms fix the center.
The result strengthens the semi-regular equivalence theory: conjugation can be achieved by a genuinely slice regular invertible function rather than only by a semi-regular one, at the cost of adding the central divisor condition.
For individual values in $\mathbb H_{\mathbb C}$, the theorem recovers the classical fact that equality of trace and norm is equivalent to lying on the same $\operatorname{Aut}(\mathbb H_{\mathbb C})$-orbit.

Reading between the lines

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

A consequence the paper leaves implicit is that the method is tailored to algebras whose isotropic stabilizers are connected and one-dimensional; extending the classification to other Clifford algebras will likely require new invariants or a different gluing argument, and the authors announce the investigation in a forthcoming paper.
The central divisor behaves like an analogue of the classical divisor of a holomorphic function: it records the zeros of the non-central part of the stem function, and the theorem says that this divisor together with trace and norm is the complete obstruction to holomorphic conjugacy. This suggests defining a relative central divisor for functions that are slice preserving only on a subset, and te
Since the proof shows the automorphism action on the function algebra is inner, one could ask whether the invariant description transfers to functions on domains with boundary or to other real alternative algebras with connected one-dimensional isotropy groups; the analytical ingredients are largely independent of the specific algebra.
The introduction's link to orthogonal complex structures could be tested concretely: if slice regular functions in the same automorphism orbit induce the same or isomorphic orthogonal complex structures, then the three invariants would give a practical way to detect equivalence of such structures.

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.

Desk Editor's Note

read the letter

Colleague,

The short version: the paper is a real contribution, but the key implication in §18 has a repairable gap. The authors introduce a new invariant, the central divisor, and prove that trace, norm, and cdiv completely classify slice regular functions over H and R3 up to holomorphic conjugation. That is genuinely new and sharpens the semi-regular classification from [ADF20b]. The examples in §3–§4 are worked out and show cdiv is not redundant.

The problem is in the proof of (ii)⇒(iv). After cutting to imaginary parts, the authors use Proposition 15.1 to write ˆF = λ F̃ and ˆH = λ H̃. Proposition 15.1 only gives a holomorphic λ with the right divisor; it does not ensure λ(z̄) = \overline{λ(z)}. Without that, F̃ and H̃ are not stem functions, so Theorem 18.1 does not apply. This is a real gap in the written proof. It is repairable: the common divisor is symmetric because it comes from stem functions, so one can construct a conjugation-symmetric λ by pairing conjugate zeros (or using Weierstrass products for infinite divisors). But the argument is not there.

Everything else I checked looks coherent. The complex-geometry machinery — relative symmetric products, the tubular neighborhood retraction, the sheaf cohomology with isotropy sheaves — is used correctly as far as I can tell, and the reliance on external results keeps the circularity burden low. The other weaknesses are minor: two '[?]' placeholders, four uncited references, and a terse norm identity in the same section.

Verdict: conditional, leaning positive. The missing lemma is standard to fix, not a structural failure. This paper is for specialists in slice regular functions and Stein geometry; it deserves a serious referee. My recommendation: send it to review, ask the authors to add the conjugation-symmetry argument and clean up the references.

Referee Report

2 major / 4 minor

Summary. The paper studies the action of the automorphism group of the quaternion algebra H (and of the Clifford algebra R3 ≅ H⊕H) on slice regular functions defined on axially symmetric domains. The main result (Theorem 1.1) states that for two non-slice-preserving slice regular functions f,h with stem functions F,H, the following are equivalent: the invariants (cdiv, Tr, N) coincide; the stem functions have the same invariants; for each z the values F(z) and H(z) lie in the same Aut(HC)-orbit; there is a holomorphic map φ:D→Aut(HC) with F=φ(H); and there is a holomorphic α:D→H_C^* with F=α^{-1}Hα. An analogous statement is given for R3 (Theorem 8.1). The proof combines the stem-function formalism of Ghiloni–Perotti, the orbit structure of SO(3,C) on the imaginary part of HC, local-to-global holomorphic section theorems (Grauert, Forstnerič, Matsushima–Morimoto), and a cohomology vanishing result for a locally constant Z-sheaf.

Significance. If correct, the paper settles the automorphism classification for slice regular functions over H and R3 in a clean way: trace, norm, and the newly introduced central divisor form a complete set of invariants, and the equivalence with holomorphic conjugacy is stronger than the previously known semi-regular results of Altavilla–de Fabritiis. The paper is technically ambitious, combining stem functions with Stein theory and relative symmetric products; the explicit examples in §3 and §4 usefully demonstrate why the cdiv invariant is needed. The proof of Theorem 1.1 relies on standard advanced tools (Grauert's existence results, Oka-principle type arguments), and the overall structure is broadly coherent. The main theorem for H appears defensible modulo the repair described below.

major comments (2)

[§18 (proof of Theorem 1.1(a), (ii)⇒(iv))] After constructing λ, F̃, H̃ via Proposition 15.1, the paper applies Theorem 18.1, which explicitly assumes that the maps are stem functions (F(z̄)=conj(F(z)) and H(z̄)=conj(H(z))). The functions F̃ and H̃ are only known to be holomorphic maps into AC\{0} with Tr=0 and equal norms; no argument is given that λ can be chosen conjugation-symmetric, so the stem-function hypothesis is not verified. This is a genuine gap in the central implication. It is repairable in two ways: either prove that the common divisor can be generated by a conjugation-symmetric λ (pairing zeros at z and z̄), or observe that the proof of Theorem 18.1 nowhere uses the stem-function condition and restate Theorem 18.1 without that hypothesis. As written, the invocation of Theorem 18.1 is unjustified.
[Theorem 8.1 and §6.4] The central divisor for R3 is defined componentwise, but in §6.2 cdiv is defined only for stem functions that are not slice-preserving. Theorem 8.1 states an equivalence for arbitrary f,h:Ω_D→R3, yet condition (3) is not well-formed when a component is slice-preserving. The one-line proof does not discuss the mixed case (one component slice-preserving, the other not), nor how Theorem 1.1(b) would supply the missing implication. The theorem should either explicitly restrict to functions whose components are all non-slice-preserving, or it should state and prove the slice-preserving component case separately.

minor comments (4)

[Introduction] There is a missing reference placeholder '[?]' in the list of related references in the introduction; the sentence should not be left with an unresolved citation.
[§2.1, proof of Lemma 2.2] The first line of the proof is garbled ('1 = 1 · ¯1 = ⇒ 1 = ...'); it should be rewritten to show correctly that the antiinvolution fixes 1.
[§16, Proposition 16.2] The proposition is stated for 'short exact sequence of OX module sheaves', but the sheaf S is only a locally constant Z-sheaf, not an OX-module; the cohomological argument uses abelian sheaf cohomology, so the statement should be rephrased accordingly.
[§13, Proposition 13.1] The proof of Proposition 13.1 is very terse: it asserts without detail that the isotropy Lie algebras form a holomorphic line bundle and that a nowhere-vanishing section yields a flow with the required properties. A few more sentences explaining the construction would improve readability and verifiability.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: Theorem 1.1 is proved from external ingredients (Skolem–Noether, Matsushima–Morimoto, Forstnerič, Ghiloni–Perotti); the authors' self-citations are background only, and the new cdiv invariant is defined independently and shown necessary via the §4 example.

full rationale

Walking the derivation chain of Theorem 1.1: the bridge (i)⇔(ii) is explicitly definitional — §6.3 defines cdiv of a slice function as cdiv of its stem function, and Proposition 2.3 (stem-function formalism of Ghiloni–Perotti) identifies Tr and N of the stem functions with those of the slice functions — and the paper presents it as such, not as a derived prediction. The substantive implication (ii)⇒(iv) is proved in §18 without presupposing its conclusion: pointwise orbit membership comes from Corollary 12.5, whose proof (Proposition 12.1) uses only the classical transitivity of SO(3) on the sphere; local holomorphic sections come from Proposition 9.4 (Forstnerič's tubular-neighborhood theorem for Stein manifolds); globalization uses Proposition 13.1's sheaf of isotropy automorphisms and the new but self-contained vanishing result H¹(D,A) = 0 in Proposition 16.2; and (iv)⇔(v) rests on the standard triviality of C*-principal bundles over Stein Riemann surfaces (Proposition 17.1). The authors' own works ([BW20], [BW21a], [BW21b], [BDMW23]) are cited only as background in the introduction, and [BW21a] is explicitly set aside in §6.2 in favor of a different divisor; cdiv is not a renamed known invariant, since the §4 example exhibits functions with equal Tr and N but different cdiv and no holomorphic conjugacy. All invariance statements (e.g., Lemma 15.2 for cdiv) are proved, not assumed. The only substantive concern is a missing verification in the proof of (ii)⇒(iv): after Proposition 15.1 factors F̂ = λF̃ and Ĥ = λH̃, the manuscript asserts Tr(F̃) = 0 and N(F̃) = N(H̃) and invokes Theorem 18.1 without showing that λ can be chosen with λ(z̄) = conj(λ(z)); as written, F̃ and H̃ are not yet shown to be stem functions, and the displayed identities N(F̂) = λ²N(F̃), Tr(F̂) = λTr(F̃) require λ to be conjugation-symmetric to hold as stated (otherwise |λ|² and an extra F̃ᶜ term appear). This is a repairable gap, not circularity, because nothing in the argument assumes the conclusion it is proving. Verdict: no circular step; the derivation is self-contained against external benchmarks, and the minor self-citations are not load-bearing.

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

No free parameters are fit anywhere; this is a pure mathematics paper. The main theorem draws on the external stem function framework (domain_assumption), standard Stein theory and Lie group facts, and the paper's own proofs of the orbit structure and the divisor formalism. The only newly introduced object is the central divisor, which the examples independently support as meaningful.

assumptions (5)

domain assumption Ghiloni-Perotti stem function correspondence: slice regular functions on axially symmetric domains correspond bijectively to holomorphic stem functions F: D → A⊗C with the reality condition F(z̄) = F(z)^c
The whole proof is carried out on stem functions (§2.3, §5.4), importing the equivalence from [GP11]. For R_3 the paper also relies on the stated extension of functions from Ω_D to the larger domain W_D (§5.4), which is asserted rather than proved.
standard math Stein theory facts: non-compact Riemann surfaces are Stein, H^k(D, O) = 0 for k > 0, every holomorphic line bundle on a non-compact Riemann surface is trivial, and every divisor on such a surface is principal
Used throughout: Proposition 9.4 (relative symmetric products, tubular neighborhood theorem), Proposition 13.1 (triviality of the isotropy line bundle), Proposition 15.1 (principal divisors), Proposition 16.2 (cohomology vanishing), Proposition 17.1 (C*-bundle trivialization).
standard math Structure of automorphism groups: Aut(H) ≅ SO(3, R), Aut(H_C) ≅ SO(3, C), all automorphisms of H are inner (Skolem-Noether)
Imported from [CS03] and [Lor08] in Section 10; used to identify orbits of the complexified action in Section 12 and to lift automorphisms to conjugations in Section 17.
standard math Aut(R_3) description: automorphisms of R_3 ≅ H ⊕ H are generated by the component swap and SO(3) × SO(3)
Proved in the paper as Lemma 11.1 and Proposition 11.2 from the idempotent structure of H ⊕ H; used for Theorem 8.1.
domain assumption For A = R_3, slice regular functions on Ω_D extend naturally to the larger domain W_D via the componentwise formula in (5.1)
Stated in §5.4 without proof; this extension underlies the identification of slice regular functions on Ω_D with functions on W_D used in Theorem 8.1.

invented entities (1)

Central divisor cdiv independent evidence
purpose: New divisor-valued invariant recording the vanishing of the non-central (imaginary) component of a stem function; it separates slice regular functions that trace and norm cannot separate.
Example 4 exhibits functions with equal Tr and N but different cdiv that are provably not holomorphically conjugate, and Example 3.1 shows equal Tr, N, cdiv is consistent with the theorem's conclusion. The invariant is a defined mathematical object, not a fitted parameter.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Invariants and Automorphisms for slice regular functions." pith.science (2026). https://pith.science/paper/4UG3KIVQ

@misc{pith2026241115896,
  author       = {Pith},
  title        = {Pith review of: Invariants and Automorphisms for slice regular functions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4UG3KIVQ}},
  note         = {Machine review of arXiv:2411.15896}
}

abstract

Let $A$ be one of the following Clifford algebras : $\mathbb{R}_2 \cong \mathbb{H}$ or $\mathbb{R}_3$. For the algebra $A$, the automorphism group $Aut(A)$ and its invariants are well known. In this paper we will describe the invariants of the automorphism group of the algebra of slice regular functions over $A$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

29 extracted references · 26 canonical work pages

[1]

Log-biharmonicity and a J ensen formula in the space of quaternions

Amedeo Altavilla and Cinzia Bisi. Log-biharmonicity and a J ensen formula in the space of quaternions. Ann. Acad. Sci. Fenn. Math. , 44(2):805--839, 2019

work page 2019
[2]

Slice-quaternionic H opf surfaces

Daniele Angella and Cinzia Bisi. Slice-quaternionic H opf surfaces. J. Geom. Anal. , 29(3):1837--1858, 2019

work page 2019
[3]

Applications of the sylvester operator in the space of slice semi-regular functions

Amedeo Altavilla and Chiara De Fabritiis. Applications of the sylvester operator in the space of slice semi-regular functions. Concr. Oper. , 7:1--12, 2020

work page 2020
[4]

Equivalence of slice semi-regular functions via S ylvester operators

Amedeo Altavilla and Chiara De Fabritiis. Equivalence of slice semi-regular functions via S ylvester operators. Linear Algebra and its Applications , 607:151--189, 2020

work page 2020
[5]

John C. Baez. The octonions. Bull. Amer. Math. Soc. (N.S.) , 39(2):145--205, 2002

work page 2002
[6]

On B rolin's theorem over the quaternions

Cinzia Bisi and Antonino De Martino. On B rolin's theorem over the quaternions. Indiana University Mathematics Journal , 71(4):1675--1705, 2022

work page 2022
[7]

On a R unge theorem over R _3

Cinzia Bisi, Antonino De Martino, and J\" o rg Winkelmann. On a R unge theorem over R _3 . Ann. Mat. Pura Appl. (4) , 202(4):1531--1556, 2023

work page 2023
[8]

On quaternionic tori and their moduli space

Cinzia Bisi and Graziano Gentili. On quaternionic tori and their moduli space. J. Noncommut. Geom. , 12(2):473--510, 2018

work page 2018

Show all 29 references

[9]

Landau's theorem for slice regular functions on the quaternionic unit ball

Cinzia Bisi and Caterina Stoppato. Landau's theorem for slice regular functions on the quaternionic unit ball. Internat. J. Math. , 28(3):1750017, 21, 2017

2017
[10]

On a quaternionic P icard theorem

Cinzia Bisi and J\" o rg Winkelmann. On a quaternionic P icard theorem. Proc. Amer. Math. Soc. Ser. B , 7:106--117, 2020

2020
[11]

The harmonicity of slice regular functions

Cinzia Bisi and J\" o rg Winkelmann. The harmonicity of slice regular functions. J. Geom. Anal. , 31(8):7773--7811, 2021

2021
[12]

On R unge pairs and topology of axially symmetric domains

Cinzia Bisi and J\" o rg Winkelmann. On R unge pairs and topology of axially symmetric domains. J. Noncommut. Geom. , 15(2):713--734, 2021

2021
[13]

Conway and Derek A

John H. Conway and Derek A. Smith. On quaternions and octonions: their geometry, arithmetic, and symmetry . A K Peters, Ltd., Natick, MA, 2003

2003
[14]

Representation theory , volume 129 of Graduate Texts in Mathematics

William Fulton and Joe Harris. Representation theory , volume 129 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1991. A first course, Readings in Mathematics

1991
[15]

Holomorphic submersions from S tein manifolds

Franc Forstneri c . Holomorphic submersions from S tein manifolds. Ann. Inst. Fourier (Grenoble) , 54(6):1913--1942 (2005), 2004

2005
[16]

Stein manifolds and holomorphic mappings , volume 56 of Ergebnisse der Mathematik und ihrer Grenzgebiete

Franc Forstneri c . Stein manifolds and holomorphic mappings , volume 56 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics] ....

2017
[17]

D. J. H. Garling. Clifford algebras: an introduction , volume 78 of London Mathematical Society Student Texts . Cambridge University Press, Cambridge, 2011

2011
[18]

Slice regular functions on real alternative algebras

Riccardo Ghiloni and Alessandro Perotti. Slice regular functions on real alternative algebras. Adv. Math. , 226(2):1662--1691, 2011

2011
[19]

Slice regular functions and orthogonal complex structures over ^8

Riccardo Ghiloni, Alesssandro Perotti, and Caterina Stoppato. Slice regular functions and orthogonal complex structures over ^8 . Journal of Noncommutative Geometry , 2021

2021
[20]

u ber holomorph-vollst\

Hans Grauert. Analytische F aserungen \" u ber holomorph-vollst\" a ndigen R \" a umen. Math. Ann. , 135:263--273, 1958

1958
[21]

Graziano Gentili and Daniele C. Struppa. A new approach to C ullen-regular functions of a quaternionic variable. C. R. Math. Acad. Sci. Paris , 342(10):741--744, 2006

2006
[22]

Graziano Gentili and Daniele C. Struppa. A new theory of regular functions of a quaternionic variable. Adv. Math. , 216(1):279--301, 2007

2007
[23]

Twistor transforms of quaternionic functions and orthogonal complex structures

Graziano Gentili, Simon Salamon, and Caterina Stoppato. Twistor transforms of quaternionic functions and orthogonal complex structures. J. Eur. Math. Soc. (JEMS) , 16(11):2323--2353, 2014

2014
[24]

Regular Functions of a Quaternionic Variable

Graziano Gentili, Caterina Stoppato, and Daniele Struppa. Regular Functions of a Quaternionic Variable . Springer Monographs in Mathematics. Springer, second edition, 2022

2022
[25]

T. Y. Lam. Introduction to quadratic forms over fields , volume 67 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2005

2005
[26]

Falko Lorenz. Algebra. V ol. II . Universitext. Springer, New York, 2008. Fields with structure, algebras and advanced topics, Translated from the German by Silvio Levy, With the collaboration of Levy

2008
[27]

Sur certains espaces fibr\' e s holomorphes sur une vari\' e t\' e de S tein

Yoz\^ o Matsushima and Akihiko Morimoto. Sur certains espaces fibr\' e s holomorphes sur une vari\' e t\' e de S tein. Bull. Soc. Math. France , 88:137--155, 1960

1960
[28]

Luiz A. B. San Martin. Lie groups . Latin American Mathematics Series. Springer, Cham, [2021] 2021. Translated from the 2016 Portuguese original by Jos\' e Em\' lio Maiorino and Carlos Augusto Bassani Varea with revisions by Simon Chiossi

2021
[29]

Springer and Ferdinand D

Tonny A. Springer and Ferdinand D. Veldkamp. Octonions, J ordan algebras and exceptional groups . Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2000

2000

Pith tools

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

[1] [1]

Log-biharmonicity and a J ensen formula in the space of quaternions

Amedeo Altavilla and Cinzia Bisi. Log-biharmonicity and a J ensen formula in the space of quaternions. Ann. Acad. Sci. Fenn. Math. , 44(2):805--839, 2019

work page 2019

[2] [2]

Slice-quaternionic H opf surfaces

Daniele Angella and Cinzia Bisi. Slice-quaternionic H opf surfaces. J. Geom. Anal. , 29(3):1837--1858, 2019

work page 2019

[3] [3]

Applications of the sylvester operator in the space of slice semi-regular functions

Amedeo Altavilla and Chiara De Fabritiis. Applications of the sylvester operator in the space of slice semi-regular functions. Concr. Oper. , 7:1--12, 2020

work page 2020

[4] [4]

Equivalence of slice semi-regular functions via S ylvester operators

Amedeo Altavilla and Chiara De Fabritiis. Equivalence of slice semi-regular functions via S ylvester operators. Linear Algebra and its Applications , 607:151--189, 2020

work page 2020

[5] [5]

John C. Baez. The octonions. Bull. Amer. Math. Soc. (N.S.) , 39(2):145--205, 2002

work page 2002

[6] [6]

On B rolin's theorem over the quaternions

Cinzia Bisi and Antonino De Martino. On B rolin's theorem over the quaternions. Indiana University Mathematics Journal , 71(4):1675--1705, 2022

work page 2022

[7] [7]

On a R unge theorem over R _3

Cinzia Bisi, Antonino De Martino, and J\" o rg Winkelmann. On a R unge theorem over R _3 . Ann. Mat. Pura Appl. (4) , 202(4):1531--1556, 2023

work page 2023

[8] [8]

On quaternionic tori and their moduli space

Cinzia Bisi and Graziano Gentili. On quaternionic tori and their moduli space. J. Noncommut. Geom. , 12(2):473--510, 2018

work page 2018