Normal families of functions and groups of pseudoconformal diffeomorphisms of quaternion and octonion variables

S. V. Ludkovsky

REVIEW

Normal families of functions and groups of pseudoconformal diffeomorphisms of quaternion and octonion variables

S. V. Ludkovsky

Differential Geometry · Submitted 1 Mar 2006 · 53 references

Pith's verdict: Serious but unproven: the central rigidity theorems rely on a definitional dodge and a fallacious dimension count.

T0 · AI review

How this review was made: An AI referee (deepseek-v4-flash) read the paper on August 28, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

T0 AI review An AI read the paper and answered a fixed list of questions.
T1 Audit Automatic checks that the references and files the paper relies on exist and match.
T2 Compute The paper's code or calculations re-run with the same results.
T3 Formal statement The claims written out in a formal math language a computer can read.
T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 4 major objections · 4 minor · Ask about this paper · The compiled record · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv IDmath/0603006 (version 1)

Pith IDDA2JHMSF, Pith's permanent record of this paper and its review

CitationS. V. Ludkovsky. "Normal families of functions and groups of pseudoconformal diffeomorphisms of quaternion and octonion variables." arXiv:math/0603006 (2006). https://pith.science/paper/DA2JHMSF

Cite this reviewBibTeX for Pith's review of this paper

Claim paper

Why Pith says this

Highlight any text to comment on it.

Editor's note

read the letter

Ludkovsky's paper tries to build a full rigidity theory for pseudoconformal maps over the quaternions and octonions. The main new claims—four normal-family criteria, finite-dimensionality of the group of pseudoconformal diffeomorphisms of compact H/O-manifolds, and an octonionic Riemann mapping theorem—would be substantial if established. The paper also works out explicit automorphism groups for balls and polydiscs and gives concrete dimension bounds n(7n+4) and n(29n+8). That is real content, and the author is honest about the quaternionic Riemann mapping being from his own earlier work.

The soft spots are load-bearing. The derivative classification in Theorems 4 and 5, which every parameter count depends on, is justified by a 'shortest phrase' convention invented in the same paper. Reflections like h→\bar{h} satisfy the formal angle condition in Definition 1 but are excluded because their phrase is supposedly longer. That is a definitional dodge, not a proof. If reflections were allowed, the classification and all the counts change.

Theorem 24's dimension count is a non sequitur. It says each partial derivative at z lies in a 7- or 29-parameter group, so the group has at most n(7n+4) or n(29n+8) parameters. But the derivative field z→f'(z) is a function into that group; functions are infinite-dimensional, and the reconstruction theorems cited recover f only from the whole derivative field. Compactness of M is not used in the counting step. A specific shear-map counterexample I checked does not survive, because under Definition 8 the map (z1,z2+z1^n) is not pseudoconformal in the z2 direction. Still, the counting gap in the written proof is real.

Other issues: the argument principle is stated with a formula that looks dimensionally inconsistent as printed, and the octonionic Riemann mapping relies on unproved branches of square roots. Most of the analytic infrastructure comes from self-cited references [32]–[36], so the paper is not self-contained.

This is a paper for specialists in hypercomplex analysis who want to see the shape of the program and have access to the author's earlier framework. As written, it does not prove its headline claims. I would recommend rejection, but because the program might be salvageable, a serious referee with that background is worth engaging.

Referee report

Significance

If the main results held, they would establish a striking rigidity phenomenon: quaternionic and octonionic pseudoconformal geometry would display complex-type behavior such as normal families, isolated zeros, Picard-type theorems, and finite-dimensional automorphism groups of compact manifolds, with explicit parameter counts that distinguish H from O. The paper is ambitious and contains substantial concrete material: fractional R-linear maps, the generalized upper half-plane, symmetry and extension principles, and a detailed phrase calculus intended to formalize the derivative classification. However, the load-bearing steps are not established in the manuscript. The finite-dimensionality theorem rests on a parameter-counting non sequitur, and the derivative classification on which it depends is partly a definitional convention rather than a theorem derived from the analytic conditions. The argument principle and the octonionic Riemann mapping theorem also contain unproved assertions that propagate into the normal-family criteria.

Major objections (4)

