View source for Siegel disks/Obstructions

In this subpage, the focus is on the following question: What happens at the boundary of a Siegel disk <math>\Delta</math> that prevents it from extending further?

Notation<math>:\partial\Delta</math> denotes the boundary of <math>\Delta\ .</math>

<ul>
<li/> The Siegel disk has to be contained in the domain of definition <math>\operatorname{Def}(f)</math> of <math>f</math> so the most obvious obstruction is that its boundary meets the boundary of <math>\operatorname{Def}(f)\ .</math> A more general and intrinsically defined obstruction is that <math>\Delta</math> be unbounded. (In the sense defined in the [[Siegel Disks|main article]]: it is not contained in a compact subset of <math>\operatorname{Def}(f)\ .</math>)
<li/> The Siegel disk cannot contain a critical point (nor any preimage thereof). Indeed, the conjugacy to a rotation implies <math>f</math> is injective on <math>\Delta\ .</math>
<li/> The Siegel disk cannot contain a periodic point either, apart from its center. Indeed, <math>f</math> is conjugated on <math>\Delta</math> to an ''irrational'' rotation.
</ul>

Iterating <math>f\ ,</math> it follows that the Siegel disk cannot contain any preimage of a critical point, of a periodic point, or any point that eventually gets mapped out of <math>\operatorname{Def}(f)\ .</math>

Given a Siegel disk, does its boundary contains a critical point? A periodic point? Is it unbounded?

'''Critical points on the boundary.''' For example

'''Theorem.''' <i> Let <math>\theta</math> be a Brjuno number, <math>P(z)=e^{2i\pi\theta}z+z^2</math> and <math>\Delta</math> be its Siegel disk.
<ul><li/> (Ghys, Herman) There exist <math>\theta</math> such that <math>\Delta</math> has no critical point in its boundary.
<li/> (Douady, Ghys, Herman, Shishikura) There exist <math>\theta</math> such that <math>\Delta</math> has a critical point in its boundary.
</ul>
In both examples, the Siegel disk is a Jordan curve (even better: it is a quasicircle).
<ul>
<li/> (Petersen, Zakeri) For almost all <math>\theta\ ,</math> the boundary of <math>\Delta</math> is a Jordan curve, equal to the closure of the orbit of the critical point.
</ul>
</i>

Zhang Gaofei has announced an extension of the third statement of the theorem to all polynomials of degree at least two.
For a general map <math>f\ ,</math> Graczyk and Świątek (2003) have shown that any bounded Siegel disk whose rotation number is of ''bounded type'' must contain a critical point on its boundary. 

'''Function-theoretic obstructions.''' Having a critical point on the boundary and being unbounded are embraced by a more general condition: we say that there is a '''function-theoretic obstruction''' if there is no simply connected domain <math>U</math> such that both <math>f</math> and <math>f^{-1}</math> are defined on <math>U</math> and such that the closure <math>\overline{\Delta}</math> of the Siegel disk is a compact subset of <math>U\ .</math> (This language does not seem to appear in the literature, but it is convenient for discussing the questions that arise in this section.) Loosely speaking, the other obstructions must be of ''dynamical'' nature. 

'''Lemma.''' <i>If the Siegel disk <math>\Delta</math> of a map <math>f</math> is bounded, if <math>f</math> is injective on <math>\partial\Delta</math> and if <math>\partial\Delta</math> contains no critical point of <math>f</math> then 
there is no function-theoretic obstruction.</i>

It is a fundamental theorem that for some rotation numbers, there must be a function-theoretic obstruction:

'''Theorem.''' (Herman) ''There exists a subset <math>\mathcal{H}</math> of the Brjuno numbers, containing all diophantine numbers, with the following property. If a holomorphic function has a Siegel disk <math>\Delta</math> whose rotation number belongs to <math>\mathcal{H}\ ,</math> then <math>\Delta</math> has a function-theoretic obstruction.''

(<math>\mathcal{H}</math> is called the '''Herman class''' and is defined in terms of linearizability of analytic circle diffeomorphism. Yoccoz later gave an arithmetical characterization of <math>\mathcal{H}</math> in terms of continued fractions. It is a complicated one.)

It is unknown whether there are any polynomials with a Siegel disk whose rotation number is not in <math>\mathcal{H}</math> but with a function-theoretic obstruction (for instance with a critical point on the boundary).  

