首页 > 最新文献

Compositio Mathematica最新文献

英文 中文
COM volume 160 issue 2 Cover and Back matter COM 第 160 卷第 2 期封面和封底
IF 1.8 1区 数学 Q1 Mathematics Pub Date : 2024-01-19 DOI: 10.1112/s0010437x23007765
{"title":"COM volume 160 issue 2 Cover and Back matter","authors":"","doi":"10.1112/s0010437x23007765","DOIUrl":"https://doi.org/10.1112/s0010437x23007765","url":null,"abstract":"","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2024-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139612347","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On the Bezrukavnikov–Kaledin quantization of symplectic varieties in characteristic p 论特征 p 中交错变体的贝兹鲁卡夫尼科夫-卡列丁量子化
IF 1.8 1区 数学 Q1 Mathematics Pub Date : 2024-01-05 DOI: 10.1112/s0010437x23007601
Ekaterina Bogdanova, Vadim Vologodsky

We prove that after inverting the Planck constant $h$, the Bezrukavnikov–Kaledin quantization $(X, {mathcal {O}}_h)$ of symplectic variety $X$ in characteristic $p$ with $H^2(X, {mathcal {O}}_X) =0$ is Morita equivalent to a certain central reduction of the algebra of differential operators on $X$.

我们证明,在反转普朗克常数 $h$ 之后,特征 $p$ 的交错杂元 $X$ 的贝兹鲁卡夫尼科夫-卡列丁量子化 $(X, {mathcal {O}}_h)$ 与 $H^2(X, {mathcal {O}}_X) =0$ 是与 $X$ 上微分算子代数的某个中心还原等价的。
{"title":"On the Bezrukavnikov–Kaledin quantization of symplectic varieties in characteristic p","authors":"Ekaterina Bogdanova, Vadim Vologodsky","doi":"10.1112/s0010437x23007601","DOIUrl":"https://doi.org/10.1112/s0010437x23007601","url":null,"abstract":"<p>We prove that after inverting the Planck constant <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104174227480-0294:S0010437X23007601:S0010437X23007601_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$h$</span></span></img></span></span>, the Bezrukavnikov–Kaledin quantization <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104174227480-0294:S0010437X23007601:S0010437X23007601_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$(X, {mathcal {O}}_h)$</span></span></img></span></span> of symplectic variety <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104174227480-0294:S0010437X23007601:S0010437X23007601_inline4.png\"><span data-mathjax-type=\"texmath\"><span>$X$</span></span></img></span></span> in characteristic <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104174227480-0294:S0010437X23007601:S0010437X23007601_inline5.png\"><span data-mathjax-type=\"texmath\"><span>$p$</span></span></img></span></span> with <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104174227480-0294:S0010437X23007601:S0010437X23007601_inline6.png\"><span data-mathjax-type=\"texmath\"><span>$H^2(X, {mathcal {O}}_X) =0$</span></span></img></span></span> is Morita equivalent to a certain central reduction of the algebra of differential operators on <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104174227480-0294:S0010437X23007601:S0010437X23007601_inline7.png\"><span data-mathjax-type=\"texmath\"><span>$X$</span></span></img></span></span>.</p>","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2024-01-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139105273","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Boundedness of the p-primary torsion of the Brauer group of an abelian variety 无常变的布劳尔群的 p 主扭转的有界性
IF 1.8 1区 数学 Q1 Mathematics Pub Date : 2024-01-05 DOI: 10.1112/s0010437x23007558
Marco D'Addezio

We prove that the $p^infty$-torsion of the transcendental Brauer group of an abelian variety over a finitely generated field of characteristic $p>0$ is bounded. This answers a (variant of a) question asked by Skorobogatov and Zarhin for abelian varieties. To do this, we prove a ‘flat Tate conjecture’ for divisors. We also study other geometric Galois-invariant $p^infty$-torsion classes of the Brauer group which are not in the transcendental Brauer group. These classes, in contrast with our main theorem, can be infinitely $p$-divisible. We explain how the existence of these $p$-divisible towers is naturally related to the failure of surjectivity of specialisation morphisms of Néron–Severi groups in characteristic $p$.

我们证明了在特征 $p>0$ 的有限生成域上的无常变种的超越布劳尔群的 $p^infty$-torsion 是有界的。这回答了斯科罗博加托夫(Skorobogatov)和扎尔欣(Zarhin)提出的一个关于无性变项的(变种)问题。为此,我们证明了除数的 "平泰特猜想"。我们还研究了布劳尔群中不在超越布劳尔群中的其他几何伽罗瓦不变$p^infty$扭转类。与我们的主定理相反,这些类可以无限 $p$ 可分。我们解释了这些 $p$ 不可分塔的存在如何自然地与特征 $p$ 内伦-塞维里群的特殊化态射的失败相关联。
{"title":"Boundedness of the p-primary torsion of the Brauer group of an abelian variety","authors":"Marco D'Addezio","doi":"10.1112/s0010437x23007558","DOIUrl":"https://doi.org/10.1112/s0010437x23007558","url":null,"abstract":"<p>We prove that the <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104175731172-0793:S0010437X23007558:S0010437X23007558_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$p^infty$</span></span></img></span></span>-torsion of the transcendental Brauer group of an abelian variety over a finitely generated field of characteristic <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104175731172-0793:S0010437X23007558:S0010437X23007558_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$p&gt;0$</span></span></img></span></span> is bounded. This answers a (variant of a) question asked by Skorobogatov and Zarhin for abelian varieties. To do this, we prove a ‘flat Tate conjecture’ for divisors. We also study other geometric Galois-invariant <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104175731172-0793:S0010437X23007558:S0010437X23007558_inline4.png\"><span data-mathjax-type=\"texmath\"><span>$p^infty$</span></span></img></span></span>-torsion classes of the Brauer group which are not in the transcendental Brauer group. These classes, in contrast with our main theorem, can be infinitely <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104175731172-0793:S0010437X23007558:S0010437X23007558_inline5.png\"><span data-mathjax-type=\"texmath\"><span>$p$</span></span></img></span></span>-divisible. We explain how the existence of these <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104175731172-0793:S0010437X23007558:S0010437X23007558_inline6.png\"><span data-mathjax-type=\"texmath\"><span>$p$</span></span></img></span></span>-divisible towers is naturally related to the failure of surjectivity of specialisation morphisms of Néron–Severi groups in characteristic <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104175731172-0793:S0010437X23007558:S0010437X23007558_inline7.png\"><span data-mathjax-type=\"texmath\"><span>$p$</span></span></img></span></span>.</p>","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2024-01-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139105046","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Sixfolds of generalized Kummer type and K3 surfaces 广义库默尔型六面体和 K3 曲面
IF 1.8 1区 数学 Q1 Mathematics Pub Date : 2024-01-05 DOI: 10.1112/s0010437x23007625
Salvatore Floccari

We prove that any hyper-Kähler sixfold $K$ of generalized Kummer type has a naturally associated manifold $Y_K$ of $mathrm {K}3^{[3]}$ type. It is obtained as crepant resolution of the quotient of $K$ by a group of symplectic involutions acting trivially on its second cohomology. When $K$ is projective, the variety $Y_K$ is birational to a moduli space of stable sheaves on a uniquely determined projective $mathrm {K}3$ surface $S_K$. As an application of this construction we show that the Kuga–Satake correspondence is algebraic for the K3 surfaces

我们证明,任何广义库默尔类型的超凯勒六重 $K$ 都有一个自然关联的 $mathrm {K}3^{[3]}$ 类型的流形 $Y_K$。Y_K$是$K$的商的crepant解析,它是由交映渐开线组作用于其第二同调的crepant解析得到的。当 $K$ 是投影的时候,Y_K$ 与唯一确定的投影 $mathrm {K}3$ 曲面 $S_K$ 上的稳定剪切的模空间是双向的。作为这一构造的应用,我们证明了库加-萨塔克对应关系对于 K3 曲面 $S_K$ 是代数的,从而产生了无限多满足库加-萨塔克霍奇猜想的一般皮卡等级 $16$ 的 $mathrm {K}3$ 曲面新族。
{"title":"Sixfolds of generalized Kummer type and K3 surfaces","authors":"Salvatore Floccari","doi":"10.1112/s0010437x23007625","DOIUrl":"https://doi.org/10.1112/s0010437x23007625","url":null,"abstract":"<p>We prove that any hyper-Kähler sixfold <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104175655345-0074:S0010437X23007625:S0010437X23007625_inline1.png\"><span data-mathjax-type=\"texmath\"><span>$K$</span></span></img></span></span> of generalized Kummer type has a naturally associated manifold <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104175655345-0074:S0010437X23007625:S0010437X23007625_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$Y_K$</span></span></img></span></span> of <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104175655345-0074:S0010437X23007625:S0010437X23007625_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$mathrm {K}3^{[3]}$</span></span></img></span></span> type. It is obtained as crepant resolution of the quotient of <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104175655345-0074:S0010437X23007625:S0010437X23007625_inline4.png\"><span data-mathjax-type=\"texmath\"><span>$K$</span></span></img></span></span> by a group of symplectic involutions acting trivially on its second cohomology. When <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104175655345-0074:S0010437X23007625:S0010437X23007625_inline5.png\"><span data-mathjax-type=\"texmath\"><span>$K$</span></span></img></span></span> is projective, the variety <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104175655345-0074:S0010437X23007625:S0010437X23007625_inline6.png\"><span data-mathjax-type=\"texmath\"><span>$Y_K$</span></span></img></span></span> is birational to a moduli space of stable sheaves on a uniquely determined projective <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104175655345-0074:S0010437X23007625:S0010437X23007625_inline7.png\"><span data-mathjax-type=\"texmath\"><span>$mathrm {K}3$</span></span></img></span></span> surface <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104175655345-0074:S0010437X23007625:S0010437X23007625_inline8.png\"><span data-mathjax-type=\"texmath\"><span>$S_K$</span></span></img></span></span>. As an application of this construction we show that the Kuga–Satake correspondence is algebraic for the K3 surfaces <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104175655345-0074:S0010437X23007625:S0010437X23007625_inline9.png\"><span ","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2024-01-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139105320","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Isoparametric hypersurfaces in symmetric spaces of non-compact type and higher rank 非紧凑型和高阶对称空间中的等参数超曲面
IF 1.8 1区 数学 Q1 Mathematics Pub Date : 2024-01-05 DOI: 10.1112/s0010437x23007650
Miguel Domínguez-Vázquez, Víctor Sanmartín-López

We construct inhomogeneous isoparametric families of hypersurfaces with non-austere focal set on each symmetric space of non-compact type and rank ${geq }3$. If the rank is ${geq }4$, there are infinitely many such examples. Our construction yields the first examples of isoparametric families on any Riemannian manifold known to have a non-austere focal set. They can be obtained from a new general extension method of submanifolds from Euclidean spaces to symmetric spaces of non-compact type. This method preserves the mean curvature and isoparametricity, among other geometric properties.

我们构造了在每个非紧凑型对称空间上具有非奥斯特焦点集且秩为 ${geq }3$ 的超曲面的非均质等参数族。如果秩为 ${geq }4$,则有无穷多个这样的例子。我们的构造产生了已知具有非奥斯特焦点集的任何黎曼流形上等参数族的第一个例子。它们可以从欧几里得空间的子流形到非紧凑型对称空间的新的一般扩展方法中获得。这种方法保留了平均曲率和等参数性以及其他几何特性。
{"title":"Isoparametric hypersurfaces in symmetric spaces of non-compact type and higher rank","authors":"Miguel Domínguez-Vázquez, Víctor Sanmartín-López","doi":"10.1112/s0010437x23007650","DOIUrl":"https://doi.org/10.1112/s0010437x23007650","url":null,"abstract":"<p>We construct inhomogeneous isoparametric families of hypersurfaces with non-austere focal set on each symmetric space of non-compact type and rank <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104173152677-0650:S0010437X23007650:S0010437X23007650_inline1.png\"><span data-mathjax-type=\"texmath\"><span>${geq }3$</span></span></img></span></span>. If the rank is <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104173152677-0650:S0010437X23007650:S0010437X23007650_inline2.png\"><span data-mathjax-type=\"texmath\"><span>${geq }4$</span></span></img></span></span>, there are infinitely many such examples. Our construction yields the first examples of isoparametric families on any Riemannian manifold known to have a non-austere focal set. They can be obtained from a new general extension method of submanifolds from Euclidean spaces to symmetric spaces of non-compact type. This method preserves the mean curvature and isoparametricity, among other geometric properties.</p>","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2024-01-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139105001","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Dynamics on ℙ1: preperiodic points and pairwise stability ș1上的动力学:前周期点和成对稳定性
IF 1.8 1区 数学 Q1 Mathematics Pub Date : 2024-01-05 DOI: 10.1112/s0010437x23007546
Laura DeMarco, Niki Myrto Mavraki

DeMarco, Krieger, and Ye conjectured that there is a uniform bound B, depending only on the degree d, so that any pair of holomorphic maps $f, g :{mathbb {P}}^1to {mathbb {P}}^1$ with degree $d$ will either share all of their preperiodic points or have at most $B$ in common. Here we show that this uniform bound holds for a Zariski open and dense set in the space of all pairs, $mathrm {Rat}_d times mathrm {Rat}_d$, for each degree $dgeq 2$. The proof involves a combination of arithmetic intersection theory and complex-dynamical results, especially as developed recently by Gauthier and Vigny, Yuan and Zhang, and Mavraki and Schmidt. In addition, we present alternate proofs of the main results of DeMarco, Krieger, and Ye [Uniform Manin-Mumford for a family of genus 2 curves, Ann. of Math. (2) 191 (2020), 949–1001; Common preperiodic points for quadratic polynomials, J. Mod. Dyn. 18 (2022), 363–413] and of Poineau [Dynamique analytique sur $mathbb {Z}$ II : Écart uniforme entre Lattès et conjecture de Bogomolov-Fu-Tschinkel, Preprint (2022), arXiv:2207.01574 [math.NT]]. In fact, we prove a generalization of a conjecture of Bogomolov, Fu, and Tschinkel in a mixed setting of dynamical systems and elliptic

DeMarco、Krieger 和 Ye 猜想存在一个均匀约束 B,它只取决于度数 d,因此任何一对度数为 $d$ 的全形映射 $f, g :{mathbb {P}}^1to {mathbb {P}}^1$ 要么共享它们所有的前周期点,要么最多有 $B$ 的共同点。在这里,我们将证明,对于所有线对空间中的一个扎里斯基开放致密集合,即 $mathrm {Rat}_d times mathrm {Rat}_d$,在每个度为 $dgeq 2$的情况下,这个统一约束成立。证明涉及算术交集理论和复动态结果的结合,特别是高特和维尼、袁和张以及马夫拉基和施密特最近发展的结果。此外,我们还提出了德马科、克里格和叶 [Uniform Manin-Mumford for a family of genus 2 curves, Ann. of Math. (2) 191 (2020), 949-1001; Common preperiodic points for quadratic polynomials, J. Mod.Dyn.18 (2022), 363-413] 和 Poineau [Dynamique analytique sur $mathbb {Z}$ II : Écart uniforme entre Lattès et conjecture de Bogomolov-Fu-Tschinkel, Preprint (2022), arXiv:2207.01574 [math.NT]].事实上,我们证明了博戈莫洛夫、傅氏和钦克尔在动力系统和椭圆曲线混合背景下的猜想的一般化。
{"title":"Dynamics on ℙ1: preperiodic points and pairwise stability","authors":"Laura DeMarco, Niki Myrto Mavraki","doi":"10.1112/s0010437x23007546","DOIUrl":"https://doi.org/10.1112/s0010437x23007546","url":null,"abstract":"<p>DeMarco, Krieger, and Ye conjectured that there is a uniform bound <span>B</span>, depending only on the degree <span>d</span>, so that any pair of holomorphic maps <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104180226992-0669:S0010437X23007546:S0010437X23007546_inline4.png\"><span data-mathjax-type=\"texmath\"><span>$f, g :{mathbb {P}}^1to {mathbb {P}}^1$</span></span></img></span></span> with degree <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104180226992-0669:S0010437X23007546:S0010437X23007546_inline5.png\"><span data-mathjax-type=\"texmath\"><span>$d$</span></span></img></span></span> will either share all of their preperiodic points or have at most <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104180226992-0669:S0010437X23007546:S0010437X23007546_inline6.png\"><span data-mathjax-type=\"texmath\"><span>$B$</span></span></img></span></span> in common. Here we show that this uniform bound holds for a Zariski open and dense set in the space of all pairs, <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104180226992-0669:S0010437X23007546:S0010437X23007546_inline7.png\"><span data-mathjax-type=\"texmath\"><span>$mathrm {Rat}_d times mathrm {Rat}_d$</span></span></img></span></span>, for each degree <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104180226992-0669:S0010437X23007546:S0010437X23007546_inline8.png\"><span data-mathjax-type=\"texmath\"><span>$dgeq 2$</span></span></img></span></span>. The proof involves a combination of arithmetic intersection theory and complex-dynamical results, especially as developed recently by Gauthier and Vigny, Yuan and Zhang, and Mavraki and Schmidt. In addition, we present alternate proofs of the main results of DeMarco, Krieger, and Ye [<span>Uniform Manin-Mumford for a family of genus 2 curves</span>, Ann. of Math. (2) <span>191</span> (2020), 949–1001; <span>Common preperiodic points for quadratic polynomials</span>, J. Mod. Dyn. <span>18</span> (2022), 363–413] and of Poineau [<span>Dynamique analytique sur</span> <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104180226992-0669:S0010437X23007546:S0010437X23007546_inline9.png\"><span data-mathjax-type=\"texmath\"><span>$mathbb {Z}$</span></span></img></span></span> <span>II : Écart uniforme entre Lattès et conjecture de Bogomolov-Fu-Tschinkel</span>, Preprint (2022), arXiv:2207.01574 [math.NT]]. In fact, we prove a generalization of a conjecture of Bogomolov, Fu, and Tschinkel in a mixed setting of dynamical systems and elliptic ","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2024-01-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139105319","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Grothendieck–Serre conjecture over valuation rings 估价环上的格罗登第克-塞雷猜想
IF 1.8 1区 数学 Q1 Mathematics Pub Date : 2024-01-05 DOI: 10.1112/s0010437x23007583
Ning Guo

In this article, we establish the Grothendieck–Serre conjecture over valuation rings: for a reductive group scheme $G$ over a valuation ring $V$ with fraction field $K$, a $G$-torsor over $V$ is trivial if it is trivial over $K$. This result is predicted by the original Grothendieck–Serre conjecture and the resolution of singularities. The novelty of our proof lies in overcoming subtleties brought by general nondiscrete valuation rings. By using flasque resolutions and inducting with local cohomology, we prove a non-Noetherian counterpart of Colliot-Thélène–Sansuc's case of tori. Then, taking advantage of techniques in algebraization, we obtain the passage to the Henselian rank-one case. Finally, we induct on Levi subgroups and use the integrality of rational points of anisotropic groups to reduce to the semisimple anisotropic case, in which we appeal to properties of parahoric subgroups in Bruhat–Tits theory to conclude. In the last section, by using extension properties of reflexive sheaves on formal power series over valuation rings and patching of torsors, we prove a variant of Nisnevich's purity conjecture.

在这篇文章中,我们建立了估价环上的格罗thendieck-Serre 猜想:对于估价环 $V$ 上带分数域 $K$ 的还原群方案 $G$,如果在 $K$ 上是微不足道的,那么在 $V$ 上的 $G$-torsor 就是微不足道的。最初的格罗内迪克-塞雷猜想和奇点解析预示了这一结果。我们证明的新颖之处在于克服了一般非离散估值环带来的微妙之处。通过使用 flasque 解析和局部同调归纳,我们证明了 Colliot-Thélène-Sansuc 关于环的非诺特对应情况。然后,利用代数化技术,我们获得了亨塞尔秩一情况的通道。最后,我们归纳了 Levi 子群,并利用各向异性群有理点的积分性还原到半简单各向异性的情况,在此我们求助于布鲁哈特-蒂茨理论中的准子群的性质来得出结论。在最后一节中,我们利用形式幂级数在估值环上的反身剪的扩展性质和簇的修补,证明了尼斯涅维奇纯度猜想的一个变体。
{"title":"The Grothendieck–Serre conjecture over valuation rings","authors":"Ning Guo","doi":"10.1112/s0010437x23007583","DOIUrl":"https://doi.org/10.1112/s0010437x23007583","url":null,"abstract":"<p>In this article, we establish the Grothendieck–Serre conjecture over valuation rings: for a reductive group scheme <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104180628938-0323:S0010437X23007583:S0010437X23007583_inline1.png\"><span data-mathjax-type=\"texmath\"><span>$G$</span></span></img></span></span> over a valuation ring <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104180628938-0323:S0010437X23007583:S0010437X23007583_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$V$</span></span></img></span></span> with fraction field <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104180628938-0323:S0010437X23007583:S0010437X23007583_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$K$</span></span></img></span></span>, a <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104180628938-0323:S0010437X23007583:S0010437X23007583_inline4.png\"><span data-mathjax-type=\"texmath\"><span>$G$</span></span></img></span></span>-torsor over <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104180628938-0323:S0010437X23007583:S0010437X23007583_inline5.png\"><span data-mathjax-type=\"texmath\"><span>$V$</span></span></img></span></span> is trivial if it is trivial over <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240104180628938-0323:S0010437X23007583:S0010437X23007583_inline6.png\"><span data-mathjax-type=\"texmath\"><span>$K$</span></span></img></span></span>. This result is predicted by the original Grothendieck–Serre conjecture and the resolution of singularities. The novelty of our proof lies in overcoming subtleties brought by general nondiscrete valuation rings. By using flasque resolutions and inducting with local cohomology, we prove a non-Noetherian counterpart of Colliot-Thélène–Sansuc's case of tori. Then, taking advantage of techniques in algebraization, we obtain the passage to the Henselian rank-one case. Finally, we induct on Levi subgroups and use the integrality of rational points of anisotropic groups to reduce to the semisimple anisotropic case, in which we appeal to properties of parahoric subgroups in Bruhat–Tits theory to conclude. In the last section, by using extension properties of reflexive sheaves on formal power series over valuation rings and patching of torsors, we prove a variant of Nisnevich's purity conjecture.</p>","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2024-01-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139105267","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
COM volume 160 issue 1 Cover and Back matter COM 第 160 卷第 1 期封面和封底
IF 1.8 1区 数学 Q1 Mathematics Pub Date : 2023-12-19 DOI: 10.1112/s0010437x23007741
{"title":"COM volume 160 issue 1 Cover and Back matter","authors":"","doi":"10.1112/s0010437x23007741","DOIUrl":"https://doi.org/10.1112/s0010437x23007741","url":null,"abstract":"","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2023-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138962941","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
COM volume 160 issue 1 Cover and Front matter COM 第 160 卷第 1 期封面和封底
IF 1.8 1区 数学 Q1 Mathematics Pub Date : 2023-12-19 DOI: 10.1112/s0010437x2300773x
{"title":"COM volume 160 issue 1 Cover and Front matter","authors":"","doi":"10.1112/s0010437x2300773x","DOIUrl":"https://doi.org/10.1112/s0010437x2300773x","url":null,"abstract":"","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2023-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138959003","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Families of rational curves on holomorphic symplectic varieties and applications to 0-cycles 全态交映变体上的有理曲线族及其在 0 循环中的应用
IF 1.8 1区 数学 Q1 Mathematics Pub Date : 2023-12-18 DOI: 10.1112/s0010437x20007526
François Charles, Giovanni Mongardi, Gianluca Pacienza

We study families of rational curves on irreducible holomorphic symplectic varieties. We give a necessary and sufficient condition for a sufficiently ample linear system on a holomorphic symplectic variety of $K3^{[n]}$-type to contain a uniruled divisor covered by rational curves of primitive class. In particular, for any fixed $n$, we show that there are only finitely many polarization types of holomorphic symplectic variety of $K3^{[n]}$-type that do not contain such a uniruled divisor. As an application, we provide a generalization of a result due to Beauville–Voisin on the Chow group of $0$-cycles on such varieties.

我们研究不可还原全纯交映变上的有理曲线族。我们给出了一个必要且充分的条件,即在 $K3^{[n]}$ 型全形交映变上的充分充分的线性系统包含一个由原始类有理曲线覆盖的无iruled分部。特别是,对于任何固定的 $n$,我们证明了只有有限多的 $K3^{[n]}$ 型全纯交映综的极化类型不包含这样的未iruled divisor。作为一个应用,我们提供了博维尔-沃桑(Beauville-Voisin)关于此类变上 $0$- 循环的周群的一个结果的推广。
{"title":"Families of rational curves on holomorphic symplectic varieties and applications to 0-cycles","authors":"François Charles, Giovanni Mongardi, Gianluca Pacienza","doi":"10.1112/s0010437x20007526","DOIUrl":"https://doi.org/10.1112/s0010437x20007526","url":null,"abstract":"<p>We study families of rational curves on irreducible holomorphic symplectic varieties. We give a necessary and sufficient condition for a sufficiently ample linear system on a holomorphic symplectic variety of <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20231215111814759-0477:S0010437X20007526:S0010437X20007526_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$K3^{[n]}$</span></span></img></span></span>-type to contain a uniruled divisor covered by rational curves of primitive class. In particular, for any fixed <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20231215111814759-0477:S0010437X20007526:S0010437X20007526_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$n$</span></span></img></span></span>, we show that there are only finitely many polarization types of holomorphic symplectic variety of <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20231215111814759-0477:S0010437X20007526:S0010437X20007526_inline4.png\"><span data-mathjax-type=\"texmath\"><span>$K3^{[n]}$</span></span></img></span></span>-type that do not contain such a uniruled divisor. As an application, we provide a generalization of a result due to Beauville–Voisin on the Chow group of <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20231215111814759-0477:S0010437X20007526:S0010437X20007526_inline5.png\"><span data-mathjax-type=\"texmath\"><span>$0$</span></span></img></span></span>-cycles on such varieties.</p>","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2023-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138717385","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
Compositio Mathematica
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1