Sur les substitutions rationnelles à deux variables. (Q1464166)

Es sei \(S(x,y \;|X,Y)\) eine rationale Substitution mit einem Doppelpunkt in \((0,0)\); die Multiplikatoren im letzteren seien \(s\), \(\sigma\), und man habe \(|s|>1\), \(|\sigma| > 1\), \(\sin\pi \dfrac{\log s}{\log\sigma}\neq 0\), \(\sin \pi \dfrac{\log \sigma}{\log s}\neq 0\). Die Inversen der zugehörigen Picardschen meromorphen Funktionen erfüllen dann die Gleichungen \(\varphi(X,Y)=s\varphi(x,y)\), \(\psi(X,Y) = \sigma \psi(x,y)\); eine Beziehung \(f(X,Y)= \lambda f(x,y)\) kann für ein um 0 holomorphes \(f\) nur bestehen, wenn \(\lambda = s^k\sigma^l\) mit ganzen nichtnegativen \(k\), \(l\) ist; ist nicht etwa \(s^m=\sigma^n\) für ein Paar ganzer teilerfremder \(m(> 1)\), \(n(> 1)\), so muß dann \(f=\varphi^k\psi^l\) sein, sonst treten angebbare ergänzende Faktoren hinzu. Die Funktionen \(f\) führen auf invariante einparametrige Familien analytischer Kurven für \(S\), z.B. \(f=\alpha =\) Const. Die Funktionen \(F\) von \(f(x,y)\), und nur solche, sind so beschaffen, daß \(F(X,Y)\) eine Funktion von \(F(x,y)\) ist; der Fall rationaler Abhängigkeit wird noch besonders untersucht.