A view toward homomorphisms and cv-polynomials between double Ore extensions

María Camila Ramírez and Armando Reyes

arXiv: 2401.14162v1 · PDF · 25 January 2024
Categories: math.RA
Licence: CC BY 4.0 The site shows the text.

Abstract

Motivated by the theory of homomorphisms and cv-polynomials of Ore extensions formulated by several mathematicians, the rol of double Ore extensions introduced by Zhang and Zhang in the classification of Artin-Schelter regular algebras of dimension four, and that there are no inclusions between the classes of all double Ore extensions of an algebra and of all length two iterated Ore extensions of the same algebra, our aim in this paper is to present a first approach toward a theory of homomorphisms and cv-polynomials between double Ore extensions. We obtain several results on the characterizations of cv-polynomials and their relations with inner derivations of the ring of coefficients of the double algebra, and show that the computation of homomorphisms corresponding to these polynomials is non-trivial. We illustrate our results with different examples including Nakayama automorphisms of trimmed double Ore extensions.

Items 33

Definition

Definition 2.1 (; )

1L3H

Let R be a subalgebra of a \Bbbk-algebra B.

(a) B is called a right double Ore extension of R if the following conditions hold:
- (i) B is generated by R and two new indeterminates y_1 and y_2;
- (ii) y_1 and y_2 satisfy the relation
  y_2y_1 = p_{12}y_1y_2 + p_{11}y_1^2 + \tau_1y_1 + \tau_2y_2 + \tau_0,
  for some p_{12}, p_{11} \in \Bbbk and \tau_1, \tau_2, \tau_0 \in R;
- (iii) B is a free left R-module with basis \left\{y_1^{i}y_2^{j} \mid i, j \ge 0\right\}.
- (iv) y_1R + y_2R + R\subseteq Ry_1 + Ry_2 + R.
(b) A right double extension B of R is called a double extension if
1. (i) p_{12} \neq 0;
2. (ii) B is a free right R-module with basis \left\{ y_2^{i}y_1^{j}\mid i, j \ge 0\right\};
3. (iii) y_1R + y_2R + R = Ry_1 + Ry_2 + R.

Used by Proposition 2.2, Proposition 2.4, Proposition 2.5, Remark 2.6, Proposition 2.7, Proposition 2.8, Proposition 2.9, Proposition 2.10, Example 2.11, Definition 3.1, Definition 3.2, Definition 3.3, Theorem 3.11, Proof, Example 3.13, Theorem 3.15

Proposition

Proposition 2.2

IF0S

