Polynomial correspondences expressible as
maps of $d$-tuples

Abstract

In this paper, we consider polynomial correspondences $f(x,y)$ in $\mathbb{C}[x,y]$ of degree $d\geq 2$ in both the variables and obtain necessary and sufficient conditions in order that the equation $f(x,y)=0$ can be expressed as $\Phi(x)=\Psi(y)$, where $\Phi$ and $\Psi$ are fractional degree $d$ rational maps in the Riemann sphere. In the absence of involutions that played a vital role towards characterising quadratic correspondences ($d=2$), we employ certain elementary ideas from theory of equations and matrices to achieve our results. We further explore certain symmetry conditions on the matrix of coefficients of correspondences that satisfy the above factorisation. We conclude this short note with a few examples.

Keywords	:	Polynomial correspondences,
		Maps of $d$-tuples,
		Equivalence classes in the Riemann sphere.
AMS Subject Classifications	:	30D05, 30C10, 37F05, 37F10.

1 Introduction

The investigation of dynamics of polynomial correspondences that we carry out in this paper, primarily began with the works of Bullett in [4]. Thereafter, Bullett wrote a series of articles with several co-authors, in which the dynamics that arose out of iterating such correspondences were investigated. Various authors have also generalised the study of iteration of various types of correspondences, say, polynomial, rational, holomorphic, meromorphic correspondence etc. that are defined on the Riemann sphere or appropriately on certain manifolds. Some notable works among these include Bullett et al in [5, 6, 7, 8, 9], Hinkkanen and Martin in [13, 14], Boyd in [3], Sumi in [15, 16, 17], Dinh in [10, 11], Dinh and Sibony in [12], Bharali and Sridharan in [1, 2]. However, all these works focussed on iterating the graph of the correspondence, by viewing it as a relation on the underlying space and allowing the dynamics to grow exponentially along each of the directions of the variables.

The object of study in [4] is the dynamical system that arises by iterating a certain relation on $\widehat{\mathbb{C}}$, the Riemann sphere meaning the complex plane along with the point at infinity. This relation is the zero set of a polynomial $f\in\mathbb{C}[x,y]$ satisfying the following conditions:

1. $f(x,\cdot)$ and $f(\cdot,y)$ are generically quadratic;

2. Suppose for notational convenience and purposes of being explicit, we denote the domains of the first and the second variable in $f(x,y)$ by $\widehat{\mathbb{C}}_{x}$ and $\widehat{\mathbb{C}}_{y}$ respectively. Let $\Gamma_{f}$ denote the biprojective completion of the set $\left\{f=0\right\}$ in $\widehat{\mathbb{C}}_{x}\times\widehat{\mathbb{C}}_{y}$. Then no irreducible component of $\Gamma_{f}$ is of the form $\left\{a\right\}\times\widehat{\mathbb{C}}_{y}$ or $\widehat{\mathbb{C}}_{x}\times\left\{a\right\}$ for any $a\in\widehat{\mathbb{C}}$.

Observe that this can be well explained by considering a quartic correspondence in homogeneous coordinates $\left([\xi:x],[\zeta:y]\right)\in\widehat{\mathbb{C}}_{x}\times\widehat{\mathbb{C}}_{y}$, where we use $\xi$ and $\zeta$ to homogenise each of the monomials, given by:

$$F\left([\xi:x],[\zeta:y]\right) := A_{(2,\,2)}x^{2}y^{2}\;+\;A_{(2,\,1)}x^{2}y\zeta\;+\;A_{(1,\,2)}xy^{2}\xi\;+\;A_{(2,\,0)}x^{2}\zeta^{2}\;+\;A_{(0,\,2)}y^{2}\xi^{2}$$ (1.1)

$$+\;A_{(1,\,1)}xy\xi\zeta\;+\;A_{(1,\,0)}x\xi\zeta^{2}\;+\;A_{(0,\,1)}y\xi^{2}\zeta\;+\;A_{(0,\,0)}\xi^{2}\zeta^{2},$$

where $A_{(i,\,j)}\in\mathbb{C}$. Then, $F([1:x],[1:y])$ yields the polynomial correspondence $f\in\mathbb{C}[x,y]$ that satisfies the above-mentioned two conditions. Suppose $\Pi_{x}$ and $\Pi_{y}$ are the projection maps of $\Gamma_{f}$ onto $\widehat{\mathbb{C}}_{x}$ and $\widehat{\mathbb{C}}_{y}$ respectively, then the conditions written above only imply that

$$\widehat{\mathbb{C}}_{x}\ni x_{0}\longmapsto\Pi_{y}\left(\Pi_{x}^{-1}\left\{x_{0}\right\}\cap\Gamma_{f}\right)\ \ \text{and}\ \ \widehat{\mathbb{C}}_{y}\ni y_{0}\longmapsto\Pi_{x}\left(\Pi_{y}^{-1}\left\{y_{0}\right\}\cap\Gamma_{f}\right),$$

are set-valued maps and have cardinality two for generic points $x_{0}\in\widehat{\mathbb{C}}_{x}$ and $y_{0}\in\widehat{\mathbb{C}}_{y}$. For such correspondences, Bullett, in [4], defined the following.

Definition 1.1

Let $x_{1}\in\widehat{\mathbb{C}}_{x}$. Then, $\Pi_{y}\left(\Pi_{x}^{-1}\left\{x_{1}\right\}\cap\Gamma_{f}\right)=\left\{y_{1},y_{2}\right\}$, say. Further, $\Pi_{x}\left(\Pi_{y}^{-1}\left\{y_{j}\right\}\cap\Gamma_{f}\right)=\left\{x_{1},x_{2}(j)\right\}$. Suppose $x_{2}(1)\equiv x_{2}(2)$ and the same is true for all initial points $x_{1}\in\widehat{\mathbb{C}}_{x}$. Moreover, we have an analogous situation even when we start with any $y_{1}\in\widehat{\mathbb{C}}_{y}$, then we call $f$ to be a map of pairs.

Our aim in this paper is to consider a polynomial correspondence in $\mathbb{C}[x,y]$ of degree $d\geq 2$, along both the directions of the correspondence and investigate for characterising results for what one may call a map of $d$-tuples. A precise definition of this term, that is the central object of this paper, is given in Section (2). We also state the main theorems of this paper, namely Theorems (2.3), (2.4), (2.5), (2.6) and (2.7), in the same section. In Section (3), we focus on the first two main theorems and prove the same. After going through two lemmas in Section (4) that is useful in the sequel, we focus our attention on proving the remaining three theorems in Section (5). We conclude the paper with a few examples that illustrate the various theorems of this paper, in Section (6).

2 Maps of $d$-tuples and the Main results

We begin this section by defining a degree $d$ polynomial correspondence denoted by $f_{d}\in\mathbb{C}[x,y]$ that satisfies the following conditions:

1. $f_{d}(x,\cdot)$ and $f_{d}(\cdot,y)$ are generically $d$-valued;

2. The biprojective completion of the set $\left\{f_{d}=0\right\}$ in $\widehat{\mathbb{C}}_{x}\times\widehat{\mathbb{C}}_{y}$ has no irreducible component of the form $\left\{a\right\}\times\widehat{\mathbb{C}}_{y}$ or $\widehat{\mathbb{C}}_{x}\times\left\{a\right\}$ for any $a\in\widehat{\mathbb{C}}$.

Observe that such a polynomial correspondence is then given by