[Section 3, Theorem 24] The finite-dimensionality claim is not established. The proof counts, for each f, n shift parameters plus the values of the n^2 partial derivatives, notes that each derivative lies in a group G of real dimension 7 for H or 29 for O, and concludes that DifP(M) has at most n(7n+4) or n(29n+8) real parameters. This is a non sequitur: the derivative field z -> f'(z) is a function from M into G, and pointwise membership in G does not make the space of such fields finite-dimensional. The cited reconstruction results (Theorems 2.17 and 2.18) recover f from its full derivative field by path integration; they do not show that the derivative field is determined by finitely many numbers. The proof also says that a general compact manifold reduces to a domain U in K^n, but the local statement is false under the paper's own definitions: on H^2, the maps f_n(z_1,z_2) = (z_1, z_2 + z_1^n) are pseudoconformal diffeomorphisms by Corollary 3 and Theorem 6, with independent infinitesimal generators z_1^n d/dz_2 for n = 1,2,..., giving an infinite-dimensional family of one-parameter subgroups. Compactness of M is not used in the counting step, so it cannot supply the missing rigidity. The central theorem of Section 3 is therefore unproven.
[Section 2, Definition 1 and Theorems 4-5] The derivative classifications in Theorems 4 and 5 are not derived from Conditions (1)-(3); they encode an exclusion built into Definition 1. The proof of Theorem 4 argues that a nonproper rotation such as h -> conjugate(h) cannot occur 'when f is presented by a shortest phrase,' because any associated phrase would be longer or would violate the condition d(nu)/d(conjugate z) = 0. But the length function and the phrase calculus (Definitions 14.9 and 14.10) are introduced in the same paper, and no proof is given that the shortest-phrase convention is forced by the analytic Conditions (1)-(3). Indeed, the conjugation map h -> conjugate(h) satisfies the angle condition (2) pointwise, so the forms f'(xi).h = a(xi) h b(xi) for H and f'(xi).h = (a(xi)((b(xi)h)c(xi)))e(xi) for O hold only if one accepts the convention as part of the definition. Since every parameter count in Section 3 uses Theorems 4 and 5, this is a load-bearing gap.
[Section 2, Theorem 23] The argument principle is stated with a proof that contains unproved assertions. The line 'Each zero of a pseudoconformal function is simple' is not demonstrated, and the chain In(0; f composed with gamma) = integral over gamma of d Ln(f(zeta)) = ... = In(a; gamma) p is asserted rather than derived from the integral calculus of Theorems 17 and 18. The winding number In is not defined before this theorem, and the paper does not specify its properties for H- or O-valued curves. Since Theorem 24 (the Rouché-type theorem) and the normal-family criteria depending on it (Theorems 13, 20, 27) rely on the argument principle, these results are not established as written.
[Section 2, Theorem 47] The octonionic Riemann mapping theorem is not proved. The proof depends on the existence of two sign-distinct univalent branches of ((z-alpha)(z-beta)^{-1})^{1/2} over O and on the assertion that these branches are pseudoconformal; the manuscript states that such branches can be chosen without proving existence, univalence, or pseudoconformality. The proof also uses the argument principle in Theorem 23, which is itself unsupported (see previous comment). Since Theorem 49 (the Picard-type normal-family criterion) is proved by composing with the inverse modular function built on Theorem 47, this gap propagates to the normal-family results.

Minor objections (4)

[General] The theorem numbering is inconsistent: Theorem 4 appears in Section 2 and again as the Kovalevsky theorem in Section 3, and Theorems 23, 24, and 25 are used both for the argument principle/Rouché theorem and for the group-theoretic results in Section 3, making cross-references ambiguous.
[General] There are numerous typographical and grammatical errors, including 'coinside' in the Introduction, 'atlases' for atlases in Definition 8, 'partucularly' in Theorem 61, and several missing or misplaced diacritics; a careful editorial pass is needed.
[Section 2, Definition 8] The metric rho in Definition 8 is defined using a maximum over charts and derivative values, but its independence from the choice of atlas and its behavior under chart refinements are not discussed; since later completeness and local-compactness claims depend on this metric, this needs clarification.
[Section 2, Theorem 23] The winding number In used in Theorem 23 is not defined anywhere in the paper; a formal definition and a statement of its properties are needed before the argument principle can be evaluated.

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