Let B = \Bbbk_P[y_1, y_2;\sigma', \delta', \tau']. Then B \cong \Bbbk[x_1] [x_2;\sigma_2, d_2] is an iterated Ore extension, where \sigma_2 is the algebra endomorphism of the polynomial ring \Bbbk[x_1] defined by \sigma_2(x_1) = p_{12}x_1 + \tau_2 and d_2 is the \sigma_2-derivation of \Bbbk[x_1] given by d_2(x_1) = p_{11}x_1^2 + \tau x_1 + \tau_0. Moreover, B is a double extension of \Bbbk if and only if p_{12} \neq 0.

Uses Definition 2.1 · Used by Example 2.11, Remark 3.17

Remark

Remark 2.3

PHJS

Let C = \Bbbk[y_1][y_2;\sigma_2, \delta_2] be as in Proposition 2.2. Then, for any \Bbbk-algebra R, we have R\otimes_{\Bbbk} C = R_P[y_1, y_2;\sigma, \delta, \tau], where

\sigma = \begin{bmatrix} {\rm id}_R & 0 \\ 0 & {\rm id}_R \end{bmatrix},\quad \delta = \begin{bmatrix} 0 \\ 0 \end{bmatrix}, \quad P = \{p_{12}, p_{11}\},\quad {\rm and}\quad \tau = \{\tau_0, \tau_1, \tau_2\}

are as in Proposition 2.2.

Proposition

Proposition 2.4

A43H

Given P = \{p_{12}, p_{11}\} and \tau = \{\tau_0, \tau_1, \tau_2\} subsets of \Bbbk, \sigma: R \to M_{2\times 2}(R) an algebra homomorphism, and \delta: R\to M_{2\times 1}(R) a \sigma-derivation, let C = \Bbbk[y_1][y_2;\sigma_2, d_2] be as in Proposition 2.2. Then, the following conditions are equivalent:

(1) The right double extension R_P[y_1, y_2; \sigma, \delta, \tau] exists.
(2) One can extend the multiplications from R and C to a multiplication in the vector space R\otimes_{\Bbbk} C, satisfying \begin{bmatrix} y_1 \\ y_2 \end{bmatrix} r = \sigma(r) \begin{bmatrix} y_1 \\ y_2 \end{bmatrix} + \delta(r), for all r\in R.

Uses Definition 2.1

Proposition

Proposition 2.5 (; )

2J7N

Given a \Bbbk-algebra R, let \sigma be a homomorphism from R to M_{2\times 2}(R), \delta a \sigma-derivation from R to M_{2\times 1}(R), P = \{p_{12}, p_{11}\} a set of elements of \Bbbk, and \tau = \{\tau_0, \tau_1, \tau_2\} a set of elements of R. Then, the associative \Bbbk-algebra B generated by R, y_1 and y_2 subject to the relations (2.1) and (?), is a right double extension if and only if the maps \sigma_{ij} and \rho_k, i\in \{1, 2\}, j, k \in \{0, 1, 2\}, satisfy the six relations (2.5) - (2.5) below, where \sigma_{i0} = \delta_i and \rho_k is a right multiplication by \tau_k:

\sigma_{21} \sigma_{11} + p_{11}\sigma_{22}\sigma_{11} = p_{11}\sigma_{11}^2 + p_{11}^2 \sigma_{12}\sigma_{11} + p_{12}\sigma_{11}\sigma_{21} + p_{11}p_{12}\sigma_{12}\sigma_{21},

\begin{aligned} \sigma_{21} \sigma_{12} + p_{12} \sigma_{22} \sigma_{11} = &\ p_{11} \sigma_{11} \sigma_{12} + p_{11}p_{12}\sigma_{12}\sigma_{11} + p_{12}\sigma_{11}\sigma_{22} + p_{12}^2\sigma_{12}\sigma_{21}, \\ \sigma_{22}\sigma_{12} = &\ p_{11} \sigma_{12}^2 + p_{12}\sigma_{12}\sigma_{22}, \\ \sigma_{20} \sigma_{11} + \sigma_{21}\sigma_{10} + \underline{\rho_1 \sigma_{22}\sigma_{11}} = &\ p_{11} (\sigma_{10} \sigma_{11} + \sigma_{11}\sigma_{10} + \rho_{1}\sigma_{12}\sigma_{11}) \\ &\ + p_{12} (\sigma_{10} \sigma_{21} + \sigma_{11} \sigma_{20} + \rho_1 \sigma_{12} \sigma_{21}) + \tau_1 \sigma_{11} + \tau_2 \sigma_{21}, \\ \sigma_{20} \sigma_{12} + \sigma_{22} \sigma_{10} + \underline{\rho_2 \sigma_{22} \sigma_{11}} = &\ p_{11} (\sigma_{10} \sigma_{12} + \sigma_{12}\sigma_{10} + \rho_{2} \sigma_{12} \sigma_{11}) \\ &\ +p_{12} (\sigma_{10} \sigma_{22} + \sigma_{12} \sigma_{20} + \rho_2 \sigma_{12} \sigma_{21}) + \tau_{1} \sigma_{12} + \tau_2 \sigma_{22}, \\ \sigma_{20} \sigma_{10} + \underline{\rho_0 \sigma_{22} \sigma_{11}} = &\ p_{11} (\sigma_{10}^2 + \rho_0 \sigma_{12} \sigma_{11}) + p_{12} (\sigma_{10} \sigma_{20} + \rho_0 \sigma_{12} \sigma_{21}) \\ &\ + \tau_1 \sigma_{10} + \tau_2 \sigma_{10} + \tau_0 {\rm id}_R. \end{aligned}

Uses Definition 2.1 · Used by Remark 2.6

Remark

Remark 2.6

K8UW

(1) Proposition 2.4 can be used to obtain a direct proof of Proposition 2.5.
(2) Proposition 2.5 implies the uniqueness, up to isomorphism, of a right double extension of R, with given \sigma, \delta, P and \tau, provided such an extension exists. Indeed, assume \overline{B} = R_P[y_1, y_2; \sigma, \delta, \tau] is a right double extension of R. Then, by [ZhangZhang2008, Lemmas 1.7 and 1.10(b)], the data \sigma, \delta, P and \tau satisfy the conditions of Proposition 2.5. Let B be as in this proposition. Then, there is an algebra homomorphism from B to \overline{B} which restricts to the identity on R and maps y_i\in B to the corresponding element y_i \in \overline{B}, i = 1, 2. Since B is a free left R-module with basis \left\{y_1^{i} y_2^{j} \mid i, j \ge 0\right\} and the same holds for \overline{B}, this map is an isomorphism, thus proving uniqueness.

Uses Proposition 2.5, Definition 2.1

Proposition

Proposition 2.7

Y2HU

Let B = R_P [y_1, y_2; \sigma, \delta, \tau] be a right double Ore extension.

(1) If p_{11} \neq 0 and p_{12} = 1, then
B\cong R_{\{1, 1\}} \left[ \overline{y}_1, \overline{y}_2; \begin{bmatrix} \sigma_{11} & p_{11} \sigma_{12} \\ p_{11}^{-1} \sigma_{21} & \sigma_{22} \end{bmatrix}, \begin{bmatrix} p_{11} \delta_1 \\ \delta_2 \end{bmatrix}, \overline{\tau} \right],
where \overline{\tau} = \{p_{11}\tau_0, \tau_1, p_{11} \tau_2\}, \overline{y}_1 = p_{11} y_1 and \overline{y}_2 = y_2.
(2) If p_{12} \neq 1, then
B\cong A_{\{p_{12}, 0\}} \left[ \overline{y}_1, \overline{y}_2; \begin{bmatrix} \sigma_{11} - q\sigma_{12} & \sigma_{12} \\ \sigma_{21} + q(\sigma_{11} - \sigma_{22}) - q^2\sigma_{12} & \sigma_{22} + q\sigma_{12} \end{bmatrix}, \begin{bmatrix} \delta_1 \\ \delta_2 + q\delta_1 \end{bmatrix}, \overline{\tau} \right],
where q = \frac{p_{11}}{p_{12} -1 }, \tau = \{\tau_0, \tau_1 - q\tau_2, \tau_2\}, \overline{y}_1 = y_1 and \overline{y}_2 = y_2 + qy_1.

Uses Definition 2.1

Proposition

Proposition 2.8

ZACM

Suppose that B = R_P[y_1, y_2; \sigma, \delta, \tau] is a right double Ore extension of R, with p_{12} \neq 1. Then, there exists a filtration on B such that the associated graded algebra G(B) can be presented as follows: G(B) is generated over R by indeterminates z_1, z_2; it is free as a left R-module with basis \{z_1^{i} z_2^{j} \mid i, j \ge 0\}; multiplication in G(B) is given by multiplication in R and the conditions z_2 z_1 = p_{12} z_1 z_2 and z_1R + z_2R \subseteq Rz_1 + Rz_2, with \begin{bmatrix} z_1 \\ z_2 \end{bmatrix} r = \overline{\sigma}(r) \begin{bmatrix} z_1 \\ z_2 \end{bmatrix}, where \overline{\sigma} is obtained from \sigma and q = \frac{p_{11}}{p_{12} - 1} as in Proposition 2.7 (2).

Furthermore, in case B is a double Ore extension, then G(B) is also free as a right R-module with basis \{z_2^{i} z_1^{j} \mid i, j \ge 0\} and z_1 R + z_2 R = Rz_1 + Rz_2.

Uses Definition 2.1

Proposition

Proposition 2.9

U58W

Let R, B be \Bbbk-algebras such that B is an extension of R. Assume P = \{p_{12}, p_{11}\} \subseteq \Bbbk, \tau = \{\tau_0, \tau_1, \tau_2\} \subseteq R, \sigma is an algebra homomorphism from R to M_{2}(R) and \delta is a \sigma-derivation from R to M_{2\times 1}(R).

(1) The following conditions are equivalent:
- (i) B = R_P[y_1, y_2; \sigma, \delta, \tau] is a right double extension of R which can be presented as an iterated Ore extension R[y_1;\sigma_1, d_1][y_2; \sigma_2, d_2];
- (ii) B = R_P[y_1, y_2; \sigma, \delta, \tau] is right double extension of R with \sigma_{12} = 0;
- (iii) R[y_1;\sigma_1, d_1][y_2; \sigma_2, d_2] is and iterated Ore extensions such that
  \begin{aligned} \sigma_2(R) \subseteq (R)&, \ \ \ \sigma_2(y_1)= p_{12}y_1 + \tau_2, \\ d_2(R) \subseteq Ry_1 + R&, \ \ \ d_2(y_1) = p_{11}y^2_1 + \tau_1y_1 + \tau_0, \end{aligned}
  for some p_{ij} \in \Bbbk and \tau_i \in R. The maps \sigma, \delta, \sigma_i and \delta_i, i = 1,2, are related by
  \sigma=\begin{bmatrix} \sigma_{1} & 0 \\ \sigma_{21} & \sigma_{2}|_R \end{bmatrix}, \ \ \ \delta(a)= \begin{bmatrix} d_1(a)\\ d_2(r) - \sigma_{21}(a)y_1 \end{bmatrix}, \ \ \ \text{for all} \ a \in R.
(2) If one of the equivalent statements from (1) holds, then B is a double extension of R if and only if \sigma_1 = \sigma_{11} and \sigma_2|_R = \sigma_{22} are automorphisms of R and p_{12} \neq 0.

Uses Definition 2.1 · Used by Example 2.11, Remark 3.17

Proposition

Proposition 2.10

3VXC

Let B = R_P[y_1, y_2; \sigma, \delta, \tau] be a right double extension of the \Bbbk-algebra R, where P = \{p_{12}, p_{11}\} \in \Bbbk, \tau = \{\tau_2, \tau_1, \tau_0\} \subseteq R, \sigma: R \to M_2(R) is an algebra homomorphism and \delta: R \to M_{2 \times 1}(R) is a \sigma-derivation. Then, B can be presented as an iterated Ore extension R[y_2; \sigma'_2, d'_2][y_1; \sigma'_1, d'_1] if and only if \sigma_{21} = 0, p_{12} \neq 0 and p_{11} = 0. In this case, B is a double extension if and only if \sigma'_2 = \sigma_{22} and \sigma'_1|_R = \sigma_{11} are automorphisms of R.

Uses Definition 2.1

Example

Example 2.11

XVRA

Let B = (\Bbbk_Q[x_1,x_2])_P[y_1, y_2; \sigma, \delta, \tau] be the right double Ore extension generated by x_1, x_2, y_1, y_2 subjected to the relations

\begin{aligned} x_2x_1 & = x_1x_2 + x_1^2, & y_2y_1 & = y_1y_2 + y_1^2,\\ y_1x_1 & = fx_1y_1, & y_1x_2 & = gx_1y_1 + fx_2y_1,\\ y_2x_1 & = hx_1y_1 + fx_1y_2, & y_2x_2 & = mx_1y_1 + hx_2y_1 + gx_1y_2 + fx_2y_2, \end{aligned}

where f, g, h, m \in \Bbbk and f \neq 0. Note that in the relations

y_1x_1 = \sigma_{11}(x_1)y_1 + \sigma_{12}(x_1)y_2,\quad {\rm and} \quad y_1x_2 = \sigma_{11}(x_2)y_1 + \sigma_{12}(x_2)y_2,

we have \sigma_{12}(-) = 0. Hence, in this case, B = R_P[y_1, y_2; \sigma, \delta, \tau] is a right double extension of R with \sigma_{12} = 0. By Proposition 2.9(ii), B can be presented as the two-step iterated Ore extension R[y_1;\sigma_1, d_1][y_2; \sigma_2, d_2].

Uses Definition 2.1, Proposition 2.9, Proposition 2.2

Definition

Definition 3.1

MFPF

Let B' = R_{P'}[y'_1, y'_2; \sigma', \delta', \tau'] and B = R_P [y_1, y_2; \sigma, \delta, \tau ] be right double extensions of R. Consider the map \phi: B' \to B given by

\phi\left(\sum_{i,j} a_{i,j}y^{'n(i)}_{1}y^{'m(j)}_{2}\right) = \sum_{i,j} a_{i,j}q_1^{n(i)}q_2^{m(j)}, \quad \text{with} \ q_1, q_2 \in B.

If we want \phi to be an R-homomorphism, it must satisfies

\phi(y_2'y_1') = \phi(y_2')\phi(y_1') = q_2q_1,

and given the relation (2.1), necessarily

\begin{aligned} \phi(y'_2y'_1) &= \phi(p'_{12}y'_1y'_2 + p'_{11}y_1^{'2} + \tau'_1y'_1 + \tau'_2y'_2 + \tau'_0)\\ & = p'_{12}q_1q_2 + p'_{11}q_1^2 + \tau'_1q_1 + \tau'_2q_2 + \tau'_0. \end{aligned}

In this way, the relation

q_2q_1 = p'_{12}q_1q_2 + p'_{11}q_1^2 + \tau'_1q_1+ \tau'_2q_2 + \tau'_0

must be satisfied. These facts motivate the following definition. Let B^{\oplus2} := \begin{bmatrix} B \\ B \end{bmatrix}.

Uses Definition 2.1 · Used by Proof

Definition

Definition 3.2

2K16

Let B' = R_{P'}[y'_1, y'_2; \sigma', \delta', \tau'] and B = R_P [y_1, y_2; \sigma, \delta, \tau ] be right double extensions of R. We define the map \varphi: B^{'\oplus2} \to B^{\oplus2}, a homomorphism in terms of \phi (Definition 3.1), as

\varphi\begin{bmatrix} y'_1\\ y'_2 \end{bmatrix}:= \begin{bmatrix} \phi(y'_1)\\ \phi(y'_2) \end{bmatrix} = \begin{bmatrix} q_1\\ q_2 \end{bmatrix},

such that condition

\varphi\left(\begin{bmatrix} y'_1\\ y'_2 \end{bmatrix}r\right) = \varphi\begin{bmatrix} y'_1\\ y'_2 \end{bmatrix}\varphi(r) = \begin{bmatrix} \phi(y'_1)\\ \phi(y'_2) \end{bmatrix} r = \begin{bmatrix} q_1\\ q_2 \end{bmatrix}r,\quad r\in R,

holds.

On the other hand, since

\varphi\left(\begin{bmatrix} y'_1\\ y'_2 \end{bmatrix}r\right) = \varphi \left( \sigma'(r)\begin{bmatrix} y'_1\\ y'_2 \end{bmatrix} + \delta'(r) \right) = \sigma'(r)\begin{bmatrix} \phi(y'_1)\\ \phi(y'_2) \end{bmatrix} + \delta'(r) = \sigma'(r)\begin{bmatrix} q_1\\ q_2 \end{bmatrix} + \delta'(r).

it is necessary that for any r \in R,

\begin{bmatrix} q_1\\ q_2 \end{bmatrix} r = \sigma'(r)\begin{bmatrix} q_1\\ q_2 \end{bmatrix} + \delta'(r).

Equivalently,

q_1r = \sigma'_{11}(r)q_1 + \sigma'_{12}(r)q_2 + \delta'_1(r)\quad {\rm and}\quad q_2r = \sigma'_{21}(r)q_1 + \sigma'_{22}(r)q_2 + \delta'_2(r),

which allows us to say that the polynomials q_i’s (i = 1, 2) are the cv-polynomials respect to (\sigma', \delta').

Uses Definition 2.1 · Used by Proof, Proof

Definition

Definition 3.3

2URD

Let B' = R_{P'}[y'_1, y'_2; \sigma', \delta', \tau'] and B = R_P [y_1, y_2; \sigma, \delta, \tau ] be right double extensions of R. A matrix \begin{bmatrix} q_1\\ q_2 \end{bmatrix} \in B^{\oplus 2} satisfying \begin{bmatrix} q_1\\ q_2 \end{bmatrix} r = \sigma'(r)\begin{bmatrix} q_1\\ q_2 \end{bmatrix} + \delta'(r), with q_1 and q_2 subject to the relation (?), is called a double-change-of-variable matrix (or dcv-matrix) respect to (\sigma', \delta').

Uses Definition 2.1 · Used by Example 3.4, Example 3.6, Example 3.7, Theorem 3.10, Proof, Theorem 3.11, Theorem 3.12, Proof, Example 3.13, Example 3.14

Example

Example 3.4

TLH3

Let B' = R_{P'}[y'_1, y'_2; \sigma', \delta', \tau'] and B = R_P [y_1, y_2; \sigma, \delta, \tau ] be right double extensions of R. Consider \varphi: B^{'\oplus 2} \to B^{\oplus 2} given by

\varphi\begin{bmatrix} y'_1\\ y'_2 \end{bmatrix}:= \begin{bmatrix} \phi(y'_1)\\ \phi(y'_2) \end{bmatrix} = \begin{bmatrix} q_1\\ q_2 \end{bmatrix} = \begin{bmatrix} a_2y_ 1^2+ a_0\\ c \end{bmatrix},

with a_2 \in R^* and a_0, c \in R. Let us find the conditions that guarantee that polynomials q_1 and q_2 satisfy relation (?). Since

\phi(y'_2y'_1) = q_2q_1 = c(a_2y_1^2 + a_0) = ca_2y_1^2 + ca_0,

and

\begin{aligned} \phi(p'_{12}y_1'y_2' + p'_{11}y_1^{'2} + \tau'_1y_1'+ \tau'_2y'_2 + \tau'_0) &= p'_{12}(a_2y_1^2 + a_0)c + p'_{11}(a_2y_1^2 + a_0)^2\\ &\ \ + \tau'_1(a_2y_1^2 + a_0)+ \tau'_2c + \tau'_0, \end{aligned}

let p'_{12} = p'_{11} = \tau'_2 = \tau'_0 = 0, \tau'_1 = c. Then \phi(y'_2y'_1) = \phi(p'_{12}y'_1y'_2 + p'_{11}y_1^{'2} + \tau'_1y'_1+ \tau'_2y'_2 + \tau'_0) as desired.

