Pub Date : 2025-12-04DOI: 10.1016/j.jalgebra.2025.11.020
Kayo Masuda
Let X be a factorial complex affine variety of dimension ≥3 with an algebraic action of the additive group . Let be the algebraic quotient morphism where we assume Y is an affine variety. When π is faithfully flat, we investigate π by -equivariant affine modifications and give criteria for π to be a trivial -bundle. For a smooth acyclic fourfold X with a free -action and a -equivariant -fibration where acts trivially on , we give a criterion for the algebraic quotient Y to be isomorphic to with f as a coordinate. Together with a criterion for to be a trivial -bundle, we obtain a sufficient condition for .
{"title":"Faithfully flat quotient morphisms by Ga-actions on factorial affine varieties","authors":"Kayo Masuda","doi":"10.1016/j.jalgebra.2025.11.020","DOIUrl":"10.1016/j.jalgebra.2025.11.020","url":null,"abstract":"<div><div>Let <em>X</em> be a factorial complex affine variety of dimension ≥3 with an algebraic action of the additive group <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>a</mi></mrow></msub></math></span>. Let <span><math><mi>π</mi><mo>:</mo><mi>X</mi><mo>→</mo><mi>Y</mi></math></span> be the algebraic quotient morphism where we assume <em>Y</em> is an affine variety. When <em>π</em> is faithfully flat, we investigate <em>π</em> by <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>a</mi></mrow></msub></math></span>-equivariant affine modifications and give criteria for <em>π</em> to be a trivial <span><math><msup><mrow><mi>A</mi></mrow><mrow><mn>1</mn></mrow></msup></math></span>-bundle. For a smooth acyclic fourfold <em>X</em> with a free <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>a</mi></mrow></msub></math></span>-action and a <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>a</mi></mrow></msub></math></span>-equivariant <span><math><msup><mrow><mi>A</mi></mrow><mrow><mn>3</mn></mrow></msup></math></span>-fibration <span><math><mi>f</mi><mo>:</mo><mi>X</mi><mo>→</mo><msup><mrow><mi>A</mi></mrow><mrow><mn>1</mn></mrow></msup></math></span> where <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>a</mi></mrow></msub></math></span> acts trivially on <span><math><msup><mrow><mi>A</mi></mrow><mrow><mn>1</mn></mrow></msup></math></span>, we give a criterion for the algebraic quotient <em>Y</em> to be isomorphic to <span><math><msup><mrow><mi>A</mi></mrow><mrow><mn>3</mn></mrow></msup></math></span> with <em>f</em> as a coordinate. Together with a criterion for <span><math><mi>π</mi><mo>:</mo><mi>X</mi><mo>→</mo><mi>Y</mi></math></span> to be a trivial <span><math><msup><mrow><mi>A</mi></mrow><mrow><mn>1</mn></mrow></msup></math></span>-bundle, we obtain a sufficient condition for <span><math><mi>X</mi><mo>≅</mo><mi>Y</mi><mo>×</mo><msup><mrow><mi>A</mi></mrow><mrow><mn>1</mn></mrow></msup><mo>≅</mo><msup><mrow><mi>A</mi></mrow><mrow><mn>4</mn></mrow></msup></math></span>.</div></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":"691 ","pages":"Pages 577-596"},"PeriodicalIF":0.8,"publicationDate":"2025-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145733657","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-04DOI: 10.1016/j.jalgebra.2025.12.005
Xin Lü , Peng Sun
Let be a non-trivial semi-stable fibration of genus with s singular fibers over the complex numbers. Tan conjectured that if . We study this conjecture for irregular surfaces. More precisely, we prove that if the irregularity .
{"title":"Tan's conjecture on irregular family over P1","authors":"Xin Lü , Peng Sun","doi":"10.1016/j.jalgebra.2025.12.005","DOIUrl":"10.1016/j.jalgebra.2025.12.005","url":null,"abstract":"<div><div>Let <span><math><mi>f</mi><mo>:</mo><mspace></mspace><mi>S</mi><mo>→</mo><msup><mrow><mi>P</mi></mrow><mrow><mn>1</mn></mrow></msup></math></span> be a non-trivial semi-stable fibration of genus <span><math><mi>g</mi><mo>≥</mo><mn>2</mn></math></span> with <em>s</em> singular fibers over the complex numbers. Tan conjectured that <span><math><mi>s</mi><mo>≥</mo><mn>6</mn></math></span> if <span><math><mi>g</mi><mo>≫</mo><mn>0</mn></math></span>. We study this conjecture for irregular surfaces. More precisely, we prove that <span><math><mi>s</mi><mo>≥</mo><mn>6</mn></math></span> if the irregularity <span><math><mi>q</mi><mo>(</mo><mi>S</mi><mo>)</mo><mo>≥</mo><mn>2</mn></math></span>.</div></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":"691 ","pages":"Pages 488-503"},"PeriodicalIF":0.8,"publicationDate":"2025-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145733659","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-04DOI: 10.1016/j.jalgebra.2025.11.025
P.S. Kolesnikov , B.K. Sartayev
The classical Dong Lemma for distributions over a Lie algebra lies in the foundation of the theory of vertex and conformal algebras. In this paper, we find necessary and sufficient condition for a variety of nonassociative algebras with binary operations to satisfy the analogue of the Dong Lemma. In particular, it turns out that for alternative, Novikov, and Novikov–Poisson algebras the Dong Lemma holds true. The criterion is stated in the language of operads, so we determine for which binary quadratic operads the Dong Lemma holds in the corresponding class of algebras. As an application, we show the black Manin product of such Dong operads is also a Dong operad.
{"title":"On the Dong Property for a binary quadratic operad","authors":"P.S. Kolesnikov , B.K. Sartayev","doi":"10.1016/j.jalgebra.2025.11.025","DOIUrl":"10.1016/j.jalgebra.2025.11.025","url":null,"abstract":"<div><div>The classical Dong Lemma for distributions over a Lie algebra lies in the foundation of the theory of vertex and conformal algebras. In this paper, we find necessary and sufficient condition for a variety of nonassociative algebras with binary operations to satisfy the analogue of the Dong Lemma. In particular, it turns out that for alternative, Novikov, and Novikov–Poisson algebras the Dong Lemma holds true. The criterion is stated in the language of operads, so we determine for which binary quadratic operads the Dong Lemma holds in the corresponding class of algebras. As an application, we show the black Manin product of such Dong operads is also a Dong operad.</div></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":"691 ","pages":"Pages 428-452"},"PeriodicalIF":0.8,"publicationDate":"2025-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145733662","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-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.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.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.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}