Pseudoconformal diffeomorphism groups of compact quaternion and octonion manifolds are finite-dimensional real analytic Lie groups.

The reading

This paper introduces pseudoconformal mappings of quaternion and octonion variables and develops enough noncommutative function theory to transfer classical ideas like normal families, Montel's theorem, the argument principle, and the Riemann mapping theorem to H and O. Its central positive result is that the group of pseudoconformal diffeomorphisms of a compact manifold over K = H or O is a finite-dimensional real analytic Lie group, with at most n(7n + 4) real parameters in the quaternionic case and n(29n + 8) in the octonionic case. The route goes through a derivative classification: every quaternionic pseudoconformal derivative is h ↦ a h b, and every octonionic one is h ↦ (a((b h)c))e, which fixes 7 or 29 real parameters per derivative. From this the author derives the finite-dimensionality, explicit automorphism groups for balls and polydiscs, and four normal-family criteria including an octonionic Riemann mapping theorem.

What carries the argument

The load-bearing object is the pointwise derivative normal form. For quaternions, angle preservation and the exclusion of nonproper rotations force f'(ξ).h = a(ξ) h b(ξ) with nonzero a,b; for octonions, the same conditions force f'(ξ).h = (a(ξ)((b(ξ)h)c(ξ)))e(ξ). This form converts a potentially infinite-dimensional automorphism group into finite-dimensional data: 7 real parameters per quaternionic derivative and 29 per octonionic derivative, so the group dimension is bounded by the paper's quadratic expressions in n.

Extended reading notes

Core claim

The paper claims that for a compact pseudoconformal manifold M over K = H or O, the family DifP(M) of pseudoconformal diffeomorphisms is a complete, locally compact, metrizable group carrying a real analytic manifold structure, and that its dimension is at most n(7n + 4) for quaternions and n(29n + 8) for octonions, where n is the manifold dimension over K. The argument reduces the group to local data: a pseudoconformal diffeomorphism is determined, up to connectivity, by its value f(z0) and its derivative f'(z), and Theorems 4–5 classify those derivatives as h ↦ a h b for H and h ↦ (a((b h)c))e for O with nonzero coefficient functions. The same framework yields an isolated-zeros theorem, an argument principle, a noncommutative Rouché theorem, Schwarz-type symmetry and extension theorems, monodromy, modular functions, normal-family criteria including a Picard-type omission theorem, and the octonionic Riemann mapping theorem stated as Theorem 47.

Load-bearing premise

The classification assumes the paper's rule that a pseudoconformal map is written by the shortest formula possible, and uses that rule to exclude reflection derivatives such as h ↦ \bar h, which otherwise satisfy the angle-preserving condition; this exclusion is asserted, not proved, and the whole parameter count collapses if a reflection can be written as a short pseudoconformal phrase.

Editorial extensions

If this is right

Groups of pseudoconformal diffeomorphisms of compact quaternionic manifolds are finite-dimensional and therefore satisfy the Campbell–Hausdorff formula locally, unlike diffeomorphism groups of real manifolds.
The dimension bounds are n(7n + 4) for H and n(29n + 8) for O, so the maximal symmetry dimension grows quadratically in the manifold dimension, with a larger leading coefficient in the octonionic case.
The automorphism group of the unit ball in K^n has explicit normal forms: generalized Cayley transforms composed with left and right unitary factors, and the ball is not pseudoconformally equivalent to the polydisc for n > 1.
The normal-family criteria give noncommutative analogues of Montel, Rouché, Schwarz reflection, and the Riemann mapping theorem, with normal families forced by omitting a suitable set of values such as {0, 1, i1, ..., i_{2r−2}}.
Every compact pseudoconformal manifold over H or O is orientable, a direct consequence of the derivative classification.

Reading between the lines

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

If the derivative classification is accepted, the same parameter-counting scheme should extend to pseudoconformal automorphism groups of unbounded or boundary-fixed domains, where the paper only proves local compactness in special cases.
The normal-family theorems suggest a hypercomplex analogue of Montel's theorem for iterates of pseudoconformal maps omitting the exceptional set — a direction the paper does not explore.
The reflection question can be settled computationally: the phrase-length metric of Definition 14 makes it a finite combinatorial search to test whether the reflection h ↦ \bar h can be expressed by a phrase shorter than the paper's exclusion threshold, which would directly test the derivative classification.