Let us see that condition (?) holds. Consider

\begin{aligned} \sigma'(r) = &\ \begin{bmatrix} \sigma'_{11} (r) = a_2\sigma_{11}^2(r)a_2^{-1} & 0 \\ 0 & \sigma'_{22}(r) \end{bmatrix}, \quad {\rm and}\\ \delta'(r) = &\ \begin{bmatrix} \delta'_1(r) = (a_2\delta_1^2 + \delta_{1(a_0,\sigma'_{11})})(r)\\ \delta'_2(r) = (\delta_{2(c,\sigma'_{22})})(r) \end{bmatrix}. \end{aligned}

Then

\begin{aligned} \begin{bmatrix} q_1\\ q_2 \end{bmatrix} r &= \begin{bmatrix} a_2y_1^2 + a_0 \\ c \end{bmatrix} r = \begin{bmatrix} a_2y_1^2r + a_0r\\ cr \end{bmatrix} = \begin{bmatrix} a_2y_1^2r \\ 0 \end{bmatrix} + \begin{bmatrix} a_0r \\ cr \end{bmatrix}\\ &= \begin{bmatrix} a_2y_1[\sigma_{11}(r)y_1 + \sigma_{12}(r)y_2 + \delta_1(r)] \\ 0 \end{bmatrix} + \begin{bmatrix} a_0r \\ cr \end{bmatrix}\\ &= \begin{bmatrix} a_2y_1\sigma_{11}(r)y_1 + a_2y_1\sigma_{12}(r)y_2 + a_2y_1\delta_1(r) \\ 0 \end{bmatrix} + \begin{bmatrix} a_0r \\ cr \end{bmatrix}\\ &= \begin{bmatrix} a_2[\sigma_{11}^2(r)y_1^2 + \sigma_{12}(\sigma_{11}(r))y_2y_1 + \delta_1(\sigma_{11}(r))y_1]\\ + a_2[\sigma_{11}(\sigma_{12}(r))y_1y_2 + \sigma_{12}^2(r)y_2^2 + \delta_1(\sigma_{12}(r))y_2]\\ + a_2[\sigma_{11}(\delta_1(r))y_1 + \sigma_{12}(\delta_1(r))y_2 + \delta_1^2(r)] \\ 0 \end{bmatrix} + \begin{bmatrix} a_0r \\ cr \end{bmatrix}.\\ \end{aligned}

Besides, if \sigma_{12} = \sigma_{21} = 0 and \sigma_{11}\delta_1 = - \delta_1\sigma_{11},

\begin{aligned} \begin{bmatrix} q_1\\ q_2 \end{bmatrix} r &= \begin{bmatrix} a_2\sigma_{11}^2(r)y_1^2 + a_2\delta_1(\sigma_{11}(r))y_1\\ + a_2\sigma_{11}(\delta_1(r))y_1 + \delta_1^2(r) \\ 0 \end{bmatrix} + \begin{bmatrix} a_0r \\ cr \end{bmatrix}\\ &= \begin{bmatrix} a_2\sigma_{11}^2(r)y_1^2 + \delta_1^2(r) \\ 0 \end{bmatrix} + \begin{bmatrix} a_0r \\ cr \end{bmatrix}, \end{aligned}

and

