Pub Date : 2024-07-05DOI: 10.1007/s00229-024-01581-z
Dan Edidin, Zhengning Hu
We compute the integral Grothendieck rings of the moduli stacks, ({{mathcal {M}}}_2), (overline{{{mathcal {M}}}}_2) of smooth and stable curves of genus two respectively. We compute ({{,textrm{K},}}_0({{mathcal {M}}}_2)) by using the presentation of ({{mathcal {M}}}_2) as a global quotient stack given by Vistoli (Invent Math 131(3):635–644, 1998). To compute the Grothendieck ring ({{,textrm{K},}}_0(overline{{{mathcal {M}}}}_2)) we decompose (overline{{{mathcal {M}}}}_2) as (Delta _1) and its complement (overline{{{mathcal {M}}}}_2 setminus Delta _1) and use their presentations as quotient stacks given by Larson (Algebr Geom 8 (3):286–318, 2021) to compute the Grothendieck rings. We show that they are torsion-free and this, together with the Riemann–Roch isomorphism allows us to ultimately give a presentation for the integral Grothendieck ring ({{,textrm{K},}}_0(overline{{{mathcal {M}}}}_2)).
{"title":"The $${{,textrm{K},}}$$ -theory of the moduli stacks $${{mathcal {M}}}_2$$ and $$overline{{{mathcal {M}}}}_2$$","authors":"Dan Edidin, Zhengning Hu","doi":"10.1007/s00229-024-01581-z","DOIUrl":"https://doi.org/10.1007/s00229-024-01581-z","url":null,"abstract":"<p>We compute the integral Grothendieck rings of the moduli stacks, <span>({{mathcal {M}}}_2)</span>, <span>(overline{{{mathcal {M}}}}_2)</span> of smooth and stable curves of genus two respectively. We compute <span>({{,textrm{K},}}_0({{mathcal {M}}}_2))</span> by using the presentation of <span>({{mathcal {M}}}_2)</span> as a global quotient stack given by Vistoli (Invent Math 131(3):635–644, 1998). To compute the Grothendieck ring <span>({{,textrm{K},}}_0(overline{{{mathcal {M}}}}_2))</span> we decompose <span>(overline{{{mathcal {M}}}}_2)</span> as <span>(Delta _1)</span> and its complement <span>(overline{{{mathcal {M}}}}_2 setminus Delta _1)</span> and use their presentations as quotient stacks given by Larson (Algebr Geom 8 (3):286–318, 2021) to compute the Grothendieck rings. We show that they are torsion-free and this, together with the Riemann–Roch isomorphism allows us to ultimately give a presentation for the integral Grothendieck ring <span>({{,textrm{K},}}_0(overline{{{mathcal {M}}}}_2))</span>.\u0000</p>","PeriodicalId":49887,"journal":{"name":"Manuscripta Mathematica","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141547789","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-02DOI: 10.1007/s00229-024-01577-9
Nefton Pali
We show that shrinking Kähler-Ricci solitons over a compact Kähler manifold are gradient shrinking Kähler-Ricci solitons. The proof relies on a remarkable identity on the kernels of a real and a complex elliptic operator proved in our solution of the variational stability problem for gradient shrinking Kähler-Ricci solitons in Pali (Complex Manifolds 3(1):41–144, 2016).
{"title":"On weaker notions for Kähler-Ricci solitons","authors":"Nefton Pali","doi":"10.1007/s00229-024-01577-9","DOIUrl":"https://doi.org/10.1007/s00229-024-01577-9","url":null,"abstract":"<p>We show that shrinking Kähler-Ricci solitons over a compact Kähler manifold are gradient shrinking Kähler-Ricci solitons. The proof relies on a remarkable identity on the kernels of a real and a complex elliptic operator proved in our solution of the variational stability problem for gradient shrinking Kähler-Ricci solitons in Pali (Complex Manifolds 3(1):41–144, 2016).</p>","PeriodicalId":49887,"journal":{"name":"Manuscripta Mathematica","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141510167","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-28DOI: 10.1007/s00229-024-01554-2
Hector Pasten, Cecília Salgado
For an elliptic surface (pi :Xrightarrow mathbb {P}^1) defined over a number field K, a theorem of Silverman shows that for all but finitely many fibres above K-rational points, the resulting elliptic curve over K has Mordell-Weil rank at least as large as the rank of the group of sections of (pi ). When X is a K3 surface with two distinct elliptic fibrations, we show that the set of K-rational points of (mathbb {P}^1) for which this rank inequality is strict, is not a thin set, under certain hypothesis on the fibrations. Our results provide one of the first cases of this phenomenon beyond that of rational elliptic surfaces.
对于定义在数域 K 上的椭圆曲面 (pi :Xrightarrow mathbb {P}^1),西尔弗曼(Silverman)的一个定理表明,除了有限多个 K 有理点之上的纤维之外,K 上的椭圆曲线的莫德尔-韦尔阶(Mordell-Weil rank)至少与 (pi )的截面群的阶一样大。当 X 是一个有两个不同椭圆纤分的 K3 曲面时,我们证明了在纤分的特定假设下,秩不等式严格的 (mathbb {P}^1) 的 K 有理点集合不是一个薄集。我们的结果提供了这一现象在有理椭圆曲面之外的第一个案例。
{"title":"Non-thin rank jumps for double elliptic K3 surfaces","authors":"Hector Pasten, Cecília Salgado","doi":"10.1007/s00229-024-01554-2","DOIUrl":"https://doi.org/10.1007/s00229-024-01554-2","url":null,"abstract":"<p>For an elliptic surface <span>(pi :Xrightarrow mathbb {P}^1)</span> defined over a number field <i>K</i>, a theorem of Silverman shows that for all but finitely many fibres above <i>K</i>-rational points, the resulting elliptic curve over <i>K</i> has Mordell-Weil rank at least as large as the rank of the group of sections of <span>(pi )</span>. When <i>X</i> is a <i>K</i>3 surface with two distinct elliptic fibrations, we show that the set of <i>K</i>-rational points of <span>(mathbb {P}^1)</span> for which this rank inequality is strict, is not a thin set, under certain hypothesis on the fibrations. Our results provide one of the first cases of this phenomenon beyond that of rational elliptic surfaces.</p>","PeriodicalId":49887,"journal":{"name":"Manuscripta Mathematica","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141525782","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-28DOI: 10.1007/s00229-024-01580-0
Youngook Choi, Hristo Iliev, Seonja Kim
Let (mathcal {I}_{d,g,r}) be the union of irreducible components of the Hilbert scheme whose general points represent smooth, irreducible, non-degenerate curves of degree d and genus g in (mathbb {P}^r). Using a family of curves found on ruled surfaces over smooth curves of genus (gamma ), we show that for (gamma ge 7) and (g ge 6 gamma + 5), the scheme (mathcal {I}_{2g-4gamma + 1, g, g - 3gamma + 1}) acquires a non-reduced component (mathcal {D}^{prime }) such that ({text {dim}}T_{[X^{prime }]} mathcal {D}^{prime } = {text {dim}}mathcal {D}^{prime } + 1) for a general point ([X^{prime }] in mathcal {D}^{prime }).
让 (mathcal {I}_{d,g,r}) 是希尔伯特方案中不可还原成分的联合,其一般点代表 (mathbb {P}^r) 中阶数为 d、属数为 g 的光滑、不可还原、非退化曲线。利用在属(gamma )的光滑曲线的规则曲面上发现的曲线族,我们证明了对于(gamma ge 7) 和(g ge 6 gamma + 5)、方案 (mathcal {I}_{2g-4gamma + 1, g, g - 3gamma + 1}) 获得了一个非还原成分 (mathcal {D}^{prime }) ,这样 ({text {dim}}T_{[X^{prime }]}= {text {dim}T_{[X^{prime }]}= {text {dim}}mathcal {D}^{prime }+ 1) for a general point ([X^{prime }] in mathcal {D}^{prime }).
{"title":"Components of the Hilbert scheme of smooth projective curves using ruled surfaces II: existence of non-reduced components","authors":"Youngook Choi, Hristo Iliev, Seonja Kim","doi":"10.1007/s00229-024-01580-0","DOIUrl":"https://doi.org/10.1007/s00229-024-01580-0","url":null,"abstract":"<p>Let <span>(mathcal {I}_{d,g,r})</span> be the union of irreducible components of the Hilbert scheme whose general points represent smooth, irreducible, non-degenerate curves of degree <i>d</i> and genus <i>g</i> in <span>(mathbb {P}^r)</span>. Using a family of curves found on ruled surfaces over smooth curves of genus <span>(gamma )</span>, we show that for <span>(gamma ge 7)</span> and <span>(g ge 6 gamma + 5)</span>, the scheme <span>(mathcal {I}_{2g-4gamma + 1, g, g - 3gamma + 1})</span> acquires a non-reduced component <span>(mathcal {D}^{prime })</span> such that <span>({text {dim}}T_{[X^{prime }]} mathcal {D}^{prime } = {text {dim}}mathcal {D}^{prime } + 1)</span> for a general point <span>([X^{prime }] in mathcal {D}^{prime })</span>.\u0000</p>","PeriodicalId":49887,"journal":{"name":"Manuscripta Mathematica","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141510168","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-24DOI: 10.1007/s00229-024-01579-7
Jun Lu, Xiao Hang Wu
In this paper, we describe the structure of the negative part of a Zariski decomposition of (K_X+K_{{{mathcal {F}}}}) for a relatively minimal foliation ((X,{{mathcal {F}}})) whenever (K_X+K_{{{mathcal {F}}}}) is pseudoeffective.
{"title":"On the 1- adjoint canonical divisor of a foliation","authors":"Jun Lu, Xiao Hang Wu","doi":"10.1007/s00229-024-01579-7","DOIUrl":"https://doi.org/10.1007/s00229-024-01579-7","url":null,"abstract":"<p>In this paper, we describe the structure of the negative part of a Zariski decomposition of <span>(K_X+K_{{{mathcal {F}}}})</span> for a relatively minimal foliation <span>((X,{{mathcal {F}}}))</span> whenever <span>(K_X+K_{{{mathcal {F}}}})</span> is pseudoeffective.\u0000</p>","PeriodicalId":49887,"journal":{"name":"Manuscripta Mathematica","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141510169","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-21DOI: 10.1007/s00229-024-01582-y
Naoki Imai
Let (ell ) be a prime number different from the residue characteristic of a non-archimedean local field F. We give formulations of (ell )-adic local Langlands correspondences for connected reductive algebraic groups over F, which we conjecture to be independent of a choice of an isomorphism between the (ell )-adic coefficient field and the complex number field.
{"title":"Local Langlands correspondences in $$ell $$ -adic coefficients","authors":"Naoki Imai","doi":"10.1007/s00229-024-01582-y","DOIUrl":"https://doi.org/10.1007/s00229-024-01582-y","url":null,"abstract":"<p>Let <span>(ell )</span> be a prime number different from the residue characteristic of a non-archimedean local field <i>F</i>. We give formulations of <span>(ell )</span>-adic local Langlands correspondences for connected reductive algebraic groups over <i>F</i>, which we conjecture to be independent of a choice of an isomorphism between the <span>(ell )</span>-adic coefficient field and the complex number field.</p>","PeriodicalId":49887,"journal":{"name":"Manuscripta Mathematica","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141510170","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-20DOI: 10.1007/s00229-024-01572-0
Chao Li, Michael Rapoport, Wei Zhang
We define Hecke correspondences and Hecke operators on unitary RZ spaces and study their basic geometric properties, including a commutativity conjecture on Hecke operators. Then we formulate the arithmetic fundamental lemma conjecture for the spherical Hecke algebra. We also formulate a conjecture on the abundance of spherical Hecke functions with identically vanishing first derivative of orbital integrals. We prove these conjectures for the case (textrm{U} (1)times textrm{U} (2)).
{"title":"Arithmetic fundamental lemma for the spherical Hecke algebra","authors":"Chao Li, Michael Rapoport, Wei Zhang","doi":"10.1007/s00229-024-01572-0","DOIUrl":"https://doi.org/10.1007/s00229-024-01572-0","url":null,"abstract":"<p>We define Hecke correspondences and Hecke operators on unitary RZ spaces and study their basic geometric properties, including a commutativity conjecture on Hecke operators. Then we formulate the arithmetic fundamental lemma conjecture for the spherical Hecke algebra. We also formulate a conjecture on the abundance of spherical Hecke functions with identically vanishing first derivative of orbital integrals. We prove these conjectures for the case <span>(textrm{U} (1)times textrm{U} (2))</span>.\u0000</p>","PeriodicalId":49887,"journal":{"name":"Manuscripta Mathematica","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141510171","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-17DOI: 10.1007/s00229-024-01576-w
Alessandra Bertapelle, Takashi Suzuki
Given a scheme over a complete discrete valuation ring of mixed characteristic with perfect residue field, the Greenberg transform produces a new scheme over the residue field thicker than the special fiber. In this paper, we will generalize this transform to the case of imperfect residue field. We will then construct a certain kind of cycle class map defined on this generalized Greenberg transform applied to the Néron model of a semi-abelian variety, which takes values in the relatively perfect nearby cycle functor defined by Kato and the second author.
{"title":"The relatively perfect Greenberg transform and cycle class maps","authors":"Alessandra Bertapelle, Takashi Suzuki","doi":"10.1007/s00229-024-01576-w","DOIUrl":"https://doi.org/10.1007/s00229-024-01576-w","url":null,"abstract":"<p>Given a scheme over a complete discrete valuation ring of mixed characteristic with perfect residue field, the Greenberg transform produces a new scheme over the residue field thicker than the special fiber. In this paper, we will generalize this transform to the case of imperfect residue field. We will then construct a certain kind of cycle class map defined on this generalized Greenberg transform applied to the Néron model of a semi-abelian variety, which takes values in the relatively perfect nearby cycle functor defined by Kato and the second author.</p>","PeriodicalId":49887,"journal":{"name":"Manuscripta Mathematica","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141525784","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-17DOI: 10.1007/s00229-024-01560-4
Elyes Boughattas
Over the function field of a complex algebraic curve, strong approximation off a non-empty finite set of places holds for the complement of a codimension 2 closed subset in a homogeneous space under a semisimple algebraic group, and for the complement of a codimension 2 closed subset in an affine smooth complete intersection of low degree.
{"title":"Pureté de l’approximation forte sur le corps des fonctions d’une courbe algébrique complexe","authors":"Elyes Boughattas","doi":"10.1007/s00229-024-01560-4","DOIUrl":"https://doi.org/10.1007/s00229-024-01560-4","url":null,"abstract":"<p>Over the function field of a complex algebraic curve, strong approximation off a non-empty finite set of places holds for the complement of a codimension 2 closed subset in a homogeneous space under a semisimple algebraic group, and for the complement of a codimension 2 closed subset in an affine smooth complete intersection of low degree.\u0000</p>","PeriodicalId":49887,"journal":{"name":"Manuscripta Mathematica","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141530093","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-15DOI: 10.1007/s00229-024-01574-y
A. Bodzenta, W. Donovan
For an effective Cartier divisor D on a scheme X we may form an ({n}^{text {th}}) root stack. Its derived category is known to have a semiorthogonal decomposition with components given by D and X. We show that this decomposition is (2n)-periodic. For (n=2) this gives a purely triangulated proof of the existence of a known spherical functor, namely the pushforward along the embedding of D. For (n > 2) we find a higher spherical functor in the sense of recent work of Dyckerhoff et al. (N-spherical functors and categorification of Euler’s continuants. arXiv:2306.13350, 2023). We use a realization of the root stack construction as a variation of GIT, which may be of independent interest.
对于方案 X 上的有效卡蒂埃除数 D,我们可以形成一个 ({n}^{text {th}}) 根堆栈。我们证明这个分解是 (2n)-periodic 的。对于(n=2),这给出了一个已知球形函子存在的纯三角证明,即沿着 D 的嵌入的推演。对于(n >2),我们找到了 Dyckerhoff 等人最近工作意义上的更高球形函子(N-球形函子和欧拉连续体的分类。arXiv:2306.13350, 2023)。我们将根栈构造的实现作为 GIT 的一种变体,这可能会引起独立的兴趣。
{"title":"Root stacks and periodic decompositions","authors":"A. Bodzenta, W. Donovan","doi":"10.1007/s00229-024-01574-y","DOIUrl":"https://doi.org/10.1007/s00229-024-01574-y","url":null,"abstract":"<p>For an effective Cartier divisor <i>D</i> on a scheme <i>X</i> we may form an <span>({n}^{text {th}})</span> root stack. Its derived category is known to have a semiorthogonal decomposition with components given by <i>D</i> and <i>X</i>. We show that this decomposition is <span>(2n)</span>-periodic. For <span>(n=2)</span> this gives a purely triangulated proof of the existence of a known spherical functor, namely the pushforward along the embedding of <i>D</i>. For <span>(n > 2)</span> we find a higher spherical functor in the sense of recent work of Dyckerhoff et al. (<i>N</i>-spherical functors and categorification of Euler’s continuants. arXiv:2306.13350, 2023). We use a realization of the root stack construction as a variation of GIT, which may be of independent interest.</p>","PeriodicalId":49887,"journal":{"name":"Manuscripta Mathematica","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141525785","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}