Original abstract

This paper is devoted to the specific class of pseudoconformal mappings of quaternion and octonion variables. Normal families of functions are defined and investigated. Four criteria of a family being normal are proven. Then groups of pseudoconformal diffeomorphisms of quaternion and octonion manifolds are investigated. It is proven, that they are finite dimensional Lie groups for compact manifolds. Their examples are given. Many charactersitic features are found in comparison with commutative geometry over $\bf R$ or $\bf C$.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-09-23: 1 request, 5,292 input tokens.

What the abstract itself states, as probabilities: claims first 0.03 · states limitation 0.09 · human participants 0.01 · controlled comparison 0.05 · randomized assignment 0.01 · states quantitative result 0.39 · compares with prior results 0.49 · mentions code or data availability 0.01.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; show every role.

This paper is devoted to the specific class of pseudoconformal mappings of quaternion and octonion variables. Normal families of functions are defined and investigated. Four criteria of a family being normal are proven. Then groups of pseudoconformal diffeomorphisms of quaternion and octonion manifolds are investigated. It is proven, that they are finite dimensional Lie groups for compact manifolds. Their examples are given. Many charactersitic features are found in comparison with commutative geometry over $\bf R$ or $\bf C$.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#	sentence	role	the authors' own work	states the main conclusion	strength
s0	This paper is devoted to the specific class of pseudoconformal mappings of quaternion and octonion variables.	contribution 0.51	0.36	0.04	asserted 0.98
s1	Normal families of functions are defined and investigated.	contribution 0.97	0.85	0.04	asserted 0.98
s2	Four criteria of a family being normal are proven.	result 0.86	0.94	0.14	asserted 1.00
s3	Then groups of pseudoconformal diffeomorphisms of quaternion and octonion manifolds are investigated.	contribution 1.00	0.90	0.05	asserted 0.87
s4	It is proven, that they are finite dimensional Lie groups for compact manifolds.	result 1.00	0.92	0.33	asserted 1.00
s5	Their examples are given.	contribution 0.74	0.89	0.04	asserted 0.97
s6	Many charactersitic features are found in comparison with commutative geometry over $\bf R$ or $\bf C$.	result 0.59	0.89	0.12	asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read

arXiv listing abstract v1

not examined

full text
figures and tables
references and citing sentences
relations to other papers

levels run

P abstract

not run

S sections
T body sentences
C citations
R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References

Works cited (53)

[32]

S.V. Ludkovsky. Functions of several variables of Cayley-Dick son numbers and manifolds over them. // Sovrem. Mathem. i ee Pril. 28 (2005)

View on Pith 2005
[36]

S.V. L¨ udkovsky, F. van Oystaeyen. Diﬀerentiable functions o f quaternion variables.// Bull. Sci. Math. 127, 755-796 (2003)

View on Pith 2003
[1]

G.S. Asanov. Finsler geometry, relativity, gauge theories. D. Re idel Publ. Comp., Dor- drecht, 1985

View on Pith 1985
[2]

J.C. Baez. The octonions. // Bull. Amer. Mathem. Soc. 39: 2 , 145-205 (2002)

View on Pith 2002
[3]

D. Bao, J. Lafontaine, T. Ratiu. On a non-linear equation related to the geometry of the diﬀeomorphism group. // Pacif. J. Mathem. 158, 223-242 (1993)

View on Pith 1993
[4]

F.A. Berezin. Introduction to superanalysis. D. Reidel Publish. C omp., Kluwer group, Dordrecht, 1987

View on Pith 1987
[5]

S. Bochner. Analytic and meromorphic continuation by means of G reen’s formula. // Annals of Mathem. 44: 4 , 652-673 (1943)

View on Pith 1943
[6]

S. Bochner, D. Montgomery. Groups of diﬀerentiable and real o r complex analytic trans- formations.// Annals of Mathem. 46: 4 , 685-694 (1945). 52

View on Pith 1945
[7]

S. Bochner, D. Montgomery. Locally compact groups of diﬀeren tiable transformations. // Annals of Mathem. 47: 4 , 639-653 (1946)

View on Pith 1946
[8]