$$f_{d}(x,y) := A_{(d,\,d)}x^{d}y^{d}\;+\;A_{(d,\,d-1)}x^{d}y^{d-1}\;+\;\cdots\;+\;A_{(d,\,1)}x^{d}y\;+\;A_{(d,\,0)}x^{d}$$ (2.1)

$$+\;A_{(d-1,\,d)}x^{d-1}y^{d}\;+\;\cdots\;+\;A_{(d-1,\,0)}x^{d-1}$$

$$+\;\cdots$$

$$+\;A_{(1,\,d)}xy^{d}\;+\;\cdots\;+\;A_{(1,\,0)}x$$

$$+\;A_{(0,\,d)}y^{d}\;+\;\cdots\;+\;A_{(0,\,0)}.$$

Observe that for any generic $x_{0}\in\widehat{\mathbb{C}}_{x}$ and $y_{0}\in\widehat{\mathbb{C}}_{y},\ f_{d}\in\mathbb{C}[x,y]$ satisfies the following:

$$\widehat{\mathbb{C}}_{x}\ni x_{0}\longmapsto\Pi_{y}\left(\Pi_{x}^{-1}\left\{x_{0}\right\}\cap\Gamma_{f_{d}}\right)\ \ \text{and}\ \ \widehat{\mathbb{C}}_{y}\ni y_{0}\longmapsto\Pi_{x}\left(\Pi_{y}^{-1}\left\{y_{0}\right\}\cap\Gamma_{f_{d}}\right)$$

are set-valued maps with sets of cardinality $d$. Analogous as earlier, $\Gamma_{f_{d}}$ represents the biprojective completion of the set $\left\{f_{d}=0\right\}$ in $\widehat{\mathbb{C}}_{x}\times\widehat{\mathbb{C}}_{y}$.

Definition 2.1

For each $x_{1}\in\widehat{\mathbb{C}}_{x}$, let $\left\{y_{j}(x_{1})\right\}_{1\,\leq\,j\,\leq\,d}$ denote the points in $\Pi_{y}\left(\Pi_{x}^{-1}\left\{x_{1}\right\}\cap\Gamma_{f_{d}}\right)$ repeated according to the intersection multiplicities of $\Pi_{x}^{-1}\left\{x_{1}\right\}\cap\Gamma_{f_{d}}$ at its intersection points (equivalently: according to the multiplicity of the zeros of $f_{d}(x_{1},\cdot)$ when $x_{1}\neq\infty$) and let

$$\Big{\{}x_{1},\;x_{2}(y_{j}(x_{1})),\;\cdots,\;x_{d}(y_{j}(x_{1}))\Big{\}},\ \ \ j=1,\cdots,d,$$

denote the points in $\Pi_{x}\left(\Pi_{y}^{-1}\left\{y_{j}(x_{1})\right\}\cap\Gamma_{f_{d}}\right)$ repeated according to intersection multiplicity. For each $y_{1}\in\widehat{\mathbb{C}}_{y}$, considering $\Pi_{x}\left(\Pi_{y}^{-1}\left\{y_{1}\right\}\cap\Gamma_{f_{d}}\right)$, let

$$\Big{\{}y_{1},\;y_{2}(x_{j}(y_{1})),\;\cdots,\;y_{d}(x_{j}(y_{1}))\Big{\}},\ \ \ j=1,\cdots,d$$

be constructed as above mutatis mutandis. We call $f_{d}$ a map of $d$-tuples, which we denote by

$$\big{(}x_{1},x_{2},\cdots,x_{d}\big{)}_{\widehat{\mathbb{C}}_{x}}\ \ \mathrel{\mathop{\rightleftarrows}^{f_{d}}}\ \ \big{(}y_{1},y_{2},\cdots,y_{d}\big{)}_{\widehat{\mathbb{C}}_{y}}$$

if for each $x_{1}\in\widehat{\mathbb{C}}_{x}$, the lists $\big{\{}x_{1},x_{2}(y_{j}(x_{1})),\cdots,x_{d}(y_{j}(x_{1}))\big{\}}$ for $j=1,\cdots,d$ coincide and for each $y_{1}\in\widehat{\mathbb{C}}_{y}$, the lists $\big{\{}y_{1},y_{2}(x_{j}(y_{1})),\cdots,y_{d}(x_{j}(y_{1}))\big{\}}$ for $j=1,\cdots,d$ coincide.

Remark 2.2

For ease of notations and convenience, we assume that the list of points $x_{i}$’s and $y_{j}$’s , as mentioned in the above definition are ordered by non-decreasing modulus, followed by the order of non-decreasing arguments in the interval $[0,2\pi)$.

We now state the main theorems of this paper.

Theorem 2.3

Suppose $f_{d}(x,y)$, as written in Equation (2.1), can not be written as $\displaystyle{f_{d}(x,y)=\big{[}g_{k}(x,y)\big{]}^{\frac{d}{k}}}$ where $k|d$ and $k\neq d$ with $g_{k}\in\mathbb{C}[x,y]$ being a map of $k$-tuples. Then, the correspondence $f_{d}$ is a map of $d$-tuples if and only if the variables $x$ and $y$ can be separated in the equation $f_{d}(x,y)\ =\ 0$, i.e., the equation $f_{d}(x,y)\ =\ 0$ can be rewritten as $\Phi(x)\ =\ \Psi(y)$, where $\Phi$ and $\Psi$ are fractional degree $d$ functions, as given below:

$$\Phi(x)\ =\ \frac{\kappa_{d}x^{d}+\cdots+\kappa_{1}x+\kappa_{0}}{\lambda_{d}x^{d}+\cdots+\lambda_{1}x+\lambda_{0}}\quad\quad\text{and}\quad\quad\Psi(y)\ =\ \frac{\mu_{d}y^{d}+\cdots+\mu_{1}y+\mu_{0}}{\nu_{d}y^{d}+\cdots+\nu_{1}y+\nu_{0}},$$ (2.2)

with complex coefficients.

Theorem 2.4

The correspondence $f_{d}$, as written in Equation (2.1) is a map of $d$-tuples on the Riemann sphere if and only if one of the following conditions is true:

1. $f_{d}(x,y)$ is of the form $\displaystyle{f_{d}(x,y)=\big{[}g_{k}(x,y)\big{]}^{\frac{d}{k}}}$ where $k|d$ and $k\neq d$ with $g_{k}\in\mathbb{C}[x,y]$ being a map of $k$-tuples.

2. The matrix of coefficients of $f_{d}$ has rank $2$, i.e.,

   $${\rm rank}\begin{pmatrix}A_{(d,\,d)}&A_{(d,\,d-1)}&\cdots&A_{(d,\,0)}\\ A_{(d-1,\,d)}&A_{(d-1,\,d-1)}&\cdots&A_{(d-1,\,0)}\\ \vdots&\vdots&&\vdots\\ A_{(0,\,d)}&A_{(0,\,d-1)}&\cdots&A_{(0,\,0)}\end{pmatrix}_{(d+1)\,\times\,(d+1)}\ \ =\ \ 2.$$ (2.3)

Theorem 2.5

Let $f_{d}=0$ be a map of $d$-tuples that can not be written as $\displaystyle{f_{d}(x,y)=\big{[}g_{k}(x,y)\big{]}^{\frac{d}{k}}}$ where $k|d$ and $k\neq d$ with $g_{k}\in\mathbb{C}[x,y]$ being a map of $k$-tuples. Then the following statements are equivalent.

