format: text

text:
# Integrable Submodels of Nonlinear 𝜎-models and Their Generalization

### Preface

The nonlinear $`\sigma `$-model is a field theory whose action is a energy functional of maps from a space-time to a Riemannian manifold. This theory is used in particle physics and condensed-matter physics as low-energy effective theories. The solutions of its equation of motion are called harmonic maps, which are important object in geometry. If the dimension of the space-time is $`1+n`$ (this means one time-variable and $`n`$ space-variables) and the Riemann manifold is a Grassmann manifold, it is called the nonlinear Grassmann model in $`(1+n)`$ dimensions.

The nonlinear Grassmann model in $`(1+1)`$ dimensions is a very interesting theory and is investigated in huge amount of papers. In particular, it has integrable structures such as a Lax-pair, an infinite number of conserved currents, a wide class of exact solutions and so on \[Zak\]. Moreover, this model carries instantons which exhibit many similarities to instantons of the four-dimensional Yang-Mills theory \[Zak\], \[Raj\]. In view of these rich structures, it may be natural to investigate the structures of the nonlinear Grassmann models in higher dimensions.

We are interested in integrable structures of the nonlinear Grassmann models in higher dimensions. However, we find that it is hard to study the higher-dimensional models in a similar way as $`(1+1)`$-dimensional one because it is difficult to extend the concepts of integrability such as zero-curvature conditions to higher dimensions.

In these circumstances, O. Alvarez, L. A. Ferreira and J. S. Guillen proposed a new approach to higher-dimensional integrable theories \[AFG1\] (see also \[AFG2\]) in 1997. They defined a local integrability condition in higher dimensions as the vanishing of a curvature of a trivial bundle over a path-space. They investigated the condition for the nonlinear $`𝐂P^1`$-model in $`(1+2)`$ dimensions. Then they found an integrable submodel of the nonlinear $`𝐂P^1`$-model in $`(1+2)`$ dimensions. We call it the $`𝐂P^1`$-submodel for short. The $`𝐂P^1`$-submodel possesses an infinite number of conserved currents and a wide class of exact solutions. Moreover, solutions of the $`𝐂P^1`$-submodel are also those of the nonlinear $`𝐂P^1`$-model. Thus, by analysing the submodel, we can investigate hidden structures of the original model.

After AFG’s proposal, the theory of integrable submodels has been generalized and applied to some interesting models in physics to find new non-perturbative structures \[FS1\], \[FS2\], \[GMG\], \[FHS1\], \[FHS2\], \[FL\], \[AFZ1\], \[AFZ2\], \[Suz\], \[FG\], \[B\], \[FR\]. Therefore it is expected that the theory of submodels open a new way to develop exact methods in higher-dimensional field theories.

In this thesis, we investigate various integral submodels and generalize them. We use the word “integrable” in the sense of possessing an infinite number of conserved currents.

This thesis consists of three parts. In part I, we study the submodel of the nonlinear $`𝐂P^1`$-model and the related submodels in $`(1+2)`$ dimensions. We give an explicit formula of the conserved currents with a discrete parameter by using a more general potential than one introduced in \[AFG1\]. This generalized formula implies the conserved currents of the $`𝐂P^1`$-submodel which are associated with the spin $`j`$ representation of $`SU(2)`$. Next, we define submodels of related models to the nonlinear $`𝐂P^1`$-model. The generalized formula mentioned above also implies the conserved currents of these submodels.

In part II, we construct integrable submodels of the nonlinear Grassmann models in any dimension. We call them the Grassmann submodels. We define a Grassmann manifold as a set of projection matrices. Then we find that the tensor product of matrices is a key to define integrable submodels. To show that our submodels are integrable, we construct an infinite number of conserved currents in two ways. One is that we make full use of the Noether currents of the nonlinear Grassmann models. The other is that we use a method of multiplier. We pull back a 1-form on the Grassmann manifold to the Minkowski space. Then we study conditions which make the pull-backed form a conserved current. These conditions are especially noteworthy in the case of the $`𝐂P^1`$-submodel. As a result, we find a generic form of the conserved currents of the $`𝐂P^1`$-submodel. Next we investigate symmetries of the Grassmann submodel. By using the symmetries, we can construct a wide class of exact solutions for our submodels.

In part III, keeping some properties of our submodels, we generalize our submodels to higher-order equations. The generic form of the conserved currents and symmetries of our submodels studied in part II become clearer by this generalization. First we prepare the Bell polynomials and the generalized Bell polynomials which play the most important roles in our theory of generalized submodels. The Bell polynomials were introduced by E. T. Bell \[Bell\]. These polynomials are used in the differential calculations of composite functions. Next we generalize the $`𝐂P^1`$-submodel to higher-order equations. By introducing a “symbol” of the Bell polynomials, we can construct an infinite number of conserved currents of the generalized submodels by some simple calculations only. To construct exact solutions of our generalized submodels, we generalize a method discovered by V. I. Smirnov and S. L. Sobolev. Moreover, we also investigate symmetries of the generalized submodels. Lastly we generalize the Grassmann submodel to higher-order equations. By using the generalized Bell polynomials, we can show that the generalized Grassmann submodels are also integrable. As a result, we obtain a hierarchy of systems of integrable equations in any dimension which includes Grassmann submodels. These results lead to the conclusion that the integrable structures of our generalized submodels are closely related to some fundamental properties of the Bell polynomials.

#### Acknowledgements

I would like to express my deep gratitude to my advisor Professor Tosiaki Kori for his encouragement during the time of the thesis. I wish to express my hearty gratitude to my co-author Professor Kazuyuki Fujii for many discussions and valuable advices, and to my co-author Mr. Yasushi Homma for his contribution to solve some important problems. Finally, I would like to thank Professor Kimio Ueno and Professor Masayoshi Tsutsumi for their critical reading of my manuscript as the members of the doctoral committee.

Tatsuo Suzuki

## Part I A Submodel of the Nonlinear $`𝐂P^1`$-Model and Related Submodels in $`(1+2)`$ Dimensions

### Chapter 1 A Submodel of the Nonlinear $`𝐂P^1`$-Model

In 1997, Alvarez, Ferreira and Guillen in the interesting paper \[AFG1\] proposed a new idea to generalize the method in two dimensions. In particular they defined a three dimensional integrability and applied their method to the $`𝐂P^1`$-model in $`(1+2)`$ dimensions to obtain an infinite number of nontrivial conserved currents. But they have not calculated all forms of conserved currents. In this chapter, we give explicit forms of conserved currents of a submodel of the $`𝐂P^1`$-model and also apply their method to other nonlinear sigma models in $`(1+2)`$ dimensions to obtain an infinite number of nontrivial conserved currents.

#### 1.1 AFG’s Local Integrability Condition in $`(1+2)`$ Dimensions

Let $`M`$ be $`(1+2)`$-dimensional Minkowski space and $`\widehat{𝔤}`$ a Lie algebra. We introduce a connection form $`A_\mu `$ with valued $`\widehat{𝔤}`$ and a $`\widehat{𝔤}`$-valued anti-symmetric tensor field $`B_{\mu \nu }`$ on $`M`$. We define the curvature and the covariant derivative with respect to $`A_\mu `$.

$$F_{\mu \nu }_\mu A_\nu _\nu A_\mu +[A_\mu ,A_\nu ],$$
(1.1)
$$D_\mu \stackrel{~}{B}^\mu _\mu \stackrel{~}{B}^\mu +[A_\mu ,\stackrel{~}{B}^\mu ],$$
(1.2)
where

$$\stackrel{~}{B}^\mu \frac{1}{2}ϵ^{\mu \nu \lambda }B_{\nu \lambda }\text{with}ϵ^{012}=1=ϵ_{012}.$$
(1.3)
We define a local integrability condition according to \[AFG1\]. If $`\widehat{𝔤}=𝔤𝔭`$ with $`𝔤`$ a semisimple Lie subalgebra and $`𝔭`$ an abelian ideal of $`\widehat{𝔤}`$, then, the local integrability condition is defined as follows:

$$A_\mu 𝔤,B_{\mu \nu }𝔭,$$
(1.4)
$$F_{\mu \nu }=0\text{and}D_\mu \stackrel{~}{B}^\mu =0.$$
(1.5)
Because of the flatness of $`A_\mu `$, we can write

$$A_\mu =_\mu WW^1,$$
(1.6)
where $`W`$ is a function on $`M`$ having values in the Lie group $`G`$ corresponding to $`𝔤`$.

Now we consider the case when $`\widehat{𝔤}`$ is given by an abelian extension of $`𝔤`$. Let $`R`$ be a representation of $`𝔤`$, $`R:𝔤𝔤𝔩(P)`$, where $`P`$ is a representation space. The construction of $`\widehat{𝔤}`$ is

$$0P\widehat{𝔤}𝔤\text{0}.$$
(1.7)
Let $`\{T_a\}`$ be a basis of $`𝔤`$ and $`\{P_i\}`$ of $`P`$. The commutation relations in $`\widehat{𝔤}`$ are

$`[T_a,T_b]=f_{ab}^cT_c,`$
$`[T_a,P_i]=P_jR_{ji}(T_a),`$ (1.8)
$`[P_i,P_j]=0,`$
where $`f_{ab}^c`$ denote the structure constants of $`𝔤`$ and $`R_{ji}`$ the matrix elements of $`R`$. This means that $`\widehat{𝔤}`$ is a semi-direct sum of a Lie algebra $`𝔤`$ and an abelian Lie algebra $`P`$.

We choose $`A_\mu `$ and $`B_{\mu \nu }`$ as

$$A_\mu 𝔤\text{and}B_{\mu \nu }P$$
(1.9)
and we suppose that they satisfy (1.5). Then the current

$$J_\mu W^1\stackrel{~}{B}_\mu W$$
(1.10)
is conserved by virtue of the equality

$$_\mu J^\mu =W^1D_\mu \stackrel{~}{B}^\mu W=0,$$
(1.11)
where $`W^1\stackrel{~}{B}_\mu W=(W^1)\stackrel{~}{B}_\mu `$ and $`:GGL(P)`$ such that $`d=R`$.

On the other hand, since $`J_\mu P`$

$$J_\mu =\underset{i=1}{\overset{\text{dim}P}{}}J_\mu ^iP_i,$$
(1.12)
$`\{J_\mu ^i|1i\text{dim}P\}`$ is a set of conserved currents. Therefore if there are infinitely many different representations $`R`$, we get an infinite number of conserved currents.

#### 1.2 AFG’s Definition of the $`𝐂P^1`$-submodel

In this section we consider the $`𝐂P^1`$-model in $`(1+2)`$ dimensions as an effective example of the preceding theory. $`𝐂P^1`$ (1-dimensional complex projective space) is identified with $`SU(2)/U(1)`$ and the embedding $`i:𝐂P^1SU(2)`$ is

$$i(𝐂P^1)=\left\{\frac{1}{\sqrt{1+|v|^2}}\left(\begin{array}{cc}1& v\\ \overline{v}& 1\end{array}\right)\right|v𝐂\}.$$
(1.13)
But according to \[AFG1\], we set $`v=iu`$ $`(u𝐂)`$ to obtain

$$i(𝐂P^1)=\left\{g(u)=\frac{1}{\sqrt{1+|u|^2}}\left(\begin{array}{cc}1& iu\\ i\overline{u}& 1\end{array}\right)\right|u𝐂\}.$$
(1.14)
This form becomes useful later on. We note here that $`𝐂P^1`$ is identified with the projection space

$$𝐂P^1=\text{Ad}(SU(2))\left(\begin{array}{cc}1& \\ & 0\end{array}\right).$$
(1.15)
For $`g(u)i(𝐂P^1)SU(2)`$, we have

$$g(u)\left(\begin{array}{cc}1& \\ & 0\end{array}\right)g(u)^1=\frac{1}{1+|u|^2}\left(\begin{array}{cc}1& iu\\ i\overline{u}& |u|^2\end{array}\right).$$
(1.16)
The action of the $`𝐂P^1`$-model in $`(1+2)`$ dimensions is given by

$$𝒜(u)d^3x\frac{^\mu \overline{u}_\mu u}{(1+|u|^2)^2},$$
(1.17)
where $`u:M^{1+2}𝐂`$. Its equation of motion is

$$(1+|u|^2)^\mu _\mu u2\overline{u}^\mu u_\mu u=0.$$
(1.18)
This model is invariant under the transformation

$$u\frac{1}{u}.$$
(1.19)
It is well-known that this model has three conserved currents (Noether currents)

$`J_\mu ^{Noet}={\displaystyle \frac{1}{(1+|u|^2)^2}}(_\mu u\overline{u}u_\mu \overline{u}),`$ (1.20)
$`j_\mu ={\displaystyle \frac{1}{(1+|u|^2)^2}}(_\mu u+u^2_\mu \overline{u}),`$ (1.21)
$`\text{and the complex conjugate}\overline{j_\mu },`$ (1.22)
corresponding to the number of generators of $`SU(2)`$.

To begin with, we apply the preceding theory to the $`𝐂P^1`$-model. Let $`𝔤`$ be $`𝔰𝔩(\text{2,}𝐂)`$, the Lie algebra of $`SL(2,𝐂)`$. Let $`\{T_+,T_{},T_3\}`$ be generators of $`𝔰𝔩(\text{2,}𝐂)`$ satisfying

$$[T_3,T_+]=T_+,[T_3,T_{}]=T_{},[T_+,T_{}]=2T_3.$$
(1.23)
Usually we choose

$$T_+=\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right),T_{}=\left(\begin{array}{cc}0& 0\\ 1& 0\end{array}\right),T_3=\frac{1}{2}\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right).$$
(1.24)
From here we consider a spin $`j`$ representation of $`𝔰𝔩(\text{2,}𝐂)`$. Then $`\widehat{𝔤}`$ in (1.8) is given by

$`[T_3,P_m^{(j)}]=mP_m^{(j)},`$
$`[T_\pm ,P_m^{(j)}]=\sqrt{j(j+1)m(m\pm 1)}P_{m\pm 1}^{(j)},`$ (1.25)
$`[P_m^{(j)},P_n^{(j)}]=0`$
where $`m\{j,j+1,\mathrm{},j1,j\}`$ and $`\{P_m^{(j)}|jmj\}`$ is a set of generators of the representation space $`P𝐂^{2j+1}`$. We note that $`P_j^{(j)}`$ $`(P_j^{(j)})`$ is the highest (lowest) spin state. Now we must choose gauge fields $`A_\mu `$, $`B_{\mu \nu }`$ or $`A_\mu `$, $`\stackrel{~}{B}_\mu `$ to satisfy (1.5). From (1.14), we set

$$W=W(u)\frac{1}{\sqrt{1+|u|^2}}\left(\begin{array}{cc}1& iu\\ i\overline{u}& 1\end{array}\right)$$
(1.26)
and choose

$`A_\mu `$ $``$ $`_\mu WW^1`$ (1.27)
$`=`$ $`{\displaystyle \frac{1}{1+|u|^2}}\{i_\mu uT_++i_\mu \overline{u}T_{}+(_\mu u\overline{u}u_\mu \overline{u})T_3\},`$
$`\stackrel{~}{B}_\mu ^{(1)}`$ $``$ $`{\displaystyle \frac{1}{1+|u|^2}}(_\mu uP_1^{(1)}_\mu \overline{u}P_1^{(1)}).`$ (1.28)
###### Remark 1.1.

The Gauss decomposition of $`W`$ in (1.26) is given by

$$W=W_1e^{iuT_+}e^{\phi T_3}e^{i\overline{u}T_{}}$$
(1.29)
or

$$W=W_2e^{i\overline{u}T_{}}e^{\phi T_3}e^{iuT_+}$$
(1.30)
where $`\phi =\mathrm{log}(1+|u|^2)`$.

Now it is easy to show that the $`𝐂P^1`$-model satisfies the local integrability conditions

$$F_{\mu \nu }=0\text{and}D_\mu \stackrel{~}{B}^{\mu (1)}=0$$
(1.31)
from (1.27) and (1.28). Therefore the conserved currents (1.10) are

$$J_\mu ^{(1)}W^1\stackrel{~}{B}_\mu ^{(1)}W=j_\mu P_1^{(1)}\sqrt{2}iJ_\mu ^{Noet}P_0^{(1)}\overline{j}_\mu P_1^{(1)},$$
(1.32)
where coefficients are given by (1.20), (1.21), (1.22). Next we consider more extended situation than in (1.27), (1.28). That is, we choose

$$\stackrel{~}{B}_\mu ^{(j)}\frac{1}{1+|u|^2}(_\mu uP_1^{(j)}_\mu \overline{u}P_1^{(j)})(j=1,2,\mathrm{})$$
(1.33)
instead of $`\stackrel{~}{B}_\mu ^{(1)}`$ in (1.28). In this case $`P_1^{(j)}`$ $`(P_1^{(j)})`$ is not the highest (lowest) spin state unless $`j=1`$. If we assume $`D_\mu \stackrel{~}{B}^{\mu (j)}=0`$, where

