\section{Introduction and Related Work}

Change of basis of a finite vector space has numerous significant  applications in scientific computing and engineering.
Applications of change of basis with classical orthogonal polynomials include improving properties of spectral methods for solving differential equations numerically. These properties include better convergence~\cite{boyd2,hale1}, lower computational complexity~\cite{fortunato,olver}, and better numerical stability~\cite{olver}.

Previous related work gives recurrence relations for finding connection coefficients for orthogonal polynomials, e.g.,~\cite{roncha}, for Jacobi polynomials~\cite{lewanowicz}, or by other methods~\cite{bella,chaggara} and for special cases~\cite{askey2,boyd2}.

This work derives coefficient functions that evaluate to connection coefficients for mappings between the classical orthogonal polynomials and the monomials. We write the coefficient functions as algebraic expressions. From the framework of the change of basis groupoid~\cite{wolfram}, a vector dot product equation enables us to compose coefficient functions in order to derive a coefficient function for any pair of classical orthogonal polynomials.

\section{Classifications of Orthogonal Polynomials}
Thirteen kinds of  orthogonal polynomials are classified by Koornwinder et al.~\cite[\S 18.3]{dlmf} as classical orthogonal polynomials:
\begin{itemize}
\item Jacobi, $P_n^{(\alpha, \beta)}(x)$
\item Gegenbauer, $C_n^{(\lambda)}(x)$
\item Chebyshev of the first to fourth kinds: $T_n(x), U_n(x), V_n(x), W_n(x)$
\item Shifted Chebyshev of the first and second kinds: $T_n^{\ast}(x), U_n^{\ast}(x)$
\item Legendre and Shifted Legendre, $P_n(x), P_n^{\ast}(x)$
\item Generalised Laguerre, $L_n^{(\alpha)}(x)$
\item Physicists' and Probabilists' Hermite: $H_n(x)$, and $He_n(x)$.
\end{itemize}

The Jacobi, Gegenbauer and generalized Laguerre polynomials depend on the respective parameters, $\alpha$ and $\beta$, $\lambda$, and $\alpha$.

Andrews and Askey~\cite{askey} give a more general classification of the classical orthogonal polynomials and stated ``there are a number of different places to put the boundary for the classical polynomials''.

We also include the shifted Chebyshev polynomials of the third and fourth kinds here, $V_n^{\ast}(x)$ and $W_n^{\ast}(x)$, because the classification is not fixed.

\section{Related Classical Orthogonal Polynomials}
\label{relatedpoly}

We shall use some of the properties described here that relate different kinds of classical orthogonal polynomials. Specifically, Chebyshev polynomials of the third and fourth kinds and Jacobi polynomials, and Chebyshev polynomials of the second kind and Legendre polynomials as special cases of Gegenbauer polynomials.

