首页 > 最新文献

Journal of the London Mathematical Society-Second Series最新文献

英文 中文
Torsion in Kauffman bracket skein module of a 4-strand Montesinos knot exterior 四股蒙特西诺斯结外部的考夫曼托架绞丝模的扭转
IF 1.2 2区 数学 Q1 MATHEMATICS Pub Date : 2025-12-17 DOI: 10.1112/jlms.70398
Haimiao Chen
<p>For an oriented 3-manifold <span></span><math> <semantics> <mi>M</mi> <annotation>$M$</annotation> </semantics></math>, let <span></span><math> <semantics> <mrow> <mi>S</mi> <mo>(</mo> <mi>M</mi> <mo>)</mo> </mrow> <annotation>$mathcal {S}(M)$</annotation> </semantics></math> denote its Kauffman bracket skein module over <span></span><math> <semantics> <mrow> <mi>Z</mi> <mo>[</mo> <msup> <mi>q</mi> <mrow> <mo>±</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> </mrow> </msup> <mo>]</mo> </mrow> <annotation>$mathbb {Z}[q^{pm frac{1}{2}}]$</annotation> </semantics></math>. We show that <span></span><math> <semantics> <mrow> <mi>S</mi> <mo>(</mo> <mi>M</mi> <mo>)</mo> </mrow> <annotation>$mathcal {S}(M)$</annotation> </semantics></math> admits torsion when <span></span><math> <semantics> <mi>M</mi> <annotation>$M$</annotation> </semantics></math> is the exterior of the Montesinos knot <span></span><math> <semantics> <mrow> <mi>K</mi> <mo>(</mo> <msub> <mi>a</mi> <mn>1</mn> </msub> <mo>/</mo> <msub> <mi>b</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>a</mi> <mn>2</mn> </msub> <mo>/</mo> <msub> <mi>b</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>a</mi> <mn>3</mn> </msub> <mo>/</mo> <msub> <mi>b</mi> <mn>4</mn> </msub> <mo>,</mo> <msub> <mi>a</mi> <mn>4</mn> </msub> <mo>/</mo> <msub> <mi>b</mi> <mn>4</mn> </msub> <mo>)</mo> </mrow> <annotation>$K(a_1/b_1,a_2/b_2,a_3/b_4,a_4/b_4)$</annota
对于一个定向3-歧管M $M$,设S (M) $mathcal {S}(M)$表示其在Z [q±12]上的Kauffman托架绞丝模$mathbb {Z}[q^{pm frac{1}{2}}]$。我们证明当M $M$是蒙特西诺斯结K (a 1 /)的外部时S (M) $mathcal {S}(M)$允许扭转b1, a2 / b2, a3 / b2,A 4 / b 4) $K(a_1/b_1,a_2/b_2,a_3/b_4,a_4/b_4)$每个b I大于或等于3 $b_igeqslant 3$。这为Kirby列表中的问题1.92 (G) - (i)提供了一个否定的答案,该问题询问当M $M$不可约且没有不可压缩的无边界平行环面时S (M) $mathcal {S}(M)$是否自由。
{"title":"Torsion in Kauffman bracket skein module of a 4-strand Montesinos knot exterior","authors":"Haimiao Chen","doi":"10.1112/jlms.70398","DOIUrl":"https://doi.org/10.1112/jlms.70398","url":null,"abstract":"&lt;p&gt;For an oriented 3-manifold &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mi&gt;M&lt;/mi&gt;\u0000 &lt;annotation&gt;$M$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;, let &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;S&lt;/mi&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;mi&gt;M&lt;/mi&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$mathcal {S}(M)$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; denote its Kauffman bracket skein module over &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;Z&lt;/mi&gt;\u0000 &lt;mo&gt;[&lt;/mo&gt;\u0000 &lt;msup&gt;\u0000 &lt;mi&gt;q&lt;/mi&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mo&gt;±&lt;/mo&gt;\u0000 &lt;mfrac&gt;\u0000 &lt;mn&gt;1&lt;/mn&gt;\u0000 &lt;mn&gt;2&lt;/mn&gt;\u0000 &lt;/mfrac&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;/msup&gt;\u0000 &lt;mo&gt;]&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$mathbb {Z}[q^{pm frac{1}{2}}]$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;. We show that &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;S&lt;/mi&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;mi&gt;M&lt;/mi&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$mathcal {S}(M)$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; admits torsion when &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mi&gt;M&lt;/mi&gt;\u0000 &lt;annotation&gt;$M$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; is the exterior of the Montesinos knot &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;K&lt;/mi&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;msub&gt;\u0000 &lt;mi&gt;a&lt;/mi&gt;\u0000 &lt;mn&gt;1&lt;/mn&gt;\u0000 &lt;/msub&gt;\u0000 &lt;mo&gt;/&lt;/mo&gt;\u0000 &lt;msub&gt;\u0000 &lt;mi&gt;b&lt;/mi&gt;\u0000 &lt;mn&gt;1&lt;/mn&gt;\u0000 &lt;/msub&gt;\u0000 &lt;mo&gt;,&lt;/mo&gt;\u0000 &lt;msub&gt;\u0000 &lt;mi&gt;a&lt;/mi&gt;\u0000 &lt;mn&gt;2&lt;/mn&gt;\u0000 &lt;/msub&gt;\u0000 &lt;mo&gt;/&lt;/mo&gt;\u0000 &lt;msub&gt;\u0000 &lt;mi&gt;b&lt;/mi&gt;\u0000 &lt;mn&gt;2&lt;/mn&gt;\u0000 &lt;/msub&gt;\u0000 &lt;mo&gt;,&lt;/mo&gt;\u0000 &lt;msub&gt;\u0000 &lt;mi&gt;a&lt;/mi&gt;\u0000 &lt;mn&gt;3&lt;/mn&gt;\u0000 &lt;/msub&gt;\u0000 &lt;mo&gt;/&lt;/mo&gt;\u0000 &lt;msub&gt;\u0000 &lt;mi&gt;b&lt;/mi&gt;\u0000 &lt;mn&gt;4&lt;/mn&gt;\u0000 &lt;/msub&gt;\u0000 &lt;mo&gt;,&lt;/mo&gt;\u0000 &lt;msub&gt;\u0000 &lt;mi&gt;a&lt;/mi&gt;\u0000 &lt;mn&gt;4&lt;/mn&gt;\u0000 &lt;/msub&gt;\u0000 &lt;mo&gt;/&lt;/mo&gt;\u0000 &lt;msub&gt;\u0000 &lt;mi&gt;b&lt;/mi&gt;\u0000 &lt;mn&gt;4&lt;/mn&gt;\u0000 &lt;/msub&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$K(a_1/b_1,a_2/b_2,a_3/b_4,a_4/b_4)$&lt;/annota","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":"112 6","pages":""},"PeriodicalIF":1.2,"publicationDate":"2025-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145824431","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Discretised sum-product theorems by Shannon-type inequalities 香农型不等式的离散和积定理
IF 1.2 2区 数学 Q1 MATHEMATICS Pub Date : 2025-12-17 DOI: 10.1112/jlms.70389
András Máthé, William O'Regan
<p>By making use of arithmetic information inequalities, we give a strong quantitative bound for the discretised ring theorem. In particular, we show that if <span></span><math> <semantics> <mrow> <mi>A</mi> <mo>⊂</mo> <mo>[</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>]</mo> </mrow> <annotation>$A subset [1,2]$</annotation> </semantics></math> is a <span></span><math> <semantics> <mrow> <mo>(</mo> <mi>δ</mi> <mo>,</mo> <mi>σ</mi> <mo>)</mo> </mrow> <annotation>$(delta,sigma)$</annotation> </semantics></math>-set, with <span></span><math> <semantics> <mrow> <mrow> <mo>|</mo> <mi>A</mi> <mo>|</mo> </mrow> <mo>=</mo> <msup> <mi>δ</mi> <mrow> <mo>−</mo> <mi>σ</mi> </mrow> </msup> </mrow> <annotation>$|A| = delta ^{-sigma }$</annotation> </semantics></math>, then <span></span><math> <semantics> <mrow> <mi>A</mi> <mo>+</mo> <mi>A</mi> </mrow> <annotation>$A+A$</annotation> </semantics></math> or <span></span><math> <semantics> <mrow> <mi>A</mi> <mi>A</mi> </mrow> <annotation>$AA$</annotation> </semantics></math> has <span></span><math> <semantics> <mi>δ</mi> <annotation>$delta$</annotation> </semantics></math>-covering number at least <span></span><math> <semantics> <mrow> <msup> <mi>δ</mi> <mrow> <mo>−</mo> <mi>c</mi> </mrow> </msup> <mrow> <mo>|</mo> <mi>A</mi> <mo>|</mo> </mrow> </mrow> <annotation>$delta ^{-c}|A|$</annotation> </semantics></math> for any <span></span><math> <semantics> <mrow> <mn>0</mn>
利用算术信息不等式,给出了离散环定理的一个强定量界。特别地,我们证明如果A∧[1,2]$A subset [1,2]$是A (δ,σ) $(delta,sigma)$ -set,| A | = δ−σ $|A| = delta ^{-sigma }$,那么A + A $A+A$或A A $AA$至少有δ $delta$ -覆盖数δ - c | A | $delta ^{-c}|A|$对于任意0 &lt; c &lt; minσ {/ 6,(1−σ) / 6}$0 < c < min lbrace sigma /6, (1-sigma)/6rbrace$,假设δ &gt; 0 $delta > 0$足够小。
{"title":"Discretised sum-product theorems by Shannon-type inequalities","authors":"András Máthé,&nbsp;William O'Regan","doi":"10.1112/jlms.70389","DOIUrl":"https://doi.org/10.1112/jlms.70389","url":null,"abstract":"&lt;p&gt;By making use of arithmetic information inequalities, we give a strong quantitative bound for the discretised ring theorem. In particular, we show that if &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;A&lt;/mi&gt;\u0000 &lt;mo&gt;⊂&lt;/mo&gt;\u0000 &lt;mo&gt;[&lt;/mo&gt;\u0000 &lt;mn&gt;1&lt;/mn&gt;\u0000 &lt;mo&gt;,&lt;/mo&gt;\u0000 &lt;mn&gt;2&lt;/mn&gt;\u0000 &lt;mo&gt;]&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$A subset [1,2]$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; is a &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;mi&gt;δ&lt;/mi&gt;\u0000 &lt;mo&gt;,&lt;/mo&gt;\u0000 &lt;mi&gt;σ&lt;/mi&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$(delta,sigma)$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;-set, with &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mo&gt;|&lt;/mo&gt;\u0000 &lt;mi&gt;A&lt;/mi&gt;\u0000 &lt;mo&gt;|&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;mo&gt;=&lt;/mo&gt;\u0000 &lt;msup&gt;\u0000 &lt;mi&gt;δ&lt;/mi&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mo&gt;−&lt;/mo&gt;\u0000 &lt;mi&gt;σ&lt;/mi&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;/msup&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$|A| = delta ^{-sigma }$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;, then &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;A&lt;/mi&gt;\u0000 &lt;mo&gt;+&lt;/mo&gt;\u0000 &lt;mi&gt;A&lt;/mi&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$A+A$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; or &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;A&lt;/mi&gt;\u0000 &lt;mi&gt;A&lt;/mi&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$AA$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; has &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mi&gt;δ&lt;/mi&gt;\u0000 &lt;annotation&gt;$delta$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;-covering number at least &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;msup&gt;\u0000 &lt;mi&gt;δ&lt;/mi&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mo&gt;−&lt;/mo&gt;\u0000 &lt;mi&gt;c&lt;/mi&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;/msup&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mo&gt;|&lt;/mo&gt;\u0000 &lt;mi&gt;A&lt;/mi&gt;\u0000 &lt;mo&gt;|&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$delta ^{-c}|A|$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; for any &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mn&gt;0&lt;/mn&gt;\u0000 ","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":"112 6","pages":""},"PeriodicalIF":1.2,"publicationDate":"2025-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.70389","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145848261","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Conformal optimization of eigenvalues on surfaces with symmetries 对称曲面上特征值的保形优化
IF 1.2 2区 数学 Q1 MATHEMATICS Pub Date : 2025-12-17 DOI: 10.1112/jlms.70386
Denis Vinokurov