$`D_\mu \stackrel{~}{B}^{\mu (j)}`$ $`=`$ $`{\displaystyle \frac{1}{(1+|u|^2)^2}}\{\sqrt{j(j+1)2}(i_\mu u^\mu uP_2^{(j)}+i_\mu \overline{u}^\mu \overline{u}P_2^{(j)})`$ (1.34)
$`+\{(1+|u|^2)^\mu _\mu u2\overline{u}^\mu u_\mu u\}P_1^{(j)}`$
$`+\{(1+|u|^2)^\mu _\mu \overline{u}2u^\mu \overline{u}_\mu \overline{u}\}P_1^{(j)}\},`$
we must add a new constraint in addition to the equation of motion (1.18):

$$(1+|u|^2)^\mu _\mu u2\overline{u}^\mu u_\mu u=0\text{and}^\mu u_\mu u=0.$$

Namely

$$^\mu _\mu u=0\text{and}^\mu u_\mu u=0.$$
(1.35)
We call these equations a submodel of the $`𝐂P^1`$-model (or the $`𝐂P^1`$-submodel for short) the according to \[AFG1\]. Then the conserved currents are

$$J_\mu ^{(j)}W^1\stackrel{~}{B}_\mu ^{(j)}W=\underset{k=j}{\overset{j}{}}J_\mu ^{(j,k)}P_k^{(j)}.$$
(1.36)
In \[AFG1\] they determined $`\{J_\mu ^{(j,k)}||k|j\}`$ for $`j=1,2,3`$ only and left the remaining cases. We determine these for any $`j𝐍`$ in the following section.

#### 1.3 Formulas for a Generalized Potential

We generalize the $`\stackrel{~}{B}_\mu ^{(j)}`$ in the preceeding section to the following formula;

$$\stackrel{~}{B}_\mu ^{(j;m)}=\frac{1}{1+|u|^2}(_\mu uP_m^{(j)}_\mu \overline{u}P_m^{(j)})$$
(1.37)
where $`m\{1,\mathrm{},j\}`$. For $`m=1`$, $`\stackrel{~}{B}_\mu ^{(j;1)}`$ reduces to $`\stackrel{~}{B}_\mu ^{(j)}`$ in (1.33). We shall calculate “conserved currents with a parameter $`m`$”:

$$J_\mu ^{(j;m)}W^1\stackrel{~}{B}_\mu ^{(j;m)}W=\underset{k=j}{\overset{j}{}}J_\mu ^{(j;m)}(k)P_k^{(j)}.$$
(1.38)
###### Theorem 1.2.

we have
(a) for $`k0`$,
(i) $`0km`$,

$`J_\mu ^{(j;m)}(k)`$ $`=`$ $`\sqrt{{\displaystyle \frac{(j+k)!(jk)!}{(j+m)!(jm)!}}}{\displaystyle \frac{1}{(1+|u|^2)^{j+1}}}`$ (1.39)
$`\times \{{\displaystyle \underset{n=0}{\overset{jm}{}}}\alpha _n(m,k)|u|^{2n}(i\overline{u})^{mk}_\mu u`$
$`(1)^{jm}{\displaystyle \underset{n=0}{\overset{jm}{}}}\alpha _{jmn}(m,k)|u|^{2n}(iu)^{m+k}_\mu \overline{u}\},`$
(ii) $`mkj`$,

$`J_\mu ^{(j;m)}(k)`$ $`=`$ $`\sqrt{{\displaystyle \frac{(j+m)!(jm)!}{(j+k)!(jk)!}}}{\displaystyle \frac{(iu)^{km}}{(1+|u|^2)^{j+1}}}`$ (1.40)
$`\times \{{\displaystyle \underset{n=0}{\overset{jk}{}}}\alpha _n(k,m)|u|^{2n}_\mu u`$
$`(1)^{jk}{\displaystyle \underset{n=0}{\overset{jk}{}}}\alpha _{jkn}(k,m)|u|^{2n}(iu)^{2m}_\mu \overline{u}\},`$
where

$$\alpha _n(m,k)(1)^n\left(\begin{array}{c}jm\\ n\end{array}\right)\left(\begin{array}{c}j+m\\ n+mk\end{array}\right).$$
(1.41)
(b) For $`k<0`$,

$$J_\mu ^{(j;m)}(k)=(1)^{k+m+1}J_\mu ^{(j;m)^{}}(k).$$
(1.42)
###### Remark 1.3.

We have simple relations:

$`\alpha _n(m,k)`$ $`=`$ $`{\displaystyle \frac{(j+m)!(jm)!}{(j+k)!(jk)!}}\alpha _n(k,m),`$ (1.43)
$`\alpha _{jmn}(m,k)`$ $`=`$ $`(1)^{jm}\alpha _n(m,k).`$ (1.44)
These formulas are also useful in our calculations.

Proof: For simplicity, we put $`C_{\pm ,m}^{(j)}\sqrt{j(j+1)m(m\pm 1)}`$. Then, we have

$$C_{+,m}^{(j)}=C_{,m+1}^{(j)}=C_{+,m1}^{(j)},C_{,m}^{(j)}=C_{,m+1}^{(j)},$$
(1.45)
$`{\displaystyle \underset{a=1}{\overset{s}{}}}C_{+,a1+m}^{(j)}=\sqrt{{\displaystyle \frac{(j+s+m)!(jm)!}{(jsm)!(j+m)!}}},`$ (1.46)
$`{\displaystyle \underset{b=1}{\overset{l}{}}}C_{+,b+s+m}^{(j)}=\sqrt{{\displaystyle \frac{(j+s+m)!(jsm+l)!}{(jsm)!(j+s+ml)!}}}.`$ (1.47)
By using two-type of the Gauss decomposition (1.29), (1.30)

$$W=W_1=W_2$$

and a formula

$$(\text{e}^X)Y=\mathrm{exp}(\text{R}(X))Y=Y+[X,Y]+\frac{1}{2!}[X,[X,Y]]+\mathrm{},$$
(1.48)
we have

$`J_\mu ^{(j;m)}`$ $`=`$ $`(W^1)\stackrel{~}{B}_\mu ^{(j;m)}`$
$`=`$ $`{\displaystyle \frac{_\mu u}{1+|u|^2}}(W_1^1)P_m^{(j)}{\displaystyle \frac{_\mu \overline{u}}{1+|u|^2}}(W_2^1)P_m^{(j)}`$
$`=`$ $`{\displaystyle \underset{s=0}{\overset{jm}{}}}{\displaystyle \underset{l=0}{\overset{j+s+m}{}}}{\displaystyle \frac{1}{s!l!}}{\displaystyle \frac{1}{(1+|u|^2)^{s+m+1}}}{\displaystyle \underset{a=1}{\overset{s}{}}}C_{+,a1+m}^{(j)}{\displaystyle \underset{b=1}{\overset{l}{}}}C_{+,b+s+m}^{(j)}`$
$`\times \{(iu)^s(i\overline{u})^l_\mu uP_{sl+m}^{(j)}(i\overline{u})^s(iu)^l_\mu \overline{u}P_{(sl+m)}^{(j)}\}`$
$`=`$ $`{\displaystyle \underset{s=0}{\overset{jm}{}}}{\displaystyle \underset{l=0}{\overset{j+s+m}{}}}{\displaystyle \frac{1}{s!l!}}{\displaystyle \frac{1}{(1+|u|^2)^{s+m+1}}}{\displaystyle \frac{(j+s+m)!}{(jsm)!}}\sqrt{{\displaystyle \frac{(jm)!(jsm+l)!}{(j+m)!(j+s+ml)!}}}`$
$`\times \{(iu)^s(i\overline{u})^l_\mu uP_{sl+m}^{(j)}(i\overline{u})^s(iu)^l_\mu \overline{u}P_{(sl+m)}^{(j)}\}.`$
We put $`k=sl+m`$ and calculate $`J_\mu ^{(j;m)}(k)`$.
(i) In the case of $`0km`$, we note

$$(iu)^s(i\overline{u})^l=(|u|^2)^s(i\overline{u})^{mk}$$
(1.49)
and

$$\frac{1}{(1+|u|^2)^{s+m+1}}=\frac{1}{(1+|u|^2)^{j+1}}\underset{t=0}{\overset{jsm}{}}\frac{(jsm)!}{t!(jsmt)!}|u|^{2j2s2m2t}.$$
(1.50)
If we put $`n=jmt`$, we find that the coefficient of $`{\displaystyle \frac{|u|^{2n}(i\overline{u})^{mk}_\mu u}{(1+|u|^2)^{j+1}}}`$ is

$`\sqrt{{\displaystyle \frac{(jm)!(jk)!}{(j+m)!(j+k)!}}}{\displaystyle \underset{s=0}{\overset{n}{}}}(1)^s{\displaystyle \frac{(j+s+m)!}{s!(s+mk)!(jmn)!(ns)!}}`$
$`=`$ $`\sqrt{{\displaystyle \frac{(j+k)!(jk)!}{(j+m)!(jm)!}}}\alpha _n(m,k).`$
Similarly, we also find that the coefficient of $`{\displaystyle \frac{|u|^{2n}(iu)^{m+k}_\mu \overline{u}}{(1+|u|^2)^{j+1}}}`$ is

$$\sqrt{\frac{(j+k)!(jk)!}{(j+m)!(jm)!}}\alpha _n(m,k).$$

Therefore we obtain (1.39).
(ii) In the case of $`mkj`$,

$$(iu)^s(i\overline{u})^l=(|u|^2)^l(iu)^{km}.$$
(1.51)
If we exchange $`m`$ and $`k`$ in the proof of (i), then we can calculate (1.40) in a similar way.
(iii) By using

$$\stackrel{~}{B}_\mu ^{(j;m)}=(1)^{m+1}\stackrel{~}{B}_\mu ^{(j;m)}$$
(1.52)
and

$$W^{}=W^1,$$
(1.53)
we have

$$J_\mu ^{(j;m)}=(1)^{m+1}J_\mu ^{(j;m)}.$$
(1.54)
(1.54) implies the relation (1.42). ∎

#### 1.4 Conserved Currents associated with Spin $`j`$ Representation of SU(2)

In this section, we describe the conserved currents (1.36) of the $`𝐂P^1`$-submodel. We set $`m=1`$ in theorem 1.2.

###### Proposition 1.4.

For any $`j𝐍`$, conserved currents of the $`𝐂P^1`$-submodel associated with spin $`j`$ representation of $`SU(2)`$ are given by as follows:
(a) for $`k0`$,
(i) $`k=0`$,

$`J_\mu ^{(j,0)}=J_\mu ^{(j;1)}(0)`$ $`=`$ $`\sqrt{{\displaystyle \frac{j}{j+1}}}{\displaystyle \frac{i}{(1+|u|^2)^{j+1}}}(\overline{u}_\mu uu_\mu \overline{u})`$ (1.59)
$`\times {\displaystyle \underset{n=0}{\overset{j1}{}}}(1)^n\left(\begin{array}{c}j1\\ n\end{array}\right)\left(\begin{array}{c}j+1\\ n+1\end{array}\right)|u|^{2n},`$
(ii) $`1kj`$,

$`J_\mu ^{(j,k)}=J_\mu ^{(j;1)}(k)`$ $`=`$ $`\sqrt{{\displaystyle \frac{(j+1)!(j1)!}{(j+k)!(jk)!}}}{\displaystyle \frac{(iu)^{k1}}{(1+|u|^2)^{j+1}}}`$ (1.69)
$`\times \{{\displaystyle \underset{n=0}{\overset{jk}{}}}(1)^n\left(\begin{array}{c}jk\\ n\end{array}\right)\left(\begin{array}{c}j+k\\ n+k1\end{array}\right)|u|^{2n}_\mu u`$
$`+{\displaystyle \underset{n=0}{\overset{jk}{}}}(1)^n\left(\begin{array}{c}jk\\ n\end{array}\right)\left(\begin{array}{c}j+k\\ n+k+1\end{array}\right)|u|^{2n}u^2_\mu \overline{u}\}.`$
(b) For $`k<0`$,

$$J_\mu ^{(j,k)}=J_\mu ^{(j;1)}(k)=(1)^kJ_\mu ^{(j;1)^{}}(k).$$
(1.70)
###### Remark 1.5.

By a little calculation, we can express proposition 1.4 as follows (see \[FS1\]):
(a) for $`jm1`$,

$`J_\mu ^{(j,m)}`$ $`=`$ $`\sqrt{{\displaystyle \frac{(j+m)!}{j(j+1)(jm)!}}}{\displaystyle \frac{(iu)^{m1}}{(1+|u|^2)^{j+1}}}`$ (1.71)
$`\times \left({\displaystyle \underset{n=0}{\overset{jm}{}}}\alpha _n^{(j,m)}|u|^{2n}_\mu u+(1)^{jm}{\displaystyle \underset{n=0}{\overset{jm}{}}}\alpha _{jmn}^{(j,m)}|u|^{2n}u^2_\mu \overline{u}\right),`$
(b) for $`m=0`$,

$$J_\mu ^{(j,0)}=i\sqrt{j(j+1)}\frac{(\overline{u}_\mu uu_\mu \overline{u})}{(1+|u|^2)^{j+1}}\underset{n=0}{\overset{j1}{}}\gamma _n^{(j,0)}|u|^{2n},$$
(1.72)
(c) for $`jm1`$,

$$J_\mu ^{(j,m)}=(1)^mJ_\mu ^{(j,m)^{}},$$
(1.73)
where coefficients are

$`\alpha _n^{(j,m)}`$ $`=`$ $`(1)^n{\displaystyle \frac{n!}{(m+n1)!}}\left(\begin{array}{c}jm\\ n\end{array}\right)\left(\begin{array}{c}j+1\\ n\end{array}\right),`$ (1.78)
$`\gamma _n^{(j,0)}`$ $`=`$ $`(1)^n{\displaystyle \frac{1}{j}}\left(\begin{array}{c}j\\ n\end{array}\right)\left(\begin{array}{c}j\\ n+1\end{array}\right).`$ (1.83)
### Chapter 2 Submodels of Related Models

#### 2.1 $`𝐂P^1`$-like Models and their Submodels

In this section, we consider the $`𝐂P^1`$-like sigma models in $`(1+2)`$ dimensions. First of all, we fix $`j𝐍`$. The action of such a model is given by

$$𝒜_j(u)d^3x\frac{^\mu \overline{u}_\mu u}{(1+|u|^2)^{j+1}},$$
(2.1)
where $`u:M^{1+2}𝐂`$. When $`j=1`$, (2.1) reduces to the $`𝐂P^1`$-model.

###### Remark 2.1.

Since the action (2.1) is not invariant under the transformation $`u1/u`$ in (1.19), alternatively, we may consider an invariant action

$$\stackrel{~}{𝒜}_j(u)d^3x\frac{(1+|u|^{2(j1)})^\mu \overline{u}_\mu u}{(1+|u|^2)^{j+1}}.$$
(2.2)
But for the sake of simplicity, we consider (2.1) only in this thesis.

The equation of motion of (2.1) reads

$$(1+|u|^2)^\mu _\mu u(j+1)\overline{u}^\mu u_\mu u=0.$$
(2.3)
Taking an analogy of section 1.2, we set $`A_\mu `$ the same as (1.27) and $`\stackrel{~}{B}_\mu `$ as

$$\stackrel{~}{B}_\mu =\frac{1}{1+|u|^2}(_\mu uP_j^{(j)}_\mu \overline{u}P_j^{(j)})$$
(2.4)
where $`P_j^{(j)}`$ $`(P_j^{(j)})`$ is the highest (lowest) spin state. Let us calculate $`D_\mu \stackrel{~}{B}^\mu `$.

$`D_\mu \stackrel{~}{B}^\mu `$ $`=`$ $`i\sqrt{2j}{\displaystyle \frac{^\mu \overline{u}_\mu u}{(1+|u|^2)^2}}P_{j1}^{(j)}+i\sqrt{2j}{\displaystyle \frac{^\mu \overline{u}_\mu u}{(1+|u|^2)^2}}P_{j+1}^{(j)}`$ (2.5)
$`+{\displaystyle \frac{(1+|u|^2)^\mu _\mu u(j+1)\overline{u}^\mu u_\mu u+(j1)u^\mu \overline{u}_\mu u}{(1+|u|^2)^2}}P_j^{(j)}`$
$`+{\displaystyle \frac{(1+|u|^2)^\mu _\mu \overline{u}(j+1)u^\mu \overline{u}_\mu \overline{u}+(j1)\overline{u}^\mu \overline{u}_\mu u}{(1+|u|^2)^2}}P_j^{(j)}.`$
If we assume $`D_\mu \stackrel{~}{B}^\mu =0`$, then we have

$$(1+|u|^2)^\mu _\mu u(j+1)\overline{u}^\mu u_\mu u=0\text{and}^\mu \overline{u}_\mu u=0.$$
(2.6)
We call these equations a submodel of the $`𝐂P^1`$-like model. For this model, the local integrability conditions $`(F_{\mu \nu }=0\text{and}D_\mu \stackrel{~}{B}^\mu =0)`$ are satisfied. Therefore, the conserved currents are

