Łojasiewicz exponents and Farey sequences

Abstract

\noindent Let $I$ be an ideal of the ring of formal power series $\bK[[x,y]]$ with coefficients in an algebraically closed field $\bK$ of arbitrary characteristic. Let $Φ$ denote the set of all parametrizations $φ=(φ_1,φ_2)\in \bK[[t]]^2$, where $φ\neq (0,0)$ and $φ(0,0)=(0,0)$. The purpose of this paper is to investigate the invariant \[ \Lo(I)=\sup_{φ\in Φ}\left(\inf_{f\in I} \frac{\ord f \circ φ}{\ord φ}\right) \] \noindent called the {\it Łojasiewicz exponent} of $I$. Our main result states that for the ideals $I$ of finite codimension the Łojasiewicz exponent $\Lo(I)$ is a Farey number i.e. an integer or a rational number of the form $N+\frac{b}{a}$, where $a,b,N$ are integers such that $0<b<a<N$.