1. $f_{d}(x,y)=0$ iff $f_{d}(y,x)=0$.

2. There exists a factorisation of $f_{d}=0$, as mentioned in Equation (2.2) where the complex coefficients $\kappa_{i},\lambda_{i},\mu_{i}$ and $\nu_{i};\;0\leq i\leq d$ satisfy $\kappa_{i}\nu_{j}+\lambda_{j}\mu_{i}=\kappa_{j}\nu_{i}+\lambda_{i}\mu_{j}$.

3. The matrix of coefficients of $f_{d}$ is symmetric.

Theorem 2.6

Let $f_{d}=0$ be a map of $d$-tuples that can not be written as $\displaystyle{f_{d}(x,y)=\big{[}g_{k}(x,y)\big{]}^{\frac{d}{k}}}$ where $k|d$ and $k\neq d$ with $g_{k}\in\mathbb{C}[x,y]$ being a map of $k$-tuples. Then the following statements are equivalent.

1. $f_{d}(x,y)=0$ iff $f_{d}(\overline{x},\overline{y})=0$.

2. There exists a factorisation of $f_{d}=0$, as mentioned in Equation (2.2) where the coefficients $\kappa_{i},\lambda_{i},\mu_{i}$ and $\nu_{i};\;0\leq i\leq d$ are real.

3. The matrix of coefficients of $f_{d}$ is real (upto multiplication by a constant).

Theorem 2.7

Let $f_{d}=0$ be a map of $d$-tuples that can not be written as $\displaystyle{f_{d}(x,y)=\big{[}g_{k}(x,y)\big{]}^{\frac{d}{k}}}$ where $k|d$ and $k\neq d$ with $g_{k}\in\mathbb{C}[x,y]$ being a map of $k$-tuples. Then the following statements are equivalent.

1. $f_{d}(x,y)=0$ iff $f_{d}(\overline{y},\overline{x})=0$.

2. There exists a factorisation of $f_{d}=0$, as mentioned in Equation (2.2) where the coefficients $\kappa_{i},\lambda_{i},\mu_{i}$ and $\nu_{i};\;0\leq i\leq d$ satisfy $\kappa_{i}=\overline{\mu_{i}}$ and $\lambda_{i}=\overline{\nu_{i}}$.

3. The matrix of coefficients of $f_{d}$ is skew-Hermitian (upto multiplication by a constant).

We conclude this section with the following remarks.

Remark 2.8

Upon taking $d=2$ in Theorems (2.3), (2.4), (2.6) and (2.7), we obtain Bullett’s results found in [4], as mere corollaries to the respective statements of our theorems.

Remark 2.9

In the case of a map of pairs, as explained in Definition (1.1), we urge the readers to observe the presence of involutions $I_{x}:\widehat{\mathbb{C}}_{x}\righttoleftarrow$ and $I_{y}:\widehat{\mathbb{C}}_{y}\righttoleftarrow$ that satisfies $I_{x}(x_{1})=x_{2}$ and $I_{y}(y_{1})=y_{2}$. Bullett, in [4] makes an extensive use of these involutions to prove his results. However when $d>2$ (the case that we deal with), we do not have the luxury of such involutions. Thus, we employ alternate methods to prove our theorems.

3 Proofs of Theorems (2.3) and (2.4)

In this section of the manuscript, we prove the first two theorems. We first prove Theorem (2.3).

Proof.

(of theorem (2.3)) We start by supposing $f_{d}$ to be a map of $d$-tuples that can not be written as $\big{[}g_{k}(x,y)\big{]}^{\frac{d}{k}}$ where $k|d$ and $k\neq d$ with $g_{k}\in\mathbb{C}[x,y]$ being a map of $k$-tuples. Then, for any $x_{1}$ and $x_{2}$ in $\widehat{\mathbb{C}}_{x}$, we say $x_{1}\sim x_{2}$ iff the list of points in $\Pi_{y}\left(\Pi_{x}^{-1}\{x_{1}\}\cap\Gamma_{f_{d}}\right)$ and $\Pi_{y}\left(\Pi_{x}^{-1}\{x_{2}\}\cap\Gamma_{f_{d}}\right)$, repeated according to multiplicity are equal. Analogously, for any $y_{1}$ and $y_{2}$ in $\widehat{\mathbb{C}}_{y}$, we say $y_{1}\sim y_{2}$ iff the list of points in $\Pi_{x}\left(\Pi_{y}^{-1}\{y_{1}\}\cap\Gamma_{f_{d}}\right)$ and $\Pi_{x}\left(\Pi_{y}^{-1}\{y_{2}\}\cap\Gamma_{f_{d}}\right)$, repeated according to multiplicity are equal. It is easy to verify that $\sim$ is an equivalence relation on $\widehat{\mathbb{C}}_{x}$, as well as on $\widehat{\mathbb{C}}_{y}$. Denote by $\left[x_{1}\right]$, the equivalence class of elements in $\widehat{\mathbb{C}}_{x}$ that are related to $x_{1}$ and by $\left[y_{1}\right]$, the equivalence class of elements in $\widehat{\mathbb{C}}_{y}$ that are related to $y_{1}$. Observe that every equivalence class in $\widehat{\mathbb{C}}_{x}$ and $\widehat{\mathbb{C}}_{y}$ contains $d$ points, counting multiplicity.

Suppose we construct a map $\phi:\widehat{\mathbb{C}}_{x}\longrightarrow\widehat{\mathbb{C}}$ such that $\phi(x_{1})=\phi(x_{2})$ whenever $x_{1}\sim x_{2}$ and a map $\psi:\widehat{\mathbb{C}}_{y}\longrightarrow\widehat{\mathbb{C}}$ such that $\psi(y_{1})=\psi(y_{2})$ whenever $y_{1}\sim y_{2}$. If such a construction is possible, then $\phi$ assigns the same value to all the $d$ points (counting multiplicity) that are related to each other in $\widehat{\mathbb{C}}_{x}$ and hence, must be a rational map of degree $d$. Similarly, $\psi$ must also be a rational map of degree $d$. We can then employ an automorphism, namely a Möbius map, to move within $\widehat{\mathbb{C}}$. It is essential to understand that we employ a Möbius map to move within $\widehat{\mathbb{C}}$, since $f_{d}$ is only a map of $d$-tuples and we should not accrue any extra degrees at this stage. Thus, the map that we employ needs to be linear. Further, this map should also be an analytic bijection. In other words, we concern ourselves to factorising $f_{d}$ as:

$$\widehat{\mathbb{C}}_{x}\ \ \overset{\phi}{\longrightarrow}\ \ \widehat{\mathbb{C}}\ \ \overset{M}{\longrightarrow}\ \ \widehat{\mathbb{C}}\ \ \overset{\psi}{\longleftarrow}\ \ \widehat{\mathbb{C}}_{y}.$$ (3.1)

Then, the equation $f_{d}(x,y)=0$ can be re-written as $M\circ\phi(x)=\psi(y)$. Towards that end, we re-write the equation $f_{d}(x,y)=0$ as

$$P_{d}(x)y^{d}+P_{d-1}(x)y^{d-1}+\cdots+P_{1}(x)y+P_{0}(x) = 0\ \ \ \text{and}$$

$$Q_{d}(y)x^{d}+Q_{d-1}(y)x^{d-1}+\cdots+Q_{1}(y)x+Q_{0}(x) = 0,$$