Given a conformal action of a discrete group on a Riemann surface, we study the maximization of Laplace and Steklov eigenvalues within a conformal class, considering metrics invariant under the group action. We establish natural conditions for the existence and regularity of maximizers. Our method simplifies the previously known techniques for proving existence and regularity results in conformal class optimization. Finally, we provide a complete solution to the equivariant maximization problem for Laplace eigenvalues on the sphere and Steklov eigenvalues on the disk, resolving open questions posed by Arias-Marco et al. (2024) regarding the sharpness of the Hersch–Payne–Schiffer inequality and the maximization of Steklov eigenvalues by the standard disk among planar simply connected domains with n-rotational$ntext{-rotational}$ symmetry.

给定Riemann曲面上离散群的一个共形作用,考虑群作用下的度量不变量,研究了共形类内拉普拉斯特征值和Steklov特征值的最大化问题。我们建立了最大化者存在的自然条件和规则性。我们的方法简化了以前已知的证明保形类优化的存在性和正则性结果的技术。最后,给出了球面上拉普拉斯特征值和圆盘上Steklov特征值的等变极大化问题的完整解。解决了Arias-Marco等人(2024)提出的关于Hersch-Payne-Schiffer不等式的尖锐性和Steklov特征值的最大化的开放性问题,即平面单连通域中具有n -rotational $ntext{-rotational}$对称性的标准圆盘。
{"title":"Conformal optimization of eigenvalues on surfaces with symmetries","authors":"Denis Vinokurov","doi":"10.1112/jlms.70386","DOIUrl":"https://doi.org/10.1112/jlms.70386","url":null,"abstract":"<p>Given a conformal action of a discrete group on a Riemann surface, we study the maximization of Laplace and Steklov eigenvalues within a conformal class, considering metrics invariant under the group action. We establish natural conditions for the existence and regularity of maximizers. Our method simplifies the previously known techniques for proving existence and regularity results in conformal class optimization. Finally, we provide a complete solution to the equivariant maximization problem for Laplace eigenvalues on the sphere and Steklov eigenvalues on the disk, resolving open questions posed by Arias-Marco et al. (2024) regarding the sharpness of the Hersch–Payne–Schiffer inequality and the maximization of Steklov eigenvalues by the standard disk among planar simply connected domains with <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>n</mi>\u0000 <mtext>-rotational</mtext>\u0000 </mrow>\u0000 <annotation>$ntext{-rotational}$</annotation>\u0000 </semantics></math> symmetry.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":"112 6","pages":""},"PeriodicalIF":1.2,"publicationDate":"2025-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.70386","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145824438","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Blow-up phenomena for the equivariant Yamabe equation on manifolds with boundary 带边界流形上等变Yamabe方程的爆破现象
IF 1.2 2区 数学 Q1 MATHEMATICS Pub Date : 2025-12-15 DOI: 10.1112/jlms.70403
Pak Tung Ho, Jinwoo Shin

