🔢 mathematics

Classes of Holomorphic Multicomplex-Valued Functions Generated by Elliptic-Admissible Involutions

This paper classifies real-algebra involutions of the multicomplex algebra to define elliptic-admissible pairs that generate Cauchy–Riemann systems, proving that the resulting solution classes correspond precisely to mappings holomorphic or anti-holomorphic with respect to specific complex structures and are necessarily componentwise harmonic.

Original authors: Nicolas Doyon, Pierre-Olivier Parisé, William Verreault

Published 2026-08-04

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Nicolas Doyon, Pierre-Olivier Parisé, William Verreault

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Magic of Multi-Imaginary Numbers

Imagine you are a cartographer trying to map a new world. In the world of standard mathematics, we have the familiar "Real" numbers, which are like a straight line stretching forever in both directions. Then, centuries ago, mathematicians discovered a way to step off that line into a flat plane by inventing "imaginary" numbers. These numbers, usually called $i$ , have a special trick: when you multiply them by themselves, you get $-1$. This simple rule unlocked the door to complex numbers, which are essential for describing electricity, waves, and quantum mechanics.

But what if you didn't just want to step off the line once? What if you wanted to step off in many different directions at the same time? This is the playground of "multicomplex numbers." Instead of just one imaginary unit ( $i$ ), you have a whole team of them ( $i_1, i_2, i_3, \dots$ ) that all play nicely together. They commute (the order you multiply them doesn't matter) and they all square to $-1$. This creates a high-dimensional space that is incredibly rich and symmetrical.

The big question in this field is: "What does it mean for a function to be 'smooth' or 'holomorphic' in this wild, multi-dimensional space?" In the simple world of complex numbers, being smooth means satisfying a famous set of rules called the Cauchy-Riemann equations. These equations act like a filter, letting only the most perfectly behaved functions pass through. But in the multicomplex world, things get messy. There are many different ways to define "smoothness," and for a long time, mathematicians thought there were only a few standard ways to set up the rules. This paper dives deep into that chaos to see if there are hidden patterns, new rules, and a deeper understanding of what makes a function truly "holomorphic" in these strange, multi-imaginary dimensions.

The Paper's Story: Counting Mirrors and Finding the True Shape

The authors of this paper, Nicolas Doyon, Pierre-Olivier Parisé, and William Verreault, decided to tackle two main mysteries in the land of multicomplex numbers. First, they wanted to count the number of "mirrors" (mathematical operations called involutions) that exist in this space. Second, they wanted to figure out which of these mirrors actually help us define smooth, holomorphic functions, and whether the choice of mirror changes the result.

The Great Mirror Count
In the multicomplex world, an "involution" is like a magical reflection. If you apply it twice, you get back exactly where you started. For a long time, mathematicians thought there were only a few specific mirrors to choose from—roughly $2^n$ of them, where $n$ is the number of imaginary units. The authors suspected there might be more, but they needed a way to count them without getting lost in an infinite sea of possibilities.

They turned to a clever trick: translating the problem into the language of binary matrices (grids of 0s and 1s) over a field with only two elements. Think of it like solving a giant Sudoku puzzle where the only allowed numbers are 0 and 1, and the rules are about how rows and columns interact. By doing this, they proved that the number of these special mirrors is actually much, much larger than anyone thought. They derived a specific formula to count them, which generates a sequence starting with 2, 6, 44, 576, and then jumps to 15,392. This sequence is so unique that the authors couldn't even find it in the famous online encyclopedia of number sequences. They showed that the number of these mirrors depends on the structure of subspaces in this binary world, revealing a hidden layer of complexity that was previously overlooked.