where each $P_{j}$ and $Q_{j}$ for $0\leq j\leq d$ is a polynomial of degree at most $d$. Also at least one of the polynomials $P_{j}$ for $1\leq j\leq d$ and one of the polynomials $Q_{j}$ for $1\leq j\leq d$ is of degree $d$. Without loss of generality, let ${\rm deg}(P_{d})=d$. Further, one can not have all the polynomials $P_{j}$ for $0\leq j\leq d-1$ to be some constant multiple of $P_{d}$ simultaneously. Thus, without loss of generality, let $P_{d-1}$ be the polynomial that can not be written as $cP_{d}$ for any $c\in\mathbb{C}$.

Since $f_{d}$ is a map of $d$-tuples, consider a pair of $d$-tuple $\big{(}a_{1},a_{2},\cdots,a_{d}\big{)}_{\widehat{\mathbb{C}}_{x}}\mathrel{\mathop{\rightleftarrows}^{f_{d}}}\big{(}b_{1},b_{2},\cdots,b_{d}\big{)}_{\widehat{\mathbb{C}}_{y}}$. Then, observe that the points $\left\{a_{1},a_{2},\cdots,a_{d}\right\}$ are the $d$ solutions to the equation $\displaystyle{\dfrac{P_{d-1}}{P_{d}}(x)=-b_{1}-b_{2}-\cdots-b_{d}}$. Similarly, with analogous assumptions that we considered without loss of generalities, we obtain $\left\{b_{1},b_{2},\cdots,b_{d}\right\}$ to be the $d$ solutions to the equation $\displaystyle{\dfrac{Q_{d-1}}{Q_{d}}(y)=-a_{1}-a_{2}-\cdots-a_{d}}$. In fact, for any pair of $d$-tuples that satisfy $\big{(}x_{1},x_{2},\cdots,x_{d}\big{)}_{\widehat{\mathbb{C}}_{x}}\mathrel{\mathop{\rightleftarrows}^{f_{d}}}\big{(}y_{1},y_{2},\cdots,y_{d}\big{)}_{\widehat{\mathbb{C}}_{y}}$, it is clear that the rational maps $\displaystyle{\dfrac{P_{d-1}}{P_{d}}}$ and $\displaystyle{\dfrac{Q_{d-1}}{Q_{d}}}$ (under the assumptions, that we made without loss of generalities) provide the maps that takes $d$ many points in $\widehat{\mathbb{C}}_{x}$ to a single point in $\widehat{\mathbb{C}}$ and $d$ many points in $\widehat{\mathbb{C}}_{y}$ to a single point in $\widehat{\mathbb{C}}$. Thus, by construction $\phi$ and $\psi$ are rational maps of degree $d$ in the variables $x$ and $y$ respectively. Now, by considering an appropriate Möbius map, say $M$ to move within $\widehat{\mathbb{C}}$ and defining $\Phi=M\circ\phi$ and $\Psi\equiv\psi$, we obtain

$$\Phi(x)\ \ =\ \ \frac{\kappa_{d}x^{d}\,+\,\cdots\,+\,\kappa_{1}x\,+\,\kappa_{0}}{\lambda_{d}x^{d}\,+\,\cdots\,+\,\lambda_{1}x\,+\,\lambda_{0}}\quad\quad\text{and}\quad\quad\Psi(y)\ \ =\ \ \frac{\mu_{d}y^{d}\,+\,\cdots\,+\,\mu_{1}y\,+\,\mu_{0}}{\nu_{d}y^{d}\,+\,\cdots\,+\,\nu_{1}y\,+\,\nu_{0}},$$

where $\kappa_{i},\lambda_{i},\mu_{i},\nu_{i}\in\mathbb{C}$ for $0\leq i\leq d$.

Conversely, suppose the equation $f_{d}(x,y)=0$ can be re-written by separating the variables as $\Phi(x)=\Psi(y)$ where $\Phi$ and $\Psi$ are fractional degree $d$ functions. In order to prove that $f_{d}$ is a map of $d$-tuples, we observe that for any complex value $z_{0}\in\widehat{\mathbb{C}}$, both the equations $\Phi(x)=z_{0}$ and $\Psi(y)=z_{0}$ have solution sets, each of cardinality $d$ counting multiplicity, thus making $f_{d}$, a map of $d$-tuples. ∎

As one may observe, the factorisation of $f_{d}(x,y)=0$ as $\Phi(x)=\Psi(y)$ is unique only upto composition with a Möbius map. We now prove the first statement in Theorem (2.4).

Proof.

(of theorem (2.4) (1)) Consider the correspondence $f_{d}\in\mathbb{C}[x,y]$ to be a map of $d$-tuples. We first prove that $f_{d}$ can not be factorised as $g_{k}h_{d-k}$, where $g_{k}$ and $h_{d-k}$ are maps of $k$-tuples and $(d-k)$-tuples respectively. In order to do so, we assume to the contrary. Since $g_{k}$ and $h_{d-k}$ are maps of $k$-tuples and $(d-k)$-tuples respectively, one may write

$$\big{(}x_{1},x_{2},\cdots,x_{k}\big{)}_{\widehat{\mathbb{C}}_{x}} \mathrel{\mathop{\rightleftarrows}^{g_{k}}} \big{(}y_{1},y_{2},\cdots,y_{k}\big{)}_{\widehat{\mathbb{C}}_{y}}\ \ \ \ \text{and}$$

$$\big{(}x_{k+1},x_{k+2},\cdots,x_{d}\big{)}_{\widehat{\mathbb{C}}_{x}} \mathrel{\mathop{\rightleftarrows}^{h_{d-k}}} \big{(}y_{k+1},y_{k+2},\cdots,y_{d}\big{)}_{\widehat{\mathbb{C}}_{y}}.$$

However, this does not result in the set of all values of $x_{i}$’s and $y_{j}$’s, written in the appropriate order, as mentioned in Remark (2.2), corresponding to each other through the map $f_{d}$. This implies that $f_{d}$ can not be factorised as $g_{k}h_{d-k}$. This argument further leads us to conclude that any possible factorisation of $f_{d}$ can not involve more than one factor, meaning $f_{d}=[g_{k}]^{\frac{d}{k}}$, where $k|d$. Conversely, for any divisor $k$ of $d$ with $k\neq d,\ [g_{k}]^{\frac{d}{k}}$ is a map of $d$-tuples, where in every equivalence class $[x]$ determined by the equivalence relation, as mentioned in the proof of Theorem (2.3), the number of occurrences of each element is a multiple of $d/k$. ∎

In order to prove the second statement of Theorem (2.4), we make use of Theorem (2.3)

Proof.

(of Theorem (2.4) (2)) Let $f_{d}$ be a map of $d$-tuples. We employ Theorem (2.3) that states that $f_{d}(x,y)=0$ can be rewritten as $\Phi(x)=\Psi(y)$, where

$$\Phi(x)\ \ =\ \ \frac{\kappa_{d}x^{d}\,+\,\cdots\,+\,\kappa_{1}x\,+\,\kappa_{0}}{\lambda_{d}x^{d}\,+\,\cdots\,+\,\lambda_{1}x\,+\,\lambda_{0}}\quad\quad\text{and}\quad\quad\Psi(y)\ \ =\ \ \frac{\mu_{d}y^{d}\,+\,\cdots\,+\,\mu_{1}y\,+\,\mu_{0}}{\nu_{d}y^{d}\,+\,\cdots\,+\,\nu_{1}y\,+\,\nu_{0}},$$

