複素解析幾何セミナー

過去の記録 ~07/15次回の予定今後の予定 07/16~

開催情報 月曜日 10:30~12:00 数理科学研究科棟(駒場) 128号室
担当者 平地 健吾, 高山 茂晴, 細野 元気

2018年07月23日(月)

10:30-12:00   数理科学研究科棟(駒場) 128号室
Filippo Bracci 氏 (University of Rome Tor Vergata)
Strange Fatou components of automorphisms of $\mathbb{C}^2$ and Runge embedding of $\mathbb{C} \times \mathbb{C}^*$ into $\mathbb{C}^2$. (ENGLISH)
[ 講演概要 ]
The classification of Fatou components for automorphisms of the complex space of dimension greater than $1$ is an interesting and difficult task. Recent deep results prove that the one-dimensional setting is deeply different from the higher dimensional one. Given an automorphism F of $\mathbb{C}^k$, the first bricks in the theory that one would like to understand are invariant Fatou components, namely, those connected open sets $U$, completely invariant under $F$, where the dynamics of $F$ is not chaotic. Among those, we consider “attracting” Fatou components, that is, those components on which the iterates of $F$ converge to a single point. Attracting Fatou components can be recurrent, if the limit point is inside the component or non-recurrent. Recurrent attracting Fatou components are always biholomorphic to $\mathbb{C}^k$, since it was proved by H. Peters, L. Vivas and E. F. Wold that in such a case the point is an attracting (hyperbolic) fixed point, and the Fatou component coincides with the global basin of attraction. Also, as a consequence of works of Ueda and Peters-Lyubich, it is know that all attracting non-recurrent Fatou components of polynomial automorphisms of $\mathbb{C}^2$ are biholomorphic to $\mathbb{C}^2$. One can quite easily find non-simply connected non-recurrent attracting Fatou components in $\mathbb{C}^3$ (mixing a two- dimensional dynamics with a dynamics with non-isolated fixed points in one- variable). In this talk I will explain how to construct a non-recurrent attracting Fatou component in $\mathbb{C}^2$ which is biholomorphic to $\mathbb{C}\times\mathbb{C}^*$. This“fantastic beast” is obtained by globalizing, using a result of F. Forstneric, a local construction due to the speaker and Zaitsev, which allows to create a global basin of attraction for an automorphism, and a Fatou coordinate on it. The Fatou coordinate turns out to be a fiber bundle map on $\mathbb{C}$, whose fiber is $\mathbb{C}^*$, then the global basin is biholomorphic to $\mathbb{C}\times\mathbb{C}^*$. The most subtle point is to show that such a basin is indeed a Fatou component. This is done exploiting Poschel's results about existence of local Siegel discs and suitable estimates for the Kobayashi distance.

Since attracting Fatou components are Runge, it turns out that this construction gives also an example of a Runge embedding of $\mathbb{C}\times\mathbb{C}^*$ into $\mathbb{C}^2$. Moreover, this example shows an automorphism of $\mathbb{C}^2$ leaving invariant two analytic discs intersecting transversally at the origin.

The talk is based on a joint work with J. Raissy and B. Stensones.