$$J_\mu W^1\stackrel{~}{B}_\mu W=\underset{k=j}{\overset{j}{}}J_\mu ^{(j;j)}(k)P_k^{(j)}.$$
(2.7)
We set $`m=j`$ in theorem 1.2 to obtain the conserved currents (2.7) of the submodel of the $`𝐂P^1`$-like model.

###### Proposition 2.2.

We have
(a) for $`0kj`$,

$`J_\mu ^{(j;j)}(k)`$ $`=`$ $`\sqrt{{\displaystyle \frac{(2j)!}{(j+k)!(jk)!}}}{\displaystyle \frac{1}{(1+|u|^2)^{j+1}}}`$ (2.8)
$`\times \left\{(i\overline{u})^{jk}_\mu u(iu)^{j+k}_\mu \overline{u}\right\}.`$
(b) For $`k<0`$,

$$J_\mu ^{(j;j)}(k)=(1)^{j+1+k}J_\mu ^{(j;j)^{}}(k).$$
(2.9)
Moreover, we can remove the constraint $`j|k|`$. Namely, we have

###### Corollary 2.3.

$$J_\mu ^{(n)}=\frac{\overline{u}^n_\mu u}{(1+|u|^2)^{j+1}},n𝐙$$
(2.10)
and its complex conjugate $`\overline{J}_\mu ^{(n)}`$ are conserved currents of the submodel of the $`𝐂P^1`$-like model.

The proof is a direct calculation.

#### 2.2 $`QP^1`$-model and its submodel

In this section, we consider the $`QP^1`$-model in $`(1+2)`$ dimensions. We set

$$QP^1\{\varphi U(1,1)|\varphi ^{}=\varphi \}_{},$$
(2.11)
where $`\{\mathrm{}\}_{}`$ means a connected component containing the unit matrix. $`QP^1`$ (1-dimensional quasi projective space) is identified with $`SU(1,1)/U(1)D=\{z𝐂||z|<1\}`$ and the embedding $`i:QP^1SU(1,1)`$ is

$$i(QP^1)=\left\{\frac{1}{\sqrt{1|u|^2}}\left(\begin{array}{cc}1& iu\\ i\overline{u}& 1\end{array}\right)\right|uD\}.$$
(2.12)
Here $`D`$ is the Poincare disk. We note here that $`QP^1`$ is identified with the quasi projection space

$$QP^1\left\{\frac{1}{1|u|^2}\left(\begin{array}{cc}1& iu\\ i\overline{u}& |u|^2\end{array}\right)\right|uD\}.$$
(2.13)
See \[Fuj\], in detail.

The action of the $`QP^1`$-model in $`(1+2)`$ dimensions is given by

$$𝒜(u)d^3x\frac{^\mu \overline{u}_\mu u}{(1|u|^2)^2},$$
(2.14)
where $`u:M^{1+2}D`$. Its equation of motion is

$$(1|u|^2)^\mu _\mu u+2\overline{u}^\mu u_\mu u=0.$$
(2.15)
This model is invariant under the transformation $`u1/u`$ in (1.19). This model has three conserved currents

$`J_\mu ^{Noet}={\displaystyle \frac{1}{(1|u|^2)^2}}(_\mu u\overline{u}u_\mu \overline{u}),`$ (2.16)
$`j_\mu ={\displaystyle \frac{1}{(1|u|^2)^2}}(_\mu uu^2_\mu \overline{u}),`$ (2.17)
$`\text{and the complex conjugate}\overline{j_\mu },`$ (2.18)
corresponding to the number of generators of $`SU(1,1)`$. The complexification of both $`SU(2)`$ in section 1.2 and $`SU(1,1)`$ in this section is just $`SL(2,𝐂)`$. Therefore, the arguments in section 1.2 are still valid in this section. Namely we set

$$WW(u)=\frac{1}{\sqrt{1|u|^2}}\left(\begin{array}{cc}1& iu\\ i\overline{u}& 1\end{array}\right).$$
(2.19)
For this, the Gauss decomposition is given by

$$W=W_1e^{iuT_+}e^{\phi T_3}e^{i\overline{u}T_{}}$$
(2.20)
or

$$W=W_2e^{i\overline{u}T_{}}e^{\phi T_3}e^{iuT_+}$$
(2.21)
where $`\phi =\mathrm{log}(1|u|^2)`$. We choose $`A_\mu `$ and $`\stackrel{~}{B}_\mu ^{(1)}`$ as

$`A_\mu `$ $``$ $`_\mu WW^1`$ (2.22)
$`=`$ $`{\displaystyle \frac{1}{1+|u|^2}}\{i_\mu uT_++i_\mu \overline{u}T_{}+(_\mu u\overline{u}u_\mu \overline{u})T_3\},`$
$`\stackrel{~}{B}_\mu ^{(1)}`$ $``$ $`{\displaystyle \frac{1}{1|u|^2}}(_\mu uP_1^{(1)}+_\mu \overline{u}P_1^{(1)}).`$ (2.23)
Then, we easily have

$$F_{\mu \nu }=0\text{and}D_\mu \stackrel{~}{B}^{\mu (1)}=0,$$
(2.24)
so the conserved currents are

$$J_\mu ^{(1)}W^1\stackrel{~}{B}_\mu ^{(1)}W=j_\mu P_1^{(1)}+\sqrt{2}iJ_\mu ^{Noet}P_0^{(1)}+\overline{j}_\mu P_1^{(1)},$$
(2.25)
where coefficients are (2.16), (2.17), (2.18).

Next we consider the extended situation as shown in section 1.2. We choose

$$\stackrel{~}{B}_\mu ^{(j)}\frac{1}{1|u|^2}(_\mu uP_1^{(j)}+_\mu \overline{u}P_1^{(j)})$$
(2.26)
instead of $`\stackrel{~}{B}_\mu ^{(1)}`$ in (2.23). Then

$`D_\mu \stackrel{~}{B}^{\mu (j)}`$ $`=`$ $`{\displaystyle \frac{1}{(1|u|^2)^2}}\{\sqrt{j(j+1)2}(i_\mu u^\mu uP_2^{(j)}+i_\mu \overline{u}^\mu \overline{u}P_2^{(j)})`$ (2.27)
$`+\{(1|u|^2)^\mu _\mu u+2\overline{u}^\mu u_\mu u\}P_1^{(j)}`$
$`+\{(1|u|^2)^\mu _\mu \overline{u}+2u^\mu \overline{u}_\mu \overline{u}\}P_1^{(j)}\}.`$
Therefore, we consider a submodel of the $`QP^1`$-model,

$$^\mu _\mu u=0\text{and}^\mu u_\mu u=0.$$
(2.28)
Then we have the local integrability conditions $`F_{\mu \nu }=0\text{and}D_\mu \stackrel{~}{B}^{\mu (j)}=0`$. The conserved currents are

$$J_\mu ^{(j)}W^1\stackrel{~}{B}_\mu ^{(j)}W=\underset{k=j}{\overset{j}{}}J_\mu ^{(j,k)}P_k^{(j)}.$$
(2.29)
For this case, we can use proposition 1.4. Namely, we restrict $`u`$ to $`|u|<1`$ and replace

$$uu,\overline{u}\overline{u}$$
(2.30)
in proposition 1.4.

###### Proposition 2.4.

For any $`j𝐍`$, conserved currents of the submodel of the $`QP^1`$-model associated with spin $`j`$ representation of $`SU(1,1)`$ are given by as follows:
(a) for $`k0`$,
(i) $`k=0`$,

$`J_\mu ^{(j,0)}=J_\mu ^{(j;1)}(0)`$ $`=`$ $`\sqrt{{\displaystyle \frac{j}{j+1}}}{\displaystyle \frac{i}{(1|u|^2)^{j+1}}}(\overline{u}_\mu uu_\mu \overline{u})`$ (2.35)
$`\times {\displaystyle \underset{n=0}{\overset{j1}{}}}\left(\begin{array}{c}j1\\ n\end{array}\right)\left(\begin{array}{c}j+1\\ n+1\end{array}\right)|u|^{2n},`$
(ii) $`1kj`$,

$`J_\mu ^{(j,k)}=J_\mu ^{(j;1)}(k)`$ $`=`$ $`\sqrt{{\displaystyle \frac{(j+1)!(j1)!}{(j+k)!(jk)!}}}{\displaystyle \frac{(iu)^{k1}}{(1|u|^2)^{j+1}}}`$ (2.45)
$`\times \{{\displaystyle \underset{n=0}{\overset{jk}{}}}\left(\begin{array}{c}jk\\ n\end{array}\right)\left(\begin{array}{c}j+k\\ n+k1\end{array}\right)|u|^{2n}_\mu u`$
$`{\displaystyle \underset{n=0}{\overset{jk}{}}}\left(\begin{array}{c}jk\\ n\end{array}\right)\left(\begin{array}{c}j+k\\ n+k+1\end{array}\right)|u|^{2n}u^2_\mu \overline{u}\}.`$
(b) For $`k<0`$,

$$J_\mu ^{(j,k)}=J_\mu ^{(j;1)}(k)=J_\mu ^{(j;1)^{}}(k).$$
(2.46)
###### Remark 2.5.

By a little calculation, we can express proposition 2.4 as follows (see \[FS1\]):
(a) for $`jm1`$,

$`J_\mu ^{(j,m)}`$ $`=`$ $`\sqrt{{\displaystyle \frac{(j+m)!}{j(j+1)(jm)!}}}{\displaystyle \frac{(iu)^{m1}}{(1|u|^2)^{j+1}}}`$ (2.47)
$`\times \left({\displaystyle \underset{n=0}{\overset{jm}{}}}\stackrel{~}{\alpha }_n^{(j,m)}|u|^{2n}_\mu u{\displaystyle \underset{n=0}{\overset{jm}{}}}\stackrel{~}{\alpha }_{jmn}^{(j,m)}|u|^{2n}u^2_\mu \overline{u}\right),`$
(b) for $`m=0`$,

$$J_\mu ^{(j,0)}=i\sqrt{j(j+1)}\frac{(\overline{u}_\mu uu_\mu \overline{u})}{(1|u|^2)^{j+1}}\underset{n=0}{\overset{j1}{}}\stackrel{~}{\gamma }_n^{(j,0)}|u|^{2n},$$
(2.48)
(c) for $`jm1`$,

$$J_\mu ^{(j,m)}=J_\mu ^{(j,m)^{}},$$
(2.49)
where coefficients are

$`\stackrel{~}{\alpha }_n^{(j,m)}`$ $`=`$ $`{\displaystyle \frac{n!}{(m+n1)!}}\left(\begin{array}{c}jm\\ n\end{array}\right)\left(\begin{array}{c}j+1\\ n\end{array}\right),`$ (2.54)
$`\stackrel{~}{\gamma }_n^{(j,0)}`$ $`=`$ $`{\displaystyle \frac{1}{j}}\left(\begin{array}{c}j\\ n\end{array}\right)\left(\begin{array}{c}j\\ n+1\end{array}\right).`$ (2.59)
## Part II A Submodel of the Nonlinear Grassmann Model in Any Dimension

### Chapter 3 A Definition of a Submodel of the Nonlinear Grassmann Model

#### 3.1 Grassmann Manifolds (Projection-Matrix Expression)

Let $`M(m,n;𝐂)`$ be the set of $`m\times n`$ matrices over $`𝐂`$ and we write $`M(n;𝐂)M(n,n;𝐂)`$ for simplicity. For a pair $`(j,N)`$ with $`1jN1`$, we set $`I`$, $`O`$ as a unit matrix, a zero matrix in $`M(j;𝐂)`$ and $`I^{}`$, $`O^{}`$ as ones in $`M(Nj;𝐂)`$ respectively.

We define a Grassmann manifold for the pair $`(j,N)`$ above as a set of projection matrices:

$$G_{j,N}(𝐂)\{PM(N;𝐂)|P^2=P,P^{}=P,\text{tr}P=j\}.$$
(3.1)
Then

$`G_{j,N}(𝐂)`$ $`=`$ $`\left\{U\left(\begin{array}{cc}I& \\ & O^{}\end{array}\right)U^{}\right|UU(N)\}`$ (3.4)
$``$ $`{\displaystyle \frac{U(N)}{U(j)\times U(Nj)}}.`$ (3.5)
In the case of $`j=1`$, we usually write $`G_{1,N}(𝐂)=𝐂P^{N1}`$.

Next, we introduce a local chart for $`G_{j,N}(𝐂)`$. For $`ZM(Nj,j;𝐂)`$, an element of a neighborhood of $`\left(\begin{array}{cc}I& \\ & O^{}\end{array}\right)`$ in $`G_{j,N}(𝐂)`$ is expressed as

$$P_0(Z)=\left(\begin{array}{cc}I& Z^{}\\ Z& I^{}\end{array}\right)\left(\begin{array}{cc}I& \\ & O^{}\end{array}\right)\left(\begin{array}{cc}I& Z^{}\\ Z& I^{}\end{array}\right)^1.$$
(3.6)
Since

$$\left(\begin{array}{cc}I& Z^{}\\ Z& I^{}\end{array}\right)^1=\left(\begin{array}{cc}(I+Z^{}Z)^1& 0\\ 0& (I^{}+ZZ^{})^1\end{array}\right)\left(\begin{array}{cc}I& Z^{}\\ Z& I^{}\end{array}\right),$$
(3.7)
this is also written as

$$P_0(Z)=\left(\begin{array}{cc}(I+Z^{}Z)^1& (I+Z^{}Z)^1Z^{}\\ Z(I+Z^{}Z)^1& Z(I+Z^{}Z)^1Z^{}\end{array}\right).$$
(3.8)
We note here relations

$$Z(I+Z^{}Z)^1=(I^{}+ZZ^{})^1Z,$$
(3.9)
$$(I^{}+ZZ^{})^1=I^{}Z(I+Z^{}Z)^1Z^{}.$$
(3.10)
Since any $`P`$ in $`G_{j,N}(𝐂)`$ is written as $`P=U\left(\begin{array}{cc}I& \\ & O^{}\end{array}\right)U^{}`$ for some $`UU(N)`$ by (3.4), an element of a neighborhood of $`P`$ in $`G_{j,N}(𝐂)`$ is expressed as

$$P(Z)=UP_0(Z)U^{}.$$
(3.11)
Now, we prepare useful lemmas.

###### Lemma 3.1.

For $`g=g(Z)GL(N;𝐂)`$ and $`Y=Y(Z)M(N;𝐂)`$, we have

$$d(gYg^1)=g(dY+[g^1dg,Y])g^1.$$
(3.12)
The proof is a direct calculation.

###### Lemma 3.2.

$`(i)`$ $`dP_0`$ (3.19)
$`=`$ $`\left(\begin{array}{cc}I& Z^{}\\ Z& I^{}\end{array}\right)\left(\begin{array}{cc}& (I+Z^{}Z)^1dZ^{}\hfill \\ \hfill (I^{}+ZZ^{})^1dZ& \end{array}\right)\left(\begin{array}{cc}I& Z^{}\\ Z& I^{}\end{array}\right)^1`$
$`=`$ $`\left(\begin{array}{cc}I& Z^{}\\ Z& I^{}\end{array}\right)^1\left(\begin{array}{cc}& dZ^{}\\ dZ& \end{array}\right)\left(\begin{array}{cc}I& Z^{}\\ Z& I^{}\end{array}\right)^1,`$ (3.27)
$$(ii)[P_0,dP_0]=\left(\begin{array}{cc}I& Z^{}\\ Z& I^{}\end{array}\right)^1\left(\begin{array}{cc}& dZ^{}\\ dZ& \end{array}\right)\left(\begin{array}{cc}I& Z^{}\\ Z& I^{}\end{array}\right)^1.$$
(3.28)
proof: (i) We put

$$g\left(\begin{array}{cc}I& Z^{}\\ Z& I^{}\end{array}\right),E_0\left(\begin{array}{cc}I& \\ & O^{}\end{array}\right),ag^{}g=gg^{}$$
(3.29)
for simplicity. We note that

$$g^1=g^{}a^1=a^1g^{},dg^{}=dg.$$
(3.30)
Then, by using lemma 3.1 and

$$g^1dg=\left(\begin{array}{cc}(I+Z^{}Z)^1Z^{}dZ& (I+Z^{}Z)^1dZ^{}\\ (I^{}+ZZ^{})^1dZ& Z(I+Z^{}Z)^1dZ^{}\end{array}\right),$$
(3.31)
we have

$`dP_0`$ $`=`$ $`d(gE_0g^1)`$
$`=`$ $`g[g^1dg,E_0]g^1`$
$`=`$ $`g\left(\begin{array}{cc}& (I+Z^{}Z)^1dZ^{}\hfill \\ \hfill (I^{}+ZZ^{})^1dZ& \end{array}\right)g^1`$
$`=`$ $`ga^1\left(\begin{array}{cc}& dZ^{}\\ dZ& \end{array}\right)g^1`$
$`=`$ $`(g^{})^1\left(\begin{array}{cc}& dZ^{}\\ dZ& \end{array}\right)g^1.`$
(ii) Since $`[E_0,a^1]=0`$,