The Jacobi and Gegenbauer polynomials are related to some of the other classical orthogonal polynomials. The Gegenbauer polynomials are a special case of the Jacobi polynomials where $\alpha = \beta$, $\alpha = \lambda - \frac12$ and $\alpha > -1$ or $\lambda > -\frac12$. From Szeg\"{o}~\cite[\S 4.7]{szego},
\begin{align}
C_n^{(\lambda)}(x) =& \frac{\Gamma(\alpha+1)}{2 \alpha + 1}\frac{\Gamma(\Gamma(n+ 2 \alpha + 1)}{n + \alpha + 1} P_n^{(\alpha, \alpha)}(x)\\
=& \frac{\Gamma(\lambda + \frac12)}{\Gamma(2\lambda)}\frac{\Gamma(n + 2\lambda)}{\Gamma(n + \lambda + \frac12)} P_n^{(\lambda - \frac12, \lambda - \frac12)}(x)
\end{align}

Chebyshev polynomials of the first kind are related to the Gegenbauer polynomials, e.g., Arfken~\cite{arfken}:

\begin{align}
T_0(x) =& C_0^{(\alpha)}(x) \\
T_n(x) =& \frac{n}2 \lim_{\alpha \rightarrow 0} \frac{C_n^{(\alpha)}(x)}{\alpha} \mbox{ where } n > 0. \label{CT2}
\end{align}

The Chebyshev polynomials of the second kind are a special case of the Gegenbauer polynomials with $U_n(x) = C_n^{(1)}(x)$.
Chebyshev polynomials of the third and fourth kinds, $V_n(x)$ and $W_n(x)$, are  special cases of the Jacobi polynomials, e.g.,~\cite[\S 1.2.3]{handscomb}.

The Legendre polynomials are also a special case of Gegenbauer polynomials with $P_n(x) = C_n^{(\frac12)}(x)$.

\section{Definitions and Background Equations}

We consider a method of defining algebraically a change of basis mapping between finite bases of classical orthogonal polynomials or the monomials. The method uses the matrix  dot product of change of basis matrices.

From the change of basis groupoid~\cite{wolfram}, given two change of basis matrices $M_{ts} M_{sv}$, we have
\begin{equation} \label {MM}
M_{tv} = M_{ts} M_{sv}.
\end{equation}

The elements of $M_{tv}$ are formed from the vector dot products of the rows of $M_{ts}$ and the columns of $M_{sv}$.

All classical orthogonal polynomials and the monomials satisfy the following condition. It leads to an optimization of the vector dot products.
\begin{definition} \label{triangular-basis}
Let $V$ be a vector space of finite dimension $n > 0$ and $B_1$ and $B_2$ be bases of $V$.

The basis $B_2$ is a triangular basis with respect to $B_1$ if and only if there is a permutation $\{v_1, \ldots , v_n \}$ of the coordinate vectors of $B_2$ with respect to $B_1$ such that the  $n \times n$ matrix $\left[ v_1^T, \ldots , v_n^T \right]$ is an upper triangular matrix.
\end{definition}

\begin{definition}\label{coefffunction}
Suppose that $s$ and $t$ are triangular bases of a vector space $V$.
The mapping $\mathcal{T}: s \rightarrow t$ satisfies

\begin{equation} \label{mapF}
s_n= \sum_{k=0}^{n} \alpha(n, k)  t_{n - k}
\end{equation}where $\alpha(n, k) \in \mathbb{R}$, i.e., each basis vector of $s$ is a unique linear combination of the basis vectors of $t$.
The function $\alpha$ is called a coefficient function and it evaluates to a connection coefficient.
\end{definition}

If $\alpha(n,k)$ is the coefficient function in equation (\ref{mapF}), then the elements of the change of basis matrix $M_{ts}$ are defined by
\begin{equation} \label{Malpha}
m_{ij} =   \left\{
\begin{array}{ll}
\alpha(j, j-i)& \mbox{if $j \geq i$}\\
\\
0 & \mbox{if  $j < i$.}\\
\end{array}
\right.
\end{equation} where $0 \leq i, j \leq n$.

Suppose that $s$, $t$ and $v$ are triangular bases,   $\alpha_1(n, k)$  is the coefficient function for a change of basis matrix $M_{ts}$ and $\alpha_2(n,k)$ is a coefficient function for $M_{sv}$ following equation (\ref{Malpha}). Then
\begin{equation} \label{alpha-new2}
\alpha_3(n, k)= \sum_{v=0}^{k} \alpha_1(n - v, k-v) \alpha_2(n , v)
\end{equation} where $0 \leq k \leq n$, is the coefficient function for $M_{tv}$.

The basis $s$ is called the exchange basis~\cite{wolfram}. We shall use the monomials as the exchange basis.

\subsection{Parity and Bases}

Six of the classical orthogonal polynomials have definite parity, and nine do not: the Jacobi polynomials, the generalized Laguerre polynomials, Chebyshev polynomials of the third and fourth kinds, and shifted orthogonal polynomials:  $T^{\ast}$, $U^{\ast}$,  $V^{\ast}$, $W^{\ast}$ and $P^\ast$.

For example,
 the Jacobi Polynomials $P_n^{(\alpha, \beta)}(x)$ can be expressed in terms of the basis $\{ 1, {(\frac{x-1}2)}, {(\frac{x-1}2)}^2, \ldots, {(\frac{x-1}2)}^n\}$, e.g.,~\cite[equation 18.5.7]{dlmf}.
The generalised Laguerre Polynomials $L_n^{(\alpha)}(x)$ can be expressed in terms of the basis $\{1, x, x^2, \ldots, x^n\}$.

The Chebyshev Polynomials of the second kind have definite parity and they can be defined by
\[
U_n(x) = 2^n \sum_{k = 0}^{\lfloor \frac{n}{2} \rfloor} (-1)^k  2^{- 2k}{{n-k} \choose k} x^{n - 2k}.
\] where $n \geq 0$.
When $n$ is even, $U_n(x)$ can be expressed in terms of the basis $\{1, x^2, x^4, \ldots, x^n \}$. When $n$ is odd, $U_n(x)$ can be expressed in terms of $\{x, x^3, x^5, \ldots, x^n\}$.

Equation~(\ref{alpha-new2}) can be optimized when the bases $t$ and $v$ have definite parity and we are concerned with finding the coefficient function for $M_{tv}$ with basis vectors that all have either even parity or odd parity. In the example above, we have a coefficient function $\beta(n, k)$ for non-zero coefficients:
\[
\beta(n,k) =  (-1)^k  2^{n- 2k}{{n-k} \choose k}
\] where $ 0 \leq k  \leq \lfloor \frac{n}{2} \rfloor$.

Given $\beta_1(n,k)$ and $\beta_2(n,k)$ corresponding to the change of basis matrices $M_{ts}$ and $M_{sv}$ respectively, we have
\begin{equation} \label{beta-new}
\beta_3(n, k)= \sum_{v=0}^{k} \beta_1(n - 2v, k-v) \beta_2(n , v)
\end{equation} where $0 \leq k \leq \lfloor \frac{n}2 \rfloor$.   This optimization excludes  terms that are zero~\cite[\S 5.1]{wolfram}.

From equation~(\ref{MM}), $M_{tv} = M_{ts} M_{sv}$, parity is not relevant if at least one of $t$ or $v$ does not have definite parity. In this case,  the following equation can be used when  $\beta$ is known, but $\alpha$ is not.
\begin{equation} \label{beta-alpha}
\alpha(n, k)  =  \left\{
\begin{array}{ll}
\beta(n, \frac{k}2)& \mbox{if $k$  is even}\\
\\
0 & \mbox{if  $k$ is odd.}\\
\end{array}
\right.
\end{equation}

The upper triangle of the associated change of basis matrix has zero and non-zero alternating elements.

\section{Classical Orthogonal Polynomials and the\\ Monomials}

We summarize here results of mappings between the classical orthogonal polynomials and the monomials. With the monomials as the exchange basis, we can find mappings between any pair of classical orthogonal polynomials.

In the first  table below, the domain is in the first row of a table and the range is the monomials. In the second table, the range is in the first row and the domain is the monomials. Where a citation is given, a related formula has been given in the literature.   The boldface  equation numbers in the tables  refer to equations derived below.

\newpage
\begin{table}[h]

\centering
\resizebox{\textwidth}{!}
\begin{tabular}{|l|l|l|l|l|l|l|l|l|l|l|l|l|l|l|l|}\hline
&$P^{(\alpha, \beta)}$& $C^{(\lambda)}$& $T$&  $U$ & $V$ & $W$ & $T^{\ast}$ & $U^{\ast}$ &  $V^{\ast}$ & $W^{\ast}$ & $P$ & $P^{\ast}$  & $L^{(\alpha)}$ & $H$  & $H_e$\\ \hline
$M$ &{\bf (\ref{Pz1})}& \cite{as}& \cite{as,handscomb}& \cite{as} &\cite{dewi} \& {\bf (\ref{Vx}) }&\cite{dewi} \& {\bf (\ref{Wx})} &{\bf (\ref{MTs})}&{\bf (\ref{MUs})} &{\bf (\ref{MVs})} & {\bf (\ref{MWs})} & \cite{as}&{\bf (\ref{MPs})} & \cite{as} & \cite{as} &  \cite{as} \\ \hline
\end{tabular}}
\caption{Mappings to the Monomials} \label{M1}
\end{table}

\begin{table}[h]
\centering
\resizebox{\textwidth}{!}
\begin{tabular}{|l|l|l|l|l|l|l|l|l|l|l|l|l|l|l|l|}\hline
&$P^{(\alpha, \beta)}$& $C^{(\lambda)}$& $T$&  $U$ & $V$ & $W$ & $T^{\ast}$ & $U^{\ast}$ &  $V^{\ast}$ & $W^{\ast}$ & $P$ & $P^{\ast}$  & $L^{(\alpha)}$ & $H$  & $H_e$\\ \hline
$M$ &{\bf (\ref{zP})} & \cite{as,dlmf}& \cite{handscomb,tao}& \cite{dlmf} &{\bf (\ref{xV})}& {\bf (\ref{xW})}&{\bf (\ref{Ts1M}) \& (\ref{Ts2M})} &{\bf (\ref{UsM})} & {\bf (\ref{VsM})}& {\bf (\ref{WsM})}& \cite{dlmf,mathworld1}&  {\bf (\ref{PsM})} & \cite{dlmf} & \cite{dlmf,wiki-hermite} &  \cite{wiki-hermite} \\ \hline
\end{tabular}}
\caption{Mappings from the Monomials} \label{M2}
\end{table}

We are concerned with defining algebraic expressions for the elements in change of basis matrices.
From Tables \ref{M1} and \ref{M2} above, we can use equation~(\ref{alpha-new2}) to find the coefficient function for any pair of bases that are classical orthogonal polynomials.

\subsection{Shifted Monomials and Polynomials}

The  shifted classical orthogonal polynomials and the Jacobi polynomials  are sometimes defined, e.g., \cite[Table 18.3.1]{dlmf} and \cite[\S 1.3.1]{handscomb}, by using a basis of shifted monomials. To express them in terms of the monomials involves changes of bases between shifted monomials and monomials, which we now discuss.

The intervals of orthogonality of the shifted classical  orthogonal polynomials are $(0, 1)$ instead of $(-1, 1)$. They can be defined by applying the polynomial function for the unshifted polynomials to $2 x - 1$ instead of $x$.

Similarly, the interval of orthogonality of the  Jacobi polynomials is $(-1, 1)$~\cite[Table 18.3.1]{dlmf}. They can be viewed as shifted polynomials where the polynomial function has been applied to $\frac{x-1}2$ instead of  $x$, so that the interval before the application was $(-1, 0)$.

Generally, applying a classical orthogonal polynomial function to $c x + d$ instead of $x$ results in a shift of the interval of orthogonality from $(a, b)$ to  $(\frac{a-d}c, \frac{b-d}c)$.

To find the change of basis mappings between the shifted polynomials and the monomials, we first find the change of basis mappings between the monomials and the basis $\{1, cx + d, (cx+d)^2, \ldots, (cx+d)^n\}$.
From the Binomial Theorem, the mapping to the monomials is given by the coefficient function
\begin{equation} \label{Shiftm}
\alpha(n, k, c, d) = {{n} \choose {k}} c^{n-k} {d}^k.
\end{equation}

For example, when $n=3$, $c = \frac13$ and $d = -\frac23$ the change of basis matrix is
\begin{gather*}
\begin{bmatrix}
1 & -\frac23 & \phantom{-}\frac49 & -\frac{8}{27}\\
\\
0 &\phantom{-}\frac13 & -\frac49 & \phantom{-}\frac49\\
\\
0 & \phantom{-}0 & \phantom{-}\frac{1}9 & -\frac{2}{9}\\
\\
0 & \phantom{-}0 & \phantom{-}0 & \phantom{-}\frac{1}{27}
\end{bmatrix}
\end{gather*} and from the fourth column
\begin{align*}
\left(\frac{x-2}3 \right)^3
=& \frac{1}{27} x ^3 - \frac29 x^2 + \frac49 x - \frac{8}{27}.
\end{align*}

The inverse mapping from the monomials is given by the coefficient function
\begin{equation} \label{mShift}
\alpha(n, k, \frac1{c}, -\frac{d}{c}) = {{n} \choose {k}} c^{-n}(-d)^{k}.
\end{equation}

Similarly, when $n=3$,  $c = \frac13$ and $d = -\frac23$, the change of basis matrix is
\begin{gather*}
\begin{bmatrix}
1 & 2 & 4 & 8\\
\\
0 & 3 & 12 & 36\\
\\
0 & 0 & 9 & 54\\
\\
0 & 0 & 0 & 27
\end{bmatrix}
\end{gather*} and from the fourth column
\[
x^3 = 27 \left(\frac{x-2}3\right)^3  + 54 \left(\frac{x-2}3\right)^2 + 36 \left(\frac{x-2}3\right) + 8.
\]
Equations~(\ref{Shiftm}) and~(\ref{mShift}) can be used to give change of basis matrices for the mappings between the monomials and the four kinds of shifted Chebyshev polynomials, and the shifted Legendre polynomials.

For example, with the shifted Chebyshev polynomials of the second kind, we have $U_n^{\ast}(x) = U_n(2x -1)$, so that $c = 2$ and $d = -1$.
The mapping from the basis of shifted Chebyshev polynomials of the second kind to the monomials follows from equations~(\ref{Shiftm}), Abramowitz and Stegun~\cite[equation 22.3.7]{as} and equation (\ref{alpha-new2}). Specifically, from equation~(\ref{Shiftm}),
\[
\alpha_1(n, k) =
{n \choose k} 2^{n -k}  {(-1)}^{k}.
\]

From equations 22.3.7 and (\ref{beta-alpha}),
\[
\alpha_2(n, k)=  \left\{
\begin{array}{ll}
{{n-\frac{k}2} \choose \frac{k}2} 2^{n -k}   {(-1)}^{\frac{k}2} & \mbox{if $k$ is even}\\
\\
0 & \mbox{if  $k$ is odd.}\\
\end{array}
\right.
\]

Hence from equation~(\ref{alpha-new2}), when $n=3$ the change of basis matrix is
\begin{gather*}
\begin{bmatrix}
1 & -2 & \phantom{-}3 & -4\\
\\
0 & \phantom{-}4 & -16 & \phantom{-}40\\
\\
0 & \phantom{-}0 & \phantom{-}16 & -96\\
\\
0& \phantom{-}0 & \phantom{-}0& \phantom{-}64
\end{bmatrix}
\end{gather*} and from the fourth column
\[
U_3(2 x - 1) = 64 x^3 - 96 x^2 + 40 x -4.
\]

The inverse mapping from the monomials to the shifted Chebyshev or shifted Legendre polynomials uses equation~(\ref{mShift}), the mapping from monomials to the unshifted polynomials, and equation~(\ref{alpha-new2}).

For example, for the shifted Chebyshev polynomials of the first kind, we use the mapping from the monomials to the Chebyshev Polynomials of the first kind~\cite{handscomb,tao} and equation~(\ref{beta-alpha}) to give
\[
\alpha_1(n, k) =  \left\{
\begin{array}{ll}
{{n} \choose \frac{k}2} 2^{1-n}   & \mbox{if $k$ is even and $0 \leq k < n$}\\
\\
{{n} \choose \frac{k}2} 2^{-n}   & \mbox{if $k$ is even and $k= n$}\\
\\
0 & \mbox{if  $k$ is odd.}\\
\end{array}
\right.
\]
With $c=2$ and $d = -1$, equation~(\ref{mShift}) gives
\[
\alpha_2(n, k) = 2^{-n} {n \choose k}.
\]

The change of basis matrix is
\begin{gather*}
\begin{bmatrix}
1 & \frac12 & \frac38 & \frac5{16}\\
\\
0 & \frac12 & \frac12 & \frac{15}{32}\\
\\
0 & 0 & \frac18 & \frac{3}{16}\\
\\
0& 0 & 0& \frac1{32}
\end{bmatrix}
\end{gather*} whose elements are
\[
\alpha_3(j, j-i) = \sum_{v=0}^{j-i} \alpha_1(j - v, j-i-v) \alpha_2(j, v)
\] where $0 \leq i \leq j \leq 3$ and $0$ otherwise. From the third and fourth columns, we have
\begin{align*}
x^2 =& \frac{1}8 T_2(2x -1) + \frac12 T_1(2 x -1) + \frac38\\
x^3 =& \frac{1}{32}T_3(2x -1) + \frac{3}{16}T_2(2x -1) + \frac{15}{32} T_1(2x -1)  + \frac{5}{16}.
\end{align*}

\subsection{Jacobi Polynomials}
A definition of the Jacobi polynomials~\cite[equation 18.5.7]{dlmf}  is
\begin{equation*}
P_n^{(\alpha, \beta)}(z) = \sum_{l=0}^n\frac{(n+\alpha+\beta+1)_l (\alpha+l+1)_{n-l}}{l! (n-l)!} {\left(\frac{z-1}2\right)}^l
\end{equation*}
which uses the Pochhammer symbol or rising factorial.
This can be defined as a polynomial in the basis $\{1, \frac{z-1}2, {\left(\frac{z-1}2\right)}^2, \ldots \}$. This basis is a triangular basis following Definition~(\ref{triangular-basis}). We can change basis to the monomials.

From equation (\ref{Shiftm}), the change of basis matrices from $\{1, \frac{z-1}2, {\left(\frac{z-1}2\right)}^2, \ldots \}$ to monomials has coefficient function
\begin{equation}
\alpha(n, k) = {{n} \choose {k}} 2^{-n}(-1)^{k}
\end{equation} where $c = \frac12$ and $d = -\frac12$.

For example, when $n = 4$, the change of basis matrix  is
\begin{gather*}
\begin{bmatrix}
1 & -\frac12 & \frac14 & \frac18\\
\\
0 & \frac12 & -\frac12 & \frac38\\
\\
0 & 0 & \frac14 & -\frac38\\
\\
0& 0 & 0& \frac18
\end{bmatrix}
\end{gather*}

The coordinates of $P_3^{(\alpha, \beta)}(z)$ in the domain basis written as a vector are
\begin{gather*}
\begin{bmatrix}
\frac16 (1+ \alpha)(2+ \alpha)(3+ \alpha)\\
\\
\frac12 (2 + \alpha)(3+\alpha)(4 + \alpha+ \beta) \\
\\
\frac12 (3 + \alpha)(4 + \alpha + \beta)(5 + \alpha + \beta)\\
\\
\frac16 (4 + \alpha + \beta) (5 + \alpha + \beta) (6 + \alpha + \beta)
\end{bmatrix}
\end{gather*}

The product of the change of basis matrix above with this vector, gives the coordinates of the Jacobi polynomial in the basis of the monomials expressed as a vector.

For example, the expression below is the third element, and it is the coefficient of the term in $z^2$ of $P_3^{(\alpha, \beta)}(z)$:
\[
\frac18  (3 + \alpha)(4 + \alpha + \beta)(5 + \alpha + \beta) -\frac{1}{16} (4 + \alpha + \beta) (5 + \alpha + \beta) (6 + \alpha + \beta)
\] which equals
\[
\frac{5a}4 + \frac{9 \alpha^2}{16} + \frac{\alpha^3}{16} - \frac{5\beta}4 + \frac{\alpha^2 \beta}{16} - \frac{9\beta^2}{16} - \frac{\alpha\beta^2}{16} - \frac{\beta^3}{16}.
\]

It follows that
\begin{align} \label{Pz}
P_n^{(\alpha, \beta)}(z) =&
\sum_{m=0}^n \left( \sum_{l=0}^{n-m} \frac{ (-1)^{n-m}}{2^{n-l}}   \frac{(1 + \alpha+\beta+n)_{n-l}(-\alpha - n)_{l}}{(n-m-l)! \; m! \; l!} \right) z^m
\end{align}

or equivalently
\begin{align}
P_n^{(\alpha, \beta)}(z) =&
\frac{\Gamma(\alpha+n+1)}{n!\Gamma(\alpha+\beta+n+1)} \nonumber\\
&\sum_{m=0}^n \left( \sum_{l=0}^{n-m}(-2)^{l - n}  (-1)^{m} {{n-l} \choose m} {n \choose {n-l}}  \frac{\Gamma(\alpha+\beta+2n - l +1)}{\Gamma(\alpha + n-l + 1)} \right) z^m
\end{align}

Therefore, we have,
\begin{align}
\alpha(n,k) =& \frac{(-1)^{n-k} \Gamma(\alpha+n+1)}{n!\Gamma(\alpha+\beta+n+1)} \nonumber\\
&\sum_{l=0}^{k}(-2)^{l - n}  {{n-l} \choose {n-k}} {n \choose {n-l}}  \frac{\Gamma(\alpha+\beta+2n - l +1)}{\Gamma(\alpha + n-l + 1)}. \label{Pz1}
\end{align}

For the inverse mapping, equation 18.18.15 of Koornwinder et al.~\cite{dlmf} is
\[
\left( \frac{1+x}2 \right)^n = \frac{(\beta+1)_n}{(\alpha + \beta + 2)_n} \sum_{l = 0}^n \frac{\alpha+\beta + 2l + 1}{\alpha + \beta + 1}
\frac{(\alpha + \beta+1)_l (n - l + 1)_l}{(\beta+1)_l (n + \alpha + \beta + 2)_l} P_l^{(\alpha, \beta)}(x).
\]

This defines a change of basis from  $\{1, \frac{1+x}2, {\left(\frac{1+x}2\right)}^2, \ldots \}$ to the Jacobi polynomials.
From equation (\ref{mShift}), the change of basis matrices from  the  monomials  to $\{1, \frac{1+x}2, {\left(\frac{1+x}2\right)}^2, \ldots \}$ has coefficient function
\begin{equation} \label{mJacobi}
\alpha(n, k) = {{n} \choose {k}} 2^{n-k} (-1)^k
\end{equation} where $c = \frac12$ and $d = \frac12$. This gives
\begin{align}
z^n =&  \sum_{m=0}^{n} \frac{\alpha+\beta +2m + 1}{\alpha + \beta + 1}  \left(
\sum_{l = 0}^{n -m} 2^{n-l} {n \choose {n-l}} {(-1)}^l  \frac{(\beta+1)_{n-l}}{(\alpha + \beta + 2)_{n-l}}\right. \nonumber \\
&\left.  \frac{(\alpha + \beta+1)_{m} (n - l - m + 1)_{m}}{(\beta+1)_{m} (n-l+ \alpha + \beta + 2)_{m}}
\right)
P_{m}^{(\alpha, \beta)}(z).
\end{align}

We have
\begin{align} \label{zP}
\alpha(n,k)  =&  \ (\alpha+\beta +2(n-k) + 1)(\alpha + \beta + 2)_{n-k-1}  \nonumber \\
 &\sum_{l = 0}^{k} 2^{n-l} {n \choose {n-l}} {(-1)}^l  \frac{(\beta+1+n-k)_{k-l}}{(\alpha + \beta + 2)_{n-l}}
\frac{ (k - l  + 1)_{n-k}}{(n-l+ \alpha + \beta + 2)_{n-k}}.
\end{align}

\subsection{Chebyshev Polynomials of the Third and Fourth Kinds}

These classical orthogonal polynomials can be respectively defined from the Jacobi polynomials~\cite{handscomb}
\begin{align}
V_n(x) =& \frac{2^{2n}}{{{2n} \choose n}} P_n^{(-\frac12, \frac12)}(x) \label{VP} \\
W_n(x) =& \frac{2^{2n}}{{{2n} \choose n}} P_n^{(\frac12, -\frac12)}(x).  \label{WP}
\end{align}  $V_n(x)$ and $W_n(x)$ have terms in all powers of $x$ up to $n$ when expressed in terms of monomials.

From equation~(\ref{Pz}), we have
\begin{align}
V_n(x) =&
\frac{2^{n}}{{{2n} \choose n}} \sum_{m=0}^n  (-1)^{n-m} \left( \sum_{l=0}^{n-m} 2^l    \frac{(1 +n)_{n-l}(\frac{1}{2} - n)_{l}}{(n-l- m)! \; m! \; l!} \right) x^m
\end{align} so that
\begin{align} \label{Vx}
\alpha(n,k) =& \frac{2^{n}}{{{2n} \choose n}}  \frac{(-1)^{k}}{ (n-k)!} \sum_{l=0}^{k} 2^l    \frac{(1 +n)_{n-l}(\frac{1}{2} - n)_{l}}{(k-l)! \; l!}.
\end{align}

Similarly,
\begin{align}
W_n(x) =&
\frac{2^{n}}{{{2n} \choose n}} \sum_{m=0}^n  (-1)^{n-m} \left( \sum_{l=0}^{n-m} 2^l    \frac{(1 +n)_{n-l}(-\frac{1}{2} - n)_{l}}{(n-l-m)! \; m! \; l!} \right) x^m
\end{align}  so that
\begin{align}\label{Wx}
\alpha(n,k) =&
\frac{2^{n}}{{{2n} \choose n}}  \frac{(-1)^{k}}{(n-k)!}  \sum_{l=0}^{k} 2^l    \frac{(1 +n)_{n-l}(-\frac{1}{2} - n)_{l}}{(k-l)! \;  l!}.
\end{align}

Explicit formulas for these polynomials were also given by another approach by Dewi, Utama and Animah~\cite{dewi}. They are
\begin{align*}
V_n(x) =& \sum_{k = \lceil \frac{n}2 \rceil}^n {k \choose {n-k}} 2^{2k -n -1}(-1)^{n-k}  x^{2k -n -1} \left(2x - \frac{2k-n}k\right)\\
W_n(x) =& \sum_{k = \lceil \frac{n}2 \rceil}^n {k \choose {n-k}} 2^{2k -n -1}(-1)^{n-k}  x^{2k -n -1} \left(2x + \frac{2k-n}k\right)
\end{align*} where $n \geq 2$. These formulas also apply when $n=1$.

In the converse direction, from equation~(\ref{zP}), let
\[
 f(m,n) = \sum_{l = 0}^{n -m} 2^{n-l} {n \choose {n-l}} {(-1)}^l  \frac{(\frac32)_{n-l}}{(2)_{n-l}} \frac{(1)_{m} (n - l - m + 1)_{m}}{(\frac32)_{m} (n-l+ 2)_{m}}
 \]
so that from equation~(\ref{VP}), we obtain
\begin{equation}
x^n =   \sum_{m=0}^{n} (2m + 1) \frac{{{2m} \choose m}}{2^{2m}} f(m,n) V_m(x).
\end{equation}

This can be simplified by using
\[
(x)_n = \frac{\Gamma(x + n)}{\Gamma(x)} \:\:\mbox{ and }\:\: \Gamma(\frac12 + n) = \frac{(2n - 1)!!}{2^n}\sqrt{\pi}
\] to give

\begin{align}
x^n =&   \sum_{m=0}^{n} \left(\sum_{l = 0}^{n -m} \frac{ (-1)^l  \;(2(n-l) +1)!! \; n!}{(n-l- m)! \; (n-l+m+1)! \; l!} \right) V_m(x).
\end{align}

The coefficient function for the change of basis from monomials to Chebyshev polynomials of the third kind is therefore
\begin{equation}  \label{xV}
\alpha(n, k) = n! \sum_{l = 0}^{k} \frac{ (-1)^l  \;(2(n-l) +1)!!}{(k-l)! \; (2n- l -k  +1)! \; l!}.
\end{equation}

Similarly, we obtain
\begin{align}
x^n =&   \sum_{m=0}^{n} \left(\sum_{l = 0}^{n -m}  (2m+1)\frac{(-1)^l \; (2(n-l)-1)!! \; n!}{(n-l-m)! \; (n-l+m+1)! \;  l!} \right) W_m(x).
\end{align}

The coefficient function for the change of basis matrix from $W_n(x)$ to the monomials is
\begin{equation} \label{xW}
\alpha(n, k) =
(2(n-k)+1) n! \sum_{l = 0}^{k}  \frac{(-1)^l \; (2(n-l)-1)!! }{(k-l)! \; (2n-l -k +1)! \;  l!}.
\end{equation}

For example, when $n=4$, we have

\begin{gather*}
\begin{bmatrix}
1 & -\frac12 & \phantom{-}\frac12 & -\frac38 & \phantom{-}\frac38\\
\\
0 & \phantom{-}\frac12& -\frac14 & \phantom{-}\frac38 & -\frac14\\
\\
0 & 0 & \phantom{-}\frac14& -\frac18 & \phantom{-}\frac14\\
\\
0& 0 & 0& \phantom{-}\frac18& -\frac1{16}\\
\\
0&0&0&0&\phantom{-}\frac{1}{16}
\end{bmatrix}
\end{gather*}
and from the fifth column, for example,
\begin{align*}
x^4 =& \frac1{16} W_4(x) -\frac1{16}W_3(x)  + \frac14 W_2(x) - \frac14 W_1(x) + \frac38 W_0(x).
\end{align*}

\section{Shifted Classical Orthogonal Polynomials}

The shifted classical orthogonal polynomials include the shifted Chebyshev polynomials of the first kind, $T^{\ast}_n(x)$, the fourth kind, $W^{\ast}_n(x)$, and the shifted Legendre polynomials,  $P^{\ast}_n(x)$. All of them can be defined by applying the unshifted polynomial function to the argument $2 x -1$ instead of $x$, e.g., $T_n^{\ast}(x) = T_n(2 x -1)$. They each have $(0, 1)$ as their domain of orthogonality~\cite[Table 18.3.1]{dlmf}. We note that the method here is general and can be used for any linear shift of the form $cx + d$ and for any triangular polynomial basis.

\subsection{Mappings to the Monomials}
With these definitions, and the definitions of the unshifted polynomials in terms of the monomials, the shifted polynomials can be expressed using the basis $\{1, 2x -1, (2x -1)^2, \ldots, (2x -1)^{n}\}$. To express the shifted polynomials in terms of the monomials, we use equation~(\ref{Shiftm}) with $c = 2$ and $d = -1$, i.e.
\begin{equation} \label{Mshift}
\alpha(n, k) = {n \choose k} (-1)^k 2^{n-k}
\end{equation} and then apply equation~(\ref{beta-new}) because these polynomials have definite parity.

For shifted Chebyshev polynomials of the first kind we have
\[
T_n(x) = \frac{n}2 2^n \sum_{k=0}^{\lfloor \frac{n}2 \rfloor} (-1)^k 2^{-2k} \frac{(n-k-1)!}{k!(n-2k)!} x^{n-2k}
\] so that
\[
\beta_2(n,k) = \frac{n}2 2^n (-1)^k 2^{-2k} \frac{(n-k-1)!}{k!(n-2k)!}.
\]

Therefore,
\begin{align}
\alpha(n,k) =& \sum_{v=0}^{\lfloor \frac{k}2 \rfloor}  {{n-2v} \choose {k-2v}} (-1)^{k-2v} 2^{n-k} \frac{n}2 2^n (-1)^{v} 2^{-2v} \frac{(n-v-1)!}{v!(n-2v)!} \nonumber\\
=& \frac{n}2  \sum_{v=0}^{\lfloor \frac{k}2 \rfloor}  {{n-2v} \choose {k-2v}}  (-1)^{k-v} 2^{2(n-v)-k}   \frac{(n-v-1)!}{v!(n-2v)!} \label{MTs}
\end{align} and $\alpha(0,0) = 1$. We have
\[
T_n^{\ast}(x) = \sum_{k=0}^{n} \alpha(n,k) x^{n-k}.
\]

Similarly, for shifted Chebyshev polynomials of the second kind, we obtain
\begin{align}
\alpha(n,k) =& \sum_{v=0}^{\lfloor \frac{k}2 \rfloor}  {{n-2v} \choose {k-2v}} (-1)^{k-2v} 2^{n-k} 2^{n-2v} {{n-v}\choose v} (-1)^v \nonumber\\
=&\sum_{v=0}^{\lfloor \frac{k}2 \rfloor}  {{n-2v} \choose {k-2v}} {{n-v}\choose v} (-1)^{k-v} 2^{2(n-v)-k}.  \label{MUs}
\end{align}

The shifted Chebyshev polynomials of the third and fourth kinds, $V^{\ast}$ and $W^{\ast}$, can be similarly defined by
$V_n^{\ast}(x) = V_n(2 x -1)$  and $W_n^{\ast}(x) = W_n(2x -1)$, e.g.,~\cite[equation (1.27)]{handscomb}

For the mapping from the monomials to $V_n^{\ast}(x)$, we apply equation~(\ref{alpha-new2}) with $\alpha_1$ from equation~(\ref{Mshift}) and $\alpha_2$ from equation~(\ref{Vx}) to give :
\begin{equation} \label{MVs}
\alpha_3(n, k) = (-1)^{k} \frac{2^{2n-k}}{{{2n} \choose n} (n-k)!}  \sum_{v=0}^k
  \sum_{l=0}^{v} 2^l    \frac{(1 +n)_{n-l}(\frac{1}{2} - n)_{l}}{(k-v)! \; (v-l)! \;  l!}.
\end{equation}

For the similar mapping to $W_n^{\ast}(x)$ we use $\alpha_2$ from equation~(\ref{Wx}) instead to obtain:
\begin{equation} \label{MWs}
\alpha_3(n, k) = (-1)^{k} \frac{2^{2n-k}}{{{2n} \choose n} (n-k)!}  \sum_{v=0}^k
  \sum_{l=0}^{v} 2^l    \frac{(1 +n)_{n-l}(-\frac{1}{2} - n)_{l}}{(k-v)! \; (v-l)! \;  l!}.
\end{equation}

For shifted Legendre polynomials, we have
\begin{align}
\alpha(n,k) =& \sum_{v=0}^{\lfloor \frac{k}2 \rfloor}  {{n-2v} \choose {k-2v}} (-1)^{k-2v} 2^{n-k} 2^{-n}  {{2n-2v}\choose n} {n \choose v}(-1)^v \nonumber\\
=&2^{-k} \sum_{v=0}^{\lfloor \frac{k}2 \rfloor}  {{n-2v} \choose {k-2v}} {{2n-2v}\choose n} {n \choose v} (-1)^{k-v}.   \label{MPs}
\end{align}

\subsection{Mappings from the Monomials}
In the converse direction, we apply the  change of bases from
\[
\{1, 2x -1, (2x -1)^2, \ldots, (2x -1)^{n}\}
\] to the shifted polynomials $T_n^{\ast}(x)$, $U_n^{\ast}(x)$ and $P_n^\ast(x)$. We first consider the change of basis from the monomials to $\{1, 2x -1, (2x -1)^2, \ldots, (2x -1)^{n}\}$.

This mapping follows from equation (\ref{mShift}) with $c = 2$ and $d = -1$ to give
\begin{equation} \label{invShift}
\alpha_2(n, k) = {n \choose k} 2^{-n}.
\end{equation}

The change of basis from monomials to  Chebyshev polynomials of the first kind is given by  the coefficient function
\begin{equation*}
\beta_1(n, k) =  \left\{
\begin{array}{ll}
{n \choose k} 2^{1-n}& \mbox{if $0  \leq 2 k< n$}\\
\\
{n \choose k} 2^{-n} &  \mbox{if $2 k  = n$.}
\end{array}
\right.
\end{equation*}

This is equivalent to solutions given by Mason and Handscomb~\cite{handscomb}, section 2.3.1 and a note by Tao~\cite{tao}.

The coefficient function is the same as that of shifted Chebyshev functions of the first kind since the variable $x$ is replaced by $2x -1$. These polynomials have definite parity, so that the optimization in case 3 of Wolfram~\cite[equation (12)]{wolfram} can be applied to give the required coefficient function:
\begin{align}
\alpha_3(n, k)=& \sum^{k}_{\mathclap{\substack{v = 0 \\ k-v \mbox{\small \; even}}}} \alpha_1(n  - v, k-v) \alpha_2(n , v) \nonumber\\
=& \sum^{k}_{\mathclap{\substack{v = 0 \\ k-v \mbox{\small \; even}}}} \beta_1(n  - v,  \frac{k-v}2) {n \choose v} 2^{-n}. \nonumber
\end{align} This gives
\begin{equation}
\alpha_3(n,k) = 2^{1-2n} \sum^{k}_{\mathclap{\substack{v = 0 \\ k-v \mbox{\small \; even}}}} {{n-v} \choose { \frac{k-v}2}} {n \choose v}  2^v\:\:\: \mbox{ if $0  \leq  k< n$} \label{Ts1M}
\end{equation}

\begin{equation}
\alpha_3(n,k) = 2^{-2n} \sum^{k}_{\mathclap{\substack{v = 0 \\ k-v \mbox{\small \; even}}}} {{n-v} \choose { \frac{k-v}2}}    {n \choose v}  2^v \:\:\: \mbox{ if $k  = n$} \label{Ts2M}
\end{equation} and
\[
x^n = \sum_ {k=0}^n \alpha_3(n, k) T_{n-k}^{\ast}(x).
\]

For the  Chebyshev polynomials of the second kind, the mapping from the monomials has the coefficient function
\begin{equation}
\beta_1(n, k) = 2^{-n} (n - 2k + 1) \frac{n!}{(2)_{n-k} k!}.
\end{equation} This follows from Koornwinder et al.~\cite[equation 18.18.17]{dlmf} with $\lambda = 1$. In a similar way to the case for $T_n^{\ast}(x)$ above, we have
\begin{align}
\alpha_3(n, k)=& \sum^{k}_{\mathclap{\substack{v = 0 \\ k-v \mbox{\small \; even}}}} \alpha_1(n  - v, k-v) \alpha_2(n , v) \nonumber\\
=& \sum^{k}_{\mathclap{\substack{v = 0 \\ k-v \mbox{\small \; even}}}} \beta_1(n  - v,  \frac{k-v}2) {n \choose v} 2^{-n} \nonumber \\
=&  2^{-2n}(1 + n -k) n! \sum^{k}_{\mathclap{\substack{v = 0 \\ k-v \mbox{\small \; even}}}}   \frac{2^v}{(2)_{n - \frac{v+k}2} v! (\frac{k-v}2)!}. \label{UsM}
\end{align}

For the mapping from $V^{\ast}_n(x)$ from the monomials, we use $\alpha_1$ from equation~(\ref{xV}) and $\alpha_2$ from equation~(\ref{invShift})  to give:
\begin{equation} \label{VsM}
\alpha_3(n, k) =  2^{-n} n! \sum_{v=0}^k
  \sum_{l = 0}^{k-v} \frac{ (-1)^l  \;(2(n -v-l) +1)!!}{(k-v- l)! \; (2n-v - l - k  +1)! \; v! \; l!}.
\end{equation}

Similarly for $W^{\ast}_n(x)$  we use $\alpha_1$ from equation~(\ref{xW}):
\begin{equation} \label{WsM}
\alpha_3(n, k) =  2^{-n} (2(n-k) + 1) n! \sum_{v=0}^k
  \sum_{l = 0}^{k-v} \frac{ (-1)^l  \;(2(n -v-l) -1)!!}{(k-v- l)! \; (2n-v - l - k  +1)! \; v! \; l!}.
\end{equation}

For the shifted Legendre polynomials,  we have from Koornwinder et al.~\cite[equation 18.18.17]{dlmf} with $\lambda = \frac12$ that
\begin{equation}
\beta_1(n, k) = 2^{-n} (1 + 2n - 4k) \frac{n!}{(\frac32)_{n-k} k!}
\end{equation} so that
\begin{align}
\alpha_3(n, k)=& \sum^{k}_{\mathclap{\substack{v = 0 \\ k-v \mbox{\small \; even}}}} \alpha_1(n  - v, k-v) \alpha_2(n , v) \nonumber\\
=&  \sum^{k}_{\mathclap{\substack{v = 0 \\ k-v \mbox{\small \; even}}}} \beta_1(n  - v,  \frac{k-v}2) {n \choose v} 2^{-n} \nonumber \\
=&  2^{-2n} (2(n-k) + 1)  n!\sum^{k}_{\mathclap{\substack{v = 0 \\ k-v \mbox{\small \; even}}}}  \frac{2^v}{(\frac32)_{n - \frac{v+k}2} v! (\frac{k-v}2)!}.  \label{PsM}
\end{align}

For example,
\begin{align*}
x^4 =& \alpha_3(4, 0) P_4^{\ast}(x) + \alpha_3(4, 1) P_3^{\ast}(x) + \alpha_3(4, 2) P_2^{\ast}(x) + \alpha_3(4, 3) P_1^{\ast}(x) +\alpha_3(4, 4) P_0^{\ast}(x) \\
=& \frac{1}{70}  P_4(2x -1) + \frac1{10} P_3(2x-1)+ \frac{2}7 P_2(2x-1) +  \frac25 P_1(2x-1)+ \frac15 .
\end{align*}

\section{Examples}

We give two examples of derivations of coefficient functions for change of basis between Jacobi polynomials,  and Physicist's Hermite polynomials to the shifted Legendre polynomials.

The coefficient function for Jacobi polynomials has four extra parameters which are the parameters of the Jacobi polynomials: two for the those in the domain basis and two for the range basis. By swapping these parameters, we find the inverse of the change of basis matrix.

The example of deriving the coefficient function for the change of basis from Physicist's Hermite polynomials to the shifted Legendre polynomials uses equation~(\ref{alpha-new2}) because the shifted Legendre polynomials do not have definite parity.

\subsection{Jacobi Polynomials}

From equation~(\ref{Pz}), we have

\begin{align}
\alpha_2(n, k, \alpha, \beta) =& \sum_{l=0}^{k} \frac{ (-1)^{k}}{2^{n-l}}   \frac{(1 + \alpha+\beta+n)_{n-l}(-\alpha - n)_{l}}{(k-l)! \; (n-k)! \; l!}.
\end{align}

From equation~(\ref{zP}), let $k = n - m$, so that
\begin{align} \label{alpha-zP}
\alpha_1(n, k, \gamma, \delta) =& \frac{\gamma+\delta +2(n-k) + 1}{\gamma + \delta + 1}  \left(
\sum_{l = 0}^{k} 2^{n-l} {n \choose {n-l}} {(-1)}^l  \frac{(\delta+1)_{n-l}}{(\gamma + \delta + 2)_{n-l}}\right. \nonumber \\
&\left.  \frac{(\gamma + \delta+1)_{n-k} (k - l  + 1)_{n-k}}{(\delta+1)_{n-k} (n-l+ \gamma + \delta + 2)_{n-k}}
\right).
\end{align}

Hence from equation~(\ref{alpha-new2}), it follows that
\begin{equation}  \label{PP}
\alpha_3(n, k, \alpha, \beta, \gamma, \delta)= \sum_{v=0}^{k} \alpha_1(n - v, k-v,  \gamma, \delta) \alpha_2(n , v, \alpha, \beta).
\end{equation} where $0 \leq k \leq n$.

This equation gives the elements of the upper triangular change of basis matrix for the mapping from the basis  $\{P_n^{(\alpha, \beta)}(z), n \geq 0\}$ to the basis   $\{P_n^{(\gamma, \delta)}(z), n \geq 0\}$.

Another coefficient function  for Jacobi Polynomials can be derived from equation 18.18.14 of Koornwinder et al.~\cite{dlmf}. These coefficient functions
generalize three solutions for special cases by Askey~\cite{askey2} who used another method: equation (7.32) where $ \alpha = \gamma$, equation (7.33) where $\beta = \delta$, and equation (7.34) where $\alpha = \beta$ and $\gamma = \delta$.

The inverse change of basis matrix has the property that it can be found by interchanging $\alpha$ and $\gamma$ with $\beta$ and $\delta$, respectively, by using $\alpha_3(n, k, \gamma, \delta, \alpha, \beta)$.

For example, let $n = 4$, $\alpha = 1$ and $\beta = 8$, $\gamma = 2$,  $\delta = 7$.  The change of basis matrix from $\{P_n^{(2, 7)}(z), 0 \leq n \leq 4\}$ to the basis  $\{P_n^{(1, 8)}(z), 0 \leq n \leq 4\}$ is

\begin{gather*}
\begin{bmatrix}
1 & 1 & \frac{9}{11} & \frac{15}{22} & \frac{15}{26}\\
\\
0 & 1& \frac{12}{11} & \frac{10}{11} & \frac{10}{13}\\
\\
0 & 0 & 1& \frac76 & \frac{77}{78}\\
\\
0& 0 & 0& 1& \frac{16}{13}\\
\\
0&0&0&0&1
\end{bmatrix}
\end{gather*} and from the fourth column,
\[
P_3^{(2, 7)}(z) = P_3^{(1, 8)}(z) + \frac76 P_2^{(1, 8)}(z) + \frac{10}{11}P_1^{(1, 8)}(z) + \frac{15}{22} P_0^{(1, 8)}(z).
\]

\subsection{Physicist's Hermite Polynomials to Shifted  Legendre Polynomials}

The coefficient function in this example can be found from equation~(\ref{alpha-new2}) because shifted Legendre polynomials do not have definite parity.

The coefficient function for the change of basis from the monomials to shifted Legendre polynomials is
from equation~(\ref{PsM}) for $\alpha_1(n, k)$.

From Table~\ref{M1} the coefficient function for the change of basis from Physicist's Hermite polynomials to the monomials is derived from Abramowitz and Stegun~\cite[equation 22.3.10]{as}. This is
\begin{equation}
\beta_2(n,k) = (-1)^k 2^{n-2k} \frac{n!}{k!(n-2k)!}.
\end{equation}

From equation~ (\ref{beta-alpha}),
\begin{equation}
\alpha_2(n, v) =
 \left\{
\begin{array}{ll}
 (-1)^{\frac{v}2}  2^{n-v} \frac{n!}{(\frac{v}2)!(n-v)!} & \mbox{if $v$  is even}\\
\\
0 & \mbox{if  $v$ is odd.}\\
\end{array}
\right.
\end{equation}

From equation~(\ref{alpha-new2}), we have
\begin{align*}
\alpha_3(n, k)=& \sum_{v=0}^{k} \alpha_1(n - v, k-v) \alpha_2(n , v).
\end{align*}

It follows that
\begin{align*}
H_5(x) =& \sum_{v=0}^5 \alpha_3(5,v) P^{\ast}_{5-v}(x)  \\
=& \frac{8}{63} P^{\ast}_5(x) + \frac87 P^{\ast}_4(x) - \frac{32}9 P^{\ast}_3(x) - \frac{640}{21} P^{\ast}_2(x)  - \frac47 P^{\ast}_1(x)  + \frac{76}3 P^{\ast}_0(x)\\
=& 32 x^5 -160 x^3 + 120 x.
\end{align*}

\section{Conclusion}

Previous work~\cite{wolfram} introduced a change of basis groupoid and provides the framework for this work. We reduced the scope here to fifteen classical orthogonal polynomials including the classes of Jacobi polynomials, Gegenbauer polynomials and generalized Laguerre polynomials.

We used the monomials  as the exchange basis and gave thirty algebraic expressions called coefficient functions that evaluate to connection coefficients  for the mappings to and from the monomials. The appendix summarizes them.
With this library of coefficient functions, the framework enables us  to derive a coefficient function for the mapping between any pair of classical orthogonal polynomial bases. We do this using equation~(\ref{alpha-new2}), or its optimizations~\cite{wolfram} when at least one of the bases has definite parity.

Of the thirty algebraic expressions, eighteen relate to classical orthogonal polynomials that do not have definite parity. Sixteen of these expressions seem new.

We used the change of basis between shifted monomials and the monomials. This enabled us to map the basis of Jacobi polynomials to and from the monomials. This mapping led to a similar one for Chebyshev polynomials of the third and fourth kinds by using a definition of them based on the Jacobi polynomials. The technique also produced mappings for five shifted classical orthogonal polynomials: $T^{\ast}$, $U^{\ast}$, $V^{\ast}$, $W^{\ast}$ and $P^{\ast}$. The technique allows for any linear shift $cx + d$, and it applies to any triangular polynomial basis over $\mathbb{C}[x]$.

We then gave examples for changes of bases between Jacobi polynomials, and from Physicist's Hermite polynomials to the shifted Legendre polynomials.

\section*{Acknowledgment}
 I am grateful  to the College of Engineering \& Computer Science at The Australian National University for research support.


\section{Introduction}
\label{sec:intro}

Suppose that $X$ is a simply connected, closed, smooth, oriented four-manifold.
As $H_2\cong \pi _2$ in this case, all second homology classes can be
represented by a smooth map $f\colon S^2\to X$, and in this dimension we can
assume that $f$ is an immersion. There are, however, serious restrictions
on the homology class if we demand $f$ to be an embedding, i.e. if
the homology class can be represented by an embedded sphere.
(We will call such a homology class \emph{spherical}.)

The question of which integers appear as self-intersections of
spherical classes has been studied for some time. For example, in
$S^2\times S^2$ (being diffeomorphic to the Hirzebruch surfaces
${\mathbb {F}}_n$ for any even $n$, hence containing spheres of
self-intersections $n$ and $-n$) we have only mild homological
constrains (namely the parity of the self-intersection).  A similar
argument shows spheres in ${\mathbb {CP}}^2\# {\overline {{\mathbb C}{\mathbb P}}} ^2$
with arbirtarily odd negative and positive self-intersections, and
similar statements hold for the blow-ups of these manifolds (which are
diffeomorphic to ${\mathbb {CP}}^2\# n{\overline {{\mathbb C}{\mathbb P}}} ^2$ with
$n\geq 2$).

If $X$ has nontrivial Seiberg-Witten invariants \cite{Mor, W} and
$b_2^+(X)>1$, then the possibilities are much more restrictive; for
example, the self-intersection of a non-torsion spherical homology
class in such a four-manifold must be negative.  It is an open
question, however, if the negative numbers appearing as
self-intersections of spheres in a four-manifold $X$ with $b_2^+(X)>1$
and non-trivial Seiberg-Witten invariants $SW_X$ form a bounded set.

For the $K3$ surface, the unique smooth four-manifold (up to
diffeomorphism) which is simply connected and admits a complex
structure with $c_1=0$, so far the largest (in absolute value)
negative self-intersection has been found in \cite{FM}: Finashin and
Mikhalkin showed that for any even $k$ between $-2$ and $-86$
(including the two endpoints) there is a spherical class with
self-intersection $k$. (As the $K3$ surface is spin,
self-intersections are even.)  It is still an open question whether
there are spherical classes in the $K3$ surface with self-intersection
$<-86$.

In this note we generalize the result of \cite{FM} to simply connected
elliptic surface which admit a section and have $b_2^+>1$ (these
manifolds are usually denoted by $E(n)$ with $n>1$, and in this
notation $K3$ is simply $E(2)$, cf. \cite{FrMo, GS}). We also extend
results to blow-ups of these elliptic surfaces.

\begin{thm} \label{thm:negspheres}
  The four-manifold $E(n)$ with $n\geq 2$ contains a sphere with
  self-intersection
  \begin{equation}\label{ed:sinter}
  s(n)= -44.2\cdot n + 0.8 \cdot (5-r)
  \end{equation}
  where $r\in \{ 0, 1,2,3, 4\}$ is the residue of $n$ mod 5.
\end{thm}
This result recovers the Finashin-Mikhalkin example for $n=2$ and
generalizes it to the further $E(n)$'s.

The above examples can be modified and adapted in the blown-up
elliptic surfaces.  In particular, we have

\begin{thm}\label{thm:negsphereinblowup}
  Let $X_{n,k}$ denote the $k$-fold blow-up of the elliptic surface
  $E(n)$ (once again, with $n\geq 2$).
  Then $X_{n,k}$ contains a sphere of self-intersection $s(n)-5k$.
  \end{thm}
In some cases we find spheres in $X_{n,k}$ with self-intersection less
than the value given in the above theorem (see the examples at the end
of Section~\ref{sec:blowups}). Examining the examples we have found,
we arrived to the following conjecture:

\begin{conj}\label{conj:mostnegsphere}
  There is a universal constant $C$ with the following property.
  For a closed, oriented four-manifold $X$ with $b_2^+(X)>1$ and
  with nontrivial   Seiberg-Witten invariant $SW_X$, and
  $S\subset X$  smoothly embedded sphere in $X$,
  the self-intersection $[S]^2$ satisfies the inequality
  \[
    [S]^2\geq C\cdot b_2(X).
    \]
   \end{conj}
The best candidate for $C$ so far (based on examples in elliptic
surfaces and their blow-ups) is $C= -5$. Note that by \cite{taubes}
the condition $SW_X\neq 0$ on the Seiberg-Witten invariants is
satisfied by all symplectic four-manifolds with $b_2^+>1$.

\begin{rem}
  We can also consider locally flat maps $f\colon S^2\to X$, for which
  the situation is drastically different: as we disregard the smooth
  structure of $X$ in this way, it is not hard to see that once $X$ is
  indefinite, we can have arbitrarily large (in absolute value)
  positive and negative self-intersections of spheres. The argument
  rests on the fact that both $S^2$-bundles over $S^2$ ($S^2\times
  S^2$ and ${\mathbb C}{\mathbb P} ^2 \# {\overline {{\mathbb C}{\mathbb P}}}^2$) contain spheres of
  arbitrarily large positive and negative self-intersections, and
  indefinite simply connected topological manifolds admit one of the
  above bundles as direct summands. The question still remains
  interesting for definite four-manifolds, though. See
  \cite{ballinger} for self-intersections of smooth spheres in the
  definite smooth four-manifolds $\# n{\mathbb {CP}}^2$.
  \end{rem}

The question of minimal self-intersections of spheres can be extended
to arbitrary genus: fix a genus $g$ and consider those homology
classes in the closed, oriented, smooth four-manifold $X$ with
$b_2^+(X)>1$ (and with non-trivial $SW_X$) which can be represented by
a smoothly embedded genus-$g$ surface. The adjunction inequality
provides an upper bound for the self-intersection of such surfaces;
we did not find examples of arbitrary negative self-intersections
(once again, with fixed $g$).

{\bf {Acknowledgements}}: AS was partially supported by the
\emph{\'Elvonal (Frontier) grant} KKP126683 of the NKFIH.  ZSz was
partially supported by NSF Grant DMS-1904628. We would like to thank
William Ballinger for enlightening discussions.

\section{Ellitpic fibrations and monodromies}
\label{sec:elliptics}
Suppose that $X$ is a compact complex surface and $f\colon X\to
{\mathbb {CP}}^1$ is a holomorphic map.  The map $f$ is an
\emph{elliptic fibration} if for a generic $t\in {\mathbb {CP}}^1$ the
fiber $f^{-1}(t)$ over $t$ is an elliptic curve (topologically a
two-dimensional torus).  A \emph{section} of an elliptic fibration is
a map $p\colon {\mathbb {CP}}^1 \to X$ satisfying $f\circ p=id_{{\mathbb
    {CP}}^1}$.  A complex surface is an elliptic surface if it admits
an elliptic fibration.

Singular fibers in an elliptic fibration were classified by Kodaira
(see~\cite{HKK}). In the following we will not need all possible
singular elliptic fibers; we restrict our attention to those which
will be useful in proving our main results. Indeed, the singular
fibers ${\widetilde {E}}_j$ (with $j=6,7,8$) and the singular fiber
$I^*_0$ can be given by the plumbing diagrams of
Figure~\ref{fig:Singfibers}.

\begin{figure}
\centering
\includegraphics[width=12cm]{graphs.eps}
\caption{ {\bf {The plumbing graphs of the singular fibers $I_0^*$ (upper left)
      and ${\widetilde {E}}_j$ (with $j+1$ vertices) for $j=6,7,8$
      in an elliptic fibration.}} In the plumbing graphs all vertices
  represent spheres and come with self-intersection $-2$. The monodromies are: $(ab)^3$ (for $I_o^*$),
  $(ab)^5$ (for ${\widetilde {E}}_8$), $(ab)^4a$ (for ${\widetilde {E}}_7$) and
$(ab)^4$ (for ${\widetilde {E}}_6$).}
\label{fig:Singfibers}
\end{figure}

Elliptic surfaces were classified by Kodaira. Simply connected
elliptic surface admitting a section can be constructed as follows:
consider two cubic curves in the complex projective plane ${\mathbb
  {CP}}^2$ so that every intersection point is a smooth point of at
least one of the curves. Consider the pencil generated by these
curves. (If the two curves are given as zero sets of the cubic
polynomials $p_0$ and $p_1$, then the pencil is the family of curves
defined by the cubic polynomials $p_t=t_0p_0+t_1p_1$ with the
projective parameter $t=[t_0:t_1]\in {\mathbb {CP}}^1$.)  The
nine-fold (possibly infinitely close) blow-up of the pencil on
${\mathbb {CP}}^2$ provides an elliptic fibration on $E(1)={\mathbb
  {CP}}^2 \# 9{\overline {\mathbb {CP}}}^2$. Taking $n$-fold fiber
sums of this surface with itself, we get $E(n)$, and up to complex
deformation (according to Kodaira's classification) in this way we get
all simply connected elliptic surfaces admitting sections,
cf. also~\cite{GS}.  This construction does not provide all the
elliptic \emph{fibrations} on these smooth four-manifolds, though: not
every fibration on $E(n)$ can be described as a fiber sum of
fibrations on $E(1)$.

Consider a disk in ${\mathbb {CP}}^1$ containing some points with the
property that their inverse image is not a regular fiber (those are
called singular fibers). Assume furthermore that the boundary of the
disk does not contain any such points. Then the restriction of the
fibration to this boundary circle is a torus bundle over the circle,
which can be desribed by its monodromy, an element of the mapping
class group of the torus, isomorphic to the group ${\rm {SL}}_2 (\mathbb Z
)$. The monodromy of the simplest singular fiber (coming from a nodal curve)
corresponds to a right-handed Dehn twist along a simple closed curve
in the torus, while more complicated singular fibers (or more singular
fibers in a disk) give rise to more complicated words in
${\rm {SL}}_2 (\mathbb Z )$.

The group ${\rm {SL}}_2 (\mathbb Z )$ admits a presentation as
\[
\langle a, b \mid aba=bab, (ab)^6=1\rangle ,
\]
where $a$ and $b$ can be chosen to be right-handed Dehn twists along
two simple closed curves in the torus intersecting each other
transversely in a single point.  Furthermore, the ${\widetilde
  {E}}_8$ fiber has monodromy $(ab)^5$, the ${\widetilde {E}}_6$ fiber
has monodromy $(ab)^4$, while the $I^*_0$ fiber has monodromy
$(ab)^3$. (More on these singular fibers see \cite[pages~35-36]{HKK}.)

For a generic choice of cubic curves, the blow-up of the corresponding
pencil provides the monodromy presentation $(ab)^6$ on $E(1)$.  For
$E(n)$ the corresponding presentation is $(ab)^{6n}$.

\begin{proof}[Proof of Theorem~\ref{thm:negspheres}]
  Suppose that $n=5k+r$, with $r\in \{ 0, \ldots , 4\}$.
  Then the monodromy $(ab)^{6n}$ is equal to $(ab)^{30k+6r}=
  ((ab)^5)^{6k}(ab)^{6r}$. Write $6r$ as
  \begin{itemize}
  \item 0 when $r=0$
  \item $3+3$ when $r=1$
  \item $5+4+3$ when $r=2$
  \item $5+5+5+3$ when $r=3$, and
  \item $5+5+5+5+4$ when  $r=4$.
  \end{itemize}
  With these decompositions, the monodromy presentation equips $E(n)$
  with a fibration containing $6k$ ${\widetilde {E}}_8$-fibers and
  some possible further ${\widetilde {E}}_8$-fibers (for $r=2,3,4$,
  corresponding to the 5's in the decomposition of $6r$) one or two
  $I^*_0$ fibers (corresponding to the 3's in the decomposition of
  $6r$) and possibly one further ${\widetilde {E}}_6$-fiber (for
  $r=2,4$). Together with a section of the fibration (which is a
  sphere of self-intersection $-n$, intersecting each fiber in a
  single point) these fibers give rise to a configuration of
  $(-2)$spheres (with the exception of the section, which has
  self-intersection $-n$) intersecting each other transversely
  according to a tree. Orienting them so that all intersections are
  negative (which is possible, as a tree is two-colorable), and then
  smoothing the intersections, we get a sphere with the desired
  self-intersection, concluding the proof.
\end{proof}
\begin{rem}
This construction essentially generalizes the proof given for the $K3$
surface in \cite{FM}, although they decomposed $12$ as $4+4+4$ (and
not as $5+4+3$ as above), receiving a more symmetric diagram in
\cite[Figure~3]{FM}.
\end{rem}

\section{Blown up elliptic surfaces}
\label{sec:blowups}
Suppose that the four-manifold $X$ contains a sphere of
self-intersection $-m$. As ${\overline {{\mathbb C}{\mathbb P}}}^2$ contains a
$(-4)$-sphere, we can easily find in the $k$-fold blow-up $X\#
k{\overline {{\mathbb C}{\mathbb P}}}^2$ a sphere of self-intersection $-m-4k$ by
tubing the spheres in the components of the connected sum decomposition
together.

In some cases, however,  this construction can be significantly improved.

\begin{prop}\label{prop:twosphereblow}
  Suppose that $X$ contains two spheres transversely intersecting each
  other in a single point, and having self-intersections $x$ and $y$.
  Then in the $k$-fold blow-up $X\# k{\overline {\mathbb {CP}}}^2$
  there is an embedded sphere with self-intersection $x+y-2-5k$.
\end{prop}
\begin{proof}
  Indeed, consider the two spheres in $X$ and blow up their (unique)
  intersection point. Together with the exceptional divisor we get now
  three embedded spheres of self-intersections $x-1$, $-1$ and $y-1$,
  intersecting each other along a linear graph. Blowing up edges of
  this graph (or, phrased differently, intersection points of the spheres),
  smoothing the intersection points (with appropriate orientations),
  a simple count verifies the claim.
  \end{proof}

\begin{proof}[Proof of Theorem~\ref{thm:negsphereinblowup}]
  In an elliptic surface we construct the sphere of self-intersection
  $s(n)$ by finding a tree of embedded spheres, and then smoothing
  their intersection points. By skipping one smoothing we get the
  configuration of two transversely intersecting spheres as demanded
  by Proposition~\ref{prop:twosphereblow}, hence the application of
  the proposition concludes the proof.
\end{proof}

For the blown-up elliptic surfaces we can use other singular fibers to
blow up, providing further negative spheres.  Indeed, a cups fiber
(also called type II fiber in the table of \cite[page 35]{HKK}) is a
singular sphere in an elliptic fibration, which admits one singular
point modelled by the cone on the trefoil knot.  The monodromy of a
cusp fiber is equal to $ab$.  We get a configuration of smooth curves
intersecting each other transversally (and without triple
intersections) after blowing up the cusp point three times.  In these
blow-ups the fiber will become a smooth sphere of self-intersection
$(-6)$, connected to a sphere of self-intersection $(-1)$, which is
connected to a $(-2)$- and a $(-3)$-sphere.  In a similar way, we can
use a type III fiber (with monodromy $aba$), which consists of two
$(-2)$-curves tangent to each other.  After two blow-ups this fiber
transforms to a configuration of a $(-1)$-sphere, intersected by two
$(-4)$-spheres and a $(-2)$-sphere. Sometimes a type IV fiber provides
the best result; this fiber consists of three $(-2)$-spheres passing
thorugh the same point, and has monodromy $(ab)^2$. Blowing up the
common intersection of the three spheres once, we get a configuration
of four spheres, a central $(-1)$-sphere intersected by three $(-3)$-spheres.

Another way to get an embedded sphere proceeds as follows. Suppose
that in the elliptic surface $E(n)$ we have an embedded sphere
transversely intersecting a cusp fiber in a single point. The
neighbourhood $N_c$ of the cusp point is modelled by the cone on the
trefoil knot. The same local model occurs near the singular point of
the cuspidal cubic curve
\[
C=\{ [x:y:z]\in {\mathbb {CP}}^2\mid x^3=y^2z\} .
\]
Therefore we can glue $E(n)\setminus N_c$ with the complement of the
similar neighbourhood of the cusp point of $C$ --- as we use an
orientation reversing diffeomorphism between the boundaries, we find a
sphere in $E(n)\# {\overline {\mathbb {CP}}}^2$, the blow-up of
$E(n)$. The resulting sphere has self-intersection $-9$, still
transversely intersecting the sphere in $E(n)$ in a unique point.

\begin{comment}
\begin{prop}\label{prop:blowup}
  Let $X_n$ denote  the $18n$-fold blow-up of the elliptic surface
  $E(n)$ (with $n\geq 2$).
  Then $X_{n}$ contains a sphere of self-intersection
  $-121n$.
\end{prop}
\begin{proof}
  Consider a fibration on $E(n)$ with $6n$ cusp fibers.  As $E(1)$
  admits a fibration with six cusp fibers, and $E(n)$ can be given as
  the $n$-fold fiber sum of $E(1)$, such fibration clearly exists.
    The same conclusion can be drawn from monodromies: the
  total monodromy of the elliptic fibration on $E(n)$ is $(ab)^{6n}$,
  and the monodromy of the cusp fiber is $ab$, hence we can get a
  fibration with $6n$ cusps.  Blowing up each cusp fiber three-times,
  we get a tree of spheres on $24n+1$ vertices, having $6n$ spheres of
  self-intersections $-1,-2,-3,-6$ respectively, and a sphere
  (corresponding to a degree-$6n$ vertex, and originating from the
  section of $E(n)$) of self-intersection $-n$. The usual smoothing
  construction then provides the desired sphere of self-intersection
  $-121n$.
\end{proof}
\end{comment}

For $X_{n,k}=E(n)\# k{\overline {\mathbb {CP}}}^2$ we can follow a
mixed strategy of constructing spheres: start with the monodromy
presentation of $E(n)$ as $(ab)^{6n}$, separate a few cusp (or type
III or IV) fibers (occupying some of the monodromy) for the blow-ups,
partition the rest of the blow-ups to get ${\widetilde {E}}_8$- or
${\widetilde {E}}_6$-fibers (taking $(ab)^5$ or $(ab)^4$ in the
monodromy), blow up the singular points of the cusp (or type III or
IV) fibers sufficiently many times, and apply the method of
Proposition~\ref{prop:twosphereblow}
for the leftover blow-ups.

\begin{comment}
As an
example, we construct two spheres in $E(2)\# 6{\overline {\mathbb
    {CP}}}^2$: one with the simplest strategy of tubing the
$-86$-sphere in $E(2)$ to the $(-4)$-spheres in the blow-ups
(ultimately giving a sphere with self-intersection $-110$), and
another one of self-intersection $-114$ as follows. Consider a
fibration on $E(2)$ with two cusp fibers and two ${\widetilde
  {E}}_8$-fibers; such fibration can be indeed given either by fiber
summing two appropriate fibrations on $E(1)$, or by decomposing the
monodromy of $E(2)$ as $(ab)(ab)(ab)^5(ab)^5$. Blowing up the two cusp
singularities three times each, after smoothing we get a sphere of
self-intersection $-114$, which is slighly better than the result
provided by our first strategy, but still obeys
Conjecture~\ref{conj:mostnegsphere}.
\end{comment}

As examples, we construct spheres in $E(2)\# {\overline {\mathbb
    {CP}}}^2$, in $E(6)\# {\overline {\mathbb {CP}}}^2$, and in
$E(6)\# 3{\overline {\mathbb {CP}}}^2$ using one or more of the
strategies outlined above.

\begin{exa}[Spheres in $E(2)\# {\overline {\mathbb {CP}}}^2$]
\label{exa:k3egy}
  Considering the monodromy of $E(2)$ as $(ab)^5\cdot (ab)^5\cdot (ab)^2$,
  we get an elliptic fibration on the $K3$ surface with three singular
  fibers, two ${\widetilde {E}}_8$ and one type IV. Blowing up the
  singular point of the type IV fiber, we get a tree of spheres with 23
  vertices, 19 of them $(-2)$-spheres, one $(-1)$ and three $(-3)$.
  A simple computation shows the existence of a sphere of self-intersection
  $-92$. (This construction gives a slightly better result than blowing up
  an edge in the tree of spheres giving the $(-86)$-sphere in the $K3$ surface,
  which results a $(-91)$-sphere.)
  \end{exa}

\begin{exa}[Spheres in $E(6)\# {\overline {\mathbb {CP}}}^2$]
\label{exa:e6egy}
  As it was shown in Theorem~\ref{thm:negspheres}, there is a sphere
  of self-intersection $-262$ in $E(6)$; its connected sum with the
  $(-4)$-sphere in ${\overline {\mathbb {CP}}}^2$ gives a
  $(-266)$-sphere. As the $(-262)$-sphere is given by a tree, hence can be
  viewed as smoothing of two spheres  intersecting transversally once, by
  blowing up the intersection point of these spheres we get a
  $(-267)$-sphere in $E(6)\# {\overline {\mathbb {CP}}}^2$.
  Consider now a slightly different construction: take a fibration on
  $E(6)$ with 7 ${\widetilde {E}}_8$-fibers and a cusp (as the total
  monodromy of $E(6)$ is $(ab)^{36}=((ab)^5)^7\cdot (ab)$). Use the seven
  ${\widetilde {E}}_8$-fibers (together with the section)
  to create a $(-258)$-sphere in $E(6)$ intersecting the unique cusp fiber
  in one transverse point. Now summing it with the cuspical cubic in
  ${\overline {\mathbb {CP}}}^2$ we get a $(-9)$-curve, and smoothing
  the intersection with the appropriate orientations we finally receive a
  sphere in $E(6)\# {\overline {\mathbb {CP}}}^2$ of self-intersection
  $-269$.
\end{exa}

\begin{exa}[Spheres in $E(6)\# 3 {\overline {\mathbb {CP}}}^2$]
\label{exa:e6harom}

By presenting the $(-262)$-sphere in
$E(6)$ with a plumbing graph and blowing up edges there, we get a
$(-277)$-sphere in the three-fold blow-up. There is a further
possibility: consider the fibration with 7 ${\widetilde {E}}_8$-fibers
and a cusp fiber, and blow up the cusp three times. Simple calculation
shows that the resulting sphere has self-intersection $-278$. A better
result can be achieved by taking the $(-269)$-sphere of
Example~\ref{exa:e6egy} in $E(6)\# {\overline {\mathbb {CP}}}^2$ and
blow it up twice (as done in Proposition~\ref{prop:twosphereblow}) to
get a sphere with self-intersection $-279$.
\end{exa}
Notice that all the above examples satisfy
Conjecture~\ref{conj:mostnegsphere}; the ratio of the (negative of
the) self-intersection and $b_2$ is significantly less than 5. So far
we found examples with this ratio being close to 5 only after a
significant amount of blow-ups.


\section{Introduction}

We first explain about the case of orientable surfaces.
For $g\geq0$, let $\Sigma_g$ denote an orientable closed surface of genus $g$, that is, $\Sigma_g$ is a connected sum of $g$ tori.
The \textit{mapping class group} $\mathcal{M}(\Sigma_g)$ of $\Sigma_g$ is the group which consists of isotopy classes of all orientation preserving diffeomorphisms of $\Sigma_g$.
The \textit{level $2$ mapping class group} $\mathcal{M}_2(\Sigma_g)$ of $\Sigma_g$ is the subgroup of $\mathcal{M}(\Sigma_g)$ which acts on $H_1(\Sigma_g;\mathbb{Z}/2\mathbb{Z})$ trivially.
Let $\mathcal{T}^2(\Sigma_g)$ denote the subgroup of $\mathcal{M}(\Sigma_g)$ generated by squares of \textit{Dehn twists} about non-separating curves.
It is known that $\mathcal{T}^2(\Sigma_g)=\mathcal{M}_2(\Sigma_g)$ (see \cite{Hu}).
Let $\mathcal{I}(\Sigma_g)$ denote the subgroup of $\mathcal{M}(\Sigma_g)$ which acts on $H_1(\Sigma_g;\mathbb{Z})$ trivially, called the \textit{Torelli group} of $\Sigma_g$.
It is clear that $\mathcal{I}(\Sigma_g)\subset\mathcal{M}_2(\Sigma_g)$, and hence we have that $\mathcal{T}^2(\Sigma_g)\mathcal{I}(\Sigma_g)=\mathcal{M}_2(\Sigma_g)$.

In this paper, we would like to consider the similar problem for the case of non-orientable surfaces, as follows.
For $g\geq1$, let $N_g$ denote a non-orientable closed surface of genus $g$, that is, $N_g$ is a connected sum of $\Sigma_h$ and $g-2h$ real projective planes for $\displaystyle0\leq{h}\leq\frac{g-1}{2}$.
In this paper, we describe $N_g$ as a surface obtained by attaching $g-2h$ M\"obius bands to a surface obtained by removing disjoint $g-2h$ disks from $\Sigma_h$, as shown in Figure~\ref{non-ori-surf}.
We call these attached M\"obius bands \textit{crosscaps}.
The \textit{mapping class group} $\mathcal{M}(N_g)$ of $N_g$ is the group which consists of isotopy classes of all diffeomorphisms of $N_g$.
The \textit{level $2$ mapping class group} $\mathcal{M}_2(N_g)$ of $N_g$ is the subgroup of $\mathcal{M}(N_g)$ which acts on $H_1(N_g;\mathbb{Z}/2\mathbb{Z})$ trivially.
Let $\mathcal{T}^2(N_g)$ denote the subgroup of $\mathcal{M}(N_g)$ generated by squares of Dehn twists about non-separating curves.
Note that $\mathcal{T}^2(N_g)\subset\mathcal{M}_2(N_g)$.
$\mathcal{M}_2(N_g)$ can be normally generated by one \textit{crosscap slide} (see \cite{Sz2}), and a crosscap slide can not be described as any product of Dehn twists (see \cite{Li}).
Hence $\mathcal{M}_2(N_g)$ can not be generated by only Dehn twists, and so $\mathcal{T}^2(N_g)\neq\mathcal{M}_2(N_g)$.
We consider the subgroup $\mathcal{T}_2(N_g)$ of $\mathcal{M}_2(N_g)$ generated by all Dehn twists, called the \textit{twist subgroup} of $\mathcal{M}_2(N_g)$.
Note that a generating set for $\mathcal{T}_2(N_g)$ which does not consist of squares of Dehn twists about non-separating curves is known (see \cite{KO}).
In this paper, we prove that $\mathcal{T}_2(N_g)\neq\mathcal{T}^2(N_g)$ either.

\begin{figure}[htbp]
\includegraphics{non-ori-surf}
\caption{A model of a non-orientable closed surface $N_g$.}\label{non-ori-surf}
\end{figure}

More precisely, in Section~\ref{main}, we prove the following, where $\mathcal{I}(N_g)$ is the subgroup of $\mathcal{M}(N_g)$ which acts on $H_1(N_g;\mathbb{Z})$ trivially, called the \textit{Tolleri group} of $N_g$.

\begin{thm}\label{main-1}
For $g\geq3$, the quotient of $\mathcal{T}_2(N_g)$ by $\mathcal{T}^2(N_g)\mathcal{I}(N_g)$ is isomorphic to $\left(\mathbb{Z}/2\mathbb{Z}\right)^{\tbinom{g-1}{2}-1}$ if $g$ is odd and to $\left(\mathbb{Z}/2\mathbb{Z}\right)^{\tbinom{g-1}{2}}$ if $g$ is even.
\end{thm}

Moreover, in Section~\ref{T^2I}, we prove the following.

\begin{thm}\label{main-2}
$\mathcal{T}^2(N_g)\mathcal{I}(N_g)=\mathcal{T}^2(N_g)$ if $g\geq3$ is odd.
\end{thm}

In addition, as an application of Theorem~\ref{main-1}, we give a finite generating set for $\mathcal{T}^2(N_g)\mathcal{I}(N_g)$, in Section~\ref{gen-T^2I}.
Finally, we examine about actions on non-separating simple closed curves of $N_g$ by $\mathcal{M}_2(N_g)$, in Appendix~\ref{action}.

Through this paper, the product $gf$ of mapping classes $f$ and $g$ means that we apply $f$ first and then $g$, and we do not distinguish a simple closed curve from its isotopy class.

\section{Preliminaries}\label{pre}

\subsection{On Dehn twist and crosscap slide}\

First, We define a \textit{Dehn twist} and a \textit{crosscap slide} which are elements of $\mathcal{M}(N_g)$.
For a simple closed curve $c$ of $N_g$, its regular neighborhood is either an annulus  or a M\"obius band.
We call $c$ a \textit{two sided} or a \textit{one sided} simple closed curve respectively.
For a two sided simple closed curve $c$, the \textit{Dehn twist} $t_c$ about $c$ is the isotopy class of the map described as shown in Figure~\ref{dehn-slide}~(a).
The direction of the twist is indicated by an arrow written beside $c$ as shown in Figure~\ref{dehn-slide}~(a).
For a one sided simple closed curve $\mu$ of $N_g$ and an oriented two sided simple closed curve $\alpha$ of $N_g$ such that $N_g\setminus\{\alpha\}$ is non-orientable when $g\geq3$ and that $\mu$ and $\alpha$ intersect transversely at only one point, the \textit{crosscap slide} $Y_{\mu,\alpha}$ about $\mu$ and $\alpha$ is the isotopy class of the map described by pushing the crosscap which is a regular neighborhood of $\mu$ once along $\alpha$, as shown in Figure~\ref{dehn-slide}~(b).

\begin{figure}[htbp]
\subfigure[The Dehn twist $t_c$ about $c$.]{\includegraphics{dehn}}~\subfigure[The crosscap slide $Y_{\mu,\alpha}$ about $\mu$ and $\alpha$.]{\includegraphics{crosscap-slide}}
\caption{Descriptions of a Dehn twist and a crosscap slide.}\label{dehn-slide}
\end{figure}

Next, we explain about some relations on Dehn twists and crosscap slides.
For details, for instance see \cite{Sz1}.
For a simple closed curve $c$ which bounds a disk or a crosscap, we have that
$$t_c=1.$$
For any Dehn twist $t_c$, crosscap slide $Y_{\mu,\alpha}$ and $f\in\mathcal{M}(N_g)$, we have that
$$ft_cf^{-1}=t_{f(c)},~fY_{\mu,\alpha}f^{-1}=Y_{f(\mu),f(\alpha)}.$$
Let $\mu_1$, $\mu_2$ and $\alpha$ be simple closed curves as shown in Figure~\ref{crosscap-slide-rel}~(a).
Then we have that
$$Y_{\mu_2,\alpha}^{-1}Y_{\mu_1,\alpha}=Y_{\mu_2,\alpha}Y_{\mu_1,\alpha}^{-1}=t_\alpha^2.$$
For two crosscap slides $Y_{\mu,\alpha}$ and $Y_{\mu,\beta}$ such that $\overline{\alpha}\overline{\beta}$ is simple, where $\overline{\alpha}$ and $\overline{\beta}$ are oriented loops of $N_{g-1}$ obtained by collapsing a regular neighborhood of $\mu$ and $\overline{\alpha}\overline{\beta}$ is a composition loop of $\overline{\alpha}$ and $\overline{\beta}$ based at the collapsing point, let $\delta_1(\mu,\alpha,\beta)$ and $\delta_2(\mu,\alpha,\beta)$ are simple closed curves determined by $\mu$, $\alpha$ and $\beta$ as shown in Figure~\ref{crosscap-slide-rel}~(b).
Then we have that
$$Y_{\mu,\beta}Y_{\mu,\alpha}=t_{\delta_1(\mu,\alpha,\beta)}t_{\delta_2(\mu,\alpha,\beta)}.$$
In addition, for any crosscap slide $Y_{\mu,\alpha}$, we have that
$$Y_{\mu,\alpha}^2=t_{\delta(\mu,\alpha)},~Y_{\mu,\alpha}=Y_{\mu,\alpha^{-1}}^{-1},$$
where $\delta(\mu,\alpha)$ is a simple closed curve determined by $\mu$ and $\alpha$ as shown in Figure~\ref{dehn-slide}~(b).

\begin{figure}[htbp]
\subfigure[]{\includegraphics{crosscap-slide-rel-1}}\hspace{10mm}
\subfigure[]{\includegraphics{crosscap-slide-rel-2}}
\caption{Relations on crosscap slides.}\label{crosscap-slide-rel}
\end{figure}

\subsection{On $\mathcal{M}_2(N_g)$ and $\mathcal{I}(N_g)$}\label{M_2-I}\

For $1\leq{i_1}<i_2<\dots<i_k\leq{g}$, let $\alpha_{i_1,i_2,\dots,i_k}$ be a simple closed curve of $N_g$ as shown in Figure~\ref{alpha}.
For $g\geq4$, Szepietowski \cite{Sz2} gave a finite generating set for $\mathcal{M}_2(N_g)$, and then Hirose-Sato \cite{HS} gave a minimal generating set for $\mathcal{M}_2(N_g)$ as follows.

\begin{figure}[htbp]
\includegraphics{alpha}
\caption{Simple closed curves $\alpha_{i_1,i_2,\dots,i_k}$ and $\alpha^\prime_{i_1,i_2,\dots,i_k}$ for $1\leq{i_1}<i_2<\dots<i_k\leq{g}$.}\label{alpha}
\end{figure}

\begin{thm}[\cite{HS}]\label{level2-gen}
For $g\geq4$, $\mathcal{M}_2(N_g)$ is minimally generated by
\begin{itemize}
\item	$Y_{\alpha_i,\alpha_{i,j}}$ for $1\leq{i<j}\leq{g}$,
\item	$Y_{\alpha_j,\alpha_{i,j}}$ for $1\leq{i<j}\leq{g-1}$,
\item	$t_{\alpha_{1,j,k,l}}^2$ for $1<j<k<l\leq{g}$.
\end{itemize}
\end{thm}

For $g\leq3$, $\mathcal{I}(N_g)$ is trivial.
For $g\geq4$, a normal generating set for $\mathcal{I}(N_g)$ in $\mathcal{M}(N_g)$ is known as follows.

\begin{thm}[\cite{HK, Ko2}]\label{torelli-gen}
Let $\alpha$, $\beta_1$, $\beta_2$ and $\gamma$ be simple closed curves as shown in Figure~\ref{Torelli-gen}.
For $g\geq5$, $\mathcal{I}(N_g)$ is normally generated by $t_\alpha$ and $t_{\beta_1}t_{\beta_2}^{-1}$ in $\mathcal{M}(N_g)$.
$\mathcal{I}(N_4)$ is normally generated by $t_\alpha$, $t_{\beta_1}t_{\beta_2}^{-1}$ and $t_\gamma$ in $\mathcal{M}(N_4)$.

\begin{figure}[htbp]
\includegraphics{Torelli-gen}
\caption{Simple closed curves $\alpha$, $\beta_1$, $\beta_2$ and $\gamma$.}\label{Torelli-gen}
\end{figure}

\end{thm}

For $n\geq1$, let $\Gamma_2(n)$  denote the kernel of the natural homomorphism $GL(n,\mathbb{Z})\to{}GL(n,\mathbb{Z}/2\mathbb{Z})$.
A finite presentation for $\Gamma_2(n)$ was given by Fullarton \cite{Fu} and the second author \cite{Ko1} independently, and then Hirose and the second author \cite{HK} gave another presentation as follows.
Put $n=g-1$.
For $1\leq{i,j}\leq{g-1}$ with $i\neq{j}$, let $Y_{i,j}$ be the matrix whose $(i,j)$ entry is $2$, $(i,i)$ entry is $-1$, the other diagonal entries are $1$ and the other entries are $0$, and $Y_{i,g}$ the matrix whose $(i,i)$ entry is $-1$, the other diagonal entries are $1$ and the other entries are $0$.
$\Gamma_2(g-1)$ has the following presentation.

\begin{prop}[\cite{HK}]\label{G_2-pre}
For $g\geq2$, $\Gamma_2(g-1)$ admits a presentation with generators $Y_{i,j}$ for $1\leq{i}\leq{g-1}$ and $1\leq{j}\leq{g}$ with $i\neq{j}$.
The defining relators are
\begin{enumerate}
\item	$Y_{i,j}^2$,
\item	$(Y_{i,j}Y_{k,j})^2$, $(Y_{i,j}Y_{k,l})^2$,
\item	$(Y_{i,j}Y_{i,k}Y_{j,k})^2$, $(Y_{i,j}Y_{i,k}Y_{i,l})^2$,
\item	$(Y_{j,i}Y_{i,j}Y_{k,j}Y_{j,k}Y_{i,k}Y_{k,i})^2$,
\end{enumerate}
where indices $i$, $j$, $k$ and $l$ are distinct.
\end{prop}

We regard $\alpha_{i_1,i_2,\dots,i_k}$ as an element of $H_1(N_g;\mathbb{Z})$.
Note that $\alpha_{i_1,i_2,\dots,i_k}=\alpha_{i_1}+\alpha_{i_2}+\cdots+\alpha_{i_k}$.
Then, as a $\mathbb{Z}$-module, we have presentations
\begin{eqnarray*}
H_1(N_g;\mathbb{Z})/{\langle{\alpha_{1,2,\dots,g}}\rangle}&=&\langle{\alpha_1,\alpha_2,\dots,\alpha_g\mid\alpha_{1,2,\dots,g}=0}\rangle\\
&=&\langle{\alpha_1,\alpha_2,\dots,\alpha_{g-1}}\rangle.
\end{eqnarray*}
We can regard an automorphism of $H_1(N_g;\mathbb{Z})/{\langle{\alpha_{1,2,\dots,g}}\rangle}$ as a matrix in $GL(g-1,\mathbb{Z})$.
For $f\in\mathcal{M}(N_g)$, let $f_\ast\in{}GL(g-1,\mathbb{Z})$ be the natural automorphism of $H_1(N_g;\mathbb{Z})/{\langle{\alpha_{1,2,\dots,g}}\rangle}$ induced from $f$.
We have that $(Y_{\alpha_i,\alpha_{i,j}})_\ast=Y_{i,j}$ and $(Y_{\alpha_j,\alpha_{i,j}})_\ast=Y_{j,i}$.
It is known that the quotient $\mathcal{M}_2(N_g)/{\mathcal{I}(N_g)}$ of $\mathcal{M}_2(N_g)$ by $\mathcal{I}(N_g)$ is isomorphic to $\Gamma_2(g-1)$ for $g\geq3$ (see \cite{MP, HK}).

\section{Proof of Theorem~\ref{main-1}}\label{main}

In this section, we prove Theorem~\ref{main-1}.
First we prepare some things.

For $1\leq{i}\leq{g-1}$, let $Y_{g,i}=(Y_{\alpha_g,\alpha_{i,g}})_\ast\in\Gamma_2(g-1)$, and we can check that
$$Y_{g,i}=(Y_{1,i}Y_{1,g})(Y_{2,i}Y_{2,g})\cdots(Y_{i-1,i}Y_{i-1,g})\cdot(Y_{i+1,i}Y_{i+1,g})\cdots(Y_{g-1,i}Y_{g-1,g})Y_{i,g}.$$
Hence, from Proposition~\ref{G_2-pre} we have the following.

\begin{cor}\label{G_2-pre2}
For $g\geq3$, $\Gamma_2(g-1)$ admits a presentation with generators $Y_{i,j}$ for $1\leq{i,j}\leq{g}$ with $i\neq{j}$.
The defining relators are $(1)$-$(4)$ of Proposition~\ref{G_2-pre} and
\begin{enumerate}
\item[(5)]	$(Y_{1,i}Y_{1,g})(Y_{2,i}Y_{2,g})\cdots(Y_{i-1,i}Y_{i-1,g})\cdot(Y_{i+1,i}Y_{i+1,g})\cdots(Y_{g-1,i}Y_{g-1,g})Y_{i,g}Y_{g,i}^{-1}$ for $1\leq{i}\leq{g-1}$.
\end{enumerate}
\end{cor}

\begin{lem}\label{G_2-rel}
For $g\geq3$, in $\Gamma_2(g-1)$, the relation $Y_{i,j}Y_{g,j}=Y_{g,j}Y_{i,j}$ holds for $1\leq{i}\leq{g-1}$.
\end{lem}

\begin{proof}
By relators of $\Gamma_2(g-1)$, we have relations
\begin{eqnarray*}
Y_{i,j}(Y_{k,j}Y_{k,g})&=&(Y_{k,j}Y_{k,g})Y_{i,j},\\
Y_{i,j}(Y_{i,j}Y_{i,g})&=&(Y_{i,j}Y_{i,g})(Y_{i,g}Y_{i,j}Y_{i,g}),\\
(Y_{i,g}Y_{i,j}Y_{i,g})(Y_{k,j}Y_{k,g})&=&(Y_{k,j}Y_{k,g})(Y_{i,g}Y_{i,j}Y_{i,g})
\end{eqnarray*}
for $k\neq{i}$.
Hence we calculate
\begin{eqnarray*}
Y_{i,j}Y_{g,j}
&=&Y_{i,j}(Y_{1,j}Y_{1,g})\cdots(Y_{j-1,j}Y_{j-1,g})\cdot(Y_{j+1,j}Y_{j+1,g})\cdots(Y_{g-1,j}Y_{g-1,g})Y_{j,g}\\
&=&(Y_{1,j}Y_{1,g})\cdots(Y_{j-1,j}Y_{j-1,g})\cdot(Y_{j+1,j}Y_{j+1,g})\cdots(Y_{g-1,j}Y_{g-1,g})(Y_{i,g}Y_{i,j}\underset{(2)}{\underline{Y_{i,g})Y_{j,g}}}\\
&=&(Y_{1,j}Y_{1,g})\cdots(Y_{j-1,j}Y_{j-1,g})\cdot(Y_{j+1,j}Y_{j+1,g})\cdots(Y_{g-1,j}Y_{g-1,g})\underset{(3)}{\underline{Y_{i,g}Y_{i,j}Y_{j,g}}}Y_{i,g}\\
&=&(Y_{1,j}Y_{1,g})\cdots(Y_{j-1,j}Y_{j-1,g})\cdot(Y_{j+1,j}Y_{j+1,g})\cdots(Y_{g-1,j}Y_{g-1,g})Y_{j,g}Y_{i,j}\underset{(1)}{\underline{Y_{i,g}Y_{i,g}}}\\
&=&(Y_{1,j}Y_{1,g})\cdots(Y_{j-1,j}Y_{j-1,g})\cdot(Y_{j+1,j}Y_{j+1,g})\cdots(Y_{g-1,j}Y_{g-1,g})Y_{j,g}Y_{i,j}\\
&=&Y_{g,j}Y_{i,j}.
\end{eqnarray*}
Thus we obtain the claim.
\end{proof}

Let $N$ be the normal subgroup of $\Gamma_2(g-1)$ normally generated by $Y_{j,i}^{-1}Y_{i,j}$ for $1\leq{i,j}\leq{g}$.

\begin{lem}\label{G/N-1}
For $g\geq3$, the quotient $\Gamma_2(g-1)/{N}$ of $\Gamma_2(g-1)$ by $N$ admits a presentation with generators $Y_{i,j}$ for $1\leq{i<j}\leq{g}$.
The defining relators are
\begin{enumerate}
\item[$\overline{(1)}$]	$Y_{i,j}^2$,
\item[$\overline{(2)}$]	$(Y_{i,j}Y_{k,j})^2$, $(Y_{i,j}Y_{i,l})^2$, $(Y_{i,j}Y_{j,l})^2$, $(Y_{i,j}Y_{k,l})^2$,
\item[$\overline{(5)}$]	$(Y_{1,i}Y_{1,g})\cdots(Y_{i-1,i}Y_{i-1,g})\cdot(Y_{i,i+1}Y_{i+1,g})\cdots(Y_{i,g-1}Y_{g-1,g})$ for $2\leq{i}\leq{g-1}$, and $Y_{1,g}Y_{2,g}\cdots{}Y_{g-1,g}$ if $g$ is odd.
\end{enumerate}
\end{lem}

\begin{proof}
Since we have that $Y_{j,i}=Y_{i,j}$ for $1\leq{i<j}\leq{g}$ in $\Gamma_2(g-1)/{N}$, by the Tietze transformation, $\Gamma_2(g-1)/{N}$ is generated by $Y_{i,j}$ for $1\leq{i<j}\leq{g}$.

By the relator~(1) of $\Gamma_2(g-1)$, we have the relator~$\overline{(1)}$.
By the relator $(Y_{i,j}Y_{k,j})^2$ of $\Gamma_2(g-1)$, we have relators
\begin{itemize}
\item	$(Y_{i,j}Y_{k,j})^2$ if $1\leq{i,k}<j\leq{g}$,
\item	$(Y_{j,i}Y_{j,k})^2$ if $1\leq{j}<{i,k}\leq{g-1}$,
\item	$(Y_{i,j}Y_{j,k})^2$ if $1\leq{i<j<k}\leq{g-1}$.
\end{itemize}
In addition, by Lemma~\ref{G_2-rel}, we have relators
\begin{itemize}
\item	$(Y_{j,i}Y_{j,g})^2$ if $i>j$,
\item	$(Y_{i,j}Y_{j,g})^2$ if $i<j$.
\end{itemize}
Moreover, by the relator $(Y_{i,j}Y_{k,l})^2$ of $\Gamma_2(g-1)$, we have the relator $(Y_{i,j}Y_{k,l})^2$.
Hence we have the relator~$\overline{(2)}$.
By the relators~$\overline{(1)}$ and $\overline{(2)}$, the relators~(3) and (4) are trivial relators.
By the relator~(5) of $\Gamma_2(g-1)$, we have the relator
$$(Y_{1,i}Y_{1,g})\cdots(Y_{i-1,i}Y_{i-1,g})\cdot(Y_{i,i+1}Y_{i+1,g})\cdots(Y_{i,g-1}Y_{g-1,g}),$$
and hence by the relators~$\overline{(1)}$ and $\overline{(2)}$,
\begin{eqnarray*}
Y_{1,i}&=&Y_{1,g}(Y_{2,i}Y_{2,g})\cdots(Y_{i-1,i}Y_{i-1,g})\cdot(Y_{i,i+1}Y_{i+1,g})\cdots(Y_{i,g-1}Y_{g-1,g})\\
&=&(Y_{1,g}\cdots{}Y_{i-1,g}Y_{i+1,g}\cdots{}Y_{g-1,g})(Y_{2,i}\cdots{}Y_{i-1,i}Y_{i,i+1}\cdots{}Y_{i,g-1}).
\end{eqnarray*}
for $2\leq{i}\leq{g-1}$.
By the relators~$\overline{(1)}$ and $\overline{(2)}$, the relator~(5) of $\Gamma_2(g-1)$ for $i=1$ can be transformed as
\begin{eqnarray*}
(Y_{1,2}Y_{2,g})\cdots(Y_{1,g-1}Y_{g-1,g})
&=&(Y_{1,2}\cdots{}Y_{1,g-1})(Y_{2,g}\cdots{}Y_{g-1,g})\\
&=&(Y_{1,g}\cdot{}Y_{3,g}\cdots{}Y_{g-1,g})(Y_{2,3}\cdots{}Y_{2,g-1})\\
&&(Y_{1,g}Y_{2,g}\cdot{}Y_{4,g}\cdots{}Y_{g-1,g})(Y_{2,3}\cdot{}Y_{3,4}\cdots{}Y_{3,g-1})\\
&&(Y_{1,g}Y_{2,g}Y_{3,g}\cdot{}Y_{5,g}\cdots{}Y_{g-1,g})(Y_{2,4}Y_{3,4}\cdot{}Y_{4,5}\cdots{}Y_{4,g-1})\\
&&\vdots\\
&&(Y_{1,g}\cdots{}Y_{g-3,g}\cdot{}Y_{g-1,g})(Y_{2,g-2}\cdots{}Y_{g-3,g-2}\cdot{}Y_{g-2,g-1})\\
&&(Y_{1,g}\cdots{}Y_{g-2,g})(Y_{2,g-1}\cdots{}Y_{g-2,g-1})\\
&&(Y_{2,g}\cdots{}Y_{g-1,g})\\
&=&(Y_{1,g}\cdots{}Y_{g-1,g})^{g-2}\prod_{2\leq{i<j}\leq{g-1}}Y_{i,j}^2\\
&=&
\left\{
\begin{array}{ll}
Y_{1,g}\cdots{}Y_{g-1,g}&\textrm{if}~g~\textrm{is odd},\\
1&\textrm{if}~g~\textrm{is even}.\\
\end{array}
\right.
\end{eqnarray*}
Hence we have the relator~$\overline{(5)}$.

Thus we obtain the claim.
\end{proof}

By the relators~$\overline{(1)}$ and $\overline{(2)}$, it follows that $\Gamma_2(g-1)/{N}$ is a $\mathbb{Z}/2\mathbb{Z}$-module.
By the relator~$\overline{(5)}$, generators $Y_{1,i}$ are not needed, for $2\leq{i}\leq{g}$ if $g$ is odd and for $2\leq{i}\leq{g-1}$ if $g$ is even.
Therefore we have the following.

\begin{cor}\label{G/N-2}
For $g\geq3$, the quotient $\Gamma_2(g-1)/{N}$ of $\Gamma_2(g-1)$ by $N$ is isomorphic to $\left(\mathbb{Z}/2\mathbb{Z}\right)^{\tbinom{g-1}{2}}$ if $g$ is odd and to $\left(\mathbb{Z}/2\mathbb{Z}\right)^{\tbinom{g-1}{2}+1}$ if $g$ is even.
\end{cor}

\begin{lem}\label{norm-gen-T^2}
In $\mathcal{M}_2(N_g)$, $\mathcal{T}^2(N_g)$ is normally generated by $t_{\alpha_{i_1,i_2,\dots,i_k}}^2$ for even indices $1\leq{i_1<i_2<\cdots<i_k\leq{g}}$.
\end{lem}

\begin{proof}
For any non-separating simple closed curve $\alpha$ of $N_g$, there are indices $1\leq{i_1<i_2<\cdots<i_k\leq{g}}$ such that the $\mathbb{Z}/2\mathbb{Z}$ coefficient homology classes of $\alpha$ and $\alpha_{i_1,i_2,\dots,i_k}$ are equal, and then there is $f\in\mathcal{M}_2(N_g)$ such that $f(\alpha_{i_1,i_2,\dots,i_k})=\alpha$ (see Theorem~\ref{SCC/M_2}).
Hence for any $t_\alpha^2\in\mathcal{T}^2(N_g)$, there is $f\in\mathcal{M}_2(N_g)$ such that $t_\alpha^2=t_{f(\alpha_{i_1,i_2,\dots,i_k})}^2=ft_{\alpha_{i_1,i_2,\dots,i_k}}^2f^{-1}$.
Thus we obtain the claim.
\end{proof}

We now prove Theorem~\ref{main-1}.

\begin{proof}[Proof of Theorem~\ref{main-1}]
It is known that $\mathcal{T}_2(N_g)$ is an index $2$ subgroup of $\mathcal{M}_2(N_2)$ (see \cite{Li, KO}).
Since $\mathcal{T}_2(N_g)\supset\mathcal{T}^2(N_g)\mathcal{I}(N_g)$, by Corollary~\ref{G/N-2}, it suffices to show that the quotient of $\mathcal{M}_2(N_2)$ by $\mathcal{T}^2(N_g)\mathcal{I}(N_g)$ is isomorphic to $\Gamma_2(g-1)/{N}$.
Let $\phi:\mathcal{M}_2(N_g)\to\Gamma_2(g-1)$ be the homomorphism defined in Subsection~\ref{M_2-I}, that is, $\phi(f)=f_\ast$.
Since $\ker\phi$ is $\mathcal{I}(N_g)$, we show that $\phi(\mathcal{T}^2(N_g))$ is $N$.

For $1\leq{i<j}\leq{g}$, we have that $(Y_{\alpha_j,\alpha_{i,j}}^{-1})_\ast(Y_{\alpha_i,\alpha_{i,j}})_\ast=Y_{j,i}^{-1}Y_{i,j}\in{N}$.
In addition, since the equality $t_{\alpha_{i,j}}^2=Y_{\alpha_j,\alpha_{i,j}}^{-1}Y_{\alpha_i,\alpha_{i,j}}$ holds, we have that $\phi(t_{\alpha_{i,j}}^2)=Y_{j,i}^{-1}Y_{i,j}$.
Therefore $\phi(\mathcal{T}^2(N_g))\supset{N}$.

In order to prove $\phi(\mathcal{T}^2(N_g))\subset{N}$, it suffices to show that $\phi(t_{\alpha_{i_1,i_2,\dots,i_k}}^2)$ is in $N$, by Lemma~\ref{norm-gen-T^2}.
Let $\alpha^\prime_{i_1,i_2,\dots,i_k}$ be a simple closed curve as shown in Figure~\ref{alpha}.
Since $t_{\alpha_{i_1,i_2,\dots,i_k}}^{-1}t_{\alpha^\prime_{i_1,i_2,\dots,i_k}}$ is in $\mathcal{I}(N_g)$ and hence its image by $\phi$ is $1$, we have that
$$\phi(t_{\alpha_{i_1,i_2,\dots,i_k}}^2)=\phi(t_{\alpha_{i_1,i_2,\dots,i_k}}^2\cdot{}t_{\alpha_{i_1,i_2,\dots,i_k}}^{-1}t_{\alpha^\prime_{i_1,i_2,\dots,i_k}})=\phi(t_{\alpha_{i_1,i_2,\dots,i_k}}t_{\alpha^\prime_{i_1,i_2,\dots,i_k}}).$$
By the proof of Lemma~\ref{chain-T^2}, $t_{\alpha_{i_1,i_2,\dots,i_k}}t_{\alpha^\prime_{i_1,i_2,\dots,i_k}}$ is a product of $T_{s,t}$ for $1\leq{s<t}\leq{k}$, where
$$T_{s,t}=(t_{\alpha_{i_{s+1},i_{s+2}}}t_{\alpha_{i_{s+2},i_{s+3}}}\cdots{}t_{\alpha_{i_{t-1},i_t}})^{-1}t_{\alpha_{i_s,i_{s+1}}}^2(t_{\alpha_{i_{s+1},i_{s+2}}}t_{\alpha_{i_{s+2},i_{s+3}}}\cdots{}t_{\alpha_{i_{t-1},i_t}}).$$
Note that $T_{s,t}$ is the square of the Dehn twist about a simple closed curve as shown in Figure~\ref{st}.
Similar to the proof of Lemma~\ref{norm-gen-T^2}, there is $f\in\mathcal{M}_2(N_g)$ such that $T_{s,t}=ft_{\alpha_{i_s,i_t}}^2f^{-1}$.
Since $\phi(t_{\alpha_{i_s,i_t}}^2)=Y_{i_t,i_s}^{-1}Y_{i_s,i_t}$, it follows that $\phi(t_{\alpha_{i_1,i_2,\dots,i_k}}t_{\alpha^\prime_{i_1,i_2,\dots,i_k}})$ is in $N$.
Therefore	 $\phi(\mathcal{T}^2(N_g))\subset{N}$.

\begin{figure}[htbp]
\includegraphics{st}
\caption{The loop $(t_{\alpha_{i_{s+1},i_{s+2}}}t_{\alpha_{i_{s+2},i_{s+3}}}\cdots{}t_{\alpha_{i_{t-1},i_t}})^{-1}(\alpha_{i_s,i_{s+1}})$.}\label{st}
\end{figure}

Thus we complete the proof.
\end{proof}

\section{Proof of Theorem~\ref{main-2}}\label{T^2I}

In this section, we prove Theorem~\ref{main-2}.
At first, we show the following.

\begin{lem}\label{chain-T^2}
Let $d_1$, $d_2$ and $d_3$ be simple closed curves of a surface $S$ as shown in Figure~\ref{chain}.
Then $t_{d_1}t_{d_2}$ and $t_{d_3}$ are in $\mathcal{T}^2(S)$.

\begin{figure}[htbp]
\includegraphics{chain}
\caption{Simple closed curves $c_1$, $c_2$, $\dots$, $c_k$, $d_1$, $d_2$ and $d_3$.}\label{chain}
\end{figure}

\end{lem}

\begin{proof}
Let $c_i$ be a simple closed curve of $S$ as shown in Figure~\ref{chain}, for $1\leq{i}\leq{k}$.
It is known that
\begin{itemize}
\item	$t_{d_1}t_{d_2}=(t_{c_1}t_{c_2}\cdots{}t_{c_k})^{k+1}$,
\item	$t_{d_3}=(t_{c_1}t_{c_2}\cdots{}t_{c_k})^{2(k+1)}$,
\end{itemize}
called the $k$-chain relation.
When $k=1$, it is clear that $t_{d_1}t_{d_2}$ is in $\mathcal{T}^2(S)$.
When $k\geq2$, by the commutativity relation $t_{c_i}t_{c_j}=t_{c_j}t_{c_i}$ with $|i-j|\geq2$ and the braid relation $t_{c_i}t_{c_{i+1}}t_{c_i}=t_{c_{i+1}}t_{c_i}t_{c_{i+1}}$, we calculate
\begin{eqnarray*}
(t_{c_1}t_{c_2}\cdots{}t_{c_k})^{k+1}
&=&(t_{c_1}t_{c_2}\cdots{}t_{c_{k-1}})^kt_{c_k}t_{c_{k-1}}\cdots{}t_{c_2}t_{c_1}^2t_{c_2}\cdots{}t_{c_{k-1}}t_{c_k}\\
&=&(t_{c_1}t_{c_2}\cdots{}t_{c_{k-1}})^kt_{c_k}^2\cdot(t_{c_k}^{-1}t_{c_{k-1}}^2t_{c_k})\cdots(t_{c_k}^{-1}t_{c_{k-1}}^{-1}\cdots{}t_{c_2}^{-1}t_{c_1}^2t_{c_2}\cdots{}t_{c_{k-1}}t_{c_k}).
\end{eqnarray*}
By induction on $k$, we have that $(t_{c_1}t_{c_2}\cdots{}t_{c_k})^{k+1}$ is in $\mathcal{T}^2(S)$, and $t_{d_1}t_{d_2}$ and $t_{d_3}$ are so.
Thus we obtain the claim.
\end{proof}

We next prove Theorem~\ref{main-2}.

\begin{proof}[Proof of Theorem~\ref{main-2}]
Recall Subsection~\ref{M_2-I}, especially Theorem~\ref{torelli-gen}.
Since $\mathcal{I}(N_3)$ is trivial, it is clear that $\mathcal{T}^2(N_3)\mathcal{I}(N_3)=\mathcal{T}^2(N_3)$.
Hence suppose that $g\geq5$.
By Lemma~\ref{chain-T^2}, it follows that $t_{\beta_1}t_{\beta_2}^{-1}(=t_{\beta_1}t_{\beta_2}\cdot{}t_{\beta_2}^{-2})$ is in $\mathcal{T}^2(N_g)$.
Let $\delta$ be a simple closed curve as shown in Figure~\ref{alpha-delta}.
By Lemma~\ref{chain-T^2}, it follows that $t_\alpha{}t_\delta$ is in $\mathcal{T}^2(N_g)$.
Since $t_\delta=1$, we have that $t_\alpha$ is in $\mathcal{T}^2(N_g)$.
Therefore $\mathcal{I}(N_g)\subset\mathcal{T}^2(N_g)$ and hence $\mathcal{T}^2(N_g)\mathcal{I}(N_g)=\mathcal{T}^2(N_g)$.
Thus we finish the proof.

\begin{figure}[htbp]
\includegraphics{alpha-delta}
\caption{Simple closed curves $\alpha$ and $\delta$.}\label{alpha-delta}
\end{figure}

\end{proof}

\begin{rem}
Any Dehn twist about a separating simple closed curve is in $\mathcal{I}(N_g)$ for any genus $g$, and so in $\mathcal{T}^2(N_g)$ if $g$ is odd.
\end{rem}

\begin{rem}
We do not know whether or not $\mathcal{T}^2(N_g)\mathcal{I}(N_g)=\mathcal{T}^2(N_g)$  if $g$ is even.
\end{rem}

\section{A finite generating set for $\mathcal{T}^2(N_g)\mathcal{I}(N_g)$}\label{gen-T^2I}

By Theorem~\ref{main-1}, $\mathcal{T}^2(N_g)\mathcal{I}(N_g)$ is a finite index subgroup of $\mathcal{M}_2(N_g)$.
In addition, by Theorem~\ref{level2-gen}, $\mathcal{M}_2(N_g)$ is finitely generated.
Hence $\mathcal{T}^2(N_g)\mathcal{I}(N_g)$ can be finitely generated.
In this section, we give a finite generating set for $\mathcal{T}^2(N_g)\mathcal{I}(N_g)$ by the Reidemeister-Schreier method.

For $1\leq{i<j}\leq{g}$, let $\beta_{i,j}$ be a simple closed curve as shown in Figure~\ref{beta_ij}.
For $(i,j)$ with $1\leq{i<j}\leq{g}$, we consider the lexicographic order $<$, that is, $(i,j)<(k,l)$ if and only if $i<k$, or $i=k$ and $j<l$.
Let $\mathcal{Y}$ be the set consisting of
$$Y_{\alpha_{i_1},\alpha_{i_1,j_1}}Y_{\alpha_{i_2},\alpha_{i_2,j_2}}\cdots{}Y_{\alpha_{i_m},\alpha_{i_m,j_m}}$$
for $2\leq{i_s<j_s}\leq{g}$ if $g$ is odd and $(i_s,j_s)=(1,g)$ or $2\leq{i_s<j_s}\leq{g}$ if $g$ is even, where $s\neq{}t\iff(i_s,j_s)\neq(i_t,j_t)$, and $\mathcal{Y}_{\mathrm{LO}}$ the subset of $\mathcal{Y}$ consisting of
$$Y_{\alpha_{i_1},\alpha_{i_1,j_1}}Y_{\alpha_{i_2},\alpha_{i_2,j_2}}\cdots{}Y_{\alpha_{i_m},\alpha_{i_m,j_m}}\in\mathcal{Y},$$
where $s<t\iff(i_s,j_s)<(i_t,j_t)$.

\begin{figure}[htbp]
\includegraphics{beta_ij}
\caption{A simple closed curve $\beta_{i,j}$ for $1\leq{i<j}\leq{g}$.}\label{beta_ij}
\end{figure}

The main result of this section is as follows.

\begin{thm}\label{gen-T^2I-2}
$\mathcal{T}^2(N_g)\mathcal{I}(N_g)$ is generated by
\begin{enumerate}
\item	$ft_{\alpha_{i,j}}^2f^{-1}$ for $1\leq{i<j}\leq{g}$ and $f\in\mathcal{Y}_{\mathrm{LO}}$,
\item	$ft_{\beta_{i,j}}f^{-1}$ for $1\leq{i<j}\leq{g}$ and $f\in\mathcal{Y}_{\mathrm{LO}}$,
\item	$ft_{\alpha_{1,j,k,l}}^2f^{-1}$ for $1<j<k<l\leq{g}$ and $f\in\mathcal{Y}_{\mathrm{LO}}$.
\end{enumerate}
\end{thm}

In order to prove this theorem, we first show the following lemma.

\begin{lem}\label{gen-T^2I-1}
$\mathcal{T}^2(N_g)\mathcal{I}(N_g)$ is generated by $(1)$-$(3)$ of Theorem~\ref{gen-T^2I-2} and
\begin{enumerate}
\item[(4)]	$f[Y_{\alpha_{i},\alpha_{i,j}},Y_{\alpha_{k},\alpha_{k,l}}]f^{-1}$ for $1\leq{i<j}\leq{g}$, $1\leq{k<l}\leq{g}$ and $f\in\mathcal{Y}_{\mathrm{LO}}$.
\end{enumerate}
\end{lem}

In addition, in order to prove this lemma, we use the following lemma.

\begin{lem}\label{[a,b]}
The following holds.
$$[a,b_1b_2\cdots{}b_n]=[a,b_1]\left(b_1[a,b_2]b_1^{-1}\right)\left(b_1b_2[a,b_3]b_2^{-1}b_1^{-1}\right)\cdots\left(b_1b_2\cdots{}b_{n-1}[a,b_n]b_{n-1}^{-1}\cdots{}b_2^{-1}b_1^{-1}\right)$$
\end{lem}

\begin{proof}
We calculate
\begin{eqnarray*}
&&[a,b_1]\left(b_1[a,b_2]b_1^{-1}\right)\\
&=&\left(ab_1a^{-1}b_1^{-1}\right)\left(b_1ab_2a^{-1}b_2^{-1}b_1^{-1}\right)\\
&=&ab_1b_2a^{-1}b_2^{-1}b_1^{-1}\\
&=&[a,b_1b_2],\\
&&[a,b_1b_2\cdots{}b_{n-1}]\left(b_1b_2\cdots{}b_{n-1}[a,b_n]b_{n-1}^{-1}\cdots{}b_2^{-1}b_1^{-1}\right)\\
&=&\left(ab_1b_2\cdots{}b_{n-1}a^{-1}b_{n-1}^{-1}\cdots{}b_2^{-1}b_1^{-1}\right)\left(b_1b_2\cdots{}b_{n-1}ab_na^{-1}b_n^{-1}b_{n-1}^{-1}\cdots{}b_2^{-1}b_1^{-1}\right)\\
&=&ab_1b_2\cdots{}b_na^{-1}b_n^{-1}\cdots{}b_2^{-1}b_1^{-1}\\
&=&[a,b_1b_2\cdots{}b_n].
\end{eqnarray*}
By induction on $n$, we obtain the claim.
\end{proof}

\begin{proof}[Proof of Lemma~\ref{gen-T^2I-1}]
By Theorem~\ref{main-1}, we have the short exact sequence
$$1\to\mathcal{T}^2(N_g)\mathcal{I}(N_g)\to\mathcal{M}_2(N_g)\to\left(\mathbb{Z}/2\mathbb{Z}\right)^{\tbinom{g-1}{2}+\epsilon}\to1,$$
where $\epsilon=0$ if $g$ is odd and  $\epsilon=1$ if $g$ is even.
In order to give a generating set for $\mathcal{T}^2(N_g)\mathcal{I}(N_g)$, we use the Reidemeister-Schreier method (for details, for instance see \cite{Jo}).

By Lemma~\ref{G/N-1}, it follows that $\left(\mathbb{Z}/2\mathbb{Z}\right)^{\tbinom{g-1}{2}+\epsilon}$ is equal to $\mathcal{Y}_{\mathrm{LO}}$ as a set.
We note that $\mathcal{Y}_{\mathrm{LO}}$ is a Schreier transversal for $\mathcal{T}^2(N_g)\mathcal{I}(N_g)$ in $\mathcal{M}_2(N_g)$, that is, for any $Y_{\alpha_{i_1},\alpha_{i_1,j_1}}Y_{\alpha_{i_2},\alpha_{i_2,j_2}}\cdots{}Y_{\alpha_{i_m},\alpha_{i_m,j_m}}\in\mathcal{Y}_{\mathrm{LO}}$ with $m\geq1$, $Y_{\alpha_{i_1},\alpha_{i_1,j_1}}Y_{\alpha_{i_2},\alpha_{i_2,j_2}}\cdots{}Y_{\alpha_{i_{m-1}},\alpha_{i_{m-1},j_{m-1}}}$ is in $\mathcal{Y}_{\mathrm{LO}}$.
For any $x\in\mathcal{M}_2(N_g)$, let $\overline{x}$ be the element of $\mathcal{Y}_{\mathrm{LO}}=\left(\mathbb{Z}/2\mathbb{Z}\right)^{\tbinom{g-1}{2}+\epsilon}$ which is sent from $x$ by the natural projection.
Then $\mathcal{T}^2(N_g)\mathcal{I}(N_g)$ is generated by
$$G=\left\{\left.fx^{\pm1}\overline{fx^{\pm1}}^{-1}\right|x\in{X},f\in\mathcal{Y}_{\mathrm{LO}},fx^{\pm1}\neq\overline{fx^{\pm1}}\right\},$$
where $X$ is the generating set for $\mathcal{M}_2(N_g)$ in Theorem~\ref{level2-gen}.
For any $fx^{\pm1}\overline{fx^{\pm1}}^{-1}\in{G}$, we check that $fx^{\pm1}\overline{fx^{\pm1}}^{-1}$ is a product of elements in (1)-(4) of Lemma~\ref{gen-T^2I-1} and their inverses.
Note that $Y_{\alpha_j,\alpha_{i,j}}^{-1}Y_{\alpha_i,\alpha_{i,j}}=Y_{\alpha_j,\alpha_{i,j}}Y_{\alpha_i,\alpha_{i,j}}^{-1}=t_{\alpha_{i,j}}^2$ and $Y_{\alpha_i,\alpha_{i,j}}^2=Y_{\alpha_j,\alpha_{i,j}}^2=t_{\beta_{i,j}}$.

Let $x=Y_{\alpha_i,\alpha_{i,j}}$.
If $f$ includes $x$, there are $f_1$, $f_2\in\mathcal{Y}_{\mathrm{LO}}$ such that $f=f_1xf_2$.
Then we see
\begin{eqnarray*}
fx\overline{fx}^{-1}
&=&f_1xf_2x\overline{f_1xf_2x}^{-1}\\
&=&f_1xf_2x(f_1f_2)^{-1}\\
&=&f_1[x,f_2]f_1^{-1}\cdot{}f_1f_2x^2f_2^{-1}f_1^{-1},\\
fx^{-1}\overline{fx^{-1}}^{-1}
&=&f_1xf_2x^{-1}\overline{f_1xf_2x^{-1}}^{-1}\\
&=&f_1xf_2x^{-1}(f_1f_2)^{-1}\\
&=&f_1[x,f_2]f_1^{-1}.
\end{eqnarray*}
If $f$ does not include $x$, there are $f_1$, $f_2\in\mathcal{Y}_{\mathrm{LO}}$ such that $f=f_1f_2$ and $f_1xf_2\in\mathcal{Y}_{\mathrm{LO}}$.
Then we see
\begin{eqnarray*}
fx\overline{fx}^{-1}
&=&f_1f_2x\overline{f_1f_2x}^{-1}\\
&=&f_1f_2x(f_1xf_2)^{-1}\\
&=&f_1[x,f_2]^{-1}f_1^{-1},\\
fx^{-1}\overline{fx^{-1}}^{-1}
&=&f_1f_2x^{-1}\overline{f_1f_2x^{-1}}^{-1}\\
&=&f_1f_2x^{-1}(f_1xf_2)^{-1}\\
&=&fx^{-2}f^{-1}\cdot{}f_1[x,f_2]^{-1}f_1^{-1}.
\end{eqnarray*}
By Lemma~\ref{[a,b]}, we have that $fx^{\pm1}\overline{fx^{\pm1}}^{-1}\in{G}$.
Let $x=Y_{\alpha_j,\alpha_{i,j}}$ and $x^\prime=Y_{\alpha_i,\alpha_{i,j}}$.
We see
\begin{eqnarray*}
fx\overline{fx}^{-1}&=&fx(x^\prime)^{-1}f^{-1}\cdot{}fx^\prime\overline{fx^\prime}^{-1},\\
fx^{-1}\overline{fx^{-1}}^{-1}&=&fx^{-2}f^{-1}\cdot{}fx\overline{fx}^{-1}.
\end{eqnarray*}
Hence we have that $fx^{\pm1}\overline{fx^{\pm1}}^{-1}\in{G}$.
Let $x=t_{\alpha_{1,j,k,l}}^2$.
We see
$$fx^{\pm1}\overline{fx^{\pm1}}^{-1}=fx^{\pm1}f^{-1}.$$
Hence we have that $fx^{\pm1}\overline{fx^{\pm1}}^{-1}\in{G}$.

Thus we finish the proof.
\end{proof}

\begin{rem}\label{reduced-gen}
Put $f=Y_{\alpha_{i_1},\alpha_{i_1,j_1}}Y_{\alpha_{i_2},\alpha_{i_2,j_2}}\cdots{}Y_{\alpha_{i_m},\alpha_{i_m,j_m}}\in\mathcal{Y}_{\mathrm{LO}}$.
We notice that the generator (4) in Lemma~\ref{gen-T^2I-1} can be reduced a form satisfying $(i_m,j_m)<(i,j)<(k,l)$, since in the above proof $f_1[x,f_2]^{-1}f_1^{-1}$ is a product of these reduced generators.
\end{rem}

\begin{proof}[Proof of Theorem~\ref{gen-T^2I-2}]
It is clear that the generators (1), (2) and (3) in Lemma~\ref{gen-T^2I-1} are equal to the generators (1), (2) and (3) in Theorem~\ref{gen-T^2I-2} respectively.
We show that the reduced generator (4) in Remark~\ref{reduced-gen} is obtained from the generators (1) and (2) in Theorem~\ref{gen-T^2I-2}.

For any reduced generator $f[Y_{\alpha_{i},\alpha_{i,j}},Y_{\alpha_{k},\alpha_{k,l}}]f^{-1}$, we see
\begin{eqnarray*}
f[Y_{\alpha_{i},\alpha_{i,j}},Y_{\alpha_{k},\alpha_{k,l}}]f^{-1}
&=&
f(Y_{\alpha_{i},\alpha_{i,j}}Y_{\alpha_{k},\alpha_{k,l}})^2Y_{\alpha_{k},\alpha_{k,l}}^{-2}(Y_{\alpha_{k},\alpha_{k,l}}Y_{\alpha_{i},\alpha_{i,j}}^{-2}Y_{\alpha_{k},\alpha_{k,l}}^{-1})f^{-1}\\
&=&
f(Y_{\alpha_{i},\alpha_{i,j}}Y_{\alpha_{k},\alpha_{k,l}})^2f^{-1}\cdot{}ft_{\beta_{k,l}}^{-1}f^{-1}\cdot{}f(Y_{\alpha_{k},\alpha_{k,l}}t_{\beta_{i,j}}^{-1}Y_{\alpha_{k},\alpha_{k,l}}^{-1})f^{-1}.
\end{eqnarray*}
Since $f$ and $fY_{\alpha_{k},\alpha_{k,l}}$ are in $\mathcal{Y}_{\mathrm{LO}}$, $ft_{\beta_{k,l}}f^{-1}$ and $f(Y_{\alpha_{k},\alpha_{k,l}}t_{\beta_{i,j}}Y_{\alpha_{k},\alpha_{k,l}}^{-1})f^{-1}$ are generators (2) in Theorem~\ref{gen-T^2I-2} respectively.
Hence we check that either $f[Y_{\alpha_{i},\alpha_{i,j}},Y_{\alpha_{k},\alpha_{k,l}}]f^{-1}$ or $f(Y_{\alpha_{i},\alpha_{i,j}}Y_{\alpha_{k},\alpha_{k,l}})^2f^{-1}$ is obtained from the generators (1) and (2) in Theorem~\ref{gen-T^2I-2}.

Let $i=k$.
Then we calculate
\begin{eqnarray*}
(Y_{\alpha_{i},\alpha_{i,j}}Y_{\alpha_{k},\alpha_{k,l}})^2
&=&
\left(t_{\alpha_{j,l}}t_{Y_{\alpha_i,\alpha_{i,j}}^{-1}(\alpha_{j,l})}^{-1}\right)^2\\
&=&
t_{\alpha_{j,l}}^2(Y_{\alpha_i,\alpha_{i,j}}^{-1}t_{\alpha_{j,l}}^{-2}Y_{\alpha_i,\alpha_{i,j}})\\
&=&
t_{\alpha_{j,l}}^2Y_{\alpha_i,\alpha_{i,j}}^{-2}(Y_{\alpha_i,\alpha_{i,j}}t_{\alpha_{j,l}}^{-2}Y_{\alpha_i,\alpha_{i,j}}^{-1})Y_{\alpha_i,\alpha_{i,j}}^2\\
&=&
t_{\alpha_{j,l}}^2t_{\beta_{i,j}}^{-1}(Y_{\alpha_i,\alpha_{i,j}}t_{\alpha_{j,l}}^{-2}Y_{\alpha_i,\alpha_{i,j}}^{-1})t_{\beta_{i,j}}
\end{eqnarray*}
(see Figure~\ref{crosscap-slide-rel-3}~(a)).
Since $f$ and $fY_{\alpha_i,\alpha_{i,j}}$ are in $\mathcal{Y}_{\mathrm{LO}}$, $f(Y_{\alpha_{i},\alpha_{i,j}}Y_{\alpha_{k},\alpha_{k,l}})^2f^{-1}$ is obtained from the generators (1) and (2) in Theorem~\ref{gen-T^2I-2}.
Let $j=l$.
Then we calculate
\begin{eqnarray*}
[Y_{\alpha_{i},\alpha_{i,j}},Y_{\alpha_{k},\alpha_{k,l}}]
&=&
Y_{\alpha_{i},\alpha_{i,j}}Y_{\alpha_{k},\alpha_{k,j}}Y_{\alpha_{i},\alpha_{i,j}}^{-1}Y_{\alpha_{k},\alpha_{k,j}}^{-1}\\
&=&
Y_{Y_{\alpha_{i},\alpha_{i,j}}(\alpha_{k}),Y_{\alpha_{i},\alpha_{i,j}}(\alpha_{k,j})}Y_{\alpha_{k},\alpha_{k,j}}^{-1}\\
&=&
Y_{\alpha_{k},\alpha_{k,j}}Y_{\alpha_{k},\alpha_{i,k}}^2Y_{\alpha_{k},\alpha_{k,j}}^{-1}\\
&=&
Y_{\alpha_{k},\alpha_{k,j}}t_{\beta_{i,k}}Y_{\alpha_{k},\alpha_{k,j}}^{-1}
\end{eqnarray*}
(see Figure~\ref{crosscap-slide-rel-3}~(b)).
Since $fY_{\alpha_k,\alpha_{k,j}}$ is in $\mathcal{Y}_{\mathrm{LO}}$, $f[Y_{\alpha_{i},\alpha_{i,j}},Y_{\alpha_{k},\alpha_{k,l}}]f^{-1}$ is obtained from the generators (1) and (2) in Theorem~\ref{gen-T^2I-2}.
Let $j=k$.
Then we calculate
\begin{eqnarray*}
(Y_{\alpha_{i},\alpha_{i,j}}Y_{\alpha_{k},\alpha_{k,l}})^2
&=&
Y_{\alpha_{i},\alpha_{i,j}}Y_{\alpha_{j}\alpha_{j,l}}Y_{\alpha_{i},\alpha_{i,j}}Y_{\alpha_{j},\alpha_{i,j}}^{-1}Y_{\alpha_{j}\alpha_{j,l}}^{-1}Y_{\alpha_{i},\alpha_{i,j}}^{-1}\cdot{}Y_{\alpha_{i},\alpha_{i,j}}Y_{\alpha_{j},\alpha_{i,j}}^{-1}(Y_{\alpha_{j},\alpha_{i,j}}Y_{\alpha_{j},\alpha_{j,l}})^2\\
&=&
Y_{\alpha_{i},\alpha_{i,j}}Y_{\alpha_{j}\alpha_{j,l}}t_{\alpha_{i,j}}^2Y_{\alpha_{j}\alpha_{j,l}}^{-1}Y_{\alpha_{i},\alpha_{i,j}}^{-1}\cdot{}t_{\alpha_{i,j}}^2\left(t_{Y_{\alpha_j,\alpha_{j,l}}^{-2}(\alpha_{i,l})}t_{Y_{\alpha_j,\alpha_{j,l}}^{-1}(\alpha_{i,l})}^{-1}\right)^2\\
&=&
Y_{\alpha_{i},\alpha_{i,j}}Y_{\alpha_{j}\alpha_{j,l}}t_{\alpha_{i,j}}^2Y_{\alpha_{j}\alpha_{j,l}}^{-1}Y_{\alpha_{i},\alpha_{i,j}}^{-1}\cdot{}t_{\alpha_{i,j}}^2(Y_{\alpha_j,\alpha_{j,l}}^{-2}t_{\alpha_{i,l}}^2Y_{\alpha_j,\alpha_{j,l}}^2\cdot{}Y_{\alpha_j,\alpha_{j,l}}^{-1}t_{\alpha_{i,l}}^{-2}Y_{\alpha_j,\alpha_{j,l}})\\
&=&
Y_{\alpha_{i},\alpha_{i,j}}Y_{\alpha_{j}\alpha_{j,l}}t_{\alpha_{i,j}}^2Y_{\alpha_{j}\alpha_{j,l}}^{-1}Y_{\alpha_{i},\alpha_{i,j}}^{-1}\cdot{}t_{\alpha_{i,j}}^2t_{\beta_{j,l}}^{-1}t_{\alpha_{i,l}}^2t_{\beta_{j,l}}\cdot{}Y_{\alpha_j,\alpha_{j,l}}t_{\beta_{j,l}}^{-1}t_{\alpha_{i,l}}^{-2}t_{\beta_{j,l}}Y_{\alpha_j,\alpha_{j,l}}^{-1}
\end{eqnarray*}
(see Figure~\ref{crosscap-slide-rel-3}~(c)).
Since $f$, $fY_{\alpha_j,\alpha_{j,l}}$ and $fY_{\alpha_i,\alpha_{i,j}}Y_{\alpha_j,\alpha_{j,l}}$ are in $\mathcal{Y}_{\mathrm{LO}}$, $f(Y_{\alpha_{i},\alpha_{i,j}}Y_{\alpha_{k},\alpha_{k,l}})^2f^{-1}$ is obtained from the generators (1) and (2) in Theorem~\ref{gen-T^2I-2}.
Let $i<k<j<l$.
Then we calculate
\begin{eqnarray*}
[Y_{\alpha_{i},\alpha_{i,j}},Y_{\alpha_{k},\alpha_{k,l}}]
&=&
Y_{\alpha_{i},\alpha_{i,j}}Y_{\alpha_{k},\alpha_{k,l}}Y_{\alpha_{i},\alpha_{i,j}}^{-1}Y_{\alpha_{k},\alpha_{k,l}}^{-1}\\
&=&
Y_{\alpha_{i},\alpha_{i,j}}Y_{Y_{\alpha_{k},\alpha_{k,l}}(\alpha_{i}),Y_{\alpha_{k},\alpha_{k,l}}(\alpha_{i,j})}^{-1}\\
&=&
Y_{\alpha_{i},\alpha_{i,j}}Y_{\alpha_{i},\alpha_{i,l}}^{-1}Y_{\alpha_{i},\alpha_{i,k}}^2Y_{\alpha_{i},\alpha_{i,l}}Y_{\alpha_{i},\alpha_{i,k}}^2Y_{\alpha_{i},\alpha_{i,j}}^{-1}Y_{\alpha_{i},\alpha_{i,k}}^{-2}Y_{\alpha_{i},\alpha_{i,l}}^{-1}Y_{\alpha_{i},\alpha_{i,k}}^{-2}Y_{\alpha_{i},\alpha_{i,l}}\\
&=&
Y_{\alpha_{i},\alpha_{i,j}}(t_{\beta_{i,l}}^{-1}Y_{\alpha_{i},\alpha_{i,l}}t_{\beta_{i,k}}Y_{\alpha_{i},\alpha_{i,l}}^{-1}t_{\beta_{i,l}}t_{\beta_{i,k}})Y_{\alpha_{i},\alpha_{i,j}}^{-1}\cdot{}t_{\beta_{i,k}}^{-1}t_{\beta_{i,l}}^{-1}\cdot{}Y_{\alpha_{i},\alpha_{i,l}}t_{\beta_{i,k}}^{-1}Y_{\alpha_{i},\alpha_{i,l}}^{-1}\cdot{}t_{\beta_{i,l}}
\end{eqnarray*}
(see Figure~\ref{crosscap-slide-rel-3}~(d)).
Since $f$, $fY_{\alpha_i,\alpha_{i,j}}$, $fY_{\alpha_i,\alpha_{i,l}}$ and $fY_{\alpha_i,\alpha_{i,j}}Y_{\alpha_i,\alpha_{i,l}}$ are in $\mathcal{Y}_{\mathrm{LO}}$, $f[Y_{\alpha_{i},\alpha_{i,j}},Y_{\alpha_{k},\alpha_{k,l}}]f^{-1}$ is obtained from the generators (1) and (2) in Theorem~\ref{gen-T^2I-2}.
For the other cases, we have that $f[Y_{\alpha_{i},\alpha_{i,j}},Y_{\alpha_{k},\alpha_{k,l}}]f^{-1}=1$.

\begin{figure}[htbp]
\subfigure[$Y_{\alpha_{i},\alpha_{i,j}}Y_{\alpha_{i},\alpha_{i,l}}=t_{\alpha_{j,l}}t_{Y_{\alpha_i,\alpha_{i,j}}^{-1}(\alpha_{j,l})}^{-1}$.]{\includegraphics{crosscap-slide-rel-3-1}}
\subfigure[$Y_{Y_{\alpha_{i},\alpha_{i,j}}(\alpha_{k}),Y_{\alpha_{i},\alpha_{i,j}}(\alpha_{k,j})}=Y_{\alpha_{k},\alpha_{k,j}}Y_{\alpha_{k},\alpha_{i,k}}^2$.]{\includegraphics{crosscap-slide-rel-3-2}}
\subfigure[$Y_{\alpha_{j},\alpha_{i,j}}Y_{\alpha_{j},\alpha_{j,l}}=t_{Y_{\alpha_j,\alpha_{j,l}}^{-2}(\alpha_{i,l})}t_{Y_{\alpha_j,\alpha_{j,l}}^{-1}(\alpha_{i,l})}^{-1}$.]{\includegraphics{crosscap-slide-rel-3-3}}
\subfigure[$Y_{Y_{\alpha_{k},\alpha_{k,l}}(\alpha_{i}),Y_{\alpha_{k},\alpha_{k,l}}(\alpha_{i,j})}^{-1}=Y_{\alpha_{i},\alpha_{i,l}}^{-1}Y_{\alpha_{i},\alpha_{i,k}}^2Y_{\alpha_{i},\alpha_{i,l}}Y_{\alpha_{i},\alpha_{i,k}}^2Y_{\alpha_{i},\alpha_{i,j}}^{-1}Y_{\alpha_{i},\alpha_{i,k}}^{-2}Y_{\alpha_{i},\alpha_{i,l}}^{-1}Y_{\alpha_{i},\alpha_{i,k}}^{-2}Y_{\alpha_{i},\alpha_{i,l}}$.]{\includegraphics{crosscap-slide-rel-3-4}}
\caption{}\label{crosscap-slide-rel-3}
\end{figure}

Thus we complete the proof.
\end{proof}