<p>Let <i>X</i> be a smooth quasi-projective surface over a number field <i>K</i>, and let <i>L</i> be a possibly singular foliation on <i>X</i>. Suppose that, for almost all non-zero prime ideal <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13366_2025_794_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {p}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">p</mi> </math></EquationSource> </InlineEquation> of the ring of integers <i>R</i> of <i>K</i>, the reduction of <i>L</i> modulo <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13366_2025_794_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {p}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">p</mi> </math></EquationSource> </InlineEquation> is closed under <i>p</i>th powers, where <i>p</i> denotes the characteristic of the residue field <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13366_2025_794_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="32" /> </InlineMediaObject> <EquationSource Format="TEX">\(R/\mathfrak {p}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo stretchy="false">/</mo> <mi mathvariant="fraktur">p</mi> </mrow> </math></EquationSource> </InlineEquation>. Then any <i>L</i>-invariant smooth formal curve is <i>A</i>-analytic. Building on prior work of Bost we obtain an algebraicity criterion for those curves.</p>

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

A-analyticity of separatrices of foliations

  • Stéphane Druel

摘要

Let X be a smooth quasi-projective surface over a number field K, and let L be a possibly singular foliation on X. Suppose that, for almost all non-zero prime ideal \(\mathfrak {p}\) p of the ring of integers R of K, the reduction of L modulo \(\mathfrak {p}\) p is closed under pth powers, where p denotes the characteristic of the residue field \(R/\mathfrak {p}\) R / p . Then any L-invariant smooth formal curve is A-analytic. Building on prior work of Bost we obtain an algebraicity criterion for those curves.