$`[P_0,dP_0]`$ $`=`$ $`[gE_0g^1,ga^1\left(\begin{array}{cc}& dZ^{}\\ dZ& \end{array}\right)g^1]`$
$`=`$ $`g[E_0,a^1\left(\begin{array}{cc}& dZ^{}\\ dZ& \end{array}\right)]g^1`$
$`=`$ $`ga^1[E_0,\left(\begin{array}{cc}& dZ^{}\\ dZ& \end{array}\right)]g^1`$
$`=`$ $`(g^{})^1\left(\begin{array}{cc}& dZ^{}\\ dZ& \end{array}\right)g^1.\mathit{}`$
#### 3.2 The Nonlinear Grassmann Sigma Model

Let $`M^{1+n}`$ be a $`(1+n)`$-dimensional Minkowski space $`(n𝐍)`$ with a metric $`\eta =(\eta _{\mu \nu })=\text{diag}(1,1,\mathrm{},1)`$. For fixed $`(j,N)`$, the nonlinear Grassmann sigma model in any dimension is defined by the following action:

$$𝒜(P)\frac{1}{2}d^{1+n}x\text{tr}_\mu P^\mu P,$$
(3.39)
where

$$P:M^{1+n}G_{j,N}(𝐂).$$

Its equations of motion read

$$[P,\mathrm{}P][P,_\mu ^\mu P]=0.$$
(3.40)
Since

$$0=[P,_\mu ^\mu P]=^\mu [P,_\mu P],$$
(3.41)
$`[P,_\mu P]`$ are conserved currents. In fact, they are the Noether currents corresponding to $`U(N)`$-symmetry.

Next, we express the action by using the local coordinate introducing in section 3.1. By (3.11), we can put

$$P(Z)=U\left(\begin{array}{cc}I& Z^{}\\ Z& I^{}\end{array}\right)\left(\begin{array}{cc}I& \\ & O^{}\end{array}\right)\left(\begin{array}{cc}I& Z^{}\\ Z& I^{}\end{array}\right)^1U^{},$$
(3.42)
where

$$Z:M^{1+n}M(Nj,j;𝐂)$$

and $`U`$ is a constant unitary matrix. Then,

$$_\mu P(Z)=U\left(\begin{array}{cc}I& Z^{}\\ Z& I^{}\end{array}\right)^1\left(\begin{array}{cc}& _\mu Z^{}\\ _\mu Z& \end{array}\right)\left(\begin{array}{cc}I& Z^{}\\ Z& I^{}\end{array}\right)^1U^{}$$
(3.43)
by (3.27).

###### Lemma 3.3.

We have
(i) the action

$$𝒜(Z)=d^{1+n}x\text{tr}(I+Z^{}Z)^1^\mu Z^{}(I^{}+ZZ^{})^1_\mu Z,$$
(3.44)
(ii) the equations of motion

$$^\mu _\mu Z2^\mu Z(I+Z^{}Z)^1Z^{}_\mu Z=0.$$
(3.45)
proof: (i) By (LABEL:eqn:trace) and (3.39), we obtain (3.44).
(ii) In the following, we put $`U=1`$ in (3.42) without loss of generality. By using (3.30), we have

$`[P,\mathrm{}P]`$ $`=`$ $`^\mu [P,_\mu P]`$
$`=`$ $`^\mu ((g^{})^1(_\mu g^{})g^1)`$
$`=`$ $`(g^{})^1\{^\mu _\mu g^{}(^\mu g^{})(g^{})^1_\mu g^{}_\mu g^{}g^1^\mu g\}g^1`$
$`=`$ $`(g^{})^1\{^\mu _\mu g^{}^\mu g((g^{})^1g^1)_\mu g\}g^1`$
$`=`$ $`(g^{})^1\{^\mu _\mu g^{}^\mu ga^1(gg^{})_\mu g\}g^1=0`$
(3.45) and its complex conjugate follow by this equation. ∎

Let us consider the case of $`j=1`$ (the $`𝐂P^{N1}`$-model). If we set $`Z=𝐮=(u_1,\mathrm{},u_{N1})^t`$ where $`u_i:M^{1+n}𝐂`$ and remark that

$$1+𝐮^{}𝐮=1+\underset{i=1}{\overset{N1}{}}|u_i|^2,$$

$$(I^{}+\mathrm{𝐮𝐮}^{})^1=I^{}\frac{\mathrm{𝐮𝐮}^{}}{1+𝐮^{}𝐮}$$

from (3.10),

###### Corollary 3.4.

we have
(i) the action

$$𝒜(𝐮)=d^{1+n}x\frac{(1+𝐮^{}𝐮)^\mu 𝐮^{}_\mu 𝐮^\mu 𝐮^{}\mathrm{𝐮𝐮}^{}_\mu 𝐮}{(1+𝐮^{}𝐮)^2},$$
(3.46)
(ii) the equations of motion

$$(1+𝐮^{}𝐮)^\mu _\mu 𝐮2𝐮^{}_\mu 𝐮^\mu 𝐮=0.$$
(3.47)
In particular, in the case of $`N=2`$ (the $`𝐂P^1`$-model),

###### Corollary 3.5.

we have
(i) the action

$$𝒜(u)=d^{1+n}x\frac{^\mu \overline{u}_\mu u}{(1+|u|^2)^2},$$
(3.48)
(ii) the equations of motion

$$(1+|u|^2)^\mu _\mu u2\overline{u}_\mu u^\mu u=0.$$
(3.49)
###### Remark 3.6.

We compare formulations of the nonlinear $`𝐂P^1`$-model in AFG’s theory and ours briefly. In $`𝐂P^1`$-case, we take $`g`$ as

$$g=\frac{1}{\sqrt{1+|u|^2}}\left(\begin{array}{cc}1& u\\ \overline{u}& 1\end{array}\right)SU(2),$$
(3.50)
and we put

$$P=gE_0g^1,\text{where}E_0\left(\begin{array}{cc}1& 0\\ 0& 0\end{array}\right).$$

As well as the proof of lemma 3.2, we have

$$_\mu P=g[g^1_\mu g,E_0]g^1$$
(3.51)
and

$$[P,_\mu P]=g[E_0,[g^1_\mu g,E_0]]g^1.$$
(3.52)
Then, we observe a quantity

$`[E_0,[g^1_\mu g,E_0]]`$ $`=`$ $`{\displaystyle \frac{1}{1+|u|^2}}\left(\begin{array}{cc}0& _\mu u\\ _\mu \overline{u}& 0\end{array}\right)`$ (3.55)
$`=`$ $`{\displaystyle \frac{1}{1+|u|^2}}(_\mu uT_+_\mu \overline{u}T_{}).`$ (3.56)
This corresponds with

$$\stackrel{~}{B}_\mu ^{(1)}=\frac{1}{1+|u|^2}(_\mu uP_1^{(1)}_\mu \overline{u}P_1^{(1)})$$
(3.57)
in section 1.2, because both $`T_+`$ and $`P_1^{(1)}`$ (resp. $`T_{}`$ and $`P_1^{(1)}`$) are highest (resp. lowest) weight vector of adjoint representation (i.e. spin $`1`$-representaion) of $`𝔰𝔲(2)`$. Therefore, a correspondence of the Noether currents is

$$J_\mu W^1\stackrel{~}{B}_\mu ^{(1)}W[P,_\mu P]=g[E_0,[g^1_\mu g,E_0]]g^1.$$
(3.58)
Moreover, (3.58) implies a correspondence of expressions of the $`𝐂P^1`$-model.

$$^\mu J_\mu =W^1D^\mu \stackrel{~}{B}_\mu ^{(1)}W=0^\mu [P,_\mu P]=[P,\mathrm{}P]=0.$$
(3.59)
#### 3.3 A Definition of a Submodel

In this section, we define a submodel of the nonlinear Grassmann model. Let us remind equations of motion of the $`G_{j,N}(𝐂)`$-model

$$[P,\mathrm{}P]=0.$$

For $`PG_{j,N}(𝐂)`$, the tensor product $`PP`$ of $`P`$ is an element of $`G_{j^2,N^2}(𝐂)`$. Therefore, we assume that $`PP`$ is also the solution of the $`G_{j^2,N^2}(𝐂)`$-model, namely

$$[PP,\mathrm{}(PP)]=0.$$
(3.60)
Transforming this, we have

$$[P,\mathrm{}P]P+P[P,\mathrm{}P]+[P,_\mu P]^\mu P+^\mu P[P,_\mu P]=0.$$
(3.61)
Now, let us define our submodel.

###### Definition 3.7.

$`[P,\mathrm{}P]=0,`$ (3.62)
$`[P,_\mu P]^\mu P+^\mu P[P,_\mu P]=0.`$ (3.63)
We call these simultaneous equations the Grassmann submodel.

###### Remark 3.8.

In fact, (3.62) and (3.63) are equivalent to (3.60).

Next, we express our submodel with $`Z=(z_{kl})`$ in (3.42).

###### Proposition 3.9.

The equations above are equivalent to

$$^\mu _\mu Z=0\text{and}^\mu Z_\mu Z=0$$
(3.64)
or in each component

$$^\mu _\mu z_{kl}=0\text{and}^\mu z_{kl}_\mu z_{k^{}l^{}}=0$$
(3.65)
for any $`1k,k^{}Nj,1l,l^{}j`$.

proof: By using (3.27) and (3.28), (3.63) is equivalent to the following equation.

$`\left(\begin{array}{cc}& _\mu Z^{}\\ _\mu Z& \end{array}\right)\left(\begin{array}{cc}& ^\mu Z^{}\\ ^\mu Z& \end{array}\right)+\left(\begin{array}{cc}& ^\mu Z^{}\\ ^\mu Z& \end{array}\right)\left(\begin{array}{cc}& _\mu Z^{}\\ _\mu Z& \end{array}\right)`$
$`=`$ $`2\left(\begin{array}{cccc}& & & _\mu Z^{}^\mu Z^{}\\ & & 0& \\ & & \multicolumn{-1}{c}{}& \\ & 0& & \\ _\mu Z^\mu Z& & & \end{array}\right)=0,`$
namely

$$_\mu Z^\mu Z=0\text{and its Hermitian conjugate.}$$
(3.68)
From (3.45) and (3.68), we obtain the proposition. ∎

In the case of the $`𝐂P^1`$-submodel, we have

$$^\mu _\mu u=0\text{and}^\mu u_\mu u=0$$
(3.69)
with $`u`$ in (3.48),(3.49). This is a generalization of that of \[AFG1\] because that is restricted to three dimensions.

### Chapter 4 Conserved Currents of the Grassmann Submodel

#### 4.1 Tensor Noether Currents

It is usually not easy to construct conserved currents except for Noether ones in the nonlinear Grassmann sigma models in any dimension, but in our submodels we can easily construct an infinite number of conserved currents. This is a feature typical of our submodels.

The equations of our submodel are

$$[P,\mathrm{}P]=0,$$

$$[P,_\mu P]^\mu P+^\mu P[P,_\mu P]=0$$

in the global form (3.62),(3.63). Then we have

$$[\stackrel{k}{}P,\mathrm{}(\stackrel{k}{}P)]=[\mathrm{}(\stackrel{k}{}P),\stackrel{k}{}P]=0,$$
(4.1)
where

$$\stackrel{k}{}P\underset{k}{\underset{}{P\mathrm{}P}}.$$
(4.2)
We show (4.1) in the case of $`k=3`$ for simplicity. In general $`k`$, we can prove it in a similar way. If we put

$$[P,_\mu P]=(a_{ij}),^\mu P=(b_{kl}),P=(p_{mn}),$$

then (3.63) is

$$a_{ij}b_{kl}+b_{ij}a_{kl}=0\text{for any}i,j,k,l$$
(4.3)
By using (3.62) and (3.63), we have only to prove

$$[P,_\mu P]P^\mu P+^\mu PP[P,_\mu P]=0$$
(4.4)
From (4.3), the $`((ij),(mn),(kl))`$-component of (4.4) is

$$a_{ij}p_{mn}b_{kl}+b_{ij}p_{mn}a_{kl}=p_{mn}(a_{ij}b_{kl}+b_{ij}a_{kl})=0.\mathit{}$$

By (4.1), we obtain the following theorem.

###### Theorem 4.1.

For $`k=1,2,\mathrm{},`$

$`[_\mu (\stackrel{k}{}P),\stackrel{k}{}P]`$
$`=`$ $`{\displaystyle \underset{i=0}{\overset{k1}{}}}\underset{i}{\underset{}{P\mathrm{}P}}[_\mu P,P]\underset{k1i}{\underset{}{P\mathrm{}P}}`$
are conserved currents of the Grassmann submodel.

Espcially, in the case of $`k=1`$,

$$[_\mu P,P]$$
(4.6)
is the original Noether current. We call (4.1) the tensor Noether currents of degree $`k`$.

Now, we write the matrix components of (4.1) in the case of the $`𝐂P^N`$-submodel. Let $`𝐮=(u_1\mathrm{}u_N)^t`$ be a local coordinate of $`𝐂P^N`$. Then, similar to the case of the Noether currents, we get the following proposition.

###### Proposition 4.2.

We use multi-index notations as follows:

$$𝐮^𝐏=𝐮^{(p_1,\mathrm{},p_N)}=u_1^{p_1}\mathrm{}u_N^{p_N},\overline{𝐮}^𝐐=\overline{𝐮}^{(q_1,\mathrm{},q_N)}=\overline{u}_1^{q_1}\mathrm{}\overline{u}_N^{q_N},$$

$$|𝐏|=p_1+\mathrm{}+p_N,|𝐐|=q_1+\mathrm{}+q_N.$$

Then the matrix components of (4.1) is

$$J_{(𝐏,𝐐);\mu }^k=\frac{k(_\mu 𝐮^{}𝐮𝐮^{}_\mu 𝐮)𝐮^𝐏\overline{𝐮}^𝐐+(1+𝐮^{}𝐮)(_\mu 𝐮^𝐏\overline{𝐮}^𝐐𝐮^𝐏_\mu \overline{𝐮}^𝐐)}{(1+𝐮^{}𝐮)^{k+1}}$$
(4.7)
$$0|𝐏|k,0|𝐐|k.$$

These are conserved currents of the $`𝐂P^N`$-submodel.

Proof: For

$$P=\frac{1}{1+𝐮^{}𝐮}\left(\begin{array}{c}1\\ 𝐮\end{array}\right)\left(\begin{array}{cc}1& 𝐮^{}\end{array}\right),$$

we put

$$\stackrel{k}{}\left(\begin{array}{c}1\\ 𝐮\end{array}\right)\left(\begin{array}{c}1\\ 𝐔_𝐤\end{array}\right),$$

where

$$𝐔_𝐤(\underset{{}_{k}{}^{}C_{1}^{}}{\underset{}{𝐮,\mathrm{},𝐮}},\underset{{}_{k}{}^{}C_{2}^{}}{\underset{}{𝐮𝐮,\mathrm{},𝐮𝐮}},\mathrm{},\stackrel{k}{}𝐮)^t.$$

Then, we have

$$\stackrel{k}{}P=\frac{1}{1+𝐔_{𝐤}^{}{}_{}{}^{}𝐔_𝐤}\left(\begin{array}{c}1\\ 𝐔_𝐤\end{array}\right)\left(\begin{array}{cc}1& 𝐔_{𝐤}^{}{}_{}{}^{}\end{array}\right),$$
(4.8)
here we use relations

$$(\stackrel{j}{}𝐮^{})(\stackrel{j}{}𝐮)=(𝐮^{}𝐮)^j$$
(4.9)
and

$$1+𝐔_{𝐤}^{}{}_{}{}^{}𝐔_𝐤=1+{}_{k}{}^{}C_{1}^{}𝐮^{}𝐮+{}_{k}{}^{}C_{2}^{}(𝐮^{}𝐮)^2+\mathrm{}+(𝐮^{}𝐮)^k=(1+𝐮^{}𝐮)^k.$$
(4.10)
Therefore, we have only to substitute $`𝐔_𝐤`$ for $`𝐮`$ in

$`[_\mu P,P]`$ (4.13)
$`=`$ $`{\displaystyle \frac{1}{(1+𝐮^{}𝐮)^2}}\left(\begin{array}{cc}J_\mu & J_\mu 𝐮^{}(1+𝐮^{}𝐮)_\mu 𝐮^{}\\ J_\mu 𝐮+(1+𝐮^{}𝐮)_\mu 𝐮& J_\mu \mathrm{𝐮𝐮}^{}+(1+𝐮^{}𝐮)(_\mu \mathrm{𝐮𝐮}^{}𝐮_\mu 𝐮^{})\end{array}\right),`$
where

$$J_\mu _\mu 𝐮^{}𝐮𝐮^{}_\mu 𝐮.$$

First we note that

