1: %&biglatex

2: %\documentstyle[12pt,amssymb,graphicx]{amsart}

3: \documentclass[12pt]{amsart}

4: \usepackage{epic,eepic}

5: \usepackage{graphicx}

6: \usepackage{amsthm}

7: \usepackage{amsfonts}

8: \usepackage{amssymb}

9: \usepackage{latexsym}

10: \usepackage{amscd}

11: 

12: \def\Gm{\Gamma}

13: \def\phi{\varphi}

14: \def\1#1{^{(#1)}}

15: \newcommand{\I}[1]{I\1{#1}}

16: \newcommand{\area}[1]{\operatorname{area}(#1)}

17: \newcommand{\Part}{\mathcal{P}}

18: \newcommand{\F}{\mathcal{F}}

19: \def\th{\theta}

20: \DeclareMathOperator{\Dom}{\mathrm{Dom}}

21: \DeclareMathOperator{\diam}{\mathrm{diam}}

22: %\def\Im{\mathrm{Im}\,}

23: 

24: \def\Nu{\mathcal{V}}

25: 

26: 

27: \bibliographystyle{amsalpha}

28: \baselineskip=24pt

29: \addtolength{\textwidth}{1.4in}

30: \input{figs}

31: 

32: \input{psfig}

33: \newtheorem{thm}{Theorem}[section]

34: \newtheorem{cor}[thm]{Corollary}

35: \newtheorem{lem}[thm]{Lemma}

36: \newtheorem{prop}[thm]{Proposition}

37: \newtheorem{schw}{Schwarz Lemma}

38: \newtheorem{tet}{Teichm\"uller's Theorem}

39: \newtheorem{sfmc}{Strebel's Frame Mapping Condition}

40: \newtheorem{sectl}{Sector Lemma}

41: 

42: \newenvironment{pf}{\proof[\proofname]}{\endproof}

43: \newenvironment{pf*}[1]{\proof[#1]}{\endproof}

44: \usepackage{euscript}

45: 

46: \usepackage[OT2,OT1]{fontenc}

47: \def\cyr{\fontencoding{OT2}\fontfamily{wncyr}\selectfont}

48: \def\cyi{\fontencoding{OT2}\fontfamily{wncyi}\selectfont}

49: \newcommand{\cal}[1]{{\mathcal #1}}

50: \newcommand{\BBB}[1]{{\mathbb #1}}

51: 

52: \newcommand{\nothing}{{}}

53: 

54: \renewcommand{\theschw}{}

55: \renewcommand{\thetet}{}

56: \renewcommand{\thesfmc}{}

57: \renewcommand{\thesectl}{}

58: 

59: \theoremstyle{definition}

60: \newtheorem{defn}{Definition}[section]

61: 

62: \newcommand{\QED}{\rlap{$\sqcup$}$\sqcap$\smallskip}

63: 

64: \theoremstyle{remark}

65: \newtheorem{rem}{Remark}[section]

66: \newtheorem{notation}{Notation}

67: \renewcommand{\thenotation}{}

68: \newcommand{\dist}{\operatorname{dist}}

69: \newcommand{\meas}{\operatorname{meas}}

70: \newcommand{\cl}{\operatorname{cl}}

71: \renewcommand{\mod}{\operatorname{mod}}

72: \newcommand{\tl}{\tilde}

73: \newcommand{\wtl}{\widetilde}

74: \newcommand{\eps}{\epsilon}

75: \newcommand{\EE}{{\Ccal{E}}}

76: \newcommand{\tw}{{{\rm\boldsymbol T}}}

77: \newcommand{\Eps}{\operatorname{E}}

78: \newcommand{\ps}{\operatorname{PS}}

79: 

80: \newcommand{\ceq}{\,\displaystyle{\Large\mbox{$\sim$}}_{\text{\hspace{-14pt}\tiny conf}}\,}

81: \newcommand{\ceqw}{\underset{\text{\tiny conf,W}}{\mbox{\Large$ \sim$}}}

82: \newcommand{\heq}{\underset{\text{\tiny hyb}}{\mbox{\Large$ \sim$}}}

83: \newcommand{\qeq}{\underset{\text{\tiny qc}}{\mbox{\Large$ \sim$}}}

84: \newcommand{\hyb}{\operatorname{\it Hyb}}

85: \newcommand{\ext}{\operatorname{\it Ext}}

86: \newcommand{\qc}{\operatorname{\it QC}}

87: \newcommand{\bE}{\operatorname{\bf E}}

88: 

89: %%%\renewcommand{\frak}[1]{\EE}

90: 

91: %%%%%%%

92: \newcommand{\Cbb}[1]{{{\Bbb{#1}}}}

93: \newcommand{\Ccal}[1]{{{\cal{#1}}}}

94: %%%%%%%%%%

95: \newcommand{\aaa}[1]{{{\mathbf{#1}}}}

96: \newcommand{\crit}{{{\aaa C}}}

97: \newcommand{\cu}{{{\aaa C}_U}}

98: \newcommand{\cur}{{{\aaa C}_U^\RR}}

99: \newcommand{\cv}{{{\aaa C}_V}}

100: \newcommand{\pr}{{\cal P}}

101: \newcommand{\hol}{{\aaa H}}

102: \newcommand{\mfld}{{\aaa M}}

103: \newcommand{\bran}{{{\aaa X}}}

104: \newcommand{\tu}{{{\aaa B}_U}}

105: \renewcommand{\k}{\kappa}

106: \newcommand{\srk}{{\aaa S}_{r_1,\ldots,r_\k }}

107: 

108: \newcommand{\abs}[1]{|{#1}|}

109: \newcommand{\norm}[1]{||{#1}||}

110: \newcommand{\sg}{\sigma}

111: \newcommand{\dl}{\delta}

112: 

113: 

114: \renewcommand{\Re}{\operatorname{Re}}

115: \renewcommand{\Im}{\operatorname{Im}}

116: 

117: \numberwithin{equation}{section}

118: \newcommand{\thmref}[1]{Theorem~\ref{#1}}

119: \newcommand{\propref}[1]{Proposition~\ref{#1}}

120: \newcommand{\secref}[1]{\S\ref{#1}}

121: \newcommand{\lemref}[1]{Lemma~\ref{#1}}

122: \newcommand{\corref}[1]{Corollary~\ref{#1}}

123: \newcommand{\figref}[1]{Figure~\ref{#1}}

124: \newcommand{\ang}[2]{\widehat{(#1,#2)}}

125: \newcommand{\C}[1]{{\Bbb C_{#1}}}

126: \newcommand{\cQ}{{\cal Q}}

127: \newcommand{\cA}{{\cal A}}

128: \newcommand{\cU}{{\cal U}}

129: \newcommand{\cW}{{\cal W}}

130: \newcommand{\cM}{{\cal M}}

131: \newcommand{\cV}{{\cal V}}

132: \newcommand{\cF}{{\cal F}}

133: \newcommand{\cG}{{\cal G}}

134: \newcommand{\cB}{{\aaa B}}

135: \newcommand{\cT}{{\cal T}}

136: \newcommand{\cN}{{\cal N}}

137: \newcommand{\cI}{{\cal I}}

138: \newcommand{\cP}{{\cal P}}

139: \newcommand{\cC}{{\cal C}}

140: \newcommand{\cH}{{\cal H}}

141: \newcommand{\cR}{{\cal R}}

142: \newcommand{\cL}{{\cal L}}

143: \newcommand{\cD}{{\cal D}}

144: \newcommand{\cE}{{\cal E}}

145: \newcommand{\cS}{{\cal S}}

146: \newcommand{\cY}{{\cal Y}}

147: \newcommand{\cK}{{\cal K}}

148: \newcommand{\PP}{{\Bbb P}}

149: \newcommand{\CC}{{\Bbb C}}

150: \newcommand{\RR}{{\Bbb R}}

151: \newcommand{\TT}{{\Bbb T}}

152: \newcommand{\ZZ}{{\Bbb Z}}

153: \newcommand{\NN}{{\Bbb N}}

154: \newcommand{\DD}{{\Bbb D}}

155: \newcommand{\HH}{{\Bbb H}}

156: \newcommand{\QQ}{{\Bbb Q}}

157: 

158: \newcommand{\cren}{\cR_{\text cyl}}

159: \newcommand{\ov}[1]{\overline{#1}}

160: \newcommand{\sm}{\setminus}

161: 

162: 

163: \newcommand{\dfe}{\operatorname{Def}^\eps}

164: \newcommand{\df}{\operatorname{Def}}

165: \newcommand{\dfer}{\operatorname{Def}^\eps_\RR}

166: \newcommand{\dfr}{\operatorname{Def}_\RR}

167: \newcommand{\Ker}{\operatorname{Ker}}

168: 

169: 

170: \begin{document}

171: \addtolength{\evensidemargin}{-0.7in}

172: \addtolength{\oddsidemargin}{-0.7in}

173: 

174: 

175: 

176: 

177: \title[Rigidity Problem]{The rigidity problem for analytic critical circle maps}

178: \author{\fbox{D. Khmelev} and M. Yampolsky}

179: \thanks{This paper was completed during the authors' stay at the Institut Henri Poincar{\'e}

180: during Fall 2003, and presented at the IHP at the same time.

181: \\

182: The second author was partially supported by an NSERC Discovery grant.}

183: \date{September 8, 2004}

184: \begin{abstract}

185: It is shown that if $f$ and $g$ are any two analytic critical circle mappings with the same irrational rotation number, then

186: the conjugacy that maps the critical point of $f$ to that of $g$ has regularity $C^{1+\alpha}$ at the critical point, with a

187: universal value of $\alpha>0$. As a consequence, a new proof of the hyperbolicity of the full renormalization horseshoe

188: of critical circle maps is given.

189: \end{abstract}

190: \maketitle

191: 

192: 

193: %\begin{abstract}

194: %\end{abstract}

195: \input{foreword}

196: \input{prelim}

197: \input{parab}

198: \input{proofs}

199: \input{nonlinjulia}

200: \input{hyperbolicity}

201: \input{conclusions}

202: 

203: \begin{thebibliography}{*****}

204: \bibitem[BR]{BR} L. Bers \& H.L. Royden. Holomorphic families of injections. {\it Acta Math.}

205: {\bf 157}(1986), 259--286.

206: 

207: \bibitem[Do]{Do} A. Douady. Does a Julia set depend continuously on the polynomial? In {\it Complex

208: dynamical systems: The mathematics behind the Mandelbrot set and Julia sets}. ed. R.L. Devaney,

209: Proc. of Symposia in Applied Math., Vol 49, Amer. Math. Soc., 1994, pp. 91-138.

210: 

211: \bibitem[DH1]{orsay-notes} A. Douady, J.H. Hubbard. Etude dynamique des polyn\^omes complexes, I-II.

212: Pub. Math. d'Orsay, 1984.

213: 

214: \bibitem[DH2]{DH2} A. Douady, J.H. Hubbard. On the dynamics of polynomial-like mappings.

215: {\it Ann. Sci. {\'E}c. Norm. Sup.}, {\bf 18}(1985), 287-343.

216: 

217: 

218: \bibitem[dF1]{dF1} E. de Faria. Proof of universality for critical circle

219: mappings. Thesis, CUNY, 1992.

220: 

221: \bibitem[dF2]{dF2} E. de Faria. Asymptotic rigidity of scaling ratios

222: for critical circle mappings. {\it Ergodic Theory Dynam. Systems} {\bf 19}(1999), no. 4, 995-1035.

223: 

224: \bibitem[dFdM1]{dFdM1} E. de~Faria and W. de~Melo. Rigidity of critical

225: circle mappings I. {\it J. Eur. Math. Soc. (JEMS)} {\bf 1}(1999), no.    4, 339-392. 

226: 

227: \bibitem[dFdM2]{dFdM2} E. de~Faria and W. de~Melo. Rigidity of critical

228: circle mappings II. {\it J. Amer. Math. Soc.}, {\bf 13}(2000), no. 2, 343-370.

229: 

230: \bibitem[Ep1]{Ep} A. Epstein, Towers of finite type complex analytic maps. PhD Thesis, CUNY, 1993.

231: 

232: 

233: \bibitem[EKT]{EKT} A. Epstein, L. Keen, C. Tresser. The set of maps

234: $F_{a,b}:x\mapsto x+a+\frac{b}{2\pi}\sin(2\pi x)$ with any given rotation interval is contractible.

235: {\it Commun. Math. Phys.} {\bf 173}, 313-333, 1995.

236: 

237: 

238: \bibitem[EY]{EY} A. Epstein, M. Yampolsky. The universal parabolic map. IMS at Stony Brook Preprint 2001/04.

239: 

240: 

241: \bibitem[EE]{EE} J.-P. Eckmann and H. Epstein. On the existence of

242: fixed points of the composition operator for circle maps. {\it Commun.

243: Math. Phys.} {\bf 107} (1986), 213-231.

244: 

245: 

246: \bibitem[FKS]{FKS} M. Feigenbaum, L. Kadanoff, and S. Shenker.

247: Quasi-periodicity in dissipative systems. A renormalization group

248: analysis. {\it Physica} {\bf 5D} (1982), 370-386.

249: 

250: 

251: \bibitem[He]{H} M. Herman. Conjugaison quasi-symmetrique des homeomorphismes

252: analytiques du cercle a des rotations. Manuscript.

253: 

254: %%%\bibitem[Hin]{Hinkle} B. Hinkle. Parabolic limits of renormalization. Erg. Th. \& Dyn. Sys.,

255: {\bf 20}(2000), 173-229.

256: 

257: \bibitem[Keen]{Keen} L. Keen. Dynamics of holomorphic self-maps of ${\Bbb C}^*$. In {\it Holomorphic functions

258: and moduli I} (ed. D. Drasin et al.) Springer-verlag, New York, 1988.

259: 

260: \bibitem[Khan]{Khanin} K. Khanin, talk presented at the Kolmogorov-100 conference, Moscow, 2003.

261: 

262: \bibitem[Lan1]{La1} O.E. Lanford. Renormalization group methods for critical circle mappings with general rotation number, {\it VIIIth International Congress on Mathematical Physics (Marseille,1986)}, World Sci. Publishing, Singapore, 532-536, (1987).

263: 

264: \bibitem[Lan2]{La2} O.E. Lanford. Renormalization group methods for critical circle

265: mappings. Nonlinear evolution and chaotic phenomena, {\it NATO adv. Sci. Inst. Ser. B:Phys.},{\bf 176}, Plenum, New York, 25-36, (1988).

266: 

267: %%\bibitem[Lyu1]{Lyubich-survey} M. Lyubich. The dynamics of rational transforms: the topological picture.

268: %%{\it Russ. Math. Surveys} {\bf 41}(1986), 35-95.

269: 

270: \bibitem[Lyu2]{Lyubich-cambridge} M. Lyubich.

271: Renormalization ideas in conformal dynamics. {\it Cambridge Seminar ``Current Developments in

272:     Math.", May 1995.} International Press, 1995. Cambridge, MA, 155-184.

273: 

274: \bibitem[Lyu3]{Lyubich-rigidity} M. Lyubich. Dynamics of quadratic polynomials, I-II. {\it Acta Math.}, {\bf 178}(1997), 185-297. 

275: 

276: \bibitem[Lyu4]{Lyubich-feigenbaum} M. Lyubich. Feigenbaum-Coullet-Tresser Universality and Milnor's Hairiness Conjecture.  {\it  Ann. of Math.} (2) {\bf 149}(1999), no. 2, 319--420.

277: 

278: \bibitem[Lyu5]{Lyubich-horseshoe} M. Lyubich. Almost every real quadratic map is either regular or stochastic. {\it Annals of Math.}, to appear.

279: 

280: \bibitem[LY]{LY} M. Lyubich and M.Yampolsky. Dynamics of quadratic polynomials:

281: complex bounds for real maps.  {\it Ann. l'Inst. Fourier} {\bf 47}, 4(1997), 1219-1255.

282: 

283: \bibitem[MP]{MP} R.S. MacKay, I.C. Percival. Universal small-scale structure near the boundary

284: of Siegel disks of arbitrary rotation number. {\it Physica} {\bf 26D}(1987), 193-202.

285: 

286: \bibitem[MSS]{MSS} R. Ma{\~n}{\'e}, P. Sad, D. Sullivan. On the dynamics of rational maps.

287: {\it Ann. Sci. \'Ec. Norm. Sup.} {\bf 16}(1983), 193--217.

288: 

289: \bibitem[McM1]{McM1} C. McMullen. Complex dynamics and renormalization. {\it Annals

290: of Math. Studies}, v.135, Princeton Univ. Press, 1994.

291: 

292: \bibitem[McM2]{McM2} C. McMullen.

293: Renormalization and 3-manifolds which fiber over the circle.

294:   {\it Annals of Math. Studies}, Princeton University Press, 1996.

295: 

296: \bibitem[Mes]{Mes} B.D. Mestel. A computer assisted proof of universality

297: for cubic critical maps of the circle with golden mean rotation number.

298: PhD Thesis, University of Warwick, 1985.

299: 

300: \bibitem[Mil]{Milnor} J. Milnor. {\it Dynamics in one complex variable. Introductory lectures.} 

301: Friedr. Vieweg \& Sohn, Braunschweig, 1999.

302: 

303: \bibitem[MvS]{MvS} W. de Melo \& S. van Strien. {\it One dimensional dynamics.}    Springer-Verlag, 1993.

304: 

305: \bibitem[ORSS]{ORSS}  S. Ostlund, D. Rand, J. Sethna, E. Siggia,

306: Universal properties of the transition from quasi-periodicity to chaos in

307: dissipative systems. {\it Physica}, {\bf 8D}(1983), 303-342.

308: 

309: 

310: \bibitem[Sul1]{S1} D.Sullivan. Quasiconformal homeomorphisms and

311: dynamics, topology and geometry. {\it Proc. ICM-86, Berkeley}, v. II,

312: 1216-1228.

313: 

314: \bibitem[Sul2]{Sul} D.Sullivan. Bounds, quadratic differentials, and renormalization conjectures. {\it AMS Centennial Publications.

315: {\bf 2}: Mathematics into Twenty-first Century} (1992).

316: 

317: \bibitem[Sh]{Sh} M. Shishikura.  The Hausdorff  dimension of the boundary of the Mandelbrot set and Julia sets. 

318: {\it Ann. of Math.} (2) {\bf 147}(1998), no. 2, 225-267.

319: 

320: \bibitem[Sw1]{Sw} G.\'Swia\c\negthinspace tek. Rational rotation numbers for maps of the circle. 

321: {\it Commun. Math. Phys.} {\bf 119}(1988), 109-128.

322: 

323: 

324: 

325: \bibitem[Ya1]{Ya1} M. Yampolsky.

326: Complex bounds for renormalization of critical circle maps,

327: {\it Erg. Th. \&  Dyn. Systems}. {\bf 19}(1999), 227-257.

328: 

329: 

330: \bibitem[Ya2]{Ya2} M. Yampolsky. 

331: The attractor of renormalization and rigidity of towers of critical circle

332: maps, {\it Commun. Math. Phys.}, {\bf 218}(2001), no. 3, 537-568.

333: 

334: \bibitem[Ya3]{Ya3} M. Yampolsky. Hyperbolicity of renormalization of critical circle maps.

335: {\it Publ. Math. IH{\'E}S}, {\bf No. 96} (2002), 1--41

336: 

337: \bibitem[Ya4]{Ya4} M. Yampolsky. The global horseshoe for the renormalization of critical circle

338: maps. {\it Commun. Math. Phys.},  {\bf 240}(2003), 75--96.

339: 

340: \bibitem[Yoc]{Yoc} J.-C. Yoccoz, Il n'ya pas de contre-example de Denjoy analytique, {\it C.R. Acad. Sci.

341: Paris} {\bf 298}(1984) s\'erie I, 141-144.

342: 

343: \end{thebibliography}

344: \end{document}

345: