Pub Date : 2025-10-01DOI: 10.1016/j.jpaa.2025.108104
Justin Fong , Mitsuhiro Miyazaki
The F-pure threshold is the characteristic p counter part of the log canonical threshold in characteristic zero. It is a numerical invariant associated to the singularities of a variety, hence computing its value is important. We give a closed formula for the F-pure threshold of the irrelevant maximal ideal of Schubert cycles, which are the homogeneous coordinate rings of Schubert subvarieties of a Grassmannian. The main point of the computation is to give an explicit formula for the a-invariant of a Schubert cycle. The derivation of both formulas is made possible through the combinatorics of the underlying poset of these rings.
f -纯阈值是特征0中对数正则阈值的特征p计数器部分。它是一个与各种奇点有关的数值不变量,因此计算它的值是很重要的。我们给出了无关极大理想Schubert环的f -纯阈值的一个封闭公式,Schubert环是一类Grassmannian的Schubert子变量的齐次坐标环。计算的重点是给出舒伯特循环的a不变量的显式公式。这两个公式的推导是通过对这些环的基本偏序集的组合而实现的。
{"title":"The F-pure threshold of a Schubert cycle","authors":"Justin Fong , Mitsuhiro Miyazaki","doi":"10.1016/j.jpaa.2025.108104","DOIUrl":"10.1016/j.jpaa.2025.108104","url":null,"abstract":"<div><div>The <em>F</em>-pure threshold is the characteristic <em>p</em> counter part of the log canonical threshold in characteristic zero. It is a numerical invariant associated to the singularities of a variety, hence computing its value is important. We give a closed formula for the <em>F</em>-pure threshold of the irrelevant maximal ideal of Schubert cycles, which are the homogeneous coordinate rings of Schubert subvarieties of a Grassmannian. The main point of the computation is to give an explicit formula for the <em>a</em>-invariant of a Schubert cycle. The derivation of both formulas is made possible through the combinatorics of the underlying poset of these rings.</div></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"229 11","pages":"Article 108104"},"PeriodicalIF":0.8,"publicationDate":"2025-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145222116","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 : 2025-10-01DOI: 10.1016/j.jpaa.2025.108101
Elad Paran , Thieu N. Vo
We study Noether's normalization lemma for finitely generated algebras over a division algebra. In its classical form, the lemma states that if I is a proper ideal of the ring of polynomials over a field F, then the quotient ring is a finite extension of a polynomial ring over F. We prove that the lemma holds when is the ring of polynomials in n central variables over a division algebra D. We provide examples demonstrating that Noether's normalization may fail for the skew polynomial ring with respect to commuting automorphisms of D. We give a sufficient condition for under which the normalization lemma holds for such ring. In the case where is a field, this sufficient condition is proved to be necessary.
{"title":"Noether's normalization in skew polynomial rings","authors":"Elad Paran , Thieu N. Vo","doi":"10.1016/j.jpaa.2025.108101","DOIUrl":"10.1016/j.jpaa.2025.108101","url":null,"abstract":"<div><div>We study Noether's normalization lemma for finitely generated algebras over a division algebra. In its classical form, the lemma states that if <em>I</em> is a proper ideal of the ring <span><math><mi>R</mi><mo>=</mo><mi>F</mi><mo>[</mo><msub><mrow><mi>t</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>t</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>]</mo></math></span> of polynomials over a field <em>F</em>, then the quotient ring <span><math><mi>R</mi><mo>/</mo><mi>I</mi></math></span> is a finite extension of a polynomial ring over <em>F</em>. We prove that the lemma holds when <span><math><mi>R</mi><mo>=</mo><mi>D</mi><mo>[</mo><msub><mrow><mi>t</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>t</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>]</mo></math></span> is the ring of polynomials in <em>n</em> central variables over a division algebra <em>D</em>. We provide examples demonstrating that Noether's normalization may fail for the skew polynomial ring <span><math><mi>D</mi><mo>[</mo><msub><mrow><mi>t</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>t</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>;</mo><msub><mrow><mi>σ</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>σ</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>]</mo></math></span> with respect to commuting automorphisms <span><math><msub><mrow><mi>σ</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>σ</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> of <em>D</em>. We give a sufficient condition for <span><math><msub><mrow><mi>σ</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>σ</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> under which the normalization lemma holds for such ring. In the case where <span><math><mi>D</mi><mo>=</mo><mi>F</mi></math></span> is a field, this sufficient condition is proved to be necessary.</div></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"229 11","pages":"Article 108101"},"PeriodicalIF":0.8,"publicationDate":"2025-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145222115","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 : 2025-10-01DOI: 10.1016/j.jpaa.2025.108103
Natsume Kitagawa
Corti defined the notion of standard models of del Pezzo fibrations, and studied their existence over with a fixed generic fibre in [6]. In this paper, we prove the existence of standard models of del Pezzo fibrations of degree 4 in characteristic >2. To show this, we use the notion of Kollár stability, which was introduced in [12] and [1].
{"title":"On the standard models of del Pezzo fibrations of degree four","authors":"Natsume Kitagawa","doi":"10.1016/j.jpaa.2025.108103","DOIUrl":"10.1016/j.jpaa.2025.108103","url":null,"abstract":"<div><div>Corti defined the notion of standard models of del Pezzo fibrations, and studied their existence over <span><math><mi>C</mi></math></span> with a fixed generic fibre in <span><span>[6]</span></span>. In this paper, we prove the existence of standard models of del Pezzo fibrations of degree 4 in characteristic >2. To show this, we use the notion of Kollár stability, which was introduced in <span><span>[12]</span></span> and <span><span>[1]</span></span>.</div></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"229 11","pages":"Article 108103"},"PeriodicalIF":0.8,"publicationDate":"2025-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145333342","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 : 2025-09-29DOI: 10.1016/j.jpaa.2025.108100
Mark Colarusso , Sam Evens
<div><div>Let <span><math><mi>G</mi><mo>=</mo><mi>G</mi><mi>L</mi><mo>(</mo><mi>n</mi><mo>)</mo></math></span> be the <span><math><mi>n</mi><mo>×</mo><mi>n</mi></math></span> complex general linear group and let <span><math><msub><mrow><mi>B</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> be its flag variety. The standard Borel subgroup <em>B</em> of upper triangular matrices acts on the product <span><math><msub><mrow><mi>B</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>×</mo><msup><mrow><mi>P</mi></mrow><mrow><mi>n</mi><mo>−</mo><mn>1</mn></mrow></msup></math></span> diagonally with finitely many orbits. In this paper, we study the <em>B</em>-orbits on the subvarieties <span><math><msub><mrow><mi>B</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>×</mo><msub><mrow><mi>O</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span>, where <span><math><msub><mrow><mi>O</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> is the <em>B</em>-orbit on <span><math><msup><mrow><mi>P</mi></mrow><mrow><mi>n</mi><mo>−</mo><mn>1</mn></mrow></msup></math></span> containing the line through the origin in the direction of the <em>i</em>-th standard basis vector of <span><math><msup><mrow><mi>C</mi></mrow><mrow><mi>n</mi></mrow></msup></math></span>. For each <span><math><mi>i</mi><mo>=</mo><mn>1</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>n</mi></math></span>, we construct a bijection between <em>B</em>-orbits on <span><math><msub><mrow><mi>B</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>×</mo><msub><mrow><mi>O</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> and certain pairs of Schubert cells in <span><math><msub><mrow><mi>B</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>×</mo><msub><mrow><mi>B</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>. We also show that this bijection can be used to understand the Richardson-Springer monoid action on such <em>B</em>-orbits in terms of the classical monoid action of the symmetric group on itself. We also develop combinatorial models of these orbits and use these models to compute exponential generating functions for the sequences <span><math><msub><mrow><mo>{</mo><mo>|</mo><mi>B</mi><mo>﹨</mo><mo>(</mo><msub><mrow><mi>B</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>×</mo><msub><mrow><mi>O</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>)</mo><mo>|</mo><mo>}</mo></mrow><mrow><mi>n</mi><mo>≥</mo><mn>1</mn></mrow></msub></math></span> and <span><math><msub><mrow><mo>{</mo><mo>|</mo><mi>B</mi><mo>﹨</mo><mo>(</mo><msub><mrow><mi>B</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>×</mo><msup><mrow><mi>P</mi></mrow><mrow><mi>n</mi><mo>−</mo><mn>1</mn></mrow></msup><mo>)</mo><mo>|</mo><mo>}</mo></mrow><mrow><mi>n</mi><mo>≥</mo><mn>1</mn></mrow></msub></math></span>. In the sequel to this paper, we use the results of this paper to construct a correspondence between <em>B</em>-orbits on <span><math><msub><mrow><mi>B</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>×</mo><msup><mrow><mi>P</mi></mrow><mrow><mi>n</mi><mo>−</mo><mn>1</mn>
{"title":"Orbits on a product of two flags and a line and the Bruhat order, I","authors":"Mark Colarusso , Sam Evens","doi":"10.1016/j.jpaa.2025.108100","DOIUrl":"10.1016/j.jpaa.2025.108100","url":null,"abstract":"<div><div>Let <span><math><mi>G</mi><mo>=</mo><mi>G</mi><mi>L</mi><mo>(</mo><mi>n</mi><mo>)</mo></math></span> be the <span><math><mi>n</mi><mo>×</mo><mi>n</mi></math></span> complex general linear group and let <span><math><msub><mrow><mi>B</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> be its flag variety. The standard Borel subgroup <em>B</em> of upper triangular matrices acts on the product <span><math><msub><mrow><mi>B</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>×</mo><msup><mrow><mi>P</mi></mrow><mrow><mi>n</mi><mo>−</mo><mn>1</mn></mrow></msup></math></span> diagonally with finitely many orbits. In this paper, we study the <em>B</em>-orbits on the subvarieties <span><math><msub><mrow><mi>B</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>×</mo><msub><mrow><mi>O</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span>, where <span><math><msub><mrow><mi>O</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> is the <em>B</em>-orbit on <span><math><msup><mrow><mi>P</mi></mrow><mrow><mi>n</mi><mo>−</mo><mn>1</mn></mrow></msup></math></span> containing the line through the origin in the direction of the <em>i</em>-th standard basis vector of <span><math><msup><mrow><mi>C</mi></mrow><mrow><mi>n</mi></mrow></msup></math></span>. For each <span><math><mi>i</mi><mo>=</mo><mn>1</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>n</mi></math></span>, we construct a bijection between <em>B</em>-orbits on <span><math><msub><mrow><mi>B</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>×</mo><msub><mrow><mi>O</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> and certain pairs of Schubert cells in <span><math><msub><mrow><mi>B</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>×</mo><msub><mrow><mi>B</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>. We also show that this bijection can be used to understand the Richardson-Springer monoid action on such <em>B</em>-orbits in terms of the classical monoid action of the symmetric group on itself. We also develop combinatorial models of these orbits and use these models to compute exponential generating functions for the sequences <span><math><msub><mrow><mo>{</mo><mo>|</mo><mi>B</mi><mo>﹨</mo><mo>(</mo><msub><mrow><mi>B</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>×</mo><msub><mrow><mi>O</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>)</mo><mo>|</mo><mo>}</mo></mrow><mrow><mi>n</mi><mo>≥</mo><mn>1</mn></mrow></msub></math></span> and <span><math><msub><mrow><mo>{</mo><mo>|</mo><mi>B</mi><mo>﹨</mo><mo>(</mo><msub><mrow><mi>B</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>×</mo><msup><mrow><mi>P</mi></mrow><mrow><mi>n</mi><mo>−</mo><mn>1</mn></mrow></msup><mo>)</mo><mo>|</mo><mo>}</mo></mrow><mrow><mi>n</mi><mo>≥</mo><mn>1</mn></mrow></msub></math></span>. In the sequel to this paper, we use the results of this paper to construct a correspondence between <em>B</em>-orbits on <span><math><msub><mrow><mi>B</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>×</mo><msup><mrow><mi>P</mi></mrow><mrow><mi>n</mi><mo>−</mo><mn>1</mn>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"229 11","pages":"Article 108100"},"PeriodicalIF":0.8,"publicationDate":"2025-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145222120","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 : 2025-09-25DOI: 10.1016/j.jpaa.2025.108099
Henry Bradford
In [4] Bou-Rabee and Seward constructed examples of finitely generated residually finite groups G whose residual finiteness growth function can be at least as fast as any prescribed function. In this note we describe a modified version of their construction, which allows us to give a complementary upper bound on . As such, every nondecreasing function at least is close to the residual finiteness growth function of some finitely generated group. We also have similar result for the full residual finiteness growth function and for the divisibility function.
{"title":"On the spectrum of residual finiteness growth functions","authors":"Henry Bradford","doi":"10.1016/j.jpaa.2025.108099","DOIUrl":"10.1016/j.jpaa.2025.108099","url":null,"abstract":"<div><div>In <span><span>[4]</span></span> Bou-Rabee and Seward constructed examples of finitely generated residually finite groups <em>G</em> whose residual finiteness growth function <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>G</mi></mrow></msub></math></span> can be at least as fast as any prescribed function. In this note we describe a modified version of their construction, which allows us to give a complementary upper bound on <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>G</mi></mrow></msub></math></span>. As such, every nondecreasing function at least <span><math><mi>exp</mi><mo></mo><mo>(</mo><mi>n</mi><mi>log</mi><mo></mo><msup><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow><mrow><mn>2</mn></mrow></msup><mi>log</mi><mo></mo><mi>log</mi><mo></mo><msup><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow><mrow><mn>1</mn><mo>+</mo><mi>ϵ</mi></mrow></msup><mo>)</mo></math></span> is close to the residual finiteness growth function of some finitely generated group. We also have similar result for the <em>full</em> residual finiteness growth function and for the divisibility function.</div></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"229 11","pages":"Article 108099"},"PeriodicalIF":0.8,"publicationDate":"2025-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145222118","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 : 2025-09-19DOI: 10.1016/j.jpaa.2025.108096
Yanjie Li , Shizhuo Zhang
Let be 2g dimensional quadrics in and let Y be the smooth intersection . We associate the linear subspaces in Y with vector bundles on the hyperelliptic curve C of genus g via categorical methods. As an application, we give a different proof of the classification of line bundles and stable bundles of rank 2 on hyperelliptic curves given by Desale and Ramanan. When , we show that the projection functor induces a closed embedding into the moduli space of stable bundles on C of rank 4 of fixed determinant.
{"title":"Linear subspaces of the intersection of two quadrics via Kuznetsov component","authors":"Yanjie Li , Shizhuo Zhang","doi":"10.1016/j.jpaa.2025.108096","DOIUrl":"10.1016/j.jpaa.2025.108096","url":null,"abstract":"<div><div>Let <span><math><msub><mrow><mi>Q</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>(</mo><mi>i</mi><mo>=</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>)</mo></math></span> be 2<em>g</em> dimensional quadrics in <span><math><msup><mrow><mi>P</mi></mrow><mrow><mn>2</mn><mi>g</mi><mo>+</mo><mn>1</mn></mrow></msup></math></span> and let <em>Y</em> be the smooth intersection <span><math><msub><mrow><mi>Q</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>∩</mo><msub><mrow><mi>Q</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>. We associate the linear subspaces in <em>Y</em> with vector bundles on the hyperelliptic curve <em>C</em> of genus <em>g</em> via categorical methods. As an application, we give a different proof of the classification of line bundles and stable bundles of rank 2 on hyperelliptic curves given by Desale and Ramanan. When <span><math><mi>g</mi><mo>=</mo><mn>3</mn></math></span>, we show that the projection functor induces a closed embedding <span><math><mi>α</mi><mo>:</mo><mi>Y</mi><mo>→</mo><mi>S</mi><msubsup><mrow><mi>U</mi></mrow><mrow><mi>C</mi></mrow><mrow><mi>s</mi></mrow></msubsup><mo>(</mo><mn>4</mn><mo>,</mo><mi>h</mi><mo>)</mo></math></span> into the moduli space of stable bundles on <em>C</em> of rank 4 of fixed determinant.</div></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"229 11","pages":"Article 108096"},"PeriodicalIF":0.8,"publicationDate":"2025-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145120999","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 : 2025-09-19DOI: 10.1016/j.jpaa.2025.108098
Kamal Aziziheris , Necat Gorentas , Zinah Naser Sulaiman
Let be the average degree of irreducible characters of G with odd degree. It has been proved that if , then G is a solvable group. On the other hand, let be the average degree of linear characters and irreducible characters of G with even degree. It has been shown that if , then G is a solvable group. In this paper, we improve these bounds and we show that if G is a finite group with , then either G is a solvable group or G has a chief factor isomorphic to . Also, we prove that if G is a finite group with , then either G is a solvable group or all minimal normal subgroups of G are abelian or isomorphic to . Clearly, these bounds are the best.
{"title":"On the average degree of characters with odd or even degrees","authors":"Kamal Aziziheris , Necat Gorentas , Zinah Naser Sulaiman","doi":"10.1016/j.jpaa.2025.108098","DOIUrl":"10.1016/j.jpaa.2025.108098","url":null,"abstract":"<div><div>Let <span><math><msub><mrow><mi>acd</mi></mrow><mrow><msup><mrow><mn>2</mn></mrow><mrow><mo>′</mo></mrow></msup></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span> be the average degree of irreducible characters of <em>G</em> with odd degree. It has been proved that if <span><math><msub><mrow><mi>acd</mi></mrow><mrow><msup><mrow><mn>2</mn></mrow><mrow><mo>′</mo></mrow></msup></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo><mo><</mo><msub><mrow><mi>acd</mi></mrow><mrow><msup><mrow><mn>2</mn></mrow><mrow><mo>′</mo></mrow></msup></mrow></msub><mo>(</mo><msub><mrow><mtext>A</mtext></mrow><mrow><mn>5</mn></mrow></msub><mo>)</mo><mo>=</mo><mn>3</mn></math></span>, then <em>G</em> is a solvable group. On the other hand, let <span><math><msub><mrow><mi>acd</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span> be the average degree of linear characters and irreducible characters of <em>G</em> with even degree. It has been shown that if <span><math><msub><mrow><mi>acd</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo><mo><</mo><msub><mrow><mi>acd</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>(</mo><msub><mrow><mtext>A</mtext></mrow><mrow><mn>5</mn></mrow></msub><mo>)</mo><mo>=</mo><mn>5</mn><mo>/</mo><mn>2</mn></math></span>, then <em>G</em> is a solvable group. In this paper, we improve these bounds and we show that if <em>G</em> is a finite group with <span><math><msub><mrow><mi>acd</mi></mrow><mrow><msup><mrow><mn>2</mn></mrow><mrow><mo>′</mo></mrow></msup></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo><mo><</mo><msub><mrow><mi>acd</mi></mrow><mrow><msup><mrow><mn>2</mn></mrow><mrow><mo>′</mo></mrow></msup></mrow></msub><mo>(</mo><mrow><mi>PSL</mi></mrow><mo>(</mo><mn>2</mn><mo>,</mo><mn>7</mn><mo>)</mo><mo>)</mo><mo>=</mo><mn>7</mn><mo>/</mo><mn>2</mn></math></span>, then either <em>G</em> is a solvable group or <em>G</em> has a chief factor isomorphic to <span><math><msub><mrow><mtext>A</mtext></mrow><mrow><mn>5</mn></mrow></msub></math></span>. Also, we prove that if <em>G</em> is a finite group with <span><math><msub><mrow><mi>acd</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo><mo><</mo><msub><mrow><mi>acd</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>(</mo><mrow><mi>PSL</mi></mrow><mo>(</mo><mn>2</mn><mo>,</mo><mn>8</mn><mo>)</mo><mo>)</mo><mo>=</mo><mn>9</mn><mo>/</mo><mn>2</mn></math></span>, then either <em>G</em> is a solvable group or all minimal normal subgroups of <em>G</em> are abelian or isomorphic to <span><math><msub><mrow><mtext>A</mtext></mrow><mrow><mn>5</mn></mrow></msub></math></span>. Clearly, these bounds are the best.</div></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"229 11","pages":"Article 108098"},"PeriodicalIF":0.8,"publicationDate":"2025-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145121044","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 : 2025-09-19DOI: 10.1016/j.jpaa.2025.108097
Robert Auffarth , Jorge Duque Franco
The rank ρ of the Néron-Severi group of a complex torus X of dimension g satisfies . The degree of the extension field generated over by the entries of a period matrix of X imposes constraints on its Picard number ρ and, consequently, on the structure of X. In this paper, we show that when is 2, 3, or 4, the Picard number ρ is necessarily large. Moreover, for an abelian variety X of dimension g with , we establish a structure-type result: X must be isogenous to , where E is an elliptic curve without complex multiplication. In this case, the Picard number satisfies . As a byproduct, we obtain that if is odd, then .
{"title":"On the Picard number and the extension degree of period matrices of complex tori","authors":"Robert Auffarth , Jorge Duque Franco","doi":"10.1016/j.jpaa.2025.108097","DOIUrl":"10.1016/j.jpaa.2025.108097","url":null,"abstract":"<div><div>The rank <em>ρ</em> of the Néron-Severi group of a complex torus <em>X</em> of dimension <em>g</em> satisfies <span><math><mn>0</mn><mo>≤</mo><mi>ρ</mi><mo>≤</mo><msup><mrow><mi>g</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>=</mo><msup><mrow><mi>h</mi></mrow><mrow><mn>1</mn><mo>,</mo><mn>1</mn></mrow></msup></math></span>. The degree <span><math><mi>d</mi></math></span> of the extension field generated over <span><math><mi>Q</mi></math></span> by the entries of a period matrix of <em>X</em> imposes constraints on its Picard number <em>ρ</em> and, consequently, on the structure of <em>X</em>. In this paper, we show that when <span><math><mi>d</mi></math></span> is 2, 3, or 4, the Picard number <em>ρ</em> is necessarily large. Moreover, for an abelian variety <em>X</em> of dimension <em>g</em> with <span><math><mi>d</mi><mo>=</mo><mn>3</mn></math></span>, we establish a structure-type result: <em>X</em> must be isogenous to <span><math><msup><mrow><mi>E</mi></mrow><mrow><mi>g</mi></mrow></msup></math></span>, where <em>E</em> is an elliptic curve without complex multiplication. In this case, the Picard number satisfies <span><math><mi>ρ</mi><mo>(</mo><mi>X</mi><mo>)</mo><mo>=</mo><mfrac><mrow><mi>g</mi><mo>(</mo><mi>g</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow><mrow><mn>2</mn></mrow></mfrac></math></span>. As a byproduct, we obtain that if <span><math><mi>d</mi></math></span> is odd, then <span><math><mi>ρ</mi><mo>(</mo><mi>X</mi><mo>)</mo><mo>≤</mo><mfrac><mrow><mi>g</mi><mo>(</mo><mi>g</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow><mrow><mn>2</mn></mrow></mfrac></math></span>.</div></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"229 11","pages":"Article 108097"},"PeriodicalIF":0.8,"publicationDate":"2025-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145159547","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 : 2025-09-17DOI: 10.1016/j.jpaa.2025.108095
Adriano De Santana , Rene Baltazar , Robson Vinciguerra , Wilian De Araujo
This paper investigates the isotropy groups of derivations on the Quantum Plane , defined by the relation , where , with . The main goal is to determine the automorphisms of the Quantum Plane that commutes with a fixed derivation δ. We describe conditions under which the isotropy group is trivial, finite, or infinite, depending on the structure of δ and whether q is a root of unity: additionally, we present the structure of the group in the finite case. A key tool is the analysis of polynomial equations of the form , arising from monomials in the inner part of δ. We also make explicit which finite subgroups of are isotropy groups of some derivation: either q root of unity or not. Techniques from algebraic geometry, such as intersection multiplicity, are also employed in the classification of the finite case.
{"title":"On isotropy groups of quantum plane","authors":"Adriano De Santana , Rene Baltazar , Robson Vinciguerra , Wilian De Araujo","doi":"10.1016/j.jpaa.2025.108095","DOIUrl":"10.1016/j.jpaa.2025.108095","url":null,"abstract":"<div><div>This paper investigates the isotropy groups of derivations on the Quantum Plane <span><math><msub><mrow><mi>k</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>[</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>]</mo></math></span>, defined by the relation <span><math><mi>y</mi><mi>x</mi><mo>=</mo><mi>q</mi><mi>x</mi><mi>y</mi></math></span>, where <span><math><mi>q</mi><mo>∈</mo><msup><mrow><mi>k</mi></mrow><mrow><mo>⁎</mo></mrow></msup></math></span>, with <span><math><msup><mrow><mi>q</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>≠</mo><mn>1</mn></math></span>. The main goal is to determine the automorphisms of the Quantum Plane that commutes with a fixed derivation <em>δ</em>. We describe conditions under which the isotropy group <span><math><msub><mrow><mtext>Aut</mtext></mrow><mrow><mi>δ</mi></mrow></msub><mo>(</mo><mi>A</mi><mo>)</mo></math></span> is trivial, finite, or infinite, depending on the structure of <em>δ</em> and whether <em>q</em> is a root of unity: additionally, we present the structure of the group in the finite case. A key tool is the analysis of polynomial equations of the form <span><math><msubsup><mrow><mi>μ</mi></mrow><mrow><mn>1</mn></mrow><mrow><mi>a</mi></mrow></msubsup><msubsup><mrow><mi>μ</mi></mrow><mrow><mn>2</mn></mrow><mrow><mi>b</mi></mrow></msubsup><mo>=</mo><mn>1</mn></math></span>, arising from monomials in the inner part of <em>δ</em>. We also make explicit which finite subgroups of <span><math><mi>Aut</mi><mo>(</mo><msub><mrow><mi>k</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>[</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>]</mo><mo>)</mo></math></span> are isotropy groups of some derivation: either <em>q</em> root of unity or not. Techniques from algebraic geometry, such as intersection multiplicity, are also employed in the classification of the finite case.</div></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"229 11","pages":"Article 108095"},"PeriodicalIF":0.8,"publicationDate":"2025-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145109500","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 : 2025-09-15DOI: 10.1016/j.jpaa.2025.108094
Shripad M. Garge , Deep H. Makadiya
Let R be a commutative ring with unity. Consider the twisted Chevalley group of type Φ over R and its elementary subgroup . This paper investigates the normalizers of and in the larger group , where S is an extension ring of R. We establish that under certain conditions on R these normalizers coincide. Moreover, in the case of adjoint type groups, we show that they are precisely equal to .
{"title":"Normalizer of twisted Chevalley groups over commutative rings","authors":"Shripad M. Garge , Deep H. Makadiya","doi":"10.1016/j.jpaa.2025.108094","DOIUrl":"10.1016/j.jpaa.2025.108094","url":null,"abstract":"<div><div>Let <em>R</em> be a commutative ring with unity. Consider the twisted Chevalley group <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>π</mi><mo>,</mo><mi>σ</mi></mrow></msub><mo>(</mo><mi>Φ</mi><mo>,</mo><mi>R</mi><mo>)</mo></math></span> of type Φ over <em>R</em> and its elementary subgroup <span><math><msubsup><mrow><mi>E</mi></mrow><mrow><mi>π</mi><mo>,</mo><mi>σ</mi></mrow><mrow><mo>′</mo></mrow></msubsup><mo>(</mo><mi>Φ</mi><mo>,</mo><mi>R</mi><mo>)</mo></math></span>. This paper investigates the normalizers of <span><math><msubsup><mrow><mi>E</mi></mrow><mrow><mi>π</mi><mo>,</mo><mi>σ</mi></mrow><mrow><mo>′</mo></mrow></msubsup><mo>(</mo><mi>Φ</mi><mo>,</mo><mi>R</mi><mo>)</mo></math></span> and <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>π</mi><mo>,</mo><mi>σ</mi></mrow></msub><mo>(</mo><mi>Φ</mi><mo>,</mo><mi>R</mi><mo>)</mo></math></span> in the larger group <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>π</mi><mo>,</mo><mi>σ</mi></mrow></msub><mo>(</mo><mi>Φ</mi><mo>,</mo><mi>S</mi><mo>)</mo></math></span>, where <em>S</em> is an extension ring of <em>R</em>. We establish that under certain conditions on <em>R</em> these normalizers coincide. Moreover, in the case of adjoint type groups, we show that they are precisely equal to <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>π</mi><mo>,</mo><mi>σ</mi></mrow></msub><mo>(</mo><mi>Φ</mi><mo>,</mo><mi>R</mi><mo>)</mo></math></span>.</div></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"229 11","pages":"Article 108094"},"PeriodicalIF":0.8,"publicationDate":"2025-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145109501","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}