'''Unicritical polynomials.''' Injectivity on the boundary of Siegel disks appears to be a difficult problem in general. However, Herman observed that in some cases it is easy to verify, namely when there is only one critical value.

'''Lemma.''' ''Suppose that <math>f</math> is a unicritical polynomial, i.e. <math>f(z)=z^d+c</math> for some <math>c\in\mathbb{C}\ ,</math> and that <math>f</math> has a Siegel disk <math>\Delta\ .</math> If the critical point <math>0</math> does not belong to <math>\partial\Delta\ ,</math> then <math>f</math> is injective on <math>{\partial\Delta}\ .</math>''

'''Corollary.''' ''Suppose that <math>f</math> is a unicritical polynomial with a Siegel disk <math>\Delta</math> whose rotation number belongs to the Herman class. Then the critical point <math>0</math> belongs to <math>\partial\Delta\ .</math>''

It is unknown whether the above lemma is true for all polynomials.

'''Polynomials with two critical values.''' Recently, Chéritat and Roesch extended the lemma above, and thus its corollary, to the case of polynomials having two critical values:

'''Theorem.''' (Chéritat and Roesch, 2011) ''Suppose that $f$ is a polynomial with $2$ critical values and a fixed or periodic Siegel disk $\Delta$ whose rotation number belongs to the Herman class. Then at least one critical belongs to $\partial\Delta$.''

'''Siegel disks and singular values of entire functions.''' If <math>f</math> is a transcendental entire functions, then the set <math>S(f)</math> of
'''singular values''' is a generalization of the set of critical values of a polynomial, and plays a similar role in dynamics. Here <math>S(f)</math> is the smallest ''closed'' set such that <math>f</math> is a covering map over <math>\mathbb{C}\setminus S(f)\ .</math> It can be proved that <math>S(f)</math> is the closure of the set of all critical values and [[asymptotic value|asymptotic values]] of <math>f\ .</math>

It is sensible to ask when the boundary of a Siegel disk of an entire functions contains a singular value of <math>f\ .</math> This is subtle because, as opposed to the polynomial or rational cases, the Siegel disk may be unbounded. Below is given a small sample of recent results, for the simplest transcendental map: the exponential. Let
:<math>E_{\theta}(z) = e^{2i\pi\theta}(\exp(z)-1).</math>
This function fixes the origin with multiplier <math>e^{2i\pi\theta}</math> and has only one singular value, namely the omitted value <math>s=-e^{2i\pi\theta}\ .</math>

Here it was already observed by Herman that, if <math>E_{\theta}</math> has a bounded Siegel disk <math>\Delta_{\theta}\ ,</math> then <math>E_{\theta}</math> is injective on <math>\partial \Delta_{\theta}</math> (for the same reason as for unicritical polynomial). Since <math>E_{\theta}</math> has no critical points, it follows from Herman's theorem above that <math>\Delta_{\theta}</math> is unbounded when <math>\theta\in\mathcal{H}\ .</math> 

However, this leaves open the following problem: if <math>\Delta_{\theta}</math> is unbounded, is necessarily <math>s\in\partial \Delta_{\theta}\ ?</math> This question was originally posed by Herman, Baker and Rippon (Brannan and Hayman 1989, problem 2.86). Rippon (1994) showed that this is true for a full-measure set of <math>\theta\ ,</math> and the question was fully answered positively by Rempe (2004) and independently by Buff and Fagella (unpublished).

'''Theorem.''' (Rempe, 2004; Buff and Fagella)'' If the Siegel disk <math>\Delta_{\theta}</math> of an exponential map <math>E_{\theta}</math> is unbounded, then <math>s\in\partial\Delta_{\theta}\ .</math>''

Generalizations of this theorem can be obtained for more general entire functions with several singular values, but one encounters problems similar to the injectivity question for bounded Siegel disks mentioned above. Compare Rempe, 2008.

'''Periodic points and small cycles.''' 

'''Theorem.''' (Perez-Marco, 1997) ''If <math>f</math> has a Siegel disk <math>\Delta</math> and there is no function-theoretic obstruction, then <math>\partial\Delta</math> contains no periodic points of <math>f\ .</math>''

'''Theorem:''' (Rogers) <i> If the boundary of a Siegel disk <math>\Delta</math> of a polynomial of degree <math>d\geq 2</math> contains a periodic point, then <math>\partial \Delta</math> is an indecomposable continuum. </i>