with $\kappa_{i},\lambda_{i},\mu_{i},\nu_{i}\in\mathbb{C}$ for $0\leq i\leq d$. Thus, in this case the correspondence can be re-written as

$$\left(\kappa_{d}\nu_{d}-\lambda_{d}\mu_{d}\right)x^{d}y^{d}\;+\;\left(\kappa_{d}\nu_{d-1}-\lambda_{d}\mu_{d-1}\right)x^{d}y^{d-1}\;+\;\cdots\;+\;\left(\kappa_{0}\nu_{0}-\lambda_{0}\mu_{0}\right)\ \ =\ \ 0.$$

Thus, the appropriate matrix of coefficients is given by

$$\begin{pmatrix}\kappa_{d}\nu_{d}-\lambda_{d}\mu_{d}&\kappa_{d}\nu_{d-1}-\lambda_{d}\mu_{d-1}&\cdots&\kappa_{d}\nu_{0}-\lambda_{d}\mu_{0}\\ \kappa_{d-1}\nu_{d}-\lambda_{d-1}\mu_{d}&\kappa_{d-1}\nu_{d-1}-\lambda_{d-1}\mu_{d-1}&\cdots&\kappa_{d-1}\nu_{0}-\lambda_{d-1}\mu_{0}\\ \vdots&&&\\ \kappa_{0}\nu_{d}-\lambda_{0}\mu_{d}&\kappa_{0}\nu_{d-1}-\lambda_{0}\mu_{d-1}&\cdots&\kappa_{0}\nu_{0}-\lambda_{0}\mu_{0},\end{pmatrix}$$

that can be factorised as

$$\begin{pmatrix}\kappa_{d}&0&\cdots&0&\lambda_{d}\\ \kappa_{d-1}&0&\cdots&0&\lambda_{d-1}\\ \vdots&&&&\vdots\\ \kappa_{0}&0&\cdots&0&\lambda_{0}\end{pmatrix}\times\begin{pmatrix}\nu_{d}&\nu_{d-1}&\cdots&\nu_{0}\\ 0&0&\cdots&0\\ \vdots&&&&\\ 0&0&\cdots&0\\ -\mu_{d}&-\mu_{d-1}&\cdots&-\mu_{0}\end{pmatrix}.$$

Since both the matrices in the factorisation have their ranks to be two, the product matrix can have rank utmost two. We now prove that the rank of the product matrix is not equal to one, by the method of contradiction.

Consider the matrix of coefficients given by

$$\begin{pmatrix}A_{(d,\,d)}&A_{(d,\,d-1)}&\cdots&A_{(d,\,0)}\\ A_{(d-1,\,d)}&A_{(d-1,\,d-1)}&\cdots&A_{(d-1,\,0)}\\ \vdots&\vdots&&\vdots\\ A_{(0,\,d)}&A_{(0,\,d-1)}&\cdots&A_{(0,\,0)}\end{pmatrix}.$$

Since, by assumption, this matrix has rank $1$, we write the latter $(d-1)$ columns, (without loss of generality) as a constant multiple of the first column. Then, the equation of the correspondence $f_{d}(x,y)=0$ can be factorised as $P(x)Q(y)=0$, where $P$ and $Q$ are polynomials of degree $d$ with complex coefficients. This violates the second condition in the definition of the degree $d$ polynomial correspondence.

We now suppose that the rank of the coefficient matrix is $2$ and prove that $f_{d}$ is a map of $d$-tuples. Denote the rows of the coefficient matrix by $R_{1},R_{2},\cdots,R_{d+1}$. Without loss of generality, we assume that the rows $R_{j}$ for $1<j<d+1$ are spanned by the first row $R_{1}$ and the last one $R_{d+1}$, i.e., $R_{j}=\sigma_{j}R_{1}+\tau_{j}R_{d+1}$. Thus, one can write $f_{d}(x,y)=0$ as

$$x^{d}R_{1}Y\;+\;x^{d-1}R_{2}Y\;+\;\cdots\;+\;xR_{d}Y\;+\;R_{d+1}Y\ \ =\ \ 0,\ \ \ \ \text{where}\ \ \ Y^{t}\ =\ \begin{pmatrix}y^{d}&y^{d-1}&\cdots&y&1\end{pmatrix}.$$

This can be simplified as

$$\left[\left(x^{d}+\sigma_{2}x^{d-1}+\cdots+\sigma_{d}x\right)R_{1}\ +\ \left(\tau_{2}x^{d-1}+\cdots+\tau_{d}x+1\right)R_{d+1}\right]Y\ \ =\ \ 0.$$

It is then obvious that the above equation can be expressed as $\Phi(x)=\Psi(y)$, where $\Phi$ and $\Psi$ are fractional degree $d$ maps. Thus, an appeal to Theorem (2.3) completes the proof. ∎

4 Two easy Lemmas

We begin this section with the statement of a lemma from complex numbers, that will come in handy in the proofs of the theorems, later. The proof of the following lemma is elementary.

Lemma 4.1

Let $z,\,w\,\in\mathbb{C}$ satisfying $z\overline{w}=w\overline{z}$. Then, ${\rm Re}(z){\rm Im}(w)={\rm Re}(w){\rm Im}(z)$.

We now state and prove a Lemma, that will be useful in the proof of Theorem (2.5).

Lemma 4.2

Let $f_{d}(x,y)=0$ be a map of $d$-tuples that can be rewritten as $\Phi(x)=\Psi(y)$. Suppose there exists a distinct pair of $d$-tuples namely $\big{(}x_{1},\cdots,x_{d}\big{)}$ and $\big{(}y_{1},\cdots,y_{d}\big{)}$ with $x_{i},y_{j}\in\widehat{\mathbb{C}}$ arranged as demanded by Remark (2.2), such that $f_{d}(x_{i},y_{j})=0$ iff $f_{d}(y_{j},x_{i})=0$ for $1\leq i,j\leq d$, then, $f_{d}(x,y)=0$ can also be rewritten as $\Phi(y)=\Psi(x)$.

Proof.

In order to prove the Lemma, we merely prove that the coefficient of $x^{d}y^{d-1}$ in the expression of $f_{d}$ agrees with the coefficient of $x^{d-1}y^{d}$. Using analogous techniques, we can then prove that the coefficient of $x^{i}y^{j}$ in the expression of $f_{d}$ is the same as the coefficient of $x^{j}y^{i}$, that completes the proof.

Since $f_{d}(x,y)=0$ is given to be a map of $d$-tuples, we know by Theorem (2.3) that the equation can be rewritten as $\Phi(x)=\Psi(y)$, where $\Phi$ and $\Psi$ are fractional degree $d$ functions, that look like

$$\Phi(x)\ \ =\ \ \frac{\kappa_{d}x^{d}\,+\,\cdots\,+\,\kappa_{1}x\,+\,\kappa_{0}}{\lambda_{d}x^{d}\,+\,\cdots\,+\,\lambda_{1}x\,+\,\lambda_{0}}\quad\quad\text{and}\quad\quad\Psi(y)\ \ =\ \ \frac{\mu_{d}y^{d}\,+\,\cdots\,+\,\mu_{1}y\,+\,\mu_{0}}{\nu_{d}y^{d}\,+\,\cdots\,+\,\nu_{1}y\,+\,\nu_{0}},$$

with complex coefficients.

The finite case: In this case, we consider all $x_{i}$’s, $y_{j}$’s and $z_{k}$’s to be finite, as explained below. Given that