The "Elliptic-Admissible" Pair
Once they had the count, the authors asked: "Do all these mirrors help us define smooth functions?" They introduced a special category called "elliptic-admissible" pairs. A pair consists of a mirror (an involution) and a specific imaginary unit (let's call it $i$ ) that satisfies two conditions: the mirror flips the sign of $i$ (turning $i$ into $-i$ ), and $i$ squares to $-1$.

When you pair a mirror with such a unit, you can write down a new set of Cauchy-Riemann equations. These equations act like a sieve, filtering out functions that aren't "smooth" in the context of that specific mirror and unit. The authors proved a stunning result: the choice of mirror doesn't actually matter.

Imagine you are trying to describe the shape of a sculpture. You can look at it from the front, the side, or the back (different mirrors), and you can use different lighting (different coordinate systems). The authors showed that while the description of the sculpture changes depending on which mirror you use, the sculpture itself (the class of smooth functions) remains exactly the same. The function theory is governed entirely by the imaginary unit $i$ , not by the mirror $\sigma$ . If you pick a different mirror that satisfies the rules, you just get the same set of smooth functions written in a different language.

The Intersection of Truths
The paper also explored what happens when you combine these different views. They found that to get the "true" multicomplex holomorphic functions (the ones that are smooth in every possible direction), you have to take the intersection of all the different classes. Specifically, a function is fully multicomplex holomorphic if and only if it is smooth with respect to every basic imaginary unit ( $i_1, i_2, \dots, i_n$ ).

They also looked at "anti-holomorphic" functions (the mathematical equivalent of looking at a reflection in a mirror) and "twisted" functions (where the rules are mixed up). They proved that even these twisted versions are just the standard smooth functions viewed through a different lens or transformed by a specific symmetry.

The Harmonic Connection
Finally, the authors connected these ideas to the Laplacian, a famous operator in physics that describes how things like heat or sound spread out (solutions to Laplace's equation). They showed that if you combine the different "derivatives" defined by their new mirror systems, you get the Laplacian. This proves that every smooth multicomplex function is also "harmonic," meaning its components satisfy the fundamental laws of physics that govern waves and fields.

What They Didn't Find
It is important to note what this paper doesn't do. The authors explicitly ruled out the idea that all possible mirrors are useful for defining these functions. They showed that if you try to use mirrors that don't preserve the basic building blocks of the number system (the "I(n)-preserving" condition), you lose the connection to the Cauchy-Riemann equations. They also clarified that while there are many mirrors, they don't create new types of functions; they just offer new ways to write down the same old functions. The paper is a rigorous proof, not a simulation or a suggestion; the counts and the equivalences are mathematically proven facts.

In short, this paper is a tour de force that maps the hidden landscape of multicomplex numbers. It tells us that while there are thousands of ways to set up the rules of the game (the mirrors), the players (the smooth functions) are the same, and their behavior is dictated by the fundamental units of the space itself.

Technical Summary: Classes of Holomorphic Multicomplex-Valued Functions Generated by Elliptic-Admissible Involutions

Problem Statement
The paper addresses the classification and characterization of holomorphic functions within the multicomplex algebra $\mathbb{MC}(n)$ . While the theory of holomorphic functions for complex ( $n=1$ ) and bicomplex ( $n=2$ ) numbers is well-established via Cauchy–Riemann equations, the generalization to higher dimensions ( $n \geq 3$ ) presents challenges regarding the definition of conjugations and the resulting systems of partial differential equations. Existing literature primarily focuses on a limited set of $2^n$ standard conjugations. The authors investigate whether a broader class of involutions (real-algebra automorphisms of order 2) exists that preserves the algebraic structure of $\mathbb{MC}(n)$ and generates new, distinct Cauchy–Riemann type systems. Furthermore, they seek to determine the precise relationship between these new systems and the established notion of multicomplex holomorphy.

Methodology
The authors employ a dual approach combining algebraic combinatorics and functional analysis:

Algebraic Classification via Matrix Models:
- The authors restrict their study to $I(n)$ -preserving involutions, which map the canonical monomial basis of $\mathbb{MC}(n)$ to signed monomials.
- They translate the counting problem of these involutions into a matrix theory problem over the field $\mathbb{F}_2$ . An involution is encoded by a matrix $M$ (representing the permutation of generators) and a sign vector $\vec{w}$ .
- Using linear algebra over $\mathbb{F}_2$ , they derive conditions for $M$ to satisfy $M^2 \equiv I \pmod 2$ and for the associated sign vectors to satisfy an affine system. This allows them to count the involutions by summing over the dimension $k$ of the kernel of the matrix $Y = M - I$ .
Analytic Framework via Complex Structures:
- The authors introduce the concept of an elliptic-admissible (e-admissible) pair $(\sigma, i)$ , where $\sigma$ is an involution and $i \in I(n)$ is a unit such that $i^2 = -1$ and $\sigma(i) = -i$ .
- They define a complex structure $L_i$ (multiplication by $i$ ) on the real vector space $\mathbb{MC}(n)$ . The involution $\sigma$ acts as a conjugation for this structure, defining a real form $B_\sigma$ .
- They formulate a system of Cauchy–Riemann equations based on the differential $DF$ commuting with $L_i$ relative to the real coordinates of $B_\sigma$ .
- The equivalence of different formulations (differential linearity, difference quotients, and idempotent component separation) is rigorously proven without assuming regularity a priori.

Key Contributions and Results

Enumeration of Involutions:
The paper provides a closed-form formula for the number of $I(n)$ -preserving involutions of $\mathbb{MC}(n)$ :
$\sum_{k=\lceil n/2 \rceil}^{n} \left( \prod_{j=1}^{k-1} \frac{2^n - 2j}{2k - 2j} \right) \left( \prod_{j=0}^{n-k-1} (2k - 2j) \right) 2^k$
This sequence (starting 2, 6, 44, 576, 15392...) significantly exceeds the $2^n$ conjugations typically cited in literature. The authors note that this sequence does not appear in the On-Line Encyclopedia of Integer Sequences (OEIS).
Independence of the Involution:
A central result (Theorem 4.5) demonstrates that the class of functions satisfying the Cauchy–Riemann equations generated by an e-admissible pair $(\sigma, i)$ depends solely on the unit $i$ , not on the specific involution $\sigma$ . While $\sigma$ determines the coordinate system (the real form $B_\sigma$ ) in which the equations are written, the solution space is identical to the class of $i$ -holomorphic functions (functions whose differential is $\mathbb{C}$ -linear with respect to $L_i$ ).
Characterization of Multicomplex Holomorphy:
The authors prove that a function is multicomplex holomorphic if and only if it is $i_k$ -holomorphic for every elementary generator $i_k$ ( $k=1, \dots, n$ ). Thus, the standard class of multicomplex holomorphic functions is the intersection of the classes associated with the $n$ elementary imaginary units.
Anti-Holomorphic and Twisted Classes:
- Anti-holomorphic functions are characterized as those whose differential anti-commutes with $L_i$ . The paper shows these are precisely the compositions of holomorphic functions with a specific involution $\tau$ (negating all generators).
- Twisted classes, where the differential intertwines two different complex structures $L_i$ and $L_{i'}$ , are shown to be automorphic images of standard $i$ -holomorphic classes.
Harmonicity:
The authors prove that every $i$ -holomorphic or $i$ -anti-holomorphic function is componentwise harmonic (solutions to the Laplace equation). They demonstrate that the Laplacian can be factored using the Wirtinger-type operators associated with the e-admissible pairs, justifying the "elliptic" terminology.

Significance and Claims
The paper claims to provide a new framework for studying function theory in multicomplex space that has not been previously developed in the literature. By expanding the set of available involutions beyond the standard $2^n$ conjugations, the authors reveal a richer supply of Cauchy–Riemann type systems. However, they clarify that this expansion does not yield new classes of holomorphic functions; rather, it offers different real-coordinate representations of the same underlying function theories.

The work unifies the algebraic structure of involutions with the analytic properties of holomorphic functions, showing that the "function theory" is governed entirely by the choice of the imaginary unit $i$ , while the involution $\sigma$ serves only to select the real form (coordinate system). The paper also extends these results to anti-holomorphic and twisted scenarios, providing a comprehensive characterization of these function spaces and their relationship to the Laplacian. The authors explicitly state that their approach sheds new light on the structural properties of multicomplex function theory, particularly regarding the role of involutions in defining complex structures.

The Magic of Multi-Imaginary Numbers

The Paper's Story: Counting Mirrors and Finding the True Shape

More like this