<p>A time change of a flow <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2024_1312_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mo stretchy="false">{</mo> <msub> <mi>T</mi> <mi>t</mi> </msub> <mo stretchy="false">}</mo> </math></EquationSource> <EquationSource Format="TEX">$\{T_{t}\}$</EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2024_1312_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>t</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </math></EquationSource> <EquationSource Format="TEX">${t\in \mathbb{R}}$</EquationSource> </InlineEquation>, is a reparametrization of the orbits of the flow such that each orbit is mapped to itself by an orientation-preserving homeomorphism of the parameter space. If a flow <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2024_1312_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mo stretchy="false">{</mo> <msub> <mi>S</mi> <mi>t</mi> </msub> <mo stretchy="false">}</mo> </math></EquationSource> <EquationSource Format="TEX">$\{S_{t}\}$</EquationSource> </InlineEquation> is isomorphic to a flow obtained by a reparametrization of a flow <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2024_1312_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mo stretchy="false">{</mo> <msub> <mi>T</mi> <mi>t</mi> </msub> <mo stretchy="false">}</mo> </math></EquationSource> <EquationSource Format="TEX">$\{T_{t}\}$</EquationSource> </InlineEquation>, then we say that <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2024_1312_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mo stretchy="false">{</mo> <msub> <mi>S</mi> <mi>t</mi> </msub> <mo stretchy="false">}</mo> </math></EquationSource> <EquationSource Format="TEX">$\{S_{t}\}$</EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2024_1312_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mo stretchy="false">{</mo> <msub> <mi>T</mi> <mi>t</mi> </msub> <mo stretchy="false">}</mo> </math></EquationSource> <EquationSource Format="TEX">$\{T_{t}\}$</EquationSource> </InlineEquation> are isomorphic up to a time change. For ergodic flows <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2024_1312_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mo stretchy="false">{</mo> <msub> <mi>S</mi> <mi>t</mi> </msub> <mo stretchy="false">}</mo> </math></EquationSource> <EquationSource Format="TEX">$\{S_{t}\}$</EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2024_1312_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mo stretchy="false">{</mo> <msub> <mi>T</mi> <mi>t</mi> </msub> <mo stretchy="false">}</mo> </math></EquationSource> <EquationSource Format="TEX">$\{T_{t}\}$</EquationSource> </InlineEquation>, Kakutani showed that this happens if and only if the two flows have Kakutani equivalent transformations as cross-sections. We prove that the Kakutani equivalence relation on ergodic invertible measure-preserving transformations of a standard non-atomic probability space is not a Borel set. This shows in a precise way that classification of ergodic transformations up to Kakutani equivalence is impossible. In particular, our results imply the non-classifiability of ergodic flows up to isomorphism after a time change. Moreover, we obtain anti-classification results under isomorphism for ergodic invertible transformations of a sigma-finite measure space. We also obtain anti-classification results under Kakutani equivalence for ergodic area-preserving smooth diffeomorphisms of the disk, annulus, and 2-torus, as well as real-analytic diffeomorphisms of the 2-torus. Our work generalizes the anti-classification results under isomorphism for ergodic transformations obtained by Foreman, Rudolph, and Weiss.</p>

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

Non-classifiability of ergodic flows up to time change

  • Marlies Gerber,
  • Philipp Kunde

摘要

A time change of a flow { T t } $\{T_{t}\}$ , t R ${t\in \mathbb{R}}$ , is a reparametrization of the orbits of the flow such that each orbit is mapped to itself by an orientation-preserving homeomorphism of the parameter space. If a flow { S t } $\{S_{t}\}$ is isomorphic to a flow obtained by a reparametrization of a flow { T t } $\{T_{t}\}$ , then we say that { S t } $\{S_{t}\}$ and { T t } $\{T_{t}\}$ are isomorphic up to a time change. For ergodic flows { S t } $\{S_{t}\}$ and { T t } $\{T_{t}\}$ , Kakutani showed that this happens if and only if the two flows have Kakutani equivalent transformations as cross-sections. We prove that the Kakutani equivalence relation on ergodic invertible measure-preserving transformations of a standard non-atomic probability space is not a Borel set. This shows in a precise way that classification of ergodic transformations up to Kakutani equivalence is impossible. In particular, our results imply the non-classifiability of ergodic flows up to isomorphism after a time change. Moreover, we obtain anti-classification results under isomorphism for ergodic invertible transformations of a sigma-finite measure space. We also obtain anti-classification results under Kakutani equivalence for ergodic area-preserving smooth diffeomorphisms of the disk, annulus, and 2-torus, as well as real-analytic diffeomorphisms of the 2-torus. Our work generalizes the anti-classification results under isomorphism for ergodic transformations obtained by Foreman, Rudolph, and Weiss.