Let K be a two dimensional algebraic function field over an algebraically closed field, and let R_{-2} be a two dimensional algebraic regular local ring of K. Let u_{-2},v_{-2} be regular parameters in R_{-2}.
Let e be a positive integer. Let c_{-2}=(p-1)e. Let \Theta be a root of the Artin-Schreier polynomial X^p-X-v_{-2}u_{-2}^{-pe}. Let L=K(\Theta). Set x_{-2}=u_{-2}, y_{-2}=u_{-2}^e\Theta. Let S_{-2}=R_{-2}[y_{-2}]_{(x_{-2},y_{-2})}, which is an algebraic regular local ring of L which dominates R_{-2}. The regular parameters x_{-2},y_{-2} in S_{-2} satisfy u_{-2}=x_{-2}, v_{-2}=y_{-2}^p-x_{-2}^{e(p-1)}y_{-2}, so that the extension R_{-2}\rightarrow S_{-2} is of type 1. We have that J(S_{-2}/R_{-2})=(x_{-2}^{c_{-2}}), with \frac{c_{-2}}{p-1}>0.
We first construct a commutative diagram
\begin{array}{lll}
S_{-2}&\rightarrow& S_{-1}\\
\uparrow&&\uparrow\\
R_{-2}&\rightarrow &R_{-1}
\end{array}
using Theorem 3.2 so that R_{-1}\rightarrow S_{-1} is of type 2. Let \Sigma be a root of the Artin-Schreier polynomial X^p-X-y_{-1}x_{-1}^{-pe}. Let M=L(\Sigma). Set z_{-1}=x_{-1}, w_{-1}=x_{-1}^e\Sigma. Let T_{-1}=S_{-1}[w_{-1}]_{(z_{-1},w_{-1})}, which is an algebraic regular local ring of M which dominates S_{-1}. The regular parameters z_{-1},w_{-1} in T_{-1} satisfy x_{-1}=z_{-1}, y_{-1}=w_{-1}^p-z_{-1}^{e(p-1)}w_{-1}, so that the extension S_{-1}\rightarrow T_{-1} is of type 1. We have that J(T_{-1}/S_{-1})=(z_{-1}^{c_{-1}'}), with \frac{c_{-1}'}{p-1}>0.
From Theorems 3.2 and 3.3, we construct
\begin{array}{ccc}
T_{-1}&\rightarrow &T_0\\
\uparrow&&\uparrow\\
S_{-1}&\rightarrow &S_0\\
\uparrow&&\uparrow\\
R_{-1}&\rightarrow&R_0\\
\end{array}
such that R_0\rightarrow S_0 is of type 1 and S_0\rightarrow T_0 is of type 2. Explicitely, R_{-1},R_0, S_{-1}, S_0, T_{-1}, T_0 have respective regular parameters (u_{-1},v_{-1}), (u_0,v_0), (x_{-1},y_{-1}), (x_0,y_0) and (z_{-1}, w_{-1}), (z_0,w_0) which are related by equations
\begin{array}{l}
u_{-1}=u_0^{pm_0}(v_0+\beta_0)^{d_0'}, v_{-1}=u_0^{q_0}(v_0+\beta_0)^{e_0'}\\
x_{-1}=x_0^{m_0}(y_0+\alpha_0)^{a_0'}, y_{-1}=x_0^{q_0}(w_0+\alpha_0)^{g_0'}\\
z_{-1}=z_0^{pm_0}(v_0+\gamma_0)^{f_0'}, w_{-1}=z_0^{q_0}(w_0+\gamma_0)^{g_0'}
\end{array}
where p\not| q_0 and \frac{q_0}{pm_0}<\frac{c_{-1}'}{p-1} where J(T_{-1}/S_{-1})=(z_{-1}^{c_{-1}'}).
By Remarks 4.2 and 4.3, we can construct R_0\rightarrow S_0\rightarrow T_0 so that we have expressions y_0=\lambda_0w_0+g_0(z_0) where \lambda_0 is a unit in T_0 and \mbox{ord } g_0(z_0) is arbitrarily large and v_0=\sigma_0y_0^p+\tau_0x_0^{c_0}y_0+f_0(x_0) where \sigma_0,\tau_0 are units in S_0 and \mbox{ord } f_0(x_0) is arbitrarily large.
We will inductively construct a commutative diagram within K\rightarrow L\rightarrow M of two dimensional regular algebraic local rings
\begin{array}{ccccccc}
T_0&\rightarrow &T_1&\rightarrow& T_2&\rightarrow &\cdots\\
\uparrow&&\uparrow&&\uparrow&&\\
S_0&\rightarrow&S_1&\rightarrow &S_2&\rightarrow &\cdots\\
\uparrow&&\uparrow&&\uparrow&&\\
R_0&\rightarrow&R_1&\rightarrow &R_2&\rightarrow&\cdots\\
\end{array}
such that R_i\rightarrow S_i is of type 1 if i is even and is of type 2 if i is odd, S_i\rightarrow T_i is of type 2 if i is even and is of type 1 if i is odd. Further, valuations \nu, \omega and \mu of the respective function fields K, L and M determined by these sequences are such that K\rightarrow L and L\rightarrow M are independent defect extensions. We will have that R_i has regular parameters (u_i,v_i), S_i has regular parameters (x_i,y_i) and T_i has regular parameters (z_i,w_i) such that
u_i=u_{i+1}^{\overline m_{i+1}}(v_{i+1}+\beta_{i+1})^{d_{i+1}'}, v_i=u_{i+1}^{\overline q_{i+1}}(v_{i+1}+\beta_{i+1})^{e_{i+1}'},
x_i=x_{i+1}^{m_{i+1}}(y_{i+1}+\alpha_{i+1})^{a_{i+1}'}, y_i=x_{i+1}^{q_{i+1}}(y_{i+1}+\alpha_{i+1})^{b_{i+1}'},
z_i=z_{i+1}^{m_{i+1}'}(w_{i+1}+\gamma_{i+1})^{f_{i+1}'}, w_i=z_{i+1}^{q_{i+1}'}(w_i+\gamma_{i+1})^{g_{i+1}'}
with \overline m_i, m_i and m_i' larger than 1 for all i.
Let J(S_i/R_i)=(x_i^{c_i}) and J(T_i/S_i)=(z_i^{c_i'}).
If i is even, then m_{i+1}=p\overline m_{i+1}, m_{i+1}'=\overline m_{i+1},q_{i+1}=\overline q_{i+1}, q_{i+1}'=q_{i+1} and
\frac{q_{i+1}}{m_{i+1}}<\frac{c_i}{p-1}.
If i is odd, then \overline m_{i+1}=pm_{i+1}, m_{i+1}'=\overline m_{i+1}, q_{i+1}=\overline q_{i+1}, q_{i+1}'=q_{i+1} and
\frac{q_{i+1}'}{m_{i+1}'}<\frac{c_i'}{p-1}.
In our construction, if r is even, we will have that
y_r=\lambda_rw_r+g_r(z_r)
where \lambda_r is a unit in T_r and \mbox{ord } g_r(z_r) is arbitrarily large and
v_r=\sigma_ry_r^p+\tau_rx_r^{c_r}y_r+f_r(x_r)
where \sigma_r,\tau_r are units in S_r and \mbox{ord }f_r(x_r) is arbitrarily large. If r is even, we will have
y_r=\sigma_rw_r^p+\tau_rz_r^{c_r'}w_r+f(z_r)
where \sigma_r,\tau_r are units in T_r and \mbox{ord }f(z_r) is arbitrarily large and
v_r=\lambda_ry_r+g_r(x_r)
where \lambda_r is a unit in S_r and \mbox{ord }g_r(x_r) is arbitrarily large.
Suppose that r is even, and we have constructed R_r\rightarrow S_r\rightarrow T_r. We will construct
\begin{array}{ccccc}
T_r&\rightarrow&T_{r+1}&\rightarrow&T_{r+2}\\
\uparrow&&\uparrow&&\uparrow\\
S_r&\rightarrow&S_{r+1}&\rightarrow&S_{r+2}\\
\uparrow&&\uparrow&&\uparrow\\
R_r&\rightarrow&R_{r+1}&\rightarrow &R_{r+2}.
\end{array}
There exists an integer \lambda(r+1)>1 and q_{r+1}\in {\mathbb Z}_+ such that \mbox{gcd}(q_{r+1},p)=1 and
\frac{c_r}{p-1}
>\frac{q_{r+1}}{p^{\lambda(r+1)}}>\frac{c_r}{p-1}-\frac{1}{2^{r+1}}m_1\cdots m_{r}.
In fact, we can find \lambda(r+1) arbitrarily large satisfying the inequality. Set m_{r+1}=p^{\lambda(r+1)}. We have that \frac{q_{r+1}}{m_{r+1}}<\frac{c_r}{p-1} with \mbox{gcd}(m_{r+1},pq_{r+1})=p. This choice of m_{r+1} and q_{r+1} (along with a choice of 0\ne\alpha_{r+1}\in k) determines S_r\rightarrow S_{r+1}. We have an expression v_r=\sigma_r y_r^p+\tau_r x_r^{c_r}y_r+f_r(x_r) where \mbox{ord }f_r(x_r) is arbitrarily large. In particular, we can assume that \mbox{ord }f_r(x_r)>\frac{pq_{r+1}}{m_{r+1}}. Then R_r\rightarrow R_{r+1} is defined as desired by Theorem 3.2. By Remark 4.2, since we can take \lambda(r+1) to be arbitrarily large, we can assume that v_{r+1}=\lambda_{r+1}y_{r+1}+g_{r+1}(x_{r+1}) where \mbox{ord }g_{r+1}(x_{r+1}) is arbitrarily large.
By Remark 4.3 and Theorem 3.3, T_r\rightarrow T_{r+1} is defined as desired, with m_{r+1}'=\frac{m_{r+1}}{p}, q_{r+1}'=q_{r+1}. Since we can take \lambda(r+1) to be arbitrarily large, we can assume that y_{r+1}=\sigma_{r+1}w_{r+1}^p+\tau_{r+1}z_{r+1}^{c_{r+1}'}w_r+f_{r+1}(z_{r+1}) where \mbox{ord }f_{r+1}(z_{r+1}) is arbitrarily large.
We have defined a commutative diagram
\begin{array}{ccc}
T_r&\rightarrow &T_{r+1}\\
\uparrow&&\uparrow\\
S_r&\rightarrow &S_{r+1}\\
\uparrow&&\uparrow\\
R_r&\rightarrow & R_{r+1}
\end{array}
with the desired properties; in particular, R_{r+1}\rightarrow S_{r+1} is of type 2 with
\frac{c_{r+1}}{p-1}=\left(\frac{c_r}{p-1}\right)m_{r+1}-q_{r+1}+1
and S_{r+1}\rightarrow T_{r+1} is of type 1, with
\frac{c_{r+1}'}{p-1}=\frac{c_r'}{p-1}m_{r+1}'-m_{r+1}'.
Now choose q_{r+2}', m_{r+2}'=p^{\lambda(r+2)} such that p\not|q_{r+2}' and
\frac{c_{r+1}'}{p-1}>\frac{q_{r+2}'}{m_{r+2}'}>\frac{c_{r+1}'}{p-1}-\frac{1}{2^{r+2}}m_1'\cdots m_{r+1}'.
We can take \lambda(r+2) arbitrarily large. Set m_{r+2}=\frac{m_{r+2}'}{p}=p^{\lambda(r+2)-1}, q_{r+2}=q_{r+2}'. By (?), \frac{q_{r+2}'}{m_{r+2}'}<\frac{c_{r+1}'}{p-1}.
Now construct, as in the construction of (?), using Theorems 3.2 and 3.3 and Remark 4.3 and these values of m_{r+2} and q_{r+2},
\begin{array}{ccc}
T_{r+1}&\rightarrow &T_{r+2}\\
\uparrow&&\uparrow\\
S_{r+1}&\rightarrow &S_{r+2}\\
\uparrow&&\uparrow\\
R_{r+1}&\rightarrow & R_{r+2},
\end{array}
so that R_{r+2}\rightarrow S_{r+2} is of type 1 and S_{r+2}\rightarrow T_{r+2} is of type 2. By Remark 4.2, we obtain expressions (?) and (?) for r+2.
By induction, we construct the diagram (?).
Let A=R_0 and C=T_0. We will show that strong local monomialization doesn’t hold above A\rightarrow C along \mu. Suppose that R'\rightarrow T' has a strongly monomial form above A\rightarrow C. Then R' has regular parameters u',v' and T' has regular parameters z',w' such that u'=\lambda (z')^m and v'=w' where m\in {\mathbb Z}_{>0} and \lambda is a unit in T'. We will show that this cannot occur. There exists a commutative diagram
\begin{array}{ccccc}
T_s&\rightarrow&T'&\rightarrow&T_{s+1}\\
\uparrow&&\uparrow&&\uparrow\\
R_s&\rightarrow&R'&\rightarrow&R_{s+1}
\end{array}
for some s. The ring T' has regular parameters \overline z,\overline w such that
z_s=\overline z^a\overline w^b, w_s=\overline z^c\overline w^d
for some a,b,c,d\in {\mathbb N} with ad-bc=\pm1, and R' has regular parameters \overline u,\overline v such that u_s=\overline u^{\overline a}\overline v^{\overline b}, v_s=\overline u^{\overline c}\overline v^{\overline d}, where \overline a \overline d-\overline b \overline c=\pm 1. We have an expression
u_s=\alpha z_s^p, v_s=\beta w_s^p+\Omega
where \alpha,\beta are units in T_s and where
\Omega=\varepsilon z_s^{pc_s}w_s+M
or
\Omega=\varepsilon z_s^{c_s'}w_s+M
where \varepsilon\in T_s is a unit and M is a sum of monomials in z_s,w_s of high order in z_s. Further, \mu(w_s^p)<\mu(z_s^{pc_s}w_s) in (?) and \mu(w_s^p)<\mu(z_s^{c_s'}w_s) in (?).
In particular, R_s\rightarrow T_s is not a strongly monomial form.
Substituting (?) into u_s and v_s in (?), we have
u_s=\alpha \overline z^{ap}\overline w^{bp}, v_s=\beta \overline z^{cp}\overline w^{dp}+\Omega.
We necessarily have that u_s|v_s or v_s|u_s in T'.
First suppose that c\ge a and d\ge b. Then we have that
u_s=\alpha \overline z^{ap}\overline w^{bp},
\frac{v_s}{u_s}=\beta\overline z^{(c-a)p}\overline w^{(d-b)p}+\frac{\Omega}{\alpha \overline z^{ap}\overline w^{bp}}
giving an expression of the form (?). We will show that this is not a strongly monomial form. If it is, then we must have that a=0 or b=0 so that either
z_s=\overline w, w_s=\overline z \overline w^d
or
z_s=\overline z, w_s=\overline z^c \overline w
and we must have that \frac{\Omega}{u_s} is part of a regular system of parameters in T'. Substituting into (?) or (?), we see that this cannot occur except possibly in the case that (?) holds and \frac{z_s^{c_s'}w_s}{u_s} is part of a regular system of parameters in T'.
Suppose that (?) and (?) hold with
\frac{z_s^{c_s'}w_s}{u_s}=\frac{\overline w^{c_s'+d}\overline z}{\alpha \overline w^p}
being part of a regular system of parameters in T'. Now in this case, \mu(w_s)>\mu(z_s) and \mu(w_s^p)<\mu(z_s^{c_s'}w_s) so p\le c_s'. Thus \frac{\overline w^{c_s'+d}\overline z}{\alpha \overline w^p} cannot be part of a regular system of parameters in T'. A similar argument shows that we do not obtain a strongly monomial form when (?) and (?) hold.
Suppose that c<a and d<b. Then we have expressions
v_s=\gamma\overline z^{cp}\overline w^{dp},
\frac{u_s}{v_s}=\alpha \gamma^{-1}\overline z^{(a-c)p}\overline w^{(b-d)p}
where \gamma\in T' is a unit, giving an expression of the form of (?), which is not strongly monomial. Thus we reduce to the case where (c-a)(d-b)<0. We then have that u_s\not | v_s since u_s\not |\overline z^{cp}\overline w^{dp}. Suppose that v_s|u_s. Then v_s=\lambda \overline z^{cp}\overline w^{dp} where \lambda is a unit in T'. But this is impossible since (c-a)(d-b)<0. Thus R'\rightarrow T' has a form (?) with a,b,c,d>0 and so cannot be a strongly monomial form. We have established that strong local monomialization along \mu does not hold above A\rightarrow C.
From Theorem 3.2, we have that
\left(\frac{c_{r+1}}{p-1}\right)\frac{1}{m_1\cdots m_{r+1}}=\left(\frac{c_r}{p-1}\right)\frac{1}{m_1\cdots m_{r}}
-\frac{q_{r+1}}{m_{r+1}}\left(\frac{1}{m_1\cdots m_{r}}\right)+\frac{1}{m_1\cdots m_{r+1}}.
Then from Theorem 3.3, we have that
\frac{c_{r+2}}{p-1}=\left(\frac{c_{r+1}}{p-1}\right)m_{r+2}-m_{r+2},
and so
\left(\frac{c_{r+2}}{p-1}\right)\frac{1}{m_1\cdots m_{r+2}}
=\left(\frac{c_r}{p-1}\right)\frac{1}{m_1\cdots m_{r}}-\frac{q_{r+1}}{m_1\cdots m_{r+1}}.
By equation (?) we have
\frac{1}{2^{r+1}}>\left(\frac{c_r}{p-1}\right)\frac{1}{m_1\cdots m_{r}} -\left(\frac{q_{r+1}}{m_{r+1}}\right)\frac{1}{m_1\cdots m_{r}}>0.
By Theorem 3.2,
\left(\frac{c_{r+2}'}{p-1}\right)\frac{1}{m_1'\cdots m_{r+2}'}=\left(\frac{c_{r+1}'}{p-1}\right)\frac{1}{m_1'\cdots m_{r+1}'}
-\frac{q_{r+2}'}{m_1'\cdots m_{r+2}'}+\frac{1}{m_1'\cdots m_{r+2}'}
and by Theorem 3.3,
\frac{c_{r+3}'}{p-1}=\left(\frac{c_{r+2}'}{p-1}\right)m_{r+3}'-m_{r+3}'.
We thus have that
\left(\frac{c_{r+3}'}{p-1}\right)\frac{1}{m_1'\cdots m_{r+3}'}=\left(\frac{c_{r+1}'}{p-1}\right)\frac{1}{m_1'\cdots m_{r+1}'}-
\frac{q_{r+2}'}{m_1'\cdots m_{r+2}'}.
Equation (?) implies
\frac{1}{2^{r+2}}>\left(\frac{c_{r+1}'}{p-1}\right)\frac{1}{m_1'\cdots m_{r+1}'}-\frac{q_{r+2}'}{m_1'\cdots m_{r+2}'}>0.
Now J(S_i/R_i)=(x_i^{c_i}) and x_0=x_i^{m_1\cdots m_i} so \omega(J(S_i/R_i))=\frac{c_i}{m_1\cdots m_i}\omega(x_0) and thus by Proposition 3.4, (?) and (?), we have that
-{\rm dist}(\omega/\nu)=\frac{1}{p-1}\inf_i\{\omega(J(S_i/R_i))\}=0.
We have that J(T_i/S_i)=(z_i^{c_i'}) and z_0=z_i^{m_1'\cdots m_i'} so \omega(J(T_i/S_i))=\frac{c_i'}{m_1'\cdots m_i'}\omega(z_0) and thus by Proposition 3.4, (?) and (?), we have that
-{\rm dist}(\mu/\omega)=\frac{1}{p-1}\inf_i\{\omega(J(T_i/S_i))\}=0.