We consider word complexity and topological entropy for random substitution subshifts. In contrast to previous work, we do not assume that the underlying random substitution is compatible. We show that the subshift of a primitive random substitution has zero topological entropy if and only if it can be obtained as the subshift of a deterministic substitution, answering in the affirmative an open question of Rust and Spindeler [Indag. Math. (N.S.) 29 (2018), pp. 1131–1155]. For constant length primitive random substitutions, we develop a systematic approach to calculating the topological entropy of the associated subshift. Further, we prove lower and upper bounds that hold even without primitivity. For subshifts of non-primitive random substitutions, we show that the complexity function can exhibit features not possible in the deterministic or primitive random setting, such as intermediate growth, and provide a partial classification of the permissible complexity functions for subshifts of constant length random substitutions.
{"title":"On word complexity and topological entropy of random substitution subshifts","authors":"Andrew Mitchell","doi":"10.1090/proc/16893","DOIUrl":"https://doi.org/10.1090/proc/16893","url":null,"abstract":"<p>We consider word complexity and topological entropy for random substitution subshifts. In contrast to previous work, we do not assume that the underlying random substitution is compatible. We show that the subshift of a primitive random substitution has zero topological entropy if and only if it can be obtained as the subshift of a deterministic substitution, answering in the affirmative an open question of Rust and Spindeler [Indag. Math. (N.S.) 29 (2018), pp. 1131–1155]. For constant length primitive random substitutions, we develop a systematic approach to calculating the topological entropy of the associated subshift. Further, we prove lower and upper bounds that hold even without primitivity. For subshifts of non-primitive random substitutions, we show that the complexity function can exhibit features not possible in the deterministic or primitive random setting, such as intermediate growth, and provide a partial classification of the permissible complexity functions for subshifts of constant length random substitutions.</p>","PeriodicalId":20696,"journal":{"name":"Proceedings of the American Mathematical Society","volume":"56 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142197138","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In this note, we relate the basepoint-freeness threshold of a polarized abelian variety, introduced by Jiang and Pareschi, with kk-jet very ampleness. Then, we derive several applications of this fact, including a criterion for the kk-very ampleness of Kummer varieties.
在本论文中,我们将江(Jiang)和帕雷希(Pareschi)提出的极化无性无基点阈值与 k k -jet 非常振幅性联系起来。然后,我们推导出这一事实的若干应用,包括库默尔变项 k k -非常振幅的判据。
{"title":"Higher order embeddings via the basepoint-freeness threshold","authors":"Federico Caucci","doi":"10.1090/proc/16901","DOIUrl":"https://doi.org/10.1090/proc/16901","url":null,"abstract":"<p>In this note, we relate the basepoint-freeness threshold of a polarized abelian variety, introduced by Jiang and Pareschi, with <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"k\"> <mml:semantics> <mml:mi>k</mml:mi> <mml:annotation encoding=\"application/x-tex\">k</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-jet very ampleness. Then, we derive several applications of this fact, including a criterion for the <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"k\"> <mml:semantics> <mml:mi>k</mml:mi> <mml:annotation encoding=\"application/x-tex\">k</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-very ampleness of Kummer varieties.</p>","PeriodicalId":20696,"journal":{"name":"Proceedings of the American Mathematical Society","volume":"39 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141744756","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We consider the problem of estimating the eigenvalues and the integral of the corresponding eigenfunctions, associated to the Newtonian potential operator, defined in a bounded domain Ω⊂RdOmega subset mathbb {R}^{d}, where d=2,3d=2,3, in terms of the maximum radius of ΩOmega. We first provide these estimations in the particular case of a ball and a disc. Then we extend them to general shapes using a, derived, monotonicity property of the eigenvalues of the Newtonian operator. The derivation of the lower bounds is quite tedious for the 2D-Logarithmic potential operator. Such upper/lower bounds appear naturally while estimating the electric/acoustic fields propagating in Rdmathbb {R}^{d} in the presence of small scaled and highly heterogeneous particles.
我们考虑的问题是估计与牛顿势算子相关的特征值和相应特征函数的积分,牛顿势算子定义在一个有界域 Ω ⊂ R d Omega 子集 mathbb {R}^{d} 中,其中 d = 2 , 3 d=2,3 ,用 Ω Omega 的最大半径表示。我们首先在球和圆盘的特殊情况下提供这些估计值。然后,我们利用牛顿算子特征值的单调性特性,将其扩展到一般形状。对于二维对数势算子,下限的推导相当繁琐。在估算小尺度和高度异质粒子在 R d mathbb {R}^{d} 中传播的电场/声场时,这种上界/下界会自然出现。
{"title":"Estimation of the eigenvalues and the integral of the eigenfunctions of the Newtonian potential operator","authors":"Abdulaziz Alsenafi, Ahcene Ghandriche, Mourad Sini","doi":"10.1090/proc/16871","DOIUrl":"https://doi.org/10.1090/proc/16871","url":null,"abstract":"<p>We consider the problem of estimating the eigenvalues and the integral of the corresponding eigenfunctions, associated to the Newtonian potential operator, defined in a bounded domain <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"normal upper Omega subset-of double-struck upper R Superscript d\"> <mml:semantics> <mml:mrow> <mml:mi mathvariant=\"normal\">Ω</mml:mi> <mml:mo>⊂</mml:mo> <mml:msup> <mml:mrow> <mml:mi mathvariant=\"double-struck\">R</mml:mi> </mml:mrow> <mml:mrow> <mml:mi>d</mml:mi> </mml:mrow> </mml:msup> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">Omega subset mathbb {R}^{d}</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, where <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"d equals 2 comma 3\"> <mml:semantics> <mml:mrow> <mml:mi>d</mml:mi> <mml:mo>=</mml:mo> <mml:mn>2</mml:mn> <mml:mo>,</mml:mo> <mml:mn>3</mml:mn> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">d=2,3</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, in terms of the maximum radius of <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"normal upper Omega\"> <mml:semantics> <mml:mi mathvariant=\"normal\">Ω</mml:mi> <mml:annotation encoding=\"application/x-tex\">Omega</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. We first provide these estimations in the particular case of a ball and a disc. Then we extend them to general shapes using a, derived, monotonicity property of the eigenvalues of the Newtonian operator. The derivation of the lower bounds is quite tedious for the 2D-Logarithmic potential operator. Such upper/lower bounds appear naturally while estimating the electric/acoustic fields propagating in <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper R Superscript d\"> <mml:semantics> <mml:msup> <mml:mrow> <mml:mi mathvariant=\"double-struck\">R</mml:mi> </mml:mrow> <mml:mrow> <mml:mi>d</mml:mi> </mml:mrow> </mml:msup> <mml:annotation encoding=\"application/x-tex\">mathbb {R}^{d}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> in the presence of small scaled and highly heterogeneous particles.</p>","PeriodicalId":20696,"journal":{"name":"Proceedings of the American Mathematical Society","volume":"68 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142197121","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In this note, we provide an adaptation of the Kohler-Jobin rearrangement technique to the setting of the Gauss space. As a result, we prove the Gaussian analogue of the Kohler-Jobin resolution of a conjecture of Pólya-Szegö: when the Gaussian torsional rigidity of a domain is fixed, the Gaussian principal frequency is minimized for the half-space. At the core of this rearrangement technique is the idea of considering a “modified” torsional rigidity, with respect to a given function, and rearranging its layers to half-spaces, in a particular way; the Rayleigh quotient decreases with this procedure.
We emphasize that the analogy of the Gaussian case with the Lebesgue case is not to be expected here, as in addition to some soft symmetrization ideas, the argument relies on the properties of some special functions; the fact that this analogy does hold is somewhat of a miracle.
{"title":"Kohler-Jobin meets Ehrhard: The sharp lower bound for the Gaussian principal frequency while the Gaussian torsional rigidity is fixed, via rearrangements","authors":"Orli Herscovici, Galyna Livshyts","doi":"10.1090/proc/16889","DOIUrl":"https://doi.org/10.1090/proc/16889","url":null,"abstract":"<p>In this note, we provide an adaptation of the Kohler-Jobin rearrangement technique to the setting of the Gauss space. As a result, we prove the Gaussian analogue of the Kohler-Jobin resolution of a conjecture of Pólya-Szegö: when the Gaussian torsional rigidity of a domain is fixed, the Gaussian principal frequency is minimized for the half-space. At the core of this rearrangement technique is the idea of considering a “modified” torsional rigidity, with respect to a given function, and rearranging its layers to half-spaces, in a particular way; the Rayleigh quotient decreases with this procedure.</p> <p>We emphasize that the analogy of the Gaussian case with the Lebesgue case is not to be expected here, as in addition to some soft symmetrization ideas, the argument relies on the properties of some special functions; the fact that this analogy does hold is somewhat of a miracle.</p>","PeriodicalId":20696,"journal":{"name":"Proceedings of the American Mathematical Society","volume":"131 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142197122","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
<p>Consider a symmetric space <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper G slash upper H"> <mml:semantics> <mml:mrow> <mml:mi>G</mml:mi> <mml:mrow> <mml:mo>/</mml:mo> </mml:mrow> <mml:mi>H</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">G/H</mml:annotation> </mml:semantics> </mml:math> </inline-formula> with simple Lie group <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper G"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding="application/x-tex">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. We demonstrate that when <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper G slash upper H"> <mml:semantics> <mml:mrow> <mml:mi>G</mml:mi> <mml:mrow> <mml:mo>/</mml:mo> </mml:mrow> <mml:mi>H</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">G/H</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is not irreducible, it is necessarily even dimensional and noncompact. Furthermore, the subgroup <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper H"> <mml:semantics> <mml:mi>H</mml:mi> <mml:annotation encoding="application/x-tex">H</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is also both noncompact and non-semisimple. Additionally, we establish that the only <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper G"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding="application/x-tex">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-invariant connection on <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper G slash upper H"> <mml:semantics> <mml:mrow> <mml:mi>G</mml:mi> <mml:mrow> <mml:mo>/</mml:mo> </mml:mrow> <mml:mi>H</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">G/H</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is the canonical connection. On the other hand, we show that if <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper G slash upper H"> <mml:semantics> <mml:mrow> <mml:mi>G</mml:mi> <mml:mrow> <mml:mo>/</mml:mo> </mml:mrow> <mml:mi>H</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">G/H</mml:annotation> </mml:semantics> </mml:math> </inline-formula> has an odd dimension, it must be irreducible, and the subgroup <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper H"> <mml:semantics> <mml:mi>H</mml:mi> <mml:annotation encoding="application/x-tex">H</mml:annotation> </mml:semantics> </mml:math> </inline-formula> must be semisimple. Finally, we present an explicit example,
考虑具有简单李群 G G 的对称空间 G / H G/H 。我们证明,当 G / H G/H 不是不可还原时,它必然是偶数维和非紧密的。此外,子群 H H 也是非紧凑和非半复性的。此外,我们还确定了 G / H G/H 上唯一的 G G 不变连接是典型连接。另一方面,我们证明了如果 G / H G/H 的维数是奇数,那么它一定是不可还原的,子群 H H 一定是半简单的。最后,我们给出了一个明确的例子,并证明在具有半简单李群 G G 的对称空间 G / H G/H 上不存在其他与典型连接具有相同曲率的无扭 G G -不变连接。
{"title":"Invariant connections on non-irreducible symmetric spaces with simple Lie group","authors":"Othmane Dani, Abdelhak Abouqateb, Saïd Benayadi","doi":"10.1090/proc/16903","DOIUrl":"https://doi.org/10.1090/proc/16903","url":null,"abstract":"<p>Consider a symmetric space <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper G slash upper H\"> <mml:semantics> <mml:mrow> <mml:mi>G</mml:mi> <mml:mrow> <mml:mo>/</mml:mo> </mml:mrow> <mml:mi>H</mml:mi> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">G/H</mml:annotation> </mml:semantics> </mml:math> </inline-formula> with simple Lie group <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper G\"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding=\"application/x-tex\">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. We demonstrate that when <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper G slash upper H\"> <mml:semantics> <mml:mrow> <mml:mi>G</mml:mi> <mml:mrow> <mml:mo>/</mml:mo> </mml:mrow> <mml:mi>H</mml:mi> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">G/H</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is not irreducible, it is necessarily even dimensional and noncompact. Furthermore, the subgroup <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper H\"> <mml:semantics> <mml:mi>H</mml:mi> <mml:annotation encoding=\"application/x-tex\">H</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is also both noncompact and non-semisimple. Additionally, we establish that the only <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper G\"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding=\"application/x-tex\">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-invariant connection on <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper G slash upper H\"> <mml:semantics> <mml:mrow> <mml:mi>G</mml:mi> <mml:mrow> <mml:mo>/</mml:mo> </mml:mrow> <mml:mi>H</mml:mi> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">G/H</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is the canonical connection. On the other hand, we show that if <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper G slash upper H\"> <mml:semantics> <mml:mrow> <mml:mi>G</mml:mi> <mml:mrow> <mml:mo>/</mml:mo> </mml:mrow> <mml:mi>H</mml:mi> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">G/H</mml:annotation> </mml:semantics> </mml:math> </inline-formula> has an odd dimension, it must be irreducible, and the subgroup <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper H\"> <mml:semantics> <mml:mi>H</mml:mi> <mml:annotation encoding=\"application/x-tex\">H</mml:annotation> </mml:semantics> </mml:math> </inline-formula> must be semisimple. Finally, we present an explicit example, ","PeriodicalId":20696,"journal":{"name":"Proceedings of the American Mathematical Society","volume":"25 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141744758","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We provide necessary and sufficient conditions for operator-valued functions on arbitrary sets associated with a collection of test functions to have factorizations in several situations.
我们为与测试函数集合相关的任意集合上的算子值函数在几种情况下具有因式分解提供了必要条件和充分条件。
{"title":"Factorization of functions in the Schur-Agler class related to test functions","authors":"Mainak Bhowmik, Poornendu Kumar","doi":"10.1090/proc/16900","DOIUrl":"https://doi.org/10.1090/proc/16900","url":null,"abstract":"<p>We provide necessary and sufficient conditions for operator-valued functions on arbitrary sets associated with a collection of test functions to have factorizations in several situations.</p>","PeriodicalId":20696,"journal":{"name":"Proceedings of the American Mathematical Society","volume":"78 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141872173","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We prove that a virtually periodic object in an abelian category gives rise to a non-vanishing result on certain Hom groups in the singularity category. Consequently, for any artin algebra with infinite global dimension, its singularity category has no silting subcategory, and the associated differential graded Leavitt algebra has a non-vanishing cohomology in each degree. We verify the Singular Presilting Conjecture for singularly-minimal algebras and ultimately-closed algebras. We obtain a trichotomy on the Hom-finiteness of the cohomologies of differential graded Leavitt algebras.
我们证明,在一个无性范畴中,一个几乎周期性的对象会引起奇点范畴中某些 Hom 群的非消失结果。因此,对于任何具有无限全维的artin代数,其奇点范畴都没有淤积子范畴,相关的微分级联Leavitt代数在每个度上都有一个非消失的同调。我们验证了奇异极小代数和最终封闭代数的奇异预ilting 猜想。我们得到了关于微分级联利维特代数的同调的 Hom-finiteness 的三分法。
{"title":"A non-vanishing result on the singularity category","authors":"Xiao-Wu Chen, Zhi-Wei Li, Xiaojin Zhang, Zhibing Zhao","doi":"10.1090/proc/16898","DOIUrl":"https://doi.org/10.1090/proc/16898","url":null,"abstract":"<p>We prove that a virtually periodic object in an abelian category gives rise to a non-vanishing result on certain Hom groups in the singularity category. Consequently, for any artin algebra with infinite global dimension, its singularity category has no silting subcategory, and the associated differential graded Leavitt algebra has a non-vanishing cohomology in each degree. We verify the Singular Presilting Conjecture for singularly-minimal algebras and ultimately-closed algebras. We obtain a trichotomy on the Hom-finiteness of the cohomologies of differential graded Leavitt algebras.</p>","PeriodicalId":20696,"journal":{"name":"Proceedings of the American Mathematical Society","volume":"36 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141872378","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
<p>Let <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="p greater-than-or-equal-to 7"> <mml:semantics> <mml:mrow> <mml:mi>p</mml:mi> <mml:mo>≥</mml:mo> <mml:mn>7</mml:mn> </mml:mrow> <mml:annotation encoding="application/x-tex">p geq 7</mml:annotation> </mml:semantics> </mml:math> </inline-formula> be a prime number. Let <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper S left-parenthesis 3 right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mi>S</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mn>3</mml:mn> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">S(3)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> denote the third Morava stabilizer algebra. In recent years, Kato-Shimomura and Gu-Wang-Wu found several families of nontrivial products in the stable homotopy ring of spheres <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="pi Subscript asterisk Baseline left-parenthesis upper S right-parenthesis"> <mml:semantics> <mml:mrow> <mml:msub> <mml:mi>π</mml:mi> <mml:mo>∗</mml:mo> </mml:msub> <mml:mo stretchy="false">(</mml:mo> <mml:mi>S</mml:mi> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">pi _* (S)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> using <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper H Superscript asterisk comma asterisk Baseline left-parenthesis upper S left-parenthesis 3 right-parenthesis right-parenthesis"> <mml:semantics> <mml:mrow> <mml:msup> <mml:mi>H</mml:mi> <mml:mrow> <mml:mo>∗</mml:mo> <mml:mo>,</mml:mo> <mml:mo>∗</mml:mo> </mml:mrow> </mml:msup> <mml:mo stretchy="false">(</mml:mo> <mml:mi>S</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mn>3</mml:mn> <mml:mo stretchy="false">)</mml:mo> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">H^{*,*} (S(3))</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. In this paper, we determine all nontrivial products in <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="pi Subscript asterisk Baseline left-parenthesis upper S right-parenthesis"> <mml:semantics> <mml:mrow> <mml:msub> <mml:mi>π</mml:mi> <mml:mo>∗</mml:mo> </mml:msub> <mml:mo stretchy="false">(</mml:mo> <mml:mi>S</mml:mi> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">pi _* (S)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> of the Greek letter family elements <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="alpha Subscript s Baseline comma beta Subscript s Baseline comma gamma Subscript s Baseline"> <mml:semantics
设 p ≥ 7 p geq 7 是一个素数。让 S ( 3 ) S(3) 表示第三个莫拉瓦稳定器代数。近年来,Kato-Shimomura 和 Gu-Wang-Wu 利用 H ∗ , ∗ ( S ( 3 ) 发现了球体稳定同调环 π ∗ ( S ) pi _* (S) 中的几个非小乘积族。) H^{*,*} (S(3)) 。在本文中,我们确定了希腊字母族元素 α s , β s , γ s alpha _s, beta _s, gamma _s和科恩元素 ζ n zeta _n 在 π ∗ ( S ) pi _* (S) 中的所有非小乘积,这些乘积都可以用 H ∗ , ∗ ( S ( 3 ) ) 检测到。 H^{*,*} (S(3)) 。特别是,我们证明 β 1 γ s ζ n ≠ 0 ∈ π∗ ( S ) beta _1 gamma _s zeta _n neq 0 in pi _*(S),如果 n ≡ 2 n equiv 2 mod 3, s ≢ 0 , ± 1 s not equiv 0, pm 1 mod p p 。
{"title":"Detecting nontrivial products in the stable homotopy ring of spheres via the third Morava stabilizer algebra","authors":"Xiangjun Wang, Jianqiu Wu, Yu Zhang, Linan Zhong","doi":"10.1090/proc/16891","DOIUrl":"https://doi.org/10.1090/proc/16891","url":null,"abstract":"<p>Let <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p greater-than-or-equal-to 7\"> <mml:semantics> <mml:mrow> <mml:mi>p</mml:mi> <mml:mo>≥</mml:mo> <mml:mn>7</mml:mn> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">p geq 7</mml:annotation> </mml:semantics> </mml:math> </inline-formula> be a prime number. Let <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper S left-parenthesis 3 right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:mi>S</mml:mi> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mn>3</mml:mn> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">S(3)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> denote the third Morava stabilizer algebra. In recent years, Kato-Shimomura and Gu-Wang-Wu found several families of nontrivial products in the stable homotopy ring of spheres <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"pi Subscript asterisk Baseline left-parenthesis upper S right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:msub> <mml:mi>π</mml:mi> <mml:mo>∗</mml:mo> </mml:msub> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>S</mml:mi> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">pi _* (S)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> using <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper H Superscript asterisk comma asterisk Baseline left-parenthesis upper S left-parenthesis 3 right-parenthesis right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:msup> <mml:mi>H</mml:mi> <mml:mrow> <mml:mo>∗</mml:mo> <mml:mo>,</mml:mo> <mml:mo>∗</mml:mo> </mml:mrow> </mml:msup> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>S</mml:mi> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mn>3</mml:mn> <mml:mo stretchy=\"false\">)</mml:mo> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">H^{*,*} (S(3))</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. In this paper, we determine all nontrivial products in <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"pi Subscript asterisk Baseline left-parenthesis upper S right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:msub> <mml:mi>π</mml:mi> <mml:mo>∗</mml:mo> </mml:msub> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>S</mml:mi> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">pi _* (S)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> of the Greek letter family elements <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"alpha Subscript s Baseline comma beta Subscript s Baseline comma gamma Subscript s Baseline\"> <mml:semantics","PeriodicalId":20696,"journal":{"name":"Proceedings of the American Mathematical Society","volume":"27 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142197100","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We describe an explicit formula of the canonical pairing on the twisted de Rham cohomology associated with the category of local matrix factorizations and by characterizing its relation to Saito’s higher residue pairings we reprove the conjecture of Shklyarov [Adv. Math. 292 (2016), pp. 181–209].
{"title":"Higher residues and canonical pairing on the twisted de Rham cohomology","authors":"Hoil Kim, Taejung Kim","doi":"10.1090/proc/16883","DOIUrl":"https://doi.org/10.1090/proc/16883","url":null,"abstract":"<p>We describe an explicit formula of the canonical pairing on the twisted de Rham cohomology associated with the category of local matrix factorizations and by characterizing its relation to Saito’s higher residue pairings we reprove the conjecture of Shklyarov [Adv. Math. 292 (2016), pp. 181–209].</p>","PeriodicalId":20696,"journal":{"name":"Proceedings of the American Mathematical Society","volume":"10 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142197120","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The goal of this paper is to establish new Maximum Principles for parabolic equations in the framework of mixed local/nonlocal operators.
In particular, these results apply to the case of mixed local/nonlocal Neumann boundary conditions, as introduced by Dipierro, Proietti Lippi, and Valdinoci [Ann. Inst. H. Poincaré C Anal. Non Linéaire 40 (2023), pp. 1093–1166].
Moreover, they play an important role in the analysis of population dynamics involving the so-called Allee effect, which is performed by Dipierro, Proietti Lippi, and Valdinoci [J. Math. Biol. 89 (2024), Paper No. 19]. This is particularly relevant when studying biological populations, since the Allee effect detects a critical density below which the population is severely endangered and at risk of extinction.
本文的目的是在混合局部/非局部算子的框架内建立抛物方程的新最大原则。特别是,这些结果适用于混合局部/非局部诺伊曼边界条件的情况,正如迪皮埃罗、普罗埃蒂-利皮和瓦尔迪诺奇所介绍的那样[Ann. Inst. H. Poincaré C Anal. Non Linéaire 40 (2023), pp.]此外,它们在涉及所谓阿利效应的种群动态分析中也发挥着重要作用,迪皮埃罗、普罗埃蒂-利皮和瓦尔迪诺奇[J. Math. Biol. 89 (2024),论文编号 19]对此进行了研究。在研究生物种群时,这一点尤为重要,因为阿利效应可以检测到一个临界密度,低于这个密度,种群就会严重濒危,面临灭绝的危险。
{"title":"Some maximum principles for parabolic mixed local/nonlocal operators","authors":"Serena Dipierro, Edoardo Proietti Lippi, Enrico Valdinoci","doi":"10.1090/proc/16899","DOIUrl":"https://doi.org/10.1090/proc/16899","url":null,"abstract":"<p>The goal of this paper is to establish new Maximum Principles for parabolic equations in the framework of mixed local/nonlocal operators.</p> <p>In particular, these results apply to the case of mixed local/nonlocal Neumann boundary conditions, as introduced by Dipierro, Proietti Lippi, and Valdinoci [Ann. Inst. H. Poincaré C Anal. Non Linéaire 40 (2023), pp. 1093–1166].</p> <p>Moreover, they play an important role in the analysis of population dynamics involving the so-called Allee effect, which is performed by Dipierro, Proietti Lippi, and Valdinoci [J. Math. Biol. 89 (2024), Paper No. 19]. This is particularly relevant when studying biological populations, since the Allee effect detects a critical density below which the population is severely endangered and at risk of extinction.</p>","PeriodicalId":20696,"journal":{"name":"Proceedings of the American Mathematical Society","volume":"74 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141872174","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}