New results on algebraic independence with Mahler's method (Q550401)

Es seien \(f_1,\dots ,f_n\in\overline{\mathbb{Q}}[[z]]\) in einer Umgebung von \(z=0\) analytisch, über \(\mathbb{C}(z)\) algebraisch unabhängig und mögen einem Funktionalgleichungssystem \[ a(z)\underline{f}(z)=A(z)\underline{f}(p(z))+\underline{b}(z) \tag{*} \] genügen, wobei \(\underline{f}={}^\tau(f_1,\dots ,f_n)\), \(p\in\overline{\mathbb{Q}}(z)\), \(a\in\overline{\mathbb{Q}}[z]\), \(A\in\mathrm{Mat}_{n,n}(\overline{\mathbb{Q}}[z])\), \(\underline{b}\in\overline{\mathbb{Q}}[z]^n\) gelten. Die Frage nach der algebraischen Unabhängigkeit über \(\mathbb{Q}\) von Werten solcher Funktionen an geeigneten Stellen \(\alpha\) ist im Rahmen der Mahlerschen Methode häufig untersucht worden. Einen sehr allgemeinen Ansatz dazu hat \textit{P. Philippon} [J. Reine Angew. Math. 497, 1--15 (1998; Zbl 0887.11032)] entwickelt, für den man Multiplizitäten-Abschätzungen benötigt. Eine neue derartige Abschätzung für Lösungen von \((\ast)\) hat Verf. kürzlich in seiner Dissertation [Univ. Paris 6, 2010, \url{http://tel.archives-ouvertes.fr/tel-00558073/fr/}] gefunden, die zu einer Reihe von Verbesserungen früherer Resultate führt. Z.B. wird \(\mathrm{tr.deg}_{\mathbb{Q}}\mathbb{Q}(f_1(\alpha),\dots ,f_n(\alpha))\geq n\!+\!1\!-\![(\log d)/(\log\delta)]\) für \(\underline{f}\) wie oben gezeigt, wenn zusätzlich \(p\in\overline{\mathbb{Q}}[z], d:=\deg p, \delta:=\mathrm{ord}_0p\geq2\) gelten und \(\alpha\in\overline{\mathbb{Q}}^*\) der Bedingung \(p^{[h]}(\alpha) \to0\) bei \(h\to\infty\) genügt und keine dieser Iterierten eine Nullstelle von \(\det A(z)\) ist. Gilt insbesondere \(d<\delta^2\), so sind \(f_1(\alpha),\dots ,f_n(\alpha)\) über \(\mathbb{Q}\) algebraisch unabhängig und in diesem Fall ergeben sich Maße für deren algebraische Unabhängigkeit. Bei transzendentem \(\alpha\) werden ebenfalls untere Abschätzungen für \(\mathrm{tr.deg}_{\mathbb{Q}}\mathbb{Q}(\alpha,\underline{f}(\alpha))\) gewonnen. Sämtliche Beweise finden sich in der Dissertation des Verf. [loc. cit.]. Für die Hauptergebnisse verlaufen sie in sehr allgemeinem Rahmen über untere Schranken für den Abstand zwischen Punkten und Untervarietäten in geeigneten projektiven Räumen (vgl. dazu Chap. 6, \S\, 5 in [\textit{Yu. V. Nesterenko}(ed.) and \textit{P. Philippon} (ed.), Introduction to Algebraic Independence. Lecture Notes in Mathematics. 1752. Berlin: Springer (2001; Zbl 0966.11032)]).