首页 > 最新文献

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

英文 中文
Geometry of Selberg's bisectors in the symmetric space S L ( n , R ) / S O ( n , R ) $SL(n,mathbb {R})/SO(n,mathbb {R})$ 对称空间 S L ( n , R ) / S O ( n , R ) 中塞尔伯格平分线的几何学 $SL(n,mathbb {R})/SO(n,mathbb {R})$
IF 1 2区 数学 Q1 MATHEMATICS Pub Date : 2024-09-26 DOI: 10.1112/jlms.12992
Yukun Du

I study several problems about the symmetric space associated with the Lie group SL(n,R)$SL(n,mathbb {R})$. These problems are connected to an algorithm based on Poincaré's Fundamental Polyhedron Theorem, designed to determine generalized geometric finiteness properties for subgroups of SL(n,R)$SL(n,mathbb {R})$. The algorithm is analogous to the original one in hyperbolic spaces, while the Riemannian distance is replaced by an SL(n,R)$SL(n,mathbb {R})$-invariant premetric. The main results of this paper are twofold. In the first part, I focus on questions that occurred in generalizing Poincaré's Algorithm to my symmetric space. I describe and implement an algorithm that computes the face-poset structure of finitely sided polyhedra, and construct an angle-like function between hyperplanes. In the second part, I study further questions related to hyperplanes and Dirichlet–Selberg domains in my symmetric space. I establish several criteria for the disjointness of hyperplanes and classify particular Abelian subgroups of SL(3,R)$SL(3,mathbb {R})$ based on whether their Dirichlet–Selberg domains are finitely sided or not.