In this paper, we consider the compactness of the solutions to the equivariant Yamabe equation on manifolds with boundary. We construct a smooth counterexample showing that the compactness of the set of “lower energy” solutions to the equivariant Yamabe equation fails when the dimension of the manifold is not less than 25.

本文研究具有边界的流形上等变Yamabe方程解的紧性。我们构造了一个光滑反例,证明了当流形的维数不小于25时,等变Yamabe方程的“低能量”解集的紧性失效。
{"title":"Blow-up phenomena for the equivariant Yamabe equation on manifolds with boundary","authors":"Pak Tung Ho,&nbsp;Jinwoo Shin","doi":"10.1112/jlms.70403","DOIUrl":"https://doi.org/10.1112/jlms.70403","url":null,"abstract":"<p>In this paper, we consider the compactness of the solutions to the equivariant Yamabe equation on manifolds with boundary. We construct a smooth counterexample showing that the compactness of the set of “lower energy” solutions to the equivariant Yamabe equation fails when the dimension of the manifold is not less than 25.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":"112 6","pages":""},"PeriodicalIF":1.2,"publicationDate":"2025-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145824520","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Topological basis problem under determinacy 确定性下的拓扑基问题
IF 1.2 2区 数学 Q1 MATHEMATICS Pub Date : 2025-12-12 DOI: 10.1112/jlms.70360
Yinhe Peng, Liuzhen Wu

