Pub Date : 2024-01-05DOI: 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$.
{"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}
Pub Date : 2024-01-05DOI: 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$.
{"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>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}
Pub Date : 2024-01-05DOI: 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
{"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}
Pub Date : 2024-01-05DOI: 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.
{"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}
Pub Date : 2024-01-05DOI: 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}
Pub Date : 2024-01-05DOI: 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.
{"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}
Pub Date : 2023-12-18DOI: 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.
{"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}