<p>We consider generalized interval exchange transformations (GIETs) of <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5197_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(d\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> intervals which are <i>linearizable</i>, i.e.&#xa0;differentiably conjugated to standard interval exchange maps (IETs) via a diffeomorphism <i>h</i> of [0,&#xa0;1] and study the regularity of the conjugacy <i>h</i>. Using a renormalization operator obtained accelerating Rauzy–Veech induction, we show that, under a full measure condition on the IET obtained by linearization, if the orbit of the GIET under renormalization converges exponentially fast in a <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5197_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {C}}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">C</mi> </mrow> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> distance to the subspace of IETs, there exists an exponent <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5197_Article_IEq3.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(0&lt;\alpha &lt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>α</mi> <mo>&lt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> such that <i>h</i> is <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5197_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="35" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {C}}^{1+\alpha }\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">C</mi> </mrow> <mrow> <mn>1</mn> <mo>+</mo> <mi>α</mi> </mrow> </msup> </math></EquationSource> </InlineEquation>. Combined with the results proved by the authors in [<CitationRef CitationID="CR4">4</CitationRef>], this implies in particular the following improvement of the rigidity result in genus two proved in [<CitationRef CitationID="CR4">4</CitationRef>] (from <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5197_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {C}}^1\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">C</mi> </mrow> <mn>1</mn> </msup> </math></EquationSource> </InlineEquation> to <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5197_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="35" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {C}}^{1+\alpha }\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">C</mi> </mrow> <mrow> <mn>1</mn> <mo>+</mo> <mi>α</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> rigidity): for almost every irreducible IET <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5197_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_0 \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5197_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(d=4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>=</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5197_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(d=5\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>=</mo> <mn>5</mn> </mrow> </math></EquationSource> </InlineEquation>, for any GIET which is topologically conjugate to <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5197_Article_IEq10.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> via a homeomorphism <i>h</i> and has vanishing boundary, the topological conjugacy <i>h</i> is actually a <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5197_Article_IEq11.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="35" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {C}}^{1+\alpha }\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">C</mi> </mrow> <mrow> <mn>1</mn> <mo>+</mo> <mi>α</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> diffeomorphism, i.e.&#xa0;a diffeomorphism <i>h</i> with derivative <i>Dh</i> which is <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5197_Article_IEq12.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation>-Hölder continuous.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Regularity of Conjugacies of Linearizable Generalized Interval Exchange Transformations

  • Selim Ghazouani,
  • Corinna Ulcigrai

摘要

We consider generalized interval exchange transformations (GIETs) of \(d\ge 2\) d 2 intervals which are linearizable, i.e. differentiably conjugated to standard interval exchange maps (IETs) via a diffeomorphism h of [0, 1] and study the regularity of the conjugacy h. Using a renormalization operator obtained accelerating Rauzy–Veech induction, we show that, under a full measure condition on the IET obtained by linearization, if the orbit of the GIET under renormalization converges exponentially fast in a \({\mathcal {C}}^2\) C 2 distance to the subspace of IETs, there exists an exponent \(0<\alpha <1\) 0 < α < 1 such that h is \({\mathcal {C}}^{1+\alpha }\) C 1 + α . Combined with the results proved by the authors in [4], this implies in particular the following improvement of the rigidity result in genus two proved in [4] (from \({\mathcal {C}}^1\) C 1 to \({\mathcal {C}}^{1+\alpha }\) C 1 + α rigidity): for almost every irreducible IET \(T_0 \) T 0 with \(d=4\) d = 4 or \(d=5\) d = 5 , for any GIET which is topologically conjugate to \(T_0\) T 0 via a homeomorphism h and has vanishing boundary, the topological conjugacy h is actually a \({\mathcal {C}}^{1+\alpha }\) C 1 + α diffeomorphism, i.e. a diffeomorphism h with derivative Dh which is \(\alpha \) α -Hölder continuous.