$`_\mu 𝐔_{𝐤}^{}{}_{}{}^{}𝐔_𝐤`$ $`=`$ $`{}_{k}{}^{}C_{1}^{}_\mu 𝐮^{}𝐮+{}_{k}{}^{}C_{2}^{}_\mu (𝐮^{}𝐮^{})(𝐮𝐮)+\mathrm{}+_\mu (\stackrel{k}{}𝐮^{})(\stackrel{k}{}𝐮)`$
$`=`$ $`_\mu 𝐮^{}𝐮({}_{k}{}^{}C_{1}^{}+2{}_{k}{}^{}C_{2}^{}𝐮^{}𝐮+\mathrm{}+k(𝐮^{}𝐮)^{k1})`$
$`=`$ $`k(1+𝐮^{}𝐮)^{k1}_\mu 𝐮^{}𝐮`$
and

$$𝐔_{𝐤}^{}{}_{}{}^{}_\mu 𝐔_𝐤=k(1+𝐮^{}𝐮)^{k1}𝐮^{}_\mu 𝐮.$$

Moreover, since the matrix component of $`_\mu 𝐔_𝐤𝐔_{𝐤}^{}{}_{}{}^{}𝐔_𝐤_\mu 𝐔_{𝐤}^{}{}_{}{}^{}`$ are of the form

$$_\mu 𝐮^𝐏\overline{𝐮}^𝐐𝐮^𝐏_\mu \overline{𝐮}^𝐐,$$
(4.15)
we obtain the conserved currents (4.7). ∎

###### Remark 4.3.

Another fomulation of our submodels is given by \[FL\]. This is a generalization of \[AFG1\] to the $`G/H`$-model in any dimension. They also construct a counterpart of our tensor Noether currents.

#### 4.2 Pull-Backed 1-Form

In this section, we investigate a generic form of conserved currents for our submodels by using a local coordinate of Grassmann manifolds. We write

$$Z=(z_1,\mathrm{},z_N^{})^t,N^{}=j(Nj)$$
(4.16)
as a vector in $`𝐂^N^{}`$ for simplicity. Now, we again write down our equations of the submodel:

$$^\mu _\mu Z=0\text{and}^\mu Z_\mu Z=0.$$
(4.17)
$$\text{for}Z:M^{1+n}𝐂^N^{}$$

or in each component

$$^\mu _\mu z_i=0\text{and}^\mu z_i_\mu z_j=0$$
(4.18)
for $`1i,jN^{}`$.

We consider a 1-form on $`𝐂^N^{}`$;

$$\underset{j=1}{\overset{N^{}}{}}\{f_j(Z,\overline{Z})dz_j+g_j(Z,\overline{Z})d\overline{z}_j\}$$
(4.19)
and pull back this on $`M^{1+n}`$ by $`Z`$;

$$Z:M^{1+n}𝐂^N^{}Z=(z_j).$$

Then, we look for conditions which make the pull-backed form a conserved current;

$$\underset{j=1}{\overset{N^{}}{}}^\mu \{f_j(Z,\overline{Z})_\mu z_j+g_j(Z,\overline{Z})_\mu \overline{z}_j\}=0.$$
(4.20)
Making use of (4.18), we have

###### Proposition 4.4.

if the equations

$$\frac{f_j}{\overline{z}_k}+\frac{g_k}{z_j}=0$$
(4.21)
for $`1j,kN^{}`$ hold, then

$$\underset{j=1}{\overset{N^{}}{}}\{f_j(Z,\overline{Z})_\mu z_j+g_j(Z,\overline{Z})_\mu \overline{z}_j\}.$$
(4.22)
is a conserved current of the Grassmann submodel.

In particular, if we set

$$f_j(Z,\overline{Z})=\frac{f}{z_j},g_j(Z,\overline{Z})=\frac{f}{\overline{z}_j}$$
(4.23)
for any function $`f`$ in $`\text{C}^2`$-class, then we can easily check (4.21). Namely, we obtain conserved currents

$$\underset{j=1}{\overset{N^{}}{}}\left(\frac{f}{z_j}_\mu z_j\frac{f}{\overline{z}_j}_\mu \overline{z}_j\right)$$
(4.24)
parametrized by all $`\text{C}^2`$-class functions $`f`$.

Proposition 4.4 is especially noteworthy in the case of the $`𝐂P^1`$-submodel. In this case, (4.21) becomes

$$\frac{f_1}{\overline{u}}+\frac{g_1}{u}=0.$$

Then the 1-form

$$f_1dug_1d\overline{u}$$

is closed and there exists an $`f=f(u,\overline{u})`$ such that

$$f_1=\frac{f}{u},g_1=\frac{f}{\overline{u}}$$

by the Poincaré lemma. Therefore we obtain the important corollary.

###### Corollary 4.5.

Let $`J_{2,\mu }`$ be a homogeneous differential polynomial of degree $`1`$ with coefficient $`C^2(𝐂,𝐂)`$. Then, $`J_{2,\mu }`$ is a conserved current of the $`𝐂P^1`$-submodel if and only if there exist an $`f=f(u,\overline{u})`$ in $`C^2(𝐂,𝐂)`$ such that

$$J_{2,\mu }=\frac{f}{u}_\mu u\frac{f}{\overline{u}}_\mu \overline{u}.$$
(4.25)
###### Remark 4.6.

We can express conserved currents in proposition 1.4 as (4.25) for suitable $`f(u,\overline{u})`$. For example, in the case of $`m=j`$,

$$J_\mu ^{(j,j)}=\left(_\mu u\frac{}{u}_\mu \overline{u}\frac{}{\overline{u}}\right)\left(\frac{u^j}{(1+|u|^2)^j}\right).$$

In particular, the Noether currents are

$`J_\mu ^{Noet}={\displaystyle \frac{1}{(1+|u|^2)^2}}(_\mu u\overline{u}u_\mu \overline{u})=\left(_\mu u{\displaystyle \frac{}{u}}_\mu \overline{u}{\displaystyle \frac{}{\overline{u}}}\right)\left({\displaystyle \frac{|u|^2}{1+|u|^2}}\right),`$
$`j_\mu ={\displaystyle \frac{1}{(1+|u|^2)^2}}(_\mu u+u^2_\mu \overline{u})=\left(_\mu u{\displaystyle \frac{}{u}}_\mu \overline{u}{\displaystyle \frac{}{\overline{u}}}\right)\left({\displaystyle \frac{u}{1+|u|^2}}\right),`$
$`\text{and the complex conjugate}\overline{j_\mu },`$
or, by (LABEL:eqn:NoetCurr),

$$[_\mu P,P]=\left(_\mu u\frac{}{u}_\mu \overline{u}\frac{}{\overline{u}}\right)P,$$
(4.26)
where

$$P=\frac{1}{1+|u|^2}\left(\begin{array}{c}1\\ u\end{array}\right)\left(\begin{array}{cc}1& \overline{u}\end{array}\right).$$

Moreover, the tensor Noether currents of degree $`k`$ are also

$`J_{(p,q);\mu }^k`$ $`=`$ $`{\displaystyle \frac{k(_\mu \overline{u}u\overline{u}_\mu u)u^p\overline{u}^q+(1+|u|^2)(_\mu u^p\overline{u}^qu^p_\mu \overline{u}^q)}{(1+|u|^2)^{k+1}}}`$
$`=`$ $`\left(_\mu u{\displaystyle \frac{}{u}}_\mu \overline{u}{\displaystyle \frac{}{\overline{u}}}\right)\left({\displaystyle \frac{u^p\overline{u}^q}{(1+|u|^2)^k}}\right)`$
$$\text{for}0pk,0qk,$$

namely,

$$[_\mu (\stackrel{k}{}P),\stackrel{k}{}P]=(_\mu u\frac{}{u}_\mu \overline{u}\frac{}{\overline{u}})(\stackrel{k}{}P).$$
(4.27)
### Chapter 5 Symmetries of the Grassmann Submodel

Our submodel has many good properties. If we construct solutions of our submodels, then we obtain a wide class of solutions of the nonlinear Grassmann models in any dimension, because, by definition, solutions of submodels are also those of the original models.

The equations of our submodels are

$$^\mu _\mu Z=0\text{and}^\mu Z_\mu Z=0$$
(3.64)
or in each component

$$^\mu _\mu z_{kl}=0\text{and}^\mu z_{kl}_\mu z_{k^{}l^{}}=0$$
(3.65)
for any $`1k,k^{}Nj,1l,l^{}j`$.

###### Theorem 5.1.

The Grassmann submodel has a following symmetry; namely, if $`z_{\alpha \beta }`$ $`(1\alpha Nj,1\beta j)`$ is a solution of (3.65), then

$$f_{kl}(z_{\alpha \beta })=f_{kl}(z_{11},\mathrm{},z_{Nj,j})$$
(5.1)
is also a solution of (3.65) for any holomorphic function $`f_{kl}`$ on $`𝐂^{j(Nj)}`$ $`(1kNj,1lj)`$.

Proof: Suppose that $`z_{\alpha \beta }(1\alpha Nj,1\beta j)`$ satisfy (3.65). Then

$$^\mu _\mu f_{kl}(z_{\alpha \beta })=\underset{\alpha ,\beta ,\gamma ,\delta }{}\left(\frac{f_{kl}}{z_{\alpha \beta }}^\mu _\mu z_{\alpha \beta }+\frac{^2f_{kl}}{z_{\alpha \beta }z_{\gamma \delta }}_\mu z_{\alpha \beta }^\mu z_{\gamma \delta }\right)=0$$
(5.2)
and

$$^\mu f_{kl}(z_{\alpha \beta })_\mu f_{k^{}l^{}}(z_{\alpha ^{}\beta ^{}})=\underset{\alpha ,\beta ,\alpha ^{},\beta ^{}}{}\frac{f_{kl}}{z_{\alpha \beta }}\frac{f_{k^{}l^{}}}{z_{\alpha ^{}\beta ^{}}}^\mu z_{\alpha \beta }_\mu z_{\alpha ^{}\beta ^{}}=0.\mathit{}$$
(5.3)
For any $`k,l`$, $`z_{kl}=\alpha _0x_0+_{i=1}^n\alpha _ix_i`$ with $`\alpha ^\mu \alpha _\mu \alpha _0^2_{i=1}^n\alpha _i^2=0`$ are clearly solutions of (3.65). Therefore, we obtain the following corollary.

###### Corollary 5.2.

Let $`f_{kl}`$ ($`1kNj,1lj`$) be any holomorphic function. Then

$$f_{kl}(\alpha _0x_0+\underset{i=1}{\overset{n}{}}\alpha _ix_i)$$
(5.4)
under

$$\alpha ^\mu \alpha _\mu =0$$
(5.5)
are solutions of our submodels.

###### Remark 5.3.

Symmetries discussed in this chapter become clearer in Part III.

## Part III A Generalization of the Grassmann Submodel to Higher-Order Equations

### Chapter 6 The Bell Polynomials

We shall generalize the equations of motion of the Grassmann submodel and the conserved currents to higher-order equations. In this chapter, we prepare a mathematical tool which plays an important role in our following theory.

#### 6.1 The Bell Polynomials of One Variable

First, we describe the Bell polynomials of one variable in detail \[Ri\], \[Ri1\], \[Ri2\].

###### Definition 6.1.

Let $`g(x)`$ be a smooth function and $`z`$ a complex parameter. Put $`g_r_x^rg(x)`$. We define the Bell polynomials of degree $`n`$:

$$F_n[zg]=F_n(zg_1,\mathrm{},zg_n)\text{e}^{zg(x)}_x^n\text{e}^{zg(x)}.$$
(6.1)
The generating function of the Bell polynomials is formally written

$`{\displaystyle \underset{n=0}{\overset{\mathrm{}}{}}}{\displaystyle \frac{F_n[zg]}{n!}}t^n`$ $`=`$ $`\text{e}^{zg(x)}{\displaystyle \underset{n=0}{\overset{\mathrm{}}{}}}{\displaystyle \frac{(t_x)^n}{n!}}\text{e}^{zg(x)}`$ (6.2)
$`=`$ $`\text{e}^{zg(x)}\text{e}^{zg(x+t)}`$
$`=`$ $`\text{e}^{z\{g(x+t)g(x)\}}`$
$`=`$ $`\mathrm{exp}\left\{z{\displaystyle \underset{j=1}{\overset{\mathrm{}}{}}}{\displaystyle \frac{g_j}{j!}}t^j\right\}.`$ (6.3)
By (6.3), we can write $`F_n[zg]`$ explicitly as follows:

$$F_n(zg_1,\mathrm{},zg_n)=\underset{\genfrac{}{}{0pt}{}{k_1+2k_2+\mathrm{}+nk_n=n}{k_10,\mathrm{},k_n0}}{}\frac{n!}{k_1!\mathrm{}k_n!}\left(\frac{zg_1}{1!}\right)^{k_1}\left(\frac{zg_2}{2!}\right)^{k_2}\mathrm{}\left(\frac{zg_n}{n!}\right)^{k_n}.$$
(6.4)
For example,

$$F_0=1,F_1=zg_1,F_2=zg_2+z^2g_1^2.$$

###### Remark 6.2.

These polynomials are used in the differential calculations of composite functions.

$`_x^n(f(g(x)))`$ (6.5)
$`=`$ $`F_n[zg]|_{z=\frac{}{g}}(f)`$
$`=`$ $`{\displaystyle \underset{\genfrac{}{}{0pt}{}{k_1+2k_2+\mathrm{}+nk_n=n}{k_10,\mathrm{},k_n0}}{}}{\displaystyle \frac{n!}{k_1!\mathrm{}k_n!}}\left({\displaystyle \frac{g_1}{1!}}\right)^{k_1}\mathrm{}\left({\displaystyle \frac{g_n}{n!}}\right)^{k_n}{\displaystyle \frac{^{k_1+\mathrm{}+k_n}f}{g^{k_1+\mathrm{}+k_n}}}`$
$`\text{(di Bruno’s formula)}.`$
For example,

$$_x(f(g(x)))=g_1\frac{f}{g},_x^2(f(g(x)))=g_2\frac{f}{g}+g_1^2\frac{^2f}{g^2}.$$
(6.7)
###### Remark 6.3.

We put $`z=1`$, $`g(x)=\text{e}^x`$. Then

$$\mathrm{exp}(\text{e}^t1)=\mathrm{exp}(\text{e}^{x+t}\text{e}^x)|_{x=0}=\underset{n=0}{\overset{\mathrm{}}{}}\frac{F_n(1,1,\mathrm{},1)}{n!}t^n\underset{n=0}{\overset{\mathrm{}}{}}\frac{B(n)}{n!}t^n.$$
(6.8)
These numbers $`B(n)`$ are called the Bell numbers.

###### Remark 6.4.

Let $`S_n(x)`$ be the elementary Schur polynomials which are defined by the generating function

$$\underset{n=0}{\overset{\mathrm{}}{}}S_n(x)t^n=\mathrm{exp}\left\{\underset{j=0}{\overset{\mathrm{}}{}}x_jt^j\right\}.$$
(6.9)
Then we have

$$F_n[zg]=n!S_n(\frac{zg_1}{1!},\frac{zg_2}{2!},\mathrm{}).$$
(6.10)
###### Remark 6.5.

The Bell polynomial is a generalization of the Hermite polynomial $`H_n`$, namely

$$H_n(x)=(1)^n\text{e}^{x^2}_x^n\text{e}^{x^2}=(1)^nF_n[x^2].$$
(6.11)
###### Lemma 6.6.

We have a recursion formula for the Bell polynomials.

$$F_{n+1}[zg]=\left\{\underset{r=1}{\overset{n}{}}g_{r+1}\frac{}{g_r}+zg_1\right\}F_n[zg].$$
(6.12)
$`\text{Proof}\text{:}F_{n+1}[zg]`$ $`=`$ $`\text{e}^{zg(x)}_x^{n+1}\text{e}^{zg(x)}`$
$`=`$ $`\text{e}^{zg(x)}_x(\text{e}^{zg(x)}\text{e}^{zg(x)}_x^n\text{e}^{zg(x)})`$
$`=`$ $`(_x+zg_1)F_n[zg]`$
$`=`$ $`\left\{{\displaystyle \underset{r=1}{\overset{n}{}}}_xg_r{\displaystyle \frac{}{g_r}}+zg_1\right\}F_n[zg].\mathit{}`$
Next, we define the Bell matrix $`B_{nj}[g]=B_{nj}(g_1,\mathrm{},g_{nj+1})`$ (which is also called the Bell polynomials) by the following equation:

$$F_n(zg_1,\mathrm{},zg_n)=\underset{j0}{}z^jB_{nj}(g_1,\mathrm{},g_{nj+1}).$$
(6.13)
Note that

$$B_{n0}=\delta _{n0},B_{nj}=0(n<j).$$
(6.14)
###### Remark 6.7.

We can express the Bell matrix as follows \[Al-Fre\]:

$$B_{nj}(g_1,\mathrm{},g_{nj+1})=\frac{1}{j!}\left\{\frac{d^n}{dt^n}\left(\underset{i=1}{\overset{\mathrm{}}{}}\frac{g_i}{i!}t^i\right)^j\right\}_{t=0}.$$
(6.15)
Then, by using lemma 6.12, we have a recursion formula for the Bell matrix.

