--- abstract: 'We investigate the structure of the centralizer and the normalizer of a local analytic or formal differential system at a nondegenerate stationary point, using the theory of Poincaré-Dulac normal forms. Our main results are concerned with the formal case. We obtain a description of the relation between centralizer and normalizer, sharp dimension estimates when the centralizer of the linearization has finite dimension, and lower estimates for the dimension of the centralizer in general. For a distinguished class of linear vector fields (which is sufficiently large to be of interest) we obtain a precise characterization of the centralizer for corresponding normal forms in the generic case. <span>Moreover, in view of their relation to normalizers, we discuss inverse Jacobi multipliers and obtain existence criteria and nonexistence results for several classes of vector fields</span>.' address: - '$^1$ Lehrstuhl A für Mathematik, RWTH Aachen, 52056 Aachen, Germany' - '$^2$ School of Mathematical Sciences and MOE-LSC, Shanghai Jiao Tong University, Shanghai, 200240, P. R. China' author: - 'Niclas Kruff$^1$, Sebastian Walcher$^1$, Xiang Zhang$^2$' title: Centralizers and normalizers of local analytic and formal vector fields --- Introduction ============ Background and motivation ------------------------- Symmetries of differential equations were first systematically investigated and applied by Sophus Lie; see @Li [@1] and subsequent works; for more contemporary accounts we refer to Olver @Ol [@1], Stephani @Ste, among many others. The existence of nontrivial symmetries for an ordinary differential equation has consequences for the structure of its solutions, allowing reduction and thus facilitating the analysis. Moreover symmetries are relevant for the dynamics of the system and for integrability questions; see <span>e. g.</span> the monograph @Zh17, and <span>the research papers</span> Aziz et al. @ALP14, Colak et al. @CLV14, Freire et al. @FGG, Garcia et al. @GMS, Giné et al @GGL, Llibre and Valls @LV11. While there exist algorithms to determine symmetries of higher order ordinary differential equations, the class of (autonomous) first order equations does not allow such an approach (and is therefore even called exceptional by Stephani @Ste). The present paper is devoted to this class. Following Lie's fundamental approach, we are mainly interested in local one-parameter groups of symmetries or orbital symmetries of an ordinary differential equation $\dot x=f(x)$. As is well known, the infinitesimal generator $g$ of such a one-parameter group commutes with $f$ (thus $[g,\,f]=0$), respectively normalizes $f$ (thus $[g,\,f]=\lambda f$ with some scalar-valued function $\lambda$), <span>see e.g. @WaMul.</span> While frequently one investigates vector fields with a priori known symmetries, we consider the direct problem here: Given an analytic vector field $f$, find conditions (and restrictions) that possible infinitesimal symmetries or orbital symmetries have to satisfy. Local obstructions to the existence of nontrivial commuting or normalizing vector fields appear at stationary points, and only at stationary points. We will discuss the centralizer resp. the normalizer at those stationary points which are nondegenerate in the sense that the linearization of the vector field is not nilpotent. We will consider complex vector fields in the present paper; the transfer and application to the real case is unproblematic. We note here that a more general study of the local analytic case in dimension two is due to Cerveau and Lins Neto @CLN. <span>Local results have obvious implications for the structure of the global centralizer or normalizer of a vector field on an open and connected set, since restriction from the global to the local setting induces an injective morphism of the corresponding structures.</span> For the local study, we also turn to formal power series and vector fields, which allows to employ properties of Poincaré-Dulac normal forms. Overview and main results ------------------------- The paper is organized as follows. In Section \[basicsec\] we recall some notions and facts; in particular we recall that the structures of local centralizer and normalizer are well understood near nonstationary points (Proposition \[nonstatprop\]). For stationary points we turn to normal form theory, and we characterize the relation between formal centralizer and normalizer for formal vector fields in PDNF in Theorem \[linnormthm\].\ In Section \[findimsec\] we discuss the case when $f$ is in PDNF and the semisimple part of $Df(0)$ has finite dimensional centralizer, which includes the case that $f$ is necessarily linear. Here we clarify the relation between centralizer and normalizer (Proposition \[findimcentnorm\]) and obtain general sharp estimates for the (necessarily finite) dimension of the centralizer in Theorems \[finitedimT1\] and \[finitedimT2\], illustrated by a number of examples. In particular <span>we prove that</span> the dimension of the formal centralizer is always greater or equal to the space dimension. We also note some consequences for the local analytic case.\ In Section \[infidimsec\] we discuss vector fields in PDNF with infinite dimensional centralizer of $Df(0)$. We first recall some tools (including a symmetry reduction) from normal form theory and apply these to investigate the centralizer, obtaining a lower estimate for its dimension in Theorem \[lowerest\]. Since some underlying algebraic structures (the algebra of polynomial first integrals and the module of polynomial vector fields commuting with a given semisimple linear map) may be rather complicated, a complete investigation seems currently out of reach. But for the distinguished case when the underlying algebraic structures are as simple as possible we obtain in Theorems \[quadcentthm\] and \[disalgcentthm\] a precise description of the centralizer for (in a precise sense) generic vector fields. Moreover we exhibit several classes of examples for this distinguished case, including a class of coupled oscillators, and <span>we give</span> a description of all such vector fields in dimension three.\ We begin Section \[jacobisec\] by recalling the relation between normalizer elements and Jacobi last multipliers, and we establish in Proposition \[divnofoprop\] some special properties of formal inverse Jacobi multipliers for PDNF. We proceed to investigate formal Jacobi last multipliers for several examples, including a subset of the distinguished class from Section \[infidimsec\]. <span> This includes all three dimensional vector fields in the above class. For those we provide conditions for possible mulitipliers and apply these to show nonexistence of formal inverse Jacobi multipliers for a generic case.</span> <span>We note that some of the results on three dimensional vector fields originate from the doctoral dissertation @Kruffdiss.</span> Basic notions and results {#basicsec} ========================= Definitions and known facts --------------------------- We let $\emptyset\not=U^*\subseteq U\subseteq \mathbb C^n$, both subsets open and connected. Given an ordinary differential equation $$\label{deq} \dot x = f(x) \quad\text{ on } U$$ with analytic right hand side, we consider the centralizer $$\label{defcent} {\mathcal C}_{U^*}(f):=\left\{ g;\, g\text{ analytic on }U^*,\,\left[g,\,f\right]=0\right\},$$ where the Lie bracket is defined by $$\left[g,\,h\right](x):=Dh(x)g(x)-Dg(x)h(x),$$ as usual, with $Dh(x)$ denoting the Jacobian matrix of the vector field $h(x)$. Furthermore we consider the normalizer $$\label{defnorm} {\mathcal N}_{U^*}(f):=\left\{ g;\, g\text{ analytic on }U^*,\,\left[g,\,f\right]=\mu f\text{ for some analytic }\mu\right\}.$$ As is well known from the work of Lie @Li [@1] (see also more contemporary accounts in Olver @Ol [@1], Stephani @Ste, and in @WaMul), the local flow of $g\in{\mathcal C}_{U^*}(f)$ yields a local one-parameter symmetry group for system , while the local flow of $g\in{\mathcal N}_{U^*}(f)$ yields a local one parameter group of orbital symmetries of , thus preserving solution trajectories but not necessarily their parameterization. We recall some further notions. For analytic $\phi:\,U^*\to \mathbb C$ and $g:\,U^*\to\mathbb C^n$ we define the Lie derivative $X_g(\phi)$ by $$\label{deflied} X_g(\phi)(x):=D\phi(x)g(x);$$ and $\phi$ is by definition a first integral of $g$ if $X_g(\phi)=0$. <span>(Note that we include constant functions as first integrals; this is more appropriate from an algebraic perspective.)</span> Moreover we have the identities $$\label{bracket} X_gX_h-X_hX_g=X_{[g,\,h]},$$ as well as $$\label{mixid} \left[g,\,\psi\cdot h\right]=X_g(\psi)\cdot h+\psi\cdot \left[g,\,h\right]$$ for analytic functions $\psi$ and analytic vector fields $g$, $h$. An element of the centralizer ${\mathcal C}_{U^*}(f)$ may be seen as belonging two vector spaces, which give rise to two notions of dimension. (For background and more facts see e.g. Bianchi @Bi and Hermann @Her.) On the one hand, $g\in {\mathcal C}_{U^*}(f)$ may be seen as an element of the vector space $\mathbb L^n$, where $\mathbb L$ denotes the field of meromorphic functions on $U^*$, i.e., functions that can locally be expresssed as quotients of analytic functions. Linear dependence over this field means linear dependence in $\mathbb C^n$ of the function values at every point, as the next result shows. Let $h_1,\ldots,h_r$ be analytic vector fields on $U^*$. Then $h_1,\ldots,h_r$ are linearly dependent over $\mathbb L$ if and only if $h_1(y),\ldots,h_r(y)\in \mathbb C^n$ are linearly dependent over $\mathbb C$, for every $y\in U^*$. Let $H\in\mathbb L^{n\times r}$ denote the matrix with columns $h_1,\ldots, h_r$, and let $\Delta\in\mathbb L$ denote any of its $r\times r$ minors. Then $\Delta$ is not the zero function if and only if $\Delta(y)\not=0$ for some $y\in U^*$. On the other hand we may consider ${\mathcal C}_{U^*}(f)$ as a vector space (and a Lie algebra) of functions over $\mathbb C$. We will denote by $\dim {\mathcal C}_{U^*}(f)$ the dimension of this $\mathbb C$-vector space, which we are mainly interested in. We include a proof of the following fact for the reader's convenience. \[meroprop\] Let $h_1,\ldots,h_r\in {\mathcal C}_{U^*}(f)$ be linearly independent over $\mathbb C$ but linearly dependent over $\mathbb L$. Then the differential equation admits a nonconstant meromorphic first integral on $U^*$. In particular $f$ admits a meromorphic first integral whenever $\dim {\mathcal C}_{U^*}(f)>n$. With no loss of generality we may assume that, for some $s<r$, the vector fields $h_1,\ldots,h_s$ are linearly independent but $h_1,\ldots,h_{s+1}$ are linearly dependent over $\mathbb L$, hence $$h_{s+1}=\mu_1h_1+\cdots+\mu_sh_s$$ with suitable $\mu_i\in\mathbb L$. Using we find $$0=\left[f,h_{s+1}\right]=\sum_{i=1}^s\mu_i\left[f,\,h_i\right]+ \sum_{i=1}^s X_f(\mu_i)h_i=\sum_{i=1}^s X_f(\mu_i)h_i$$ and therefore $X_f(\mu_1)=\cdots =X_f(\mu_s)=0$, whence every $\mu_i$ is a meromorphic first integral (possibly constant). Due to the linear independence of the $h_i$ over $\mathbb C$, not all $\mu_i$ are constant. The last assertion follows since there cannot be more than $n$ linearly independent elements in $\mathbb L^n$. Given any $y\in U^*\subseteq U$, we may pass from $ {\mathcal C}_{U^*}(f)$ to the local analytic centralizer $$\label{defloccent} {\mathcal C}_y(f):=\left\{ g;\, g\text{ analytic at }y,\,\left[g,\,f\right]=0\right\},$$ and similarly to the local analytic normalizer ${\mathcal N}_y(f)$. We call $\mathbb F$ the field of local meromorphic functions in $y$, and note that Proposition \[meroprop\] carries over to the local setting. The structure of the local centralizer and of the local normalizer is well understood near any nonstationary point; we recall the pertinent result for convenient reference. \[nonstatprop\] Let $n>1$ and $y\in U$ nonstationary for system . Then: 1. There exist $g_1,\ldots, g_n\in {\mathcal C}_y(f)$ that are linearly independent over $\mathbb F$ such that $${\mathcal C}_y(f)=\left\{\sum\mu_i g_i;\,X_f(\mu_1)=\cdots =X_f(\mu_n)=0\right\}.$$ In particular ${\mathcal C}_y(f)$ has infinite dimension over $\mathbb C$. 2. The normalizer has the following structure: $${\mathcal N}_y(f)={\mathcal C}_y(f)+\left\{\beta f;\,\beta\text{ analytic in }y\right\}.$$ 3. Given $g\in{\mathcal N}_y(f)$ and $g(y)\not=0$, there exists a local analytic $\sigma$ with $\sigma(y)=1$ such that $$\left[g,\,\sigma f\right]=0;$$ thus $g$ lies in the centralizer of some vector field with the same local solution trajectories as $f$. By the straightening theorem one may assume that $f$ is a constant vector field, say $f=e_1$, where $e_1$ is the first element of the standard basis of $\mathbb C^n$. (Recall that Lie brackets are compatible with coordinate transformations.) Then $\left[g,\,f\right]=0$ is equivalent to $\partial g/\partial x_1=0$, thus the entries of $g$ depend locally only on $x_2,\ldots,x_n$. Therefore we may take $g_i=e_i$ as constants, and the coefficient functions are first integrals of $f$. To prove part $(b)$, assume $[g,\,f]=\lambda f$. Then $$[g-\alpha f,\,f]=(\lambda-X_f(\alpha))\,f$$ for any $\alpha$, and the (linear first order partial differential) equation $\lambda=X_f(\alpha)=\partial \alpha/\partial x_1$ has a local solution $\beta$, hence $g-\beta f\in {\mathcal C}_y(f)$. Finally, for part (c) note that $\left[g,\,f\right]=\lambda f$ implies $\left[g,\,\sigma f\right]=(X_g(\sigma)+\lambda\sigma)\,f$. Straightening $g$ (or invoking familiar facts about linear partial differential equations), one sees that the equation $X_g(\sigma)+\lambda\sigma=0$ has a solution with $\sigma(y)=1$. <span>The proposition and its proof show that the structures of the local centralizer or the local normalizer reflect characteristic properties of a vector field, and thus is of interest, only near stationary points. These structures are therefore in the focus of the present paper.</span> Local centralizers and normalizers near stationary points --------------------------------------------------------- We consider the centralizer of the analytic vector field $f$ near a stationary point, which we take to be $0$. Thus $f$ admits a Taylor expansion $$\label{taylor} f(x)=Ax+\sum_{j\geq 2} f_j(x)$$ with $A\in \mathbb C^{n\times n}$, and each $f_j$ a homogeneous vector polynomial of degree $j$. In order to enable working with Poincaré-Dulac normal forms, we extend the discussion from power series with a nonempty domain of convergence to formal power series. We denote by $\mathbb C[[x_1,\ldots, x_n]]$ the algebra of formal power series, and by $\mathbb C((x_1,\ldots,x_n))$ its quotient field, noting that the definitions and identities such as , , and carry over. Moreover we consider $$%begin{equation}\label{defforcent} {\mathcal C}_0^{\rm for}(f):=\left\{g\in\mathbb C[[x_1,\ldots,x_n]]^n;\,\left[g,\,f\right]=0\right\},$$ and analogously ${\mathcal N}_0^{\rm for}(f)$, whose elements satisfy $[g,\,f]=\lambda f$ with some $\lambda\in \mathbb C[[x_1,\ldots,x_n]]$.\ Poincaré-Dulac normal forms (PDNF) and their special properties make many arguments more transparent. We recall the coordinate-invariant definition (see e.g. @Wa91): Given the Jordan-Chevalley decomposition $A=A_s+A_n$ with $A_s$ semisimple, $A_n$ nilpotent and $\left[A_s,\,A_n\right]=0$, $f$ as given in is in PDNF if $[A_s,\,f]=0$; equivalently each $[A_s,\,f_j]=0$. As is well known (see e.g. @Br89), any local analytic vector field admits a formal power series transformation to PDNF, but in general no convergent transformation exists. Obviously when $f$ is analytic then ${\mathcal C}_0(f)\subseteq {\mathcal C}_0^{\rm for}(f)$ and ${\mathcal N}_0(f)\subseteq {\mathcal N}_0^{\rm for}(f)$; this allows to transfer some results from the formal to the analytic case.\ We will frequently use the following facts (see e.g. @Wa91, Propositions 1.3 and 1.4): \[jochlem\] Given the Jordan-Chevalley decomposition $A=A_s+A_n$ into semisimple and nilpotent part, the following hold: 1. The Lie derivative $X_A$ sends every space $S_k$ of homogeneous polynomials of degree $k$ to itself, and $X_A=X_{A_s}+X_{A_n}$ is the corresponding Jordan-Chevalley decomposition. 2. The adjoint action ${\rm ad}\,A$ sends every space ${\mathcal P}_k$ of homogeneous polynomial vector fields of degree $k$ to itself, and ${\rm ad}\,A={\rm ad}\,A_s+{\rm ad}\,A_n$ is the corresponding Jordan-Chevalley decomposition. A starting point for the investigation of the formal centralizer is the following well-known result, which is a consequence of Proposition 1.5 in @Wa91. We include a direct proof here, for the reader's convenience. \[lincentprop\] Let system be in Poincaré-Dulac normal form, and $g\in{\mathcal C}_0^{\rm for}(f)$. Then also $g\in{\mathcal C}_0^{\rm for}(A_s)$. Let $g=g_r+\cdots$, with $g_r\neq 0$. Then $[g,f]=0$ is equivalent to $$\label{centcondeq} [A,g_{r+j}]+[f_2,g_{r+j-1}]+\cdots +[f_{j+1},g_r]=0, \qquad \text{all}\;\,j\geq 0.$$ We show by induction that $[A_s,g_{r+j}]=0$ for all $j\geq 0$. For $j=0$ the assertion follows from $[A,g_r]=0$ and $\ker({\rm ad}\,A)\subseteq \ker({\rm ad}\,A_s)$ on $\mathcal{P}_r$. For the induction step apply ${\rm ad}\, A_s$ to and recall that $A_s$ and $f_j$ commute for all $j$. Therefore $$\bigl[A,[A_s,g_{r+j}]\bigr]+\bigl[f_2,[A_s,g_{r+j-1}]\bigr]+\cdots +\bigl[f_{j+1},[A_s,g_r]\bigr]=0.$$ By induction hypothesis all terms after the first one vanish, hence one sees that $g_{r+j}\in \ker({\rm ad}\,A_s)^2=\ker{\rm ad}\,A_s$. We next turn to the formal normalizer. The connection to the centralizer is not as straightforward as for nonstationary points in Proposition \[nonstatprop\], but some properties persist. \[linnormthm\] Let system be in Poincaré-Dulac normal form, with $A_s\not=0$, and $g\in{\mathcal N}_0^{\rm for}(f)$ with $g(0)=0$. 1. There exists a power series $\beta$ such that $$\left[g-\beta f,\,f\right]=\alpha f,\quad X_{A_s}(\alpha)=0$$ with some $\alpha=\alpha_0+\alpha_1+\cdots\in\mathbb C[[x_1,\ldots,x_n]]$, and $\alpha_0=0$.\ In particular $$\mathcal{N}_0^{\rm for}(f)=\mathcal{C}_0^{\rm for}(f)+\left\{\beta f;\,\beta\in\mathbb C[[x_1,\ldots,x_n]]\right\}$$ whenever $A_s$ admits only constant formal first integrals. 2. The vector field $h:=g-\beta f$ satisfies $[A_s,h]=0$. 3. There exists an invertible series $\sigma=1+\sigma_1+\cdots$ and $\alpha^*\in\mathbb C[[x_1,\ldots,x_n]]$ such that $X_{A_s}(\sigma)=0$ and $$\left[h,\,\sigma f\right]=\alpha^* \cdot \sigma f,\quad X_{A_s}(\alpha)^*= X_{C_s}(\alpha^*)=0.$$ Let $[g,\,f]=\lambda f$, with $g=g_r+\cdots$, $g_r\not=0$, and therefore $\lambda=\lambda_{r-1}+\cdots$. 1. We first prove that $A_s\not=0$ implies $\lambda_0=0$. This is trivial when $r>1$. In case $r=1$, hence $g_1=C$ linear, one has $[C,A]=\lambda_0 A$, which implies $[[C,\,A],\,A_s]=0$ and therefore $[C,\,A_s]=0$ by semisimplicity of ${\rm ad}\,A_s|_{\mathcal P_1}$. We may assume that $$A_s={\rm diag}\,(\theta_1 I_{n_1},\ldots,\theta_r I_{n_r})$$ is in block diagonal form, with pairwise different $\theta_j$, and $I_{n_j}$ denoting the $n_j\times n_j$ identity matrix. Then by Lemma \[lincommutelem\] in the Appendix one has $$A_n={\rm diag}(N_1,\ldots,N_r),\quad C={\rm diag}(C_1,\ldots,C_r)$$ with nilpotent matrices $N_j$ and matrices $C_j$ of size $n_j\times n_j$. Now the relation $[C,A]=\lambda_0A$ implies $$N_jC_j-C_jN_j=\lambda_0(\theta_jI_{n_j}+N_j),\quad i\leq j\leq r.$$ The left hand side has trace zero, therefore $\lambda_0\theta_j=0$ for all $j$. From $A_s\not=0$ one now finds $\lambda_0=0$. Application to $g-\beta f$ for any series $\beta$ shows that $\alpha_0=0$ in part (a). 2. <span>We turn to prove part $(a)$. In case $r=1$ we have already seen that $[g_1,\,A]=0$. For $r>1$ we first show that there exists $\beta_{r-1}\in S_{r-1}$ such that $$[g_r-\beta_{r-1}A,\,A]=\alpha_{r-1}A$$ with some $\alpha_{r-1}$ in the kernel of $X_{A_s}$. At degree $r$ the normalizer condition yields</span> $$[g_r,A]=\lambda_{r-1} A,$$ and thus for every homogeneous $\beta_{r-1}$ of degree $r-1$ one gets $$[g_r-\beta_{r-1}A,\,A]=(\lambda_{r-1}+X_A(\beta_{r-1}))A.$$ Since $S_k$ is the sum of the image of $X_A$ and the kernel of $X_{A_s}$ (as a consequence of Lemma \[jochlem\]), one can choose $\beta_{r-1}$ such that $\alpha_{r-1}:=\lambda_{r-1}+X_A(\beta_{r-1})\in \ker(X_{A_s})$.\ We proceed by induction on $j$ to show: If $[g,\,f]=\lambda f$, and $X_{A_s}(\lambda_{r-1})=\cdots=X_{A_s}(\lambda_{r-2+j})=0$ then there exists a homogeneous polynomial $\beta_{r-1+j}$ such that $$[g-\beta_{r-1+j} f,\,f]=\alpha f \text{ and } X_{A_s}(\alpha_{r-1})=\cdots =X_{A_s}(\alpha_{r-1+j})=0.$$ Clearly one has $\alpha_i=\lambda_i$ for $r-1\leq i\leq r-2+j$. Evaluating the normalizer condition at degree $r+j$, one finds $$\begin{array}{ll} &[g_{r+j},A]+[g_{r+j-1},f_2]+\cdots+[g_r,f_{j+1}]\\ &\quad= (\lambda_{r-1+j}+X_{A_s}(\beta_{r-1+j}))A+\alpha_{r-2+j}f_2+\cdots+\alpha_{r-1}f_j, \end{array}$$ and as before one may choose $\beta_{r-1+j}$ so that $\lambda_{r-1+j}+X_A(\beta_{r-1+j})\in \ker(X_{A_s})$. <span>Now let ${\bf m}:=\left<x_1,\ldots,x_n\right>$ be the maximal ideal of $\mathbb C[[x_1,\ldots,x_n]]$. Since any sequence $$g-\sum_{j=0}^k\beta_{r-1+j}f$$ with homogeneous $\beta_i$ of degree $i$ converges to some formal power series in the ${\bf m}$-adic topology, part $(a)$ is proven.</span> 3. We turn to part $(b)$. From $[h,\,f]=\alpha f$ and $X_{A_s}(\alpha)=0$ one obtains $$\begin{array}{rcl} 0=[A_s,\,\alpha f]&=&[A_s,\,[h,\,f]] \\ &=& -[f,\,[A_s,\,h]-[h,\,[f,\,A_s]]\\ &=&[[A_s,\,h],\,f] \end{array}$$ with the Jacobi identity and $[A_s,\,f]=0$. Now Proposition \[lincentprop\] shows that $[A_s,\,[A_s,\,h]]=0$, which implies $[A_s,\,h]=0$ with Lemma \[jochlem\]. 4. For the proof of part $(c)$, we let $h=C+h_2+\cdots$, make the ansatz $\sigma=1+\sum_{j>0}\sigma_j$, with all $X_{A_s}(\sigma_j)=0$, and evaluate $$[h,\,\sigma f]=(X_h(\sigma)+\alpha \sigma)f$$ degree by degree. Recall that $C$ and $A_s$ commute by part $(i)$, hence $X_C$ maps each $S_k^*:=\ker X_{A_s}|_{S_k}$ to itself, and $S_k^*=\ker X_{C_s}|_{S_k^*}\oplus{\rm im}\, X_C|_{S_k^*}$ for every $k$.\ At degree one we have $$X_C(\sigma_1)+\alpha_1=\alpha_1^*$$ with $\alpha_1\in S_k^*$, thus one may choose $\sigma_1\in S_k^*$ such that $\alpha_1^*\in \ker X_{C_s}|_{S_k^*}$. At degree $j>1$ we have $$\begin{array}{rc} &X_C(\sigma_j)+X_{h_2}(\sigma_{j-1})+\cdots+X_{h_j}(\sigma_1) +\alpha_1\sigma_{j-1}+\cdots +\alpha_{j-1}\sigma_1\\ & \quad =\alpha_1^*\sigma_{j-1}+\cdots +\alpha_{j-1}^*\sigma_1+\alpha_j^*, \end{array}$$ and all terms but the first on the left hand side and the last on the right hand side are automatically contained in $S_j^*$. As above, one may choose $\sigma_j\in S_j^*$ such that $\alpha_j^*\in \ker X_{C_s}|_{S_k^*}$. ** 1. The condition $g(0)=0$ does not exclude any interesting cases: When $g(0)\not=0$ then we may assume that $g$ is constant by the straightening theorem, and there remains $\partial f/\partial x_1=\lambda f$. With $\lambda \not=0$ and $f(0)=0$ this implies $f=0$. 2. To motivate the consideration of $\sigma f$ instead of $f$ in part $(c)$, note that $f$ and $\sigma f$ have the same local solution trajectories in the analytic setting; compare Proposition \[nonstatprop\](c). The following example shows that one cannot sharpen the statement $(b)$ of Theorem \[linnormthm\] in general. \[normalizerex\]<span>*Let $A=A_s\not=0$ such that there exists a nonconstant homogeneous polynomial $\phi$ with $X_A(\phi)=0$, $\gamma$ a nonconstant series in one variable with $\gamma(0)=1$ and $f=\gamma(\phi)\cdot A$. Moreover let $h(x)=Cx$ be linear such that $C$ and $A$ commute but $X_C(\phi)\not=0$. Then $$[h,f]=X_C(\gamma)\gamma^{-1}\cdot f,$$ hence $h$ lies in the normalizer of $f$ and satisfies the conclusion of part $(b)$, but $h$ does not lie in the centralizer of $f$.\ For a particular example in dimension two set $A={\rm diag}\,(1,\,-1)$, $\phi=x_1x_2$ and $C=I_2$.* </span> <span>PDNF in coordinate version</span> --------------------------------------- So far we worked with the coordinate-independent characterization of Poincaré-Dulac normal forms. In order to discuss the detailed structure of ${\mathcal C}_0^{\rm for}(A_s)$ and to distinguish various cases, we now employ eigencoordinates. Thus, from now on we assume that $$\label{diagmat} A_s={\rm diag}\,(\lambda_1,\ldots,\lambda_n)\text{ with } \lambda_1,\ldots,\lambda_n\in\mathbb C,$$ with no loss of generality. We recall the coordinate-dependent characterization of PDNF: \[resonancelem\] Let $A_s$ be given as in . Then a power series lies in ${\mathcal C}_0^{\rm for}(A_s)$ if and only if it can be written as a series in vector monomials $x_1^{m_1}\cdots x_n^{m_n}e_j$ which satisfy the <span>*resonance condition*</span> $$\label{resonance} \left<m,\lambda\right>-\lambda_j=0.$$ Here we employ the familiar abbreviations $\left<m,\lambda\right>=\sum m_i\lambda_i$, and we will also later on use $|m|=\sum m_i$, for any row $(m_1,\ldots,m_n)$ with nonnegative integer entries.\ For the remainder of the paper we make the following\ <span>**Blanket assumptions.**</span> - We always let $A_s$ be as in . - For $f=A_s+\cdots$ in PDNF we stipulate that $A_n$ is strictly upper triangular. <span>*The second blanket condition poses no restriction (since it may always be achieved by a linear transformation) but it ensures that all the $\widetilde f=A_n+\sum f_j$ such that $f=A_s+\widetilde f$ is in PDNF form a vector space. (This would not be the case otherwise). Given a positive integer $m$, the finite dimensional vector space of all such polynomial vector fields $\widetilde f=A_n+\sum_{i=2}^m f_j$ of degree $\leq m$ is sometimes identified with the space of its coefficients.* </span> For further analysis we introduce a distinction regarding the dimension of the centralizer of $A_s$. We recall from @Wa91, specifically Corollary 1.7: \[fireslem\] Let $A_s$ be as in . The dimension of $\mathcal {C}^{\rm for}(A_s)$ $($as well as that of $\mathcal {C}(A_s)$$)$ is infinite if and only if: $$\label{fires} \text{There are integers } d_1,\ldots,\,d_n\geq 0 \text{ such that }\left<d,\,\lambda\right>=0 \text{ and } |d|>0.$$ Equivalently, there exist nonnegative integers $d_i$ such that $|d|>0$ and the monomial $\phi:=x_1^{d_1}\cdots x_n^{d_n}$ is a first integral of $\dot x= A_sx$. In turn, this property is equivalent to the existence of some nonconstant formal first integral of $\dot x=A_sx$. <span>Finally this property is equivalent to the existence of some nonconstant formal first integral of $\dot x=Ax$.</span> Below we will prove some "generic" results for vector fields in Poincaré-Dulac normal form, given $A_s$ such that nontrivial vector fields in PDNF exist. We need to define specific notions of genericity. \[nfspecs\] <span> *We say that a condition for PDNF with given $A_s$ as above <span>*holds Z-generically*</span> if there exists a positive integer $m$ such that the condition holds for a Zariski open and dense subset of all polynomial vector fields $\widetilde f=A_n+\sum_{i=2}^m f_j$ with $f=A_s+\widetilde f$ in PDNF.* </span> For further investigations it seems appropriate to classify normal forms according to properties of the eigenvalues of $A_s$. The following is known from @Wa91: \[nofodecomposeprop\] There exists a direct sum decomposition $\mathbb C^n=U\oplus W$ with $A_s$-invariant (possibly trivial) subspaces $U$ and $W$. The subspace $W$ is by definition the largest $A_s$-invariant subspace on which every polynomial first integral of $\dot x=A_sx$ is constant, and one obtains for $x=u+w\in U \oplus W$ a decomposition $$\label{nofodecompose} \begin{array}{rcl} \dot u&=&g(u)\\ \dot w&=&h(u,w). \end{array}$$ Moreover, by Lemma \[fireslem\] the dimension of $\mathcal {C}^{\rm for}(A_s)$ is finite if and only if $\mathbb C^n=W$. This is the first case we will discuss. Later on we will consider the case $W=\{0\}$. Finite dimensional centralizer of $A_s$ {#findimsec} ======================================= We will obtain a rather clear and complete picture in the case when ${\mathcal C}^{\rm for}(A_s)$ has finite dimension, thus ${\mathcal C}^{\rm for}(f)$ necessarily has finite dimension by Proposition \[lincentprop\]. We mostly consider the formal setting but will discuss convergence in some instances. We first note an immediate consequence of Theorem \[linnormthm\] and Lemma \[fireslem\]. \[findimcentnorm\] Whenever $\dim \,{\mathcal C}^{\rm for}(A_s)<\infty$ then $${\mathcal N}^{\rm for}(f)={\mathcal C}^{\rm for}(f)+\left\{\beta f;\,\beta \in \mathbb C[[x_1,\ldots,x_n]]\right\}$$ for any $f=A+\cdots$ in PDNF. There remains to investigate the centralizer. For the sake of a transparent exposition, we take a step-by-step approach to the characterization of centralizers. We dispose in advance of the simplest case, which is characterized by the property that every PDNF is necessarily trivial. \[simplecase\] For $f$ in PDNF, with $A_s$ as in , assume that $\lambda_1,\ldots,\lambda_n$ are pairwise different and there exists no resonance condition with $|m|>1$. Then: 1. One has $f=A_s$ and ${\mathcal C}_0^{\rm for}(f)$ <span>is an abelian Lie algebra of</span> dimension $n$. 2. The centralizer elements are precisely the linear vector fields given by diagonal matrices. By Lemma \[resonancelem\] the PDNF is just $A=A_s$, and the only vector monomials commuting with $A_s$ are the $x_je_j$. In the setting of Proposition \[simplecase\] we will also discuss convergence (which is not automatic even in this case). Before stating the result we remind the reader of a condition for the existence of a convergent normal form transformation.\ <span>*<span>**Condition Omega**</span> (see Bruno @Br89): For every positive integer $k$ let $$\omega_k:=\min\left\{|\left<m,\lambda\right>-\lambda_j|;\,|\left<m,\lambda\right>-\lambda_j|\not=0,\, 1\leq j\leq n,\,|m|\leq 2^k\right\}.$$ We say that <span>*Condition Omega*</span> is satisfied if and only if $\sum2^{-k}\log\omega_k$ converges.* </span> ** (a) In the setting of Proposition \[simplecase\] Condition Omega is sufficient for the existence of a convergent normalizing transformation. (b) Condition Omega holds in particular when the eigenvalues of $A$ are in a <span>*Poincaré domain*</span>, thus all $\lambda_i$ are one side of a suitable line through $0$ in the complex plane. In that case the centralizer of $A_s$ is necessarily finite dimensional, and there exists a convergent normalizing transformation even if there are relations $\left<m,\,\lambda\right>=0$ with $|m|>1$. \[simpleomega\]Let $f=A+\cdots$ be a local analytic vector field. 1. If $\lambda_1,\ldots,\lambda_n$ are pairwise different and admit no resonance condition with $|m|>1$, then $\dim\,{\mathcal C}_0(f)\leq n$. 2. <span> If in addition the eigenvalues of $A$ satisfy Condition Omega then $${\mathcal N}_0(f) ={\mathcal C}_0(f)+\left\{\beta\cdot f;\,\beta \text{ analytic in }0\right\}.$$ </span> 3. If ${\mathcal C}_0(f)$ contains an element of the form $$g(x)={\rm diag}\,\left(\mu_1,\ldots,\mu_n\right)\,x+\cdots$$ such that the $\mu_i$'s are pairwise different, admit no resonance with $|m|\geq 2$, and satisfy Bruno's Condition $\omega$, then $\dim\,{\mathcal C}_0(f)= n$. Part $(a)$ is a direct consequence of Proposition \[simplecase\]. We prove part $(b)$.<span> With Condition Omega there exists a convergent transformation of $f$ to normal form, hence we may assume that $f=A=A_s$. Given $g$ such that $[g,\,f]=\lambda f$ for some analytic $\lambda$. Then $$[g-\beta A,\,A]=\left(\lambda-X_A(\beta)\right)\,A$$ and the assertion follows if there exists a convergent power series $\beta$ such that $X_A(\beta)=\lambda$. Writing $\lambda=\sum_{i\geq 1}\lambda_i$, the ansatz $\beta=\sum\beta_i$ yields the necessary and sufficient conditions $$X_A(\beta_j)=\lambda_j,\quad j\geq 1.$$ Now the eigenvalues of $X_A|_{S_j}$ are just the $\left<m,\,\lambda\right>$ with $|m|=j$, and Condition Omega bounds the growth of the $\left<m,\,\lambda\right>^{-1}$, hence the growth of the operator norm of $(X_A|_{S_j})^{-1}$, with $j$. Therefore $\beta$ has a nonempty domain of convergence if $ \lambda$ has.\ Part (c) follows from @Wa00b, Addendum to Theorem 1.</span> We note an implication for the global centralizer of an analytic vector field. \[simplecasecor\] Let $f$ be analytic on an open and connected $U\subseteq\mathbb C^n$, and assume that $f$ admits a stationary point $y$ such that the eigenvalues of $Df(y)$ satisfy the hypothesis of Proposition \[simplecase\]. Then ${\mathcal C}_U(f)$ is abelian of dimension $\leq n$. As a first step beyond the setting of Proposition \[simplecase\] we characterize the linear elements in the centralizer of $A$. Ordering possible multiple eigenvalues consecutively, we may assume that $$\label{linsemi} A_s=\left(\begin{array}{cccc} \mu_1I_{n_1} & 0 & 0 & 0 \\ 0 & \mu_2I_{n_2} & 0 & 0 \\ 0 & 0 & \ddots & 0 \\ 0 & 0 & 0 & \mu_\kappa I_{n_\kappa} \\ \end{array}\right) ,$$ where (generally) $I_{r}$ denotes the unit matrix of order $r$, and the $\mu_i$'s are pairwise different. By the blanket assumption we have $$\label{linstuff} A=\left(\begin{array}{cccc} \mu_1I_{n_1}+N_1 & 0 & 0 & 0 \\ 0 & \mu_2I_{n_2}+N_2 & 0 & 0 \\ 0 & 0 & \ddots & 0 \\ 0 & 0 & 0 & \mu_\kappa I_{n_\kappa} +N_\kappa \\ \end{array}\right)$$ with strict upper triangular matrices $N_i$. Any matrix commuting with $A$ is of block diagonal form with blocks $C_i$ of size $n_i\times n_i$ respectively, and $C_i$ commuting with $N_i$. From Lemma \[lincommutelem\] in the Appendix we obtain: \[lincentlem\] Let $d$ be the dimension of the space of all linear vector fields commuting with . Then $$n\leq d\leq n_1^2+\cdots+n_\kappa^2.$$ If all the $N_i$ have maximal rank then $d=n$; if all $N_i=0$ then $d=n_1^2+\cdots+n_\kappa^2$. We now determine bounds for the dimension of the centralizer ${\mathcal C}^{\rm for}(f)$ with $f$ in PDNF. Set $$\mathcal R:=\bigcup\limits_{j=1}\limits^n\mathcal R_{j}, \quad \mathcal R_{j}:=\{m\in\mathbb Z_+;\ \ \langle m, \lambda\rangle=\lambda_j, \ |m|\ge 2\},$$ and let $\mathfrak r$ be the number of elements in $\mathcal R$. \[finitedimT1\] Let $A_s$ be as in , $d$ as in Lemma \[lincentlem\], and $\dim\,{\mathcal C}^{\rm for}(A_s)<\infty$, hence ${\mathfrak r}<\infty$. Then for any vector field $$f(x)=Ax+p(x)$$ in PDNF one has $d\le\dim\, {\mathcal C}^{\rm for}(f)\le d+\mathfrak r$. In particular $\dim\, {\mathcal C}^{\rm for}(f)\geq n$. Proposition \[simplecase\] takes care of the case $\mathfrak r=0$, therefore we may assume that $\mathfrak r>0$. <span>Moreover we may assume that $A$ is in Jordan canonical form.</span> Since the vector field is in PDNF, by the definition of $\mathcal R_j$ we have $$\label{paux} p(x)=\sum\limits_{j=1}\limits^n\left(\sum\limits_{m_j\in\mathcal R_{j}} p_{m_j} x^{m_j}\right) e_j$$ with $m_j=(m_{j1},\ldots,\,m_{jn})$, $p_{m_j}\in \mathbb C$ (possibly zero) and $e_j$ denoting the $j$th unit vector. Let $g\in{\mathcal C}^{\rm for}(f)$, and write $g(x)=Bx+q(x)$, with $B$ linear and $q$ collecting the higher order terms. By Proposition \[lincentprop\] we have $[B,A_s]=0$, and $$\label{qaux} q(x)=\sum\limits_{j=1}\limits^n\left(\sum\limits_{\ell_j\in\mathcal R_{j}} q_{\ell_j} x^{\ell_j}\right) e_j$$ is a linear combination of resonant monomials. Now $[g,\,f]=0$ is equivalent to $$[B,A_n]+[B,p]+[q,A_n]+[q,p]=0,$$ and by separating linear from higher order terms this is equivalent to $$[B,A_n]=0 \text{ and }[B,p]+[q,A_n]+[q,p]=0.$$ In particular we have $[B,A]=0$, and with linearly independent $C_1,\ldots,C_d$ that span the space of linear vector fields commuting with $A$ we get ${ B}=\sum { b_i}C_i$ with suitable scalars $b_i$. There remains $$[B,p]+[q,A_n]+[q,p]=0.$$ <span> Proceeding, we let $\rho_i\subseteq\{1,\ldots,n\}$ denote the set of indices for which the corresponding rows of $C_i$ do not vanish, $i=1,\ldots,d$. Then we have $$[B,p]=\sum_{i=1}^n b_i [C_i,p]=\sum_{j=1}^n\left(\sum\limits_{s\in (\rho_i \ni j)}\sum\limits_{m_s\in \mathcal R_{s}} p_{m_s}\sigma_{j,m_s}(b_1,\ldots,b_n) x^{m_s} \right) e_j$$ by evaluation of the brackets, with linear homogeneous forms $\sigma_{j,m_s}$ (possibly zero) whose coefficients depend only on the entries of the $C_i$ and the exponents $\ell_j$ of $x^{\ell_j}$ appearing in $p(x)$. (Here the notation ${s\in (\rho_i \ni j)}$ means that $s$ runs over all $\rho_i$ that contain $j$.)</span> Moreover we have $$[q,p]= \sum_{j=1}^n \sum\limits_{m_j\in\mathcal R_{j}} \left(p_{m_j}q_{\ell_i}-q_{m_j}p_{\ell_i}\right)m_{ji}x^{m_j+\ell_i-e_i}e_j.$$ <span> Finally, by an argument similar to the one used for $[B,p]$ we find $$[q,A_n]=\sum_{j=1}^n\left(\sum_{m_k\in{\mathcal R}_j}a_{j,k}\tau_{j,\,m_k}\bigl((q_{m_\ell})_{m_\ell\in\mathcal R}\bigr)x^{m_k}\right)e_j$$ with $a_{j,k}\in\{0,1\}$ and linear homogeneous forms $\tau_{j,m_k}$ whose coefficients depend only on the exponents $\ell_j$ of $x^{\ell_j}$ that may appear in $q$, which are known. (Recall that the nilpotent part $A_n$ of $A$ is in Jordan canonical form.)</span> To summarize, we have a system of homogeneous linear equations for the $b_i$'s and the $q_{m_j}$'s. Since the number $r$ of the resonant monomials appearing with nonzero coefficient in $[B,p]+[q,A_n]+[q,p]$ is at most equal to $\mathfrak r$, it follows that $[g,f]=0$ if and only if the coefficients $b_{i}$'s and $q_{m_j}$'s of $g$ satisfy $r$ linear homogeneous equations. The coefficient matrix of this linear homogeneous equation system has size $r\times (d+\mathfrak r)$ and if its rank equals $r^*\le r$, then the system has exactly $d+\mathfrak r-r^*\ge d+\mathfrak r-r\ge d$ linearly independent solutions. These linearly independent solutions correspond to a basis of ${\mathcal C}^{\rm for}(f)$. Consequently $d+\mathfrak r\geq \mbox{\rm dim}\,{\mathcal C}^{\rm for}(f)=d+\mathfrak r-r^*\ge d$. Note that the upper bound for the dimension can be attained only in the case that all $p_{m_j}=0$, i.e. $p(x)\equiv 0$. The result for the PDNF implies properties of general vector fields. Let $h(x) = Bx +\sum_{j\geq 2} h_j(x)\in \mathbb C[[x_1,\ldots,x_n]]^n$ be a formal vector field such that ${\mathcal C}^{\rm for}(B_s)$ is finite dimensional, and $B$ conjugate to $A$ as in . Then $${\rm dim}\,{\mathcal C}^{\rm for}(h)\geq d\geq n,$$ with $d$ as in Lemma \[lincentlem\]. <span>*Since there exist nontrivial lower bounds for $\dim\, {\mathcal C}^{\rm for}(f)$ which depend only on the space dimension $n$, it is natural to ask about upper bounds. The following example shows that there cannot exist an upper bound depending only on $n$ whenever $n>2$.* </span> \[eg2\] ** 1. We first consider an example in dimension three. Let $q$ be a positive integer and set $$A=A_s={\rm diag}\,\left(12q,\,3,\,2\right).$$ Evaluating the resonance conditions one has $12 q m_1+3 m_2+2m_3=2$ for the third entry, with the only solution $(0,0,1)$, and similarly $12 q m_1+3 m_2+2m_3=3$ for the second entry, with the only solution $(0,1,0)$. Nontrivial solutions appear only in the resonance condition for the first entry, which is $12q m_1+3m_2+2m_3=12q$, and they are of the form $$\left(0,\,4q-2k,\,3k\right),\quad 0\leq k\leq 2q.$$ Therefore every PDNF has the form $$\label{eg2e1} f=A_s+\sum_{k=0}^{2q}\alpha_kp_k,\quad \text{with }p_k(x)=\begin{pmatrix}x_2^{4q-2k}x_3^{3k}\\0\\0\end{pmatrix}.$$ The $p_i$'s commute with $A_s$ by construction, and they commute pairwise since the first column of the Jacobian of any $p_i$ is zero, hence $Dp_i(x)p_j(x)=0$ for all $i$ and $j$. Obviously $A_s$ and the $p_i$ form a linearly independent system, and they are all contained in the formal centralizer of the vector field . This shows $\dim\,{\mathcal C}^{\rm for}(f)\geq 2q+2$.\ Note that $f$ admits the meromorphic first integral $\rho:=x_2^2/x_3^3$. 2. In dimension $n>3$ let $\mu_1,\ldots,\mu_{n-3}$ be such that $1, \,\mu_1,\ldots,\mu_{n-3}$ are linearly independent over the rationals $\mathbb Q$, and set $$A=A_s={\rm diag}\,\left(12q,\,3,\,2,\,\mu_1,\,\ldots,\mu_{n-3}\right).$$ Then, slightly modifying the arguments above, one obtains the same estimate $\dim\,{\mathcal C}^{\rm for}(f)\geq 2q+2$, since no further nontrivial resonance conditions appear. The next example illustrates that every centralizer dimension between the lower and upper estimate in Theorem \[finitedimT1\] may be attained. \[eg3\] *We specialize Example \[eg2\] $(a)$ by setting $$A_s={\rm diag}\,\left(12,\,6,\,3\right).$$ Then every PDNF has the form $$\label{eg3e1} f=A_sx+p(x), \quad p(x)=\alpha_1 p_1+\alpha_2p_2+\alpha_3p_3+\alpha_4p_4,$$ with $$p_1(x)= x_2^2 e_1,\quad p_2(x)= x_2 x_3^2 e_1,\quad p_3(x)= x_3^4 e_1,\quad p_4(x)= x_3^2 e_2.$$ This system has always the elementary first integral $H=x_2x_3^{-2}-\dfrac{\alpha_4}{3}\log x_3$.* For $g=B+q(x)\in{\mathcal C}^{\rm for}(f)$, then $B=\mbox{\rm diag}(b_{11},b_{22},b_{33})$ and $$q(x)=\beta_1x_2^2 e_1 +\beta_2 x_2 x_3^2 e_1 + \beta_3 x_3^4 e_1 +\beta_4 x_3^2 e_2.$$ We now need to determine the seven coefficients $c=(b_{11}, b_{22}, b_{33}, \beta_1, \beta_2, \beta_3, \beta_4)$ such that $[g,f]=0$, which is equivalent to $[B,p]+[q,p]=0$. Since $$\begin{aligned} [B,p]&=\left(\begin{array}{c} (2b_{22}-b_{11}) \alpha_1 x_2^2+(b_{22}+2b_{33}-b_{11})\alpha_2 x_2x_3^2+(4b_{33}-b_{11})\alpha_3 x_3^4\\ (2b_{33}-b_{22})\alpha_4 x_3^2\\ 0 \end{array}\right),\\ [q,p]&=\left(\begin{array}{c} 2( \alpha_1\beta_4-\alpha_4\beta_1)x_2x_3^2+(\alpha_2\beta_4-\alpha_4\beta_2)x_3^4\\ 0\\ 0 \end{array}\right),\end{aligned}$$ one gets $$\label{eg3e} \left(\begin{array}{ccccccc} -\alpha_1 & 2 \alpha_1 & 0 & 0 & 0 & 0 & 0 \\ -\alpha_2 & \alpha_2 & 2\alpha_2 & -2\alpha_4 & 0 & 0 & 2 \alpha_1 \\ -\alpha_3 & 0 & 4\alpha_3 & 0 & -\alpha_4 & 0 & \alpha_2\\ 0 & -\alpha_4 & 2 \alpha_4 & 0 & 0 & 0 & 0 \end{array}\right) c^\tau =0.$$ The coefficient matrix of equation has rank $4$ generically, and also rank $3$ or $2$ or $1$ or $0$ for suitable choice of the entries in this matrix. In fact, by solving equations in the $b_{ii}$'s and $\beta_j$'s we can reach the next conclusions: - If $\alpha_1,\ \alpha_4\ne 0$, then $b_{11}=2b_{22}, \ b_{33}=\dfrac 12 b_{22}$, $\beta_1=\dfrac{\alpha_1}{\alpha_4}\beta_4,\ \beta_2=\dfrac{\alpha_2}{\alpha_4}\beta_4$, and consequently $\mbox{\rm dim}\,{\mathcal C}^{\rm for}(f)=3$. - If $\alpha_1=0, \ \alpha_4\ne 0$, then $b_{22}=2b_{33}$, $\beta_1=\dfrac{\alpha_2}{2\alpha_4}(4b_{33}-b_{11}),\ \beta_2=\dfrac{\alpha_3}{\alpha_4}(4b_{33}-b_{11})+\dfrac{\alpha_2}{\alpha_4}\beta_4$, and consequently $\mbox{\rm dim}\,{\mathcal C}^{\rm for}(f)=4$. - If $\alpha_1\ne 0, \ \alpha_4= 0$, then $b_{11}=2b_{22}$. Furthermore - if $2\alpha_1\alpha_3-\alpha_2^2\ne 0$, then $b_{33}=\dfrac 12 b_{22}$ and $\beta_4=0$, and consequently $\mbox{\rm dim}\,{\mathcal C}^{\rm for}(f)=4$; - if $2\alpha_1\alpha_3-\alpha_2^2= 0$, then $\beta_4=-\dfrac{\alpha_2}{2\alpha_1}(2b_{33}-b_{22})$, and consequently $\mbox{\rm dim}\,{\mathcal C}^{\rm for}(f)=5$. - For $\alpha_1= 0, \ \alpha_4= 0$, - if $\alpha_2 \ne 0$, then $b_{11}= b_{22}+2b_{33}$ and $\beta_4=-\dfrac{\alpha_3}{\alpha_2}(2b_{33}-b_{22})$, and consequently ${\rm dim}\,{\mathcal C}^{\rm for}(f)=5$; - if $\alpha_2 = 0$ and $\alpha_3\ne 0$ then $b_{11}= 4b_{33}$, and consequently ${\rm dim}\,{\mathcal C}^{\rm for}(f)=6$; - if $\alpha_2 = 0$ and $\alpha_3= 0$, the dimension is the maximum one, i.e. ${\rm dim}\,{\mathcal C}^{\rm for}(f)=7$. Next we give an improved estimate for the case when $A=A_s$ as given by has multiple eigenvalues. Before stating the result, we introduce the notation $${\mathcal R}^*_k:={\mathcal R}_j \text{ when }\mu_k=\lambda_j, \, {\mathfrak r^*}_k:=\#{\mathcal R}^*_k,\quad1\leq k\leq \kappa.$$ Recall that all ${\mathfrak r^*_k}$ are finite since ${\mathcal C}^{\rm for}(A_s)$ is finite dimensional. \[finitedimT2\] Let $A=A_s$ be given by , and $f=A_s+\cdots$ in PDNF. Then $$n_1^2+\ldots+n_{\kappa}^2\le \mbox{\rm dim}\,{\mathcal C}^{\rm for}(f)\le n_1(n_1+\mathfrak r_1^*)+\ldots+n_\kappa(n_\kappa+ \mathfrak r_\kappa^*).$$ The arguments are similar to those in the proof of Theorem \[finitedimT1\]; here we indicate only the differing parts. Under our assumption the total number of nonlinear resonant monomials equals $\mathfrak E_r:= n_1 \mathfrak r_1^* +\ldots+n_\kappa \mathfrak r_\kappa^*$. We also define $\mathfrak L_c:=n_1^2+\ldots+n_\kappa^2$. For $g(x)=Bx+q(x)\in {\mathcal C}^{\rm for}(f)$ with $q(x)$ a linear combination of nonlinear resonant monomials, Lemma \[lincommutelem\] shows that $$B=\mbox{\rm diag}(B_1,\ldots,B_\kappa)$$ with $B_j$ being an arbitrary $n_j\times n_j$ matrix, $j=1,\ldots,\kappa$. Furthermore, $[g,f]=0$ if and only if $[B,p]+[q,p]=0$. The latter is equivalent to a system of at most $\mathfrak E_r$ linear homogeneous equations for $\mathfrak E_r+\mathfrak L_c$ unknowns, which are the entries of the $B_j$'s and the coefficients of the monomials appearing in $q(x)$. By construction, the coefficients of this system of linear homogeneous equations are linear homogeneous functions in the coefficients of $p(x)$. So if $p(x)\equiv 0$ then $\mbox{\rm dim}\,{\mathcal C}^{\rm for}(f)$ attains the maximal possible value $\mathfrak E_r+\mathfrak L_c$. The lower estimate was already shown in Theorem \[finitedimT1\]. This completes the proof of the theorem. We present an application of Theorem \[finitedimT2\]. \[eg4\] ** *Let $A_s=\mbox{\rm diag}(12,12,6,6,6,3)$. The nonlinear term of a vector field $f=A_sx+p(x)$ in PDNF is of the form $$p(x)=\left( p_1(x), \ p_2(x), \ p_{31} x_6^2, \ p_{41} x_6^2, \ p_{51} x_6^2,\ 0 \right)^\tau$$ with $p_j(x)=p_{j1}x_3^2+p_{j2}x_4^2+p_{j3}x_5^2+p_{j4}x_3x_4+p_{j5}x_3x_5+p_{j6}x_4x_5+p_{j7}x_3x_6^2+p_{j8}x_4x_6^2+p_{j9}x_5x_6^2+p_{j10} x_6^4$, $j=1,2$, thus we have $23$ resonant monomials. For $g(x)=Bx+q(x)\in {\mathcal C}^{\rm for}(f)$, with $$B=\mbox{\rm diag}\,(B_1,B_2,b_{66}),\quad B_1=\left(\begin{array}{cc} b_{11} & b_{12}\\ b_{21} & b_{22} \end{array}\right), \ \ B_2=\left(\begin{array}{ccc} b_{33} & b_{34} & b_{35}\\ b_{43} & b_{44} & b_{45}\\ b_{53} & b_{54} & b_{55} \end{array}\right),$$ and $q(x)=\left(q_1(x),\ q_2(x),\ q_{31} x_6^2,\ q_{41} x_6^2, \ q_{51} x_6^2,\ 0 \right)^{\tau}$ with $q_i$ being a linear combination of the same monomials as $p$ with coefficients $q_{jk}$ instead of $p_{jk}$, $j=1,\,2$.* Now $0=[g,f]=[B+q,p]$ is equivalent to the vanishing of all coefficients of the $23$ resonant monomials in $[B+q,p]$. This yields a system of $23$ linear homogeneous equations $($whose expressions are quite bulky and are omitted here$)$ for $37$ unknowns. By Theorem \[finitedimT2\], in this case $14\le \mbox{\rm dim}\,{\mathcal C}^{\rm for}(f)\le 37$. Combining the arguments in the proofs of the last two theorems, we arrive at the following improvement of Theorem \[finitedimT1\]. We do not carry out the details of the proof. \[finitedimcor\] Let $A$ be given by , $A$ not diagonal, such that all $N_i$ have maximal rank. Then $$d \le \mbox{\rm dim}\,{\mathcal C}^{\rm for}(f)\le n+ n_1 \mathfrak r_1 +\ldots+n_\kappa \mathfrak r_\kappa.$$ <span>*Note that $[q,A]=[q,A_n]$ is in general not zero for nonlinear $q$ in the centralizer of $A_s$. Therefore, even when $p(x)\equiv 0$, the space of the elements in the centralizer with order greater than one has dimension less than $n_1 \mathfrak r_1 +\ldots+n_\kappa \mathfrak r_\kappa$, since $ [q,A_n]=0$ appears as an additional condition. In the next example, we illustrate that the lower bound in Theorem \[finitedimT1\] can be reached, $[q,A_n]\ne 0$, and the optimal upper bound is less than that given in Corollary \[finitedimcor\].* </span> \[eg4\] *Consider $f=A+p$ in PDNF with $$A=\left(\begin{array}{cccccc} 3 & 1 & 0 & 0 & 0 & 0\\ 0 & 3 & 1 & 0 & 0 & 0\\ 0 & 0 & 3 & 0 & 0 & 0\\ 0 & 0 & 0 & 2 & 1 & 0\\ 0 & 0 & 0 & 0 & 2 & 0\\ 0 & 0 & 0 & 0 & 0 & 1 \end{array}\right),$$ then $p(x)$ is in general of the form $$p(x)=\left(\begin{array}{c} a_1x_4x_6+a_2 x_5x_6+a_3 x_6^3\\ a_4x_4x_6+a_5 x_5x_6+a_6 x_6^3\\ a_7x_4x_6+a_8 x_5x_6+a_9 x_6^3\\ a_{10} x_6^2\\ a_{11} x_6^2\\ 0 \end{array}\right).$$ For $g=B+q\in {\mathcal C}^{\rm for}(f)$, then one has $$B=\left(\begin{array}{cccccc} \alpha_1 & \alpha_2 & \alpha_3 & 0 & 0 & 0\\ 0 & \alpha_1 & \alpha_2 & 0 & 0 & 0\\ 0 & 0 & \alpha_1 & 0 & 0 & 0\\ 0 & 0 & 0 & \alpha_4 & \alpha_5 & 0\\ 0 & 0 & 0 & 0 & \alpha_4 & 0\\ 0 & 0 & 0 & 0 & 0 & \alpha_6 \end{array}\right),$$ and $q(x)$ in general has the same form as $p(x)$ replacing $a_j$'s by $b_j$'s.* Direct calculations show that $$[q,A_n]=\left(\begin{array}{c} b_4 x_4 x_6 -( b_1 - b_5) x_5 x_6 + b_6 x_6^3\\ b_7 x_4 x_6 - (b_4 - b_8) x_5 x_6 + b_9 x_6^3\\ -b_7 x_5 x_6\\ b_{11} x_6^2\\ 0 \\ 0 \end{array}\right),$$ which consists of resonant monomials, but does not vanish in general. Solving $$\label{eg4e} 0=[g,f]=[B,p]+[q,A]+[q,p]=[B,p]+[q,A_n]+[q,p]$$ for generic $a_i$'s yields $$B=\left(\begin{array}{cccccc} 3 c_4/2 & c_2 & c_3 & 0 & 0 & 0\\ 0 & 3 c_4/2 & c_2 & 0 & 0 & 0\\ 0 & 0 & 3 c_4/2 & 0 & 0 & 0\\ 0 & 0 & 0 & c_4 & c_2 & 0\\ 0 & 0 & 0 & 0 & c_4 & 0\\ 0 & 0 & 0 & 0 & 0 & c_4/2 \end{array}\right),$$ $$q(x)=\left(\begin{array}{c} b_1 x_4 x_6 + b_2 x_5 x_6 + b_3 x_6^3\\ (a_4 c_2 + a_7 c_3) x_4 x_6 + (b_1 - a_1 c_2 + a_5 c_2 + a_8 c_3) x_5 x_6 \\ + (a_6 c_2 + a_{10} (b_1 - a_1 c_2) + a_9 c_3 + a_{11} (b_2 - a_2 c_2 - a_1 c_3)) x_6^3\\ a_7 c_2 x_4 x_6 + (a_8 c_2 + a_7 c_3) x_5 x_6 \\ + (a_9 c_2 + a_{10} a_7 c_3 + a_{11} (b_1 - a_1 c_2 - a_4 c_3 + a_8 c_3)) x_6^3\\ (a_{10} c_2 + a_{11} c_3) x_6^2 \\ a_{11} c_2 x_6^2\\ 0 \end{array}\right).$$ In this case $\mbox{\rm dim}\,{\mathcal C}^{\rm for}(f)=6$, the minimum estimate given in Corollary \[finitedimcor\]. Solving with $a_i=0$ for all $i$ yields $$q(x)=\left(\begin{array}{c} b_1 x_4 x_6 + b_2 x_5 x_6 + b_3 x_6^3\\ b_1 x_5 x_6\\ 0 \\ b_{10} x_6^2\\ 0\\ 0 \end{array}\right),$$ and $B$ as it is in the general form. This illustrates that the maximum dimension of centralizers ${\mathcal C}^{\rm for}(f)$ of the PDNF systems $f$ with the given $A$ is $6+4=10$, which is much smaller than the upper estimate $6+(3\times 3+2\times 1)=17$ from Corollary \[finitedimcor\]. To finish this section we return to the local analytic case. \[PDc\] Let the eigenvalues of $A$ be in a Poincaré domain. Then ${\mathcal C}_0^{\rm for}(f)$ is finite dimensional, and agrees with the analytic centralizer ${\mathcal C}_0(f)$. Moreover $${\mathcal N}_0(f)={\mathcal C}_0(f)+\left\{\beta\,f;\,\beta\text{ analytic in }0\right\}.$$ Since the eigenvalues lie in a Poincaré domain, there exists a convergent transformation to normal form. The formal centralizer of the normal form consists of polynomials, hence only of analytic vector fields. Therefore the analytic and the formal centralizer of $f$ are equal. Now Theorem \[linnormthm\] $(a)$ and the proof of Proposition \[simpleomega\] $(b)$ show the assertion about the normalizer. Infinite dimensional centralizer of $A_s$ {#infidimsec} ========================================= For the case of an infinite dimensional centralizer of $A_s$ it seems considerably harder to characterize the centralizer of $f=A+\cdots$ in PDNF. We obtain partial results in the general case and obtain a rather precise description in an algebraically distinguished setting (see subsection \[subsec42\]). A further discussion will appear in future work. <span>General structure</span> ------------------------------ By Lemma \[fireslem\] there exists a nonconstant first integral $x_1^{d_1}\cdots x_n^{d_n}$ for $\dot x= A_sx$, and we will make use of this property in the following. On some occasions we replace by a stronger assumption, viz. $$\label{fullfires} \text{There exist integers }d_1>0,\ldots,d_n>0\text{ such that } \sum d_i\lambda_i=0.$$ Using the terminology from Proposition \[nofodecomposeprop\], this assumption is equivalent to $W=\{0\}$.\ First we record an immediate consequence of Example \[normalizerex\]. <span>*When the centralizer of $A_s$ has infinite dimension then there exist vector fields $f=A_s+\cdots$ in PDNF such that $${\mathcal C}^{\rm for}(f)+\{\beta f; \,\beta \in\mathbb C[[x_1,\ldots,x_n]]\} \subsetneqq {\mathcal N}^{\rm for}(f).$$* </span> In the following we will focus on the centralizer. Nontrivial first integrals of $A_s$ enable reduction by invariants, and we recall some known facts here for the reader's convenience. We first rephrase @Wa91, Proposition 1.6: \[torfinlem\] Let $B\in \mathbb C^{n\times n}$ be semisimple. Then the following hold. 1. The algebra $$I(B):=\left\{\phi\in\mathbb C[x_1,\ldots,x_n];\,X_B(\phi)=0\right\}$$ is finitely generated. 2. For every $\alpha\in\mathbb C$ the $I(B)$-module $$I_\alpha(B):=\left\{\psi\in\mathbb C[x_1,\ldots,x_n];\,X_B(\psi)= \alpha\psi\right\}$$ is finitely generated. 3. The $I(B)$-module $$\mathcal{C}^{\rm pol}(B):=\left\{g\in\mathbb C[x_1,\ldots,x_n]^n;\,[B,\,g]=0\right\}$$ is finitely generated. \[torfinrem\] *We recall a few more facts about these structures, assuming that the semisimple linear map $B$ is in diagonal form with eigenvalues $\mu_1,\ldots,\mu_n$.* 1. $I(B)$ is spanned over $\mathbb C$ by all monomials $x^m$ with $ \langle m,\mu\rangle=0,\ \ m\in\mathbb Z_+^n,\, |m|\ge 1$, where $\mu$ is the $n$–tuple of eigenvalues of $B$. There exists a system of algebra generators of $I(B)$ that consists of monomials, but in general there will exist no algebraically independent system (equivalently, functionally independent system, as can be seen from Shafarevich @Sha) of algebra generators for $I(B)$. To determine a minimal generator set, one may (and in general has to) resort to methods from algorithmic algebra; in particular Dickson's lemma and Groebner bases are useful here $($see Cox et al. @CLOS$)$. 2. As a vector space over $\mathbb C$, $I_\alpha(B)$ is spanned by all monomials $x^k$ with $k\in\mathbb Z_+^n$ and $\left<k,\,\mu\right>=\alpha$. 3. The module ${\mathcal C}^{\rm pol}(B)$ spanned as a $\mathbb C$-vector space by all $x^\ell e_j$ with $x^\ell\in I_{\lambda_j}(B)$, and in particular contains every $Q_j$ with $Q_j(x):=x_je_j$, $1\leq j\leq n$. The structure of the module ${\mathcal C}^{\rm pol}(B)$ may be quite complicated, and even minimal sets of generators may be very large. But the structure is particularly simple given the conditions described next. \[trivresonlylem\] Let $B={\rm diag}(\mu_1,\ldots,\mu_n)$, with all $\mu_i\not=0$, and assume that $$\label{trivresonly} \left<m,\mu\right>-\mu_j=0 \text{ for } m\in \mathbb Z_+^n \Rightarrow m_j>0,\quad 1\leq j\leq n.$$ Then ${\mathcal C}^{\rm pol}(B)$ is a free $I(B)$-module of rank $n$, generated by the $Q_j(x)=x_je_j$, $1\leq j\leq n$. Given a vector monomial $p(x)=x_1^{m_1}\cdots x_n^{m_n}e_j\in {\mathcal C}_{\rm pol}(B)$ we have $m_j>0$, hence $$p(x)=\phi(x)\,Q_j(x),\quad \phi(x)=x_1^{m_1}\cdots x_j^{m_{j}-1}\cdots x_n^{m_n}\in I(B),$$ which shows that the $Q_j$ generate the module. Obviously the $Q_j$ form a free system (even over $\mathbb C[x_1,\ldots,x_n]$). <span>*In general the rank of the $I(B)$-module ${\mathcal C}^{\rm pol}(B)$ may be larger than the space dimension $n$. Section \[findimsec\] contains many examples for the case $I(B)=\mathbb C$, and a simple example with nontrivial $I(B)$ is given by $B={\rm diag}\,(1,\,-1,\sqrt 2,\,2\sqrt 2)$.* </span> From @Wa91, Proposition 3.4 and Theorem 3.6, we recall symmetry reduction by invariants: \[nofofinprop\] Let $f=A+\cdots $ be in PDNF, and denote by $\phi_1,\ldots,\phi_r$ a generator system for $I(A_s)$. Let $g\in\mathcal{C}^{\rm for}(A_s)$ and $$\Phi:=\begin{pmatrix} \phi_1\\ \vdots \\ \phi_{r}\end{pmatrix}.$$ Then there exists a formal vector field $\widehat g$ in $r$ variables such that the identity $$D\Phi(x)g(x)=\widehat g\left(\Phi(x)\right)$$ holds, hence $\Phi$ is $($formally$)$ solution-preserving from $\dot x=g(x)$ to $\dot y=\widehat g(y)$. Whenever $A_s\not=0$ then the dimension of the Zariski closure $\overline{\Phi(\mathbb C^n)}$ is smaller than $n$. <span>Moreover $\widehat g=0$ on $\overline{\Phi(\mathbb C^n)}$ if and only if every first integral of $A_s$ is also a first integral of $g$.</span> \[reducomm\] <span>Let $f$ and $\Phi$ be as in Proposition \[nofofinprop\]. Given $g\in{\mathcal C}^{\rm for}(A_s)$ with $[g,\,f]=\alpha f$ and $X_{A_s}(\alpha)=0$, there exist formal vector fields $\widehat f$ and $\widehat g$ in $r$ variables and a formal series $\widehat\alpha$ in $r$ variables such that $\alpha=\widehat\alpha\circ\Phi$ and </span> $$D\Phi(x)f(x)=\widehat f\left(\Phi(x)\right), \quad D\Phi(x)g(x)=\widehat g\left(\Phi(x)\right)$$ and $$[\widehat g ,\,\widehat f]=\widehat\alpha\widehat f\text{ on the Zariski closure of }\Phi(\mathbb C^n).$$ The existence of $\widehat f$ and $\widehat g$ follows immediately from Proposition \[nofofinprop\], and the commutator property is a consequence of the general rule $$D\Phi(x)\left[f,\,g\right](x)=[\widehat f,\,\widehat g](\Phi(x));$$ moreover use $\alpha=\widehat\alpha\circ\Phi$. Note that the additional condition on $\alpha$ in the statement of the Corollary can always be realized due to Theorem \[linnormthm\]. \[rigidrem\]<span>*The reduction is particularly useful in applications when $\widehat f$ has the property $$\label{rigid} [\widehat f,\widehat g]=0\Rightarrow\widehat g\in\mathbb C\widehat f.$$ By <span>Proposition</span> \[nofofinprop\] this reduces the discussion of ${\mathcal C}_0^{\rm for}(f)$ to commuting formal vector fields which admit $\phi_1,\ldots,\phi_r$ as first integrals.\ The series expansion of $\widehat f$ has vanishing semisimple linear part, and we conjecture that for (in some sense) "generic" $f$ with given $A_s$, property will always hold, but a general proof seems very hard. Below we will discuss a distinguished class of vector fields for which the property does hold.* </span> We record some consequences of conditions and . \[estprep\] Let $A_s$ satisfy , and moreover set $$\dim_{\mathbb Q}\left(\mathbb Q\lambda_1+\cdots+\mathbb Q\lambda_n\right)=:q.$$ 1. There exists a $\mathbb Q$-basis $\nu_1,\ldots,\nu_q$ of $\mathbb Q\lambda_1+\cdots+\mathbb Q\lambda_n$ such that $$A_s=\nu_1C_1+\cdots+\nu_qC_q$$ with matrices $$C_j={\rm diag}\,\left(c_{j1},\ldots,c_{jn}\right)$$ that have integer entries. Moreover the $C_j$'s are linearly independent over $\mathbb C$ as well as over the field $\mathbb F$ of formal meromorphic functions. 2. Given nonzero $m$ with nonnegative integer entries, a resonance condition $\left<m,\,\lambda\right>-\lambda_k=0$ holds if and only if $$\left<m,\,(c_{j1},\ldots,c_{jn})\right>-c_{jk}=0,\quad 1\leq j\leq q.$$ Likewise, one has $\left<m,\,\lambda\right>=0$ if and only if $$\left<m,\,(c_{j1},\ldots,c_{jn})\right>=0,\quad 1\leq j\leq q.$$ 3. If condition holds then there exist $$\left(\ell_{i1},\ldots,\ell_{in}\right),\quad 1\leq i\leq n-q$$ with positive integer entries that are linearly independent over $\mathbb Q$, with $\left<(\ell_{i1},\ldots,\ell_{in}),\,\lambda\right>=0$ for all $i$; equivalently $$\left<(\ell_{i1},\ldots,\ell_{in}),(c_{j1},\ldots,c_{jn})\right>=0\text{ for all }i,\,j.$$ 4. Assuming that holds, let $$\psi_i:=x_1^{\ell_{i1}}\cdots x_n^{\ell_{in}},\quad 1\leq i\leq n-q.$$ If $D$ is a diagonal matrix such that $X_D(\psi_i)=0$ for all $i$ then $D$ is a linear combination of $C_1,\ldots, C_q$ over $\mathbb C$. Part $(a)$ is most easily seen by assuming w.l.o.g. that $\lambda_1,\ldots,\lambda_q$ are linearly independent over $\mathbb Q$ and choosing $\nu_1\in \mathbb Q\lambda_1,\ldots,\nu_q\in \mathbb Q\lambda_q$. The matrix $C_j$ then has the form $$C_j={\rm diag}\,\left(\delta_{j1}a_j,\ldots,\delta_{jq}a_j,*,\ldots,*\right)$$ with integers $a_j\not=0$ and the Kronecker symbol $\delta_{jk}$, and the asterisks $*$ denoting integers. Part $(b)$ is clear. As for part $(c)$, complete the nonzero vector $(d_1,\ldots,d_n)$ to a basis of the solution space of $\sum z_i\lambda_i=0$ over $\mathbb Q$, w.l.o.g. with integer entries. If such an additional basis element has a non-positive entry then add a suitable integer multiple of $(d_1,\ldots,d_n)$. For the final assertion let $D={\rm diag}\,(\theta_1,\ldots,\theta_n)$. Then $X_D(\psi_i)=0$ if and only if $\sum \ell_{ij}\theta_j=0$. Now the assertion follows from rank considerations: The matrix $\left(\ell_{ij}\right)$ has rank $n-q$, hence its kernel has dimension $q$ and contains the linearly independent columns $\left(\theta_{j1},\ldots,\theta_{jn}\right)^\tau$, $1\leq j\leq q$. *Given $q\in\{1,\dots,n-1\}$, for different choices of $A_s$ the minimal numbers of generators of $I(A_s)$ and $\mathcal C^{for}(A_s)$ may vary strongly. We illustrate the cases with $n=4$ and $q=2$ via the notations in Lemma \[estprep\]. Let $\omega$ be any irrational number.* - If $A_s=\mbox{\rm diag}(\omega, \ -2 \omega,\ 3, -1)$, then $I(A_s)$ is generated by $\varphi_1=x_1^2x_2$ and $\varphi_2=x_3x_4^3$, and $\mathcal C^{for}(A_s)$ consists of the elements $g(x)=\left(x_1g_1(\varphi_1,\varphi_2),\ x_2g_2(\varphi_1,\varphi_2),\ x_3g_3(\varphi_1,\varphi_2),\ x_4g_4(\varphi_1,\varphi_2)\right)^\tau$, with the $g_i$'s any formal series in two variables. - If $A_s=\mbox{\rm diag}(\omega, \ 1,\ \omega+2, -2\omega-3)$, then $I(A_s)$ is generated by $\phi_1=x_1x_2x_3x_4$, $\phi_2=x_1x_3^3x_4^2$ and $\phi_3=x_1^2x_2^3x_4$, any two of which are functionally independent and the three are functionally dependent. This generator system is minimal, and there exists no algebraically independent generator system. Now the elements in $\mathcal C^{for}(A_s)$ are in general of the form $g(x)=\hat g(x)+\tilde g(x)$ with $\hat g=\left(x_1g_1 ,\ x_2g_2 ,\ x_3g_3 ,\ x_4g_4 \right)^\tau$ and
{'source': 'arXiv_out/2004'}