By Perez Marco's theorem such a Siegel disk has function-theoretic obstruction. However, no examples of such polynomials are known. It may even be the case that it never happens (see the discussion on bounded Siegel disks in the [[Siegel Disks|main article]]).

Despite the above theorem, periodic points still seem to be closely related to dynamical obstruction. Indeed, if <math>f</math> is a rational (or transcendental entire/meromorphic) function, <math>\partial\Delta</math> is contained in the Julia set of <math>f\ ,</math> which equals the ''closure'' of the set of repelling periodic points of <math>f\ .</math> 

One may ask whether there are periodic cycles whose entire orbit remains close to <math>\partial\Delta\ ,</math> or whether an even stronger property holds: that <math>\partial\Delta</math> is the limit of a sequence of peridodic orbits.
Yoccoz has shown that for quadratic polynomials, in the non-linearizable case, there are '''small cycles''': cycles of arbitrarily high period completely contained in arbitrarily small neighborhoods of the fixed point. On the other hand in the non-polynomial case, Perez-Marco has constructed examples of non-linearizable fixed points, and of Siegel disks, without small cycles.

'''Boundaries of Siegel disks and the postcritical/postsingular set.''' As discussed above, the boundary of a Siegel disk needs not, in general, contain a critical point (or, more generally, a singular value) of the function <math>f\ .</math> Nonetheless, for globally defined functions the boundary of the Siegel disk is ''always'' closely related to the behavior of singular values. Let the '''postsingular set''' of <math>f</math> be the closure of the union of the orbits of all singular values. For a polynomial or a rational map, the singular set is the set of critical values and the postsingular set is also called the '''postcritical set'''.
The following theorem is due to Fatou (although he did not state it for transcendental functions).

'''Theorem.''' ''Let <math>f</math> be a rational map or a transcendental entire or meromorphic function, and suppose that <math>f</math> has a Siegel disk <math>\Delta\ .</math> Then <math>\partial\Delta</math> is contained in the postsingular set of <math>f\ .</math>

For rational functions, Mañe has made this statement more precise<math>:\partial\Delta</math> is contained in the closure of the orbit of a '''recurrent''' critical point, i.e. a critical point <math>c</math> which has iterates arbitrarily close to <math>c\ .</math> For entire functions, this is not known in such generality, although certain extensions of Mañe's theorem have been considered by various authors. In particular, if an exponential map <math>E_{\theta}</math> as above has a Siegel disk <math>\Delta\ ,</math> then the singular value <math>s</math> is recurrent (see Rempe and van Strien 2008).

== References ==

=== References cited here ===

*Brannan and Hayman [1989]: ''Research Problems in Complex Analysis'', Bull. London Math. Soc. '''21''' (1), pp. 1-35; [http://dx.doi.org/10.1112/blms/21.1.1 DOI:10.1112/blms/21.1.1].

*Chéritat, A. and Roesch, P. [2011]: ''Herman's condition and critical points on the boundary of Siegel disks of polynomials with two critical values.'' Preprint, arXiv:1111.4629

*Perez-Marco, R. [1997]: ''Fixed points and circle maps'', Acta Math. '''179''' (2), pp. 243-294.

*Rempe, L. [2004]: ''On a question of Herman, Baker and Rippon concerning Siegel disks'', Bull. London Math. Soc '''36''' (4), pp. 516-518; [http://dx.doi.org/10.1112/S0024609304003157 DOI:110.1112/S0024609304003157].

*Rempe, L. [2008]: ''Siegel disks and periodic rays of entire functions'', J. Reine Angew. Math. '''624''', pp. 81-802; [http://dx.doi.org/10.1515/CRELLE.2008.081 DOI:10.1515/CRELLE.2008.081].

*Rempe, L. and van Strien, S. [2008]: ''Absence of line fields and Mañé's theorem for nonrecurrent transcendental functions'', Trans. Amer. Math. Soc. '''363''', pp. 203-228; [http://dx.doi.org/10.1090/S0002-9947-2010-05125-6 DOI:10.1090/S0002-9947-2010-05125-6]

*Rippon, P. [1994]: ''On the boundaries of certain Siegel discs'', C. R. Acad. Sci. Paris, '''319''', pp. 821–826; [http://dx.doi.org/10.1007/BF02392745 DOI:10.1007/BF02392745].