###### Lemma 6.8.

For $`n1`$,

$`B_{nj}={\displaystyle \underset{r=1}{\overset{nj}{}}}g_{r+1}{\displaystyle \frac{}{g_r}}B_{n1,j}+g_1B_{n1,j1}(j=1,\mathrm{},n1),`$ (6.16)
$`B_{nn}=g_1B_{n1,n1}.`$ (6.17)
In particular, we have

$$B_{n1}[g]=g_n,B_{n,n1}[g]=\frac{n(n1)}{2}(g_1)^{n2}g_2,B_{nn}[g]=(g_1)^n.$$
(6.18)
An important formula for symmetries of higher-order $`𝐂P^1`$-submodels is as follows:

###### Lemma 6.9.

The Bell matrix is anti-homomorphic with respect to the composition of functions, namely

$$B_{pj}[f(g(x))]=\underset{n=j}{\overset{p}{}}B_{pn}[g]B_{nj}[f].$$
(6.19)
Proof:

$`\text{e}^{z\{f(g(x+t))f(g(x))\}}`$ $`=`$ $`\text{e}^{z\{f(g(x)+(g(x+t)g(x)))f(g(x))\}}`$
$`=`$ $`\text{e}^{z\{f(g+w)f(g)\}}wg(x+t)g(x)`$
$`=`$ $`{\displaystyle \underset{n=0}{\overset{\mathrm{}}{}}}F_n[zf]{\displaystyle \frac{w^n}{n!}}`$
$`=`$ $`{\displaystyle \underset{n=0}{\overset{\mathrm{}}{}}}F_n[zf]{\displaystyle \frac{(g(x+t)g(x))^n}{n!}}`$
$`=`$ $`{\displaystyle \underset{n=0}{\overset{\mathrm{}}{}}}F_n[zf]{\displaystyle \underset{pn}{}}B_{pn}[g]{\displaystyle \frac{t^p}{p!}}`$
$`=`$ $`{\displaystyle \underset{p=0}{\overset{\mathrm{}}{}}}{\displaystyle \underset{pn}{}}B_{pn}[g]F_n[zf]{\displaystyle \frac{t^p}{p!}}.`$
Comparing both sides, we have

$$F_p[zf(g(x))]=\underset{pn}{}B_{pn}[g]F_n[zf],$$

namely

$$\underset{pj}{}B_{pj}[f(g(x))]z^j=\underset{pn}{}B_{pn}[g]\underset{nj}{}B_{nj}[f]z^j.$$

Therefore we obtain

$$B_{pj}[f(g(x))]=\underset{pnj}{}B_{pn}[g]B_{nj}[f].\mathit{}$$

#### 6.2 The Generalized Bell Polynomials

We call the Bell polynomials of multi-variables the generalized Bell polynomials\[F\].

Let $`𝐮(𝐲)=(u_1(y_1,\mathrm{},y_s),\mathrm{},u_N(y_1,\mathrm{},y_s))`$ be smooth functions and $`𝐳=(z_1,\mathrm{},z_N)`$ complex parameters. We use multi index notations

$$𝐳^𝐤=z_1^{k_1}\mathrm{}z_N^{k_N},|𝐤|=k_1+\mathrm{}+k_N$$

and

$$_𝐲^𝐩=_{y_1}^{p_1}\mathrm{}_{y_s}^{p_s},|𝐩|=p_1+\mathrm{}+p_s.$$

###### Definition 6.10.

We define the generalized Bell polynomials:

$`F_𝐩[𝐳𝐮]`$ $`=`$ $`F_{p_1,\mathrm{},p_s}[{\displaystyle \underset{i=1}{\overset{N}{}}}z_iu_i(y_1,\mathrm{},y_s)]`$ (6.20)
$``$ $`\text{e}^{𝐳𝐮(𝐲)}_𝐲^𝐩\text{e}^{𝐳𝐮(𝐲)}`$
$``$ $`{\displaystyle \underset{0|𝐤||𝐩|}{}}𝐳^𝐤B_{𝐩,𝐤}[𝐮]`$ (6.21)
and we put $`B_{𝐩,𝐤}[𝐮]=0`$ unless $`0|𝐤||𝐩|`$.

For example,

$`F_{100\mathrm{}0}`$ $`=`$ $`{\displaystyle \underset{i=1}{\overset{N}{}}}z_i_{y_1}u_i,`$
$`F_{200\mathrm{}0}`$ $`=`$ $`{\displaystyle \underset{i=1}{\overset{N}{}}}z_i_{y_1}^2u_i+({\displaystyle \underset{i=1}{\overset{N}{}}}z_i_{y_1}u_i)^2,`$
$`F_{110\mathrm{}0}`$ $`=`$ $`{\displaystyle \underset{i=1}{\overset{N}{}}}z_i_{y_1}_{y_2}u_i+({\displaystyle \underset{i=1}{\overset{N}{}}}z_i_{y_1}u_i)({\displaystyle \underset{j=1}{\overset{N}{}}}z_j_{y_2}u_j).`$
We often write $`F_p=F_{p0\mathrm{}0}`$ and $`(u_i)_r_{y_1}^ru_i`$ for simplicity.

Similar to lemma 6.12,

###### Lemma 6.11.

we have a recursion formula for the generalized Bell polynomials.

$$F_{p+1}[𝐳𝐮]=\underset{i=1}{\overset{N}{}}\left\{\underset{r=1}{\overset{p}{}}(u_i)_{r+1}\frac{}{(u_i)_r}+z_i(u_i)_1\right\}F_p[𝐳𝐮].$$
(6.22)
The generating function of the generalized Bell polynomials is

$`{\displaystyle \underset{𝐩}{}}F_𝐩[𝐳𝐮]{\displaystyle \frac{𝐭^𝐩}{𝐩!}}`$ $`=`$ $`\mathrm{exp}(𝐳\{𝐮(𝐲+𝐭)𝐮(𝐲)\})`$
$`=`$ $`{\displaystyle \underset{i=1}{\overset{N}{}}}\mathrm{exp}(z_i\{u_i(𝐲+𝐭)u_i(𝐲)\}).`$
Therefore, similar to the proof of lemma 6.9,

###### Lemma 6.12.

we have

$$B_{𝐩,𝐣}[𝐟(𝐮(𝐲))]=\underset{|𝐣||𝐦||𝐩|}{}B_{𝐩,𝐦}[𝐮]B_{𝐦,𝐣}[𝐟],$$
(6.24)
where

$$𝐟(𝐮)=(f_1(u_1,\mathrm{},u_N),\mathrm{},f_N(u_1,\mathrm{},u_N))$$

and

$$𝐩=(p_1,\mathrm{},p_s),𝐦=(m_1,\mathrm{},m_N),𝐣=(j_1,\mathrm{},j_N).$$

### Chapter 7 Higher-Order $`𝐂P^1`$-submodels

#### 7.1 Definitions of Higher-Order $`𝐂P^1`$-submodels

In this section, we generalize the equation of motion of the $`𝐂P^1`$-submodel to higher-order equations. Hereafter, we use an notation of Minkowski summation as follows:

$$\underset{\mu }{}{}_{}{}^{}A_{\mu }^{}A_0\underset{j=1}{\overset{n}{}}A_j.$$
(7.1)
###### Remark 7.1.

The equations of the $`𝐂P^1`$-submodel

$$\mathrm{}_2u\underset{\mu }{}{}_{}{}^{}_{\mu }^{2}u=0\text{and}^\mu u_\mu u=\underset{\mu }{}{}_{}{}^{}(_\mu u)_{}^{2}=0$$

are equivalent to

$$\mathrm{}_2u=0\text{and}\mathrm{}_2(u^2)=0.$$
(7.2)
###### Remark 7.2.

A solution $`u`$ is called “a functionally invariant solution” if an arbitrary differentiable function F(u) is also a solution of the same equation. See, for example, \[KSG\]. We find that $`u`$ is a functionally invariant solution of the wave equation $`\mathrm{}_2u=0`$ if and only if

$$\mathrm{}_2u=0\text{and}\mathrm{}_2(u^2)=0.$$

This is nothing but the $`𝐂P^1`$-submodel.

We define higher-order nonlinear equations as follows:

###### Definition 7.3.

$$\mathrm{}_p(u^k)\left(\frac{^p}{x_0^p}\underset{j=1}{\overset{n}{}}\frac{^p}{x_j^p}\right)(u^k)=0\text{for}1kp.$$
(7.3)
We call this system of PDE the $`p`$-submodel.

Moreover, given $`p=2,3,\mathrm{}`$ and $`i=0,1,\mathrm{},[(p1)/2]`$, we also define

###### Definition 7.4.

$$\underset{\mu }{}{}_{}{}^{}_{\mu }^{pi}(u^k)_\mu ^i(\overline{u}^l)=0$$
(7.4)
for $`k=1,\mathrm{},pi`$, $`l=0,\mathrm{},i`$.
We call this system of PDE the $`(p,i)`$-submodel.

###### Remark 7.5.

In view of remark 7.2, these equations are equivalent to the $`𝐂P^1`$-submodel in the case of $`(p,i)=(2,0)`$.

###### Remark 7.6.

We find that the $`(p,i)`$-submodel (7.4) is invariant under $`u\frac{1}{u}`$. Therefore we can express this equations by using $`P`$ in $`𝐂P^1`$. But it is difficult to find an “natural form” for any $`(p,i)`$. In the case of $`(p,i)=(3,0)`$,

$`[P,^\mu _\mu ^2P3^\mu [P,[P,_\mu ^2P]]]=0,`$ (7.5)
$`[PP,^\mu P[P,_\mu ^2P]+[P,_\mu ^2P]^\mu P]=0,`$ (7.6)
$`[PPP,^\mu P_\mu P_\mu P]=0.`$ (7.7)
#### 7.2 Conserved Currents

In this section, we construct conserved currents for the equations (7.4).

let $`g(x)`$, $`\overline{g}(x)`$ be smooth functions and $`z`$, $`\overline{z}`$ complex parameters. Put $`𝒫_\text{B}`$ the vector space over $`𝐂`$ spaned by the products of two Bell polynomials $`F_n[zg]\overline{F}_m[\overline{z}\overline{g}]`$. (We write $`F_m[\overline{z}\overline{g}]`$ as $`\overline{F}_m[\overline{z}\overline{g}]`$ for convinience.) We consider a linear map

$$\mathrm{\Phi }:𝒫_\text{B}𝐂[\xi ,\overline{\xi }],$$
(7.8)
$$\mathrm{\Phi }(F_n[zg]\overline{F}_m[\overline{z}\overline{g}])=\xi ^n\overline{\xi }^m$$
(7.9)
We call $`\xi ^n\overline{\xi }^m`$ “a symbol of $`F_n[zg]\overline{F}_m[\overline{z}\overline{g}]`$” and $`\mathrm{\Phi }`$ “a symbol map”. By this map, $`𝒫_\text{B}`$ is linear isomorphic to $`𝐂[\xi ,\overline{\xi }]`$. Now, we define an operator

$$\underset{r=1}{\overset{\mathrm{}}{}}\left(g_{r+1}\frac{}{g_r}+\overline{g}_{r+1}\frac{}{\overline{g}_r}\right)+zg_1+\overline{z}\overline{g}_1$$
(7.10)
This operator is well-defined on $`𝒫_\text{B}`$ and we have

$$(F_n[zg]\overline{F}_m[\overline{z}\overline{g}])=F_{n+1}[zg]\overline{F}_m[\overline{z}\overline{g}]+F_n[zg]\overline{F}_{m+1}[\overline{z}\overline{g}].$$
(7.11)
In fact, because $`F_n`$ is an $`n`$-variable polynomial and on account of (6.12),

$`(F_n[zg]\overline{F}_m[\overline{z}\overline{g}])`$
$`=`$ $`\left\{{\displaystyle \underset{r=1}{\overset{n}{}}}g_{r+1}{\displaystyle \frac{}{g_r}}+{\displaystyle \underset{r=1}{\overset{m}{}}}\overline{g}_{r+1}{\displaystyle \frac{}{\overline{g}_r}}+zg_1+\overline{z}\overline{g}_1\right\}F_n[zg]\overline{F}_m[\overline{z}\overline{g}]`$
$`=`$ $`{\displaystyle \underset{r=1}{\overset{n}{}}}g_{r+1}{\displaystyle \frac{F_n[zg]}{g_r}}\overline{F}_m[\overline{z}\overline{g}]+zg_1F_n[zg]\overline{F}_m[\overline{z}\overline{g}]`$
$`+F_n[zg]{\displaystyle \underset{r=1}{\overset{m}{}}}\overline{g}_{r+1}{\displaystyle \frac{\overline{F}_m[\overline{z}\overline{g}]}{\overline{g}_r}}+\overline{z}\overline{g}_1F_n[zg]\overline{F}_m[\overline{z}\overline{g}]`$
$`=`$ $`F_{n+1}[zg]\overline{F}_m[\overline{z}\overline{g}]+F_n[zg]\overline{F}_{m+1}[\overline{z}\overline{g}].`$
Because of (7.11), we have

$$\mathrm{\Phi }\mathrm{\Phi }^1=(\xi +\overline{\xi }),$$
(7.13)
where $`(\xi +\overline{\xi })`$ means the multiplication operator acting on $`𝐂[\xi ,\overline{\xi }]`$.

By using the linear isomorphism $`\mathrm{\Phi }`$, we can identify

$`F_n\overline{F}_m`$ with $`\xi ^n\overline{\xi }^m,\text{and}`$ (7.14)
$``$ with $`(\xi +\overline{\xi }).`$
Choose an $`\mu \{0,\mathrm{},n\}`$ and put $`x=x_\mu `$, $`g(x_\mu )=u(x_0,\mathrm{},x_\mu ,\mathrm{},x_n)`$. Then, we have $`g_r=_\mu ^ru`$. We set $`F_{n,\mu }`$ as

$`F_{n,\mu }`$ $``$ $`:F_n(zg_1,\mathrm{},zg_n)|_{z=\frac{}{u}}:`$ (7.15)
$`=`$ $`:F_n(_\mu u{\displaystyle \frac{}{u}},_\mu ^2u{\displaystyle \frac{}{u}},\mathrm{},_\mu ^nu{\displaystyle \frac{}{u}}):`$
$`=`$ $`{\displaystyle \underset{\genfrac{}{}{0pt}{}{k_1+2k_2+\mathrm{}+nk_n=n}{k_10,\mathrm{},k_n0}}{}}{\displaystyle \frac{n!}{k_1!\mathrm{}k_n!}}\left({\displaystyle \frac{_\mu u}{1!}}\right)^{k_1}\left({\displaystyle \frac{_\mu ^2u}{2!}}\right)^{k_2}\mathrm{}\left({\displaystyle \frac{_\mu ^nu}{n!}}\right)^{k_n}\left({\displaystyle \frac{}{u}}\right)^{k_1+k_2+\mathrm{}+k_n}`$
and $`\overline{F}_{n,\mu }`$ its complex conjugate of $`F_{n,\mu }`$, where $`::`$ means the normal ordering.

###### Lemma 7.7.

$$_\mu :F_{n,\mu }\overline{F}_{m,\mu }:f(u,\overline{u})=:(F_n[zg]\overline{F}_m[\overline{z}\overline{g}])|_{z=\frac{}{u}}:f(u,\overline{u}).$$
(7.18)
where $`f=f(u,\overline{u})`$ is any function in $`C^{n+m+1}`$-class.

proof: If $`_\mu `$ acts on a functional of the form

$$h(u,_\mu u,\mathrm{},_\mu ^nu;\overline{u},_\mu \overline{u},\mathrm{},_\mu ^m\overline{u}),$$
(7.19)
we can write

$$_\mu =\underset{r=1}{\overset{n}{}}_\mu ^{r+1}u\frac{}{(_\mu ^ru)}+\underset{r=1}{\overset{m}{}}_\mu ^{r+1}\overline{u}\frac{}{(_\mu ^r\overline{u})}+_\mu u\frac{}{u}+_\mu \overline{u}\frac{}{\overline{u}}.$$
(7.20)
On the other hand, in view of (7.2) and since $`g_r=_\mu ^ru`$, $`z=\frac{}{u}`$,
we have proved the lemma. ∎

###### Lemma 7.8.

The $`(p,i)`$-submodel is equivalent to

$$\underset{\mu }{}{}_{}{}^{}:F_{pi,\mu }\overline{F}_{i,\mu }:=0.$$
(7.21)
proof: We note that

