<p>For any smooth proper rigid analytic space <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1321_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>X</mi> </math></EquationSource> <EquationSource Format="TEX">$X$</EquationSource> </InlineEquation> over a complete algebraically closed extension of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1321_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">Q</mi> <mi>p</mi> </msub> </math></EquationSource> <EquationSource Format="TEX">$\mathbb{Q}_{p}$</EquationSource> </InlineEquation>, we construct a <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1321_Article_IEq5.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>p</mi> </math></EquationSource> <EquationSource Format="TEX">$p$</EquationSource> </InlineEquation>-adic Simpson correspondence: an equivalence of categories between vector bundles on Scholze’s pro-étale site of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1321_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>X</mi> </math></EquationSource> <EquationSource Format="TEX">$X$</EquationSource> </InlineEquation> and Higgs bundles on <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1321_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>X</mi> </math></EquationSource> <EquationSource Format="TEX">$X$</EquationSource> </InlineEquation>. This generalises a result of Faltings from smooth projective curves to any higher dimension, and further to the rigid analytic setup. The strategy is new, and is based on the study of rigid analytic moduli spaces of pro-étale invertible sheaves on spectral varieties.</p>

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

A \(p\)-adic Simpson correspondence for smooth proper rigid varieties

  • Ben Heuer

摘要

For any smooth proper rigid analytic space X $X$ over a complete algebraically closed extension of Q p $\mathbb{Q}_{p}$ , we construct a p $p$ -adic Simpson correspondence: an equivalence of categories between vector bundles on Scholze’s pro-étale site of X $X$ and Higgs bundles on X $X$ . This generalises a result of Faltings from smooth projective curves to any higher dimension, and further to the rigid analytic setup. The strategy is new, and is based on the study of rigid analytic moduli spaces of pro-étale invertible sheaves on spectral varieties.