Pub Date : 2025-12-04DOI: 10.1016/j.jalgebra.2025.11.022
Zhencai Shen, Shengmin Zhang
Let P be a p-group and a saturated fusion system over P. is said to be supersolvable, if there exists a series such that is cyclic, and is strongly -closed. In this paper, we firstly investigate the basic relationship between normal subgroups of finite groups and fusion systems, and secondly give criteria for and to be supersolvable under the assumption that certain subgroups R of P are strongly closed, normal in , or satisfy . As applications of those theorems, we finally obtain several corollaries dealing with constrained fusion systems and finite groups.
{"title":"Strongly closed subgroups of saturated fusion systems","authors":"Zhencai Shen, Shengmin Zhang","doi":"10.1016/j.jalgebra.2025.11.022","DOIUrl":"10.1016/j.jalgebra.2025.11.022","url":null,"abstract":"<div><div>Let <em>P</em> be a <em>p</em>-group and <span><math><mi>F</mi></math></span> a saturated fusion system over <em>P</em>. <span><math><mi>F</mi></math></span> is said to be supersolvable, if there exists a series <span><math><mi>Γ</mi><mo>:</mo><mn>1</mn><mo>=</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>⩽</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>⩽</mo><mo>⋯</mo><mo>⩽</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>=</mo><mi>P</mi></math></span> such that <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>i</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>/</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> is cyclic, and <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> is strongly <span><math><mi>F</mi></math></span>-closed. In this paper, we firstly investigate the basic relationship between normal subgroups of finite groups and fusion systems, and secondly give criteria for <span><math><mi>F</mi></math></span> and <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>P</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span> to be supersolvable under the assumption that certain subgroups <em>R</em> of <em>P</em> are strongly closed, normal in <span><math><mi>F</mi></math></span>, or satisfy <span><math><mi>F</mi><mo>=</mo><mi>P</mi><mo>⋅</mo><msub><mrow><mi>C</mi></mrow><mrow><mi>F</mi></mrow></msub><mo>(</mo><mi>R</mi><mo>)</mo></math></span>. As applications of those theorems, we finally obtain several corollaries dealing with constrained fusion systems <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>P</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span> and finite groups.</div></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":"691 ","pages":"Pages 409-427"},"PeriodicalIF":0.8,"publicationDate":"2025-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145682380","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-12-03DOI: 10.1016/j.jalgebra.2025.10.059
Arpan Dutta, Rumi Ghosh
Let be a valued field. Take an extension of v to a fixed algebraic closure of K. In this paper we show that an element admits a complete distinguished chain over K if and only if the extension is unibranched and defectless. This characterization generalizes the known result in the henselian case. In particular, our result shows that if a admits a complete distinguished chain over K, then it also admits one over the henselization ; however the converse may not be true. The main tool employed in our analysis is the stability of the j-invariant associated to a valuation transcendental extension under passage to the henselization.
We also explore the stability of defectless simple extensions in the following sense: let be a valuation transcendental extension with a pair of definition . Assume that either is a defectless extension, or that is a key polynomial for , where is the minimal polynomial of b over K. We show that then the extension is defectless. In particular, the extension is always defectless whenever is a minimal pair of definition for w over K.
{"title":"On defectless unibranched simple extensions, complete distinguished chains and certain stability results","authors":"Arpan Dutta, Rumi Ghosh","doi":"10.1016/j.jalgebra.2025.10.059","DOIUrl":"10.1016/j.jalgebra.2025.10.059","url":null,"abstract":"<div><div>Let <span><math><mo>(</mo><mi>K</mi><mo>,</mo><mi>v</mi><mo>)</mo></math></span> be a valued field. Take an extension of <em>v</em> to a fixed algebraic closure <span><math><mover><mrow><mi>K</mi></mrow><mo>‾</mo></mover></math></span> of <em>K</em>. In this paper we show that an element <span><math><mi>a</mi><mo>∈</mo><mover><mrow><mi>K</mi></mrow><mo>‾</mo></mover></math></span> admits a complete distinguished chain over <em>K</em> if and only if the extension <span><math><mo>(</mo><mi>K</mi><mo>(</mo><mi>a</mi><mo>)</mo><mo>|</mo><mi>K</mi><mo>,</mo><mi>v</mi><mo>)</mo></math></span> is unibranched and defectless. This characterization generalizes the known result in the henselian case. In particular, our result shows that if <em>a</em> admits a complete distinguished chain over <em>K</em>, then it also admits one over the henselization <span><math><msup><mrow><mi>K</mi></mrow><mrow><mi>h</mi></mrow></msup></math></span>; however the converse may not be true. The main tool employed in our analysis is the stability of the <em>j</em>-invariant associated to a valuation transcendental extension under passage to the henselization.</div><div>We also explore the stability of defectless simple extensions in the following sense: let <span><math><mo>(</mo><mi>K</mi><mo>(</mo><mi>X</mi><mo>)</mo><mo>|</mo><mi>K</mi><mo>,</mo><mi>w</mi><mo>)</mo></math></span> be a valuation transcendental extension with a pair of definition <span><math><mo>(</mo><mi>b</mi><mo>,</mo><mi>γ</mi><mo>)</mo></math></span>. Assume that either <span><math><mo>(</mo><mi>K</mi><mo>(</mo><mi>b</mi><mo>)</mo><mo>|</mo><mi>K</mi><mo>,</mo><mi>v</mi><mo>)</mo></math></span> is a defectless extension, or that <span><math><mi>f</mi><mo>(</mo><mi>X</mi><mo>)</mo></math></span> is a key polynomial for <span><math><mo>(</mo><mi>K</mi><mo>(</mo><mi>X</mi><mo>)</mo><mo>|</mo><mi>K</mi><mo>,</mo><mi>w</mi><mo>)</mo></math></span>, where <span><math><mi>f</mi><mo>(</mo><mi>X</mi><mo>)</mo></math></span> is the minimal polynomial of <em>b</em> over <em>K</em>. We show that then the extension <span><math><mo>(</mo><mi>K</mi><mo>(</mo><mi>b</mi><mo>,</mo><mi>X</mi><mo>)</mo><mo>|</mo><mi>K</mi><mo>(</mo><mi>X</mi><mo>)</mo><mo>,</mo><mi>w</mi><mo>)</mo></math></span> is defectless. In particular, the extension <span><math><mo>(</mo><mi>K</mi><mo>(</mo><mi>b</mi><mo>,</mo><mi>X</mi><mo>)</mo><mo>|</mo><mi>K</mi><mo>(</mo><mi>X</mi><mo>)</mo><mo>,</mo><mi>w</mi><mo>)</mo></math></span> is always defectless whenever <span><math><mo>(</mo><mi>b</mi><mo>,</mo><mi>γ</mi><mo>)</mo></math></span> is a minimal pair of definition for <em>w</em> over <em>K</em>.</div></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":"691 ","pages":"Pages 352-375"},"PeriodicalIF":0.8,"publicationDate":"2025-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145682385","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-12-02DOI: 10.1016/j.jalgebra.2025.10.057
Nicolás Andruskiewitsch , David Jaklitsch , Van C. Nguyen , Amrei Oswald , Julia Plavnik , Anne V. Shepler , Xingting Wang
We use deformation sequences of (Hopf) algebras, extending the results of Negron and Pevtsova, to show that bosonizations of some suitable braided Hopf algebras by some suitable finite-dimensional Hopf algebras have finitely generated cohomology. In fact, our results are shown in more generality for smash products. As applications, we prove the bosonizations of some Nichols algebras (such as Nichols algebras of diagonal type, the restricted Jordan plane, Nichols algebras of direct sums of Jordan blocks plus points labeled with 1), by some suitable finite-dimensional Hopf algebras, have finitely generated cohomology, recovering some known results as well as providing new examples.
{"title":"On the finite generation of the cohomology of bosonizations","authors":"Nicolás Andruskiewitsch , David Jaklitsch , Van C. Nguyen , Amrei Oswald , Julia Plavnik , Anne V. Shepler , Xingting Wang","doi":"10.1016/j.jalgebra.2025.10.057","DOIUrl":"10.1016/j.jalgebra.2025.10.057","url":null,"abstract":"<div><div>We use deformation sequences of (Hopf) algebras, extending the results of Negron and Pevtsova, to show that bosonizations of some suitable braided Hopf algebras by some suitable finite-dimensional Hopf algebras have finitely generated cohomology. In fact, our results are shown in more generality for smash products. As applications, we prove the bosonizations of some Nichols algebras (such as Nichols algebras of diagonal type, the restricted Jordan plane, Nichols algebras of direct sums of Jordan blocks plus points labeled with 1), by some suitable finite-dimensional Hopf algebras, have finitely generated cohomology, recovering some known results as well as providing new examples.</div></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":"691 ","pages":"Pages 741-780"},"PeriodicalIF":0.8,"publicationDate":"2025-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145733651","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-12-02DOI: 10.1016/j.jalgebra.2025.10.058
Damian Sercombe
Let G be an affine algebraic group scheme over a field k. We show there exists a unipotent normal subgroup of G which contains all other such subgroups; we call it the restricted unipotent radical of G. We investigate some properties of , and study those G for which is trivial. In particular, we relate these notions to their well-known analogues for smooth connected affine k-groups.
{"title":"Unipotent normal subgroups of algebraic groups","authors":"Damian Sercombe","doi":"10.1016/j.jalgebra.2025.10.058","DOIUrl":"10.1016/j.jalgebra.2025.10.058","url":null,"abstract":"<div><div>Let <em>G</em> be an affine algebraic group scheme over a field <em>k</em>. We show there exists a unipotent normal subgroup of <em>G</em> which contains all other such subgroups; we call it the restricted unipotent radical <span><math><msub><mrow><mi>Rad</mi></mrow><mrow><mi>u</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span> of <em>G</em>. We investigate some properties of <span><math><msub><mrow><mi>Rad</mi></mrow><mrow><mi>u</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span>, and study those <em>G</em> for which <span><math><msub><mrow><mi>Rad</mi></mrow><mrow><mi>u</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span> is trivial. In particular, we relate these notions to their well-known analogues for smooth connected affine <em>k</em>-groups.</div></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":"691 ","pages":"Pages 337-351"},"PeriodicalIF":0.8,"publicationDate":"2025-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145682382","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-12-02DOI: 10.1016/j.jalgebra.2025.10.056
Xin Huang
We introduce a new type of equivalence between blocks of finite group algebras called an almost isotypy. An almost isotypy restricts to a weak isotypy in Broué's original definition [8, Définition 4.6], and it is slightly weaker than Linckelmann's version [17, Definition 9.5.1]. We show that a bimodule of two block algebras of finite groups - which has an endopermutation module as a source and which induces a Morita equivalence - gives rise, via slash functors, to an almost isotypy if the character values of a (hence any) source are rational integers. Consequently, if two blocks are Morita equivalent via a bimodule with endopermutation source, then they are almost isotypic. We also explain why the notion of almost isotypies is reasonable.
{"title":"On Morita equivalences with endopermutation source and isotypies","authors":"Xin Huang","doi":"10.1016/j.jalgebra.2025.10.056","DOIUrl":"10.1016/j.jalgebra.2025.10.056","url":null,"abstract":"<div><div>We introduce a new type of equivalence between blocks of finite group algebras called an <em>almost isotypy</em>. An almost isotypy restricts to a weak isotypy in Broué's original definition <span><span>[8, Définition 4.6]</span></span>, and it is slightly weaker than Linckelmann's version <span><span>[17, Definition 9.5.1]</span></span>. We show that a bimodule of two block algebras of finite groups - which has an endopermutation module as a source and which induces a Morita equivalence - gives rise, via slash functors, to an almost isotypy if the character values of a (hence any) source are rational integers. Consequently, if two blocks are Morita equivalent via a bimodule with endopermutation source, then they are almost isotypic. We also explain why the notion of almost isotypies is reasonable.</div></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":"691 ","pages":"Pages 376-408"},"PeriodicalIF":0.8,"publicationDate":"2025-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145682384","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-11-20DOI: 10.1016/j.jalgebra.2025.11.018
Arianna Dionigi , Massimo Giulietti , Marco Timpanella
The study of algebraic curves with numerous automorphisms in relation to their genus is a well-established area in Algebraic Geometry. In 1995, Irokawa and Sasaki [10] gave a complete classification of curves over with an automorphism of order . Precisely, such curves are either hyperelliptic with with even, or are quotients of the Fermat curve of degree N by a cyclic group of order N. Such a classification does not hold in positive characteristic p, the curve with equation being a well-studied counterexample. This paper successfully classifies curves with a cyclic automorphism group of order N at least in positive characteristic , offering the positive characteristic counterpart to the Irokawa-Sasaki result. The possibility of wild ramification in positive characteristic has presented a few challenges to the investigation.
{"title":"Algebraic curves with a large cyclic automorphism group","authors":"Arianna Dionigi , Massimo Giulietti , Marco Timpanella","doi":"10.1016/j.jalgebra.2025.11.018","DOIUrl":"10.1016/j.jalgebra.2025.11.018","url":null,"abstract":"<div><div>The study of algebraic curves <span><math><mi>X</mi></math></span> with numerous automorphisms in relation to their genus <span><math><mi>g</mi><mo>(</mo><mi>X</mi><mo>)</mo></math></span> is a well-established area in Algebraic Geometry. In 1995, Irokawa and Sasaki <span><span>[10]</span></span> gave a complete classification of curves over <span><math><mi>C</mi></math></span> with an automorphism of order <span><math><mi>N</mi><mo>≥</mo><mn>2</mn><mi>g</mi><mo>(</mo><mi>X</mi><mo>)</mo><mo>+</mo><mn>1</mn></math></span>. Precisely, such curves are either hyperelliptic with <span><math><mi>N</mi><mo>=</mo><mn>2</mn><mi>g</mi><mo>(</mo><mi>X</mi><mo>)</mo><mo>+</mo><mn>2</mn></math></span> with <span><math><mi>g</mi><mo>(</mo><mi>X</mi><mo>)</mo></math></span> even, or are quotients of the Fermat curve of degree <em>N</em> by a cyclic group of order <em>N</em>. Such a classification does not hold in positive characteristic <em>p</em>, the curve with equation <span><math><msup><mrow><mi>y</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>=</mo><msup><mrow><mi>x</mi></mrow><mrow><mi>p</mi></mrow></msup><mo>−</mo><mi>x</mi></math></span> being a well-studied counterexample. This paper successfully classifies curves with a cyclic automorphism group of order <em>N</em> at least <span><math><mn>2</mn><mi>g</mi><mo>(</mo><mi>X</mi><mo>)</mo><mo>+</mo><mn>1</mn></math></span> in positive characteristic <span><math><mi>p</mi><mo>≠</mo><mn>2</mn></math></span>, offering the positive characteristic counterpart to the Irokawa-Sasaki result. The possibility of wild ramification in positive characteristic has presented a few challenges to the investigation.</div></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":"690 ","pages":"Pages 764-792"},"PeriodicalIF":0.8,"publicationDate":"2025-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145615578","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-11-20DOI: 10.1016/j.jalgebra.2025.11.004
I. Anasagasti
Let X be a non-orientable Riemann surface of algebraic genus . In this paper we consider groups G of automorphisms of order greater than acting on such surfaces, and study whether G is the full group . The extendability of the action depends first on the NEC signature with which G acts and, in some cases, also on whether a monodromy presentation of G admits or not a particular automorphism. For each signature we study which of the two possibilities occur, and show that, whenever it does, it occurs for infinitely many values of g.
{"title":"Full automorphism groups of large order of compact non-orientable Riemann surfaces","authors":"I. Anasagasti","doi":"10.1016/j.jalgebra.2025.11.004","DOIUrl":"10.1016/j.jalgebra.2025.11.004","url":null,"abstract":"<div><div>Let <em>X</em> be a non-orientable Riemann surface of algebraic genus <span><math><mi>g</mi><mo>≥</mo><mn>2</mn></math></span>. In this paper we consider groups <em>G</em> of automorphisms of order greater than <span><math><mn>12</mn><mo>(</mo><mi>g</mi><mo>−</mo><mn>1</mn><mo>)</mo></math></span> acting on such surfaces, and study whether <em>G</em> is the full group <span><math><mrow><mi>Aut</mi></mrow><mo>(</mo><mi>X</mi><mo>)</mo></math></span>. The extendability of the action depends first on the NEC signature with which <em>G</em> acts and, in some cases, also on whether a monodromy presentation of <em>G</em> admits or not a particular automorphism. For each signature we study which of the two possibilities occur, and show that, whenever it does, it occurs for infinitely many values of <em>g</em>.</div></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":"691 ","pages":"Pages 17-31"},"PeriodicalIF":0.8,"publicationDate":"2025-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145616565","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-11-20DOI: 10.1016/j.jalgebra.2025.11.012
Xinyue Wang , Liangyun Chen , Yao Ma
In this paper, let denote the super Schrödinger algebra in -dimensional spacetime, and the universal enveloping algebra of . We first introduce the notion of Ore extension in the context of super ring. As an application, we use Ore extension to find the tensor product decomposition of the localization of at the powers of the element G, which gives the Casimir element and center of . Then we define the Whittaker -supermodules, and classify the simple Whittaker -supermodules at zero level and nonzero level, respectively. In particular, Whittaker supermodules over are constructed and classified.
本文设S为(1+1)维时空中N=1的超Schrödinger代数,U(S)为S的全称包络代数。我们首先在超环的背景下引入了oreextension的概念。作为应用,我们利用Ore扩展求出U(S)在元素G的幂次处的局域的张量积分解,得到U(S)的卡西米尔元素和中心。然后定义了Whittaker s -超模,并分别对零水平和非零水平的简单Whittaker s -超模进行了分类。特别地,构造并分类了osp(1 bb0 2)上的Whittaker超模。
{"title":"Whittaker supermodules over the super Schrödinger algebra","authors":"Xinyue Wang , Liangyun Chen , Yao Ma","doi":"10.1016/j.jalgebra.2025.11.012","DOIUrl":"10.1016/j.jalgebra.2025.11.012","url":null,"abstract":"<div><div>In this paper, let <span><math><mi>S</mi></math></span> denote the <span><math><mi>N</mi><mo>=</mo><mn>1</mn></math></span> super Schrödinger algebra in <span><math><mo>(</mo><mn>1</mn><mo>+</mo><mn>1</mn><mo>)</mo></math></span>-dimensional spacetime, and <span><math><mi>U</mi><mo>(</mo><mi>S</mi><mo>)</mo></math></span> the universal enveloping algebra of <span><math><mi>S</mi></math></span>. We first introduce the notion of Ore extension in the context of super ring. As an application, we use Ore extension to find the tensor product decomposition of the localization of <span><math><mi>U</mi><mo>(</mo><mi>S</mi><mo>)</mo></math></span> at the powers of the element <em>G</em>, which gives the Casimir element and center of <span><math><mi>U</mi><mo>(</mo><mi>S</mi><mo>)</mo></math></span>. Then we define the Whittaker <span><math><mi>S</mi></math></span>-supermodules, and classify the simple Whittaker <span><math><mi>S</mi></math></span>-supermodules at zero level and nonzero level, respectively. In particular, Whittaker supermodules over <span><math><mrow><mi>osp</mi></mrow><mo>(</mo><mn>1</mn><mo>|</mo><mn>2</mn><mo>)</mo></math></span> are constructed and classified.</div></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":"691 ","pages":"Pages 310-336"},"PeriodicalIF":0.8,"publicationDate":"2025-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145682383","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-11-20DOI: 10.1016/j.jalgebra.2025.10.052
Naihuan Jing , Yu Wu
In this paper, we use vertex operator techniques to compute character values on unipotent classes of . By realizing the Grothendieck ring as Fock spaces, we formulate the Murnaghan-Nakayama rule of between Schur functions colored by an orbit ϕ of linear characters of and another orbit of modified Hall-Littlewood functions colored by under the Frobenius automorphisms. Our formulation of character values using vertex operators offers a practical approach for computing special values at unipotent classes for . As an application, these vertex-algebraic techniques allow us to derive the Steinberg characters of , results that were previously obtained by Curtis, Lehrer, and Tits through the geometry of homology groups of spherical buildings, and by Springer and Zelevinsky via the theory of Hopf algebras.
{"title":"On character values of GLn(Fq)","authors":"Naihuan Jing , Yu Wu","doi":"10.1016/j.jalgebra.2025.10.052","DOIUrl":"10.1016/j.jalgebra.2025.10.052","url":null,"abstract":"<div><div>In this paper, we use vertex operator techniques to compute character values on unipotent classes of <span><math><msub><mrow><mi>GL</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>)</mo></math></span>. By realizing the Grothendieck ring <span><math><msub><mrow><mi>R</mi></mrow><mrow><mi>G</mi></mrow></msub><mo>=</mo><msubsup><mrow><mo>⨁</mo></mrow><mrow><mi>n</mi><mo>≥</mo><mn>0</mn></mrow><mrow><mo>∞</mo></mrow></msubsup><mi>R</mi><mo>(</mo><msub><mrow><mi>GL</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>)</mo><mo>)</mo></math></span> as Fock spaces, we formulate the Murnaghan-Nakayama rule of <span><math><msub><mrow><mi>GL</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>)</mo></math></span> between Schur functions colored by an orbit <em>ϕ</em> of linear characters of <span><math><msub><mrow><mover><mrow><mi>F</mi></mrow><mo>‾</mo></mover></mrow><mrow><mi>q</mi></mrow></msub></math></span> and another orbit of modified Hall-Littlewood functions colored by <span><math><msub><mrow><mi>f</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>=</mo><mi>t</mi><mo>−</mo><mn>1</mn></math></span> under the Frobenius automorphisms. Our formulation of character values using vertex operators offers a practical approach for computing special values at unipotent classes for <span><math><msub><mrow><mi>GL</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>)</mo></math></span>. As an application, these vertex-algebraic techniques allow us to derive the Steinberg characters of <span><math><msub><mrow><mi>GL</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>)</mo></math></span>, results that were previously obtained by Curtis, Lehrer, and Tits through the geometry of homology groups of spherical buildings, and by Springer and Zelevinsky via the theory of Hopf algebras.</div></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":"691 ","pages":"Pages 214-229"},"PeriodicalIF":0.8,"publicationDate":"2025-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145682440","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-11-20DOI: 10.1016/j.jalgebra.2025.11.008
Sebastian Debus , Tobias Metzlaff
The action of a Weyl group on the associated weight lattice induces an additive action on the symmetric algebra and a multiplicative action on the group algebra of the lattice. We show that the coinvariant space of the multiplicative action affords the regular representation and is isomorphic to a space of multiplicative harmonics, which corresponds to existing results for additive coinvariants of reflection groups. We then design an algorithm to compute a multiplicative coinvariant basis from an additive one. The algorithm preserves isotypic decomposition and graded structure and enables the study of multiplicative coinvariants by integrating combinatorial knowledge from the additive setting. We investigate the Weyl groups of type A and C to find new explicit equivariant maps and combinatorial structure.
{"title":"Additive and multiplicative coinvariant spaces of Weyl groups in the light of harmonics and graded transfer","authors":"Sebastian Debus , Tobias Metzlaff","doi":"10.1016/j.jalgebra.2025.11.008","DOIUrl":"10.1016/j.jalgebra.2025.11.008","url":null,"abstract":"<div><div>The action of a Weyl group on the associated weight lattice induces an additive action on the symmetric algebra and a multiplicative action on the group algebra of the lattice. We show that the coinvariant space of the multiplicative action affords the regular representation and is isomorphic to a space of multiplicative harmonics, which corresponds to existing results for additive coinvariants of reflection groups. We then design an algorithm to compute a multiplicative coinvariant basis from an additive one. The algorithm preserves isotypic decomposition and graded structure and enables the study of multiplicative coinvariants by integrating combinatorial knowledge from the additive setting. We investigate the Weyl groups of type A and C to find new explicit equivariant maps and combinatorial structure.</div></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":"690 ","pages":"Pages 806-831"},"PeriodicalIF":0.8,"publicationDate":"2025-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145614725","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}