$`{\displaystyle \underset{\mu }{}}{}_{}{}^{}_{\mu }^{pi}(u^k)_\mu ^i(\overline{u}^l)`$
$`=`$ $`{\displaystyle \underset{\mu }{}}{\displaystyle {}_{}{}^{}\underset{j_1=1}{\overset{pi}{}}}B_{pi,j_1}(g_1,\mathrm{},g_{pij_1+1})\left({\displaystyle \frac{}{u}}\right)^{j_1}(u^k)`$
$`\times {\displaystyle \underset{j_2=0}{\overset{i}{}}}B_{i,j_2}(\overline{g}_1,\mathrm{},\overline{g}_{ij_2+1})\left({\displaystyle \frac{}{\overline{u}}}\right)^{j_2}(\overline{u}^l)`$
$`=`$ $`{\displaystyle \underset{j_1=1}{\overset{pi}{}}}{\displaystyle \underset{j_2=0}{\overset{i}{}}}j_1!j_2!\left(\begin{array}{cc}k& \\ j_1& \end{array}\right)\left(\begin{array}{cc}l& \\ j_2& \end{array}\right)`$
$`\times {\displaystyle \underset{\mu }{}}{}_{}{}^{}B_{pi,j_1}^{}(g_1,\mathrm{},g_{pij_1+1})B_{i,j_2}(\overline{g}_1,\mathrm{},\overline{g}_{ij_2+1})u^{kj_1}\overline{u}^{lj_2}`$
$`\text{for}k=1,\mathrm{},pi,l=0,\mathrm{},i.`$
Because of this, the $`(p,i)`$-submodel holds if and only if

$`{\displaystyle \underset{\mu }{}}{}_{}{}^{}B_{pi,j_1}^{}(g_1,\mathrm{},g_{pij_1+1})B_{i,j_2}(\overline{g}_1,\mathrm{},\overline{g}_{ij_2+1})=0`$ (7.23)
$`\text{for}j_1=1,\mathrm{},pi,j_2=0,\mathrm{},i,`$
namely

$$\underset{\mu }{}{}_{}{}^{}:F_{pi,\mu }\overline{F}_{i,\mu }:=0.\mathit{}$$
(7.24)
In view of (7.14) and the lemmas above, we can search an infinite number of conserved currents as follows;
For fixed $`(p,i)`$, let $`W`$ be the vector subspace of $`𝐂[\xi ,\overline{\xi }]`$ spaned by $`\{\xi ^{pi}\overline{\xi }^i,\xi ^i\overline{\xi }^{pi}\}`$. Find the polynomials $`p(\xi ,\overline{\xi })`$ such that

$$(\xi +\overline{\xi })p(\xi ,\overline{\xi })=0\text{in}𝐂[\xi ,\overline{\xi }]/W.$$
(7.25)
Then we can decide it uniquely (up to constant). That is

$$p(\xi ,\overline{\xi })=\underset{k=0}{\overset{p12i}{}}(1)^k\xi ^{p1ik}\overline{\xi }^{i+k}.$$
(7.26)
Therefore, if we define the operator

$$V_{(p,i),\mu }\underset{k=0}{\overset{p12i}{}}(1)^k:F_{p1ik,\mu }\overline{F}_{i+k,\mu }:,$$
(7.27)
we obtain the next theorem.

###### Theorem 7.9.

For $`p=2,3,\mathrm{}`$ and $`i=0,1,\mathrm{},[(p1)/2]`$,

$$V_{(p,i),\mu }(f)$$
(7.28)
are conserved currents for the $`(p,i)`$-submodel, where $`f=f(u,\overline{u})`$ is any function in $`C^p`$-class.

For example,

$`V_{(2,0),\mu }(f)`$ $`=`$ $`F_{1,\mu }(f)\overline{F}_{1,\mu }(f)`$ (7.29)
$`=`$ $`_\mu u{\displaystyle \frac{f}{u}}_\mu \overline{u}{\displaystyle \frac{f}{\overline{u}}},`$
$`V_{(3,0),\mu }(f)`$ $`=`$ $`F_{2,\mu }(f):F_{1,\mu }\overline{F}_{1,\mu }:(f)+\overline{F}_{2,\mu }(f)`$
$`=`$ $`_\mu ^2u{\displaystyle \frac{f}{u}}+(_\mu u)^2{\displaystyle \frac{^2f}{u^2}}_\mu u_\mu \overline{u}{\displaystyle \frac{^2f}{u\overline{u}}}+_\mu ^2\overline{u}{\displaystyle \frac{f}{\overline{u}}}+(_\mu \overline{u})^2{\displaystyle \frac{^2f}{\overline{u}^2}},`$
$`V_{(3,1),\mu }(f)`$ $`=`$ $`:F_{1,\mu }\overline{F}_{1,\mu }:(f)`$ (7.31)
$`=`$ $`_\mu u_\mu \overline{u}{\displaystyle \frac{^2f}{u\overline{u}}}.`$
Hence, (7.28) is a generalization of (4.25).

We observe the role of the conserved current above. Let $`J_{p,\mu }`$ be a homogeneous differential polynomial of degree $`(p1)`$ with coefficient $`C^p(𝐂,𝐂)`$, namely

$$J_{p,\mu }=\underset{n=0}{\overset{p1}{}}\underset{\genfrac{}{}{0pt}{}{jn}{kp1n}}{}f_{n,j,p1n,k}B_{nj;\mu }[u]B_{p1n,k;\mu }[\overline{u}],$$
(7.32)
where $`f_{n,j,p1n,k}=f_{n,j,p1n,k}(u,\overline{u})`$ in $`C^p(𝐂,𝐂)`$ and

$$B_{nj;\mu }[u]B_{nj}[g]|_{g_r=_\mu ^ru}.$$

###### Remark 7.10.

In the case of $`p=2`$,

$$B_{11;\mu }[u]=_\mu u,B_{11;\mu }[\overline{u}]=_\mu \overline{u}$$

and

$$J_{2,\mu }=f_{1100}_\mu u+f_{0011}_\mu \overline{u}.$$

See (4.22).

We put $`V_{p,\mu }V_{(p,0),\mu }`$ for simplicity. The next proposition is a generalization of corollary 4.5.

###### Theorem 7.11.

$`J_{p,\mu }`$ is a conserved current of the $`p`$-submodel if and only if there exist an $`f=f(u,\overline{u})`$ in $`C^p(𝐂,𝐂)`$ such that

$$J_{p,\mu }=V_{p,\mu }(f)+K_{p,\mu },$$
(7.33)
where $`K_{p,\mu }`$ is a conserved current of the $`p`$-submodel which does not contain the “principal part” $`_\mu ^nu_\mu ^{p1n}\overline{u}(n=0,\mathrm{},p1)`$. In particular, $`K_{2,\mu }0`$.

proof: For convinience, we put $`m=p1n`$. By using the equations of the $`p`$-submodel, we find that $`^\mu J_{p,\mu }=0`$ is equivalent to the following equations;

$$\frac{f_{n1,n1,m+1,m+1}}{u}+\frac{f_{n,n,m,m}}{\overline{u}}=0$$
(a)
for $`n=1,\mathrm{},p1,`$

$$\frac{f_{n1,n1,m+1,m}}{u}\frac{1}{m+1}\left(2f_{n,n,m,m}+(m1)\frac{f_{n,n,m,m1}}{\overline{u}}\right)=0$$
(b)
for $`n=1,\mathrm{},p2,`$

$$\frac{f_{n+1,n,m1,m1}}{\overline{u}}\frac{1}{n+1}\left(2f_{n,n,m,m}+(n1)\frac{f_{n,n1,m,m}}{u}\right)=0$$
($`\overline{\text{b}}`$)
for $`m=1,\mathrm{},p2,`$

$$\frac{f_{n1,n1,m+1,k}}{u}f_{n,n,m,k}=0$$
(c)
for $`n=1,\mathrm{},p3;k=1,\mathrm{},m1,`$

$$\frac{f_{n+1,j,m1,m1}}{\overline{u}}f_{n,j,m,m}=0$$
($`\overline{\text{c}}`$)
for $`m=1,\mathrm{},p3;j=1,\mathrm{},n1,`$

$$\frac{1}{n+1}\left(2f_{n,n,m,m1}+(n1)\frac{f_{n,n1,m,m1}}{u}\right)+$$

$$\frac{1}{m}\left(2f_{n+1,n,m1,m1}+(m2)\frac{f_{n+1,n,m1,m2}}{\overline{u}}\right)=0$$
(d)
for $`n=1,\mathrm{},p3,`$

$$\frac{1}{n+1}\left(2f_{n,n,m,k}+(n1)\frac{f_{n,n1,m,k}}{u}\right)+f_{n+1,n,m1,k}=0$$
(e)
for $`n=1,\mathrm{},p4;k=1,\mathrm{},m2,`$

$$\frac{1}{m+1}\left(2f_{n,j,m,m}+(m1)\frac{f_{n,j,m,m1}}{\overline{u}}\right)+f_{n1,j,m+1,m}=0$$
($`\overline{\text{e}}`$)
for $`m=1,\mathrm{},p4;j=1,\mathrm{},n2,`$

$$f_{n+1,j,m1,k}+f_{n+2,j,m2,k}=0$$
(f)
for $`n=1,\mathrm{},p5;j=1,\mathrm{},n;k=1,\mathrm{},m3,`$

$$\frac{f_{n+1,j1,m1,k}}{u}f_{n+1,j,m1,k}=0$$
(g)
for $`n=1,\mathrm{},p2;j=2,\mathrm{},n;k=0,\mathrm{},m1,`$

$$\frac{f_{n1,j,m+1,k1}}{\overline{u}}f_{n1,j,m+1,k}=0$$
($`\overline{\text{g}}`$)
for $`n=1,\mathrm{},p2;j=0,\mathrm{},n1;k=2,\mathrm{},m.`$

Solving these differential equations, we obtain the theorem 7.11. ∎

#### 7.3 Symmetries of Higher-Order $`𝐂P^1`$-submodels

##### 7.3.1 A Generalization of Smirnov and Sobolev’s Construction

In this section, we construct exact solutions of (7.4). We return to the $`𝐂P^1`$-submodel. It is defined by the equations

$$^\mu _\mu u=0\text{and}^\mu u_\mu u=0$$
(7.34)
$$\text{for}u:M^{1+n}𝐂.$$

For the equations, a wide class of explicit solutions have been constructed by Smirnov and Sobolev (S-S in the following) \[SS1\], \[SS2\]. Let us make a short review according to \[BY\].

Let $`a_\mu (u),b(u)`$ be known functions and we consider an equation

$$0=\delta \underset{\mu =0}{\overset{n}{}}a_\mu (u)x_\mu b(u)$$
(7.35)
with the constraint

$$\underset{\mu }{}{}_{}{}^{}a_{\mu }^{}(u)^2=a_0(u)^2\underset{j=1}{\overset{n}{}}a_j(u)^2=0.$$
(7.36)
Then, differentiating (7.35), we have easily

$$_\mu u=\frac{a_\mu }{\delta ^{}},\text{where}{}_{}{}^{}=\frac{}{u},$$
(7.37)
$$_\mu ^2u=\frac{1}{\delta _{}^{}{}_{}{}^{2}}(2a_\mu a_\mu ^{}\frac{\delta ^{\prime \prime }}{\delta ^{}}a_\mu ^2)=\frac{1}{\delta _{}^{}{}_{}{}^{2}}\left(\frac{}{u}\frac{\delta ^{\prime \prime }}{\delta ^{}}\right)(a_\mu ^2).$$
(7.38)
Remarking (7.36), we obtain (7.34). Next, we solve (7.35) making use of the inverse function theorem to be

$$u=u(x_0,x_1,\mathrm{},x_n).$$
(7.39)
For example, if $`a_\mu (u)`$ is a constant;

$$a_0x_0+\underset{j=1}{\overset{n}{}}a_jx_jb(u)=0$$
(7.40)
with

$$a_0^2\underset{j=1}{\overset{n}{}}a_j^2=0$$
(7.41)
and $`b`$ has its inverse (setting $`f`$), then we have the solutions (5.4)

$$u=f(a_0x_0+\underset{j=1}{\overset{n}{}}a_jx_j).$$
(7.42)
To generalize this method to our new higher-order equations, we prepare a theorem. For a smooth function $`\delta =\delta (x_0,\mathrm{},x_n,u)`$ with $`\delta ^{}\frac{\delta }{u}0`$, we consider an equation $`\delta =0`$. Now, we define a linear operator

$$X\frac{}{u}\frac{1}{\delta ^{}}=\frac{1}{\delta ^{}}\left(\frac{}{u}\frac{\delta ^{\prime \prime }}{\delta ^{}}\right).$$
(7.43)
Then

###### Theorem 7.12.

we have

$$_\mu ^pf(u)=\frac{1}{\delta ^{}}\underset{j=1}{\overset{p}{}}X^{j1}\left(\frac{f}{u}B_{pj}(\delta _1,\mathrm{},\delta _{pj+1})\right)(\mu =0,\mathrm{},n),$$
(7.44)
where $`\delta _r=_\mu ^r|_{u:\text{fix}}\delta (r=1,\mathrm{},p)`$ and

$$f:𝐂𝐂:\text{holomorphic with respect to}u.$$

.

Proof: We use the mathematical induction. First we have

$$_\mu f(u)=\frac{\delta _1}{\delta ^{}}\frac{f}{u}=\frac{1}{\delta ^{}}\frac{f}{u}B_{11}(\delta _1).$$
(7.45)
Secondly, suppose that

$$_\mu ^{p1}f(u)=\frac{1}{\delta ^{}}\underset{j=1}{\overset{p1}{}}X^{j1}\left(\frac{f}{u}B_{p1,j}\right),$$
(7.46)
then

$`_\mu ^pf(u)`$ $`=`$ $`{\displaystyle \frac{1}{\delta ^{}}}{\displaystyle \underset{j=1}{\overset{p1}{}}}_\mu \left(X^{j1}\left({\displaystyle \frac{f}{u}}B_{p1,j}\right)\right)+{\displaystyle \frac{_\mu \delta ^{}}{\delta _{}^{}{}_{}{}^{2}}}{\displaystyle \underset{j=1}{\overset{p1}{}}}X^{j1}\left({\displaystyle \frac{f}{u}}B_{p1,j}\right)`$
$`=`$ $`{\displaystyle \frac{1}{\delta ^{}}}{\displaystyle \underset{j=1}{\overset{p1}{}}}\left\{_\mu \left(X^{j1}\left({\displaystyle \frac{f}{u}}B_{p1,j}\right)\right){\displaystyle \frac{1}{\delta ^{}}}\left({\displaystyle \frac{\delta _1}{u}}{\displaystyle \frac{\delta _1}{\delta ^{}}}\delta ^{\prime \prime }\right)X^{j1}\left({\displaystyle \frac{f}{u}}B_{p1,j}\right)\right\}`$
$`=`$ $`{\displaystyle \frac{1}{\delta ^{}}}{\displaystyle \underset{j=1}{\overset{p1}{}}}(_\mu +X(\delta _1))X^{j1}\left({\displaystyle \frac{f}{u}}B_{p1,j}\right).`$
Noting that

$$[_\mu +X(\delta _1),X]=0\text{(by straightforward calculation),}$$
(7.47)
we have

$`_\mu ^pf(u)`$ $`=`$ $`{\displaystyle \frac{1}{\delta ^{}}}{\displaystyle \underset{j=1}{\overset{p1}{}}}X^{j1}(_\mu +X(\delta _1))\left({\displaystyle \frac{f}{u}}B_{p1,j}\right)`$
$`=`$ $`{\displaystyle \frac{1}{\delta ^{}}}{\displaystyle \underset{j=1}{\overset{p1}{}}}X^{j1}\left({\displaystyle \underset{r=1}{\overset{pj}{}}}\delta _{r+1}{\displaystyle \frac{}{\delta _r}}{\displaystyle \frac{\delta _1}{\delta ^{}}}{\displaystyle \frac{}{u}}+X(\delta _1)\right)\left({\displaystyle \frac{f}{u}}B_{p1,j}\right)`$
$`=`$ $`{\displaystyle \frac{1}{\delta ^{}}}{\displaystyle \underset{j=1}{\overset{p1}{}}}X^{j1}\left\{{\displaystyle \frac{f}{u}}{\displaystyle \underset{r=1}{\overset{pj}{}}}\delta _{r+1}{\displaystyle \frac{}{\delta _r}}B_{p1,j}+X\left({\displaystyle \frac{f}{u}}\delta _1B_{p1,j}\right)\right\}.`$
By (6.16) and (6.17), we obtain

$$_\mu ^pf(u)=\frac{1}{\delta ^{}}\underset{j=1}{\overset{p}{}}X^{j1}\left(\frac{f}{u}B_{pj}\right).\mathit{}$$
(7.48)
If we put $`\delta _{\mu =0}^na_\mu (u)x_\mu b(u)`$, then, since $`\delta _r=0(r2),`$

$$B_{pj}=0(1jp1),B_{pp}=\delta _1^p=a_\mu ^p.$$
(7.49)
Therefore

###### Corollary 7.13.

$$_\mu ^pf(u)=\frac{1}{\delta ^{}}X^{p1}\left(\frac{f}{u}a_\mu ^p\right).$$
(7.50)
Moreover, if we also put $`f(u)=u`$, then

###### Corollary 7.14.

$$_\mu ^pu=\frac{1}{\delta ^{}}X^{p1}a_\mu ^p.$$
(7.51)
This corollary is a generalization of (7.37), (7.38).