We study the topological basis problem under ZF, the Zermelo-Fraenkel axiomatic set theory without the Axiom of Choice. We prove that under AD+DCR${rm DC}_mathbb {R}$, the class of regular topologies on R$mathbb {R}$ has a three element basis and the class of Hausdorff topologies on ω1$omega _1$ has a single-element basis. In particular, AD+V=L(R)$V=L(mathbb {R})$ implies that the class of uncountable regular spaces has a four element basis.

研究了不含选择公理的Zermelo-Fraenkel公理集理论ZF下的拓扑基问题。证明了在AD+ DC R ${rm DC}_mathbb {R}$下,R $mathbb {R}$上的正则拓扑类具有三元素基,而ω 1$ ω _1$上的Hausdorff拓扑类具有单元素基。特别地,AD+ V=L(R)$ V=L(mathbb {R})$表明不可数正则空间类具有四元基。
{"title":"Topological basis problem under determinacy","authors":"Yinhe Peng,&nbsp;Liuzhen Wu","doi":"10.1112/jlms.70360","DOIUrl":"https://doi.org/10.1112/jlms.70360","url":null,"abstract":"<p>We study the topological basis problem under ZF, the Zermelo-Fraenkel axiomatic set theory without the Axiom of Choice. We prove that under AD+<span></span><math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>DC</mi>\u0000 <mi>R</mi>\u0000 </msub>\u0000 <annotation>${rm DC}_mathbb {R}$</annotation>\u0000 </semantics></math>, the class of regular topologies on <span></span><math>\u0000 <semantics>\u0000 <mi>R</mi>\u0000 <annotation>$mathbb {R}$</annotation>\u0000 </semantics></math> has a three element basis and the class of Hausdorff topologies on <span></span><math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>ω</mi>\u0000 <mn>1</mn>\u0000 </msub>\u0000 <annotation>$omega _1$</annotation>\u0000 </semantics></math> has a single-element basis. In particular, AD+<span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>V</mi>\u0000 <mo>=</mo>\u0000 <mi>L</mi>\u0000 <mo>(</mo>\u0000 <mi>R</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$V=L(mathbb {R})$</annotation>\u0000 </semantics></math> implies that the class of uncountable regular spaces has a four element basis.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":"112 6","pages":""},"PeriodicalIF":1.2,"publicationDate":"2025-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145750931","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Polarization and Gorenstein liaison 极化和戈伦斯坦联络
IF 1.2 2区 数学 Q1 MATHEMATICS Pub Date : 2025-12-12 DOI: 10.1112/jlms.70319
Sara Faridi, Patricia Klein, Jenna Rajchgot, Alexandra Seceleanu
<p>A major open question in the theory of Gorenstein liaison is whether or not every arithmetically Cohen–Macaulay subscheme of <span></span><math> <semantics> <msup> <mi>P</mi> <mi>n</mi> </msup> <annotation>$mathbb {P}^n$</annotation> </semantics></math> can be G-linked to a complete intersection. Migliore and Nagel showed that if such a scheme is generically Gorenstein (e.g., reduced), then, after re-embedding so that it is viewed as a subscheme of <span></span><math> <semantics> <msup> <mi>P</mi> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> <annotation>$mathbb {P}^{n+1}$</annotation> </semantics></math>, indeed it can be G-linked to a complete intersection. Motivated by this result, we consider techniques for constructing G-links on a scheme from G-links on a closely related reduced scheme.</p><p>Polarization is a tool for producing a squarefree monomial ideal from an arbitrary monomial ideal. Basic double G-links on squarefree monomial ideals can be induced from vertex decompositions of their Stanley–Reisner complexes. Given a monomial ideal <span></span><math> <semantics> <mi>I</mi> <annotation>$I$</annotation> </semantics></math> and a vertex decomposition of the Stanley–Reisner complex of its polarization <span></span><math> <semantics> <mrow> <mi>P</mi> <mo>(</mo> <mi>I</mi> <mo>)</mo> </mrow> <annotation>$mathcal {P}(I)$</annotation> </semantics></math>, we give conditions that allow for the lifting of an associated basic double G-link of <span></span><math> <semantics> <mrow> <mi>P</mi> <mo>(</mo> <mi>I</mi> <mo>)</mo> </mrow> <annotation>$mathcal {P}(I)$</annotation> </semantics></math> to a basic double G-link of <span></span><math> <semantics> <mi>I</mi> <annotation>$I$</annotation> </semantics></math> itself. We use the relationship we develop in the process to show that the Stanley–Reisner complexes of polarizations of stable Cohen– Macaulay monomial ideals are vertex decomposable.</p><p>We then introduce and study polarization of a Gröbner basis of an arbitrary homogeneous ideal and give a relationship between geometric vertex decomposition of a polarization and elementary G-biliaison that is analogous to our result on ve
在Gorenstein联络理论中,一个重要的开放性问题是是否P n$ mathbb {P}^n$的每一个算术上的Cohen-Macaulay子格式都可以G-linked到一个完全交。Migliore和Nagel证明,如果这样的方案是一般的Gorenstein(例如,约简),那么,在重新嵌入之后,使它被视为P n+1 $mathbb {P}^{n+1}$的子方案,它确实可以g -链到一个完全交。在此结果的激励下,我们考虑了由密切相关的约简格式上的g -链路在一个格式上构造g -链路的技术。极化是一种从任意单项理想产生无平方单项理想的工具。可由Stanley-Reisner配合物的顶点分解导出无平方单项式理想上的基本重g连杆。给定一个单项式理想I$ I$及其极化P (I)$ mathcal {P}(I)$的Stanley-Reisner复合体的顶点分解,我们给出了允许将P (I)$ mathcal {P}(I)$的关联基本双g连杆提升为I$ I$本身的基本双g连杆的条件。我们利用在此过程中建立的关系证明了稳定Cohen - Macaulay单项式理想的极化Stanley-Reisner复合体是顶点可分解的。然后,我们引入并研究了任意齐次理想的Gröbner基的极化,并给出了极化的几何顶点分解与初等G-biliaison之间的关系,类似于顶点分解与基本双g -连杆的结果。
{"title":"Polarization and Gorenstein liaison","authors":"Sara Faridi,&nbsp;Patricia Klein,&nbsp;Jenna Rajchgot,&nbsp;Alexandra Seceleanu","doi":"10.1112/jlms.70319","DOIUrl":"https://doi.org/10.1112/jlms.70319","url":null,"abstract":"&lt;p&gt;A major open question in the theory of Gorenstein liaison is whether or not every arithmetically Cohen–Macaulay subscheme of &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;msup&gt;\u0000 &lt;mi&gt;P&lt;/mi&gt;\u0000 &lt;mi&gt;n&lt;/mi&gt;\u0000 &lt;/msup&gt;\u0000 &lt;annotation&gt;$mathbb {P}^n$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; can be G-linked to a complete intersection. Migliore and Nagel showed that if such a scheme is generically Gorenstein (e.g., reduced), then, after re-embedding so that it is viewed as a subscheme of &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;msup&gt;\u0000 &lt;mi&gt;P&lt;/mi&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;n&lt;/mi&gt;\u0000 &lt;mo&gt;+&lt;/mo&gt;\u0000 &lt;mn&gt;1&lt;/mn&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;/msup&gt;\u0000 &lt;annotation&gt;$mathbb {P}^{n+1}$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;, indeed it can be G-linked to a complete intersection. Motivated by this result, we consider techniques for constructing G-links on a scheme from G-links on a closely related reduced scheme.&lt;/p&gt;&lt;p&gt;Polarization is a tool for producing a squarefree monomial ideal from an arbitrary monomial ideal. Basic double G-links on squarefree monomial ideals can be induced from vertex decompositions of their Stanley–Reisner complexes. Given a monomial ideal &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mi&gt;I&lt;/mi&gt;\u0000 &lt;annotation&gt;$I$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; and a vertex decomposition of the Stanley–Reisner complex of its polarization &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;P&lt;/mi&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;mi&gt;I&lt;/mi&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$mathcal {P}(I)$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;, we give conditions that allow for the lifting of an associated basic double G-link of &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;P&lt;/mi&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;mi&gt;I&lt;/mi&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$mathcal {P}(I)$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; to a basic double G-link of &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mi&gt;I&lt;/mi&gt;\u0000 &lt;annotation&gt;$I$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; itself. We use the relationship we develop in the process to show that the Stanley–Reisner complexes of polarizations of stable Cohen– Macaulay monomial ideals are vertex decomposable.&lt;/p&gt;&lt;p&gt;We then introduce and study polarization of a Gröbner basis of an arbitrary homogeneous ideal and give a relationship between geometric vertex decomposition of a polarization and elementary G-biliaison that is analogous to our result on ve","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":"112 6","pages":""},"PeriodicalIF":1.2,"publicationDate":"2025-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.70319","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145750952","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Floating bodies for ball-convex bodies 球凸体的浮体
IF 1.2 2区 数学 Q1 MATHEMATICS Pub Date : 2025-12-09 DOI: 10.1112/jlms.70387
Carsten Schütt, Elisabeth M. Werner, Diliya Yalikun