S. Bochner, D. Montgomery. Groups on analytic manifolds. // An nals of Mathem. 48: 3, 659-669 (1947)

View on Pith 1947
[9]

N.N. Bogolubov, D.V. Shirkov. Quantum ﬁelds. Fiz.Mat. Lit, Moscow , 1993

View on Pith 1993
[10]

N.N. Bogolubov, A.A. Logunov, A.I. Oksak, I.T. Todorov. Gener al principles of quan- tum ﬁeld theory. Nauka, Moscow, 1987

View on Pith 1987
[11]

N. Bourbaki. Lie groups and algebras. Mir, Moscow, 1976

View on Pith 1976
[12]

H. Cartan. Sur l’iteration des transformations conformes ou p seudo-conformes. // Com- positio Mathem. 223-227 (1934)

View on Pith 1934
[13]

H. Cartan. Sur les groupes des transformations analytiques. Actualit´ es Scientiﬁques et Industrielles 198. Expos´ es Math´ ematiques IX. Herman, Paris, 1935

View on Pith 1935
[14]

A. Connes. Noncommutative geometry. Academic Press: San D iego, 1994

View on Pith 1994
[15]

B. DeWitt. Supermanifolds. 2d ed. Cambridge Univ. Press: Camb ridge, 1992

View on Pith 1992
[16]

D.G. Ebin, J. Marsden. Groups of diﬀeomorphisms and the motion of an incompressible ﬂuid. // Annals of Mathem. 92, 102-163 (1970)

View on Pith 1970
[17]

G. Emch. M` echanique quantique quaternionienne et Relativit`e restreinte. // Helv. Phys. Acta 36, 739-788 (1963)

View on Pith 1963
[18]

F.R. Gantmaher. Theory of matrices. Nauka, Moscow, 1988

View on Pith 1988
[19]

M. Goto, F.D. Grosshans. Semisimple Lie algebras. Marcel Dekke r, New York, 1978

View on Pith 1978
[20]

F. G¨ ursey, C.-H. Tze. On the role of division, Jordan and relate d algebras in particle physics. World Scientiﬁc Publ. Co., Singapore, 1996

View on Pith 1996
[21]

W.R. Hamilton. Selected papers. Optics. Dynamics. Quaternions . Nauka, Moscow, 1994

View on Pith 1994
[22]

G. Julia. Sur les familles de fonctions analytiques de plusieurs varia bles// Acta Mathem. (Uppsala), 47 (1926), 53-115

View on Pith 1926
[23]

I.L. Kantor, A.S. Solodovnikov. Hypercomplex numbers. Spring er-Verlag, Berlin, 1989

View on Pith 1989
[24]

A. Khrennikov. Superanalysis. Series ”Mathem. and its Applic.”; 470. Kluwer Acad. Publ., Dordrecht, 1999

View on Pith 1999
[25]

W. Klingenberg. Riemannian geometry. Wlater de Gruyter, Berlin , 1982

View on Pith 1982
[26]

S. Kobayashi. Transformation groups in diﬀerential geometry . // Springer-Verlag, Berlin, 1972

View on Pith 1972
[27]

A.G. Kurosh. Lectures on general algebra. Nauka, Moscow, 1 973

View on Pith
[28]

M.A. Lavrentjev, B.V. Shabat. Methods of theory of function s of a complex variable. Nauka, Moscow, 1987. 53

View on Pith 1987
[29]

M. Landucci. The automorphism group of domains with boundary points of inﬁnite type. // Illinois J. of Mathem. 48: 3 , 875-885 (2004)

View on Pith 2004
[30]

H.B. Lawson, M.-L. Michelson. Spin geometry. Princ. Univ. Press , Princeton, 1989

View on Pith 1989
[31]

S.V. Ludkovsky. Irreducible unitary representations of a diﬀe omorphisms group of an inﬁnite-dimensional real manifold. //Rend. Istit. Mat. Univ. Triest e 30, 21-43 (1998)

View on Pith 1998
[33]

S.V. Ludkovsky. Diﬀerentiable functions of Cayley-Dickson num bers and line integra- tion. // Sovrem. Mathem. i ee Pril. 28 (2005)

View on Pith 2005
[34]