$$\big{(}x_{1},x_{2},\cdots,x_{d}\big{)}_{\widehat{\mathbb{C}}_{x}} \mathrel{\mathop{\rightleftarrows}^{f_{d}}} \big{(}y_{1},y_{2},\cdots,y_{d}\big{)}_{\widehat{\mathbb{C}}_{y}}\ \ \ \text{and}$$

$$\big{(}y_{1},y_{2},\cdots,y_{d}\big{)}_{\widehat{\mathbb{C}}_{x}} \mathrel{\mathop{\rightleftarrows}^{f_{d}}} \big{(}x_{1},x_{2},\cdots,x_{d}\big{)}_{\widehat{\mathbb{C}}_{y}},$$

we consider distinct values $z_{1}$ and $z_{2}$ in $\mathbb{C}$ such that

$$\Phi(x_{i})\ =\ z_{1}\ =\ \Psi(y_{j})\ \ \ \ \ \ \text{and}\ \ \ \ \ \ \Phi(y_{j})\ =\ z_{2}\ =\ \Psi(x_{i})\ \ \ \ \ \forall 1\leq i,j\leq d.$$

In other words, $\{x_{1},\cdots,x_{d}\}$ is the solution set of the algebraic equations $\Phi(x)-z_{1}=0$ and $\Psi(x)-z_{2}=0$, where points are repeated according to their multiplicities. Employing the expressions that we have for $\Phi$ and $\Psi$, as written above and considering the sum of these roots from these algebraic equations, we obtain

$$\frac{\kappa_{d-1}-z_{1}\lambda_{d-1}}{\kappa_{d}-z_{1}\lambda_{d}}\ \ =\ \ \frac{\mu_{d-1}-z_{2}\nu_{d-1}}{\mu_{d}-z_{2}\nu_{d}}.$$

Similarly, concentrating on the solution set, namely $\{y_{1},\cdots,y_{d}\}$ of the algebraic equations $\Psi(y)-z_{1}=0$ and $\Phi(y)-z_{2}=0$, where again the points are repeated according to their multiplicities, we obtain the sum of these roots as

$$\frac{\kappa_{d-1}-z_{2}\lambda_{d-1}}{\kappa_{d}-z_{2}\lambda_{d}}\ \ =\ \ \frac{\mu_{d-1}-z_{1}\nu_{d-1}}{\mu_{d}-z_{1}\nu_{d}}.$$

From the above two equations, we get,

$$z_{1}\left(\lambda_{d}\mu_{d-1}-\lambda_{d-1}\mu_{d}\right)+z_{2}\left(\kappa_{d}\nu_{d-1}-\kappa_{d-1}\nu_{d}\right)\ =\ z_{1}\left(\kappa_{d}\nu_{d-1}-\kappa_{d-1}\nu_{d}\right)+z_{2}\left(\lambda_{d}\mu_{d-1}-\lambda_{d-1}\mu_{d}\right),$$

that gives

$$z_{1}\left(\kappa_{d}\nu_{d-1}-\kappa_{d-1}\nu_{d}-\lambda_{d}\mu_{d-1}+\lambda_{d-1}\mu_{d}\right)\ =\ z_{2}\left(\kappa_{d}\nu_{d-1}-\kappa_{d-1}\nu_{d}-\lambda_{d}\mu_{d-1}+\lambda_{d-1}\mu_{d}\right).$$

Since $z_{1}\neq z_{2}$, we have

$$\kappa_{d}\nu_{d-1}-\lambda_{d}\mu_{d-1}\ \ =\ \ \kappa_{d-1}\nu_{d}-\lambda_{d-1}\mu_{d},$$

which proves that the coefficients of $x^{d}y^{d-1}$ and $x^{d-1}y^{d}$ are equal in the equation $f_{d}(x,y)=0$.

The infinite case: This has various subcases, one or several of $x_{i}$’s or $y_{j}$’s can be infinite (depending upon the multiplicity with which $\infty$ appears as a zero of the appropriate equation) or one of the $z_{k}$’s is infinite. However, note that $\infty$ can not appear in the enlisting of both $x_{i}$’s and $y_{j}$’s simultaneously. Owing to symmetric reasonings, we will only discuss $x_{i}$’s being infinite, here.

Subcase - 1: When $x_{i}$’s and $y_{j}$’s are all finite, $z_{1}<\infty$ but $z_{2}=\infty$. In this case, we consider the equations

$$\Phi(x_{i})\ =\ z_{1}\ =\ \Psi(y_{j})\ \ \ \ \ \ \text{and}\ \ \ \ \ \ \Phi(y_{j})\ =\ \infty\ =\ \Psi(x_{i})\ \ \ \ \ \forall 1\leq i,j\leq d.$$

Thus, $\{x_{1},\cdots,x_{d}\}$ is the solution set of the algebraic equations $\sum\limits_{i=0}^{d}\left(\kappa_{i}-z_{1}\lambda_{i}\right)x^{i}=0$ and $\sum\limits_{i=0}^{d}\nu_{i}x^{i}=0$, where the points are repeated according to their multiplicities. Focussing again on the sum of all these $x_{i}$’s yields

$$z_{1}\ =\ \frac{\kappa_{d}\nu_{d-1}-\kappa_{d-1}\nu_{d}}{\lambda_{d}\nu_{d-1}-\lambda_{d-1}\nu_{d}}.$$

When we do an analogous exercise with $\{y_{1},\cdots,y_{d}\}$ being the solution set of the algebraic equations $\sum\limits_{i=0}^{d}\left(\mu_{i}-z_{1}\nu_{i}\right)y^{i}=0$ and $\sum\limits_{i=0}^{d}\lambda_{i}y^{i}=0$, where again the points are repeated according to their multiplicities, we obtain

$$z_{1}\ =\ \frac{\lambda_{d}\mu_{d-1}-\lambda_{d-1}\mu_{d}}{\lambda_{d}\nu_{d-1}-\lambda_{d-1}\nu_{d}}.$$

Since the denominators in the expressions of $z_{1}$ are equal, their numerators should also be equal that results in

$$\kappa_{d}\nu_{d-1}-\lambda_{d}\mu_{d-1}\ \ =\ \ \kappa_{d-1}\nu_{d}-\lambda_{d-1}\mu_{d}.$$

Subcase - 2: When only $(d-m)$ of the $x_{i}$’s are finite, the remainder of the $x_{i}$’s being $\infty$ while all of the $y_{j}$’s and $z_{k}$’s are finite. Owing to $m$ many infinities in the collection of $x_{i}$’s and the equations $\Phi(x_{i})-z_{1}=0$ and $\Psi(x_{i})-z_{2}=0$, we get $z_{1}=\dfrac{\kappa_{i}}{\lambda_{i}}$ and $z_{2}=\dfrac{\mu_{i}}{\nu_{i}}$ for $i=d,d-1,\cdots,d-m$. Using the sum of the roots of the algebraic equations $\Psi(y)-z_{1}=0$ and $\Phi(y)-z_{2}=0$ and plugging the values of $z_{1}$ and $z_{2}$, as obtained above, we get

$$\kappa_{d}\nu_{d-1}-\lambda_{d}\mu_{d-1}\ \ =\ \ \kappa_{d-1}\nu_{d}-\lambda_{d-1}\mu_{d}.$$

Subcase - 3: When only $(d-m)$ of the $x_{i}$’s are finite, the remainder of the $x_{i}$’s being $\infty$ while all of the $y_{j}$’s are finite, $z_{1}<\infty$ and $z_{2}=\infty$. We reach the same conclusion in this final and exhaustive case too, working analogously. ∎

