首页 > 最新文献

Compositio Mathematica最新文献

英文 中文
Zeros of Rankin–Selberg L-functions in families 兰金-塞尔伯格 L 函数族中的零点
IF 1.8 1区 数学 Q1 MATHEMATICS Pub Date : 2024-04-03 DOI: 10.1112/s0010437x24007085
Peter Humphries, Jesse Thorner
<p>Let <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240402192832797-0216:S0010437X24007085:S0010437X24007085_inline2.png"><span data-mathjax-type="texmath"><span>$mathfrak {F}_n$</span></span></img></span></span> be the set of all cuspidal automorphic representations <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240402192832797-0216:S0010437X24007085:S0010437X24007085_inline3.png"><span data-mathjax-type="texmath"><span>$pi$</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:20240402192832797-0216:S0010437X24007085:S0010437X24007085_inline4.png"><span data-mathjax-type="texmath"><span>$mathrm {GL}_n$</span></span></img></span></span> with unitary central character 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:20240402192832797-0216:S0010437X24007085:S0010437X24007085_inline5.png"><span data-mathjax-type="texmath"><span>$F$</span></span></img></span></span>. We prove the first unconditional zero density estimate for the set <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240402192832797-0216:S0010437X24007085:S0010437X24007085_inline6.png"><span data-mathjax-type="texmath"><span>$mathcal {S}={L(s,pi times pi ')colon pi in mathfrak {F}_n}$</span></span></img></span></span> of Rankin–Selberg <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240402192832797-0216:S0010437X24007085:S0010437X24007085_inline7.png"><span data-mathjax-type="texmath"><span>$L$</span></span></img></span></span>-functions, where <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240402192832797-0216:S0010437X24007085:S0010437X24007085_inline8.png"><span data-mathjax-type="texmath"><span>$pi 'in mathfrak {F}_{n'}$</span></span></img></span></span> is fixed. We use this density estimate to establish: (i) a hybrid-aspect subconvexity bound at <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240402192832797-0216:S0010437X24007085:S0010437X24007085_inline9.png"><span data-mathjax-type="texmath"><span>$s=frac {1}{2}$</span></span></img></span></span> for almost all <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240402192832797-0216:S0010437X24007085:S0010437X24007085_inline10.png"><span data-mathjax-type="texmath"><span>$L(s,pi times pi ')in mathcal {S}$</span></
让 $mathfrak {F}_n$ 是 $mathrm {GL}_n$ 在数域 $F$ 上具有单元中心符的所有尖顶自形表示 $pi$ 的集合。我们证明了兰金-塞尔伯格 $L$ 函数集合 $mathcal {S}={L(s,pi times pi ')colon pi in mathfrak {F}_n}$ 的第一个无条件零密度估计,其中 $pi 'in mathfrak {F}_{n'}$ 是固定的。我们利用这个密度估计来建立(i) 对于几乎所有的 $L(s,pi times pi ')in mathcal {S}$ 来说,在 $s=frac {1}{2}$ 处都有一个混杂面次凸性约束;(ii) 对于几乎所有的 $pi in mathfrak {F}_n$ 来说,都有一个强平均形式的有效乘数一;(iii) 对于每个 $pi in mathfrak {F}_n$ 而言,在 Bombieri-Vinogradov 的意义上,$L(s,pi times widetilde {pi })$ 的分布水平为正。
{"title":"Zeros of Rankin–Selberg L-functions in families","authors":"Peter Humphries, Jesse Thorner","doi":"10.1112/s0010437x24007085","DOIUrl":"https://doi.org/10.1112/s0010437x24007085","url":null,"abstract":"&lt;p&gt;Let &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240402192832797-0216:S0010437X24007085:S0010437X24007085_inline2.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$mathfrak {F}_n$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; be the set of all cuspidal automorphic representations &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240402192832797-0216:S0010437X24007085:S0010437X24007085_inline3.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$pi$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; of &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240402192832797-0216:S0010437X24007085:S0010437X24007085_inline4.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$mathrm {GL}_n$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; with unitary central character over a number field &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240402192832797-0216:S0010437X24007085:S0010437X24007085_inline5.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$F$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt;. We prove the first unconditional zero density estimate for the set &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240402192832797-0216:S0010437X24007085:S0010437X24007085_inline6.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$mathcal {S}={L(s,pi times pi ')colon pi in mathfrak {F}_n}$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; of Rankin–Selberg &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240402192832797-0216:S0010437X24007085:S0010437X24007085_inline7.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$L$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt;-functions, where &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240402192832797-0216:S0010437X24007085:S0010437X24007085_inline8.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$pi 'in mathfrak {F}_{n'}$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; is fixed. We use this density estimate to establish: (i) a hybrid-aspect subconvexity bound at &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240402192832797-0216:S0010437X24007085:S0010437X24007085_inline9.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$s=frac {1}{2}$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; for almost all &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240402192832797-0216:S0010437X24007085:S0010437X24007085_inline10.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$L(s,pi times pi ')in mathcal {S}$&lt;/span&gt;&lt;/","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":"40 1","pages":""},"PeriodicalIF":1.8,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140561430","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
Fields of moduli and the arithmetic of tame quotient singularities 模域和驯商奇点算术
IF 1.8 1区 数学 Q1 MATHEMATICS Pub Date : 2024-03-27 DOI: 10.1112/s0010437x2400705x
Giulio Bresciani, Angelo Vistoli
<p>Given a perfect field <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240326174202036-0722:S0010437X2400705X:S0010437X2400705X_inline1.png"><span data-mathjax-type="texmath"><span>$k$</span></span></img></span></span> with algebraic closure <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240326174202036-0722:S0010437X2400705X:S0010437X2400705X_inline2.png"><span data-mathjax-type="texmath"><span>$overline {k}$</span></span></img></span></span> and a variety <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240326174202036-0722:S0010437X2400705X:S0010437X2400705X_inline3.png"><span data-mathjax-type="texmath"><span>$X$</span></span></img></span></span> over <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240326174202036-0722:S0010437X2400705X:S0010437X2400705X_inline4.png"><span data-mathjax-type="texmath"><span>$overline {k}$</span></span></img></span></span>, the field of moduli of <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240326174202036-0722:S0010437X2400705X:S0010437X2400705X_inline5.png"><span data-mathjax-type="texmath"><span>$X$</span></span></img></span></span> is the subfield of <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240326174202036-0722:S0010437X2400705X:S0010437X2400705X_inline6.png"><span data-mathjax-type="texmath"><span>$overline {k}$</span></span></img></span></span> of elements fixed by field automorphisms <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240326174202036-0722:S0010437X2400705X:S0010437X2400705X_inline7.png"><span data-mathjax-type="texmath"><span>$gamma in operatorname {Gal}(overline {k}/k)$</span></span></img></span></span> such that the Galois conjugate <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240326174202036-0722:S0010437X2400705X:S0010437X2400705X_inline8.png"><span data-mathjax-type="texmath"><span>$X_{gamma }$</span></span></img></span></span> is isomorphic to <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240326174202036-0722:S0010437X2400705X:S0010437X2400705X_inline9.png"><span data-mathjax-type="texmath"><span>$X$</span></span></img></span></span>. The field of moduli is contained in all subextensions <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambri
给定一个具有代数闭合$overline {k}$的完全域$k$和一个在$overline {k}$上的综元$X$,$X$的模域就是由域自变量$gamma in operatorname {Gal}(overline {k}/k)$ 固定元素的$overline {k}$子域,使得伽罗瓦共轭$X_{gamma }$与$X$同构。模域包含在所有子扩展中 $k(子集 k')(子集 overline {k})$,使得 $X$ 下降到 $k'$。在本文中,我们扩展了形式主义,并定义了当 $k$ 不完美时的模域。此外,Dèbes 和 Emsalem 确定了确保光滑曲线定义在其模域上的条件,并证明了有标记点的光滑曲线总是定义在其模域上。我们的主要定理是对这些结果的推广,适用于高维变种和具有附加结构的变种。为了应用这个定理,我们研究了具有商奇点的有理点何时升为解析的问题。因此,我们证明了维数为$d$的具有光滑标记点$p$的综$X$,其模域上的$operatorname {Aut}(X,p)$是有限的、椭圆的、度为$d!$的素数。
{"title":"Fields of moduli and the arithmetic of tame quotient singularities","authors":"Giulio Bresciani, Angelo Vistoli","doi":"10.1112/s0010437x2400705x","DOIUrl":"https://doi.org/10.1112/s0010437x2400705x","url":null,"abstract":"&lt;p&gt;Given a perfect field &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240326174202036-0722:S0010437X2400705X:S0010437X2400705X_inline1.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$k$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; with algebraic closure &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240326174202036-0722:S0010437X2400705X:S0010437X2400705X_inline2.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$overline {k}$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; and a variety &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240326174202036-0722:S0010437X2400705X:S0010437X2400705X_inline3.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$X$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; over &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240326174202036-0722:S0010437X2400705X:S0010437X2400705X_inline4.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$overline {k}$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt;, the field of moduli of &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240326174202036-0722:S0010437X2400705X:S0010437X2400705X_inline5.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$X$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; is the subfield of &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240326174202036-0722:S0010437X2400705X:S0010437X2400705X_inline6.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$overline {k}$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; of elements fixed by field automorphisms &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240326174202036-0722:S0010437X2400705X:S0010437X2400705X_inline7.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$gamma in operatorname {Gal}(overline {k}/k)$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; such that the Galois conjugate &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240326174202036-0722:S0010437X2400705X:S0010437X2400705X_inline8.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$X_{gamma }$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; is isomorphic to &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240326174202036-0722:S0010437X2400705X:S0010437X2400705X_inline9.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$X$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt;. The field of moduli is contained in all subextensions &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambri","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":"158 1","pages":""},"PeriodicalIF":1.8,"publicationDate":"2024-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140313632","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 curves and Néron models of generalized Jacobians 广义雅各布的模块曲线和内龙模型
IF 1.8 1区 数学 Q1 MATHEMATICS Pub Date : 2024-03-26 DOI: 10.1112/s0010437x23007662
Bruce W. Jordan, Kenneth A. Ribet, Anthony J. Scholl
<p>Let <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline1.png"><span data-mathjax-type="texmath"><span>$X$</span></span></img></span></span> be a smooth geometrically connected projective curve over the field of fractions of a discrete valuation ring <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline2.png"><span data-mathjax-type="texmath"><span>$R$</span></span></img></span></span>, and <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline3.png"><span data-mathjax-type="texmath"><span>$mathfrak {m}$</span></span></img></span></span> a modulus on <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline4.png"><span data-mathjax-type="texmath"><span>$X$</span></span></img></span></span>, given by a closed subscheme of <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline5.png"><span data-mathjax-type="texmath"><span>$X$</span></span></img></span></span> which is geometrically reduced. The generalized Jacobian <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline6.png"><span data-mathjax-type="texmath"><span>$J_mathfrak {m}$</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:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline7.png"><span data-mathjax-type="texmath"><span>$X$</span></span></img></span></span> with respect to <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline8.png"><span data-mathjax-type="texmath"><span>$mathfrak {m}$</span></span></img></span></span> is then an extension of the Jacobian of <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline9.png"><span data-mathjax-type="texmath"><span>$X$</span></span></img></span></span> by a torus. We describe its Néron model, together with the character and component groups of the special fibre, in terms of a regular m
假设 $X$ 是离散估值环 $R$ 分数域上的一条几何上光滑相连的投影曲线,而 $mathfrak {m}$ 是 $X$ 上的一个模,由几何上缩小的 $X$ 的一个封闭子cheme 给出。那么,与 $mathfrak {m}$ 有关的 $X$ 的广义雅各比值 $J_mathfrak {m}$ 就是由环状体对 $X$ 的雅各比值的扩展。我们用 $R$ 上的 $X$ 正则模型来描述它的内龙模型以及特殊纤维的特征群和成分群。这概括了雷诺对通常雅各布的著名描述。我们还给出了一些关于模数支持在尖顶上的模数曲线 $X_0(N)$ 的广义雅各比的计算。
{"title":"Modular curves and Néron models of generalized Jacobians","authors":"Bruce W. Jordan, Kenneth A. Ribet, Anthony J. Scholl","doi":"10.1112/s0010437x23007662","DOIUrl":"https://doi.org/10.1112/s0010437x23007662","url":null,"abstract":"&lt;p&gt;Let &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline1.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$X$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; be a smooth geometrically connected projective curve over the field of fractions of a discrete valuation ring &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline2.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$R$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt;, and &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline3.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$mathfrak {m}$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; a modulus on &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline4.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$X$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt;, given by a closed subscheme of &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline5.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$X$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; which is geometrically reduced. The generalized Jacobian &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline6.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$J_mathfrak {m}$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; of &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline7.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$X$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; with respect to &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline8.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$mathfrak {m}$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; is then an extension of the Jacobian of &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline9.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$X$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; by a torus. We describe its Néron model, together with the character and component groups of the special fibre, in terms of a regular m","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":"75 1","pages":""},"PeriodicalIF":1.8,"publicationDate":"2024-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140300384","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 analytic classification of plane curves 平面曲线的解析分类
IF 1.8 1区 数学 Q1 MATHEMATICS Pub Date : 2024-03-19 DOI: 10.1112/s0010437x24007061
Marcelo Escudeiro Hernandes, Maria Elenice Rodrigues Hernandes

In this paper, we present a solution to the problem of the analytic classification of germs of plane curves with several irreducible components. Our algebraic approach follows precursive ideas of Oscar Zariski and as a subproduct allows us to recover some particular cases found in the literature.

在本文中,我们提出了具有多个不可还原分量的平面曲线胚芽的解析分类问题的解决方案。我们的代数方法沿袭了奥斯卡-扎里斯基(Oscar Zariski)的先验思想,作为子产品,我们可以恢复文献中发现的一些特殊情况。
{"title":"The analytic classification of plane curves","authors":"Marcelo Escudeiro Hernandes, Maria Elenice Rodrigues Hernandes","doi":"10.1112/s0010437x24007061","DOIUrl":"https://doi.org/10.1112/s0010437x24007061","url":null,"abstract":"<p>In this paper, we present a solution to the problem of the analytic classification of germs of plane curves with several irreducible components. Our algebraic approach follows precursive ideas of Oscar Zariski and as a subproduct allows us to recover some particular cases found in the literature.</p>","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":"19 1","pages":""},"PeriodicalIF":1.8,"publicationDate":"2024-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140170758","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
Discrepancy of rational points in simple algebraic groups 简单代数群中有理点的差异
IF 1.8 1区 数学 Q1 MATHEMATICS Pub Date : 2024-03-13 DOI: 10.1112/s0010437x23007716
Alexander Gorodnik, Amos Nevo

The aim of the present paper is to derive effective discrepancy estimates for the distribution of rational points on general semisimple algebraic group varieties, in general families of subsets and at arbitrarily small scales. We establish mean-square, almost sure and uniform estimates for the discrepancy with explicit error bounds. We also prove an analogue of W. Schmidt's theorem, which establishes effective almost sure asymptotic counting of rational solutions to Diophantine inequalities in the Euclidean space. We formulate and prove a version of it for rational points on the group variety, with an effective bound which in some instances can be expected to be the best possible.

本文旨在推导一般半简单代数群变种上有理点分布的有效差异估计值,在一般子集族中和任意小尺度下。我们为差异建立了均方估计、几乎确定估计和均匀估计,并给出了明确的误差范围。我们还证明了 W. 施密特定理的类似定理,该定理建立了欧几里得空间中二阶不等式有理解的有效近似计算。我们提出并证明了该定理在群域上有理点的一个版本,其有效约束在某些情况下可能是最好的。
{"title":"Discrepancy of rational points in simple algebraic groups","authors":"Alexander Gorodnik, Amos Nevo","doi":"10.1112/s0010437x23007716","DOIUrl":"https://doi.org/10.1112/s0010437x23007716","url":null,"abstract":"<p>The aim of the present paper is to derive effective discrepancy estimates for the distribution of rational points on general semisimple algebraic group varieties, in general families of subsets and at arbitrarily small scales. We establish mean-square, almost sure and uniform estimates for the discrepancy with explicit error bounds. We also prove an analogue of W. Schmidt's theorem, which establishes effective almost sure asymptotic counting of rational solutions to Diophantine inequalities in the Euclidean space. We formulate and prove a version of it for rational points on the group variety, with an effective bound which in some instances can be expected to be the best possible.</p>","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":"116 1","pages":""},"PeriodicalIF":1.8,"publicationDate":"2024-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140115646","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
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":"27 1","pages":""},"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
<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.
让 $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":"&lt;p&gt;Let &lt;span&gt;&lt;span&gt;&lt;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\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$U$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; be a smooth affine curve over a number field &lt;span&gt;&lt;span&gt;&lt;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\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$K$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; with a compactification &lt;span&gt;&lt;span&gt;&lt;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\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$X$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; and let &lt;span&gt;&lt;span&gt;&lt;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\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;${mathbb {L}}$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; be a rank &lt;span&gt;&lt;span&gt;&lt;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\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$2$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt;, geometrically irreducible lisse &lt;span&gt;&lt;span&gt;&lt;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\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$overline {{mathbb {Q}}}_ell$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt;-sheaf on &lt;span&gt;&lt;span&gt;&lt;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\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$U$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; with cyclotomic determinant that extends to an integral model, has Frobenius traces all in some fixed number field &lt;span&gt;&lt;span&gt;&lt;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\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$Esubset overline {mathbb {Q}}_{ell }$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt;, and has bad, infinite reduction at some closed point &lt;span&gt;&lt;span&gt;&lt;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\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$x$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; of &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":"2676 1","pages":""},"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":"156 1","pages":""},"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":"28 1","pages":""},"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
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":"276 1","pages":""},"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
期刊
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