S.V. Ludkovsky. Algebras of vector ﬁelds over the quaternion skew ﬁeld. // Dokl. Akad. Nauk (Russ.) 403: 3 , 309-312 (2005)

View on Pith 2005
[35]

S.V. Ludkovsky. Stochastic processes on geometric loop grou ps and diﬀeomorphism groups of connected manifolds, associated unitary representat ions. // Sovrem. Mathem. i ee Pril. 28 (2005)

View on Pith 2005
[37]

S.B. Myers, N.E. Steenrod. The group of isometries of a Riemann ian manifold.// Annals of Mathem. 40: 2 , 400-416 (1938)

View on Pith 1938
[38]

L. Narici, E. Beckenstein. Topological vector spaces. Marcel Dekker, New York, 1985

View on Pith 1985
[39]

F. van Oystaeyen. Algebraic geometry for associative algebra s. Series Lect. Notes in Pure and Appl. Mathem. 232. Marcel Dekker, New York, 2000

View on Pith 2000
[40]

I.G. Petrovsky. Lectures on partial diﬀerential equations. G os. Izd. Techn. and Theoret. Liter., Moscow, 1953

View on Pith 1953
[41]

L.S. Pontrjagin. Continuous groups. Nauka, Moscow, 1984

View on Pith 1984
[42]

I.R. Porteous. Topological geometry. Van Nostrand Reinhold C ompany, London, 1969

View on Pith 1969
[43]

H. Rothe. Systeme Geometrischer Analyse. In: Encyklop¨ adie der Mathematischen Wis- senschaften. Band 3. Geometrie, 1277-1423. Teubner, Leipzig, 1914-1931

View on Pith 1914
[44]

W. Rudin. Principles of Mathematical Analysis. McGraw Hill, New Yor k, 1964

View on Pith 1964
[45]

M.A. Solovjev. Structure of the space of nonabelian gauge ﬁeld s // Trudy Fizich. Inst. im. P.N. Lebedev. 210, 112-155 (1993)

View on Pith 1993
[46]

A.V. Subbotin, V.Ja. Fainberg. Stochastic quantization and gau ge invariant renormal- ization // Trudy Fizich. Inst. im. P.N. Lebedev. 210, 4-83 (1993)

View on Pith 1993
[47]

B.V. Shabat. Introduction to complex analysis. Parts I and II. Nauka, Moscow, 1985

View on Pith 1985
[48]

E.H. Spanier. Algebraic topology. New York, Academic Press, 19 66

View on Pith
[49]

P. Thullen. Zu den Abbildungen durch analytische Funktionen zwe ier komplexen Ver¨ anderlichen.// Mathem. Annalen104, 373-376 (1931). 54

View on Pith 1931
[50]

B.L. van der Waerden. A history of algebra. Springer-Verlag, B erlin, 1985

View on Pith 1985
[51]

J.P. Ward. Quaternions and Cayley numbers. Ser. Math. and its Applic. 403. Kluwer Acad. Publ., Dordrecht, 1997

View on Pith 1997
[52]

R. Engelking. General topology. Mir, Moscow, 1986

View on Pith 1986
[53]

V.A. Zorich. Mathematical analysis. Nauka, Moscow, 1984. 55

View on Pith 1984

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.

[1] [32]

S.V. Ludkovsky. Functions of several variables of Cayley-Dick son numbers and manifolds over them. // Sovrem. Mathem. i ee Pril. 28 (2005)

View on Pith 2005

[2] [36]

S.V. L¨ udkovsky, F. van Oystaeyen. Diﬀerentiable functions o f quaternion variables.// Bull. Sci. Math. 127, 755-796 (2003)

View on Pith 2003

[3] [1]

G.S. Asanov. Finsler geometry, relativity, gauge theories. D. Re idel Publ. Comp., Dor- drecht, 1985

View on Pith 1985

[4] [2]

J.C. Baez. The octonions. // Bull. Amer. Mathem. Soc. 39: 2 , 145-205 (2002)

View on Pith 2002

[5] [3]

D. Bao, J. Lafontaine, T. Ratiu. On a non-linear equation related to the geometry of the diﬀeomorphism group. // Pacif. J. Mathem. 158, 223-242 (1993)

View on Pith 1993

[6] [4]