我研究了与李群 S L ( n , R ) $SL(n,mathbb{R})$相关的对称空间的几个问题。这些问题与基于波恩卡莱基本多面体定理的算法有关,该算法旨在确定 S L ( n , R ) $SL(n,mathbb {R})$ 子群的广义几何有限性属性。该算法类似于双曲空间中的原始算法,而黎曼距离则由 S L ( n , R ) $SL(n,mathbb {R})$ 不变量前对称取代。本文的主要结果有两部分。在第一部分中,我重点讨论了将波恩卡莱算法推广到我的对称空间时出现的问题。我描述并实现了一种算法,它可以计算有限边多面体的面集结构,并构造超平面之间的类角函数。在第二部分中,我将进一步研究与我的对称空间中的超平面和 Dirichlet-Selberg 域相关的问题。我建立了超平面不相交的几个标准,并根据它们的 Dirichlet-Selberg 域是否是有限边,对 S L ( 3 , R ) $SL(3,mathbb {R})$ 的特定阿贝尔子群进行了分类。
{"title":"Geometry of Selberg's bisectors in the symmetric space \u0000 \u0000 \u0000 S\u0000 L\u0000 (\u0000 n\u0000 ,\u0000 R\u0000 )\u0000 /\u0000 S\u0000 O\u0000 (\u0000 n\u0000 ,\u0000 R\u0000 )\u0000 \u0000 $SL(n,mathbb {R})/SO(n,mathbb {R})$","authors":"Yukun Du","doi":"10.1112/jlms.12992","DOIUrl":"https://doi.org/10.1112/jlms.12992","url":null,"abstract":"<p>I study several problems about the symmetric space associated with the Lie group <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>S</mi>\u0000 <mi>L</mi>\u0000 <mo>(</mo>\u0000 <mi>n</mi>\u0000 <mo>,</mo>\u0000 <mi>R</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$SL(n,mathbb {R})$</annotation>\u0000 </semantics></math>. These problems are connected to an algorithm based on Poincaré's Fundamental Polyhedron Theorem, designed to determine generalized geometric finiteness properties for subgroups of <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>S</mi>\u0000 <mi>L</mi>\u0000 <mo>(</mo>\u0000 <mi>n</mi>\u0000 <mo>,</mo>\u0000 <mi>R</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$SL(n,mathbb {R})$</annotation>\u0000 </semantics></math>. The algorithm is analogous to the original one in hyperbolic spaces, while the Riemannian distance is replaced by an <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>S</mi>\u0000 <mi>L</mi>\u0000 <mo>(</mo>\u0000 <mi>n</mi>\u0000 <mo>,</mo>\u0000 <mi>R</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$SL(n,mathbb {R})$</annotation>\u0000 </semantics></math>-invariant premetric. The main results of this paper are twofold. In the first part, I focus on questions that occurred in generalizing Poincaré's Algorithm to my symmetric space. I describe and implement an algorithm that computes the face-poset structure of finitely sided polyhedra, and construct an angle-like function between hyperplanes. In the second part, I study further questions related to hyperplanes and Dirichlet–Selberg domains in my symmetric space. I establish several criteria for the disjointness of hyperplanes and classify particular Abelian subgroups of <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>S</mi>\u0000 <mi>L</mi>\u0000 <mo>(</mo>\u0000 <mn>3</mn>\u0000 <mo>,</mo>\u0000 <mi>R</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$SL(3,mathbb {R})$</annotation>\u0000 </semantics></math> based on whether their Dirichlet–Selberg domains are finitely sided or not.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142324526","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
On tame ramification and centers of F $F$ -purity 论 F $F$ 纯度的驯服斜面和中心
IF 1 2区 数学 Q1 MATHEMATICS Pub Date : 2024-09-26 DOI: 10.1112/jlms.12993
Javier Carvajal-Rojas, Anne Fayolle

We introduce a notion of tame ramification for general finite covers. When specialized to the separable case, it extends to higher dimensions the classical notion of tame ramification for Dedekind domains and curves and sits nicely in between other notions of tame ramification in arithmetic geometry. However, when applied to the Frobenius map, it naturally yields the notion of center of F$F$-purity (aka compatibly F$F$-split subvariety). As an application, we describe the behavior of centers of F$F$-purity under finite covers — it all comes down to a transitivity property for tame ramification in towers.

我们引入了一般有限盖的驯服斜伸概念。当它专门用于可分离的情况时,它将戴德金域和曲线的经典驯化斜率概念扩展到了更高维度,并很好地介于算术几何中的其他驯化斜率概念之间。然而,当应用于弗罗贝尼斯映射时,它自然会产生 F $F$ 纯度中心的概念(又称兼容 F $F$ 分裂子域)。作为一种应用,我们描述了 F $F$ -纯度中心在有限覆盖下的行为--这一切都归结为塔中驯服斜切的反证性质。
{"title":"On tame ramification and centers of \u0000 \u0000 F\u0000 $F$\u0000 -purity","authors":"Javier Carvajal-Rojas,&nbsp;Anne Fayolle","doi":"10.1112/jlms.12993","DOIUrl":"https://doi.org/10.1112/jlms.12993","url":null,"abstract":"<p>We introduce a notion of tame ramification for general finite covers. When specialized to the separable case, it extends to higher dimensions the classical notion of tame ramification for Dedekind domains and curves and sits nicely in between other notions of tame ramification in arithmetic geometry. However, when applied to the Frobenius map, it naturally yields the notion of center of <span></span><math>\u0000 <semantics>\u0000 <mi>F</mi>\u0000 <annotation>$F$</annotation>\u0000 </semantics></math>-purity (aka compatibly <span></span><math>\u0000 <semantics>\u0000 <mi>F</mi>\u0000 <annotation>$F$</annotation>\u0000 </semantics></math>-split subvariety). As an application, we describe the behavior of centers of <span></span><math>\u0000 <semantics>\u0000 <mi>F</mi>\u0000 <annotation>$F$</annotation>\u0000 </semantics></math>-purity under finite covers — it all comes down to a transitivity property for tame ramification in towers.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.12993","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142324524","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
Asymmetric distribution of extreme values of cubic L $L$ -functions at s = 1 $s=1$ 立方 L $L$ 函数极值在 s = 1 $s=1$ 时的非对称分布
IF 1 2区 数学 Q1 MATHEMATICS Pub Date : 2024-09-24 DOI: 10.1112/jlms.12996
Pranendu Darbar, Chantal David, Matilde Lalin, Allysa Lumley

We investigate the distribution of values of cubic Dirichlet L$L$-functions at s=1$s=1$. Following ideas of Granville and Soundararajan for quadratic L$L$-functions, we model the distribution of L(1,χ)$L(1,chi)$ by the distribution of random Euler products L(1,X)$L(1,mathbb {X})$ for certain family of random variables X(p)$mathbb {X}(p)$ attached to each prime. We obtain a description of the proportion of |L(1,χ)|$|L(1,chi)|$ that is larger or that is smaller than a given bound, and yield more light into the Littlewood bounds. Unlike the quadratic case, there is an asymmetry between lower and upper bounds for the cubic case, and small values are less probable than large values.

我们研究了 s = 1 $s=1$ 时立方迪里夏特 L $L$ 函数值的分布。按照 Granville 和 Soundararajan 对二次 L $L$ - 函数的想法,我们通过附在每个素数上的特定随机变量 X ( p ) $mathbb {X}(p)$ 的随机欧拉积 L ( 1 , X ) $L(1,mathbb {X})$ 的分布来模拟 L ( 1 , χ ) $L(1,chi)$ 的分布。我们得到了关于 | L ( 1 , χ ) | $|L(1,chi)|$ 大于或小于给定边界的比例的描述,并为利特尔伍德边界提供更多启示。与二次情况不同,三次情况的下限和上限不对称,小值比大值更不可能出现。
{"title":"Asymmetric distribution of extreme values of cubic \u0000 \u0000 L\u0000 $L$\u0000 -functions at \u0000 \u0000 \u0000 s\u0000 =\u0000 1\u0000 \u0000 $s=1$","authors":"Pranendu Darbar,&nbsp;Chantal David,&nbsp;Matilde Lalin,&nbsp;Allysa Lumley","doi":"10.1112/jlms.12996","DOIUrl":"https://doi.org/10.1112/jlms.12996","url":null,"abstract":"<p>We investigate the distribution of values of cubic Dirichlet <span></span><math>\u0000 <semantics>\u0000 <mi>L</mi>\u0000 <annotation>$L$</annotation>\u0000 </semantics></math>-functions at <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>s</mi>\u0000 <mo>=</mo>\u0000 <mn>1</mn>\u0000 </mrow>\u0000 <annotation>$s=1$</annotation>\u0000 </semantics></math>. Following ideas of Granville and Soundararajan for quadratic <span></span><math>\u0000 <semantics>\u0000 <mi>L</mi>\u0000 <annotation>$L$</annotation>\u0000 </semantics></math>-functions, we model the distribution of <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>L</mi>\u0000 <mo>(</mo>\u0000 <mn>1</mn>\u0000 <mo>,</mo>\u0000 <mi>χ</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$L(1,chi)$</annotation>\u0000 </semantics></math> by the distribution of random Euler products <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>L</mi>\u0000 <mo>(</mo>\u0000 <mn>1</mn>\u0000 <mo>,</mo>\u0000 <mi>X</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$L(1,mathbb {X})$</annotation>\u0000 </semantics></math> for certain family of random variables <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>X</mi>\u0000 <mo>(</mo>\u0000 <mi>p</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$mathbb {X}(p)$</annotation>\u0000 </semantics></math> attached to each prime. We obtain a description of the proportion of <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mo>|</mo>\u0000 <mi>L</mi>\u0000 <mo>(</mo>\u0000 <mn>1</mn>\u0000 <mo>,</mo>\u0000 <mi>χ</mi>\u0000 <mo>)</mo>\u0000 <mo>|</mo>\u0000 </mrow>\u0000 <annotation>$|L(1,chi)|$</annotation>\u0000 </semantics></math> that is larger or that is smaller than a given bound, and yield more light into the Littlewood bounds. Unlike the quadratic case, there is an asymmetry between lower and upper bounds for the cubic case, and small values are less probable than large values.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-09-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.12996","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142320667","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
Rational points on complete intersections of cubic and quadric hypersurfaces over F q ( t ) $mathbb {F}_q(t)$ F q ( t ) $mathbb {F}_q(t)$ 上三次方和二次方超曲面完全交点上的有理点
IF 1 2区 数学 Q1 MATHEMATICS Pub Date : 2024-09-24 DOI: 10.1112/jlms.12991
Jakob Glas

Using a two-dimensional version of the delta method, we establish an asymptotic formula for the number of rational points of bounded height on non-singular complete intersections of cubic and quadric hypersurfaces of dimension at least 23 over Fq(t)$mathbb {F}_q(t)$, provided char(Fq)>3$operatorname{char}(mathbb {F}_q)&gt;3$. Under the same hypotheses, we also verify weak approximation.

利用德尔塔法的二维版本,我们建立了维数至少为 23 over F q ( t ) $mathbb {F}_q(t)$,条件为 char ( F q ) > 3 $operatorname{char}(mathbb {F}_q)&gt;3$的立方超曲面和二次超曲面的非奇异完全交点上有界高的有理点数的渐近公式。在同样的假设下,我们也验证了弱逼近。
{"title":"Rational points on complete intersections of cubic and quadric hypersurfaces over \u0000 \u0000 \u0000 \u0000 F\u0000 q\u0000 \u0000 \u0000 (\u0000 t\u0000 )\u0000 \u0000 \u0000 $mathbb {F}_q(t)$","authors":"Jakob Glas","doi":"10.1112/jlms.12991","DOIUrl":"https://doi.org/10.1112/jlms.12991","url":null,"abstract":"<p>Using a two-dimensional version of the delta method, we establish an asymptotic formula for the number of rational points of bounded height on non-singular complete intersections of cubic and quadric hypersurfaces of dimension at least 23 over <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <msub>\u0000 <mi>F</mi>\u0000 <mi>q</mi>\u0000 </msub>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>t</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation>$mathbb {F}_q(t)$</annotation>\u0000 </semantics></math>, provided <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mo>char</mo>\u0000 <mo>(</mo>\u0000 <msub>\u0000 <mi>F</mi>\u0000 <mi>q</mi>\u0000 </msub>\u0000 <mo>)</mo>\u0000 <mo>&gt;</mo>\u0000 <mn>3</mn>\u0000 </mrow>\u0000 <annotation>$operatorname{char}(mathbb {F}_q)&amp;gt;3$</annotation>\u0000 </semantics></math>. Under the same hypotheses, we also verify weak approximation.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-09-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.12991","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142320668","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
Varieties over Q ¯ $overline{mathbb {Q}}$ with infinite Chow groups modulo almost all primes 在几乎所有素数上具有无限周群的 Q ¯$overline{mathbb {Q}}$ 上的变项
IF 1 2区 数学 Q1 MATHEMATICS Pub Date : 2024-09-20 DOI: 10.1112/jlms.12994
Federico Scavia
<p>Let <span></span><math> <semantics> <mi>E</mi> <annotation>$E$</annotation> </semantics></math> be the Fermat cubic curve over <span></span><math> <semantics> <mover> <mi>Q</mi> <mo>¯</mo> </mover> <annotation>$overline{mathbb {Q}}$</annotation> </semantics></math>. In 2002, Schoen proved that the group <span></span><math> <semantics> <mrow> <mi>C</mi> <msup> <mi>H</mi> <mn>2</mn> </msup> <mrow> <mo>(</mo> <msup> <mi>E</mi> <mn>3</mn> </msup> <mo>)</mo> </mrow> <mo>/</mo> <mi>ℓ</mi> </mrow> <annotation>$CH^2(E^3)/ell$</annotation> </semantics></math> is infinite for all primes <span></span><math> <semantics> <mrow> <mi>ℓ</mi> <mo>≡</mo> <mn>1</mn> <mspace></mspace> <mo>(</mo> <mi>mod</mi> <mspace></mspace> <mn>3</mn> <mo>)</mo> </mrow> <annotation>$ell equiv 1pmod 3$</annotation> </semantics></math>. We show that <span></span><math> <semantics> <mrow> <mi>C</mi> <msup> <mi>H</mi> <mn>2</mn> </msup> <mrow> <mo>(</mo> <msup> <mi>E</mi> <mn>3</mn> </msup> <mo>)</mo> </mrow> <mo>/</mo> <mi>ℓ</mi> </mrow> <annotation>$CH^2(E^3)/ell$</annotation> </semantics></math> is infinite for all prime numbers <span></span><math> <semantics> <mrow> <mi>ℓ</mi> <mo>></mo> <mn>5</mn> </mrow> <annotation>$ell &gt; 5$</annotation> </semantics></math>. This gives the first example of a smooth projective variety <span></span><math> <semantics> <mi>X</mi> <annotation>$X$</annotation> </semantics></math> over <span></span><math> <semantics> <mover> <mi>Q</mi> <mo>¯</mo> </mover> <annotation>$overline{mathbb {Q}}$</annotation> </semantics></math> such that <span></span><math>
设 E $E$ 是 Q ¯ $overline{mathbb {Q}}$ 上的费马三次曲线。2002 年,Schoen 证明了群 C H 2 ( E 3 ) / ℓ $CH^2(E^3)/ell$ 对于所有素数 ℓ ≡ 1 ( mod 3 ) $ell equiv 1pmod 3$ 都是无限的。我们证明 C H 2 ( E 3 ) / ℓ $CH^2(E^3)/ell$ 对于所有素数 ℓ > 5 $ell &gt; 5$ 都是无限的。这给出了第一个在 Q ¯ $overline{mathbb {Q}}$ 上的光滑射影 variety X $X$ 的例子,使得 C H 2 ( X ) / ℓ $CH^2(X)/ell$ 对所有素数都是无限的,但最多只有有限多个素数 ℓ $ell$ 。法布-基辛-沃尔夫森(Farb-Kisin-Wolfson)的最新定理是一个关键工具,它的证明使用了巴特-肖尔泽(Bhatt-Scholze)的棱镜同调。
{"title":"Varieties over \u0000 \u0000 \u0000 Q\u0000 ¯\u0000 \u0000 $overline{mathbb {Q}}$\u0000 with infinite Chow groups modulo almost all primes","authors":"Federico Scavia","doi":"10.1112/jlms.12994","DOIUrl":"https://doi.org/10.1112/jlms.12994","url":null,"abstract":"&lt;p&gt;Let &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mi&gt;E&lt;/mi&gt;\u0000 &lt;annotation&gt;$E$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; be the Fermat cubic curve over &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mover&gt;\u0000 &lt;mi&gt;Q&lt;/mi&gt;\u0000 &lt;mo&gt;¯&lt;/mo&gt;\u0000 &lt;/mover&gt;\u0000 &lt;annotation&gt;$overline{mathbb {Q}}$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;. In 2002, Schoen proved that the group &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;C&lt;/mi&gt;\u0000 &lt;msup&gt;\u0000 &lt;mi&gt;H&lt;/mi&gt;\u0000 &lt;mn&gt;2&lt;/mn&gt;\u0000 &lt;/msup&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;msup&gt;\u0000 &lt;mi&gt;E&lt;/mi&gt;\u0000 &lt;mn&gt;3&lt;/mn&gt;\u0000 &lt;/msup&gt;\u0000 &lt;mo&gt;)&lt;/mo&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;annotation&gt;$CH^2(E^3)/ell$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; is infinite for all primes &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;ℓ&lt;/mi&gt;\u0000 &lt;mo&gt;≡&lt;/mo&gt;\u0000 &lt;mn&gt;1&lt;/mn&gt;\u0000 &lt;mspace&gt;&lt;/mspace&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;mi&gt;mod&lt;/mi&gt;\u0000 &lt;mspace&gt;&lt;/mspace&gt;\u0000 &lt;mn&gt;3&lt;/mn&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$ell equiv 1pmod 3$&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;C&lt;/mi&gt;\u0000 &lt;msup&gt;\u0000 &lt;mi&gt;H&lt;/mi&gt;\u0000 &lt;mn&gt;2&lt;/mn&gt;\u0000 &lt;/msup&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;msup&gt;\u0000 &lt;mi&gt;E&lt;/mi&gt;\u0000 &lt;mn&gt;3&lt;/mn&gt;\u0000 &lt;/msup&gt;\u0000 &lt;mo&gt;)&lt;/mo&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;annotation&gt;$CH^2(E^3)/ell$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; is infinite for all prime numbers &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;ℓ&lt;/mi&gt;\u0000 &lt;mo&gt;&gt;&lt;/mo&gt;\u0000 &lt;mn&gt;5&lt;/mn&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$ell &amp;gt; 5$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;. This gives the first example of a smooth projective variety &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mi&gt;X&lt;/mi&gt;\u0000 &lt;annotation&gt;$X$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; over &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mover&gt;\u0000 &lt;mi&gt;Q&lt;/mi&gt;\u0000 &lt;mo&gt;¯&lt;/mo&gt;\u0000 &lt;/mover&gt;\u0000 &lt;annotation&gt;$overline{mathbb {Q}}$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; such that &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 ","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142273162","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
Countably tight dual ball with a nonseparable measure 具有不可分割度量的可数紧密对偶球
IF 1 2区 数学 Q1 MATHEMATICS Pub Date : 2024-09-20 DOI: 10.1112/jlms.12988
Piotr Koszmider, Zdeněk Silber
<p>We construct a compact Hausdorff space <span></span><math> <semantics> <mi>K</mi> <annotation>$K$</annotation> </semantics></math> such that the space <span></span><math> <semantics> <mrow> <mi>P</mi> <mo>(</mo> <mi>K</mi> <mo>)</mo> </mrow> <annotation>$P(K)$</annotation> </semantics></math> of Radon probability measures on <span></span><math> <semantics> <mi>K</mi> <annotation>$K$</annotation> </semantics></math> considered with the <span></span><math> <semantics> <msup> <mtext>weak</mtext> <mo>∗</mo> </msup> <annotation>$text{weak}^*$</annotation> </semantics></math> topology (induced from the space of continuous functions <span></span><math> <semantics> <mrow> <mi>C</mi> <mo>(</mo> <mi>K</mi> <mo>)</mo> </mrow> <annotation>$C(K)$</annotation> </semantics></math>) is countably tight that is a generalization of sequentiality (i.e., if a measure <span></span><math> <semantics> <mi>μ</mi> <annotation>$mu$</annotation> </semantics></math> is in the closure of a set <span></span><math> <semantics> <mi>M</mi> <annotation>$M$</annotation> </semantics></math>, there is a countable <span></span><math> <semantics> <mrow> <msup> <mi>M</mi> <mo>′</mo> </msup> <mo>⊆</mo> <mi>M</mi> </mrow> <annotation>$M^{prime }subseteq M$</annotation> </semantics></math> such that <span></span><math> <semantics> <mi>μ</mi> <annotation>$mu$</annotation> </semantics></math> is in the closure of <span></span><math> <semantics> <msup> <mi>M</mi> <mo>′</mo> </msup> <annotation>$M^{prime }$</annotation> </semantics></math>) but <span></span><math> <semantics> <mi>K</mi> <annotation>$K$</annotation> </semantics></math> carries a Radon probability measure that has uncountable Maharam type (i.e., <span></span><math> <semantics> <mrow> <msub> <mi>L</mi> <mn>1</mn> </msub> <mrow> <mo>(</mo> <mi>μ</mi> <mo>)</mo>
We construct a compact Hausdorff space K $K$ such that the space P ( K ) $P(K)$ of Radon probability measures on K $K$ considered with the weak ∗ $text{weak}^*$ topology (induced from the space of continuous functions C ( K ) $C(K)$ ) is countably tight that is a generalization of sequentiality (i.e., if a measure μ $mu$ is in the closure of a set M $M$ , there is a countable M ′ ⊆ M $M^{prime }subseteq M$ such that μ $mu$ is in the closure of M ′ $M^{prime }$ ) but K $K$ carries a Radon probability measure that has uncountable Maharam type (i.e., L 1 ( μ ) $L_1(mu)$ is nonseparable).这个构造(必然)使用了一个额外的集合论假设(◇ $diamondsuit$ 原则),因为根据弗雷姆林的一个结果,我们已经知道这样的空间是不存在的。这应该与普莱巴内克和索博塔的结果相比较,他们证明了 P ( K × K ) $P(Ktimes K)$ 的可数紧密性意味着 K $K$ 上的所有拉顿量都具有可数类型。因此,我们的例子表明,P ( K × K ) $P(Ktimes K)$ 和 P ( K ) × P ( K ) $P(K)times P(K)$ 的紧密性可能不同,P ( K ) $P(K)$ 可能具有 Corson 性质 (C),而 P ( K × K ) $P(Ktimes K)$ 则不具有,这回答了一个 Pol 问题。我们的构造也是巴拿赫空间注入张量积一般背景下的一个相关例子,补充了阿维莱斯、马丁内斯-塞万提斯、罗德里格斯和鲁埃达-佐卡的最新成果。
{"title":"Countably tight dual ball with a nonseparable measure","authors":"Piotr Koszmider,&nbsp;Zdeněk Silber","doi":"10.1112/jlms.12988","DOIUrl":"https://doi.org/10.1112/jlms.12988","url":null,"abstract":"&lt;p&gt;We construct a compact Hausdorff space &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mi&gt;K&lt;/mi&gt;\u0000 &lt;annotation&gt;$K$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; such that the space &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;K&lt;/mi&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$P(K)$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; of Radon probability measures on &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mi&gt;K&lt;/mi&gt;\u0000 &lt;annotation&gt;$K$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; considered with the &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;msup&gt;\u0000 &lt;mtext&gt;weak&lt;/mtext&gt;\u0000 &lt;mo&gt;∗&lt;/mo&gt;\u0000 &lt;/msup&gt;\u0000 &lt;annotation&gt;$text{weak}^*$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; topology (induced from the space of continuous functions &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;C&lt;/mi&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;mi&gt;K&lt;/mi&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$C(K)$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;) is countably tight that is a generalization of sequentiality (i.e., if a measure &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mi&gt;μ&lt;/mi&gt;\u0000 &lt;annotation&gt;$mu$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; is in the closure of a set &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;, there is a countable &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;M&lt;/mi&gt;\u0000 &lt;mo&gt;′&lt;/mo&gt;\u0000 &lt;/msup&gt;\u0000 &lt;mo&gt;⊆&lt;/mo&gt;\u0000 &lt;mi&gt;M&lt;/mi&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$M^{prime }subseteq M$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; such that &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mi&gt;μ&lt;/mi&gt;\u0000 &lt;annotation&gt;$mu$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; is in the closure of &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;msup&gt;\u0000 &lt;mi&gt;M&lt;/mi&gt;\u0000 &lt;mo&gt;′&lt;/mo&gt;\u0000 &lt;/msup&gt;\u0000 &lt;annotation&gt;$M^{prime }$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;) but &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mi&gt;K&lt;/mi&gt;\u0000 &lt;annotation&gt;$K$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; carries a Radon probability measure that has uncountable Maharam type (i.e., &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;msub&gt;\u0000 &lt;mi&gt;L&lt;/mi&gt;\u0000 &lt;mn&gt;1&lt;/mn&gt;\u0000 &lt;/msub&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 ","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142273161","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
Effective generic freeness and applications to local cohomology 有效通用自由性及其在局部同调中的应用
IF 1 2区 数学 Q1 MATHEMATICS Pub Date : 2024-09-20 DOI: 10.1112/jlms.12995
Yairon Cid-Ruiz, Ilya Smirnov

Let A$A$ be a Noetherian domain and R$R$ be a finitely generated A$A$-algebra. We study several features regarding the generic freeness over A$A$ of an R$R$-module. For an ideal IR$I subset R$, we show that the local cohomology modules HIi(R)$normalfont text{H}_I^i(R)$ are generically free over A$A$ under certain settings where R$R$ is a smooth A$A$-algebra. By utilizing the theory of Gröbner bases over arbitrary Noetherian rings, we provide an effective method to b make explicit the generic freeness over A$A$ of a finitely generated R$R$-module.

假设 A $A$ 是诺特域,R $R$ 是有限生成的 A $A$ -代数。我们将研究 R $R$ 模块在 A $A$ 上的泛自由性的几个特征。对于一个理想 I ⊂ R $I (子集 R$),我们证明了局部同调模块 H I i ( R ) $normalfont text{H}_I^i(R)$ 在 R $R$ 是光滑的 A $A$ -代数的特定情况下在 A $A$ 上是泛自由的。通过利用任意诺特环上的格氏基理论,我们提供了一种有效的方法来明确有限生成的 R $R$ 模块在 A $A$ 上的泛自由性。
{"title":"Effective generic freeness and applications to local cohomology","authors":"Yairon Cid-Ruiz,&nbsp;Ilya Smirnov","doi":"10.1112/jlms.12995","DOIUrl":"https://doi.org/10.1112/jlms.12995","url":null,"abstract":"<p>Let <span></span><math>\u0000 <semantics>\u0000 <mi>A</mi>\u0000 <annotation>$A$</annotation>\u0000 </semantics></math> be a Noetherian domain and <span></span><math>\u0000 <semantics>\u0000 <mi>R</mi>\u0000 <annotation>$R$</annotation>\u0000 </semantics></math> be a finitely generated <span></span><math>\u0000 <semantics>\u0000 <mi>A</mi>\u0000 <annotation>$A$</annotation>\u0000 </semantics></math>-algebra. We study several features regarding the generic freeness over <span></span><math>\u0000 <semantics>\u0000 <mi>A</mi>\u0000 <annotation>$A$</annotation>\u0000 </semantics></math> of an <span></span><math>\u0000 <semantics>\u0000 <mi>R</mi>\u0000 <annotation>$R$</annotation>\u0000 </semantics></math>-module. For an ideal <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>I</mi>\u0000 <mo>⊂</mo>\u0000 <mi>R</mi>\u0000 </mrow>\u0000 <annotation>$I subset R$</annotation>\u0000 </semantics></math>, we show that the local cohomology modules <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <msubsup>\u0000 <mi>H</mi>\u0000 <mi>I</mi>\u0000 <mi>i</mi>\u0000 </msubsup>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>R</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation>$normalfont text{H}_I^i(R)$</annotation>\u0000 </semantics></math> are generically free over <span></span><math>\u0000 <semantics>\u0000 <mi>A</mi>\u0000 <annotation>$A$</annotation>\u0000 </semantics></math> under certain settings where <span></span><math>\u0000 <semantics>\u0000 <mi>R</mi>\u0000 <annotation>$R$</annotation>\u0000 </semantics></math> is a smooth <span></span><math>\u0000 <semantics>\u0000 <mi>A</mi>\u0000 <annotation>$A$</annotation>\u0000 </semantics></math>-algebra. By utilizing the theory of Gröbner bases over arbitrary Noetherian rings, we provide an effective method to b make explicit the generic freeness over <span></span><math>\u0000 <semantics>\u0000 <mi>A</mi>\u0000 <annotation>$A$</annotation>\u0000 </semantics></math> of a finitely generated <span></span><math>\u0000 <semantics>\u0000 <mi>R</mi>\u0000 <annotation>$R$</annotation>\u0000 </semantics></math>-module.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142273278","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
Time-periodic solutions to heated ferrofluid flow models 加热铁流体流动模型的时周期解法
IF 1 2区 数学 Q1 MATHEMATICS Pub Date : 2024-09-18 DOI: 10.1112/jlms.12990
Kamel Hamdache, Djamila Hamroun, Basma Jaffal-Mourtada

In this work, we prove the existence of time-periodic solutions to a model describing a ferrofluid flow heated from below. Navier–Stokes equations satisfied by the fluid velocity are coupled to the temperature equation and the magnetostatic equation satisfied by the magnetic potential. The magnetization is assumed to be parallel to the magnetic field and is given by a nonlinear magnetization law generalizing the Langevin law. The proof is based on a semi-Galerkin approximation and regularization methods together with the fixed point method.

在这项研究中,我们证明了一个描述从下部加热的铁流体流动模型的时间周期解的存在性。流体速度满足的纳维-斯托克斯方程与温度方程和磁势满足的磁静力方程耦合。磁化假定与磁场平行,并由概括了朗格文定律的非线性磁化定律给出。证明基于半加尔金近似和正则化方法以及定点法。
{"title":"Time-periodic solutions to heated ferrofluid flow models","authors":"Kamel Hamdache,&nbsp;Djamila Hamroun,&nbsp;Basma Jaffal-Mourtada","doi":"10.1112/jlms.12990","DOIUrl":"https://doi.org/10.1112/jlms.12990","url":null,"abstract":"<p>In this work, we prove the existence of time-periodic solutions to a model describing a ferrofluid flow heated from below. Navier–Stokes equations satisfied by the fluid velocity are coupled to the temperature equation and the magnetostatic equation satisfied by the magnetic potential. The magnetization is assumed to be parallel to the magnetic field and is given by a nonlinear magnetization law generalizing the Langevin law. The proof is based on a semi-Galerkin approximation and regularization methods together with the fixed point method.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142273003","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
Fullness of q $q$ -Araki-Woods factors qq$ 的饱满度 -阿拉基-伍兹系数
IF 1 2区 数学 Q1 MATHEMATICS Pub Date : 2024-09-18 DOI: 10.1112/jlms.12989
Manish Kumar, Simeng Wang

The q$q$-Araki-Woods factor associated to a group of orthogonal transformations on a real separable Hilbert space HR$mathsf {H}_{mathbb {R}}$ is full as soon as dimHR2$dim mathsf {H}_{mathbb {R}}geqslant 2$.

当 dim H R ⩾ 2 $dim mathsf {H}_{mathbb {R}}geqslant 2$ 时,与实可分离希尔伯特空间 H R $mathsf {H}_{mathbb {R}} 上的正交变换组相关的 q $q$ -Araki-Woods 因子就是完整的。
{"title":"Fullness of \u0000 \u0000 q\u0000 $q$\u0000 -Araki-Woods factors","authors":"Manish Kumar,&nbsp;Simeng Wang","doi":"10.1112/jlms.12989","DOIUrl":"https://doi.org/10.1112/jlms.12989","url":null,"abstract":"<p>The <span></span><math>\u0000 <semantics>\u0000 <mi>q</mi>\u0000 <annotation>$q$</annotation>\u0000 </semantics></math>-Araki-Woods factor associated to a group of orthogonal transformations on a real separable Hilbert space <span></span><math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>H</mi>\u0000 <mi>R</mi>\u0000 </msub>\u0000 <annotation>$mathsf {H}_{mathbb {R}}$</annotation>\u0000 </semantics></math> is full as soon as <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mo>dim</mo>\u0000 <msub>\u0000 <mi>H</mi>\u0000 <mi>R</mi>\u0000 </msub>\u0000 <mo>⩾</mo>\u0000 <mn>2</mn>\u0000 </mrow>\u0000 <annotation>$dim mathsf {H}_{mathbb {R}}geqslant 2$</annotation>\u0000 </semantics></math>.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142244857","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
Lattice reduced and complete convex bodies 晶格缩小和完整凸体
IF 1 2区 数学 Q1 MATHEMATICS Pub Date : 2024-09-17 DOI: 10.1112/jlms.12982
Giulia Codenotti, Ansgar Freyer
<p>The purpose of this paper is to study convex bodies <span></span><math> <semantics> <mi>C</mi> <annotation>$C$</annotation> </semantics></math> for which there exists no convex body <span></span><math> <semantics> <mrow> <msup> <mi>C</mi> <mo>′</mo> </msup> <mi>⊊</mi> <mi>C</mi> </mrow> <annotation>$C^prime subsetneq C$</annotation> </semantics></math> of the same lattice width. Such bodies will be called ‘lattice reduced’, and they occur naturally in the study of the flatness constant in integer programming, as well as other problems related to lattice width. We show that any simplex that realizes the flatness constant must be lattice reduced and prove structural properties of general lattice reduced convex bodies: they are polytopes with at most <span></span><math> <semantics> <mrow> <msup> <mn>2</mn> <mrow> <mi>d</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> <mo>−</mo> <mn>2</mn> </mrow> <annotation>$2^{d+1}-2$</annotation> </semantics></math> vertices and their lattice width is attained by at least <span></span><math> <semantics> <mrow> <mi>Ω</mi> <mo>(</mo> <mi>log</mi> <mi>d</mi> <mo>)</mo> </mrow> <annotation>$Omega (log d)$</annotation> </semantics></math> independent directions. Strongly related to lattice reduced bodies are the ‘lattice complete bodies’, which are convex bodies <span></span><math> <semantics> <mi>C</mi> <annotation>$C$</annotation> </semantics></math> for which there exists no <span></span><math> <semantics> <mrow> <msup> <mi>C</mi> <mo>′</mo> </msup> <mo>⊋</mo> <mi>C</mi> </mrow> <annotation>$C^prime supsetneq C$</annotation> </semantics></math> such that <span></span><math> <semantics> <msup> <mi>C</mi> <mo>′</mo> </msup> <annotation>$C^prime$</annotation> </semantics></math> has the same lattice diameter as <span></span><math>
本文的目的是研究凸体 C $C$,对于这些凸体 C ′ ⊊ C $C^prime subsetneq C$,不存在网格宽度相同的凸体 C ′ ⊊ C $C^prime subsetneq C$。这样的体将被称为 "格子缩小体",它们会自然地出现在整数编程中平坦常数的研究中,以及其他与格子宽度相关的问题中。我们证明了任何实现平整度常数的单纯形都必须是晶格缩小的,并证明了一般晶格缩小凸体的结构性质:它们是顶点至多为 2 d + 1 - 2 $2^{d+1}-2$ 的多面体,其晶格宽度至少由 Ω ( log d ) $Omega (log d)$ 独立方向达到。与晶格缩小体密切相关的是 "晶格完全体",即不存在任何 C ′ ⊋ C $C^prime supsetneq C$ 使 C ′ $C^prime$ 与 C $C$ 具有相同晶格直径的凸体 C $C$。类似的结构结果也适用于晶格完全体。此外,还提出了格子缩小凸体和完整凸体的各种构造方法。
{"title":"Lattice reduced and complete convex bodies","authors":"Giulia Codenotti,&nbsp;Ansgar Freyer","doi":"10.1112/jlms.12982","DOIUrl":"https://doi.org/10.1112/jlms.12982","url":null,"abstract":"&lt;p&gt;The purpose of this paper is to study convex bodies &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mi&gt;C&lt;/mi&gt;\u0000 &lt;annotation&gt;$C$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; for which there exists no convex body &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;C&lt;/mi&gt;\u0000 &lt;mo&gt;′&lt;/mo&gt;\u0000 &lt;/msup&gt;\u0000 &lt;mi&gt;⊊&lt;/mi&gt;\u0000 &lt;mi&gt;C&lt;/mi&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$C^prime subsetneq C$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; of the same lattice width. Such bodies will be called ‘lattice reduced’, and they occur naturally in the study of the flatness constant in integer programming, as well as other problems related to lattice width. We show that any simplex that realizes the flatness constant must be lattice reduced and prove structural properties of general lattice reduced convex bodies: they are polytopes with at most &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;msup&gt;\u0000 &lt;mn&gt;2&lt;/mn&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;d&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;mo&gt;−&lt;/mo&gt;\u0000 &lt;mn&gt;2&lt;/mn&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$2^{d+1}-2$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; vertices and their lattice width is attained by at least &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;Ω&lt;/mi&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;mi&gt;log&lt;/mi&gt;\u0000 &lt;mi&gt;d&lt;/mi&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$Omega (log d)$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; independent directions. Strongly related to lattice reduced bodies are the ‘lattice complete bodies’, which are convex bodies &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mi&gt;C&lt;/mi&gt;\u0000 &lt;annotation&gt;$C$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; for which there exists no &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;C&lt;/mi&gt;\u0000 &lt;mo&gt;′&lt;/mo&gt;\u0000 &lt;/msup&gt;\u0000 &lt;mo&gt;⊋&lt;/mo&gt;\u0000 &lt;mi&gt;C&lt;/mi&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$C^prime supsetneq C$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; such that &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;msup&gt;\u0000 &lt;mi&gt;C&lt;/mi&gt;\u0000 &lt;mo&gt;′&lt;/mo&gt;\u0000 &lt;/msup&gt;\u0000 &lt;annotation&gt;$C^prime$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; has the same lattice diameter as &lt;span&gt;&lt;/span&gt;&lt;math&gt;\u0000 ","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.12982","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142244976","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
期刊
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