<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\{a_t: t \in \mathbb {R}\}&lt; {{\,\textrm{SL}\,}}_d(\mathbb {R})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">{</mo> <msub> <mi>a</mi> <mi>t</mi> </msub> <mo>:</mo> <mi>t</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">}</mo> </mrow> <mo>&lt;</mo> <msub> <mrow> <mspace width="0.166667em" /> <mtext>SL</mtext> <mspace width="0.166667em" /> </mrow> <mi>d</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> be a diagonalizable subgroup whose expanding horospherical subgroup <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(U &lt; {{\,\textrm{SL}\,}}_d(\mathbb {R})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>U</mi> <mo>&lt;</mo> <msub> <mrow> <mspace width="0.166667em" /> <mtext>SL</mtext> <mspace width="0.166667em" /> </mrow> <mi>d</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is abelian. By the Birkhoff ergodic theorem, for any <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(x \in {{\,\textrm{SL}\,}}_d(\mathbb {R})/{{\,\textrm{SL}\,}}_d(\mathbb {Z})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <msub> <mrow> <mspace width="0.166667em" /> <mtext>SL</mtext> <mspace width="0.166667em" /> </mrow> <mi>d</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <msub> <mrow> <mspace width="0.166667em" /> <mtext>SL</mtext> <mspace width="0.166667em" /> </mrow> <mi>d</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and for almost every point <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(u \in U\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>u</mi> <mo>∈</mo> <mi>U</mi> </mrow> </math></EquationSource> </InlineEquation> the point <i>ux</i> is Birkhoff generic for <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(a_t\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>a</mi> <mi>t</mi> </msub> </math></EquationSource> </InlineEquation> when <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(t \rightarrow \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>. We prove that the same is true when <i>U</i> is replaced by any non-degenerate analytic curve in <i>U</i>. This Birkhoff genericity result has various applications in Diophantine approximation. For instance, we obtain density estimates for Dirichlet improvability along typical points on a curve in Euclidean space. Other applications address approximations by algebraic numbers and best approximations (in the sense of Lagarias).</p>

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

Birkhoff generic points on curves in horospheres

  • Omri Nisan Solan,
  • Andreas Wieser

摘要

Let \(\{a_t: t \in \mathbb {R}\}< {{\,\textrm{SL}\,}}_d(\mathbb {R})\) { a t : t R } < SL d ( R ) be a diagonalizable subgroup whose expanding horospherical subgroup \(U < {{\,\textrm{SL}\,}}_d(\mathbb {R})\) U < SL d ( R ) is abelian. By the Birkhoff ergodic theorem, for any \(x \in {{\,\textrm{SL}\,}}_d(\mathbb {R})/{{\,\textrm{SL}\,}}_d(\mathbb {Z})\) x SL d ( R ) / SL d ( Z ) and for almost every point \(u \in U\) u U the point ux is Birkhoff generic for \(a_t\) a t when \(t \rightarrow \infty \) t . We prove that the same is true when U is replaced by any non-degenerate analytic curve in U. This Birkhoff genericity result has various applications in Diophantine approximation. For instance, we obtain density estimates for Dirichlet improvability along typical points on a curve in Euclidean space. Other applications address approximations by algebraic numbers and best approximations (in the sense of Lagarias).