F.A. Berezin. Introduction to superanalysis. D. Reidel Publish. C omp., Kluwer group, Dordrecht, 1987

View on Pith 1987

[7] [5]

S. Bochner. Analytic and meromorphic continuation by means of G reen’s formula. // Annals of Mathem. 44: 4 , 652-673 (1943)

View on Pith 1943

[8] [6]

S. Bochner, D. Montgomery. Groups of diﬀerentiable and real o r complex analytic trans- formations.// Annals of Mathem. 46: 4 , 685-694 (1945). 52

View on Pith 1945

[9] [7]

S. Bochner, D. Montgomery. Locally compact groups of diﬀeren tiable transformations. // Annals of Mathem. 47: 4 , 639-653 (1946)

View on Pith 1946

[10] [8]

S. Bochner, D. Montgomery. Groups on analytic manifolds. // An nals of Mathem. 48: 3, 659-669 (1947)

View on Pith 1947

[11] [9]

N.N. Bogolubov, D.V. Shirkov. Quantum ﬁelds. Fiz.Mat. Lit, Moscow , 1993

View on Pith 1993

[12] [10]

N.N. Bogolubov, A.A. Logunov, A.I. Oksak, I.T. Todorov. Gener al principles of quan- tum ﬁeld theory. Nauka, Moscow, 1987

View on Pith 1987

[13] [11]

N. Bourbaki. Lie groups and algebras. Mir, Moscow, 1976

View on Pith 1976

[14] [12]

H. Cartan. Sur l’iteration des transformations conformes ou p seudo-conformes. // Com- positio Mathem. 223-227 (1934)

View on Pith 1934

[15] [13]

H. Cartan. Sur les groupes des transformations analytiques. Actualit´ es Scientiﬁques et Industrielles 198. Expos´ es Math´ ematiques IX. Herman, Paris, 1935

View on Pith 1935

[16] [14]

A. Connes. Noncommutative geometry. Academic Press: San D iego, 1994

View on Pith 1994

[17] [15]

B. DeWitt. Supermanifolds. 2d ed. Cambridge Univ. Press: Camb ridge, 1992

View on Pith 1992

[18] [16]

D.G. Ebin, J. Marsden. Groups of diﬀeomorphisms and the motion of an incompressible ﬂuid. // Annals of Mathem. 92, 102-163 (1970)

View on Pith 1970

[19] [17]

G. Emch. M` echanique quantique quaternionienne et Relativit`e restreinte. // Helv. Phys. Acta 36, 739-788 (1963)

View on Pith 1963

[20] [18]

F.R. Gantmaher. Theory of matrices. Nauka, Moscow, 1988

View on Pith 1988

[21] [19]

M. Goto, F.D. Grosshans. Semisimple Lie algebras. Marcel Dekke r, New York, 1978

View on Pith 1978

[22] [20]

F. G¨ ursey, C.-H. Tze. On the role of division, Jordan and relate d algebras in particle physics. World Scientiﬁc Publ. Co., Singapore, 1996

View on Pith 1996

[23] [21]

W.R. Hamilton. Selected papers. Optics. Dynamics. Quaternions . Nauka, Moscow, 1994

View on Pith 1994

[24] [22]

G. Julia. Sur les familles de fonctions analytiques de plusieurs varia bles// Acta Mathem. (Uppsala), 47 (1926), 53-115

View on Pith 1926

[25] [23]

I.L. Kantor, A.S. Solodovnikov. Hypercomplex numbers. Spring er-Verlag, Berlin, 1989

View on Pith 1989

[26] [24]

A. Khrennikov. Superanalysis. Series ”Mathem. and its Applic.”; 470. Kluwer Acad. Publ., Dordrecht, 1999

View on Pith 1999

[27] [25]

W. Klingenberg. Riemannian geometry. Wlater de Gruyter, Berlin , 1982

View on Pith 1982

[28] [26]

S. Kobayashi. Transformation groups in diﬀerential geometry . // Springer-Verlag, Berlin, 1972

View on Pith 1972

[29] [27]

A.G. Kurosh. Lectures on general algebra. Nauka, Moscow, 1 973

View on Pith

[30] [28]

M.A. Lavrentjev, B.V. Shabat. Methods of theory of function s of a complex variable. Nauka, Moscow, 1987. 53

