首页 > 最新文献

Forum Mathematicum最新文献

英文 中文
Discrete Ω-results for the Riemann zeta function 黎曼zeta函数的离散Ω结果
IF 0.8 3区 数学 Q1 MATHEMATICS Pub Date : 2024-09-02 DOI: 10.1515/forum-2023-0324
Paolo Minelli, Athanasios Sourmelidis
We study lower bounds for the Riemann zeta function ζ ( s ) {zeta(s)} along vertical arithmetic progressions in the right-half of the critical strip. We show that the lower bounds obtained in the discrete case coincide, up to the constants in the exponential, with the ones known for the continuous case, that is when the imaginary part of s ranges on a given interval. Our methods are based on a discretization of the resonance method for estimating extremal values of ζ ( s ) {zeta(s)} .
我们研究了黎曼zeta函数ζ ( s ) {zeta(s)} 沿临界带右半部垂直算术级数的下界。我们证明,当 s 的虚部在给定区间内时,离散情况下获得的下界与连续情况下已知的下界重合,直至指数中的常数。我们的方法基于共振法的离散化,用于估计 ζ ( s ) {zeta(s)} 的极值。
{"title":"Discrete Ω-results for the Riemann zeta function","authors":"Paolo Minelli, Athanasios Sourmelidis","doi":"10.1515/forum-2023-0324","DOIUrl":"https://doi.org/10.1515/forum-2023-0324","url":null,"abstract":"We study lower bounds for the Riemann zeta function <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>ζ</m:mi> <m:mo>⁢</m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>s</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0324_eq_0200.png\"/> <jats:tex-math>{zeta(s)}</jats:tex-math> </jats:alternatives> </jats:inline-formula> along vertical arithmetic progressions in the right-half of the critical strip. We show that the lower bounds obtained in the discrete case coincide, up to the constants in the exponential, with the ones known for the continuous case, that is when the imaginary part of <jats:italic>s</jats:italic> ranges on a given interval. Our methods are based on a discretization of the resonance method for estimating extremal values of <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>ζ</m:mi> <m:mo>⁢</m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>s</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0324_eq_0200.png\"/> <jats:tex-math>{zeta(s)}</jats:tex-math> </jats:alternatives> </jats:inline-formula>.","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":"24 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142202185","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}
引用次数: 0
The stable category of monomorphisms between (Gorenstein) projective modules with applications (戈伦斯坦)射影模块间单态的稳定范畴及其应用
IF 0.8 3区 数学 Q1 MATHEMATICS Pub Date : 2024-09-02 DOI: 10.1515/forum-2023-0317
Abdolnaser Bahlekeh, Fahimeh Sadat Fotouhi, Mohammad Amin Hamlehdari, Shokrollah Salarian
Let <jats:inline-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mi>S</m:mi> <m:mo>,</m:mo> <m:mi>𝔫</m:mi> <m:mo stretchy="false">)</m:mo> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_forum-2023-0317_eq_0072.png"/> <jats:tex-math>{(S,{mathfrak{n}})}</jats:tex-math> </jats:alternatives> </jats:inline-formula> be a commutative noetherian local ring and let <jats:inline-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mi>ω</m:mi> <m:mo>∈</m:mo> <m:mi>𝔫</m:mi> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_forum-2023-0317_eq_0207.png"/> <jats:tex-math>{omegain{mathfrak{n}}}</jats:tex-math> </jats:alternatives> </jats:inline-formula> be non-zerodivisor. This paper is concerned with the two categories of monomorphisms between finitely generated (Gorenstein) projective <jats:italic>S</jats:italic>-modules, such that their cokernels are annihilated by ω. It is shown that these categories, which will be denoted by <jats:inline-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mi>𝖬𝗈𝗇</m:mi> <m:mo>⁢</m:mo> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mi>ω</m:mi> <m:mo>,</m:mo> <m:mi mathvariant="script">𝒫</m:mi> <m:mo stretchy="false">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_forum-2023-0317_eq_0342.png"/> <jats:tex-math>{{mathsf{Mon}}(omega,mathcal{P})}</jats:tex-math> </jats:alternatives> </jats:inline-formula> and <jats:inline-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mi>𝖬𝗈𝗇</m:mi> <m:mo>⁢</m:mo> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mi>ω</m:mi> <m:mo>,</m:mo> <m:mi mathvariant="script">𝒢</m:mi> <m:mo stretchy="false">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_forum-2023-0317_eq_0341.png"/> <jats:tex-math>{{mathsf{Mon}}(omega,mathcal{G})}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, are both Frobenius categories with the same projective objects. It is also proved that the stable category <jats:inline-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:munder accentunder="true"> <m:mi>𝖬𝗈𝗇</m:mi> <m:mo>¯</m:mo> </m:munder> <m:mo>⁢</m:mo> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mi>ω</m:mi> <m:mo>,</m:mo> <m:mi mathvariant="script">𝒫</m:mi> <m:mo stretchy="false">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_forum-2023-0317_eq_0277.png"/> <jats:tex-math>{underline{mathsf{Mon}}(omega,mathcal{P})}</jats:tex-math> </jats:alternatives> </jats:inline-formula> is triangle equivalent to the category of D-bran
让 ( S , 𝔫 ) {(S,{mathfrak{n}})} 是交换的诺特局部环,让 ω∈ 𝔫 {omegainmathfrak{n}} 是非zerodivisor。本文关注的是有限生成的(戈伦斯坦)射影 S 模块之间的两个单态类别,它们的角核都被ω湮没。研究表明,这些范畴,即 𝖬𝗈𝗇 ( ω , 𝒫 ) {{mathsf{Mon}}(omega,mathcal{P})} 和 𝖬𝗈𝗇 ( ω , 𝒢 ) {{mathsf{Mon}}(omega,mathcal{G})} ,都是弗罗贝尼斯范畴。 都是具有相同投影对象的弗罗贝尼斯范畴。还证明了稳定范畴𝖬𝗈𝗇 ¯ ( ω , 𝒫 ) {underlinemathsf{Mon}}(omega、(ω){下划线{mathsf{Mon}}}(omega, mathcal{P})}是等价于 B 型 D-rane 范畴的三角形,𝖣𝖡 ( ω ) {下划线{mathsf{DB}}(omega)},它是由康采维奇引入并由奥洛夫研究的。此外,我们还会发现,稳定范畴 𝖬𝗈𝗇 ¯ ( ω , 𝒫 ) {underlinemathsf{Mon}}(omega,mathcal{P})} 和 𝖬𝗈𝗇 ¯ ( ω 、𝒢 ) {underline{mathsf{Mon}}(omega,mathcal{G})} 与因子环 R = S / ( ω ) {R=S/({omega)}} 的奇点范畴密切相关。确切地说,存在一个来自稳定范畴 𝖬𝗈𝗇 ¯ ( ω , 𝒢 ) {underlinemathsf{Mon}}(omega、𝖣 𝗌𝗀 ( R ) {operatorname{mathsf{D_{sg}}}(R)}, 当且仅当 R(以及 S)是戈伦斯坦环时,它才是稠密的。特别是,我们证明了这个函子对𝖬𝗈𝗇 ¯ ( ω , 𝒫 ) {underline{mathsf{Mon}}(omega,mathcal{P})} 的限制的密度,保证了环的正则性。 保证了环 S 的正则性。
{"title":"The stable category of monomorphisms between (Gorenstein) projective modules with applications","authors":"Abdolnaser Bahlekeh, Fahimeh Sadat Fotouhi, Mohammad Amin Hamlehdari, Shokrollah Salarian","doi":"10.1515/forum-2023-0317","DOIUrl":"https://doi.org/10.1515/forum-2023-0317","url":null,"abstract":"Let &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;(&lt;/m:mo&gt; &lt;m:mi&gt;S&lt;/m:mi&gt; &lt;m:mo&gt;,&lt;/m:mo&gt; &lt;m:mi&gt;𝔫&lt;/m:mi&gt; &lt;m:mo stretchy=\"false\"&gt;)&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0317_eq_0072.png\"/&gt; &lt;jats:tex-math&gt;{(S,{mathfrak{n}})}&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; be a commutative noetherian local ring and let &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:mi&gt;ω&lt;/m:mi&gt; &lt;m:mo&gt;∈&lt;/m:mo&gt; &lt;m:mi&gt;𝔫&lt;/m:mi&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0317_eq_0207.png\"/&gt; &lt;jats:tex-math&gt;{omegain{mathfrak{n}}}&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; be non-zerodivisor. This paper is concerned with the two categories of monomorphisms between finitely generated (Gorenstein) projective &lt;jats:italic&gt;S&lt;/jats:italic&gt;-modules, such that their cokernels are annihilated by ω. It is shown that these categories, which will be denoted by &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:mi&gt;𝖬𝗈𝗇&lt;/m:mi&gt; &lt;m:mo&gt;⁢&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;(&lt;/m:mo&gt; &lt;m:mi&gt;ω&lt;/m:mi&gt; &lt;m:mo&gt;,&lt;/m:mo&gt; &lt;m:mi mathvariant=\"script\"&gt;𝒫&lt;/m:mi&gt; &lt;m:mo stretchy=\"false\"&gt;)&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0317_eq_0342.png\"/&gt; &lt;jats:tex-math&gt;{{mathsf{Mon}}(omega,mathcal{P})}&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; and &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:mi&gt;𝖬𝗈𝗇&lt;/m:mi&gt; &lt;m:mo&gt;⁢&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;(&lt;/m:mo&gt; &lt;m:mi&gt;ω&lt;/m:mi&gt; &lt;m:mo&gt;,&lt;/m:mo&gt; &lt;m:mi mathvariant=\"script\"&gt;𝒢&lt;/m:mi&gt; &lt;m:mo stretchy=\"false\"&gt;)&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0317_eq_0341.png\"/&gt; &lt;jats:tex-math&gt;{{mathsf{Mon}}(omega,mathcal{G})}&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt;, are both Frobenius categories with the same projective objects. It is also proved that the stable category &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:munder accentunder=\"true\"&gt; &lt;m:mi&gt;𝖬𝗈𝗇&lt;/m:mi&gt; &lt;m:mo&gt;¯&lt;/m:mo&gt; &lt;/m:munder&gt; &lt;m:mo&gt;⁢&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;(&lt;/m:mo&gt; &lt;m:mi&gt;ω&lt;/m:mi&gt; &lt;m:mo&gt;,&lt;/m:mo&gt; &lt;m:mi mathvariant=\"script\"&gt;𝒫&lt;/m:mi&gt; &lt;m:mo stretchy=\"false\"&gt;)&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0317_eq_0277.png\"/&gt; &lt;jats:tex-math&gt;{underline{mathsf{Mon}}(omega,mathcal{P})}&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; is triangle equivalent to the category of D-bran","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":"60 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142202180","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}
引用次数: 0
Is addition definable from multiplication and successor? 乘法和后继加法可以定义吗?
IF 0.8 3区 数学 Q1 MATHEMATICS Pub Date : 2024-09-02 DOI: 10.1515/forum-2024-0245
Friedrich Wehrung
A map <jats:inline-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mi>f</m:mi> <m:mo>:</m:mo> <m:mrow> <m:mi>R</m:mi> <m:mo>→</m:mo> <m:mi>S</m:mi> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_forum-2024-0245_eq_0433.png"/> <jats:tex-math>{fcolon Rto S}</jats:tex-math> </jats:alternatives> </jats:inline-formula> between (associative, unital, but not necessarily commutative) rings is a <jats:italic>brachymorphism</jats:italic> if <jats:inline-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mrow> <m:mi>f</m:mi> <m:mo>⁢</m:mo> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mrow> <m:mn>1</m:mn> <m:mo>+</m:mo> <m:mi>x</m:mi> </m:mrow> <m:mo stretchy="false">)</m:mo> </m:mrow> </m:mrow> <m:mo>=</m:mo> <m:mrow> <m:mn>1</m:mn> <m:mo>+</m:mo> <m:mrow> <m:mi>f</m:mi> <m:mo>⁢</m:mo> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mi>x</m:mi> <m:mo stretchy="false">)</m:mo> </m:mrow> </m:mrow> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_forum-2024-0245_eq_0398.png"/> <jats:tex-math>{f(1+x)=1+f(x)}</jats:tex-math> </jats:alternatives> </jats:inline-formula> and <jats:inline-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mrow> <m:mi>f</m:mi> <m:mo>⁢</m:mo> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mrow> <m:mi>x</m:mi> <m:mo>⁢</m:mo> <m:mi>y</m:mi> </m:mrow> <m:mo stretchy="false">)</m:mo> </m:mrow> </m:mrow> <m:mo>=</m:mo> <m:mrow> <m:mi>f</m:mi> <m:mo>⁢</m:mo> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mi>x</m:mi> <m:mo stretchy="false">)</m:mo> </m:mrow> <m:mo>⁢</m:mo> <m:mi>f</m:mi> <m:mo>⁢</m:mo> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mi>y</m:mi> <m:mo stretchy="false">)</m:mo> </m:mrow> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_forum-2024-0245_eq_0422.png"/> <jats:tex-math>{f(xy)=f(x)f(y)}</jats:tex-math> </jats:alternatives> </jats:inline-formula> whenever <jats:inline-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mrow> <m:mi>x</m:mi> <m:mo>,</m:mo> <m:mi>y</m:mi> </m:mrow> <m:mo>∈</m:mo> <m:mi>R</m:mi> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_forum-2024-0245_eq_0522.png"/> <jats:tex-math>{x,yin R}</jats:tex-math> </jats:alternatives> </jats:inline-formula>. We tackle the problem whether every brachymorphism is additive (i.e., <jats:inline-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mrow> <m:mi>f</m:mi> <m:mo>⁢</m:mo> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mrow> <m:mi>x</m:mi> <m:mo>+</m:mo> <m:mi>y</m:mi> </m:mrow> <m:mo stretchy="false">)</m:mo> </m:mrow> </m:mrow> <m:mo>=</m:mo> <m:mrow> <m:mrow> <m:mi>f</m:mi> <m:mo>⁢</m:mo> <m:mr
映射 f : 如果 f ( 1 + x ) = 1 + f ( x ) {f(1+x)=1+f(x)} 和 f ( x y ) = f ( x ) f ( y ) {f(xy)=f(x)f(y)} 当 x , y∈ R {x,yin R} 时,则 f 是一个括号变形。 .我们要解决的问题是,是否每个 brachymorphism 都是可加的(即 f ( x + y ) = f ( x ) + f ( y ) {f(x+y)=f(x)+f(y)} ),结果表明,在许多情况下,包括下面的情况,答案都是肯定的: - R 是有限的(或者,更一般地说,R 是左或右阿蒂尼环);- R 是交换环上任何 2 × 2 {2times 2} 矩阵环;- R 是恩格尔环;- R 的每个元素都是π-正则元素与中心元素之和(这适用于π-正则环、巴纳赫代数和幂级数环); - R 是任意环上阶数大于 1 的全矩阵环; - R 是交换环 K 和 π-regular 单元 M 的单元环 K [ M ] {K[M]}; - R 是具有正特征的交换环 K 上的韦尔代数 𝖠 1 ( K ) {mathsf{A}_{1}(K)}; - f 是任意环上的幂函数 x ↦ x n {xmapsto x^{n}} ; - f 是任意环 R 上 n×n {ntimes n} 矩阵的行列式函数,n ≥ 3 {ngeq 3} ,在交换环上,如果 n > 3 {n>3} ,则 R 包含 n 个标量矩阵。 则 R 包含 n 个除数差不为零的标量矩阵。
{"title":"Is addition definable from multiplication and successor?","authors":"Friedrich Wehrung","doi":"10.1515/forum-2024-0245","DOIUrl":"https://doi.org/10.1515/forum-2024-0245","url":null,"abstract":"A map &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:mi&gt;f&lt;/m:mi&gt; &lt;m:mo&gt;:&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mi&gt;R&lt;/m:mi&gt; &lt;m:mo&gt;→&lt;/m:mo&gt; &lt;m:mi&gt;S&lt;/m:mi&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2024-0245_eq_0433.png\"/&gt; &lt;jats:tex-math&gt;{fcolon Rto S}&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; between (associative, unital, but not necessarily commutative) rings is a &lt;jats:italic&gt;brachymorphism&lt;/jats:italic&gt; if &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:mrow&gt; &lt;m:mi&gt;f&lt;/m:mi&gt; &lt;m:mo&gt;⁢&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;(&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mn&gt;1&lt;/m:mn&gt; &lt;m:mo&gt;+&lt;/m:mo&gt; &lt;m:mi&gt;x&lt;/m:mi&gt; &lt;/m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;)&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;m:mo&gt;=&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mn&gt;1&lt;/m:mn&gt; &lt;m:mo&gt;+&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mi&gt;f&lt;/m:mi&gt; &lt;m:mo&gt;⁢&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;(&lt;/m:mo&gt; &lt;m:mi&gt;x&lt;/m:mi&gt; &lt;m:mo stretchy=\"false\"&gt;)&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2024-0245_eq_0398.png\"/&gt; &lt;jats:tex-math&gt;{f(1+x)=1+f(x)}&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; and &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:mrow&gt; &lt;m:mi&gt;f&lt;/m:mi&gt; &lt;m:mo&gt;⁢&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;(&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mi&gt;x&lt;/m:mi&gt; &lt;m:mo&gt;⁢&lt;/m:mo&gt; &lt;m:mi&gt;y&lt;/m:mi&gt; &lt;/m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;)&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;m:mo&gt;=&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mi&gt;f&lt;/m:mi&gt; &lt;m:mo&gt;⁢&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;(&lt;/m:mo&gt; &lt;m:mi&gt;x&lt;/m:mi&gt; &lt;m:mo stretchy=\"false\"&gt;)&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;m:mo&gt;⁢&lt;/m:mo&gt; &lt;m:mi&gt;f&lt;/m:mi&gt; &lt;m:mo&gt;⁢&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;(&lt;/m:mo&gt; &lt;m:mi&gt;y&lt;/m:mi&gt; &lt;m:mo stretchy=\"false\"&gt;)&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2024-0245_eq_0422.png\"/&gt; &lt;jats:tex-math&gt;{f(xy)=f(x)f(y)}&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; whenever &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:mrow&gt; &lt;m:mi&gt;x&lt;/m:mi&gt; &lt;m:mo&gt;,&lt;/m:mo&gt; &lt;m:mi&gt;y&lt;/m:mi&gt; &lt;/m:mrow&gt; &lt;m:mo&gt;∈&lt;/m:mo&gt; &lt;m:mi&gt;R&lt;/m:mi&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2024-0245_eq_0522.png\"/&gt; &lt;jats:tex-math&gt;{x,yin R}&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt;. We tackle the problem whether every brachymorphism is additive (i.e., &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:mrow&gt; &lt;m:mi&gt;f&lt;/m:mi&gt; &lt;m:mo&gt;⁢&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;(&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mi&gt;x&lt;/m:mi&gt; &lt;m:mo&gt;+&lt;/m:mo&gt; &lt;m:mi&gt;y&lt;/m:mi&gt; &lt;/m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;)&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;m:mo&gt;=&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mrow&gt; &lt;m:mi&gt;f&lt;/m:mi&gt; &lt;m:mo&gt;⁢&lt;/m:mo&gt; &lt;m:mr","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":"13 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142202179","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}
引用次数: 0
Big pure projective modules over commutative noetherian rings: Comparison with the completion 交换诺特环上的大纯投影模块:与完形比较
IF 0.8 3区 数学 Q1 MATHEMATICS Pub Date : 2024-09-02 DOI: 10.1515/forum-2024-0031
Dolors Herbera, Pavel Příhoda, Roger Wiegand
A module over a ring <jats:italic>R</jats:italic> is <jats:italic>pure projective</jats:italic> provided it is isomorphic to a direct summand of a direct sum of finitely presented modules. We develop tools for the classification of pure projective modules over commutative noetherian rings. In particular, for a fixed finitely presented module <jats:italic>M</jats:italic>, we consider <jats:inline-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mi>Add</m:mi> <m:mo>⁡</m:mo> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mi>M</m:mi> <m:mo stretchy="false">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_forum-2024-0031_eq_1297.png"/> <jats:tex-math>{operatorname{Add}(M)}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, which consists of direct summands of direct sums of copies of <jats:italic>M</jats:italic>. We are primarily interested in the case where <jats:italic>R</jats:italic> is a one-dimensional, local domain, and in torsion-free (or Cohen–Macaulay) modules. We show that, even in this case, <jats:inline-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mi>Add</m:mi> <m:mo>⁡</m:mo> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mi>M</m:mi> <m:mo stretchy="false">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_forum-2024-0031_eq_1297.png"/> <jats:tex-math>{operatorname{Add}(M)}</jats:tex-math> </jats:alternatives> </jats:inline-formula> can have an abundance of modules that are not direct sums of finitely generated ones. Our work is based on the fact that such infinitely generated direct summands are all determined by finitely generated data. Namely, idempotent/trace ideals of the endomorphism ring of <jats:italic>M</jats:italic> and finitely generated projective modules modulo such idempotent ideals. This allows us to extend the classical theory developed to study the behaviour of direct sum decomposition of finitely generated modules comparing with their completion to the infinitely generated case. We study the structure of the monoid <jats:inline-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:msup> <m:mi>V</m:mi> <m:mo>*</m:mo> </m:msup> <m:mo>⁢</m:mo> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mi>M</m:mi> <m:mo stretchy="false">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_forum-2024-0031_eq_0807.png"/> <jats:tex-math>{V^{*}(M)}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, of isomorphism classes of countably generated modules in <jats:inline-formula> <jats:alternatives> <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mi>Add</m:mi> <m:mo>⁡</m:mo> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mi>M</m:mi> <m:mo stretchy="false">)</m:mo> </m
环 R 上的模块是纯投影模块,前提是它与有限呈现模块的直接和的直接和同构。我们开发了对交换诺特环上的纯投影模块进行分类的工具。特别是,对于一个固定的有限呈现模块 M,我们考虑 Add ( M ) {operatorname{Add}(M)} ,它由 M 的副本的直接和的直接和组成。我们主要关注 R 是一维局部域的情况,以及无扭(或 Cohen-Macaulay)模块。我们证明,即使在这种情况下,Add ( M ) {operatorname{Add}(M)} 也可以有大量模块不是有限生成模块的直和。我们的工作基于这样一个事实:这种无限生成的直接和都是由有限生成的数据决定的。也就是说,M 的内态环的幂幂/迹理想和有限生成的投影模块模都是由这些幂幂理想决定的。这样,我们就可以将研究有限生成模块的直接和分解与其完备性比较的经典理论扩展到无限生成的情况。我们研究了单元 V * ( M ) {V^{*}(M)} 的结构,即 Add ( M ) {operatorname{Add}(M)} 中由直接相加诱导的可数生成模块的同构类。我们证明了 V * ( M ) {V^{*}(M)} 是 V * ( M ⊗ R R ^ ) {V^{*}(Motimes_{R}widehat{R})} 的子单体,这让我们可以进行计算。 这样,我们就可以利用实例进行计算,并证明一些实现结果。
{"title":"Big pure projective modules over commutative noetherian rings: Comparison with the completion","authors":"Dolors Herbera, Pavel Příhoda, Roger Wiegand","doi":"10.1515/forum-2024-0031","DOIUrl":"https://doi.org/10.1515/forum-2024-0031","url":null,"abstract":"A module over a ring &lt;jats:italic&gt;R&lt;/jats:italic&gt; is &lt;jats:italic&gt;pure projective&lt;/jats:italic&gt; provided it is isomorphic to a direct summand of a direct sum of finitely presented modules. We develop tools for the classification of pure projective modules over commutative noetherian rings. In particular, for a fixed finitely presented module &lt;jats:italic&gt;M&lt;/jats:italic&gt;, we consider &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:mi&gt;Add&lt;/m:mi&gt; &lt;m:mo&gt;⁡&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;(&lt;/m:mo&gt; &lt;m:mi&gt;M&lt;/m:mi&gt; &lt;m:mo stretchy=\"false\"&gt;)&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2024-0031_eq_1297.png\"/&gt; &lt;jats:tex-math&gt;{operatorname{Add}(M)}&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt;, which consists of direct summands of direct sums of copies of &lt;jats:italic&gt;M&lt;/jats:italic&gt;. We are primarily interested in the case where &lt;jats:italic&gt;R&lt;/jats:italic&gt; is a one-dimensional, local domain, and in torsion-free (or Cohen–Macaulay) modules. We show that, even in this case, &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:mi&gt;Add&lt;/m:mi&gt; &lt;m:mo&gt;⁡&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;(&lt;/m:mo&gt; &lt;m:mi&gt;M&lt;/m:mi&gt; &lt;m:mo stretchy=\"false\"&gt;)&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2024-0031_eq_1297.png\"/&gt; &lt;jats:tex-math&gt;{operatorname{Add}(M)}&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; can have an abundance of modules that are not direct sums of finitely generated ones. Our work is based on the fact that such infinitely generated direct summands are all determined by finitely generated data. Namely, idempotent/trace ideals of the endomorphism ring of &lt;jats:italic&gt;M&lt;/jats:italic&gt; and finitely generated projective modules modulo such idempotent ideals. This allows us to extend the classical theory developed to study the behaviour of direct sum decomposition of finitely generated modules comparing with their completion to the infinitely generated case. We study the structure of the monoid &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:msup&gt; &lt;m:mi&gt;V&lt;/m:mi&gt; &lt;m:mo&gt;*&lt;/m:mo&gt; &lt;/m:msup&gt; &lt;m:mo&gt;⁢&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;(&lt;/m:mo&gt; &lt;m:mi&gt;M&lt;/m:mi&gt; &lt;m:mo stretchy=\"false\"&gt;)&lt;/m:mo&gt; &lt;/m:mrow&gt; &lt;/m:mrow&gt; &lt;/m:math&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2024-0031_eq_0807.png\"/&gt; &lt;jats:tex-math&gt;{V^{*}(M)}&lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt;, of isomorphism classes of countably generated modules in &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"&gt; &lt;m:mrow&gt; &lt;m:mi&gt;Add&lt;/m:mi&gt; &lt;m:mo&gt;⁡&lt;/m:mo&gt; &lt;m:mrow&gt; &lt;m:mo stretchy=\"false\"&gt;(&lt;/m:mo&gt; &lt;m:mi&gt;M&lt;/m:mi&gt; &lt;m:mo stretchy=\"false\"&gt;)&lt;/m:mo&gt; &lt;/m","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":"6 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142202181","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}
引用次数: 0
Any Sasakian structure is approximated by embeddings into spheres 任何萨萨基结构都可以通过嵌入球面来近似
IF 0.8 3区 数学 Q1 MATHEMATICS Pub Date : 2024-08-07 DOI: 10.1515/forum-2023-0364
Andrea Loi, Giovanni Placini
We show that, for any given q 0 {qgeq 0} , any Sasakian structure on a closed manifold M is approximated in the C q {C^{{q}}} -norm by structures induced by CR embeddings into weighted Sasakian spheres. In order to obtain this result, we also strengthen the approximation of an orbifold Kähler form by projectively induced ones given in [J. Ross and R. Thomas, Weighted projective embeddings, stability of orbifolds, and constant scalar curvature Kähler metrics, J. Differential Geom. 88 2011, 1, 109–159] in the C 0 {C^{0}} -norm to a C q {C^{{q}}} -approximation.
我们证明,对于任何给定的 q ≥ 0 {qgeq 0},闭流形 M 上的任何萨萨基结构在 C q {C^{{q}} 中都是近似的。} -的结构近似。为了得到这个结果,我们还加强了 [J. Ross and R. Thomas, Weighted Sasakian spheres] 中给出的用投影诱导的球面凯勒形式对球面凯勒形式的逼近。Ross and R. Thomas, Weighted projective embeddings, stability of orbifolds, and constant scalar curvature Kähler metrics, J. Differential Geom.88 2011, 1, 109-159] 中的 C 0 {C^{0}} -norm。 -C q {C^{{q}} 的近似。} -的近似。
{"title":"Any Sasakian structure is approximated by embeddings into spheres","authors":"Andrea Loi, Giovanni Placini","doi":"10.1515/forum-2023-0364","DOIUrl":"https://doi.org/10.1515/forum-2023-0364","url":null,"abstract":"We show that, for any given <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>q</m:mi> <m:mo>≥</m:mo> <m:mn>0</m:mn> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0364_eq_0372.png\"/> <jats:tex-math>{qgeq 0}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, any Sasakian structure on a closed manifold <jats:italic>M</jats:italic> is approximated in the <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:msup> <m:mi>C</m:mi> <m:mi>q</m:mi> </m:msup> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0364_eq_0146.png\"/> <jats:tex-math>{C^{{q}}}</jats:tex-math> </jats:alternatives> </jats:inline-formula>-norm by structures induced by CR embeddings into weighted Sasakian spheres. In order to obtain this result, we also strengthen the approximation of an orbifold Kähler form by projectively induced ones given in [J. Ross and R. Thomas, Weighted projective embeddings, stability of orbifolds, and constant scalar curvature Kähler metrics, J. Differential Geom. 88 2011, 1, 109–159] in the <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:msup> <m:mi>C</m:mi> <m:mn>0</m:mn> </m:msup> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0364_eq_0138.png\"/> <jats:tex-math>{C^{0}}</jats:tex-math> </jats:alternatives> </jats:inline-formula>-norm to a <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:msup> <m:mi>C</m:mi> <m:mi>q</m:mi> </m:msup> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0364_eq_0146.png\"/> <jats:tex-math>{C^{{q}}}</jats:tex-math> </jats:alternatives> </jats:inline-formula>-approximation.","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":"161 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-08-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141934834","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}
引用次数: 0
Quasi-triangular, factorizable Leibniz bialgebras and relative Rota–Baxter operators 准三角形、可因化莱布尼兹双桥和相对罗塔-巴克斯特算子
IF 0.8 3区 数学 Q1 MATHEMATICS Pub Date : 2024-08-05 DOI: 10.1515/forum-2023-0268
Chengming Bai, Guilai Liu, Yunhe Sheng, Rong Tang
We introduce the notion of quasi-triangular Leibniz bialgebras, which can be constructed from solutions of the classical Leibniz Yang–Baxter equation (CLYBE) whose skew-symmetric parts are invariant. In addition to triangular Leibniz bialgebras, quasi-triangular Leibniz bialgebras contain factorizable Leibniz bialgebras as another subclass, which lead to a factorization of the underlying Leibniz algebras. Relative Rota–Baxter operators with weights on Leibniz algebras are used to characterize solutions of the CLYBE whose skew-symmetric parts are invariant. On skew-symmetric quadratic Leibniz algebras, such operators correspond to Rota–Baxter type operators. Consequently, we introduce the notion of skew-symmetric quadratic Rota–Baxter Leibniz algebras, such that they give rise to triangular Leibniz bialgebras in the case of weight 0, while they are in one-to-one correspondence with factorizable Leibniz bialgebras in the case of nonzero weights.
我们引入了准三角形莱布尼兹双桥的概念,它可以从经典莱布尼兹杨-巴克斯特方程(CLYBE)的解中构造出来,其偏斜对称部分是不变的。除了三角形莱布尼兹双桥之外,准三角形莱布尼兹双桥还包含另一个子类--可因子化莱布尼兹双桥,这导致了底层莱布尼兹桥的因子化。莱布尼兹二元组上带权重的相对罗塔-巴克斯特算子被用来描述其偏斜对称部分不变的 CLYBE 解。在偏斜对称二次莱布尼兹布拉上,此类算子与罗塔-巴克斯特类型算子相对应。因此,我们引入了偏斜对称二次 Rota-Baxter 莱布尼兹代数的概念,即在权重为 0 的情况下,它们产生三角形莱布尼兹双桥,而在权重不为 0 的情况下,它们与可因式分解莱布尼兹双桥一一对应。
{"title":"Quasi-triangular, factorizable Leibniz bialgebras and relative Rota–Baxter operators","authors":"Chengming Bai, Guilai Liu, Yunhe Sheng, Rong Tang","doi":"10.1515/forum-2023-0268","DOIUrl":"https://doi.org/10.1515/forum-2023-0268","url":null,"abstract":"We introduce the notion of quasi-triangular Leibniz bialgebras, which can be constructed from solutions of the classical Leibniz Yang–Baxter equation (CLYBE) whose skew-symmetric parts are invariant. In addition to triangular Leibniz bialgebras, quasi-triangular Leibniz bialgebras contain factorizable Leibniz bialgebras as another subclass, which lead to a factorization of the underlying Leibniz algebras. Relative Rota–Baxter operators with weights on Leibniz algebras are used to characterize solutions of the CLYBE whose skew-symmetric parts are invariant. On skew-symmetric quadratic Leibniz algebras, such operators correspond to Rota–Baxter type operators. Consequently, we introduce the notion of skew-symmetric quadratic Rota–Baxter Leibniz algebras, such that they give rise to triangular Leibniz bialgebras in the case of weight 0, while they are in one-to-one correspondence with factorizable Leibniz bialgebras in the case of nonzero weights.","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":"14 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141934836","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}
引用次数: 0
Quantitative weighted estimates for the multilinear pseudo-differential operators in function spaces 函数空间多线性伪微分算子的定量加权估计
IF 0.8 3区 数学 Q1 MATHEMATICS Pub Date : 2024-08-05 DOI: 10.1515/forum-2023-0454
Jiawei Tan, Qingying Xue
In this paper, the weighted estimates for multilinear pseudo-differential operators were systematically studied in rearrangement invariant Banach and quasi-Banach spaces. These spaces contain the Lebesgue space, the classical Lorentz space and Marcinkiewicz space as typical examples. More precisely, the weighted boundedness and weighted modular estimates, including the weak endpoint case, were established for multilinear pseudo-differential operators and their commutators. As applications, we show that the above results also hold for the multilinear Fourier multipliers, multilinear square functions, and a class of multilinear Calderón–Zygmund operators.
本文在重排不变的巴拿赫和准巴拿赫空间中系统地研究了多线性伪微分算子的加权估计。这些空间的典型例子包括 Lebesgue 空间、经典洛伦兹空间和 Marcinkiewicz 空间。更确切地说,我们为多线性伪微分算子及其换元建立了加权有界性和加权模态估计,包括弱端点情况。作为应用,我们证明了上述结果也适用于多线性傅里叶乘数、多线性平方函数和一类多线性卡尔德龙-齐格蒙算子。
{"title":"Quantitative weighted estimates for the multilinear pseudo-differential operators in function spaces","authors":"Jiawei Tan, Qingying Xue","doi":"10.1515/forum-2023-0454","DOIUrl":"https://doi.org/10.1515/forum-2023-0454","url":null,"abstract":"In this paper, the weighted estimates for multilinear pseudo-differential operators were systematically studied in rearrangement invariant Banach and quasi-Banach spaces. These spaces contain the Lebesgue space, the classical Lorentz space and Marcinkiewicz space as typical examples. More precisely, the weighted boundedness and weighted modular estimates, including the weak endpoint case, were established for multilinear pseudo-differential operators and their commutators. As applications, we show that the above results also hold for the multilinear Fourier multipliers, multilinear square functions, and a class of multilinear Calderón–Zygmund operators.","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":"12 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141934930","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}
引用次数: 0
A note on conjugacy of supplements in soluble periodic linear groups 关于可溶性周期线性群中的共轭补充物的说明
IF 0.8 3区 数学 Q1 MATHEMATICS Pub Date : 2024-08-04 DOI: 10.1515/forum-2024-0102
Marco Trombetti
The aim of this short note is to prove that if G is a (homomorphic images of a) soluble periodic linear group and N is a locally nilpotent normal subgroup of G such that N and G / N {G/N} have no isomorphic G-chief factors, then two supplements to N in G are conjugate provided that they have the same intersection with N. This result follows from well-known theorems in the theory of Schunck classes (see [A. Ballester-Bolinches and L. M. Ezquerro, On conjugacy of supplements of normal subgroups of finite groups, Bull. Aust. Math. Soc. 89 2014, 2, 293–299]), and it appeared as the main theorem of [C. Parker and P. Rowley, A note on conjugacy of supplements in finite soluble groups, Bull. Lond. Math. Soc. 42 2010, 3, 417–419].
本短文旨在证明,如果 G 是可溶周期线性群的(同态图像),而 N 是 G 的局部零potent 正则子群,使得 N 和 G / N {G/N} 没有同构的 G 主因,那么 G 中 N 的两个补充群是共轭的,条件是它们与 N 有相同的交集。这一结果源于 Schunck 类理论中的著名定理(见 [A. Ballester-Bolinches and L. M. Ezquerro, On conjugacy of supplements to N in G, Bull.Ballester-Bolinches and L. M. Ezquerro, On conjugacy of supplements of normal subgroups of finite groups, Bull. Aust.Aust.Math.89 2014, 2, 293-299]),并作为主定理出现在[C.Parker and P. Rowley, A note on conjugacy of supplements in finite soluble groups, Bull.Lond.Math.42 2010, 3, 417-419].
{"title":"A note on conjugacy of supplements in soluble periodic linear groups","authors":"Marco Trombetti","doi":"10.1515/forum-2024-0102","DOIUrl":"https://doi.org/10.1515/forum-2024-0102","url":null,"abstract":"The aim of this short note is to prove that if <jats:italic>G</jats:italic> is a (homomorphic images of a) soluble periodic linear group and <jats:italic>N</jats:italic> is a locally nilpotent normal subgroup of <jats:italic>G</jats:italic> such that <jats:italic>N</jats:italic> and <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>G</m:mi> <m:mo>/</m:mo> <m:mi>N</m:mi> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2024-0102_eq_0133.png\"/> <jats:tex-math>{G/N}</jats:tex-math> </jats:alternatives> </jats:inline-formula> have no isomorphic <jats:italic>G</jats:italic>-chief factors, then two supplements to <jats:italic>N</jats:italic> in <jats:italic>G</jats:italic> are conjugate provided that they have the same intersection with <jats:italic>N</jats:italic>. This result follows from well-known theorems in the theory of Schunck classes (see [A. Ballester-Bolinches and L. M. Ezquerro, On conjugacy of supplements of normal subgroups of finite groups, Bull. Aust. Math. Soc. 89 2014, 2, 293–299]), and it appeared as the main theorem of [C. Parker and P. Rowley, A note on conjugacy of supplements in finite soluble groups, Bull. Lond. Math. Soc. 42 2010, 3, 417–419].","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":"199 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-08-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141934931","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}
引用次数: 0
Gradings and graded linear maps on algebras 代数上的分级和分级线性映射
IF 0.8 3区 数学 Q1 MATHEMATICS Pub Date : 2024-08-04 DOI: 10.1515/forum-2024-0098
Antonio Ioppolo, Fabrizio Martino
Let A be a superalgebra over a field F of characteristic zero. We prove tight relations between graded automorphisms, pseudoautomorphisms, superautomorphisms and K-gradings on A, where K is the Klein group. Moreover, we investigate the consequences of such connections within the theory of polynomial identities. In the second part we focus on the superalgebra U T n ( F ) {UT_{n}(F)} of n × n {ntimes n} upper triangular matrices by completely classifying the graded-pseudo-super automorphism that one can define on it. Finally, we compute the ideals of identities of U T n ( F ) {UT_{n}(F)} endowed with a graded or a pseudo automorphism, for any n, and the ideals of identities with superautomorphism in the cases n = 2 {n=2} and n = 3 {n=3} .
设 A 是特征为零的域 F 上的超代数。我们证明了 A 上的级数自变形、伪自变形、超自变形和 K 级数(其中 K 是克莱因群)之间的紧密关系。此外,我们还研究了这种联系在多项式同构理论中的后果。在第二部分中,我们将重点放在 n × n {ntimes n} 上三角矩阵的超代数 U T n ( F ) {UT_{n}(F)} 上,对可以在其上定义的分级伪超自变量进行完全分类。最后,我们计算了任意 n 的 U T n ( F ) {UT_{n}(F)} 带有分级或伪自形性的同调理想,以及 n = 2 {n=2} 和 n = 3 {n=3} 两种情况下带超同形性的同调理想。
{"title":"Gradings and graded linear maps on algebras","authors":"Antonio Ioppolo, Fabrizio Martino","doi":"10.1515/forum-2024-0098","DOIUrl":"https://doi.org/10.1515/forum-2024-0098","url":null,"abstract":"Let <jats:italic>A</jats:italic> be a superalgebra over a field <jats:italic>F</jats:italic> of characteristic zero. We prove tight relations between graded automorphisms, pseudoautomorphisms, superautomorphisms and <jats:italic>K</jats:italic>-gradings on <jats:italic>A</jats:italic>, where <jats:italic>K</jats:italic> is the Klein group. Moreover, we investigate the consequences of such connections within the theory of polynomial identities. In the second part we focus on the superalgebra <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>U</m:mi> <m:mo>⁢</m:mo> <m:msub> <m:mi>T</m:mi> <m:mi>n</m:mi> </m:msub> <m:mo>⁢</m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>F</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2024-0098_eq_0217.png\"/> <jats:tex-math>{UT_{n}(F)}</jats:tex-math> </jats:alternatives> </jats:inline-formula> of <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>n</m:mi> <m:mo>×</m:mo> <m:mi>n</m:mi> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2024-0098_eq_0407.png\"/> <jats:tex-math>{ntimes n}</jats:tex-math> </jats:alternatives> </jats:inline-formula> upper triangular matrices by completely classifying the graded-pseudo-super automorphism that one can define on it. Finally, we compute the ideals of identities of <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>U</m:mi> <m:mo>⁢</m:mo> <m:msub> <m:mi>T</m:mi> <m:mi>n</m:mi> </m:msub> <m:mo>⁢</m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>F</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2024-0098_eq_0217.png\"/> <jats:tex-math>{UT_{n}(F)}</jats:tex-math> </jats:alternatives> </jats:inline-formula> endowed with a graded or a pseudo automorphism, for any <jats:italic>n</jats:italic>, and the ideals of identities with superautomorphism in the cases <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>n</m:mi> <m:mo>=</m:mo> <m:mn>2</m:mn> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2024-0098_eq_0403.png\"/> <jats:tex-math>{n=2}</jats:tex-math> </jats:alternatives> </jats:inline-formula> and <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>n</m:mi> <m:mo>=</m:mo> <m:mn>3</m:mn> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2024-0098_eq_0404.png\"/> <jats:tex-math>{n=3}</jats:tex-math> </jats:alternatives> </jats:inline-formula>.","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":"40 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-08-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141934929","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}
引用次数: 0
GIT quotient of holomorphic foliations on ℂℙ2 of degree 2 and quartic plane curves 度数为 2 的ℂℙ2 上全形叶形的 GIT 商和四元平面曲线
IF 0.8 3区 数学 Q1 MATHEMATICS Pub Date : 2024-08-04 DOI: 10.1515/forum-2024-0043
Claudia R. Alcántara, Juan Vásquez Aquino
We study the quotient variety of the space of foliations on 2 {mathbb{CP}^{2}} of degree 2 up to change of coordinates. We find the intersection Betti numbers of this variety. As a corollary, we have that these intersection Betti numbers coincide with the intersection Betti numbers of the quotient variety of quartic plane curves. Finally, we give an explicit isomorphism between the space of foliations of degree 2 with different singular points, without invariant lines and the space of smooth quartic plane curves.
我们研究的是ℂ ℙ 2 上{mathbb{CP}^{2}}度为 2 且坐标不变的叶状空间的商变种。我们找到了这一曲面的交点贝蒂数。推论是,这些交集贝蒂数与四元平面曲线商综的交集贝蒂数重合。最后,我们给出了具有不同奇异点且无不变线的 2 度叶形空间与光滑四元平面曲线空间之间的明确同构关系。
{"title":"GIT quotient of holomorphic foliations on ℂℙ2 of degree 2 and quartic plane curves","authors":"Claudia R. Alcántara, Juan Vásquez Aquino","doi":"10.1515/forum-2024-0043","DOIUrl":"https://doi.org/10.1515/forum-2024-0043","url":null,"abstract":"We study the quotient variety of the space of foliations on <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>ℂ</m:mi> <m:mo>⁢</m:mo> <m:msup> <m:mi>ℙ</m:mi> <m:mn>2</m:mn> </m:msup> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2024-0043_eq_1268.png\"/> <jats:tex-math>{mathbb{CP}^{2}}</jats:tex-math> </jats:alternatives> </jats:inline-formula> of degree 2 up to change of coordinates. We find the intersection Betti numbers of this variety. As a corollary, we have that these intersection Betti numbers coincide with the intersection Betti numbers of the quotient variety of quartic plane curves. Finally, we give an explicit isomorphism between the space of foliations of degree 2 with different singular points, without invariant lines and the space of smooth quartic plane curves.","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":"12 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-08-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141969812","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}
引用次数: 0
期刊
Forum Mathematicum
全部 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