Pub Date : 2024-11-14DOI: 10.1016/j.jpaa.2024.107838
Marco Aldi , Andrew Butler , Jordan Gardiner , Daniele Grandini , Monica Lichtenwalner , Kevin Pan
We describe a canonical decomposition of the cohomology of the Dani-Mainkar 2-step nilpotent Lie algebras associated with graphs. As applications, we obtain explicit formulas for the third cohomology of any Dani-Mainkar Lie algebra and for the cohomology in all degrees of Lie algebras associated with arbitrary star graphs. We also describe a procedure to reduce the calculation of the cohomology of solvable Lie algebras associated with graphs through the Grantcharov-Grantcharov-Iliev construction to the cohomology of Dani-Mainkar Lie algebras.
{"title":"On the cohomology of Lie algebras associated with graphs","authors":"Marco Aldi , Andrew Butler , Jordan Gardiner , Daniele Grandini , Monica Lichtenwalner , Kevin Pan","doi":"10.1016/j.jpaa.2024.107838","DOIUrl":"10.1016/j.jpaa.2024.107838","url":null,"abstract":"<div><div>We describe a canonical decomposition of the cohomology of the Dani-Mainkar 2-step nilpotent Lie algebras associated with graphs. As applications, we obtain explicit formulas for the third cohomology of any Dani-Mainkar Lie algebra and for the cohomology in all degrees of Lie algebras associated with arbitrary star graphs. We also describe a procedure to reduce the calculation of the cohomology of solvable Lie algebras associated with graphs through the Grantcharov-Grantcharov-Iliev construction to the cohomology of Dani-Mainkar Lie algebras.</div></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"229 1","pages":"Article 107838"},"PeriodicalIF":0.7,"publicationDate":"2024-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142705835","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}
Pub Date : 2024-11-13DOI: 10.1016/j.jpaa.2024.107839
Alexei Entin , Cindy (Sin Yi) Tsang
We show that every finite group T is isomorphic to a normalizer quotient for some n and a subgroup . We show that this holds for all large enough and also with replaced by . The two main ingredients in the proof are a recent construction due to Cornulier and Sambale of a finite group G with (for any given finite group T) and the determination of the normalizer in of the inner holomorph for any centerless indecomposable finite group G, which may be of independent interest.
我们证明,对于某个 n 和一个子群 H≤Sn 而言,每个有限群 T 都与一个归一化商 NSn(H)/H 同构。我们证明,对于所有足够大的 n≥n0(T),以及用 An 代替 Sn 时,这一点都成立。证明的两个主要因素是 Cornulier 和 Sambale 最近构建的一个有限群 G 的 Out(G)≅T(对于任意给定的有限群 T),以及对于任意无中心不可分解有限群 G 的内全形 InHol(G)≤Sym(G)在 Sym(G)中的归一化子的确定,这两个因素可能会引起独立的兴趣。
{"title":"Normalizer quotients of symmetric groups and inner holomorphs","authors":"Alexei Entin , Cindy (Sin Yi) Tsang","doi":"10.1016/j.jpaa.2024.107839","DOIUrl":"10.1016/j.jpaa.2024.107839","url":null,"abstract":"<div><div>We show that every finite group <em>T</em> is isomorphic to a normalizer quotient <span><math><msub><mrow><mi>N</mi></mrow><mrow><msub><mrow><mi>S</mi></mrow><mrow><mi>n</mi></mrow></msub></mrow></msub><mo>(</mo><mi>H</mi><mo>)</mo><mo>/</mo><mi>H</mi></math></span> for some <em>n</em> and a subgroup <span><math><mi>H</mi><mo>≤</mo><msub><mrow><mi>S</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>. We show that this holds for all large enough <span><math><mi>n</mi><mo>≥</mo><msub><mrow><mi>n</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>(</mo><mi>T</mi><mo>)</mo></math></span> and also with <span><math><msub><mrow><mi>S</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> replaced by <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>. The two main ingredients in the proof are a recent construction due to Cornulier and Sambale of a finite group <em>G</em> with <span><math><mrow><mi>Out</mi></mrow><mo>(</mo><mi>G</mi><mo>)</mo><mo>≅</mo><mi>T</mi></math></span> (for any given finite group <em>T</em>) and the determination of the normalizer in <span><math><mrow><mi>Sym</mi></mrow><mo>(</mo><mi>G</mi><mo>)</mo></math></span> of the inner holomorph <span><math><mrow><mi>InHol</mi></mrow><mo>(</mo><mi>G</mi><mo>)</mo><mo>≤</mo><mrow><mi>Sym</mi></mrow><mo>(</mo><mi>G</mi><mo>)</mo></math></span> for any centerless indecomposable finite group <em>G</em>, which may be of independent interest.</div></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"229 1","pages":"Article 107839"},"PeriodicalIF":0.7,"publicationDate":"2024-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142705833","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}
Pub Date : 2024-11-05DOI: 10.1016/j.jpaa.2024.107837
Evgeny Feigin , Martina Lanini , Alexander Pütz
Local models of Shimura varieties in type A can be realized inside products of Grassmannians via certain linear algebraic conditions. Laumon suggested a generalization which can be identified with a family over a line whose general fibers are quiver Grassmannians for the loop quiver and the special fiber is a certain quiver Grassmannian for the cyclic quiver. The whole family sits inside the Gaitsgory central degeneration of the affine Grassmannians. We study the properties of the special fibers of the (complex) Laumon local models for arbitrary parahoric subgroups in type A using the machinery of quiver representations. We describe the irreducible components and the natural strata with respect to the group action for the quiver Grassmannians in question. We also construct a cellular decomposition and provide an explicit description for the corresponding poset of cells. Finally, we study the properties of the desingularizations of the irreducible components and show that the desingularization construction is compatible with the natural projections between the parahoric subgroups.
通过某些线性代数条件,可以在格拉斯曼的乘积内实现 A 型志摩拉(Shimura)变体的局部模型。劳蒙(Laumon)提出了一种概括,它可以与线上的一个族相鉴别,这个族的一般纤维是循环簇的簇格拉斯曼,特殊纤维是循环簇的某个簇格拉斯曼。整个族位于仿射格拉斯曼的盖茨高里中心退化内。我们利用簇表示的机制研究了 A 型任意准子群的(复)劳蒙局部模型特殊纤维的性质。我们描述了有关簇格拉斯曼的群作用的不可还原成分和自然层。我们还构建了单元分解,并对相应的单元集合进行了明确描述。最后,我们研究了不可还原成分的去晶化性质,并证明了去晶化构造与准子群之间的自然投影是兼容的。
{"title":"Laumon parahoric local models via quiver Grassmannians","authors":"Evgeny Feigin , Martina Lanini , Alexander Pütz","doi":"10.1016/j.jpaa.2024.107837","DOIUrl":"10.1016/j.jpaa.2024.107837","url":null,"abstract":"<div><div>Local models of Shimura varieties in type A can be realized inside products of Grassmannians via certain linear algebraic conditions. Laumon suggested a generalization which can be identified with a family over a line whose general fibers are quiver Grassmannians for the loop quiver and the special fiber is a certain quiver Grassmannian for the cyclic quiver. The whole family sits inside the Gaitsgory central degeneration of the affine Grassmannians. We study the properties of the special fibers of the (complex) Laumon local models for arbitrary parahoric subgroups in type A using the machinery of quiver representations. We describe the irreducible components and the natural strata with respect to the group action for the quiver Grassmannians in question. We also construct a cellular decomposition and provide an explicit description for the corresponding poset of cells. Finally, we study the properties of the desingularizations of the irreducible components and show that the desingularization construction is compatible with the natural projections between the parahoric subgroups.</div></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"229 1","pages":"Article 107837"},"PeriodicalIF":0.7,"publicationDate":"2024-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142654091","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}
Pub Date : 2024-11-05DOI: 10.1016/j.jpaa.2024.107836
Jeehoon Park
Let X be a smooth projective complete intersection over of dimension in the projective space defined by the zero locus of , for given positive integers n and k. For a given primitive homology cycle , the period integral is defined to be a linear map from the primitive de Rham cohomology group to given by . The goal of this article is to interpret this period integral as Feynman's path integral of 0-dimensional quantum field theory with the action functional (in other words, the exponential period with the action functional S) and use this interpretation to develop a formal deformation theory of period integrals of X, which can be viewed as a modern deformation theoretic treatment of the period integrals based on the Maurer-Cartan equation of a dgla (differential graded Lie algebra).
设 X 是在给定正整数 n 和 k 的投影空间 PQn 中,维数为 n-k 的 Q 上的光滑投影完全交,其定义为 f_(x_)=(f1(x_),⋯,fk(x_)) 的零点。对于给定的原始同调周期 [γ]∈Hn-k(X(C),Z)0,周期积分被定义为从原始 de Rham 同调群 HdR,primn-k(X(C);Q) 到 C 的线性映射,由 [ω]↦∫γω 给定。本文的目的是把这个周期积分解释为0维量子场论的费曼路径积分,其作用函数为S=∑ℓ=1kyℓfℓ(x_)(换句话说、的指数周期),并利用这一解释发展了 X 周期积分的形式变形理论,这可以看作是基于微分级列代数的毛勒-卡尔坦方程对周期积分的现代变形理论处理。
{"title":"Period integrals of smooth projective complete intersections as exponential periods","authors":"Jeehoon Park","doi":"10.1016/j.jpaa.2024.107836","DOIUrl":"10.1016/j.jpaa.2024.107836","url":null,"abstract":"<div><div>Let <em>X</em> be a smooth projective complete intersection over <span><math><mi>Q</mi></math></span> of dimension <span><math><mi>n</mi><mo>−</mo><mi>k</mi></math></span> in the projective space <span><math><msubsup><mrow><mi>P</mi></mrow><mrow><mi>Q</mi></mrow><mrow><mi>n</mi></mrow></msubsup></math></span> defined by the zero locus of <span><math><munder><mrow><mi>f</mi></mrow><mo>_</mo></munder><mo>(</mo><munder><mrow><mi>x</mi></mrow><mo>_</mo></munder><mo>)</mo><mo>=</mo><mo>(</mo><msub><mrow><mi>f</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>(</mo><munder><mrow><mi>x</mi></mrow><mo>_</mo></munder><mo>)</mo><mo>,</mo><mo>⋯</mo><mo>,</mo><msub><mrow><mi>f</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><munder><mrow><mi>x</mi></mrow><mo>_</mo></munder><mo>)</mo><mo>)</mo></math></span>, for given positive integers <em>n</em> and <em>k</em>. For a given primitive homology cycle <span><math><mo>[</mo><mi>γ</mi><mo>]</mo><mo>∈</mo><msub><mrow><mi>H</mi></mrow><mrow><mi>n</mi><mo>−</mo><mi>k</mi></mrow></msub><msub><mrow><mo>(</mo><mi>X</mi><mo>(</mo><mi>C</mi><mo>)</mo><mo>,</mo><mi>Z</mi><mo>)</mo></mrow><mrow><mn>0</mn></mrow></msub></math></span>, the period integral is defined to be a linear map from the primitive de Rham cohomology group <span><math><msubsup><mrow><mi>H</mi></mrow><mrow><mi>d</mi><mi>R</mi><mo>,</mo><mi>prim</mi></mrow><mrow><mi>n</mi><mo>−</mo><mi>k</mi></mrow></msubsup><mo>(</mo><mi>X</mi><mo>(</mo><mi>C</mi><mo>)</mo><mo>;</mo><mi>Q</mi><mo>)</mo></math></span> to <span><math><mi>C</mi></math></span> given by <span><math><mo>[</mo><mi>ω</mi><mo>]</mo><mo>↦</mo><msub><mrow><mo>∫</mo></mrow><mrow><mi>γ</mi></mrow></msub><mi>ω</mi></math></span>. The goal of this article is to interpret this period integral as <em>Feynman's path integral</em> of 0-dimensional quantum field theory with the action functional <span><math><mi>S</mi><mo>=</mo><msubsup><mrow><mo>∑</mo></mrow><mrow><mi>ℓ</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>k</mi></mrow></msubsup><msub><mrow><mi>y</mi></mrow><mrow><mi>ℓ</mi></mrow></msub><msub><mrow><mi>f</mi></mrow><mrow><mi>ℓ</mi></mrow></msub><mo>(</mo><munder><mrow><mi>x</mi></mrow><mo>_</mo></munder><mo>)</mo></math></span> (in other words, <em>the exponential period</em> with the action functional <em>S</em>) and use this interpretation to develop a formal deformation theory of period integrals of <em>X</em>, which can be viewed as a modern deformation theoretic treatment of the period integrals based on the Maurer-Cartan equation of a dgla (differential graded Lie algebra).</div></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"229 1","pages":"Article 107836"},"PeriodicalIF":0.7,"publicationDate":"2024-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142654093","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}
Pub Date : 2024-10-31DOI: 10.1016/j.jpaa.2024.107819
Vasily A. Dolgushev , Jacob J. Guynee
Let be the Artin braid group on 3 strands and be the corresponding pure braid group. In this paper, we construct the groupoid of -shadows for a (possibly more tractable) version of the Grothendieck-Teichmueller group introduced in paper [12] by D. Harbater and L. Schneps. We call this group the gentle version of and denote it by . The objects of are finite index normal subgroups of satisfying the condition . Morphisms of are called -shadows and they may be thought of as approximations to elements of . We show how -shadows can be obtained from elements of and prove that is isomorphic to the limit of a certain functor defined in terms of the groupoid . Using this result, we get a criterion for identifying genuine -shadows.
{"title":"GT-shadows for the gentle version GTˆgen of the Grothendieck-Teichmueller group","authors":"Vasily A. Dolgushev , Jacob J. Guynee","doi":"10.1016/j.jpaa.2024.107819","DOIUrl":"10.1016/j.jpaa.2024.107819","url":null,"abstract":"<div><div>Let <span><math><msub><mrow><mi>B</mi></mrow><mrow><mn>3</mn></mrow></msub></math></span> be the Artin braid group on 3 strands and <span><math><msub><mrow><mi>PB</mi></mrow><mrow><mn>3</mn></mrow></msub></math></span> be the corresponding pure braid group. In this paper, we construct the groupoid <span><math><mi>GTSh</mi></math></span> of <span><math><mi>GT</mi></math></span>-shadows for a (possibly more tractable) version <span><math><msub><mrow><mover><mrow><mi>GT</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow><mrow><mn>0</mn></mrow></msub></math></span> of the Grothendieck-Teichmueller group <span><math><mover><mrow><mi>GT</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></math></span> introduced in paper <span><span>[12]</span></span> by D. Harbater and L. Schneps. We call this group the gentle version of <span><math><mover><mrow><mi>GT</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></math></span> and denote it by <span><math><msub><mrow><mover><mrow><mi>GT</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow><mrow><mi>g</mi><mi>e</mi><mi>n</mi></mrow></msub></math></span>. The objects of <span><math><mi>GTSh</mi></math></span> are finite index normal subgroups <span><math><mi>N</mi></math></span> of <span><math><msub><mrow><mi>B</mi></mrow><mrow><mn>3</mn></mrow></msub></math></span> satisfying the condition <span><math><mi>N</mi><mo>≤</mo><msub><mrow><mi>PB</mi></mrow><mrow><mn>3</mn></mrow></msub></math></span>. Morphisms of <span><math><mi>GTSh</mi></math></span> are called <span><math><mi>GT</mi></math></span>-shadows and they may be thought of as approximations to elements of <span><math><msub><mrow><mover><mrow><mi>GT</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow><mrow><mi>g</mi><mi>e</mi><mi>n</mi></mrow></msub></math></span>. We show how <span><math><mi>GT</mi></math></span>-shadows can be obtained from elements of <span><math><msub><mrow><mover><mrow><mi>GT</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow><mrow><mi>g</mi><mi>e</mi><mi>n</mi></mrow></msub></math></span> and prove that <span><math><msub><mrow><mover><mrow><mi>GT</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow><mrow><mi>g</mi><mi>e</mi><mi>n</mi></mrow></msub></math></span> is isomorphic to the limit of a certain functor defined in terms of the groupoid <span><math><mi>GTSh</mi></math></span>. Using this result, we get a criterion for identifying genuine <span><math><mi>GT</mi></math></span>-shadows.</div></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"229 1","pages":"Article 107819"},"PeriodicalIF":0.7,"publicationDate":"2024-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142705834","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}
Pub Date : 2024-10-28DOI: 10.1016/j.jpaa.2024.107833
Francesco Fumagalli , Attila Maróti
If A, B, C are subsets in a finite simple group of Lie type G at least two of which are normal with relatively large, then we establish a stronger conclusion than . This is related to a theorem of Gowers and is a generalization of a theorem of Larsen, Shalev, Tiep and the second author and Pyber.
如果 A、B、C 是有限简单李型群 G 中的子集,其中至少有两个子集是正常的,且 |A||B||C|| 相对较大,那么我们就建立了比 ABC=G 更强的结论。
{"title":"On the Gowers trick for classical simple groups","authors":"Francesco Fumagalli , Attila Maróti","doi":"10.1016/j.jpaa.2024.107833","DOIUrl":"10.1016/j.jpaa.2024.107833","url":null,"abstract":"<div><div>If <em>A</em>, <em>B</em>, <em>C</em> are subsets in a finite simple group of Lie type <em>G</em> at least two of which are normal with <span><math><mo>|</mo><mi>A</mi><mo>|</mo><mo>|</mo><mi>B</mi><mo>|</mo><mo>|</mo><mi>C</mi><mo>|</mo></math></span> relatively large, then we establish a stronger conclusion than <span><math><mi>A</mi><mi>B</mi><mi>C</mi><mo>=</mo><mi>G</mi></math></span>. This is related to a theorem of Gowers and is a generalization of a theorem of Larsen, Shalev, Tiep and the second author and Pyber.</div></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"229 1","pages":"Article 107833"},"PeriodicalIF":0.7,"publicationDate":"2024-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142593880","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}
Pub Date : 2024-10-28DOI: 10.1016/j.jpaa.2024.107834
Asmae Ben Yassine, Jan Trlifaj
The ascent and descent of the Mittag-Leffler property were instrumental in proving Zariski locality of the notion of an (infinite dimensional) vector bundle by Raynaud and Gruson in [26]. More recently, relative Mittag-Leffler modules were employed in the theory of (infinitely generated) tilting modules and the associated quasi-coherent sheaves, [2], [22]. Here, we study the ascent and descent along flat and faithfully flat homomorphisms for relative versions of the Mittag-Leffler property. In particular, we prove the Zariski locality of the notion of a locally f-projective quasi-coherent sheaf for all schemes, and for each , of the notion of an n-Drinfeld vector bundle for all locally noetherian schemes.
{"title":"Flat relative Mittag-Leffler modules and Zariski locality","authors":"Asmae Ben Yassine, Jan Trlifaj","doi":"10.1016/j.jpaa.2024.107834","DOIUrl":"10.1016/j.jpaa.2024.107834","url":null,"abstract":"<div><div>The ascent and descent of the Mittag-Leffler property were instrumental in proving Zariski locality of the notion of an (infinite dimensional) vector bundle by Raynaud and Gruson in <span><span>[26]</span></span>. More recently, relative Mittag-Leffler modules were employed in the theory of (infinitely generated) tilting modules and the associated quasi-coherent sheaves, <span><span>[2]</span></span>, <span><span>[22]</span></span>. Here, we study the ascent and descent along flat and faithfully flat homomorphisms for relative versions of the Mittag-Leffler property. In particular, we prove the Zariski locality of the notion of a locally f-projective quasi-coherent sheaf for all schemes, and for each <span><math><mi>n</mi><mo>≥</mo><mn>1</mn></math></span>, of the notion of an <em>n</em>-Drinfeld vector bundle for all locally noetherian schemes.</div></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"229 1","pages":"Article 107834"},"PeriodicalIF":0.7,"publicationDate":"2024-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142552393","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}
We give a criterion for almost Gorenstein property for semigroup rings associated with simplicial semigroups. We extend Nari's theorem for almost symmetric numerical semigroups to simplicial semigroups with higher rank. By this criterion, we determine 2-dimensional normal semigroup rings which have “Ulrich elements” defined in [8].
{"title":"Almost Gorenstein simplicial semigroup rings","authors":"Kazufumi Eto , Naoyuki Matsuoka , Takahiro Numata , Kei-ichi Watanabe","doi":"10.1016/j.jpaa.2024.107835","DOIUrl":"10.1016/j.jpaa.2024.107835","url":null,"abstract":"<div><div>We give a criterion for almost Gorenstein property for semigroup rings associated with simplicial semigroups. We extend Nari's theorem for almost symmetric numerical semigroups to simplicial semigroups with higher rank. By this criterion, we determine 2-dimensional normal semigroup rings which have “Ulrich elements” defined in <span><span>[8]</span></span>.</div></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"229 1","pages":"Article 107835"},"PeriodicalIF":0.7,"publicationDate":"2024-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142586832","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}
Pub Date : 2024-10-24DOI: 10.1016/j.jpaa.2024.107831
Naichung Conan Leung , Ying Xie
The DK conjecture of Bondal-Orlov [1] and Kawamata [2] states that there should be an embedding of bounded derived categories for any K-inequivalence, which is proved to be true for the toroidal case ([3], [4], [5] and [6]). In this paper, we construct examples of non-toroidal K-inequivalences from Grassmannians inspired by [7], [8], [9] and [10], and we show that these K-inequivalences satisfy the DK conjecture.
{"title":"DK conjecture for some K-inequivalences from Grassmannians","authors":"Naichung Conan Leung , Ying Xie","doi":"10.1016/j.jpaa.2024.107831","DOIUrl":"10.1016/j.jpaa.2024.107831","url":null,"abstract":"<div><div>The DK conjecture of Bondal-Orlov <span><span>[1]</span></span> and Kawamata <span><span>[2]</span></span> states that there should be an embedding of bounded derived categories for any <em>K</em>-inequivalence, which is proved to be true for the toroidal case (<span><span>[3]</span></span>, <span><span>[4]</span></span>, <span><span>[5]</span></span> and <span><span>[6]</span></span>). In this paper, we construct examples of non-toroidal <em>K</em>-inequivalences from Grassmannians inspired by <span><span>[7]</span></span>, <span><span>[8]</span></span>, <span><span>[9]</span></span> and <span><span>[10]</span></span>, and we show that these <em>K</em>-inequivalences satisfy the DK conjecture.</div></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"229 1","pages":"Article 107831"},"PeriodicalIF":0.7,"publicationDate":"2024-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142654092","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}
Pub Date : 2024-10-22DOI: 10.1016/j.jpaa.2024.107828
M'hammed El Kahoui, Najoua Essamaoui, Mustapha Ouali
Let R be an integral domain containing and ξ be an irreducible nontrivial locally nilpotent R-derivation of the polynomial R-algebra A in two variables. In this paper we investigate the group of R-automorphisms of A which commute with ξ. In the case R is a unique factorization domain and the plinth ideal of ξ is principal we give a complete description of the subgroup of consisting of Jacobian one automorphisms. If moreover R contains a field K such that the group of units of R is we prove that .
设 R 是包含 Q 的积分域,ξ 是两变量多项式 R 代数 A 的不可还原的非琐局部无穷 R 衍射。在本文中,我们将研究与ξ换元的 A 的 R 自变量群 AutR(A,ξ)。在 R 是唯一因式分解域且 ξ 的柱顶理想是主理想的情况下,我们给出了 AutR(A,ξ) 的子群 SAutR(A,ξ) 的完整描述,该子群由雅各布一自形化组成。如果 R 还包含一个域 K,使得 R 的单位群是 K⋆,我们就可以证明 AutR(A,ξ)=SAutR(A,ξ)。
{"title":"The centralizer of a locally nilpotent R-derivation of the polynomial R-algebra in two variables","authors":"M'hammed El Kahoui, Najoua Essamaoui, Mustapha Ouali","doi":"10.1016/j.jpaa.2024.107828","DOIUrl":"10.1016/j.jpaa.2024.107828","url":null,"abstract":"<div><div>Let <em>R</em> be an integral domain containing <span><math><mi>Q</mi></math></span> and <em>ξ</em> be an irreducible nontrivial locally nilpotent <em>R</em>-derivation of the polynomial <em>R</em>-algebra <em>A</em> in two variables. In this paper we investigate the group <span><math><msub><mrow><mi>Aut</mi></mrow><mrow><mi>R</mi></mrow></msub><mo>(</mo><mi>A</mi><mo>,</mo><mi>ξ</mi><mo>)</mo></math></span> of <em>R</em>-automorphisms of <em>A</em> which commute with <em>ξ</em>. In the case <em>R</em> is a unique factorization domain and the plinth ideal of <em>ξ</em> is principal we give a complete description of the subgroup <span><math><msub><mrow><mi>SAut</mi></mrow><mrow><mi>R</mi></mrow></msub><mo>(</mo><mi>A</mi><mo>,</mo><mi>ξ</mi><mo>)</mo></math></span> of <span><math><msub><mrow><mi>Aut</mi></mrow><mrow><mi>R</mi></mrow></msub><mo>(</mo><mi>A</mi><mo>,</mo><mi>ξ</mi><mo>)</mo></math></span> consisting of Jacobian one automorphisms. If moreover <em>R</em> contains a field <em>K</em> such that the group of units of <em>R</em> is <span><math><msup><mrow><mi>K</mi></mrow><mrow><mo>⋆</mo></mrow></msup></math></span> we prove that <span><math><msub><mrow><mi>Aut</mi></mrow><mrow><mi>R</mi></mrow></msub><mo>(</mo><mi>A</mi><mo>,</mo><mi>ξ</mi><mo>)</mo><mo>=</mo><msub><mrow><mi>SAut</mi></mrow><mrow><mi>R</mi></mrow></msub><mo>(</mo><mi>A</mi><mo>,</mo><mi>ξ</mi><mo>)</mo></math></span>.</div></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"229 1","pages":"Article 107828"},"PeriodicalIF":0.7,"publicationDate":"2024-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142552130","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}