首页 > 最新文献

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

英文 中文
Estimates of the Kobayashi metric and Gromov hyperbolicity on convex domains of finite type 有限类型凸域上的小林度量和格罗莫夫双曲性估算
IF 1 2区 数学 Q1 MATHEMATICS Pub Date : 2024-07-20 DOI: 10.1112/jlms.12966
Hongyu Wang

In this paper, we give a local estimate for the Kobayashi distance on a bounded convex domain of finite type, which relates to a local pseudodistance near the boundary. The estimate is precise up to a bounded additive term. Also, we conclude that the domain equipped with the Kobayashi distance is Gromov hyperbolic that gives another proof of the result of Zimmer.

本文给出了有限类型有界凸域上小林距离的局部估计值,它与边界附近的局部伪距有关。该估计值精确到有界加法项。此外,我们还得出结论,具有小林距离的域是格罗莫夫双曲的,这给出了齐美尔结果的另一个证明。
{"title":"Estimates of the Kobayashi metric and Gromov hyperbolicity on convex domains of finite type","authors":"Hongyu Wang","doi":"10.1112/jlms.12966","DOIUrl":"https://doi.org/10.1112/jlms.12966","url":null,"abstract":"<p>In this paper, we give a local estimate for the Kobayashi distance on a bounded convex domain of finite type, which relates to a local pseudodistance near the boundary. The estimate is precise up to a bounded additive term. Also, we conclude that the domain equipped with the Kobayashi distance is Gromov hyperbolic that gives another proof of the result of Zimmer.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141736848","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
Applying projective functors to arbitrary holonomic simple modules 将投影函数应用于任意整体简单模块
IF 1 2区 数学 Q1 MATHEMATICS Pub Date : 2024-07-18 DOI: 10.1112/jlms.12965
Marco Mackaay, Volodymyr Mazorchuk, Vanessa Miemietz

We prove that applying a projective functor to a holonomic simple module over a semisimple finite-dimensional complex Lie algebra produces a module that has an essential semisimple submodule of finite length. This implies that holonomic simple supermodules over certain Lie superalgebras are quotients of modules that are induced from simple modules over the even part. We also provide some further insight into the structure of Lie algebra modules that are obtained by applying projective functors to simple modules.

我们证明,将投影函数应用于半简单有限维复李代数上的整体简模块,会产生一个具有有限长度的本质半简单子模块的模块。这意味着,某些列超群上的整体简超模块是偶数部分简模块诱导模块的商。我们还进一步深入探讨了通过对简单模块应用投影函数而得到的李代数模块的结构。
{"title":"Applying projective functors to arbitrary holonomic simple modules","authors":"Marco Mackaay,&nbsp;Volodymyr Mazorchuk,&nbsp;Vanessa Miemietz","doi":"10.1112/jlms.12965","DOIUrl":"https://doi.org/10.1112/jlms.12965","url":null,"abstract":"<p>We prove that applying a projective functor to a holonomic simple module over a semisimple finite-dimensional complex Lie algebra produces a module that has an essential semisimple submodule of finite length. This implies that holonomic simple supermodules over certain Lie superalgebras are quotients of modules that are induced from simple modules over the even part. We also provide some further insight into the structure of Lie algebra modules that are obtained by applying projective functors to simple modules.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.12965","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141639500","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
P. Jones' interpolation theorem for noncommutative martingale Hardy spaces II P.非交换马氏哈代空间的琼斯插值定理 II
IF 1 2区 数学 Q1 MATHEMATICS Pub Date : 2024-07-17 DOI: 10.1112/jlms.12968
Narcisse Randrianantoanina

Let M$mathcal {M}$ be a semifinite von Neumann algebra equipped with an increasing filtration (Mn)n1$(mathcal {M}_n)_{ngeqslant 1}$ of (semifinite) von Neumann subalgebras of M$mathcal {M}$. For 1p$1leqslant p leqslant infty$, let Hpc(M)$mathcal {H}_p^c(mathcal {M})$ denote the noncommutative column martingale Hardy space constructed from column square functions associated with the filtration (Mn)n1$(mathcal {M}_n)_{ngeqslant 1}$ and the index p$p$. We prove the following real interpolation identity: If 0<θ<1

让 M $mathcal {M}$ 是一个半有穷 von Neumann 代数,其上有 M $mathcal {M}$ 的(半有穷)von Neumann 子代数的递增滤波 ( M n ) n ⩾ 1 $(mathcal {M}_n)_{ngeqslant 1}$ 。对于 1 ⩽ p ⩽ ∞ $1leqslant p leqslant infty$ 、让 H p c ( M ) $mathcal {H}_p^c(mathcal {M})$ 表示由与滤波 ( M n ) n ⩾ 1 $(mathcal {M}_n)_{ngeqslant 1}$ 和索引 p $p$ 相关的列平方函数构造的非交换列鞅哈代空间。我们证明下面的实插值特性:如果 0 < θ < 1 $0&lt;theta &lt;1$ 和 1 / p = 1 - θ $1/p=1-theta$ , 那么
{"title":"P. Jones' interpolation theorem for noncommutative martingale Hardy spaces II","authors":"Narcisse Randrianantoanina","doi":"10.1112/jlms.12968","DOIUrl":"https://doi.org/10.1112/jlms.12968","url":null,"abstract":"<p>Let <span></span><math>\u0000 <semantics>\u0000 <mi>M</mi>\u0000 <annotation>$mathcal {M}$</annotation>\u0000 </semantics></math> be a semifinite von Neumann algebra equipped with an increasing filtration <span></span><math>\u0000 <semantics>\u0000 <msub>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <msub>\u0000 <mi>M</mi>\u0000 <mi>n</mi>\u0000 </msub>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <mrow>\u0000 <mi>n</mi>\u0000 <mo>⩾</mo>\u0000 <mn>1</mn>\u0000 </mrow>\u0000 </msub>\u0000 <annotation>$(mathcal {M}_n)_{ngeqslant 1}$</annotation>\u0000 </semantics></math> of (semifinite) von Neumann subalgebras of <span></span><math>\u0000 <semantics>\u0000 <mi>M</mi>\u0000 <annotation>$mathcal {M}$</annotation>\u0000 </semantics></math>. For <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mn>1</mn>\u0000 <mo>⩽</mo>\u0000 <mi>p</mi>\u0000 <mo>⩽</mo>\u0000 <mi>∞</mi>\u0000 </mrow>\u0000 <annotation>$1leqslant p leqslant infty$</annotation>\u0000 </semantics></math>, let <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <msubsup>\u0000 <mi>H</mi>\u0000 <mi>p</mi>\u0000 <mi>c</mi>\u0000 </msubsup>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>M</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation>$mathcal {H}_p^c(mathcal {M})$</annotation>\u0000 </semantics></math> denote the noncommutative column martingale Hardy space constructed from column square functions associated with the filtration <span></span><math>\u0000 <semantics>\u0000 <msub>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <msub>\u0000 <mi>M</mi>\u0000 <mi>n</mi>\u0000 </msub>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <mrow>\u0000 <mi>n</mi>\u0000 <mo>⩾</mo>\u0000 <mn>1</mn>\u0000 </mrow>\u0000 </msub>\u0000 <annotation>$(mathcal {M}_n)_{ngeqslant 1}$</annotation>\u0000 </semantics></math> and the index <span></span><math>\u0000 <semantics>\u0000 <mi>p</mi>\u0000 <annotation>$p$</annotation>\u0000 </semantics></math>. We prove the following real interpolation identity: If <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mn>0</mn>\u0000 <mo>&lt;</mo>\u0000 <mi>θ</mi>\u0000 <mo>&lt;</mo>\u0000 <mn>1</mn>\u0000 ","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141639563","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
Subrank and optimal reduction of scalar multiplications to generic tensors 将标量乘法简化为通用张量的子级和最优化
IF 1 2区 数学 Q1 MATHEMATICS Pub Date : 2024-07-12 DOI: 10.1112/jlms.12963
Harm Derksen, Visu Makam, Jeroen Zuiddam

The subrank of a tensor measures how much a tensor can be diagonalized. We determine this parameter precisely for essentially all (i.e., generic) tensors. Namely, we prove for generic tensors in VVV$V otimes V otimes V$ with dim(V)=n$dim (V) = n$ that the subrank is Θ(n)$Theta (sqrt {n})$. Our result significantly improves on the previous upper bound from the work of Strassen (1991) and Bürgisser (1990) which was n2/3+o(1)$n^{2/3+o(1)}$. Our result is tight up to an additive constant. Our full result covers not only 3-tensors but also k$k$-tensors, for which we find that the generic subrank is Θ(n1/(k1))$Thet

张量的子秩衡量了张量对角化的程度。我们为基本上所有(即泛型)张量精确地确定了这一参数。也就是说,我们证明了对于 dim ( V ) = n $dim (V) = n$ 的 V ⊗ V ⊗ V $V otimes V otimes V$ 中的一般张量,其子秩为 Θ ( n ) $Theta (sqrt {n})$ 。我们的结果大大改进了 Strassen (1991) 和 Bürgisser (1990) 之前的上限,即 n 2 / 3 + o ( 1 ) $n^{2/3+o(1)}$ 。我们的结果在一个可加常数范围内是严密的。我们的完整结果不仅涵盖了 3 张量,还涵盖了 k $k$ 张量,对于这些张量,我们发现其通用子等级为 Θ ( n 1 / ( k - 1 ) ) $Theta (n^{1/(k-1)})$ 。此外,作为应用,我们证明了该子秩在直接相加下不具有可加性。由于我们的结果,我们得到了子秩与张量方法之间的几个大的分离,这些方法最近受到了广泛关注,特别是切片秩(Tao,2016)、解析秩(Gowers-Wolf,2011;Lovett,2018;Bhrushundi-Harsha-Hatami-Kopparty-Kumar,2020)、几何秩(Kopparty-Moshkovitz-Zuiddam,2020)和 G 稳定秩(Derksen,2020)。我们对下界的证明依赖于一个新的技术结果,即把张量空间最优分解为结构子空间,我们认为这可能会引起独立的兴趣。
{"title":"Subrank and optimal reduction of scalar multiplications to generic tensors","authors":"Harm Derksen,&nbsp;Visu Makam,&nbsp;Jeroen Zuiddam","doi":"10.1112/jlms.12963","DOIUrl":"https://doi.org/10.1112/jlms.12963","url":null,"abstract":"<p>The subrank of a tensor measures how much a tensor can be diagonalized. We determine this parameter precisely for essentially all (i.e., generic) tensors. Namely, we prove for generic tensors in <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>V</mi>\u0000 <mo>⊗</mo>\u0000 <mi>V</mi>\u0000 <mo>⊗</mo>\u0000 <mi>V</mi>\u0000 </mrow>\u0000 <annotation>$V otimes V otimes V$</annotation>\u0000 </semantics></math> with <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mo>dim</mo>\u0000 <mo>(</mo>\u0000 <mi>V</mi>\u0000 <mo>)</mo>\u0000 <mo>=</mo>\u0000 <mi>n</mi>\u0000 </mrow>\u0000 <annotation>$dim (V) = n$</annotation>\u0000 </semantics></math> that the subrank is <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>Θ</mi>\u0000 <mo>(</mo>\u0000 <msqrt>\u0000 <mi>n</mi>\u0000 </msqrt>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$Theta (sqrt {n})$</annotation>\u0000 </semantics></math>. Our result significantly improves on the previous upper bound from the work of Strassen (1991) and Bürgisser (1990) which was <span></span><math>\u0000 <semantics>\u0000 <msup>\u0000 <mi>n</mi>\u0000 <mrow>\u0000 <mn>2</mn>\u0000 <mo>/</mo>\u0000 <mn>3</mn>\u0000 <mo>+</mo>\u0000 <mi>o</mi>\u0000 <mo>(</mo>\u0000 <mn>1</mn>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 </msup>\u0000 <annotation>$n^{2/3+o(1)}$</annotation>\u0000 </semantics></math>. Our result is tight up to an additive constant. Our full result covers not only 3-tensors but also <span></span><math>\u0000 <semantics>\u0000 <mi>k</mi>\u0000 <annotation>$k$</annotation>\u0000 </semantics></math>-tensors, for which we find that the generic subrank is <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>Θ</mi>\u0000 <mo>(</mo>\u0000 <msup>\u0000 <mi>n</mi>\u0000 <mrow>\u0000 <mn>1</mn>\u0000 <mo>/</mo>\u0000 <mo>(</mo>\u0000 <mi>k</mi>\u0000 <mo>−</mo>\u0000 <mn>1</mn>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 </msup>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$Thet","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.12963","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141608101","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
Intersection matrices for the minimal regular model of X 0 ( N ) ${X}_0(N)$ and applications to the Arakelov canonical sheaf X 0 ( N ) ${X}_0(N)$ 最小正则模型的交集矩阵及其在阿拉克洛夫典范剪辑中的应用
IF 1 2区 数学 Q1 MATHEMATICS Pub Date : 2024-07-10 DOI: 10.1112/jlms.12964
Paolo Dolce, Pietro Mercuri

Let N>1$N&gt;1$ be an integer coprime to 6 such that N{5,7,13}$Nnotin lbrace 5,7,13rbrace$ and let g=g(N)$g=g(N)$ be the genus of the modular curve X0(N)$X_0(N)$. We compute the intersection matrices relative to special fibres of the minimal regular model of X0(N)$X_0(N)$. Moreover, we prove that the self-intersection of the Arakelov canonical sheaf of X0(N)$X_0(N)$ is asymptotic to 3glogN$3glog N$, for

让 N > 1 $N&gt;1$是一个与 6 共乘的整数,使得 N ∉ { 5 , 7 , 13 }。 $Nnotin lbrace 5,7,13rbrace$ 并让 g = g ( N ) $g=g(N)$ 是模态曲线 X 0 ( N ) $X_0(N)$ 的属数。我们计算相对于 X 0 ( N ) $X_0(N)$ 最小正则模型的特殊纤维的交集矩阵。此外,我们还证明了在 N → + ∞ $Nrightarrow +infty$ 时,X 0 ( N ) $X_0(N)$ 的阿拉克洛夫(Arakelov)典范 Sheaf 的自交渐近于 3 g log N $3glog N$ 。
{"title":"Intersection matrices for the minimal regular model of \u0000 \u0000 \u0000 \u0000 X\u0000 0\u0000 \u0000 \u0000 (\u0000 N\u0000 )\u0000 \u0000 \u0000 ${X}_0(N)$\u0000 and applications to the Arakelov canonical sheaf","authors":"Paolo Dolce,&nbsp;Pietro Mercuri","doi":"10.1112/jlms.12964","DOIUrl":"https://doi.org/10.1112/jlms.12964","url":null,"abstract":"<p>Let <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>N</mi>\u0000 <mo>&gt;</mo>\u0000 <mn>1</mn>\u0000 </mrow>\u0000 <annotation>$N&amp;gt;1$</annotation>\u0000 </semantics></math> be an integer coprime to 6 such that <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>N</mi>\u0000 <mo>∉</mo>\u0000 <mo>{</mo>\u0000 <mn>5</mn>\u0000 <mo>,</mo>\u0000 <mn>7</mn>\u0000 <mo>,</mo>\u0000 <mn>13</mn>\u0000 <mo>}</mo>\u0000 </mrow>\u0000 <annotation>$Nnotin lbrace 5,7,13rbrace$</annotation>\u0000 </semantics></math> and let <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>g</mi>\u0000 <mo>=</mo>\u0000 <mi>g</mi>\u0000 <mo>(</mo>\u0000 <mi>N</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$g=g(N)$</annotation>\u0000 </semantics></math> be the genus of the modular curve <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <msub>\u0000 <mi>X</mi>\u0000 <mn>0</mn>\u0000 </msub>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>N</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation>$X_0(N)$</annotation>\u0000 </semantics></math>. We compute the intersection matrices relative to special fibres of the minimal regular model of <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <msub>\u0000 <mi>X</mi>\u0000 <mn>0</mn>\u0000 </msub>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>N</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation>$X_0(N)$</annotation>\u0000 </semantics></math>. Moreover, we prove that the self-intersection of the Arakelov canonical sheaf of <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <msub>\u0000 <mi>X</mi>\u0000 <mn>0</mn>\u0000 </msub>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>N</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation>$X_0(N)$</annotation>\u0000 </semantics></math> is asymptotic to <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mn>3</mn>\u0000 <mi>g</mi>\u0000 <mi>log</mi>\u0000 <mi>N</mi>\u0000 </mrow>\u0000 <annotation>$3glog N$</annotation>\u0000 </semantics></math>, for <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 ","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141597079","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
Spectral constant rigidity of warped product metrics 翘曲积度量的谱常数刚性
IF 1 2区 数学 Q1 MATHEMATICS Pub Date : 2024-06-30 DOI: 10.1112/jlms.12958
Xiaoxiang Chai, Juncheol Pyo, Xueyuan Wan

A theorem of Llarull says that if a smooth metric g$g$ on the n$n$-sphere Sn$mathbb {S}^n$ is bounded below by the standard round metric and the scalar curvature Rg$R_g$ of g$g$ is bounded below by n(n1)$n (n - 1)$, then the metric g$g$ must be the standard round metric. We prove a spectral Llarull theorem by replacing the bound Rgn(n1)$R_g geqslant n (n - 1)$ by a lower bound on the first eigenvalue of an elliptic operator involving the Laplacian and the scalar curvature Rg$R_g$. We utilize two methods: spinor and spacetime harmonic function.

拉鲁尔定理指出,如果 n $n$ -球面 S n $mathbb {S}^n$ 上的光滑度量 g $g$ 的下界是标准圆度量,并且 g $g$ 的标量曲率 R g $R_g$ 的下界是 n ( n - 1 ) $n (n - 1)$ ,那么度量 g $g$ 一定是标准圆度量。我们将 R g ⩾ n ( n - 1 ) $R_g geqslant n (n - 1)$ 约束替换为涉及拉普拉卡和标量曲率 R g $R_g$ 的椭圆算子的第一个特征值的下限,从而证明了谱拉鲁尔定理。我们采用两种方法:旋量和时空谐函数。
{"title":"Spectral constant rigidity of warped product metrics","authors":"Xiaoxiang Chai,&nbsp;Juncheol Pyo,&nbsp;Xueyuan Wan","doi":"10.1112/jlms.12958","DOIUrl":"https://doi.org/10.1112/jlms.12958","url":null,"abstract":"<p>A theorem of Llarull says that if a smooth metric <span></span><math>\u0000 <semantics>\u0000 <mi>g</mi>\u0000 <annotation>$g$</annotation>\u0000 </semantics></math> on the <span></span><math>\u0000 <semantics>\u0000 <mi>n</mi>\u0000 <annotation>$n$</annotation>\u0000 </semantics></math>-sphere <span></span><math>\u0000 <semantics>\u0000 <msup>\u0000 <mi>S</mi>\u0000 <mi>n</mi>\u0000 </msup>\u0000 <annotation>$mathbb {S}^n$</annotation>\u0000 </semantics></math> is bounded below by the standard round metric and the scalar curvature <span></span><math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>R</mi>\u0000 <mi>g</mi>\u0000 </msub>\u0000 <annotation>$R_g$</annotation>\u0000 </semantics></math> of <span></span><math>\u0000 <semantics>\u0000 <mi>g</mi>\u0000 <annotation>$g$</annotation>\u0000 </semantics></math> is bounded below by <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>n</mi>\u0000 <mo>(</mo>\u0000 <mi>n</mi>\u0000 <mo>−</mo>\u0000 <mn>1</mn>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$n (n - 1)$</annotation>\u0000 </semantics></math>, then the metric <span></span><math>\u0000 <semantics>\u0000 <mi>g</mi>\u0000 <annotation>$g$</annotation>\u0000 </semantics></math> must be the standard round metric. We prove a spectral Llarull theorem by replacing the bound <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <msub>\u0000 <mi>R</mi>\u0000 <mi>g</mi>\u0000 </msub>\u0000 <mo>⩾</mo>\u0000 <mi>n</mi>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>n</mi>\u0000 <mo>−</mo>\u0000 <mn>1</mn>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation>$R_g geqslant n (n - 1)$</annotation>\u0000 </semantics></math> by a lower bound on the first eigenvalue of an elliptic operator involving the Laplacian and the scalar curvature <span></span><math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>R</mi>\u0000 <mi>g</mi>\u0000 </msub>\u0000 <annotation>$R_g$</annotation>\u0000 </semantics></math>. We utilize two methods: spinor and spacetime harmonic function.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.12958","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141488322","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
Spectral large deviations of sparse random matrices 稀疏随机矩阵的谱大偏差
IF 1 2区 数学 Q1 MATHEMATICS Pub Date : 2024-06-30 DOI: 10.1112/jlms.12954
Shirshendu Ganguly, Ella Hiesmayr, Kyeongsik Nam

Eigenvalues of Wigner matrices has been a major topic of investigation. A particularly important subclass of such random matrices, useful in many applications, are what are known as sparse or diluted random matrices, where each entry in a Wigner matrix is multiplied by an independent Bernoulli random variable with mean p$p$. Alternatively, such a matrix can be viewed as the adjacency matrix of an Erdős–Rényi graph Gn,p$mathcal {G}_{n,p}$ equipped with independent and identically distributed (i.i.d.) edge-weights. An observable of particular interest is the largest eigenvalue. In this paper, we study the large deviations behavior of the largest eigenvalue of such matrices, a topic that has received considerable attention over the years. While certain techniques have been devised for the case when p$p$ is fixed or perhaps going to zero not too fast with the matrix size, we focus on the case p=dn$p = frac{d}{n}$, that is, constant average degree regime of sparsity, which is a central example due to its connections to many models in statistical mechanics and other applications. Most known techniques break down in this regime and even the typical behavior of the spectrum of such random matrices is not very well understood. So far, results were known only for the Erdős–Rényi graph Gn,dn$mathcal {G}_{n,frac{d}{n}}$ without edge-weights and with Gaussian edge-weights. In the present article, we consider the effect of general weight distributions. More specifically, we consider entry distributions whose tail probabilities decay at rate

维格纳矩阵的特征值一直是研究的主要课题。这类随机矩阵的一个特别重要的子类是所谓的稀疏或稀释随机矩阵,其中维格纳矩阵的每个条目都乘以一个均值为 p $p$ 的独立伯努利随机变量,在许多应用中都非常有用。或者,这样的矩阵可以被看作是厄尔多斯-雷尼图 G n , p $mathcal {G}_{n,p}$ 的邻接矩阵,它配备了独立且同分布(i.i.d.)的边权重。最大特征值是一个特别值得关注的观测值。在本文中,我们将研究此类矩阵最大特征值的大偏差行为,这是多年来备受关注的一个课题。虽然我们已经针对 p $p$ 固定或可能随矩阵大小快速归零的情况设计了某些技术,但我们重点研究 p = d n $p = frac{d}{n}$ 的情况,即平均度恒定的稀疏性机制,由于它与统计力学和其他应用中的许多模型有关,因此是一个核心例子。大多数已知技术都会在这一机制中崩溃,甚至连此类随机矩阵频谱的典型行为都不甚了解。迄今为止,我们只知道 Erdős-Rényi 图 G n , d n $mathcal {G}_{n,frac{d}{n}$ 没有边权重和有高斯边权重的结果。在本文中,我们将考虑一般权重分布的影响。更具体地说,我们考虑的条目分布的尾部概率衰减率为 e - t α $e^{-t^alpha }$,α > 0 $alpha &gt;0$ ,其中 0 < α < 2 $0&lt;alpha &lt; 2$ 和 α > 2 $alpha &gt; 2$ 分别对应于比高斯尾部更重和更轻的尾部。虽然在许多自然环境中,大偏差行为预计会在很大程度上取决于入口分布,但我们建立了一个令人惊讶且罕见的普遍行为,表明当 α > 2 $alpha &gt; 2$ 时情况并非如此。相反,在 α < 2 $alpha &lt; 2$ 的情况下,大偏差率函数不再具有普遍性,而是由一个变异问题的解给出的,对该问题的描述涉及莫茨金-斯特劳斯定理(Motzkin-Straus theorem)的一般化,这是光谱图理论的一个经典结果。作为大偏差结果的副产品,我们还建立了最大特征值的大数定律行为,这似乎也是一个新问题,而且难以用现有方法获得。特别是,我们证明了最大特征值的典型值在 α = 2 $alpha = 2$ 时出现相变,即对应于高斯分布。
{"title":"Spectral large deviations of sparse random matrices","authors":"Shirshendu Ganguly,&nbsp;Ella Hiesmayr,&nbsp;Kyeongsik Nam","doi":"10.1112/jlms.12954","DOIUrl":"https://doi.org/10.1112/jlms.12954","url":null,"abstract":"<p>Eigenvalues of Wigner matrices has been a major topic of investigation. A particularly important subclass of such random matrices, useful in many applications, are what are known as sparse or diluted random matrices, where each entry in a Wigner matrix is multiplied by an independent Bernoulli random variable with mean <span></span><math>\u0000 <semantics>\u0000 <mi>p</mi>\u0000 <annotation>$p$</annotation>\u0000 </semantics></math>. Alternatively, such a matrix can be viewed as the adjacency matrix of an Erdős–Rényi graph <span></span><math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>G</mi>\u0000 <mrow>\u0000 <mi>n</mi>\u0000 <mo>,</mo>\u0000 <mi>p</mi>\u0000 </mrow>\u0000 </msub>\u0000 <annotation>$mathcal {G}_{n,p}$</annotation>\u0000 </semantics></math> equipped with independent and identically distributed (i.i.d.) edge-weights. An observable of particular interest is the largest eigenvalue. In this paper, we study the large deviations behavior of the largest eigenvalue of such matrices, a topic that has received considerable attention over the years. While certain techniques have been devised for the case when <span></span><math>\u0000 <semantics>\u0000 <mi>p</mi>\u0000 <annotation>$p$</annotation>\u0000 </semantics></math> is fixed or perhaps going to zero not too fast with the matrix size, we focus on the case <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>p</mi>\u0000 <mo>=</mo>\u0000 <mfrac>\u0000 <mi>d</mi>\u0000 <mi>n</mi>\u0000 </mfrac>\u0000 </mrow>\u0000 <annotation>$p = frac{d}{n}$</annotation>\u0000 </semantics></math>, that is, constant average degree regime of sparsity, which is a central example due to its connections to many models in statistical mechanics and other applications. Most known techniques break down in this regime and even the typical behavior of the spectrum of such random matrices is not very well understood. So far, results were known only for the Erdős–Rényi graph <span></span><math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>G</mi>\u0000 <mrow>\u0000 <mi>n</mi>\u0000 <mo>,</mo>\u0000 <mfrac>\u0000 <mi>d</mi>\u0000 <mi>n</mi>\u0000 </mfrac>\u0000 </mrow>\u0000 </msub>\u0000 <annotation>$mathcal {G}_{n,frac{d}{n}}$</annotation>\u0000 </semantics></math> <i>without</i> edge-weights and with <i>Gaussian</i> edge-weights. In the present article, we consider the effect of general weight distributions. More specifically, we consider entry distributions whose tail probabilities decay at rate <span></span><math>\u0000 <semantics>\u0000 ","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141489020","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
Discontinuous homomorphisms on C(X) with the negation of CH and a weak forcing axiom 带有 CH 否定和弱强制公理的 C(X) 上的不连续同构
IF 1 2区 数学 Q1 MATHEMATICS Pub Date : 2024-06-30 DOI: 10.1112/jlms.12956
Yushiro Aoki

In this paper, I introduce the properties EPC1$mathrm{EPC}_{aleph _1}$ and ProjCes(E)$mathrm{ProjCes}(E)$ for forcing notions and show that it is consistent that the forcing axiom for EPC1+ProjCes(E)$mathrm{EPC}_{aleph _1}+ mathrm{ProjCes}(E)$ forcing notions holds, the continuum hypothesis fails, and an ultrapower of the field of reals has the property β1$beta _1$. This provides a partial solution to H. Woodin's question concerning the existence of discontinuous homomorphisms on the Banach algebra of all complex-valued continuous functions on a compact space. Furthermore, we prove that the uniformization of a coloring of a ladder system on a stationary–costationary set E$E$ is an example of an EPC1+ProjCes(ω1E)$mathrm{EPC}_{aleph _1}+ mathrm{ProjCes}(omega _1 setminus E)$

在本文中我介绍了强制概念的性质 EPC ℵ 1 $mathrm{EPC}_{aleph _1}$ 和 ProjCes ( E ) $mathrm{ProjCes}(E)$ ,并证明 EPC ℵ 1 + ProjCes ( E ) $mathrm{EPC}_{aleph _1}+ mathrm{ProjCes}(E)$ 强制公理成立、连续性假设不成立,并且有元域的超幂有β 1 $beta _1$的性质。这就部分地解决了伍丁(H. Woodin)关于紧凑空间上所有复值连续函数的巴拿赫代数上存在不连续同态的问题。此外,我们还证明了在静态代价集 E $E$ 上梯形系统着色的均匀化是 EPC ℵ 1 + ProjCes ( ω 1 ∖ E ) $mathrm{EPC}_{aleph _1}+ mathrm{ProjCes}(omega _1 setminus E)$ 强迫概念的一个例子。作为推论,非自由怀特海群的存在是一致的,连续统假设也是失败的,而且有元域的超幂有β 1 $beta _1$的性质。
{"title":"Discontinuous homomorphisms on C(X) with the negation of CH and a weak forcing axiom","authors":"Yushiro Aoki","doi":"10.1112/jlms.12956","DOIUrl":"https://doi.org/10.1112/jlms.12956","url":null,"abstract":"<p>In this paper, I introduce the properties <span></span><math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>EPC</mi>\u0000 <msub>\u0000 <mi>ℵ</mi>\u0000 <mn>1</mn>\u0000 </msub>\u0000 </msub>\u0000 <annotation>$mathrm{EPC}_{aleph _1}$</annotation>\u0000 </semantics></math> and <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>ProjCes</mi>\u0000 <mo>(</mo>\u0000 <mi>E</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$mathrm{ProjCes}(E)$</annotation>\u0000 </semantics></math> for forcing notions and show that it is consistent that the forcing axiom for <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <msub>\u0000 <mi>EPC</mi>\u0000 <msub>\u0000 <mi>ℵ</mi>\u0000 <mn>1</mn>\u0000 </msub>\u0000 </msub>\u0000 <mo>+</mo>\u0000 <mi>ProjCes</mi>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>E</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation>$mathrm{EPC}_{aleph _1}+ mathrm{ProjCes}(E)$</annotation>\u0000 </semantics></math> forcing notions holds, the continuum hypothesis fails, and an ultrapower of the field of reals has the property <span></span><math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>β</mi>\u0000 <mn>1</mn>\u0000 </msub>\u0000 <annotation>$beta _1$</annotation>\u0000 </semantics></math>. This provides a partial solution to H. Woodin's question concerning the existence of discontinuous homomorphisms on the Banach algebra of all complex-valued continuous functions on a compact space. Furthermore, we prove that the uniformization of a coloring of a ladder system on a stationary–costationary set <span></span><math>\u0000 <semantics>\u0000 <mi>E</mi>\u0000 <annotation>$E$</annotation>\u0000 </semantics></math> is an example of an <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <msub>\u0000 <mi>EPC</mi>\u0000 <msub>\u0000 <mi>ℵ</mi>\u0000 <mn>1</mn>\u0000 </msub>\u0000 </msub>\u0000 <mo>+</mo>\u0000 <mi>ProjCes</mi>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <msub>\u0000 <mi>ω</mi>\u0000 <mn>1</mn>\u0000 </msub>\u0000 <mo>∖</mo>\u0000 <mi>E</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation>$mathrm{EPC}_{aleph _1}+ mathrm{ProjCes}(omega _1 setminus E)$</annotation>\u0000 </se","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141488323","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
Full Souslin trees at small cardinals 小红雀的全苏树林
IF 1 2区 数学 Q1 MATHEMATICS Pub Date : 2024-06-28 DOI: 10.1112/jlms.12957
Assaf Rinot, Shira Yadai, Zhixing You

A κ$kappa$-tree is full if each of its limit levels omits no more than one potential branch. Kunen asked whether a full κ$kappa$-Souslin tree may consistently exist. Shelah gave an affirmative answer of height a strong limit Mahlo cardinal κ$kappa $. Here, it is shown that these trees may consistently exist at small cardinals. Indeed, there can be 3$aleph _3$ many full 2$aleph _2$-trees such that the product of any countably many of them is an 2$aleph _2$-Souslin tree.

如果κ $kappa$ -树的每个极限层都没有遗漏一个以上的潜在分支,那么这棵树就是完整的。库能(Kunen)问,一棵完整的κ $kappa$ -Souslin 树是否可能一直存在。谢拉给出了一个肯定的答案,即高度强极限马赫洛红心κ $kappa $ 。这里,我们证明了这些树在小红心时可能一直存在。事实上,可以有ℵ 3 $aleph _3$很多棵完整的ℵ 2 $aleph _2$-树,使得其中任意可数棵树的乘积都是一棵ℵ 2 $aleph _2$-苏林树。
{"title":"Full Souslin trees at small cardinals","authors":"Assaf Rinot,&nbsp;Shira Yadai,&nbsp;Zhixing You","doi":"10.1112/jlms.12957","DOIUrl":"https://doi.org/10.1112/jlms.12957","url":null,"abstract":"<p>A <span></span><math>\u0000 <semantics>\u0000 <mi>κ</mi>\u0000 <annotation>$kappa$</annotation>\u0000 </semantics></math>-tree is <i>full</i> if each of its limit levels omits no more than one potential branch. Kunen asked whether a full <span></span><math>\u0000 <semantics>\u0000 <mi>κ</mi>\u0000 <annotation>$kappa$</annotation>\u0000 </semantics></math>-Souslin tree may consistently exist. Shelah gave an affirmative answer of height a strong limit Mahlo cardinal <span></span><math>\u0000 <semantics>\u0000 <mi>κ</mi>\u0000 <annotation>$kappa $</annotation>\u0000 </semantics></math>. Here, it is shown that these trees may consistently exist at small cardinals. Indeed, there can be <span></span><math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>ℵ</mi>\u0000 <mn>3</mn>\u0000 </msub>\u0000 <annotation>$aleph _3$</annotation>\u0000 </semantics></math> many full <span></span><math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>ℵ</mi>\u0000 <mn>2</mn>\u0000 </msub>\u0000 <annotation>$aleph _2$</annotation>\u0000 </semantics></math>-trees such that the product of any countably many of them is an <span></span><math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>ℵ</mi>\u0000 <mn>2</mn>\u0000 </msub>\u0000 <annotation>$aleph _2$</annotation>\u0000 </semantics></math>-Souslin tree.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.12957","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141488977","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
Sarnak's conjecture in quantum computing, cyclotomic unitary group coranks, and Shimura curves 量子计算中的萨尔纳克猜想、循环单元群角和志村曲线
IF 1 2区 数学 Q1 MATHEMATICS Pub Date : 2024-06-25 DOI: 10.1112/jlms.12952
Colin Ingalls, Bruce W. Jordan, Allan Keeton, Adam Logan, Yevgeny Zaytman

Sarnak's conjecture in quantum computing concerns when the groups PU2$operatorname{PU}_{2}$ and PSU2$operatorname{PSU}_{2}$ over cyclotomic rings Z[ζn,1/2]${mathbb {Z}}[zeta _{n}, 1/2]$ with ζn=e2πi/n$zeta _n=e^{2pi i/n}$, 4|n$4|n$, are generated by the Clifford-cyclotomic gate set. We previously settled this using Euler–Poincaré characteristics. A generalization of Sarnak's conjecture is to ask when these groups are generated by torsion elements. An obstruction to this is provided by the corank: a group G$G$ has corankG>0$operatorname{corank}G&gt;0$ only if G$G$ is not generated by torsion elements. In this paper, we study the corank of these cyclotomic unitary grou

量子计算中的萨纳克猜想涉及到当组 PU 2 $operatorname{PU}_{2}$ 和 PSU 2 $operatorname{PSU}_{2}$ 笼罩在环 Z [ ζ n , 1 / 2 ] 上时。 ${mathbb {Z}}[zeta _{n}, 1/2]$ with ζ n = e 2 π i / n $zeta _n=e^{2pi i/n}$ , 4 | n $4|n$ , 是由克利福德-环原子门集生成的。我们之前利用欧拉-庞加莱特性解决了这个问题。萨纳克猜想的一个推广问题是这些群何时由扭转元素生成。corank 对此提供了一个障碍:只有当 G $G$ 不是由扭转元素生成时,群 G $G$ 才有 corank G &gt; 0 $operatorname{corank}G&amp;gt;0$。在本文中,我们通过让这些单元群作用于布鲁哈特-提茨树(Bruhat-Tits tree),研究了这些单元群在 n = 2 s $n=2^s$ 和 n = 3 - 2 s $n={3cdot 2^s}$ ,n ⩾ 8 $ngeqslant 8$ 族中的角群。这种作用的商是有限图,其第一个贝蒂数是群的角。我们的主要结果是,对于 n = 2 s $n=2^s$ 和 n = 3 - 2 s $n=3cdot 2^s$ 这两个族,当 s →∞ $srightarrow infty$时,corank 在 s $s$ 中以双倍指数增长;而当 n = 8 , 12 , 16 , 24 $n= 8 , 12 , 16 , 24$ 时,corank 恰好为 0。我们用两种不同的方法给出了 corank 的明确下限。第一种方法是通过显式环切来约束树作用中的各向同性子群。第二种是将我们的图与 F n = Q ( ζ n ) 上的志村曲线联系起来。 + $F_n={mathbf {Q}}(zeta _n)^+$ 通过交换局部不变式并应用塞尔伯格和佐格拉夫的一个结果。我们证明循环论证给出了更强的边界。
{"title":"Sarnak's conjecture in quantum computing, cyclotomic unitary group coranks, and Shimura curves","authors":"Colin Ingalls,&nbsp;Bruce W. Jordan,&nbsp;Allan Keeton,&nbsp;Adam Logan,&nbsp;Yevgeny Zaytman","doi":"10.1112/jlms.12952","DOIUrl":"https://doi.org/10.1112/jlms.12952","url":null,"abstract":"<p>Sarnak's conjecture in quantum computing concerns when the groups <span></span><math>\u0000 <semantics>\u0000 <msub>\u0000 <mo>PU</mo>\u0000 <mn>2</mn>\u0000 </msub>\u0000 <annotation>$operatorname{PU}_{2}$</annotation>\u0000 </semantics></math> and <span></span><math>\u0000 <semantics>\u0000 <msub>\u0000 <mo>PSU</mo>\u0000 <mn>2</mn>\u0000 </msub>\u0000 <annotation>$operatorname{PSU}_{2}$</annotation>\u0000 </semantics></math> over cyclotomic rings <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>Z</mi>\u0000 <mo>[</mo>\u0000 <msub>\u0000 <mi>ζ</mi>\u0000 <mi>n</mi>\u0000 </msub>\u0000 <mo>,</mo>\u0000 <mn>1</mn>\u0000 <mo>/</mo>\u0000 <mn>2</mn>\u0000 <mo>]</mo>\u0000 </mrow>\u0000 <annotation>${mathbb {Z}}[zeta _{n}, 1/2]$</annotation>\u0000 </semantics></math> with <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <msub>\u0000 <mi>ζ</mi>\u0000 <mi>n</mi>\u0000 </msub>\u0000 <mo>=</mo>\u0000 <msup>\u0000 <mi>e</mi>\u0000 <mrow>\u0000 <mn>2</mn>\u0000 <mi>π</mi>\u0000 <mi>i</mi>\u0000 <mo>/</mo>\u0000 <mi>n</mi>\u0000 </mrow>\u0000 </msup>\u0000 </mrow>\u0000 <annotation>$zeta _n=e^{2pi i/n}$</annotation>\u0000 </semantics></math>, <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mn>4</mn>\u0000 <mo>|</mo>\u0000 <mi>n</mi>\u0000 </mrow>\u0000 <annotation>$4|n$</annotation>\u0000 </semantics></math>, are generated by the Clifford-cyclotomic gate set. We previously settled this using Euler–Poincaré characteristics. A generalization of Sarnak's conjecture is to ask when these groups are generated by torsion elements. An obstruction to this is provided by the corank: a group <span></span><math>\u0000 <semantics>\u0000 <mi>G</mi>\u0000 <annotation>$G$</annotation>\u0000 </semantics></math> has <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mo>corank</mo>\u0000 <mi>G</mi>\u0000 <mo>&gt;</mo>\u0000 <mn>0</mn>\u0000 </mrow>\u0000 <annotation>$operatorname{corank}G&amp;gt;0$</annotation>\u0000 </semantics></math> only if <span></span><math>\u0000 <semantics>\u0000 <mi>G</mi>\u0000 <annotation>$G$</annotation>\u0000 </semantics></math> is not generated by torsion elements. In this paper, we study the corank of these cyclotomic unitary grou","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141488427","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学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1