<p>We prove a generalization of the Jacobian criterion of Fargues-Scholze for spaces of sections of a scheme smooth quasi-projective over the algebraic Fargues-Fontaine curve [<CitationRef CitationID="CR8">8</CitationRef>, Section&#xa0;IV.4]. Namely, we show how to use their criterion to deduce an analogue for spaces of sections of a smooth Artin stack over the algebraic curve obtained by taking the stack quotient of such a relatively smooth quasi-projective scheme by the action of a linear algebraic group. As an application, we show various moduli stacks appearing in the Fargues-Scholze geometric Langlands program are cohomologically smooth Artin <i>v</i>-stacks and compute their <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation>-dimensions.</p>

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

A Jacobian criterion for artin v-stacks

  • Linus Hamann

摘要

We prove a generalization of the Jacobian criterion of Fargues-Scholze for spaces of sections of a scheme smooth quasi-projective over the algebraic Fargues-Fontaine curve [8, Section IV.4]. Namely, we show how to use their criterion to deduce an analogue for spaces of sections of a smooth Artin stack over the algebraic curve obtained by taking the stack quotient of such a relatively smooth quasi-projective scheme by the action of a linear algebraic group. As an application, we show various moduli stacks appearing in the Fargues-Scholze geometric Langlands program are cohomologically smooth Artin v-stacks and compute their \(\ell \) -dimensions.