Pub Date : 2024-07-03DOI: 10.1016/j.jpaa.2024.107764
Gülı̇n Ercan , İsmaı̇l Ş. Güloğlu , M. Yası̇r Kizmaz , Danila O. Revin
Let a group A act on the group G coprimely. Suppose that the order of the fixed point subgroup is not divisible by an arbitrary but fixed prime p. In the present paper we determine bounds for the p-length of the group G in terms of the order of A, and investigate how some A-invariant p-subgroups are embedded in G under various additional assumptions.
让一个群 A 共同作用于群 G。假设定点子群 CG(A) 的阶不能被任意但固定的素数 p 整除。在本文中,我们根据 A 的阶确定了群 G 的 p 长度的边界,并研究了在各种附加假设下,一些 A 不变的 p 子群是如何嵌入 G 的。
{"title":"Some special coprime actions and their consequences","authors":"Gülı̇n Ercan , İsmaı̇l Ş. Güloğlu , M. Yası̇r Kizmaz , Danila O. Revin","doi":"10.1016/j.jpaa.2024.107764","DOIUrl":"https://doi.org/10.1016/j.jpaa.2024.107764","url":null,"abstract":"<div><p>Let a group <em>A</em> act on the group <em>G</em> coprimely. Suppose that the order of the fixed point subgroup <span><math><msub><mrow><mi>C</mi></mrow><mrow><mi>G</mi></mrow></msub><mo>(</mo><mi>A</mi><mo>)</mo></math></span> is not divisible by an arbitrary but fixed prime <em>p</em>. In the present paper we determine bounds for the <em>p</em>-length of the group <em>G</em> in terms of the order of <em>A</em>, and investigate how some <em>A</em>-invariant <em>p</em>-subgroups are embedded in <em>G</em> under various additional assumptions.</p></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"228 12","pages":"Article 107764"},"PeriodicalIF":0.7,"publicationDate":"2024-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141606410","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-07-03DOI: 10.1016/j.jpaa.2024.107766
We introduce and study a category of algebras strongly connected with the structure of the Gelfand-Tsetlin subalgebras of the endomorphism algebras of Bott-Samelson bimodules. We develop a series of techniques that allow us to obtain optimal presentations for the many Gelfand-Tsetlin subalgebras appearing in the context of the Diagrammatic Soergel Category.
{"title":"Nil graded algebras associated to triangular matrices and their applications to Soergel calculus","authors":"","doi":"10.1016/j.jpaa.2024.107766","DOIUrl":"10.1016/j.jpaa.2024.107766","url":null,"abstract":"<div><p>We introduce and study a category of algebras strongly connected with the structure of the Gelfand-Tsetlin subalgebras of the endomorphism algebras of Bott-Samelson bimodules. We develop a series of techniques that allow us to obtain optimal presentations for the many Gelfand-Tsetlin subalgebras appearing in the context of the Diagrammatic Soergel Category.</p></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"228 12","pages":"Article 107766"},"PeriodicalIF":0.7,"publicationDate":"2024-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141551425","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-07-03DOI: 10.1016/j.jpaa.2024.107767
Mengmeng Gao, Hebing Rui, Linliang Song
Let be an algebraically closed field with characteristic p different from 2. We generalize the notion of a weakly triangular decomposition in [7] to the super case called a super weakly triangular decomposition. We show that the underlying even category of locally finite-dimensional left A-supermodules is an upper finite fully stratified category in the sense of [6, Definition 3.34] if the superalgebra A admits an upper finite super weakly triangular decomposition. In particular, when A is the locally unital superalgebra associated with the cyclotomic oriented Brauer-Clifford supercategory in [1], the Grothendieck group of the category of left A-supermodules admitting finite standard flags has a -module structure that is isomorphic to the tensor product of an integrable lowest weight and an integrable highest weight -module, where is the complex Kac-Moody Lie algebra of type (resp., ) if (resp., ).
{"title":"Representations of the cyclotomic oriented Brauer-Clifford supercategory","authors":"Mengmeng Gao, Hebing Rui, Linliang Song","doi":"10.1016/j.jpaa.2024.107767","DOIUrl":"10.1016/j.jpaa.2024.107767","url":null,"abstract":"<div><p>Let <span><math><mi>k</mi></math></span> be an algebraically closed field with characteristic <em>p</em> different from 2. We generalize the notion of a weakly triangular decomposition in <span>[7]</span> to the super case called a super weakly triangular decomposition. We show that the underlying even category of locally finite-dimensional left <em>A</em>-supermodules is an upper finite fully stratified category in the sense of <span>[6, Definition 3.34]</span> if the superalgebra <em>A</em> admits an upper finite super weakly triangular decomposition. In particular, when <em>A</em> is the locally unital superalgebra associated with the cyclotomic oriented Brauer-Clifford supercategory in <span>[1]</span>, the Grothendieck group of the category of left <em>A</em>-supermodules admitting finite standard flags has a <span><math><mi>g</mi></math></span>-module structure that is isomorphic to the tensor product of an integrable lowest weight and an integrable highest weight <span><math><mi>g</mi></math></span>-module, where <span><math><mi>g</mi></math></span> is the complex Kac-Moody Lie algebra of type <span><math><msubsup><mrow><mi>A</mi></mrow><mrow><mn>2</mn><mi>ℓ</mi></mrow><mrow><mo>(</mo><mn>2</mn><mo>)</mo></mrow></msubsup></math></span> (resp., <span><math><msub><mrow><mi>B</mi></mrow><mrow><mo>∞</mo></mrow></msub></math></span>) if <span><math><mi>p</mi><mo>=</mo><mn>2</mn><mi>ℓ</mi><mo>+</mo><mn>1</mn></math></span> (resp., <span><math><mi>p</mi><mo>=</mo><mn>0</mn></math></span>).</p></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"228 12","pages":"Article 107767"},"PeriodicalIF":0.7,"publicationDate":"2024-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141551428","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-07-02DOI: 10.1016/j.jpaa.2024.107765
Frank-Olaf Schreyer , Isabel Stenger
In this paper we study marked numerical Godeaux surfaces with special bicanonical fibers. Based on the construction method of marked Godeaux surfaces in [12] we give a complete characterization for the existence of hyperelliptic bicanonical fibers and torsion fibers. Moreover, we describe how the families of Reid and Miyaoka with torsion and arise in our homological setting.
{"title":"Marked Godeaux surfaces with special bicanonical fibers","authors":"Frank-Olaf Schreyer , Isabel Stenger","doi":"10.1016/j.jpaa.2024.107765","DOIUrl":"10.1016/j.jpaa.2024.107765","url":null,"abstract":"<div><p>In this paper we study marked numerical Godeaux surfaces with special bicanonical fibers. Based on the construction method of marked Godeaux surfaces in <span>[12]</span> we give a complete characterization for the existence of hyperelliptic bicanonical fibers and torsion fibers. Moreover, we describe how the families of Reid and Miyaoka with torsion <span><math><mi>Z</mi><mo>/</mo><mn>3</mn><mi>Z</mi></math></span> and <span><math><mi>Z</mi><mo>/</mo><mn>5</mn><mi>Z</mi></math></span> arise in our homological setting.</p></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"228 12","pages":"Article 107765"},"PeriodicalIF":0.7,"publicationDate":"2024-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0022404924001622/pdfft?md5=24a063a7a56ffe64e021631c53abdb1f&pid=1-s2.0-S0022404924001622-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141551426","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-06-27DOI: 10.1016/j.jpaa.2024.107756
Gonzalo Manzano-Flores
Let and let K be a field with a henselian discrete valuation of rank n with hereditarily euclidean residue field. Let be a function field in one variable. It is known that every sum of squares is a sum of 3 squares. We determine the order of the group of nonzero sums of 3 squares modulo sums of 2 squares in F in terms of equivalence classes of certain discrete valuations of F of rank at most n. In the case of function fields of hyperelliptic curves of genus g, K.J. Becher and J. Van Geel showed that the order of this quotient group is bounded by . We show that this bound is optimal. Moreover, in the case where , we show that if is a hyperelliptic function field such that the order of this quotient group is , then F is nonreal.
设 n∈N,并设 K 是秩为 n 的具有赫氏离散估值的域,且具有欧几里得残差域。设 F/K 是单变量函数域。已知每个平方和都是 3 个平方的和。在属 g 的超椭圆曲线的函数场中,K.J. Becher 和 J. Van Geel 证明了这个商群的阶受 2n(g+1)约束。我们证明这一界限是最优的。此外,在 n=1 的情况下,我们证明了如果 F/K 是一个超椭圆函数域,使得这个商群的阶为 2g+1,那么 F 是非实的。
{"title":"Sums of squares in function fields over henselian discretely valued fields","authors":"Gonzalo Manzano-Flores","doi":"10.1016/j.jpaa.2024.107756","DOIUrl":"https://doi.org/10.1016/j.jpaa.2024.107756","url":null,"abstract":"<div><p>Let <span><math><mi>n</mi><mo>∈</mo><mi>N</mi></math></span> and let <em>K</em> be a field with a henselian discrete valuation of rank <em>n</em> with hereditarily euclidean residue field. Let <span><math><mi>F</mi><mo>/</mo><mi>K</mi></math></span> be a function field in one variable. It is known that every sum of squares is a sum of 3 squares. We determine the order of the group of nonzero sums of 3 squares modulo sums of 2 squares in <em>F</em> in terms of equivalence classes of certain discrete valuations of <em>F</em> of rank at most <em>n</em>. In the case of function fields of hyperelliptic curves of genus <em>g</em>, K.J. Becher and J. Van Geel showed that the order of this quotient group is bounded by <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>n</mi><mo>(</mo><mi>g</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow></msup></math></span>. We show that this bound is optimal. Moreover, in the case where <span><math><mi>n</mi><mo>=</mo><mn>1</mn></math></span>, we show that if <span><math><mi>F</mi><mo>/</mo><mi>K</mi></math></span> is a hyperelliptic function field such that the order of this quotient group is <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>g</mi><mo>+</mo><mn>1</mn></mrow></msup></math></span>, then <em>F</em> is nonreal.</p></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"228 12","pages":"Article 107756"},"PeriodicalIF":0.7,"publicationDate":"2024-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141542246","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-06-27DOI: 10.1016/j.jpaa.2024.107761
M. Cárdenas, F.F. Lasheras, A. Quintero
<div><p>Bestvina <span>[1]</span> introduced the notion of a (weak) <span><math><mi>Z</mi></math></span>-structure and (weak) <span><math><mi>Z</mi></math></span>-boundary for a torsion-free group, motivated by the notion of boundary for hyperbolic and <span><math><mi>C</mi><mi>A</mi><mi>T</mi><mo>(</mo><mn>0</mn><mo>)</mo></math></span> groups. Since then, some classes of groups have been shown to admit a (weak) <span><math><mi>Z</mi></math></span>-structure (see <span>[5]</span>, <span>[20]</span>, <span>[22]</span> for example); in fact, in all cases these groups are semistable at infinity and happen to have a pro-(finitely generated free) fundamental pro-group. The question whether or not every type <span><math><mi>F</mi></math></span> group admits such a structure remains open. In <span>[33]</span> it was shown that the property of admitting such a structure is closed under direct products and free products. Our main results are as follows.</p><p>THEOREM: Let <em>G</em> be a torsion-free and semistable at infinity finitely presented group with a pro-(finitely generated free) fundamental pro-group at each end. If <em>G</em> has a finite graph of groups decomposition in which all the groups involved are of type <span><math><mi>F</mi></math></span> and inward tame (in particular, if they all admit a weak <span><math><mi>Z</mi></math></span>-structure) then <em>G</em> admits a weak <span><math><mi>Z</mi></math></span>-structure.</p><p>COROLLARY: The class of those 1-ended and semistable at infinity torsion-free finitely presented groups which admit a weak <span><math><mi>Z</mi></math></span>-structure and have a pro-(finitely generated free) fundamental pro-group is closed under amalgamated products (resp. HNN-extensions) over finitely generated free groups.</p><p>On the other hand, given a finitely presented group <em>G</em> and a monomorphism <span><math><mi>φ</mi><mo>:</mo><mi>G</mi><mo>⟶</mo><mi>G</mi></math></span>, we may consider the ascending HNN-extension <span><math><mi>G</mi><msub><mrow><mo>⁎</mo></mrow><mrow><mi>φ</mi></mrow></msub><mo>=</mo><mo>〈</mo><mi>G</mi><mo>,</mo><mi>t</mi><mspace></mspace><mo>;</mo><mspace></mspace><msup><mrow><mi>t</mi></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup><mi>g</mi><mi>t</mi><mo>=</mo><mi>φ</mi><mo>(</mo><mi>g</mi><mo>)</mo><mo>,</mo><mi>g</mi><mo>∈</mo><mi>G</mi><mo>〉</mo></math></span>. The results in <span>[26]</span> together with the Theorem above yield the following:</p><p>PROPOSITION: If a finitely presented torsion-free group <em>G</em> is of type <span><math><mi>F</mi></math></span> and inward tame, then any (1-ended) ascending HNN-extension <span><math><mi>G</mi><msub><mrow><mo>⁎</mo></mrow><mrow><mi>φ</mi></mrow></msub></math></span> admits a weak <span><math><mi>Z</mi></math></span>-structure.</p><p>In the particular case <span><math><mi>φ</mi><mo>∈</mo><mi>A</mi><mi>u</mi><mi>t</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span>, this ascending HNN-extension corresponds to a semidirect p
{"title":"Weak Z-structures for some combinatorial group constructions","authors":"M. Cárdenas, F.F. Lasheras, A. Quintero","doi":"10.1016/j.jpaa.2024.107761","DOIUrl":"10.1016/j.jpaa.2024.107761","url":null,"abstract":"<div><p>Bestvina <span>[1]</span> introduced the notion of a (weak) <span><math><mi>Z</mi></math></span>-structure and (weak) <span><math><mi>Z</mi></math></span>-boundary for a torsion-free group, motivated by the notion of boundary for hyperbolic and <span><math><mi>C</mi><mi>A</mi><mi>T</mi><mo>(</mo><mn>0</mn><mo>)</mo></math></span> groups. Since then, some classes of groups have been shown to admit a (weak) <span><math><mi>Z</mi></math></span>-structure (see <span>[5]</span>, <span>[20]</span>, <span>[22]</span> for example); in fact, in all cases these groups are semistable at infinity and happen to have a pro-(finitely generated free) fundamental pro-group. The question whether or not every type <span><math><mi>F</mi></math></span> group admits such a structure remains open. In <span>[33]</span> it was shown that the property of admitting such a structure is closed under direct products and free products. Our main results are as follows.</p><p>THEOREM: Let <em>G</em> be a torsion-free and semistable at infinity finitely presented group with a pro-(finitely generated free) fundamental pro-group at each end. If <em>G</em> has a finite graph of groups decomposition in which all the groups involved are of type <span><math><mi>F</mi></math></span> and inward tame (in particular, if they all admit a weak <span><math><mi>Z</mi></math></span>-structure) then <em>G</em> admits a weak <span><math><mi>Z</mi></math></span>-structure.</p><p>COROLLARY: The class of those 1-ended and semistable at infinity torsion-free finitely presented groups which admit a weak <span><math><mi>Z</mi></math></span>-structure and have a pro-(finitely generated free) fundamental pro-group is closed under amalgamated products (resp. HNN-extensions) over finitely generated free groups.</p><p>On the other hand, given a finitely presented group <em>G</em> and a monomorphism <span><math><mi>φ</mi><mo>:</mo><mi>G</mi><mo>⟶</mo><mi>G</mi></math></span>, we may consider the ascending HNN-extension <span><math><mi>G</mi><msub><mrow><mo>⁎</mo></mrow><mrow><mi>φ</mi></mrow></msub><mo>=</mo><mo>〈</mo><mi>G</mi><mo>,</mo><mi>t</mi><mspace></mspace><mo>;</mo><mspace></mspace><msup><mrow><mi>t</mi></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup><mi>g</mi><mi>t</mi><mo>=</mo><mi>φ</mi><mo>(</mo><mi>g</mi><mo>)</mo><mo>,</mo><mi>g</mi><mo>∈</mo><mi>G</mi><mo>〉</mo></math></span>. The results in <span>[26]</span> together with the Theorem above yield the following:</p><p>PROPOSITION: If a finitely presented torsion-free group <em>G</em> is of type <span><math><mi>F</mi></math></span> and inward tame, then any (1-ended) ascending HNN-extension <span><math><mi>G</mi><msub><mrow><mo>⁎</mo></mrow><mrow><mi>φ</mi></mrow></msub></math></span> admits a weak <span><math><mi>Z</mi></math></span>-structure.</p><p>In the particular case <span><math><mi>φ</mi><mo>∈</mo><mi>A</mi><mi>u</mi><mi>t</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span>, this ascending HNN-extension corresponds to a semidirect p","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"228 12","pages":"Article 107761"},"PeriodicalIF":0.7,"publicationDate":"2024-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141551427","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-06-27DOI: 10.1016/j.jpaa.2024.107758
Manoj Kummini , Mandira Mondal
Let be a field of characteristic , V a finite-dimensional -vector-space, and G a finite p-group acting -linearly on V. Let . Confirming a conjecture of Shank-Wehlau-Broer, we show that if is a direct summand of S, then is a polynomial ring, in the following cases:
(a)
and ; or
(b)
.
In order to prove the above result, we also show that if , then the Hilbert ideal is a complete intersection.
{"title":"On polynomial invariant rings in modular invariant theory","authors":"Manoj Kummini , Mandira Mondal","doi":"10.1016/j.jpaa.2024.107758","DOIUrl":"10.1016/j.jpaa.2024.107758","url":null,"abstract":"<div><p>Let <span><math><mi>k</mi></math></span> be a field of characteristic <span><math><mi>p</mi><mo>></mo><mn>0</mn></math></span>, <em>V</em> a finite-dimensional <span><math><mi>k</mi></math></span>-vector-space, and <em>G</em> a finite <em>p</em>-group acting <span><math><mi>k</mi></math></span>-linearly on <em>V</em>. Let <span><math><mi>S</mi><mo>=</mo><mi>Sym</mi><mspace></mspace><msup><mrow><mi>V</mi></mrow><mrow><mo>⁎</mo></mrow></msup></math></span>. Confirming a conjecture of Shank-Wehlau-Broer, we show that if <span><math><msup><mrow><mi>S</mi></mrow><mrow><mi>G</mi></mrow></msup></math></span> is a direct summand of <em>S</em>, then <span><math><msup><mrow><mi>S</mi></mrow><mrow><mi>G</mi></mrow></msup></math></span> is a polynomial ring, in the following cases:</p><ul><li><span>(a)</span><span><p><span><math><mi>k</mi><mo>=</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span> and <span><math><msub><mrow><mi>dim</mi></mrow><mrow><mi>k</mi></mrow></msub><mo></mo><mi>V</mi><mo>=</mo><mn>4</mn></math></span>; or</p></span></li><li><span>(b)</span><span><p><span><math><mo>|</mo><mi>G</mi><mo>|</mo><mo>=</mo><msup><mrow><mi>p</mi></mrow><mrow><mn>3</mn></mrow></msup></math></span>.</p></span></li></ul> In order to prove the above result, we also show that if <span><math><msub><mrow><mi>dim</mi></mrow><mrow><mi>k</mi></mrow></msub><mo></mo><msup><mrow><mi>V</mi></mrow><mrow><mi>G</mi></mrow></msup><mo>≥</mo><msub><mrow><mi>dim</mi></mrow><mrow><mi>k</mi></mrow></msub><mo></mo><mi>V</mi><mo>−</mo><mn>2</mn></math></span>, then the Hilbert ideal <span><math><msub><mrow><mi>h</mi></mrow><mrow><mi>G</mi><mo>,</mo><mi>S</mi></mrow></msub></math></span> is a complete intersection.</div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"228 12","pages":"Article 107758"},"PeriodicalIF":0.7,"publicationDate":"2024-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141551431","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-06-27DOI: 10.1016/j.jpaa.2024.107760
Darius Dramburg , Oleksandra Gasanova
Let act on by change of variables. Then, the skew-group algebra is bimodule -Calabi-Yau. In certain circumstances, this algebra admits a locally finite-dimensional grading of Gorenstein parameter 1, in which case it is the -preprojective algebra of its n-representation infinite degree 0 piece, as defined in [10]. If the group G is abelian, the -preprojective algebra is said to be of type . For a given group G, it is not obvious whether admits such a grading making it into an -preprojective algebra. We study the case when and G is abelian. We give an explicit classification of groups such that is 3-preprojective by constructing such gradings. This is possible as long as G is not a subgroup of and not . For a fixed G, the algebra admits different 3-preprojective gradings, so we associate a type to a grading and classify all types. Then we show that gradings of the same type are related by a certain kind of mutation. This gives a classification of 2-representation infinite algebras of type . The involved quivers are those arising from hexagonal dimer models on the torus, and the gradings we consider correspond to perfect matchings on the dimer, or equivalently to periodic lozenge tilings of the plane. Consequently, we classify these tilings up to flips, which correspond to the mutation we consider.
{"title":"The 3-preprojective algebras of type A˜","authors":"Darius Dramburg , Oleksandra Gasanova","doi":"10.1016/j.jpaa.2024.107760","DOIUrl":"https://doi.org/10.1016/j.jpaa.2024.107760","url":null,"abstract":"<div><p>Let <span><math><mi>G</mi><mo>≤</mo><msub><mrow><mi>SL</mi></mrow><mrow><mi>n</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>(</mo><mi>C</mi><mo>)</mo></math></span> act on <span><math><mi>R</mi><mo>=</mo><mi>C</mi><mo>[</mo><msub><mrow><mi>X</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>]</mo></math></span> by change of variables. Then, the skew-group algebra <span><math><mi>R</mi><mo>⁎</mo><mi>G</mi></math></span> is bimodule <span><math><mo>(</mo><mi>n</mi><mo>+</mo><mn>1</mn><mo>)</mo></math></span>-Calabi-Yau. In certain circumstances, this algebra admits a locally finite-dimensional grading of Gorenstein parameter 1, in which case it is the <span><math><mo>(</mo><mi>n</mi><mo>+</mo><mn>1</mn><mo>)</mo></math></span>-preprojective algebra of its <em>n</em>-representation infinite degree 0 piece, as defined in <span>[10]</span>. If the group <em>G</em> is abelian, the <span><math><mo>(</mo><mi>n</mi><mo>+</mo><mn>1</mn><mo>)</mo></math></span>-preprojective algebra is said to be of type <span><math><mover><mrow><mi>A</mi></mrow><mrow><mo>˜</mo></mrow></mover></math></span>. For a given group <em>G</em>, it is not obvious whether <span><math><mi>R</mi><mo>⁎</mo><mi>G</mi></math></span> admits such a grading making it into an <span><math><mo>(</mo><mi>n</mi><mo>+</mo><mn>1</mn><mo>)</mo></math></span>-preprojective algebra. We study the case when <span><math><mi>n</mi><mo>=</mo><mn>2</mn></math></span> and <em>G</em> is abelian. We give an explicit classification of groups such that <span><math><mi>R</mi><mo>⁎</mo><mi>G</mi></math></span> is 3-preprojective by constructing such gradings. This is possible as long as <em>G</em> is not a subgroup of <span><math><msub><mrow><mi>SL</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>(</mo><mi>C</mi><mo>)</mo></math></span> and not <span><math><msub><mrow><mi>C</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>×</mo><msub><mrow><mi>C</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>. For a fixed <em>G</em>, the algebra <span><math><mi>R</mi><mo>⁎</mo><mi>G</mi></math></span> admits different 3-preprojective gradings, so we associate a type to a grading and classify all types. Then we show that gradings of the same type are related by a certain kind of mutation. This gives a classification of 2-representation infinite algebras of type <span><math><mover><mrow><mi>A</mi></mrow><mrow><mo>˜</mo></mrow></mover></math></span>. The involved quivers are those arising from hexagonal dimer models on the torus, and the gradings we consider correspond to perfect matchings on the dimer, or equivalently to periodic lozenge tilings of the plane. Consequently, we classify these tilings up to flips, which correspond to the mutation we consider.</p></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"228 12","pages":"Article 107760"},"PeriodicalIF":0.7,"publicationDate":"2024-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0022404924001579/pdfft?md5=0a6792a213bba8d7f8d057c5a015caf7&pid=1-s2.0-S0022404924001579-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141539785","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-06-27DOI: 10.1016/j.jpaa.2024.107759
Nico Lorenz , Kristýna Zemková
Let F be a field of characteristic 2, π an n-fold bilinear Pfister form over F and φ an arbitrary quadratic form over F. In this note, we investigate Witt index, defect, total isotropy index and higher isotropy indices of φ and and prove relations among the indices of these two forms over certain field extensions.
{"title":"Isotropy indices of Pfister multiples in characteristic 2","authors":"Nico Lorenz , Kristýna Zemková","doi":"10.1016/j.jpaa.2024.107759","DOIUrl":"10.1016/j.jpaa.2024.107759","url":null,"abstract":"<div><p>Let <em>F</em> be a field of characteristic 2, <em>π</em> an <em>n</em>-fold bilinear Pfister form over <em>F</em> and <em>φ</em> an arbitrary quadratic form over <em>F</em>. In this note, we investigate Witt index, defect, total isotropy index and higher isotropy indices of <em>φ</em> and <span><math><mi>π</mi><mo>⊗</mo><mi>φ</mi></math></span> and prove relations among the indices of these two forms over certain field extensions.</p></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"228 12","pages":"Article 107759"},"PeriodicalIF":0.7,"publicationDate":"2024-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0022404924001567/pdfft?md5=4a793c50fe87144e70295cee7055ed3c&pid=1-s2.0-S0022404924001567-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141509314","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-06-27DOI: 10.1016/j.jpaa.2024.107757
E. Bujalance , F.J. Cirre , J.M. Gamboa
We study large groups of automorphisms of compact orientable bordered Klein surfaces of topological genus one. Here, large means that the order of the group is greater than or equal to , where is the algebraic genus of the surface. We find all such groups, providing presentations by means of generators and relations of them. We also determine which of these groups act as the full automorphism group of some bordered torus.
{"title":"Large automorphism groups of bordered tori","authors":"E. Bujalance , F.J. Cirre , J.M. Gamboa","doi":"10.1016/j.jpaa.2024.107757","DOIUrl":"10.1016/j.jpaa.2024.107757","url":null,"abstract":"<div><p>We study large groups of automorphisms of compact orientable bordered Klein surfaces of topological genus one. Here, <em>large</em> means that the order of the group is greater than or equal to <span><math><mn>4</mn><mo>(</mo><mi>g</mi><mo>−</mo><mn>1</mn><mo>)</mo></math></span>, where <span><math><mi>g</mi><mo>≥</mo><mn>2</mn></math></span> is the algebraic genus of the surface. We find all such groups, providing presentations by means of generators and relations of them. We also determine which of these groups act as the full automorphism group of some bordered torus.</p></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"228 12","pages":"Article 107757"},"PeriodicalIF":0.7,"publicationDate":"2024-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0022404924001543/pdfft?md5=7c2f0e2211052948517b0149c23295e8&pid=1-s2.0-S0022404924001543-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141551429","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}