View on Pith 1987

[31] [29]

M. Landucci. The automorphism group of domains with boundary points of inﬁnite type. // Illinois J. of Mathem. 48: 3 , 875-885 (2004)

View on Pith 2004

[32] [30]

H.B. Lawson, M.-L. Michelson. Spin geometry. Princ. Univ. Press , Princeton, 1989

View on Pith 1989

[33] [31]

S.V. Ludkovsky. Irreducible unitary representations of a diﬀe omorphisms group of an inﬁnite-dimensional real manifold. //Rend. Istit. Mat. Univ. Triest e 30, 21-43 (1998)

View on Pith 1998

[34] [33]

S.V. Ludkovsky. Diﬀerentiable functions of Cayley-Dickson num bers and line integra- tion. // Sovrem. Mathem. i ee Pril. 28 (2005)

View on Pith 2005

[35] [34]

S.V. Ludkovsky. Algebras of vector ﬁelds over the quaternion skew ﬁeld. // Dokl. Akad. Nauk (Russ.) 403: 3 , 309-312 (2005)

View on Pith 2005

[36] [35]

S.V. Ludkovsky. Stochastic processes on geometric loop grou ps and diﬀeomorphism groups of connected manifolds, associated unitary representat ions. // Sovrem. Mathem. i ee Pril. 28 (2005)

View on Pith 2005

[37] [37]

S.B. Myers, N.E. Steenrod. The group of isometries of a Riemann ian manifold.// Annals of Mathem. 40: 2 , 400-416 (1938)

View on Pith 1938

[38] [38]

L. Narici, E. Beckenstein. Topological vector spaces. Marcel Dekker, New York, 1985

View on Pith 1985

[39] [39]

F. van Oystaeyen. Algebraic geometry for associative algebra s. Series Lect. Notes in Pure and Appl. Mathem. 232. Marcel Dekker, New York, 2000

View on Pith 2000

[40] [40]

I.G. Petrovsky. Lectures on partial diﬀerential equations. G os. Izd. Techn. and Theoret. Liter., Moscow, 1953

View on Pith 1953

[41] [41]

L.S. Pontrjagin. Continuous groups. Nauka, Moscow, 1984

View on Pith 1984

[42] [42]

I.R. Porteous. Topological geometry. Van Nostrand Reinhold C ompany, London, 1969

View on Pith 1969

[43] [43]

H. Rothe. Systeme Geometrischer Analyse. In: Encyklop¨ adie der Mathematischen Wis- senschaften. Band 3. Geometrie, 1277-1423. Teubner, Leipzig, 1914-1931

View on Pith 1914

[44] [44]

W. Rudin. Principles of Mathematical Analysis. McGraw Hill, New Yor k, 1964

View on Pith 1964

[45] [45]

M.A. Solovjev. Structure of the space of nonabelian gauge ﬁeld s // Trudy Fizich. Inst. im. P.N. Lebedev. 210, 112-155 (1993)

View on Pith 1993

[46] [46]

A.V. Subbotin, V.Ja. Fainberg. Stochastic quantization and gau ge invariant renormal- ization // Trudy Fizich. Inst. im. P.N. Lebedev. 210, 4-83 (1993)

View on Pith 1993

[47] [47]

B.V. Shabat. Introduction to complex analysis. Parts I and II. Nauka, Moscow, 1985

View on Pith 1985

[48] [48]

E.H. Spanier. Algebraic topology. New York, Academic Press, 19 66

View on Pith

[49] [49]

P. Thullen. Zu den Abbildungen durch analytische Funktionen zwe ier komplexen Ver¨ anderlichen.// Mathem. Annalen104, 373-376 (1931). 54

View on Pith 1931

[50] [50]

B.L. van der Waerden. A history of algebra. Springer-Verlag, B erlin, 1985

View on Pith 1985

[51] [51]

J.P. Ward. Quaternions and Cayley numbers. Ser. Math. and its Applic. 403. Kluwer Acad. Publ., Dordrecht, 1997

View on Pith 1997

[52] [52]

R. Engelking. General topology. Mir, Moscow, 1986

View on Pith 1986

[53] [53]

V.A. Zorich. Mathematical analysis. Nauka, Moscow, 1984. 55

View on Pith 1984