5 Proof of Theorems (2.5), (2.6) and (2.7)

In this section, we prove the Theorems (2.5), (2.6) and (2.7).

Proof.

(of Theorem (2.5)) The proof of Theorem (2.5) rests entirely on Lemma (4.2). It is quite obvious from the proof of Lemma (4.2) that the matrix of coefficients is symmetric and that the coefficients, as mentioned in the equation $\Phi(x)=\Psi(y)$ satisfy

$$\kappa_{i}\nu_{j}+\lambda_{j}\mu_{i}\ =\ \kappa_{j}\nu_{i}+\lambda_{i}\mu_{j},\ \ \ \ \text{for}\ \ \ 0\leq i,j\leq d.$$

∎

We now prove Theorem (2.6).

Proof.

(of Theorem (2.6)) We start by proving $1\Longrightarrow 3$. Since $f_{d}$ is a map of $d$-tuples, we have

$$\big{(}x_{1},x_{2},\cdots,x_{d}\big{)}_{\widehat{\mathbb{C}}_{x}}\ \ \mathrel{\mathop{\rightleftarrows}^{f_{d}}}\ \ \big{(}y_{1},y_{2},\cdots,y_{d}\big{)}_{\widehat{\mathbb{C}}_{y}},$$

as the solution set for $f_{d}(x,y)=0$. Owing to our assumption, we further have $f_{d}(\overline{x},\overline{y})=0$, i.e.,

$$\big{(}\overline{x_{1}},\overline{x_{2}},\cdots,\overline{x_{d}}\big{)}_{\widehat{\mathbb{C}}_{x}}\ \ \mathrel{\mathop{\rightleftarrows}^{f_{d}}}\ \ \big{(}\overline{y_{1}},\overline{y_{2}},\cdots,\overline{y_{d}}\big{)}_{\widehat{\mathbb{C}}_{y}}.$$

Taking the complex conjugate of the latter equation, we obtain

$$\big{(}x_{1},x_{2},\cdots,x_{d}\big{)}_{\widehat{\mathbb{C}}_{x}}\ \ \mathrel{\mathop{\rightleftarrows}^{\overline{f_{d}}}}\ \ \big{(}y_{1},y_{2},\cdots,y_{d}\big{)}_{\widehat{\mathbb{C}}_{y}},$$

where $\overline{f_{d}}$ denotes the correspondence mentioned in Equation (2.1), with every coefficient $A_{i,j}$ replaced with $\overline{A_{i,j}}$. Thus, $f_{d}(x,y)=0$ and $\overline{f_{d}}(x,y)=0$ represent the same polynomial correspondence, meaning one is a constant multiple of the other. By comparing the coefficients, we obtain that $A_{i,j}=M\overline{A_{i,j}}$ for every $0\leq i,j\leq d$, where $M\in\mathbb{C}$. Thus, using Lemma (4.1), we have ${\rm Re}(A_{i,j})=\rho{\rm Im}(A_{i,j})$ for every $0\leq i,j\leq d$ for some $\rho\in\mathbb{R}$. Hence, writing $A_{i,j}=\rho a_{i,j}+ia_{i,j}$, we obtain an alternate representation of the correspondence given by

$$f_{d}(x,y) =\ \ (\rho+i) \big{[}a_{(d,\,d)}x^{d}y^{d}\;+\;a_{(d,\,d-1)}x^{d}y^{d-1}\;+\;\cdots\;+\;a_{(d,\,1)}x^{d}y\;+\;a_{(d,\,0)}x^{d}$$

$$+\;a_{(d-1,\,d)}x^{d-1}y^{d}\;+\;\cdots\;+\;a_{(d-1,\,0)}x^{d-1}$$

$$+\;\cdots$$

$$+\;a_{(0,\,d)}y^{d}\;+\;\cdots\;+\;a_{(0,\,0)}\big{]},$$

where every coefficient $a_{i,j}\in\mathbb{R}$, proving statement $(3)$.

Since $3\Longrightarrow 2$ is trivial, we now write a short proof of $2\Longrightarrow 1$. Consider the correspondence $\Phi(x)-\Psi(y)=0$. Then, conjugating the whole equation, we obtain statement $(1)$. ∎

We now prove Theorem (2.7).

Proof.

(of Theorem (2.7)) Here, we start by proving $(1)\Longrightarrow(2)$. Since $f_{d}$ is a map of $d$-tuples, by Theorem (2.3) we obtain a factorisation of $f_{d}(x,y)=0$ as $\Phi(x)=\Psi(y)$. Then, making use of the hypothesis, we obtain a factorisation of $f_{d}(\overline{y},\overline{x})=0$ as $\Phi(\overline{y})=\Psi(\overline{x})$. Taking the complex conjugate of the last equation gives us $\overline{\Phi(\overline{y})}=\overline{\Psi(\overline{x})}$, which is alternate representation of the original correspondence $f_{d}(x,y)=0$. Thus, this only means that there exists a Möbius map (of determinant $1$, without loss of generality) $M=\begin{pmatrix}A&B\\ C&D\end{pmatrix}$ such that $\overline{\Psi}(x)=M\circ\Phi(x)$. Here, $\overline{\Psi}$ represents the fractional degree $d$ rational map, as written in Equation (2.2) where every coefficient in the expression of $\Psi$ is complex conjugated. Thus,

$$\overline{\Psi}(x)\ \ =\ \ M\circ\Psi(y).$$ (5.1)

Owing to our hypothesis as in statement $(1)$, we also have $\overline{\Psi}(\overline{y})=M\circ\Psi(\overline{x})$. Taking the complex conjugate of the above equation, we obtain $\Psi(y)=\overline{M}\circ\overline{\Psi}(x)$. Thus,

$$\overline{\Psi}(x)\ \ =\ \ \left(\overline{M}\right)^{-1}\circ\Psi(y).$$ (5.2)

From Equations (5.1) and (5.2), we obtain $M=\left(\overline{M}\right)^{-1}$, that results in the matrix entries $B$ and $C$ being purely imaginary and $A=\overline{D}$. Such a matrix $M$ can be expressed as $M=\left(\overline{N}\right)^{-1}N$ for some matrix $N$ with complex entries. Plugging in this expression for $M$ in Equation (5.1), we get

$$N\circ\Psi(y)\ \ =\ \ \overline{N}\circ\overline{\Psi}(x),$$

establishing $(2)$. The remainder of the proof is a simple exercise. ∎

6 Examples

In this concluding section, we provide examples illustrating the main theorems of this paper.

Example 6.1

Consider

$$\begin{array}[]{c r c l}&5x^{5}y^{5}\;+\;5x^{5}y^{4}\;+\;10x^{5}y^{3}\;+\;7x^{5}y^{2}\;+(1+6i)x^{5}y\;+\;11x^{5}&&\\ +&7x^{4}y^{5}\;+\;4x^{4}y^{4}\;+\;8x^{4}y^{3}\;+\;11x^{4}y^{2}\;+\;(2+3i)x^{4}y\;+\;7x^{4}&&\\ +&(9-i)x^{3}y^{5}\;+\;(3-2i)x^{3}y^{4}\;+\;(6-4i)x^{3}y^{3}\;+\;(15-i)x^{3}y^{2}\;+\;6x^{3}y\;+\;(3-5i)x^{3}&&\\ +&15x^{2}y^{5}\;+\;10x^{2}y^{4}\;+\;20x^{2}y^{3}\;+\;23x^{2}y^{2}\;+\;(4+9i)x^{2}y\;+\;19x^{2}&&\\ +&16xy^{5}\;+\;7xy^{4}\;+\;14xy^{3}\;+\;26xy^{2}\;+\;(5+3i)xy\;+\;10x&&\\ +&7y^{5}\;+\;9y^{4}\;+\;18y^{3}\;+\;9y^{2}\;+\;(1+12i)y\;+\;21&=&0.\end{array}$$