We define floating bodies in the class of n$n$-dimensional ball-convex bodies. A right derivative of volume of these floating bodies leads to a surface area measure for ball-convex bodies which we call relative affine surface area. We show that this quantity is a rigid motion invariant, upper semicontinuous valuation.

我们在n$ n$维球凸体类中定义了浮动体。对这些浮体体积的右导数可以得到球凸体的表面积测量,我们称之为相对仿射表面积。我们证明了这个量是一个刚体运动不变量,上半连续值。
{"title":"Floating bodies for ball-convex bodies","authors":"Carsten Schütt,&nbsp;Elisabeth M. Werner,&nbsp;Diliya Yalikun","doi":"10.1112/jlms.70387","DOIUrl":"https://doi.org/10.1112/jlms.70387","url":null,"abstract":"<p>We define floating bodies in the class of <span></span><math>\u0000 <semantics>\u0000 <mi>n</mi>\u0000 <annotation>$n$</annotation>\u0000 </semantics></math>-dimensional ball-convex bodies. A right derivative of volume of these floating bodies leads to a surface area measure for ball-convex bodies which we call relative affine surface area. We show that this quantity is a rigid motion invariant, upper semicontinuous valuation.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":"112 6","pages":""},"PeriodicalIF":1.2,"publicationDate":"2025-12-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145750537","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Pseudo-quadratic modules over simple-artinian rings with involution 有对合的单环上的伪二次模
IF 1.2 2区 数学 Q1 MATHEMATICS Pub Date : 2025-12-07 DOI: 10.1112/jlms.70388
Bernhard Mühlherr, Richard M. Weiss