We remark that by theorem 7.12,

$`{\displaystyle \underset{j=1}{\overset{p}{}}}{\displaystyle \underset{\mu }{}}{}_{}{}^{}B_{pj}^{}[u]\left({\displaystyle \frac{}{\overline{u}}}\right)^jf(u)`$ (7.52)
$`=`$ $`{\displaystyle \underset{\mu }{}}{}_{}{}^{}_{\mu }^{p}f(u)`$
$`=`$ $`{\displaystyle \frac{1}{\delta ^{}}}{\displaystyle \underset{j=1}{\overset{p}{}}}X^{j1}\left({\displaystyle \frac{f}{u}}{\displaystyle \underset{\mu }{}}{}_{}{}^{}B_{pj}^{}[\delta ]\right).`$
Then we consider

$$\underset{\mu }{}{}_{}{}^{}B_{pj}^{}[\delta ]=0(j=1,\mathrm{},p),$$
(7.53)
namely

$$\mathrm{}_{p,x}(\delta ^k(x,u))\left(\frac{^p}{x_0^p}\underset{j=1}{\overset{n}{}}\frac{^p}{x_j^p}\right)_{u:\text{fix}}(\delta ^k(x,u))=0\text{for}1kp.$$
(7.54)
These equations can be regarded as “the $`p`$-submodel with parameter $`u`$”. Therefore, if we consider a simple solution

$$\delta =\underset{\mu =0}{\overset{n}{}}a_\mu (u)x_\mu b(u)\text{with}\underset{\mu }{}{}_{}{}^{}a_{\mu }^{}(u)^p=0$$
(7.55)
of (7.54) and put $`\delta =0`$, we have

$$\underset{\mu }{}{}_{}{}^{}B_{pj}^{}[u]=0(j=1,\mathrm{},p),$$
(7.56)
namely, the $`p`$-submodel holds by (7.52).

Now, we also consider the $`(p,i)`$-submodel. Similarly, we put

$$0=\delta \underset{\mu =0}{\overset{n}{}}a_\mu (u)x_\mu b(u)$$
(7.57)
with the constraint

$$\underset{\mu }{}{}_{}{}^{}a_{\mu }^{}(u)^{pi}\overline{a_\mu (u)^i}=0.$$
(7.58)
By using theorem 7.12, then we have

$$_\mu ^{pi}(u^k)=\frac{1}{\delta ^{}}X^{pi1}(ku^{k1}a_\mu (u)^{pi}),$$
(7.59)
$$_\mu ^i(\overline{u}^l)=\frac{1}{\overline{\delta ^{}}}\overline{X}^{i1}(l\overline{u}^{l1}\overline{a_\mu (u)^i}).$$
(7.60)
If we expand $`X^{pi1}`$ and $`\overline{X}^{i1}`$, and note that

$$\left(\frac{}{u}\right)^{n_1}a_\mu ^{m_1}\left(\frac{}{\overline{u}}\right)^{n_2}\overline{a}_\mu ^{m_2}=\left(\frac{}{u}\right)^{n_1}\left(\frac{}{\overline{u}}\right)^{n_2}a_\mu ^{m_1}\overline{a}_\mu ^{m_2},$$
(7.61)
we obtain the next theorem.

###### Theorem 7.15.

We can construct exact solutions of (7.4) by using our extended S-S construction (7.57), (7.58).

##### 7.3.2 Symmetries and a Property of the Bell Matrix

In spite of higher-order equations, we find that all the solutions of the $`(p,i)`$-submodel are functionally invariant. This symmetry comes from the fact that the Bell matrix is anti-homomorphic with respect to the composition of functions.

###### Theorem 7.16.

If $`u`$ is a solution of the $`(p,i)`$-submodel, then, for any holomorphic function $`f`$, $`v=f(u)`$ is also a solution of the $`(p,i)`$-submodel. In other words, all the solutions of the $`(p,i)`$-submodel are functionally invariant.

proof: Suppose that $`u`$ is a solution of the $`(p,i)`$-submodel. By lemma 7.8, the $`(p,i)`$-submodel is equivalent to

$$\underset{\mu }{}{}_{}{}^{}:F_{pi,\mu }\overline{F}_{i,\mu }:=0,$$
(7.62)
namely

$$\underset{\mu }{}{}_{}{}^{}B_{pi,j}^{}[u]B_{ik}[\overline{u}]=0\text{for}j=1,\mathrm{},pi,k=0,\mathrm{},i.$$
(7.63)
Therefore, by using of (6.19)

$`{\displaystyle \underset{\mu }{}}{}_{}{}^{}B_{pi,j}^{}[f(u)]B_{ik}[\overline{f(u)}]`$ $`=`$ $`{\displaystyle \underset{\mu }{}}{\displaystyle {}_{}{}^{}\underset{n=j}{\overset{pi}{}}}{\displaystyle \underset{m=k}{\overset{i}{}}}B_{pi,n}[u]B_{nj}[f]B_{im}[\overline{u}]B_{mk}[\overline{f}]`$
$`=`$ $`0.\mathit{}`$
For complex numbers $`a_\mu (\mu =0,1,\mathrm{},n)`$ with $`_\mu {}_{}{}^{}a_{\mu }^{pi}\overline{a}_\mu ^i=0`$,

$$u=a_0x_0+\underset{i=1}{\overset{n}{}}a_ix_i$$
(7.64)
are clearly solutions of (7.4). Therefore, we obtain the following corollary.

###### Corollary 7.17.

Let $`f`$ be any holomorphic function. Then

$$f(a_0x_0+\underset{i=1}{\overset{n}{}}a_ix_i)$$
(7.65)
under

$$\underset{\mu }{}{}_{}{}^{}a_{\mu }^{pi}\overline{a}_\mu ^i=0$$
(7.66)
are solutions of the $`(p,i)`$-submodel.

### Chapter 8 A Higher-Order Grassmann submodel

#### 8.1 A Definition of a Higher-Order Grassmann submodel

In this chapter, we generalize the equation of motion of the Grassmann submodel in a similar way to the $`𝐂P^1`$-submodel by using the generalized Bell polynomial introduced in section 6.2.

We use the multi index notation.

###### Definition 8.1.

$$\mathrm{}_p(𝐮^𝐤)=\mathrm{}_p(u_1^{k_1}\mathrm{}u_N^{k_n})=0\text{for}1|𝐤|p.$$
(8.1)
We call this system of PDE the $`𝐂P^N`$-$`p`$-submodel.

###### Remark 8.2.

In the case of $`p=2`$, (8.1) is

$$\mathrm{}_2u_i=0\text{and}\mathrm{}_2(u_iu_j)=0\text{for}i,j=1,\mathrm{},N.$$

These are equivalent to the $`𝐂P^N`$-submodel

$$^\mu _\mu u_i=0\text{and}^\mu u_i_\mu u_j=0\text{for}i,j=1,\mathrm{},N.$$

###### Remark 8.3.

By a local coordinate expression, the $`G_{j,N}(𝐂)`$-submodel and
the $`𝐂P^{j(Nj)}`$-submodel are equivalent. Therefore, (8.1) is also a generalization of the Grassmann submodel.

#### 8.2 Conserved Currents

###### Lemma 8.4.

The $`𝐂P^N`$-$`p`$-submodel has the Bell polynomial expression

$$\underset{\mu }{}{}_{}{}^{}F_{p,\mu }^{}=0,$$
(8.2)
where

$$F_{p,\mu }\underset{|𝐣|p}{}B_{p,𝐣;\mu }[𝐮]\left(\frac{}{𝐮}\right)^𝐣$$
(8.3)
and

$$B_{p,𝐣;\mu }[𝐮]B_{(p,\underset{s1}{\underset{}{0,\mathrm{},0}}),𝐣}[𝐮(𝐲)]|_{y_1=x_\mu ,y_2,\mathrm{},y_s:\text{fix}}$$
(8.4)
in (6.21).

Proof:

$`\mathrm{}_p(𝐮^𝐤)`$ $`=`$ $`{\displaystyle \underset{\mu }{}}{}_{}{}^{}F_{p,\mu }^{}(𝐮^𝐤)`$
$`=`$ $`{\displaystyle \underset{\mu }{}}{\displaystyle {}_{}{}^{}\underset{|𝐣|p}{}}B_{p,𝐣;\mu }[𝐮]\left({\displaystyle \frac{}{𝐮}}\right)^𝐣(𝐮^𝐤)`$
$`=`$ $`{\displaystyle \underset{\mu }{}}{\displaystyle {}_{}{}^{}\underset{|𝐣|p}{}}𝐣!\left(\begin{array}{cc}𝐤& \\ 𝐣& \end{array}\right){\displaystyle \underset{\mu }{}}{}_{}{}^{}B_{p,𝐣;\mu }^{}[𝐮]𝐮^{𝐤𝐣}\text{for}1|𝐤|p,`$
where

$$𝐣=j_1!\mathrm{}j_N!\text{and}\left(\begin{array}{cc}𝐤& \\ 𝐣& \end{array}\right)=\left(\begin{array}{cc}k_1& \\ j_1& \end{array}\right)\mathrm{}\left(\begin{array}{cc}k_N& \\ j_N& \end{array}\right).$$

Therefore, the $`𝐂P^N`$-$`p`$-submodel holds if and only if

$$\underset{\mu }{}{}_{}{}^{}B_{p,𝐣;\mu }^{}[𝐮]=0\text{for}1|𝐣|p,$$
(8.6)
namely

$$\underset{\mu }{}{}_{}{}^{}F_{p,\mu }^{}=0.\mathit{}$$
(8.7)
By using the recursion formula of the generalized Bell polynomials (6.22), we can construct an infinite number of conserved currents for the $`𝐂P^N`$-$`p`$-submodel similar to the $`p`$-submodel.

###### Theorem 8.5.

$$V_{p,\mu }(f)\underset{k=0}{\overset{p1}{}}(1)^k:F_{p1k,\mu }\overline{F}_{k,\mu }:(f)$$
(8.8)
are conserved currents for the $`𝐂P^N`$-$`p`$-submodel, where
$`f=f(u_1,\mathrm{},u_N,\overline{u}_1,\mathrm{},\overline{u}_N)`$ is any function in $`C^p`$-class.

For example,

$`V_{2,\mu }(f)`$ $`=`$ $`F_{1,\mu }(f)\overline{F}_{1,\mu }(f)`$ (8.9)
$`=`$ $`{\displaystyle \underset{i=1}{\overset{N}{}}}\left(_\mu u_i{\displaystyle \frac{f}{u_i}}_\mu \overline{u}_i{\displaystyle \frac{f}{\overline{u}_i}}\right),`$
Hence, (8.8) is a generalization of (4.24).

#### 8.3 Symmetries of the Higher-Order Grassmann submodel

As well as theorem 7.16, we find that all the solutions of the $`𝐂P^N`$-$`p`$-submodel are functionally invariant.

###### Theorem 8.6.

If $`u_1,\mathrm{},u_N`$ is a solution of the $`𝐂P^N`$-$`p`$-submodel, then $`f_1(u_1,\mathrm{},u_N),\mathrm{},f_N(u_1,\mathrm{},u_N)`$ is also a solution of the $`𝐂P^N`$-$`p`$-submodel, where $`f_1,\mathrm{},f_N`$ are any holomorphic functions.

Proof: Suppose that $`u_1,\mathrm{},u_N`$ is a solution of the $`𝐂P^N`$-$`p`$-submodel. By lemma 8.4, the $`𝐂P^N`$-$`p`$-submodel is equivalent to

$$\underset{\mu }{}{}_{}{}^{}F_{p,\mu }^{}=0,$$
(8.10)
namely

$$\underset{\mu }{}{}_{}{}^{}B_{(p,0,\mathrm{},0),𝐣;\mu }^{}[𝐮]=0\text{for}1|𝐣|p.$$
(8.11)
Therefore, by using of (6.24)

$`{\displaystyle \underset{\mu }{}}{}_{}{}^{}B_{(p,0,\mathrm{},0),𝐣;\mu }^{}[𝐟(𝐮)]`$ $`=`$ $`{\displaystyle \underset{\mu }{}}{\displaystyle {}_{}{}^{}\underset{|𝐣||𝐧|p}{}}B_{(p,0,\mathrm{},0),𝐧;\mu }[𝐮]B_{𝐧,𝐣;\mu }[𝐟]`$
$`=`$ $`0\text{for}1|𝐣|p.\mathit{}`$
### Index

* $`[P_0,dP_0]`$ §3.1
* $`_\mu ^{}`$ §7.1
* $`\stackrel{~}{B}_\mu ^{(1)}`$ §1.2
* $`\stackrel{~}{B}_\mu ^{(j;m)}`$ §1.3
* $`\stackrel{~}{B}_\mu ^{(j)}`$ §1.2
* $`\mathrm{}_2`$ Remark 7.1
* $`\mathrm{}_p`$ Definition 7.3
* $`𝒜(P)`$ §3.2
* $`𝒜(u)`$ §1.2, Corollary 3.4
* $`𝒜(Z)`$ Lemma 3.3
* anti-homomorphic Lemma 6.9
* $`A_\mu `$ §1.2
* Bell matrix §6.1
* Bell number Remark 6.3
* Bell polynomial §6.1
* Bell polynomial expression Lemma 7.8, Lemma 8.4
* $`B_{nj}(g_1,\mathrm{},g_{nj+1})`$ §6.1
* $`B_{nj}[g]`$ §6.1
* $`B_{p,𝐣;\mu }[𝐮]`$ Lemma 8.4
* $`B_{𝐩,𝐤}[𝐮]`$ Definition 6.10
* conserved currents associated with spin $`j`$ representation of $`SU(2)`$ §1.4
* di Bruno’s formula Remark 6.2
* $`dP_0`$ §3.1
* elementary Schur polynomial Remark 6.4
* extended S-S construction Theorem 7.15
* $`F_{n,\mu }`$ §7.2
* $`F_n(zg_1,\mathrm{},zg_n)`$ Definition 6.1
* $`F_n[zg]`$ Definition 6.1
* $`F_{p,\mu }`$ Lemma 8.4
* $`F_𝐩[𝐳𝐮]`$ Definition 6.10
* functionally invariant Theorem 7.16, §8.3
* functionally invariant solution Remark 7.2
* Gauss decomposition Remark 1.1
* generalized Bell polynomial §6.2
* generating function of the Bell polynomials §6.1
* generating function of the generalized Bell polynomials §6.2
* $`G_{j,N}(𝐂)`$ §3.1
* Grassmann submodel Definition 3.7
* Hermite polynomial Remark 6.5
* $`J_{2,\mu }`$ Corollary 4.5
* $`J_{(𝐏,𝐐);\mu }^k`$ Proposition 4.2
* $`J_{p,\mu }`$ §7.2
* $`j_\mu `$ §1.2
* $`J_\mu ^{(j,k)}`$ §1.2
* $`J_\mu ^{(j;m)}(k)`$ §1.3
* $`J_\mu ^{Noet}`$ §1.2
* local integrability condition §1.1
* Noether currents (of the $`𝐂P^1`$-model) §1.2
* $`P(Z)`$ §3.2
* recursion formula for the Bell matrix §6.1
* recursion formula for the Bell polynomials Lemma 6.6
* recursion formula for the generalized Bell polynomials Lemma 6.11
* Smirnov and Sobolev construction §7.3.1
* symbol §7.2
* $`T_{}`$ §1.2
* $`T_+`$ §1.2
* $`T_3`$ §1.2
* tensor Noether Currents §4.1
* the $`(p,i)`$-submodel Definition 7.4
* the $`𝐂P^1`$-like sigma models §2.1
* the $`𝐂P^1`$-submodel (in $`(1+2)`$ dimensions) §1.2
* the $`𝐂P^N`$-$`p`$-submodel Definition 8.1
* the $`p`$-submodel Definition 7.3
* the $`QP^1`$-model §2.2
* $`V_{(p,i),\mu }`$ §7.2
* $`V_{p,\mu }`$ §8.2
* $`X`$ §7.3.1
* $`\mathrm{\Phi }`$ §7.2

#### List of papers by Tatsuo Suzuki

\[FS1\] K. Fujii and T. Suzuki: Nonlinear Sigma Models in $`(1+2)`$-Dimensions
and An Infinite Number of Conserved Currents, Lett. Math. Phys.
46(1998)49-59, hep-th/9802105.

\[FHS1\] K. Fujii, Y. Homma and T. Suzuki: Nonlinear Grassmann Sigma
Models in Any Dimension and An Infinite Number of Conserved Cur-
rents, Phys. Lett. B438(1998)290-294, hep-th/9806084.

\[FHS2\] K. Fujii, Y. Homma and T. Suzuki: Submodels of Nonlinear Grass-
mann Sigma Models in Any Dimension and Conserved Currents, Exact
Solutions, Mod. Phys. Lett. A14(1999)919-928, hep-th/9809149.

\[Suz\] T. Suzuki: A Generalization of the Submodel of Nonlinear $`𝐂P^1`$ Models,
Nucl. Phys. B578(2000)515-523, hep-th/0002003.