The sequence of mixed Łojasiewicz exponents associated to pairs of monomial ideals (Q2295380)

Let \(J=(f_{1},\ldots ,f_{p})\) and \(I=(g_{1},\ldots ,g_{q})\) be proper ideals in the ring \(\mathcal{O}_{n}\) of analytic function germs \((\mathbb{C}^{n},0)\rightarrow \mathbb{C}\). The Łojasiewicz exponent \(\mathcal{L}_{J}(I)\) of \(I\) with respect to \(J\) is the infimum of \(\alpha \in \mathbb{R}_{\geq 0}\) such that \(\left\vert \left\vert f\right\vert \right\vert^{\alpha }\leq C\left\vert \left\vert g\right\vert \right\vert \) in a neighbourhood of \(0\in \mathbb{C}^{n}.\) It is known \(\mathcal{L}_{J}(I)\) is characterized algebraically as \[ \mathcal{L}_{J}(I)=\inf \{r/s:r,s\in \mathbb{N},\ J^{r}\subset \overline{I^{s}}\}=\inf \{r/s:r,s\in \mathbb{N},\ e(I^{s})=e(I^{s}+J^{r})\}, \] where \(\overline{I}\) means the algebraic closure of the ideal \(I\) and \(e(I)\) the Samuel multiplicity of \(I\). The author generalizes the Łojasiewicz exponent for systems of ideals \((I_{1},\ldots ,I_{n})\) instead of one \(I\) (and even in general Noetherian local rings \((R,\mathfrak{m)}\) instead of \(\mathcal{O}_{n})\). He defines \[ \mathcal{L}_{J}(I_{1},\ldots ,I_{n})=\inf \{r/s:r,s\in \mathbb{N},\ \sigma(I_{1}^{s},\ldots ,I_{n}^{s})=\sigma (I_{1}^{s}+J^{r},\ldots ,I_{n}^{s}+J^{r})\}, \] provided \(\sigma (I_{1},\ldots ,I_{n})<\infty ,\) where \(\sigma (I_{1},\ldots,I_{n})\) is the Ree's mixed multiplicity of ideals \(I_{1},\ldots ,I_{n}\). He studies the sequence of the Łojasiewicz exponents \(\mathcal{L}_{J}^{\ast}(I):=(\mathcal{L}_{J}^{(n)}(I),\ldots,\mathcal{L}_{J}^{(1)}(I)),\) where \(\mathcal{L}_{J}^{(i)}(I):=\mathcal{L}_{J}(I,\ldots ,I,J,\ldots ,J)\) with \(I\) repeated \(i\) times and \(J\) repeated \((n-i)\) times in the case \(I,J\) are monomial ideals of finite colength in \(\mathcal{O}_{n}\). The author relates this notion with the combinatorial objects associated to \(I\) and \(J\) -- the Newton polyhedra.