Let (K,σ)$(K,sigma)$ be a simple-artinian ring with involution. This means that K$K$ is isomorphic to a matrix ring over a ring k$k$ that is either a skew field or the direct sum of a skew field and its opposite, and σ$sigma$ is given in terms of an involution τ$tau$ of k$k$. We show that an arbitrary pseudo-quadratic module Θ$Theta$ defined over (K,σ)$(K,sigma)$ can be obtained by a tensor product construction from a pseudo-quadratic module defined over (k,τ)$(k,tau)$ and we apply this result to give a uniform description of arbitrary pseudo-maximal parabolic subgroups of arbitrary classical groups in terms of pseudo-quadratic modules.

设(K, σ) $(K,sigma)$是一个对合的单环。这意味着K $K$同构于一个环K $k$上的矩阵环,这个环要么是一个斜场,要么是一个斜场和它的对边的正和,σ $sigma$是用k $k$的对合τ $tau$给出的。我们证明了定义在(K, σ) $(K,sigma)$上的任意伪二次模Θ $Theta$可以通过张量积构造从定义在(K,τ) $(k,tau)$并应用这一结果给出了任意经典群的任意伪极大抛物子群的伪二次模的统一描述。
{"title":"Pseudo-quadratic modules over simple-artinian rings with involution","authors":"Bernhard Mühlherr,&nbsp;Richard M. Weiss","doi":"10.1112/jlms.70388","DOIUrl":"https://doi.org/10.1112/jlms.70388","url":null,"abstract":"<p>Let <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>K</mi>\u0000 <mo>,</mo>\u0000 <mi>σ</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$(K,sigma)$</annotation>\u0000 </semantics></math> be a simple-artinian ring with involution. This means that <span></span><math>\u0000 <semantics>\u0000 <mi>K</mi>\u0000 <annotation>$K$</annotation>\u0000 </semantics></math> is isomorphic to a matrix ring over a ring <span></span><math>\u0000 <semantics>\u0000 <mi>k</mi>\u0000 <annotation>$k$</annotation>\u0000 </semantics></math> that is either a skew field or the direct sum of a skew field and its opposite, and <span></span><math>\u0000 <semantics>\u0000 <mi>σ</mi>\u0000 <annotation>$sigma$</annotation>\u0000 </semantics></math> is given in terms of an involution <span></span><math>\u0000 <semantics>\u0000 <mi>τ</mi>\u0000 <annotation>$tau$</annotation>\u0000 </semantics></math> of <span></span><math>\u0000 <semantics>\u0000 <mi>k</mi>\u0000 <annotation>$k$</annotation>\u0000 </semantics></math>. We show that an arbitrary pseudo-quadratic module <span></span><math>\u0000 <semantics>\u0000 <mi>Θ</mi>\u0000 <annotation>$Theta$</annotation>\u0000 </semantics></math> defined over <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>K</mi>\u0000 <mo>,</mo>\u0000 <mi>σ</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$(K,sigma)$</annotation>\u0000 </semantics></math> can be obtained by a tensor product construction from a pseudo-quadratic module defined over <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>k</mi>\u0000 <mo>,</mo>\u0000 <mi>τ</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$(k,tau)$</annotation>\u0000 </semantics></math> and we apply this result to give a uniform description of arbitrary pseudo-maximal parabolic subgroups of arbitrary classical groups in terms of pseudo-quadratic modules.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":"112 6","pages":""},"PeriodicalIF":1.2,"publicationDate":"2025-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145750584","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Fractional Q $Q$ -curvature on the sphere and optimal partitions 球面上的分数Q$ Q$曲率和最优划分
IF 1.2 2区 数学 Q1 MATHEMATICS Pub Date : 2025-12-03 DOI: 10.1112/jlms.70366
Héctor A. Chang-Lara, Juan Carlos Fernández, Alberto Saldaña