\begin{aligned} \sigma'(r)\begin{bmatrix} q_1\\ q_2 \end{bmatrix} + \delta'(r) &= \sigma'(r)\begin{bmatrix} a_2y_1^2 +a_0\\ c \end{bmatrix} + \delta'(r)\\ &= \begin{bmatrix} \sigma'_{11}(r) & \sigma'_{12}(r) \\ \sigma'_{21}(r) & \sigma'_{22}(r) \end{bmatrix} \begin{bmatrix} a_2y_1^2 +a_0\\ c \end{bmatrix} +\begin{bmatrix} \delta'_1(r)\\ \delta'_2(r)\end{bmatrix}\\ &= \begin{bmatrix} a_2\sigma_{11}^2(r)a_2^{-1} & 0 \\ 0 & \sigma'_{22}(r) \end{bmatrix} \begin{bmatrix} a_2y_1^2 +a_0\\ c \end{bmatrix} + \begin{bmatrix} (a_2\delta_1^2 + \delta_{1(a_0,\sigma'_{11})})(r)\\ (\delta_{2(c,\sigma'_{22})})(r) \end{bmatrix}\\ &= \begin{bmatrix} a_2\sigma_{11}^2(r)a_2^{-1}a_2y_1^2 + a_2\sigma_{11}^2(r)a_2^{-1}a_0\\ \sigma'_{22}(r)c \end{bmatrix} + \begin{bmatrix} a_2\delta_1^2(r) + a_0r -a_2\sigma_{11}^2(r)a_2^{-1}a_0\\ cr - \sigma'_{22}(r)c\end{bmatrix}\\ &= \begin{bmatrix} a_2\sigma_{11}^2(r)y_1^2 + \delta_1^2(r) \\ 0 \end{bmatrix} + \begin{bmatrix} a_0r \\ cr \end{bmatrix}, \end{aligned}

we get \begin{bmatrix} q_1\\ q_2 \end{bmatrix} r = \sigma'(r)\begin{bmatrix} q_1\\ q_2 \end{bmatrix} + \delta'(r), i.e., \begin{bmatrix} q_1\\ q_2 \end{bmatrix} = \begin{bmatrix} a_2y_1^2 +a_0\\ c \end{bmatrix} is a dcv-matrix respect to (\sigma', \delta').

Uses Definition 3.3

Example

Example 3.5

EKT5

Table ? presents some possibilities of polynomials by considering q_2 as a constant. We formulate conditions to obtain dcv-matrices.

Example

Example 3.6

ESN2

Let B' = R_{P'}[y'_1, y'_2; \sigma', \delta', \tau'] and B = R_P [y_1, y_2; \sigma, \delta, \tau ] be right double extensions of R. Let \varphi: B^{'\oplus 2} \to B^{\oplus 2} given by

\varphi\begin{bmatrix} y'_1\\ y'_2 \end{bmatrix}:= \begin{bmatrix} \phi(y'_1)\\ \phi(y'_2) \end{bmatrix} = \begin{bmatrix} q_1\\ q_2 \end{bmatrix} = \begin{bmatrix} ay_1 +c\\ by_2 +c \end{bmatrix},

with a, b \in R^{*}, \ c\in R, and a, b belonging to the center of R. Consider the conditions p'_{12} = 0, \ p'_{11} = ba^{-1}, \ p_{12} = 1, \sigma_{11} = \sigma_{21},\ \sigma_{12} = \sigma_{22},\ \delta_{1} = \delta_{2},\ \tau'_1 = c - bca^{-1}, \tau'_2 = 0, \tau'_0 = 0.

Note that

\begin{aligned} \phi(y'_2y'_1) & = q_2q_1 = (by_2 + c)(ay_1 + c) = by_2ay_1 + by_2c + cay_1 + c^2\\ & = b[\sigma_{21}(a)y_1 + \sigma_{22}(a)y_2 + \delta_2(a)]y_1 \\ &\ \ + b[\sigma_{21}(c)y_1 + \sigma_{22}(c)y_2 + \delta_2(c)] + cay_1 + c^2\\ & = b\sigma_{21}(a)y_1^2 + b\sigma_{22}(a)y_2y_1 + b\delta_2(a)y_1 + b\sigma_{21}(c)y_1 \\ &\ \ + b\sigma_{22}(c)y_2 + b\delta_2(c) + cay_1 + c^2\\ & = b\sigma_{21}(a)y_1^2 + b\sigma_{22}(a)[p_{12}y_1y_2 + p_{11}y_1^2 + \tau_1y_1 + \tau_2y_2 + \tau_0] \\ &\ \ + b\delta_2(a)y_1 + b\sigma_{21}(c)y_1 + b\sigma_{22}(c)y_2 + b\delta_2(c) + cay_1 + c^2, \\ & = p_{12}b\sigma_{22}(a)y_1y_2 + [b\sigma_{21}(a) + p_{11}b\sigma_{22}(a)]y_1^2 \\ & \ \ + [\tau_1b\sigma_{22}(a) + b\delta_2(a) + b\sigma_{21}(c) + ca]y_1\\ &\ \ + [\tau_2b\sigma_{22}(a) + b\sigma_{22}(c)]y_2 + [\tau_0b\sigma_{22}(a) + b\delta_2(c) + c^2], \end{aligned}

Landscape.

The paper has a table here, which this page does not show.

and by the above conditions,

\begin{aligned} \phi(y'_2y'_1) = q_2q_1 &= b\sigma_{12}(a)y_1y_2 + [b\sigma_{11}(a) + p_{11}b\sigma_{12}(a)]y_1^2 \\ &\ \ + [\tau_1b\sigma_{12}(a) + b\delta_1(a) + b\sigma_{11}(c) + ca]y_1\\ &\ \ + [\tau_2b\sigma_{12}(a) + b\sigma_{12}(c)]y_2 + [\tau_0b\sigma_{12}(a) + b\delta_1(c) + c^2]. \end{aligned}

On the other hand,

Again, by the conditions described above,

\begin{aligned} & \phi(p'_{12}y_1'y_2' + p'_{11}y_1^{'2} + \tau'_1y_1'+ \tau'_2y'_2 + \tau'_0)\\ & = [ba^{-1}a\sigma_{12}(a)]y_1y_2 + [ba^{-1}a\sigma_{11}(a) + ba^{-1}p_{11}a\sigma_{12}(a)]y_1^2\\ &\ \ + [ ba^{-1}a\sigma_{12}(a)\tau_1 + ba^{-1}a\delta_1(a) + ba^{-1}a\sigma_{11}(c) + ba^{-1}ca + (c - bca^{-1})a]y_1\\ &\ \ + [ ba^{-1}a\sigma_{12}(a)\tau_2 + ba^{-1}a\sigma_{12}(c)]y_2 \\ &\ \ + [ba^{-1}a\sigma_{12}(a)\tau_0 + ba^{-1}a\delta_1(c) + ba^{-1}c^2 + (c - bca^{-1})c ]\\ &= b\sigma_{12}(a)y_1y_2 + [b\sigma_{11}(a) + p_{11}b\sigma_{12}(a)]y_1^2 + [\tau_1b\sigma_{12}(a) + b\delta_1(a) + b\sigma_{11}(c) + ca]y_1\\ &\ \ + [ \tau_2b\sigma_{12}(a) + b\sigma_{12}(c)]y_2 + [\tau_0b\sigma_{12}(a) + ba\delta_1(c)+ c^2]. \end{aligned}

These equalities show that \phi(y'_2y'_1) = \phi(p'_{12}y'_1y'_2 + p'_{11}y_1^{'2} + \tau'_1y'_1+ \tau'_2y'_2 + \tau'_0), i.e., the polynomials q_1 and q_2 satisfy (?).

With the aim of showing that condition (?) holds, consider

\sigma'(r)=\begin{bmatrix} \sigma_a(\sigma_{11}(r)) & \sigma_b(\sigma_{12}(r)) \\ \sigma_a( \sigma_{21}(r)) & \sigma_b(\sigma_{22}(r)) \end{bmatrix} \ \text{and}\ \delta'(r)= \begin{bmatrix} (a\delta_1 + \delta_{c,\sigma'_{1}})(r)\\ (b\delta_2 + \delta_{c,\sigma'_{2}})(r) \end{bmatrix},

where

\delta_{c,\sigma'_{i}}(r) = \begin{cases} cr - [a\sigma_{11}(r)a^{-1}c + b\sigma_{12}(r)b^{-1}c], \quad \text{if}\ \ i=1\\ cr - [a\sigma_{21}(r)a^{-1}c + b\sigma_{22}(r)b^{-1}c], \quad \text{if}\ \ i=2. \end{cases}

Since

\begin{aligned} \begin{bmatrix} q_1\\ q_2 \end{bmatrix} r &= \begin{bmatrix} q_1r\\ q_2r \end{bmatrix} = \begin{bmatrix} (ay_1 + c)r\\ (by_2+c)r \end{bmatrix} = \begin{bmatrix} ay_1r \\ by_2r \end{bmatrix} + \begin{bmatrix} cr \\ cr \end{bmatrix} \\ &= \begin{bmatrix} a[\sigma_{11}(r)y_1 + \sigma_{12}(r)y_2 + \delta_1(r)] \\ b[\sigma_{21}(r)y_1 + \sigma_{22}(r)y_2 + \delta_2(r)] \end{bmatrix} + \begin{bmatrix} cr \\ cr \end{bmatrix} \\ &= \begin{bmatrix} \sigma_{11}(r) & \sigma_{12}(r) \\ \sigma_{21}(r) & \sigma_{22}(r) \end{bmatrix}\begin{bmatrix} ay_1\\ by_2 \end{bmatrix} + \begin{bmatrix} a\delta_1(r)\\ b\delta_2(r) \end{bmatrix} + \begin{bmatrix} cr\\ cr\end{bmatrix}, \end{aligned}

and,

\begin{aligned} \sigma'(r)\begin{bmatrix} q_1\\ q_2 \end{bmatrix} + \delta'(r) &= \sigma'(r)\begin{bmatrix} ay_1 +c\\ by_2 +c \end{bmatrix} + \delta'(r) = \sigma'(r)\begin{bmatrix} ay_1\\ by_2 \end{bmatrix} + \sigma'(r)\begin{bmatrix} c\\ c \end{bmatrix} + \delta'(r)\\ &= \begin{bmatrix} \sigma_a(\sigma_{11}(r)) & \sigma_b(\sigma_{12}(r)) \\ \sigma_a( \sigma_{21}(r)) & \sigma_b(\sigma_{22}(r)) \end{bmatrix}\begin{bmatrix} ay_1\\ by_2 \end{bmatrix} + \begin{bmatrix} \sigma_a(\sigma_{11}(r)) & \sigma_b(\sigma_{12}(r)) \\ \sigma_a( \sigma_{21}(r)) & \sigma_b(\sigma_{22}(r)) \end{bmatrix} \begin{bmatrix} c\\ c \end{bmatrix}\\ &\ \ + \begin{bmatrix} (a\delta_1 + \delta_{c,\sigma'_{1}})(r)\\ (b\delta_2 + \delta_{c,\sigma'_{2}})(r) \end{bmatrix}\\ &= \begin{bmatrix} a\sigma_{11}(r)a^{-1}ay_1 + b\sigma_{12}(r)b^{-1}by_2\\ a\sigma_{21}(r)a^{-1}ay_1 + b\sigma_{22}(r)b^{-1}by_2 \end{bmatrix} + \begin{bmatrix} a\sigma_{11}(r)a^{-1}c + b\sigma_{12}(r)b^{-1}c\\ a\sigma_{21}(r)a^{-1}c + b\sigma_{22}(r)b^{-1}c \end{bmatrix}\\ &\ \ + \begin{bmatrix} a\delta_1(r) + cr - [a\sigma_{11}(r)a^{-1}c + b\sigma_{12}(r)b^{-1}c] \\ b\delta_2(r) + cr - [a\sigma_{21}(r)a^{-1}c + b\sigma_{22}(r)b^{-1}c] \end{bmatrix}\\ &= \begin{bmatrix} a\sigma_{11}(r)y_1 + b\sigma_{12}(r)y_2\\ a\sigma_{21}(r)y_1 + b\sigma_{22}(r)y_2 \end{bmatrix} + \begin{bmatrix} a\delta_1(r) + cr \\ b\delta_2(r) + cr \end{bmatrix}\\ &= \begin{bmatrix} \sigma_{11}(r) & \sigma_{12}(r) \\ \sigma_{21}(r) & \sigma_{22}(r) \end{bmatrix}\begin{bmatrix} ay_1\\ by_2 \end{bmatrix} + \begin{bmatrix} a\delta_1(r)\\ b\delta_2(r) \end{bmatrix} + \begin{bmatrix} cr\\ cr\end{bmatrix}, \end{aligned}

we obtain \begin{bmatrix} q_1\\ q_2 \end{bmatrix} r = \sigma'(r)\begin{bmatrix} q_1\\ q_2 \end{bmatrix} + \delta'(r), and hence \begin{bmatrix} q_1\\ q_2 \end{bmatrix} = \begin{bmatrix} ay_1 +c\\ by_2 +c \end{bmatrix} is a dcv-matrix respect to (\sigma', \delta').

Uses Definition 3.3

Example

Example 3.7

8E73

Let B' = R_{P'}[y'_1, y'_2; \sigma', \delta', \tau'] and B = R_P [y_1, y_2; \sigma, \delta, \tau ] be right double extensions of R. Let \varphi: B^{'\oplus 2} \to B^{\oplus 2} given by

\varphi\begin{bmatrix} y'_1\\ y'_2 \end{bmatrix}:= \begin{bmatrix} \phi(y'_1)\\ \phi(y'_2) \end{bmatrix} = \begin{bmatrix} q_1\\ q_2 \end{bmatrix} = \begin{bmatrix} a_1y_1 + a_0\\ b_1y_2 +b_0 \end{bmatrix},

with a_1, b_1 \in R^* and a_0, b_0\in R. Consider the conditions,

\begin{aligned} p'_{12} &= 0; \quad p'_{11} = b_1a_1^{-1},\quad \tau'_1 = b_0 - b_1a_1^{-1}a_0; \quad \tau'_2 = 0; \quad \tau'_0 = b_0a_0 - b_1a_1^{-1}a_0^2\\ \sigma_{11} &= \sigma_{21}; \quad \sigma_{12} = \sigma_{22}; \quad \delta_{1} = \delta_{2}. \end{aligned}

Note that

\begin{aligned} &\phi(p'_{12}y_1'y_2' + p'_{11}y_1^{'2} + \tau'_1y_1'+ \tau'_2y'_2 + \tau'_0)\\ &= p'_{12}q_1q_2 + p'_{11}q_1^2 + \tau'_1q_1+ \tau'_2q_2 + \tau'_0\\ &= p'_{12}(a_1y_1 + a_0)(b_1y_2 + b_0) + p'_{11}(a_1y_1 + a_0)^2 + \tau'_1(a_1y_1 + a_0) + \tau'_2(b_1y_2 + b_0) + \tau'_0\\ &= p'_{12}[a_1y_1b_1y_2 + a_1y_1b_0 + a_0b_1y_2 + a_0b_0] + p'_{11}[a_1y_1a_1y_1 + a_1y_1a_0 + a_0a_1y_1 + a_0^2]\\ &\ \ + \tau'_1a_1y_1 + \tau'_1a_0 + \tau'_2b_1y_2 + \tau'_2b_0 + \tau'_0\\ &= p'_{12}a_1[\sigma_{11}(b_1)y_1 + \sigma_{12}(b_1)y_2 + \delta_1(b_1)]y_2 + p'_{12}a_1[\sigma_{11}(b_0)y_1 + \sigma_{12}(b_0)y_2 + \delta_1(b_0)]\\ &\ \ + p'_{12}a_0b_1y_2 + p'_{12}a_0b_0 + p'_{11}a_1[\sigma_{11}(a_1)y_1 + \sigma_{12}(a_1)y_2 + \delta_1(a_1)]y_1\\ &\ \ + p'_{11}a_1[\sigma_{11}(a_0)y_1 + \sigma_{12}(a_0)y_2 + \delta_1(a_0)] + p'_{11}a_0a_1y_1 + p'_{11}a_0^2\\ &\ \ + \tau'_1a_1y_1 + \tau'_1a_0 + \tau'_2b_1y_2 + \tau'_2b_0 + \tau'_0\\ &= p'_{12}a_1\sigma_{11}(b_1)y_1y_2 + p'_{12}a_1\sigma_{12}(b_1)y^2_2 + p'_{12}a_1\delta_1(b_1)y_2 + p'_{12}a_1\sigma_{11}(b_0)y_1 \\ &\ \ + p'_{12}a_1\sigma_{12}(b_0)y_2 + p'_{12}a_1\delta_1(b_0) + p'_{12}a_0b_1y_2 + p'_{12}a_0b_0 + p'_{11}a_1\sigma_{11}(a_1)y^2_1\\ &\ \ + p'_{11}a_1\sigma_{12}(a_1)y_2y_1 + p'_{11}a_1\delta_1(a_1)y_1 + p'_{11}a_1\sigma_{11}(a_0)y_1 + p'_{11}a_1\sigma_{12}(a_0)y_2\\ &\ \ + p'_{11}a_1\delta_1(a_0) + p'_{11}a_0a_1y_1 + p'_{11}a_0^2 + \tau'_1a_1y_1 + \tau'_1a_0 + \tau'_2b_1y_2 + \tau'_2b_0 + \tau'_0\\ &= p'_{12}a_1\sigma_{11}(b_1)y_1y_2 + p'_{12}a_1\sigma_{12}(b_1)y^2_2 + p'_{12}a_1\delta_1(b_1)y_2\\ &\ \ + p'_{12}a_1\sigma_{11}(b_0)y_1 + p'_{12}a_1\sigma_{12}(b_0)y_2 + p'_{12}a_1\delta_1(b_0)\\ &\ \ + p'_{12}a_0b_1y_2 + p'_{12}a_0b_0 + p'_{11}a_1\sigma_{11}(a_1)y^2_1\\ &\ \ + p'_{11}a_1\sigma_{12}(a_1)p_{12}y_1y_2 + p'_{11}a_1\sigma_{12}(a_1)p_{11}y_1^2 + p'_{11}a_1\sigma_{12}(a_1)\tau_1y_1\\ &\ \ + p'_{11}a_1\sigma_{12}(a_1)\tau_2y_2 + p'_{11}a_1\sigma_{12}(a_1)\tau_0 + p'_{11}a_1\delta_1(a_1)y_1\\ &\ \ + p'_{11}a_1\sigma_{11}(a_0)y_1 + p'_{11}a_1\sigma_{12}(a_0)y_2 + p'_{11}a_1\delta_1(a_0) + p'_{11}a_0a_1y_1 + p'_{11}a_0^2\\ &\ \ + \tau'_1a_1y_1 + \tau'_1a_0 + \tau'_2b_1y_2 + \tau'_2b_0 + \tau'_0\\ &= [p'_{12}a_1\sigma_{11}(b_1)+ p'_{11}a_1\sigma_{12}(a_1)p_{12}]y_1y_2 + [p'_{11}a_1\sigma_{11}(a_1)+ p'_{11}a_1\sigma_{12}(a_1)p_{11}]y_1^2\\ &\ \ + [p'_{12}a_1\sigma_{12}(b_1)]y_2^2\\ &\ \ + [p'_{12}a_1\sigma_{11}(b_0) + p'_{11}a_1\sigma_{12}(a_1)\tau_1+ p'_{11}a_1\delta_1(a_1)+ p'_{11}a_1\sigma_{11}(a_0)+ p'_{11}a_0a_1+ \tau'_1a_1]y_1\\ &\ \ + [p'_{12}a_1\delta_1(b_1)+ p'_{12}a_1\sigma_{12}(b_0)+p'_{12}a_0b_1 + p'_{11}a_1\sigma_{12}(a_1)\tau_2 +p'_{11}a_1\sigma_{12}(a_0)+\tau'_2b_1]y_2\\ &\ \ + [p'_{12}a_1\delta_1(b_0)+p'_{12}a_0b_0+p'_{11}a_1\sigma_{12}(a_1)\tau_0 + p'_{11}a_1\delta_1(a_0) + p'_{11}a_0^2 + \tau'_1a_0\tau'_2b_0 + \tau'_0]. \end{aligned}

On the other hand,

\begin{aligned} \phi(y'_2y'_1) = q_2q_1 &= (b_1y_2 + b_0)(a_1y_1 + a_0) = b_1y_2a_1y_1 + b_1y_2a_0 + b_0a_1y_1 + b_0a_0\\ &= b_1[\sigma_{21}(a_1)y_1 + \sigma_{22}(a_1)y_2 + \delta_2(a_1)]y_1 \\ &\ \ + b_1[\sigma_{21}(a_0)y_1 + \sigma_{22}(a_0)y_2 + \delta_2(a_0)] + b_0a_1y_1 + b_0a_0\\ &= b_1\sigma_{21}(a_1)y^2_1 + b_1\sigma_{22}(a_1)y_2y_1 + b_1\delta_2(a_1)y_1\\ &\ \ + b_1\sigma_{21}(a_0)y_1 + b_1\sigma_{22}(a_0)y_2 + b_1\delta_2(a_0) + b_0a_1y_1 + b_0a_0\\ &= b_1\sigma_{21}(a_1)y^2_1 + b_1\sigma_{22}(a_1)[p_{12}y_1y_2 + p_{11}y^2_1 + \tau_1y_1 + \tau_2y_2 + \tau_0] \\ &\ \ +b_1\delta_2(a_1)y_1 + b_1\sigma_{21}(a_0)y_1 + b_1\sigma_{22}(a_0)y_2 + b_1\delta_2(a_0) + b_0a_1y_1 + b_0a_0, \end{aligned}

or equivalently,

\begin{aligned} q_2q_1 &= b_1\sigma_{21}(a_1)y^2_1 + b_1\sigma_{22}(a_1)p_{12}y_1y_2 + b_1\sigma_{22}(a_1)p_{11}y^2_1 + b_1\sigma_{22}(a_1)\tau_1y_1 \\ & \ \ + b_1\sigma_{22}(a_1)\tau_2y_2 + b_1\sigma_{22}(a_1)\tau_0 +b_1\delta_2(a_1)y_1 + b_1\sigma_{21}(a_0)y_1\\ &\ \ + b_1\sigma_{22}(a_0)y_2 + b_1\delta_2(a_0) + b_0a_1y_1 + b_0a_0\\ &= [b_1\sigma_{22}(a_1)p_{12}]y_1y_2 + [b_1\sigma_{21}(a_1)+ b_1\sigma_{22}(a_1)p_{11}]y_1^2\\ &\ \ + [b_1\sigma_{22}(a_1)\tau_1 + b_1\delta_2(a_1)+ b_1\sigma_{21}(a_0)+ b_0a_1]y_1\\ &\ \ + [b_1\sigma_{22}(a_1)\tau_2 + b_1\sigma_{22}(a_0)]y_2 + [b_1\sigma_{22}(a_1)\tau_0 + b_1\delta_2(a_0) + b_0a_0]. \end{aligned}

Using the conditions described above,

\begin{aligned} \phi(y'_2y'_1) &= [b_1\sigma_{22}(a_1)p_{12}]y_1y_2 + [b_1\sigma_{21}(a_1)+ b_1\sigma_{22}(a_1)p_{11}]y_1^2\\ &\ \ + [b_1\sigma_{22}(a_1)\tau_1 + b_1\delta_2(a_1)+ b_1\sigma_{21}(a_0)+ b_0a_1]y_1\\ &\ \ + [b_1\sigma_{22}(a_1)\tau_2 + b_1\sigma_{22}(a_0)]y_2 + [b_1\sigma_{22}(a_1)\tau_0 + b_1\delta_2(a_0) + b_0a_0]\\ &= [b_1\sigma_{12}(a_1)p_{12}]y_1y_2 + [b_1\sigma_{21}(a_1)+ b_1\sigma_{12}(a_1)p_{11}]y_1^2\\ &\ \ + [b_1\sigma_{12}(a_1)\tau_1 + b_1\delta_1(a_1)+ b_1\sigma_{21}(a_0)+ b_0a_1]y_1\\ &\ \ + [b_1\sigma_{12}(a_1)\tau_2 + b_1\sigma_{12}(a_0)]y_2 + [b_1\sigma_{12}(a_1)\tau_0 + b_1\delta_1(a_0) + b_0a_0], \end{aligned}

while

\begin{aligned} &\phi(p'_{12}y_1'y_2' + p'_{11}y_1^{'2} + \tau'_1y_1'+ \tau'_2y'_2 + \tau'_0)\\ &= [b_1\sigma_{12}(a_1)p_{12}]y_1y_2 + [b_1\sigma_{21}(a_1)+ b_1\sigma_{12}(a_1)p_{11}]y_1^2\\ &\ \ + [b_1\sigma_{12}(a_1)\tau_1+ b_1\delta_1(a_1)+ b_1\sigma_{21}(a_0)+ b_0a_1]y_1\\ &\ \ + [b_1\sigma_{12}(a_1)\tau_2 +b_1\sigma_{12}(a_0)+\tau'_2b_1]y_2 + [b_1\sigma_{12}(a_1)\tau_0 + b_1\delta_1(a_0) + b_0a_0]. \end{aligned}

These facts guarantee that \phi(y'_2y'_1) = \phi(p'_{12}y'_1y'_2 + p'_{11}y_1^{'2} + \tau'_1y'_1+ \tau'_2y'_2 + \tau'_0), i.e., the polynomials q_1 and q_2 satisfy relation (?).

With the aim of showing that condition (?) holds, consider

\sigma'(r)=\begin{bmatrix} \sigma_{a_1}(\sigma_{11}(r)) & \sigma_{b_1}(\sigma_{12}(r)) \\ \sigma_{a_1}( \sigma_{21}(r)) & \sigma_{b_1}(\sigma_{22}(r)) \end{bmatrix} \ \text{and}\ \delta'(r)= \begin{bmatrix} (a_1\delta_1 + \delta_{a_0,\sigma'_{1}})(r)\\ (b_1\delta_2 + \delta_{b_0,\sigma'_{2}})(r) \end{bmatrix},

where

\begin{cases} \delta_{a_0,\sigma'_{1}}(r) = a_0r - [a_1\sigma_{11}(r)a_1^{-1}a_0 + b_1\sigma_{12}(r)b_1^{-1}b_0], \\ \delta_{b_0,\sigma'_{2}}(r) = b_0r - [a_1\sigma_{21}(r)a_1^{-1}a_0 + b_1\sigma_{22}(r)b_1^{-1}b_0]. \end{cases}

Since

\begin{aligned} \begin{bmatrix} q_1\\ q_2 \end{bmatrix} r &= \begin{bmatrix} q_1r\\ q_2r \end{bmatrix} = \begin{bmatrix} (a_1y_1 + a_0)r\\ (b_1y_2+b_0)r \end{bmatrix} = \begin{bmatrix} a_1y_1r \\ b_1y_2r \end{bmatrix} + \begin{bmatrix} a_0r \\ b_0r \end{bmatrix} \\ &= \begin{bmatrix} a_1[\sigma_{11}(r)y_1 + \sigma_{12}(r)y_2 + \delta_1(r)] \\ b_1[\sigma_{21}(r)y_1 + \sigma_{22}(r)y_2 + \delta_2(r)] \end{bmatrix} + \begin{bmatrix} a_0r \\ b_0r \end{bmatrix} \\ &= \begin{bmatrix} \sigma_{11}(r) & \sigma_{12}(r) \\ \sigma_{21}(r) & \sigma_{22}(r) \end{bmatrix}\begin{bmatrix} a_1y_1\\ b_1y_2 \end{bmatrix} + \begin{bmatrix} a_1\delta_1(r)\\ b_1\delta_2(r) \end{bmatrix} + \begin{bmatrix} a_0r\\ b_0r\end{bmatrix}, \end{aligned}

and,

\begin{aligned} \sigma'(r)\begin{bmatrix} q_1\\ q_2 \end{bmatrix} + \delta'(r) &= \sigma'(r)\begin{bmatrix} a_1y_1 +a_0\\ b_1y_2 +b_0 \end{bmatrix} + \delta'(r) = \sigma'(r)\begin{bmatrix} a_1y_1\\ b_1y_2 \end{bmatrix} + \sigma'(r)\begin{bmatrix} a_0\\ b_0 \end{bmatrix} + \delta'(r)\\ &= \begin{bmatrix} \sigma_{a_1}(\sigma_{11}(r)) & \sigma_{b_1}(\sigma_{12}(r)) \\ \sigma_{a_1}( \sigma_{21}(r)) & \sigma_{b_1}(\sigma_{22}(r)) \end{bmatrix}\begin{bmatrix} a_1y_1\\ b_1y_2 \end{bmatrix} \\ &\ \ + \begin{bmatrix} \sigma_{a_1}(\sigma_{11}(r)) & \sigma_{b_1}(\sigma_{12}(r)) \\ \sigma_{a_1}( \sigma_{21}(r)) & \sigma_{b_1}(\sigma_{22}(r)) \end{bmatrix} \begin{bmatrix} a_0\\ b_0 \end{bmatrix} + \begin{bmatrix} (a_1\delta_1 + \delta_{a_0,\sigma'_{1}})(r)\\ (b_1\delta_2 + \delta_{b_0,\sigma'_{2}})(r) \end{bmatrix}\\ &= \begin{bmatrix} a_1\sigma_{11}(r)a_1^{-1}a_1y_1 + b_1\sigma_{12}(r)b_1^{-1}b_1y_2\\ a_1\sigma_{21}(r)a_1^{-1}a_1y_1 + b_1\sigma_{22}(r)b_1^{-1}b_1y_2 \end{bmatrix} \\ &\ \ + \begin{bmatrix} a_1\sigma_{11}(r)a_1^{-1}a_0 + b_1\sigma_{12}(r)b_1^{-1}b_0\\ a_1\sigma_{21}(r)a_1^{-1}a_0 + b_1\sigma_{22}(r)b_1^{-1}b_0 \end{bmatrix}\\ &\ \ + \begin{bmatrix} a_1\delta_1(r) + a_0r - [a_1\sigma_{11}(r)a_1^{-1}a_0 + b_1\sigma_{12}(r)b_1^{-1}b_0] \\ b_1\delta_2(r) + b_0r - [a_1\sigma_{21}(r)a_1^{-1}a_0 + b_1\sigma_{22}(r)b_1^{-1}b_0] \end{bmatrix}\\ &= \begin{bmatrix} a_1\sigma_{11}(r)y_1 + b_1\sigma_{12}(r)y_2\\ a_1\sigma_{21}(r)y_1 + b_1\sigma_{22}(r)y_2 \end{bmatrix} + \begin{bmatrix} a_1\delta_1(r) + a_0r \\ b_1\delta_2(r) + b_0r \end{bmatrix}\\ &= \begin{bmatrix} \sigma_{11}(r) & \sigma_{12}(r) \\ \sigma_{21}(r) & \sigma_{22}(r) \end{bmatrix}\begin{bmatrix} a_1y_1\\ b_1y_2 \end{bmatrix} + \begin{bmatrix} a_1\delta_1(r)\\ b_1\delta_2(r) \end{bmatrix} + \begin{bmatrix} a_0r\\ b_0r\end{bmatrix}, \end{aligned}

we obtain \begin{bmatrix} q_1\\ q_2 \end{bmatrix} r = \sigma'(r)\begin{bmatrix} q_1\\ q_2 \end{bmatrix} + \delta'(r) and \begin{bmatrix} q_1\\ q_2 \end{bmatrix} = \begin{bmatrix} a_1y_1 +a_0\\ b_1y_2 +b_0 \end{bmatrix} is a dcv-matrix respect to (\sigma', \delta').

Uses Definition 3.3

Example

Example 3.8

AVIR

In Table ?, we present necessary conditions to obtain polynomials and dcv-matrices depending of q_1 and q_2.

Remark

Remark 3.9

J6W5

Due to the length of the paper, it is a pending task to exemplify dcv-matrices consisting of polynomials of degree two.

Theorem

Theorem 3.10

7M3S

Consider y_i^n a monomial right double semi-invariant of degree n \geq 1. Let

\begin{bmatrix} q_1\\ q_2 \end{bmatrix} = \begin{bmatrix} f(y_1, y_2)y_1^n + g_1(y_1,y_2)\\ f(y_1,y_2)y_2^n + g_2(y_1,y_2) \end{bmatrix} ,

where for i = 1, 2 the degree of the polynomial g_i(y_1,y_2) is less than or equal to n and it is satisfied that q_2q_1 = p'_{12}q_1q_2 + p'_{11}q_1^2 + \tau'_1q_1+ \tau'_2q_2 + \tau'_0. Then \begin{bmatrix} q_1\\ q_2 \end{bmatrix} is a dcv-matrix respect to (\sigma', \delta') if and only if \begin{bmatrix} g_1(y_1,y_2)\\ g_2(y_1,y_2) \end{bmatrix} is a dcv-matrix respect to (\sigma', \delta') and f(y_1,y_1)\sigma^n(-) = \sigma'(-)f(y_1,y_2).

Uses Definition 3.3

Proof of Theorem 3.10

First, suppose that \begin{bmatrix} q_1\\ q_2 \end{bmatrix} is a dcv-matrix respect to (\sigma', \delta'). Then

\begin{bmatrix} q_1\\ q_2 \end{bmatrix} r = \sigma'(r)\begin{bmatrix} q_1\\ q_2 \end{bmatrix} + \delta'(r) = \sigma'(r)\begin{bmatrix} fy_1^n + g_1(y_1,y_2)\\ fy_2^n + g_2(y_1,y_2) \end{bmatrix} + \delta'(r),

Landscape.

The paper has a table here, which this page does not show.

or what is the same,

\begin{aligned} \begin{bmatrix} q_1\\ q_2 \end{bmatrix} r & = \sigma'(r)\begin{bmatrix} fy_1^n \\ fy_2^n \end{bmatrix} + \sigma'(r)\begin{bmatrix} g_1(y_1,y_2)\\ g_2(y_1,y_2) \end{bmatrix} + \delta'(r)\\ & = \begin{bmatrix} \sigma'_{11}(r)f & \sigma'_{12}(r)f \\ \sigma'_{21}(r)f & \sigma'_{22}(r)f \\ \end{bmatrix} \begin{bmatrix} y_1^n \\ y_2^n \end{bmatrix} + \sigma'(r)\begin{bmatrix} g_1(y_1,y_2)\\ g_2(y_1,y_2) \end{bmatrix} + \delta'(r), \end{aligned}

and

\begin{aligned} \begin{bmatrix} q_1\\ q_2 \end{bmatrix}r & = \begin{bmatrix} fy_1^n + g_1(y_1,y_2)\\ fy_2^n + g_2(y_1,y_2) \end{bmatrix} r = \begin{bmatrix} fy_1^nr + g_1(y_1,y_2)r\\ fy_2^nr + g_2(y_1,y_2)r \end{bmatrix} \\ &= \begin{bmatrix} f\sigma_{11}^n(r)y_1^n + f\sigma_{12}^n(r)y_2^n\\ f\sigma_{21}^n(r)y_1^n + f\sigma_{22}^n(r)y_2^n\end{bmatrix} +\begin{bmatrix} g_1(y_1,y_2)r\\ g_2(y_1,y_2)r \end{bmatrix}\\ &= \begin{bmatrix} f\sigma_{11}^n(r) & f\sigma_{12}^n(r) \\ f\sigma_{21}^n(r) & f\sigma_{22}^n(r) \\ \end{bmatrix}\begin{bmatrix} y_1^n \\ y_2^n \end{bmatrix}+\begin{bmatrix} g_1(y_1,y_2)r\\ g_2(y_1,y_2)r \end{bmatrix}, \end{aligned}

due to that y_i^n is a monomial right double semi-invariant for i = 1,2. Both expressions (?) and (?) show that f(y_1,y_2)\sigma^n(-) = \sigma'(-)f(y_1, y_2) and

\begin{bmatrix} g_1(y_1,y_2)\\ g_2(y_1,y_2) \end{bmatrix}r = \sigma'(r)\begin{bmatrix} g_1(y_1,y_2)\\ g_2(y_1,y_2) \end{bmatrix} + \delta'(r).

Conversely, if \begin{bmatrix} g_1(y_1,y_2)\\ g_2(y_1,y_2) \end{bmatrix} is a dcv-matrix respect to (\sigma', \delta'), then

\begin{bmatrix} g_1(y_1,y_2)\\ g_2(y_1,y_2) \end{bmatrix}r = \sigma'(r)\begin{bmatrix} g_1(y_1,y_2)\\ g_2(y_1,y_2) \end{bmatrix} + \delta'(r),

and since f(y_1,y_2)\sigma^n(-) = \sigma'(-)f(y_1, y_2), we get

\begin{aligned} \begin{bmatrix} q_1\\ q_2 \end{bmatrix}r & = \begin{bmatrix} fy_1^nr + g_1(y_1,y_2)r\\ fy_2^nr + g_2(y_1,y_2)r \end{bmatrix} \\ &= \begin{bmatrix} f\sigma_{11}^n(r)y_1^n + f\sigma_{12}^n(r)y_2^n\\ f\sigma_{21}^n(r)y_1^n + f\sigma_{22}^n(r)y_2^n\end{bmatrix} +\begin{bmatrix} g_1(y_1,y_2)\\ g_2(y_1,y_2) \end{bmatrix}\\ &= \begin{bmatrix} f\sigma_{11}^n(r) & f\sigma_{12}^n(r) \\ f\sigma_{21}^n(r) & f\sigma_{22}^n(r) \\ \end{bmatrix}\begin{bmatrix} y_1^n \\ y_2^n \end{bmatrix}+\begin{bmatrix} g_1(y_1,y_2)r\\ g_2(y_1,y_2)r \end{bmatrix}\\ &= \begin{bmatrix} \sigma'_{11}(r)f & \sigma'_{12}(r)f \\ \sigma'_{21}(r)f & \sigma'_{22}(r)f \\ \end{bmatrix}\begin{bmatrix} y_1^n \\ y_2^n \end{bmatrix} +\sigma'(r)\begin{bmatrix} g_1(y_1,y_2)\\ g_2(y_1,y_2) \end{bmatrix} + \delta'(r)\\ & = \sigma'(r)\begin{bmatrix} fy_1^n \\ fy_2^n \end{bmatrix} + \sigma'(r)\begin{bmatrix} g_1(y_1,y_2)\\ g_2(y_1,y_2) \end{bmatrix} + \delta'(r) = \sigma'(r)\begin{bmatrix} q_1\\ q_2 \end{bmatrix} + \delta'(r). \end{aligned}

Uses Definition 3.3

Theorem

Theorem 3.11

GM4W

Let \varphi:B^{'\oplus 2} \to B^{\oplus 2} be a homomorphism of right double extensions as in Definition 3.2. If \varphi is an isomorphism, then the polynomials q_1 and q_2 of the dcv-matrix have degree one respect to the indeterminates y_1 and y_2, respectively.

Uses Definition 2.1, Definition 3.3 · Used by Example 3.13

Proof of Theorem 3.11

Let \varphi be an isomorphism of right double extensions. Since \varphi depends of the map \phi, it is clear that for \varphi to be an isomorphism it is necessary that \phi be an isomorphism. By Definition 3.2,

\varphi\begin{bmatrix} y'_1\\ y'_2 \end{bmatrix}:= \begin{bmatrix} \phi(y'_1)\\ \phi(y'_2) \end{bmatrix} = \begin{bmatrix} q_1\\ q_2 \end{bmatrix},

so we consider the following cases:

(1) q_1 = c and q_2 = c^{-1}dc, with c, d \in R. We can find elements f, g \in B' such that f = dy'_1 and g = cy'_2, whence
\varphi\begin{bmatrix} f\\ g \end{bmatrix} = \begin{bmatrix} \phi(f)\\ \phi(g) \end{bmatrix} = \begin{bmatrix} dq_1\\ cq_2 \end{bmatrix} = \begin{bmatrix} dc \\ dc \end{bmatrix},
but since f \neq g, it contradicts the injectivity of \phi.
(2) q_1 = c \in R, and q_2 \in B with degree greater than zero. Let f, g \in B' such that f = dy'_1 and g = dc. Then
\varphi\begin{bmatrix} f\\ g \end{bmatrix}:= \begin{bmatrix} \phi(f)\\ \phi(g) \end{bmatrix} = \begin{bmatrix} dq_1\\ dc \end{bmatrix} = \begin{bmatrix} dc \\ dc \end{bmatrix},
which contradicts again the injectivity of \phi.
(3) q_1 \in B of degree greater than zero and q_2 = d\in R. Consider elements f, g \in B' such that f = d and g = y'_2. Then
\varphi\begin{bmatrix} f\\ g \end{bmatrix}:= \begin{bmatrix} \phi(f)\\ \phi(g) \end{bmatrix} = \begin{bmatrix} d\\ q_2 \end{bmatrix} = \begin{bmatrix} d \\ d \end{bmatrix},
a contradiction.

Suppose that the polynomials q_1 and q_2 have degree n, k >1, respectively. Since \varphi is surjective, for the indeterminates y_1, y_2\in B there exist polynomials f, g \in B' such that

\begin{bmatrix} y_1\\ y_2 \end{bmatrix} = \varphi\begin{bmatrix} f\\ g \end{bmatrix} = \begin{bmatrix} \phi(f)\\ \phi(g) \end{bmatrix} = \begin{bmatrix} \phi\left(\sum\limits_{i,j} a_{i,j}y^{'n(i)}_{1}y^{'m(j)}_{2}\right)\\ \phi\left(\sum\limits_{i,j} b_{i,j}y^{'k(i)}_{1}y^{'l(j)}_{2}\right)\end{bmatrix} = \begin{bmatrix} \sum\limits_{i,j} a_{i,j}q_1^{n(i)}q_2^{m(j)} \\ \sum\limits_{i,j} b_{i,j}q_1^{k(i)}q_2^{l(j)}\end{bmatrix},

whence necessarily the degree of q_1 is one and the degree of q_2 is zero. However, since the polynomials have degree greater than one it follows that there are no polynomials f, g \in B' with \varphi\begin{bmatrix} f\\ g \end{bmatrix} = \begin{bmatrix} y_1\\ y_2 \end{bmatrix}, which gives us a contradiction. We conclude that both p_1 and p_2 must have degree exactly one.

Uses Definition 3.2, Definition 2.1

Theorem

Theorem 3.12

YTF5

Consider two trimmed double Ore extensions B' = R_{P'}[y'_1, y'_2; \sigma'] and B = R_P[y_1, y_2; \sigma], where

\begin{bmatrix} q_1\\ q_2 \end{bmatrix} = \begin{bmatrix} \sum\limits_{i= 1}^n a_iy_1^i\\ \sum\limits_{j=1}^m b_iy_2^j \end{bmatrix},

and it is satisfied that \phi(y'_2y'_1) = \phi(p'_{12}y'_1y'_2 + p'_{11}y_1^{'2}), i.e, q_2q_1 = p'_{12}q_1q_2 + p'_{11}q_1^2. Then \begin{bmatrix} q_1\\ q_2 \end{bmatrix} is a dcv-matrix if and only if the degree of q_1 and q_2 is the same (n = m), a_i = b_i for 1\leq i \leq n, \sigma_{ll}\sigma_{lk}(-) = 0,\ \sigma_{lk}\sigma_{ll}(-) = 0, and a_i\sigma_{pq}^i(-) = \sigma'_{pq}(-)a_i for l \neq k and 1\leq p,q, l,k\leq 2.

Uses Definition 3.3 · Used by Example 3.13

Proof of Theorem 3.12

Suppose that \begin{bmatrix} q_1\\ q_2 \end{bmatrix} is dcv-matrix. By Definition 3.3, \begin{bmatrix} q_1\\ q_2 \end{bmatrix} r = \sigma'(r)\begin{bmatrix} q_1\\ q_2 \end{bmatrix}, which implies that

\begin{aligned} \begin{bmatrix} q_1r\\ q_2 r\end{bmatrix} &= \begin{bmatrix} \sum\limits_{i= 1}^n a_iy_1^i r\\ \sum\limits_{j=1}^m b_iy_2^j r \end{bmatrix}\\ &= \begin{bmatrix} a_n\sigma_{11}^n(r)y_1^n + a_n\sigma_{12}^n(r)y_2^n + a_{n-1}\sigma_{11}^{n-1}(r)y_1^{n-1}\\ + a_{n-1}\sigma_{12}^{n-1}(r)y_2^{n-1} + \cdots+ a_1\sigma_{11}(r)y_1+ a_1\sigma_{12}(r)y_2\\ + \sum\limits_{l,k = 0}^n p_{\sigma_{11}\sigma_{12}}y_1^ly_2^k\\ b_m\sigma_{21}^m(r)y_1^m + b_m\sigma_{22}^m(r)y_2^m + b_{m-1}\sigma_{21}^{m-1}(r)y_1^{m-1}\\ + b_{m-1}\sigma_{22}^{m-1}(r)y_2^{m-1} + \cdots + b_1\sigma_{21}(r)y_1+ b_1\sigma_{22}(r)y_2 \\ + \sum\limits_{l,k = 0}^m p_{\sigma_{22}\sigma_{21}} y_1^ly_2^k\end{bmatrix}, \end{aligned}

where p_{\sigma_{11},\sigma_{12}} are the possible combinations between \sigma_{11} and \sigma_{12} and the same sense for p_{\sigma_{22},\sigma_{21}}. On the other hand,

\begin{aligned} \sigma'(r)\begin{bmatrix} q_1\\ q_2 \end{bmatrix} &= \begin{bmatrix} \sigma'_{11}(r) & \sigma'_{12}(r)\\ \sigma'_{21}(r) & \sigma'_{22}(r) \end{bmatrix}\begin{bmatrix} \sum\limits_{i= 1}^n a_iy_1^i \\ \sum\limits_{j=1}^m b_iy_2^m \end{bmatrix} \\ &= \begin{bmatrix} \sigma'_{11}(r) \sum\limits_{i= 1}^n a_iy_1^i + \sigma'_{12}(r)\sum\limits_{j=1}^m b_iy_2^j \\ \sigma'_{21}(r) \sum\limits_{i= 1}^n a_iy_1^i + \sigma'_{22}(r)\sum\limits_{j=1}^m b_iy_2^j\end{bmatrix}\\ &= \begin{bmatrix} \sigma'_{11}(r)a_ny_1^n + \sigma'_{11}(r)a_{n-1}y^{n-1} + \cdots + \sigma'_{11}(r)a_1y_1 + \sigma'_{12}(r)b_my_2^m \\ + \sigma'_{12}(r)b_{m-1}y_2^{m-1} + \cdots + \sigma'_{12}(r)b_1y_2\\ \sigma'_{21}(r)a_ny_1^n + \sigma'_{21}(r)a_{n-1}y^{n-1} + \cdots + \sigma'_{21}(r)a_1y_1 + \sigma'_{22}(r)b_my_2^m \\ + \sigma'_{22}(r)b_{m-1}y_2^{m-1} + \cdots + \sigma'_{22}(r)b_1y_2 \end{bmatrix}\\ &= \begin{bmatrix} \sigma'_{11}(r)a_ny_1^n + \sigma'_{12}(r)b_my_2^m +\sigma'_{11}(r)a_{n-1}y^{n-1}\\ + \sigma'_{12}(r)b_{m-1}y_2^{m-1} + \cdots + \sigma'_{11}(r)a_1y_1 + \sigma'_{12}(r)b_1y_2\\ \sigma'_{21}(r)a_ny_1^n + \sigma'_{22}(r)b_my_2^m + \sigma'_{21}(r)a_{n-1}y^{n-1} \\+ \sigma'_{22}(r)b_{m-1}y_2^{m-1} + \cdots + \sigma'_{21}(r)a_1y_1 + \sigma'_{22}(r)b_1y_2 \end{bmatrix}. \end{aligned}

If we compare (Proof) and (?), then necessarily

\sum\limits_{l,k = 0}^n p_{\sigma_{11},\sigma_{12}}y_1^ly_2^k = \sum\limits_{l,k = 0}^m p_{\sigma_{22},\sigma_{21}}y_1^ly_2^k = 0,

i.e, the possible combinations between \sigma_{ll} and \sigma_{lk}, 1\leq l,k \leq 2, l\neq k are zero. In addition, n= m, a_i = b_i for 1\leq i \leq n and a_i\sigma_{pq}^i(-) = \sigma'_{pq}(-)a_i for 1\leq p,q\leq 2, as desired.

It is straightforward to prove the other implication.

Uses Definition 3.3

Example

Example 3.13

YIDE

(1) Consider the double Ore extension [ZhangZhang2009, Subcase 4.3.1]. The algebra \mathbb{H} is generated by x_1, x_2, y_1, y_2 subjected to the relations
\begin{aligned} x_2x_1 & = x_1 x_2 + x_1^2, & y_2y_1 & = - y_1y_2, \\ y_1x_1 & = x_1y_2, & y_1x_2 & = fx_1y_2+x_2y_2, \\ y_2x_1 & = x_1y_1, & y_2x_2 & = fx_1y_1+x_2y_1, \end{aligned}
where f \not = 0. This is the trimmed double extension \mathbb{H}:= R_P[y_1, y_2; \sigma] with R = \Bbbk\{ x_1, x_2 \} / \langle x_2x_1 - x_1x_2 - x_1^2 \rangle. Let \varphi: \mathbb{H}^{\oplus 2} \to \mathbb{H}^{\oplus 2} defined by
\varphi \begin{bmatrix} y_1\\ y_2 \end{bmatrix} = \begin{bmatrix} q_1\\ q_2 \end{bmatrix} = \begin{bmatrix} \lambda y_1\\ \lambda y_2 \end{bmatrix},\quad \lambda \in \Bbbk.
Since
\begin{aligned} \phi(y_2y_1) = q_2q_1= \lambda^2 y_2y_1 = -\lambda^2 y_1y_2 = p_{12}q_1q_2 + p_{11}y_1 = \phi(p_{12}y_1y_2 + p_{11}y_1^{2}), \end{aligned}
by Theorem 3.12, \begin{bmatrix} q_1\\ q_2 \end{bmatrix} is a dcv-matrix. Note also that
\begin{aligned} \begin{bmatrix} \lambda y_1x_1\\ \lambda y_2x_1 \end{bmatrix} &= \begin{bmatrix}\lambda x_1y_2 \\ \lambda x_1y_1\end{bmatrix} = \begin{bmatrix} 0 & x_1 \\ x_1 & 0 \end{bmatrix} \begin{bmatrix} \lambda y_1\\ \lambda y_2 \end{bmatrix} = \begin{bmatrix} \sigma_{11}(x_1) & \sigma_{12}(x_1) \\ \sigma_{21}(x_1) & \sigma_{22}(x_1) \end{bmatrix} \begin{bmatrix} \lambda y_1\\ \lambda y_2 \end{bmatrix}, \end{aligned}
and a simple calculation shows that the properties of the dcv-matrix are satisfied for every a \in R_P. By Theorem 3.11, we get an isomorphism.
(2) Zhu et al. [ZhuVanOystaeyenZhang2017, Remark 3.13.(1)] found the Nakayama automorphism of algebra \mathbb{H}. Our results agree with yours by taking \lambda := -h^2.
(3) Zhu et al. [ZhuVanOystaeyenZhang2017, Remark 3.13.(2)] considered the trimmed double extension presented in [ZhangZhang2009, Subcase 4.3.3], that is, \mathbb{N} := R_P[y_1,y_2; \sigma] with R_P = \Bbbk\{x_1,x_2\}/\langle x_2x_2 + x_1x_2\rangle, P= (-1, 0), and \sigma given by the matrix
\begin{bmatrix} 0 & 0 &-g & f\\ 0 & 0 & f & -g\\ g & f & 0 & 0\\ f & g & 0 & 0 \end{bmatrix},
with f, g \in \Bbbk and f^2 \neq g^2. They found the Nakayama automorphism of \mathbb{N} which is defined as y_1 = (g^2 - f^2)y_1 and y_2 = (g^2 - f^2)y_2. In this way, if we consider
\varphi \begin{bmatrix} y_1\\ y_2 \end{bmatrix} = \begin{bmatrix} q_1\\ q_2 \end{bmatrix} = \begin{bmatrix} (g^2 - f^2) y_1\\ (g^2 - f^2) y_2 \end{bmatrix},
then we get
\begin{aligned} \phi(y_2y_1) &= ((g^2 - f^2)y_2)((g^2 - f^2)y_1)= (g^2 - f^2)^2 y_2y_1\\ &= -(g^2 - f^2)^2 y_1y_2 = p_{12}q_1q_2 + p_{11}y_1 = \phi(p_{12}y_1y_2 + p_{11}y_1^{2}), \end{aligned}
and by Theorem 3.12 it follows that it is a dcv-matrix, and of course, it is an isomorphism by Theorem 3.11.

Uses Definition 2.1, Theorem 3.12, Definition 3.3, Theorem 3.11

Example

Example 3.14

84VO

From [ZhangZhang2009, Subcase 4.2.3 (ii) (iii)], we know that the algebra \mathbb{D} is generated by the indeterminates x_1, x_2, y_1, y_2 subjected to the relations

\begin{aligned} x_2x_1 & = -x_1 x_2, & y_2y_1 & = py_1y_2, \\ y_1x_1 & = -px_1y_1, & y_1x_2 & = -p^2x_2y_1+x_1y_2, \\ y_2x_1 & = px_1y_2, & y_2x_2 & = x_1y_1+x_2y_2, \end{aligned}

where p\in \{-1,1\}. \mathbb{D} can be expressed R_P[y_1,y_2; \sigma, \delta, \tau], with R = \Bbbk[x_1][x_2; \alpha] and \alpha(x_1) = -x_1. On the other hand, the algebra \mathbb{E} is generated by the indeterminates x_1, x_2, y_1, y_2 satisfying the relations

\begin{aligned} x_2x_1 & = -x_1 x_2, & y_2y_1 & = py_1y_2, \\ y_1x_1 & = x_1y_2+x_2y_2, & y_1x_2 & = x_1y_2-x_2y_2, \\ y_2x_1 & = -x_1y_1+x_2y_1, & y_2x_2 & = x_1y_1+x_2y_1, \end{aligned}

with p^2=-1. It can be seen that \mathbb{E} is the double Ore extension R_P[y_1,y_2; \sigma, \delta, \tau].

Consider the homomorphism

\begin{aligned} \varphi: \mathbb{D}^{\oplus 2} &\ \to \mathbb{E}^{\oplus 2}\\ \begin{bmatrix} y'_1\\ y'_2 \end{bmatrix} &\ \mapsto \begin{bmatrix} \phi(y'_1)\\ \phi(y'_2) \end{bmatrix} = \begin{bmatrix} q_1\\ q_2 \end{bmatrix} = \begin{bmatrix} x_1\\ x_2 \end{bmatrix},\quad x_1, x_2 \in R. \end{aligned}

If we suppose p'_{12} = p = -1, since in the algebra \mathbb{D} we have p'_{11}= \tau'_1 = \tau'_2 = 0 = \tau'_0 = 0, then let us show that q_1 and q_2 satisfy (?). Then \phi(y_2'y_1') = q_2q_1 = x_2x_1 = -x_1x_2, and

\begin{aligned} &\phi(p'_{12}y_1'y_2' + p'_{11}y_1^{'2} + \tau'_1y_1'+ \tau'_2y'_2 + \tau'_0) = p'_{12}q_1q_2 + p'_{11}q_1^2 + \tau'_1q_1+ \tau'_2q_2 + \tau'_0\\ & = p'_{12}x_1x_2 + p'_{11}x_1^2 + \tau'_1x_1+ \tau'_2x_2 + \tau'_0 = -x_1x_2, \end{aligned}

whence \phi(y'_2y'_1) = \phi(p'_{12}y'_1y'_2 + p'_{11}y_1^{'2} + \tau'_1y'_1+ \tau'_2y'_2 + \tau'_0) as desired.

With respect to the condition (?), let

\sigma'(r)=\begin{bmatrix} \alpha(r) & 0 \\ 0 & \alpha(r) \end{bmatrix} \ \text{and}\ \delta'(r)= \begin{bmatrix} 0\\ 0 \end{bmatrix},

for every r \in \Bbbk[x_1]. Note that, for r \in \Bbbk

\begin{bmatrix} q_1\\ q_2 \end{bmatrix} r = \begin{bmatrix} q_1r\\ q_2r \end{bmatrix} = \begin{bmatrix} x_1r\\ x_2r \end{bmatrix},

and

\begin{aligned} \sigma'(r)\begin{bmatrix} q_1\\ q_2 \end{bmatrix} + \delta'(r) &= \sigma'(r)\begin{bmatrix} x_1\\ x_2 \end{bmatrix} + \delta'(r) = \begin{bmatrix} r & 0 \\ 0 & r \end{bmatrix} \begin{bmatrix} x_1\\ x_2 \end{bmatrix} = \begin{bmatrix} rx_1\\ rx_2 \end{bmatrix} = \begin{bmatrix} x_1r\\ x_2r \end{bmatrix}, \end{aligned}

which shows that \begin{bmatrix} q_1\\ q_2 \end{bmatrix} r = \sigma'(r)\begin{bmatrix} q_1\\ q_2 \end{bmatrix} + \delta'(r), and so it follows that \begin{bmatrix} q_1\\ q_2 \end{bmatrix} = \begin{bmatrix} x_1\\ x_2 \end{bmatrix} is a dcv-matrix respect to (\sigma', \delta').

Uses Definition 3.3

Theorem

Theorem 3.15

613K

Let B' = R_{P'}[y'_1, y'_2; \sigma', \delta', \tau'] and B = R_P[y_1, y_2; \sigma, \delta, \tau] be right double extensions of the \Bbbk-algebra R. Consider the homomorphism \varphi between B^{'\oplus 2} and B^{\oplus 2} as in Definition 3.2. If the conditions

\begin{gathered} p'_{12}\phi(y'_1) = \sigma'_2(\phi(y'_1)), \quad p'_{11} = 0, \quad \tau'_1\phi(y'_1) = \delta'_2(\phi(y'_1)), \quad \tau'_2 = \tau'_0 = 0,\\ \sigma'_{11}(r) = \sigma'_1(r), \quad \sigma'_{22}(r) = \sigma'_2(r),\quad \sigma'_{12} (-) = \sigma'_{21} (-) = 0, \end{gathered}

are satisfied, then \varphi can be presented as a homomorphism between iterated Ore extension.

Uses Definition 2.1 · Used by Example 3.16

Proof of Theorem 3.15

Consider the relation (?). If p'_{12}\phi(y'_1) = \sigma'_2(\phi(y'_1)),\ p'_{11} = 0,\ \tau'_1\phi(y'_1) = \delta'_2(\phi(y'_1)), and \tau'_2 = \tau'_0 = 0, then

\phi(y_2'y_1') = q_2q_1 = \sigma'_2(\phi(y'_1))q_2 + \delta'_2(\phi(y'_1)) = \sigma'_2(q_1)q_2 + \delta'_2(q_1),

which is precisely the condition in the definition of cv-polynomials. On the other hand, condition (?) implies

\begin{aligned} \begin{bmatrix} q_1\\ q_2 \end{bmatrix} r = &\ \begin{bmatrix} \sigma'_{11}(r) & \sigma'_{12}(r)\\ \sigma'_{21}(r) & \sigma'_{22}(r) \end{bmatrix}\begin{bmatrix} q_1\\ q_2 \end{bmatrix} + \begin{bmatrix} \delta'_1(r)\\ \delta'_2(r) \end{bmatrix},\\ \begin{bmatrix} q_1\\ q_2 \end{bmatrix} r = &\ \begin{bmatrix} \sigma'_{1}(r) & 0\\ 0 & \sigma'_{2}(r) \end{bmatrix}\begin{bmatrix} q_1\\ q_2 \end{bmatrix} + \begin{bmatrix} \delta'_1(r)\\ \delta'_2(r) \end{bmatrix}, \end{aligned}

or equivalently,

\begin{aligned} q_1 r = \sigma'_1(r)q_1 + \delta'_1(r),\quad {\rm and}\quad q_2 r = \sigma'_2(r)q_2 + \delta'_2(r), \end{aligned}

which are precisely the other two conditions in [RamirezReyes2024a, Definition 3.3].

Uses Definition 3.1, Definition 3.2

Example

Example 3.16

BKD2

Consider Example 3.14. According to the homomorphism \phi: \mathbb{D} \to \mathbb{E} that maps the generators of the double Ore extension to x_1, x_2 \in R with R = \Bbbk[x_1][x_2; \alpha], p'_{12} = -1, p'_{11} = 0, \tau'_1 = \tau'_2 = 0 = \tau'_0 = 0, and \sigma_{11} = \sigma_{22} = \alpha, \sigma_{12} = \sigma_{21} = 0, \delta_{1} = \delta_{2}= 0, the conditions of Theorem 3.15 are satisfied.

Uses Theorem 3.15

Remark

Remark 3.17

QH6S

Theorem 3.15 can be reformulated by using Proposition 2.9(iii). More exactly, in this case \sigma'_{21} need not be necessarily zero and \delta'_2(r) = \delta'_2(r) - \sigma'_{21}(r)q_1 for every r \in R, whence

\begin{aligned} \begin{bmatrix} q_1\\ q_2 \end{bmatrix} r = &\ \begin{bmatrix} \sigma'_{11}(r) & \sigma'_{12}(r)\\ \sigma'_{21}(r) & \sigma'_{22}(r) \end{bmatrix}\begin{bmatrix} q_1\\ q_2 \end{bmatrix} + \begin{bmatrix} \delta'_1(r)\\ \delta'_2(r) \end{bmatrix}\\ = &\ \begin{bmatrix} \sigma'_{1}(r) & 0\\ \sigma'_{21}(r) & \sigma'_{2}(r) \end{bmatrix}\begin{bmatrix} q_1\\ q_2 \end{bmatrix} + \begin{bmatrix} \delta'_1(r)\\ \delta'_2(r) - \sigma'_{21}(r)q_1\end{bmatrix}, \end{aligned}

which are conditions in [RamirezReyes2024a, Definition 3.3].

Uses Proposition 2.9, Proposition 2.2

Example

Example 3.18

L5O5

The examples shown in Table ? correspond to homomorphisms of iterated extensions. This is due that q_2 is a constant and \sigma'_{12} and \sigma'_{21} are zero.

Source and licence

The text on this page is from arXiv:2401.14162v1 by María Camila Ramírez and Armando Reyes, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2401/2401.14162.jsonl.