Let x be an indeterminate over ℂ. We investigate solutions $$\begin{array}{c}\hfill \alpha (s,x)=\sum _{n\ge 0}{\alpha }_n\left(s\right)x^n,\end{array}$$αn : ℂ → ℂ, n ≥ 0, of the first cocycle equation $$\begin{array}{c}\hfill \alpha (s+t,x)=\alpha (s,x)\alpha \left(t,F(s,x)\right),s,t\in ,\left(\mathrm{Co}1\right)\end{array}$$in ℂ [[x]], the ring of formal power series over ℂ, where (F(s,x))s ∈ ℂ is an iteration group of type II, i.e. it is a solution of the translation equation $$\begin{array}{c}\hfill F(s+t,x)=F(s,F(t,x\left)\right),s,t\in ,\left(\mathrm{T}\right)\end{array}$$of the form F(s,x) ≡ x + ck(s)xk mod xk+1, where k ≥ 2 and ck ≠ 0 is necessarily an additive function. It is easy to prove that the coefficient functions αn(s) of $$\begin{array}{c}\hfill \alpha (s,x)=1+\sum _{n\ge 1}{\alpha }_n\left(s\right)x^n\end{array}$$are polynomials in ck(s).It is possible to replace...

Let $\overline{X}$ be a germ of normal surface with local ring $\overline{R}$ covering a germ of regular surface $X$ with local ring $R$ of characteristic $p\>0$. Given an extension of valuation rings $W/V$ birationally dominating $\overline{R}/R$, we study the existence of a new such pair of local rings ${\overline{R}}^{\text{'}}/R^{\text{'}}$ birationally dominating $\overline{R}/R$, such that $R^{\text{'}}$ is regular and ${\overline{R}}^{\text{'}}$ has only toric singularities. This is achieved when $W/V$ is defectless or when $[W:V]$ is equal to $p$

We give bad (with respect to the reverse inclusion ordering) sequences of monomial ideals in two variables with Ackermannian lengths and extend this to multiple recursive lengths for more variables.

A complete characterization of the Łojasiewicz exponent at infinity for polynomial mappings of ℂ² into ℂ² is given. Moreover, a characterization of a component of a polynomial automorphism of ℂ² (in terms of the Łojasiewicz exponent at infinity) is given.

Let k[[x,y]] be the formal power series ring in two variables over a field k of characteristic zero and let d be a nonzero derivation of k[[x,y]]. We prove that if Ker(d) ≠ k then Ker(d) = Ker(δ), where δ is a jacobian derivation of k[[x,y]]. Moreover, Ker(d) is of the form k[[h]] for some h ∈ k[[x,y]].