首页 > 最新文献

Compositio Mathematica最新文献

英文 中文
Convexity of multiplicities of filtrations on local rings 局部环上滤数乘数的凸性
IF 1.8 1区 数学 Q1 Mathematics Pub Date : 2024-03-13 DOI: 10.1112/s0010437x23007972
Harold Blum, Yuchen Liu, Lu Qi

We prove that the multiplicity of a filtration of a local ring satisfies various convexity properties. In particular, we show the multiplicity is convex along geodesics. As a consequence, we prove that the volume of a valuation is log convex on simplices of quasi-monomial valuations and give a new proof of a theorem of Xu and Zhuang on the uniqueness of normalized volume minimizers. In another direction, we generalize a theorem of Rees on multiplicities of ideals to filtrations and characterize when the Minkowski inequality for filtrations is an equality under mild assumptions.

我们证明了局部环的滤波的多重性满足各种凸性质。特别是,我们证明了多重性沿大地线是凸的。因此,我们证明了在准单值的简面上,估值的体积是对数凸的,并给出了徐和庄关于归一化体积最小值唯一性定理的新证明。在另一个方向上,我们将里斯关于理想乘数的定理推广到滤波上,并描述了在温和的假设条件下滤波的闵科夫斯基不等式何时是相等的。
{"title":"Convexity of multiplicities of filtrations on local rings","authors":"Harold Blum, Yuchen Liu, Lu Qi","doi":"10.1112/s0010437x23007972","DOIUrl":"https://doi.org/10.1112/s0010437x23007972","url":null,"abstract":"<p>We prove that the multiplicity of a filtration of a local ring satisfies various convexity properties. In particular, we show the multiplicity is convex along geodesics. As a consequence, we prove that the volume of a valuation is log convex on simplices of quasi-monomial valuations and give a new proof of a theorem of Xu and Zhuang on the uniqueness of normalized volume minimizers. In another direction, we generalize a theorem of Rees on multiplicities of ideals to filtrations and characterize when the Minkowski inequality for filtrations is an equality under mild assumptions.</p>","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2024-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140117466","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
Constructing abelian varieties from rank 2 Galois representations 从秩 2 伽罗瓦表示构建无常变体
IF 1.8 1区 数学 Q1 Mathematics Pub Date : 2024-03-07 DOI: 10.1112/s0010437x23007728
Raju Krishnamoorthy, Jinbang Yang, Kang Zuo

Let $U$ be a smooth affine curve over a number field $K$ with a compactification $X$ and let ${mathbb {L}}$ be a rank $2$, geometrically irreducible lisse $overline {{mathbb {Q}}}_ell$-sheaf on $U$ with cyclotomic determinant that extends to an integral model, has Frobenius traces all in some fixed number field $Esubset overline {mathbb {Q}}_{ell }$, and has bad, infinite reduction at some closed point $x$ of

让 $U$ 是一条在数域 $K$ 上的光滑仿射曲线,其紧凑性为 $X$;让 ${mathbb {L}}$ 是一个在 $U$ 上的秩为 2$、几何上不可还原的 lisse $/overline {{mathbb {Q}}_ell$ 舍夫,其环状行列式扩展为一个积分模型、在某个固定数域 $Esubset overline {mathbb {Q}}_{ell }$中都有弗罗贝尼斯迹,并且在 $Xsetminus U$ 的某个闭点 $x$ 上有坏的、无限的还原。我们证明 ${mathbb {L}}$ 是作为 U$ 上的无性变体族的同调之和出现的。斯诺登和齐默尔曼的论证沿用了他们最近证明的一个定理的结构,即当 $E=mathbb {Q}$ 时,${/mathbb {L}}$ 与椭圆曲线 $E_Urightarrow U$ 的同调同构。
{"title":"Constructing abelian varieties from rank 2 Galois representations","authors":"Raju Krishnamoorthy, Jinbang Yang, Kang Zuo","doi":"10.1112/s0010437x23007728","DOIUrl":"https://doi.org/10.1112/s0010437x23007728","url":null,"abstract":"<p>Let <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240307072459819-0092:S0010437X23007728:S0010437X23007728_inline1.png\"><span data-mathjax-type=\"texmath\"><span>$U$</span></span></img></span></span> be a smooth affine curve over a number field <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240307072459819-0092:S0010437X23007728:S0010437X23007728_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$K$</span></span></img></span></span> with a compactification <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240307072459819-0092:S0010437X23007728:S0010437X23007728_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$X$</span></span></img></span></span> and let <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240307072459819-0092:S0010437X23007728:S0010437X23007728_inline4.png\"><span data-mathjax-type=\"texmath\"><span>${mathbb {L}}$</span></span></img></span></span> be a rank <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240307072459819-0092:S0010437X23007728:S0010437X23007728_inline5.png\"><span data-mathjax-type=\"texmath\"><span>$2$</span></span></img></span></span>, geometrically irreducible lisse <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240307072459819-0092:S0010437X23007728:S0010437X23007728_inline6.png\"><span data-mathjax-type=\"texmath\"><span>$overline {{mathbb {Q}}}_ell$</span></span></img></span></span>-sheaf on <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240307072459819-0092:S0010437X23007728:S0010437X23007728_inline7.png\"><span data-mathjax-type=\"texmath\"><span>$U$</span></span></img></span></span> with cyclotomic determinant that extends to an integral model, has Frobenius traces all in some fixed number field <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240307072459819-0092:S0010437X23007728:S0010437X23007728_inline8.png\"><span data-mathjax-type=\"texmath\"><span>$Esubset overline {mathbb {Q}}_{ell }$</span></span></img></span></span>, and has bad, infinite reduction at some closed point <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240307072459819-0092:S0010437X23007728:S0010437X23007728_inline9.png\"><span data-mathjax-type=\"texmath\"><span>$x$</span></span></img></span></span> of <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2024-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140053721","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
There are at most finitely many singular moduli that are S-units 最多有有限个奇异模数是 S 单位
IF 1.8 1区 数学 Q1 Mathematics Pub Date : 2024-03-05 DOI: 10.1112/s0010437x23007704
Sebastián Herrero, Ricardo Menares, Juan Rivera-Letelier

We show that for every finite set of prime numbers $S$, there are at most finitely many singular moduli that are $S$-units. The key new ingredient is that for every prime number $p$, singular moduli are $p$-adically disperse. We prove analogous results for the Weber modular functions, the $lambda$-invariants and the McKay–Thompson series associated with the elements of the monster group. Finally, we also obtain that a modular function that specializes to infinitely many algebraic units at quadratic imaginary numbers must be a weak modular unit.

我们证明,对于每个有限的素数集$S$,最多有有限个奇异模数是$S$单位。关键的新要素是,对于每个素数 $p$,奇异模数都是 $p$-adically 分散的。我们证明了韦伯模函数、$lambda$不变式和与怪兽群元素相关的麦凯-汤普森级数的类似结果。最后,我们还得到了在二次虚数处特化为无限多代数单元的模态函数一定是弱模态单元。
{"title":"There are at most finitely many singular moduli that are S-units","authors":"Sebastián Herrero, Ricardo Menares, Juan Rivera-Letelier","doi":"10.1112/s0010437x23007704","DOIUrl":"https://doi.org/10.1112/s0010437x23007704","url":null,"abstract":"<p>We show that for every finite set of prime numbers <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240304200415819-0744:S0010437X23007704:S0010437X23007704_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$S$</span></span></img></span></span>, there are at most finitely many singular moduli that are <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240304200415819-0744:S0010437X23007704:S0010437X23007704_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$S$</span></span></img></span></span>-units. The key new ingredient is that for every prime number <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240304200415819-0744:S0010437X23007704:S0010437X23007704_inline4.png\"><span data-mathjax-type=\"texmath\"><span>$p$</span></span></img></span></span>, singular moduli are <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240304200415819-0744:S0010437X23007704:S0010437X23007704_inline5.png\"><span data-mathjax-type=\"texmath\"><span>$p$</span></span></img></span></span>-adically disperse. We prove analogous results for the Weber modular functions, the <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240304200415819-0744:S0010437X23007704:S0010437X23007704_inline6.png\"><span data-mathjax-type=\"texmath\"><span>$lambda$</span></span></img></span></span>-invariants and the McKay–Thompson series associated with the elements of the monster group. Finally, we also obtain that a modular function that specializes to infinitely many algebraic units at quadratic imaginary numbers must be a weak modular unit.</p>","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2024-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140034860","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 Hasse principle for complete intersections 关于完全交叉点的哈塞原理
IF 1.8 1区 数学 Q1 Mathematics Pub Date : 2024-03-05 DOI: 10.1112/s0010437x23007698
Matthew Northey, Pankaj Vishe

We prove the Hasse principle for a smooth projective variety $Xsubset mathbb {P}^{n-1}_mathbb {Q}$ defined by a system of two cubic forms $F,G$ as long as $ngeq 39$. The main tool here is the development of a version of Kloosterman refinement for a smooth system of equations defined over $mathbb {Q}$.

只要有 $ngeq 39$,我们就能证明由两个立方形式 $F,G$ 的系统定义的光滑投影变项 $Xsubset mathbb {P}^{n-1}_mathbb {Q}$ 的哈塞原理。这里的主要工具是为定义在 $mathbb {Q}$ 上的平滑方程组开发一个版本的克罗斯特曼细化。
{"title":"On the Hasse principle for complete intersections","authors":"Matthew Northey, Pankaj Vishe","doi":"10.1112/s0010437x23007698","DOIUrl":"https://doi.org/10.1112/s0010437x23007698","url":null,"abstract":"<p>We prove the Hasse principle for a smooth projective variety <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240304180407639-0000:S0010437X23007698:S0010437X23007698_inline1.png\"><span data-mathjax-type=\"texmath\"><span>$Xsubset mathbb {P}^{n-1}_mathbb {Q}$</span></span></img></span></span> defined by a system of two cubic forms <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240304180407639-0000:S0010437X23007698:S0010437X23007698_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$F,G$</span></span></img></span></span> as long as <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240304180407639-0000:S0010437X23007698:S0010437X23007698_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$ngeq 39$</span></span></img></span></span>. The main tool here is the development of a version of Kloosterman refinement for a smooth system of equations defined over <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240304180407639-0000:S0010437X23007698:S0010437X23007698_inline4.png\"><span data-mathjax-type=\"texmath\"><span>$mathbb {Q}$</span></span></img></span></span>.</p>","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2024-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140034864","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 3 Cover and Back matter COM 第 160 卷第 3 期封面和封底
IF 1.8 1区 数学 Q1 Mathematics Pub Date : 2024-03-01 DOI: 10.1112/s0010437x23007789
{"title":"COM volume 160 issue 3 Cover and Back matter","authors":"","doi":"10.1112/s0010437x23007789","DOIUrl":"https://doi.org/10.1112/s0010437x23007789","url":null,"abstract":"","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2024-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140088510","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 straightening for Segal spaces 关于塞加尔空间的矫直
IF 1.8 1区 数学 Q1 Mathematics Pub Date : 2024-02-23 DOI: 10.1112/s0010437x23007674
Joost Nuiten

The straightening–unstraightening correspondence of Grothendieck–Lurie provides an equivalence between cocartesian fibrations between $(infty, 1)$-categories and diagrams of $(infty, 1)$-categories. We provide an alternative proof of this correspondence, as well as an extension of straightening–unstraightening to all higher categorical dimensions. This is based on an explicit combinatorial result relating two types of fibrations between double categories, which can be applied inductively to construct the straightening of a cocartesian fibration between higher categories.

格罗滕迪克-卢里的拉直-不拉直对应关系提供了$(infty, 1)$范畴之间的可卡提斯纤维与$(infty, 1)$范畴的图之间的等价性。我们为这一对应关系提供了另一种证明,并将拉直-不拉直扩展到了所有更高的分类维度。这是基于双范畴之间两类纤度的明确组合结果,可以归纳应用于构造高范畴之间的可卡提斯纤度的拉直。
{"title":"On straightening for Segal spaces","authors":"Joost Nuiten","doi":"10.1112/s0010437x23007674","DOIUrl":"https://doi.org/10.1112/s0010437x23007674","url":null,"abstract":"<p>The straightening–unstraightening correspondence of Grothendieck–Lurie provides an equivalence between cocartesian fibrations between <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240222174850284-0238:S0010437X23007674:S0010437X23007674_inline1.png\"><span data-mathjax-type=\"texmath\"><span>$(infty, 1)$</span></span></img></span></span>-categories and diagrams of <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240222174850284-0238:S0010437X23007674:S0010437X23007674_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$(infty, 1)$</span></span></img></span></span>-categories. We provide an alternative proof of this correspondence, as well as an extension of straightening–unstraightening to all higher categorical dimensions. This is based on an explicit combinatorial result relating two types of fibrations between double categories, which can be applied inductively to construct the straightening of a cocartesian fibration between higher categories.</p>","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2024-02-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139948376","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
Modular forms of half-integral weight on exceptional groups 特殊群上的半重模块形式
IF 1.8 1区 数学 Q1 Mathematics Pub Date : 2024-02-22 DOI: 10.1112/s0010437x23007686
Spencer Leslie, Aaron Pollack

We define a notion of modular forms of half-integral weight on the quaternionic exceptional groups. We prove that they have a well-behaved notion of Fourier coefficients, which are complex numbers defined up to multiplication by ${pm }1$. We analyze the minimal modular form $Theta _{F_4}$ on the double cover of $F_4$, following Loke–Savin and Ginzburg. Using $Theta _{F_4}$, we define a modular form of weight $tfrac {1}{2}$ on (the double cover of) $G_2$. We prove that the Fourier coefficients of this modular form on $G_2$ see the $2$-torsion in the narrow class groups of totally real cubic fields.

我们定义了四元异常群上半重模态的概念。我们证明它们有一个良好的傅里叶系数概念,即定义为与 ${pm }1$ 相乘的复数。我们按照 Loke-Savin 和 Ginzburg 的方法,分析了 $F_4$ 双覆盖上的最小模形式 $Theta _{F_4}$ 。利用 $Theta _{F_4}$,我们定义了(G_2$ 的双覆盖)$G_2$ 上权重为 $tfrac {1}{2}$ 的模形式。我们证明了这个模形式在 $G_2$ 上的傅里叶系数在完全实立方域的窄类群中看到了 2$ 的扭转。
{"title":"Modular forms of half-integral weight on exceptional groups","authors":"Spencer Leslie, Aaron Pollack","doi":"10.1112/s0010437x23007686","DOIUrl":"https://doi.org/10.1112/s0010437x23007686","url":null,"abstract":"<p>We define a notion of modular forms of half-integral weight on the quaternionic exceptional groups. We prove that they have a well-behaved notion of Fourier coefficients, which are complex numbers defined up to multiplication by <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240221201522763-0676:S0010437X23007686:S0010437X23007686_inline1.png\"><span data-mathjax-type=\"texmath\"><span>${pm }1$</span></span></img></span></span>. We analyze the minimal modular form <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240221201522763-0676:S0010437X23007686:S0010437X23007686_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$Theta _{F_4}$</span></span></img></span></span> on the double cover of <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240221201522763-0676:S0010437X23007686:S0010437X23007686_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$F_4$</span></span></img></span></span>, following Loke–Savin and Ginzburg. Using <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240221201522763-0676:S0010437X23007686:S0010437X23007686_inline4.png\"><span data-mathjax-type=\"texmath\"><span>$Theta _{F_4}$</span></span></img></span></span>, we define a modular form of weight <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240221201522763-0676:S0010437X23007686:S0010437X23007686_inline5.png\"><span data-mathjax-type=\"texmath\"><span>$tfrac {1}{2}$</span></span></img></span></span> on (the double cover of) <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240221201522763-0676:S0010437X23007686:S0010437X23007686_inline6.png\"><span data-mathjax-type=\"texmath\"><span>$G_2$</span></span></img></span></span>. We prove that the Fourier coefficients of this modular form on <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240221201522763-0676:S0010437X23007686:S0010437X23007686_inline7.png\"><span data-mathjax-type=\"texmath\"><span>$G_2$</span></span></img></span></span> see the <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240221201522763-0676:S0010437X23007686:S0010437X23007686_inline8.png\"><span data-mathjax-type=\"texmath\"><span>$2$</span></span></img></span></span>-torsion in the narrow class groups of totally real cubic fields.</p>","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2024-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139928034","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
Stratification of the transverse momentum map 横动量图的分层
IF 1.8 1区 数学 Q1 Mathematics Pub Date : 2024-02-12 DOI: 10.1112/s0010437x23007637
Maarten Mol

Given a Hamiltonian action of a proper symplectic groupoid (for instance, a Hamiltonian action of a compact Lie group), we show that the transverse momentum map admits a natural constant rank stratification. To this end, we construct a refinement of the canonical stratification associated to the Lie groupoid action (the orbit type stratification, in the case of a Hamiltonian Lie group action) that seems not to have appeared before, even in the literature on Hamiltonian Lie group actions. This refinement turns out to be compatible with the Poisson geometry of the Hamiltonian action: it is a Poisson stratification of the orbit space, each stratum of which is a regular Poisson manifold that admits a natural proper symplectic groupoid integrating it. The main tools in our proofs (which we believe could be of independent interest) are a version of the Marle–Guillemin–Sternberg normal form theorem for Hamiltonian actions of proper symplectic groupoids and a notion of equivalence between Hamiltonian actions of symplectic groupoids, closely related to Morita equivalence between symplectic groupoids.

给定一个适当交映群的哈密顿作用(例如,一个紧凑李群的哈密顿作用),我们会证明横动量映射有一个自然的恒等级分层。为此,我们构建了一种与李群作用相关的典型分层的细化(在哈密顿李群作用的情况下是轨道型分层),这种细化以前似乎从未出现过,甚至在哈密顿李群作用的文献中也没有出现过。事实证明,这种细化与哈密顿作用的泊松几何是相容的:它是轨道空间的泊松分层,每个分层都是正则泊松流形,允许一个自然的适当交映群积分它。我们证明中的主要工具(我们相信这可能会引起独立的兴趣)是针对适当交映群像的哈密顿作用的马勒-吉列明-斯特恩伯格法形式定理的一个版本,以及交映群像的哈密顿作用之间的等价性概念,这与交映群像之间的莫里塔等价性密切相关。
{"title":"Stratification of the transverse momentum map","authors":"Maarten Mol","doi":"10.1112/s0010437x23007637","DOIUrl":"https://doi.org/10.1112/s0010437x23007637","url":null,"abstract":"<p>Given a Hamiltonian action of a proper symplectic groupoid (for instance, a Hamiltonian action of a compact Lie group), we show that the transverse momentum map admits a natural constant rank stratification. To this end, we construct a refinement of the canonical stratification associated to the Lie groupoid action (the orbit type stratification, in the case of a Hamiltonian Lie group action) that seems not to have appeared before, even in the literature on Hamiltonian Lie group actions. This refinement turns out to be compatible with the Poisson geometry of the Hamiltonian action: it is a Poisson stratification of the orbit space, each stratum of which is a regular Poisson manifold that admits a natural proper symplectic groupoid integrating it. The main tools in our proofs (which we believe could be of independent interest) are a version of the Marle–Guillemin–Sternberg normal form theorem for Hamiltonian actions of proper symplectic groupoids and a notion of equivalence between Hamiltonian actions of symplectic groupoids, closely related to Morita equivalence between symplectic groupoids.</p>","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2024-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139772847","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
Most odd-degree binary forms fail to primitively represent a square 大多数奇数度二进制形式无法原始地表示正方形
IF 1.8 1区 数学 Q1 Mathematics Pub Date : 2024-02-08 DOI: 10.1112/s0010437x23007649
Ashvin A. Swaminathan

Let $F$ be a separable integral binary form of odd degree $N geq 5$. A result of Darmon and Granville known as ‘Faltings plus epsilon’ implies that the degree-$N$ superelliptic equation $y^2 = F(x,z)$ has finitely many primitive integer solutions. In this paper, we consider the family $mathscr {F}_N(f_0)$ of degree-$N$ superelliptic equations with fixed leading coefficient $f_0 in mathbb {Z} smallsetminus pm mathbb {Z}^2$, ordered by height. For every sufficiently large $N$, we prove that among equations in the family

让 $F$ 是奇数度 $N geq 5$ 的可分离积分二元形式。达蒙和格兰维尔的一个被称为 "法尔廷斯加ε "的结果意味着度为 $N$ 的超椭圆方程 $y^2 = F(x,z)$ 有有限多个原始整数解。在本文中,我们考虑了在mathbb {Z} 中具有固定前导系数 $f_0 的 $mathscr {F}_N(f_0)$ 的度$N$超椭圆方程族。mathbb {Z}^2$,按高度排序。对于每一个足够大的 $N$,我们证明在 $mathscr {F}_N(f_0)$ 族中,超过 $74.9,%$ 的方程是不可解的,超过 $71.8,%$ 的方程在任何地方都是局部可解的,但由于布劳尔-马宁障碍(Brauer-Manin obstruction),哈塞原理失效。我们进一步证明,当 $f_0$ 有足够多的奇乘数素除数时,这些比例分别至少上升到 $99.9,%$ 和 $96.7,%$。我们的结果可以看作是超椭圆方程的 "Faltings plus epsilon "的强渐近形式,并构成了 Bhargava 的类似结果,即在 $mathbb {Q}$ 上的大多数超椭圆曲线都没有有理点。
{"title":"Most odd-degree binary forms fail to primitively represent a square","authors":"Ashvin A. Swaminathan","doi":"10.1112/s0010437x23007649","DOIUrl":"https://doi.org/10.1112/s0010437x23007649","url":null,"abstract":"<p>Let <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240206110652704-0043:S0010437X23007649:S0010437X23007649_inline1.png\"><span data-mathjax-type=\"texmath\"><span>$F$</span></span></img></span></span> be a separable integral binary form of odd degree <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240206110652704-0043:S0010437X23007649:S0010437X23007649_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$N geq 5$</span></span></img></span></span>. A result of Darmon and Granville known as ‘Faltings plus epsilon’ implies that the degree-<span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240206110652704-0043:S0010437X23007649:S0010437X23007649_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$N$</span></span></img></span></span> <span>superelliptic equation</span> <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240206110652704-0043:S0010437X23007649:S0010437X23007649_inline4.png\"><span data-mathjax-type=\"texmath\"><span>$y^2 = F(x,z)$</span></span></img></span></span> has finitely many primitive integer solutions. In this paper, we consider the family <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240206110652704-0043:S0010437X23007649:S0010437X23007649_inline5.png\"><span data-mathjax-type=\"texmath\"><span>$mathscr {F}_N(f_0)$</span></span></img></span></span> of degree-<span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240206110652704-0043:S0010437X23007649:S0010437X23007649_inline6.png\"><span data-mathjax-type=\"texmath\"><span>$N$</span></span></img></span></span> superelliptic equations with fixed leading coefficient <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240206110652704-0043:S0010437X23007649:S0010437X23007649_inline7.png\"><span data-mathjax-type=\"texmath\"><span>$f_0 in mathbb {Z} smallsetminus pm mathbb {Z}^2$</span></span></img></span></span>, ordered by height. For every sufficiently large <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240206110652704-0043:S0010437X23007649:S0010437X23007649_inline8.png\"><span data-mathjax-type=\"texmath\"><span>$N$</span></span></img></span></span>, we prove that among equations in the family <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240206110652704-0043:S0010437X23007649:S0010437X23007649_inline9.png\"><span data-mathjax-type","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2024-02-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139772611","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 2 Cover and Front matter COM 第 160 卷第 2 期封面和封底
IF 1.8 1区 数学 Q1 Mathematics Pub Date : 2024-01-19 DOI: 10.1112/s0010437x23007753
{"title":"COM volume 160 issue 2 Cover and Front matter","authors":"","doi":"10.1112/s0010437x23007753","DOIUrl":"https://doi.org/10.1112/s0010437x23007753","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":"139612650","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