We study an optimal partition problem on the sphere, where the cost functional is associated with the fractional Q$Q$-curvature in terms of the conformal fractional Laplacian on the sphere. By leveraging symmetries, we prove the existence of a symmetric minimal partition through a variational approach. A key ingredient in our analysis is a new Hölder regularity result for symmetric functions in a fractional Sobolev space on the sphere. As a byproduct, we establish the existence of infinitely many solutions to a nonlocal weakly coupled competitive system on the sphere that remain invariant under a group of conformal diffeomorphisms and we investigate the asymptotic behavior of least-energy solutions as the coupling parameters approach negative infinity.

研究了球面上的一个最优配分问题,其中代价泛函与分数曲率Q$ Q$有关,其形式为球面上的保形分数拉普拉斯函数。利用对称性,通过变分方法证明了对称最小分割的存在性。我们分析的一个关键因素是球上分数Sobolev空间中对称函数的一个新的Hölder正则性结果。作为副产物,我们建立了球面上非局部弱耦合竞争系统在一组共形微分同态下保持不变的无穷多个解的存在性,并研究了耦合参数趋于负无穷时最小能量解的渐近行为。
{"title":"Fractional \u0000 \u0000 Q\u0000 $Q$\u0000 -curvature on the sphere and optimal partitions","authors":"Héctor A. Chang-Lara,&nbsp;Juan Carlos Fernández,&nbsp;Alberto Saldaña","doi":"10.1112/jlms.70366","DOIUrl":"https://doi.org/10.1112/jlms.70366","url":null,"abstract":"<p>We study an optimal partition problem on the sphere, where the cost functional is associated with the fractional <span></span><math>\u0000 <semantics>\u0000 <mi>Q</mi>\u0000 <annotation>$Q$</annotation>\u0000 </semantics></math>-curvature in terms of the conformal fractional Laplacian on the sphere. By leveraging symmetries, we prove the existence of a symmetric minimal partition through a variational approach. A key ingredient in our analysis is a new Hölder regularity result for symmetric functions in a fractional Sobolev space on the sphere. As a byproduct, we establish the existence of infinitely many solutions to a nonlocal weakly coupled competitive system on the sphere that remain invariant under a group of conformal diffeomorphisms and we investigate the asymptotic behavior of least-energy solutions as the coupling parameters approach negative infinity.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":"112 6","pages":""},"PeriodicalIF":1.2,"publicationDate":"2025-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.70366","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145686266","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Polarized superspecial simple abelian surfaces with real Weil numbers 具有实Weil数的极化超特殊简单阿贝尔曲面
IF 1.2 2区 数学 Q1 MATHEMATICS Pub Date : 2025-11-30 DOI: 10.1112/jlms.70364
Jiangwei Xue, Chia-Fu Yu
<p>Let <span></span><math> <semantics> <mi>q</mi> <annotation>$q$</annotation> </semantics></math> be an odd power of a prime number <span></span><math> <semantics> <mi>p</mi> <annotation>$p$</annotation> </semantics></math>, and <span></span><math> <semantics> <mrow> <mi>PPSP</mi> <mo>(</mo> <msqrt> <mi>q</mi> </msqrt> <mo>)</mo> </mrow> <annotation>$mathrm{PPSP}(sqrt {q})$</annotation> </semantics></math> be the finite set of isomorphism classes of principally polarized superspecial abelian surfaces in the simple isogeny class over <span></span><math> <semantics> <msub> <mi>F</mi> <mi>q</mi> </msub> <annotation>$mathbb {F}_q$</annotation> </semantics></math> corresponding to the real Weil <span></span><math> <semantics> <mi>q</mi> <annotation>$q$</annotation> </semantics></math>-numbers <span></span><math> <semantics> <mrow> <mo>±</mo> <msqrt> <mi>q</mi> </msqrt> </mrow> <annotation>$pm sqrt {q}$</annotation> </semantics></math>. The main contribution provides explicit formulae for <span></span><math> <semantics> <mrow> <mi>PPSP</mi> <mo>(</mo> <msqrt> <mi>q</mi> </msqrt> <mo>)</mo> </mrow> <annotation>$mathrm{PPSP}(sqrt {q})$</annotation> </semantics></math> of the following kinds: (i) the class number formula, that is, the cardinality of <span></span><math> <semantics> <mrow> <mi>PPSP</mi> <mo>(</mo> <msqrt> <mi>q</mi> </msqrt> <mo>)</mo> </mrow> <annotation>$mathrm{PPSP}(sqrt {q})$</annotation> </semantics></math>; (ii) the type number formula, that is, the number of endomorphism rings up to isomorphism of the underlying abelian surfaces of <span></span><math> <semantics> <mrow> <mi>PPSP</mi> <mo>(</mo> <msqrt> <mi>q</mi> </msqrt> <mo>)</mo> </mrow> <annotation>$mathrm{PPSP}(sqrt {q})$</annotation> </semantics></math>. Similar formulae are obtained for other collections of polarized superspecial members of this isogeny class grouped
设q$ q$是素数p$ p$的奇次幂,而PPSP (q)$ mathm {PPSP}(sqrt {q})$是与实Weil对应的F q$ mathbb {F}_q$上的简单同胚类中主极化超特殊阿贝尔曲面的同构类的有限集合Q $ Q $ -numbers±Q $pm sqrt {Q}$。主要贡献提供了以下类型的PPSP (q)$ mathm {PPSP}(sqrt {q})$的显式公式:(i)类数公式,即PPSP (q)$ mathrm{PPSP}(sqrt {q})$的基数;(ii)类型数公式,即PPSP (q)$ mathm {PPSP}(sqrt {q})$的下阿贝尔曲面的自同构环数。对于这类的其他偏振超特殊成员的集合,根据它们的偏振模组合在一起,也得到了类似的公式。主要工具是属的概念、基于最优旋量选择性理论的全定四元数代数的范数一群的迹公式以及迹公式中项的代数结构分析。利用这些显式公式,我们观察到一些令人惊奇的恒等式,其中一边是某些希尔伯特模曲面的算术格,另一边是该等同系类中极化超特殊阿贝尔曲面的类数或型数。
{"title":"Polarized superspecial simple abelian surfaces with real Weil numbers","authors":"Jiangwei Xue,&nbsp;Chia-Fu Yu","doi":"10.1112/jlms.70364","DOIUrl":"https://doi.org/10.1112/jlms.70364","url":null,"abstract":"&lt;p&gt;Let &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mi&gt;q&lt;/mi&gt;\u0000 &lt;annotation&gt;$q$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; be an odd power of a prime number &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mi&gt;p&lt;/mi&gt;\u0000 &lt;annotation&gt;$p$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;, and &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;PPSP&lt;/mi&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;msqrt&gt;\u0000 &lt;mi&gt;q&lt;/mi&gt;\u0000 &lt;/msqrt&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$mathrm{PPSP}(sqrt {q})$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; be the finite set of isomorphism classes of principally polarized superspecial abelian surfaces in the simple isogeny class over &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;msub&gt;\u0000 &lt;mi&gt;F&lt;/mi&gt;\u0000 &lt;mi&gt;q&lt;/mi&gt;\u0000 &lt;/msub&gt;\u0000 &lt;annotation&gt;$mathbb {F}_q$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; corresponding to the real Weil &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mi&gt;q&lt;/mi&gt;\u0000 &lt;annotation&gt;$q$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;-numbers &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mo&gt;±&lt;/mo&gt;\u0000 &lt;msqrt&gt;\u0000 &lt;mi&gt;q&lt;/mi&gt;\u0000 &lt;/msqrt&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$pm sqrt {q}$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;. The main contribution provides explicit formulae for &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;PPSP&lt;/mi&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;msqrt&gt;\u0000 &lt;mi&gt;q&lt;/mi&gt;\u0000 &lt;/msqrt&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$mathrm{PPSP}(sqrt {q})$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; of the following kinds: (i) the class number formula, that is, the cardinality of &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;PPSP&lt;/mi&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;msqrt&gt;\u0000 &lt;mi&gt;q&lt;/mi&gt;\u0000 &lt;/msqrt&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$mathrm{PPSP}(sqrt {q})$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;; (ii) the type number formula, that is, the number of endomorphism rings up to isomorphism of the underlying abelian surfaces of &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;PPSP&lt;/mi&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;msqrt&gt;\u0000 &lt;mi&gt;q&lt;/mi&gt;\u0000 &lt;/msqrt&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$mathrm{PPSP}(sqrt {q})$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;. Similar formulae are obtained for other collections of polarized superspecial members of this isogeny class grouped","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":"112 6","pages":""},"PeriodicalIF":1.2,"publicationDate":"2025-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145686446","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
Journal of the London Mathematical Society-Second Series
全部 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学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1