<p>We consider projective, irreducible, non-singular curves over an algebraically closed field <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Bbbk \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">k</mi> </math></EquationSource> </InlineEquation>. A cover <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(Y \rightarrow X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Y</mi> <mo stretchy="false">→</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation> of such curves corresponds to an extension <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\Omega /\Sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">/</mo> <mi mathvariant="normal">Σ</mi> </mrow> </math></EquationSource> </InlineEquation> of their function fields and yields an isomorphism <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathbb {A}_{Y} \simeq \mathbb {A}_{X} \otimes _{\Sigma } \Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">A</mi> <mi>Y</mi> </msub> <mo>≃</mo> <msub> <mi mathvariant="double-struck">A</mi> <mi>X</mi> </msub> <msub> <mo>⊗</mo> <mi mathvariant="normal">Σ</mi> </msub> <mi mathvariant="normal">Ω</mi> </mrow> </math></EquationSource> </InlineEquation> of their geometric adele rings. The primitive element theorem shows that <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathbb {A}_{Y}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">A</mi> <mi>Y</mi> </msub> </math></EquationSource> </InlineEquation> is a quotient of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathbb {A}_{X}[T]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">A</mi> <mi>X</mi> </msub> <mrow> <mo stretchy="false">[</mo> <mi>T</mi> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> by a polynomial. In general, we may look at quotient algebras <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathbb {A}_{X}\lbrace \hspace{0.0pt}{\mathbbm {p}}\hspace{0.0pt}\rbrace = \mathbb {A}_{X}[T]/(\mathbbm {p}(T))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">A</mi> <mi>X</mi> </msub> <mrow> <mo stretchy="false">{</mo> <mi mathvariant="double-struck">p</mi> <mo stretchy="false">}</mo> </mrow> <mo>=</mo> <msub> <mi mathvariant="double-struck">A</mi> <mi>X</mi> </msub> <mrow> <mo stretchy="false">[</mo> <mi>T</mi> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">/</mo> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">p</mi> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathbbm {p}(T) \in \mathbb {A}_{X}[T]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">p</mi> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msub> <mi mathvariant="double-struck">A</mi> <mi>X</mi> </msub> <mrow> <mo stretchy="false">[</mo> <mi>T</mi> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is monic and separable over <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathbb {A}_{X}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">A</mi> <mi>X</mi> </msub> </math></EquationSource> </InlineEquation>, and try to characterize the field extensions <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\Omega /\Sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">/</mo> <mi mathvariant="normal">Σ</mi> </mrow> </math></EquationSource> </InlineEquation> lying in <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mathbb {A}_{X}\lbrace \hspace{0.0pt}{\mathbbm {p}}\hspace{0.0pt}\rbrace \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">A</mi> <mi>X</mi> </msub> <mrow> <mo stretchy="false">{</mo> <mi mathvariant="double-struck">p</mi> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> which arise from covers as above. We achieve this in two ways; the first, topologically, as those <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> which embed discretely in <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\mathbb {A}_{X}\lbrace \hspace{0.0pt}{\mathbbm {p}}\hspace{0.0pt}\rbrace \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">A</mi> <mi>X</mi> </msub> <mrow> <mo stretchy="false">{</mo> <mi mathvariant="double-struck">p</mi> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. The second is the characterization of such subfields <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> as those which satisfy the additive analog of the product formula in classical adele rings. The technical machinery is based on the use of Tate topologies on the quotient algebras <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\mathbb {A}_{X}\lbrace \hspace{0.0pt}{\mathbbm {p}}\hspace{0.0pt}\rbrace \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">A</mi> <mi>X</mi> </msub> <mrow> <mo stretchy="false">{</mo> <mi mathvariant="double-struck">p</mi> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. These are not locally compact, but we are able to define an additive content function as an index measuring the discrepancy of dimensions in commensurable subspaces.</p>

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

Characterization of subfields of adelic algebras by a product formula

  • Luis Manuel Navas Vicente,
  • Francisco J. Plaza Martín

摘要

We consider projective, irreducible, non-singular curves over an algebraically closed field \(\Bbbk \) k . A cover \(Y \rightarrow X\) Y X of such curves corresponds to an extension \(\Omega /\Sigma \) Ω / Σ of their function fields and yields an isomorphism \(\mathbb {A}_{Y} \simeq \mathbb {A}_{X} \otimes _{\Sigma } \Omega \) A Y A X Σ Ω of their geometric adele rings. The primitive element theorem shows that \(\mathbb {A}_{Y}\) A Y is a quotient of \(\mathbb {A}_{X}[T]\) A X [ T ] by a polynomial. In general, we may look at quotient algebras \(\mathbb {A}_{X}\lbrace \hspace{0.0pt}{\mathbbm {p}}\hspace{0.0pt}\rbrace = \mathbb {A}_{X}[T]/(\mathbbm {p}(T))\) A X { p } = A X [ T ] / ( p ( T ) ) where \(\mathbbm {p}(T) \in \mathbb {A}_{X}[T]\) p ( T ) A X [ T ] is monic and separable over \(\mathbb {A}_{X}\) A X , and try to characterize the field extensions \(\Omega /\Sigma \) Ω / Σ lying in \(\mathbb {A}_{X}\lbrace \hspace{0.0pt}{\mathbbm {p}}\hspace{0.0pt}\rbrace \) A X { p } which arise from covers as above. We achieve this in two ways; the first, topologically, as those \(\Omega \) Ω which embed discretely in \(\mathbb {A}_{X}\lbrace \hspace{0.0pt}{\mathbbm {p}}\hspace{0.0pt}\rbrace \) A X { p } . The second is the characterization of such subfields \(\Omega \) Ω as those which satisfy the additive analog of the product formula in classical adele rings. The technical machinery is based on the use of Tate topologies on the quotient algebras \(\mathbb {A}_{X}\lbrace \hspace{0.0pt}{\mathbbm {p}}\hspace{0.0pt}\rbrace \) A X { p } . These are not locally compact, but we are able to define an additive content function as an index measuring the discrepancy of dimensions in commensurable subspaces.