This correspondence can be factorised as

$$\frac{x^{5}\,+\,2x^{4}\,+\,3x^{3}\,+\,4x^{2}\,+\,5x\,+\,1}{2x^{5}\,+\,x^{4}\,-\,ix^{3}\,+\,3x^{2}\,+\,x\,+\,4}\ \ =\ \ -\;\frac{y^{5}\,+\,2y^{4}\,+\,4y^{3}\,+\,y^{2}\,+\,3iy\,+\,5}{3y^{5}\,+\,y^{4}\,+\,2y^{3}\,+\,5y^{2}\,+\,y\,+\,1}.$$

Thus, by Theorem (2.3), this is a map of $5$-tuples. Further, the matrix of coefficients has rank $2$, i.e.,

$${\rm rank}\begin{pmatrix}5&5&10&7&1+6i&11\\ 7&4&8&11&2+3i&7\\ 9-i&3-2i&6-4i&15-i&6&3-5i\\ 15&10&20&23&4+9i&19\\ 16&7&14&26&5+3i&10\\ 7&9&18&9&1+12i&21\end{pmatrix}\ \ =\ \ 2.$$

Example 6.2

1. The correspondence

   $$x^{3}y^{3}\;+\;3x^{3}y^{2}\;+\;3x^{3}y\;+\;x^{3}\;+\;3x^{2}y^{3}\;+\;12x^{2}y^{2}\;+\;15x^{2}y\;+\;6x^{2}$$

   $$+3xy^{3}\;+\;15xy^{2}\;+\;24xy\;+\;12x\;+\;y^{3}\;+\;6y^{2}\;+\;12y\;+\;8 = 0,$$

   can be written as $\left(xy+x+y+2\right)^{3}\ =\ 0$, making this correspondence a map of $3$-tuples.

2. The correspondence

   $$x^{4}y^{4}\;+\;2x^{4}y^{2}\;+\;x^{4}\;+\;2x^{3}y^{4}\;+\;4x^{3}y^{2}\;+\;2x^{3}\;+\;3x^{2}y^{4}\;+\;8x^{2}y^{2}$$

   $$+5x^{2}\;+\;2xy^{4}\;+\;6xy^{2}\;+\;4x\;+\;y^{4}\;+\;4y^{2}\;+\;4 = 0,$$

   can be written as $\left(x^{2}y^{2}+x^{2}+xy^{2}+x+y^{2}+2\right)^{2}\ =\ 0$, making this correspondence a map of $4$-tuples; however with the multiplicity of each of the roots of the quadratic correspondence inside the bracket, being doubled for the quartic correspondence.

Example 6.3

Consider the map of $3$-tuples given by

$$\frac{x^{3}\,-\,6x^{2}\,+\,11x\,-\,6}{-x^{3}\,-\,8x^{2}\,+\,31x\,+\,10}\ \ =\ \ \frac{2y^{3}\,+\,2y^{2}\,-\,20y\,-\,16}{y^{3}\,+\,8y^{2}\,-\,31y\,-\,10},$$

that corresponds between the triples $(1,2,3)$ and $(-1,-2,4)$ via $z_{1}=0$ and $z_{2}=1$, where we follow the notations for $z_{k}$’s, as in the proof of Lemma (4.2). Observe that this correspondence can also be expressed as

$$3x^{3}y^{3}\;+\;10x^{3}y^{2}\;-\;51x^{3}y\;-\;26x^{3}\;+\;10x^{2}y^{3}\;-\;32x^{2}y^{2}\;+\;26x^{2}y\;-\;68x^{2}$$

$$-51xy^{3}\;+\;26xy^{2}\;+\;279xy\;+\;386x\;-\;26y^{3}\;-\;68y^{2}\;+\;386y\;+\;220 = 0,$$

wherein the coefficient of $x^{i}y^{j}$ is the same as the coefficient of $x^{j}y^{i}$, for all $0\leq i,j\leq 3$, leading to a symmetric matrix of coefficients, as required in Theorem (2.5).

Example 6.4

Consider the map of $4$-tuples given by

$$\frac{2x^{4}\,+\,3x^{3}\,+\,10x^{2}\,+\,x\,+\,7}{x^{4}\,+\,5x^{3}\,+\,x^{2}\,+\,4x\,+\,1}\ \ =\ \ -\;\frac{y^{4}\,+\,2y^{3}\,+\,5y^{2}\,+\,6y\,+\,4}{y^{4}\,+\,7y^{3}\,+\,2y^{2}\,+\,y\,+\,8},$$

where all the coefficients in the above mentioned fractional quartic representation are real. Note that the correspondence can also be written as

$$\begin{array}[]{c r c l}&3x^{4}y^{4}\;+\;16x^{4}y^{3}\;+\;9x^{4}y^{2}\;+\;8x^{4}y\;+\;20x^{4}+8x^{3}y^{4}\;+\;31x^{3}y^{3}\;+\;31x^{3}y^{2}\;+\;33x^{3}y\;+\;44x^{3}&&\\ +&11x^{2}y^{4}\;+\;72x^{2}y^{3}\;+\;25x^{2}y^{2}\;+\;16x^{2}y\;+\;84x^{2}+5xy^{4}\;+\;15xy^{3}\;+\;22xy^{2}\;+\;25xy\;+\;24x&&\\ +&8y^{4}\;+\;51y^{3}\;+\;19y^{2}\;+\;13y\;+\;60&=&0,\end{array}$$

where all the coefficients $A_{i,j}$ are real. Further, taking the complex conjugate in the last Equation, we observe that this correspondence also satisfies condition $(1)$ in Theorem (2.6).

Example 6.5

Consider the following rank $2$, skew-Hermitian matrix of coefficients of a cubic correspondence given by

$$\begin{pmatrix}28i&6i-25&19i-7&-31\\ 25+6i&12i&17+5i&-15+4i\\ 7+19i&-17+5i&12i&-2i-28\\ 31&15+4i&28-2i&-20i\end{pmatrix}$$

The correspondence $f_{3}$ formed from the above matrix of coefficients is a map of $3$-tuples, that satisfies $f_{3}(x,y)=0$ iff $f_{3}(\overline{y},\overline{x})=0$. Then, $f_{3}(x,y)=0$ can also be rewritten as

$$\frac{2ix^{3}\,+\,3x^{2}\,+\,(1+i)x\,+\,5}{7x^{3}\,+\,(3-2i)x^{2}\,+\,6x\,+\,2i}\ \ =\ \ \frac{-2iy^{3}\,+\,3y^{2}\,+\,(1-i)y\,+\,5}{7y^{3}\,+\,(3+2i)y^{2}\,+\,6y\,-\,2i},$$

illustrating Theorem (2.7).

Conflict of Interests statement: The authors, hereby declare that they have no conflict of interests.

Data Availability statement: Apart from the references mentioned below, there is no associated data that was used for the preparation of this manuscript.