Semidualizing Modules and Rings of Invariants

William Sanders

DOI: https://doi.org/10.48550/arXiv.1408.5508

2014-08-23

Abstract:We show there exist no nontrivial semidualizing modules for nonmodular rings of invariants of order $p^n$ with $p$ a prime.

Commutative Algebra

What problem does this paper attempt to address?

Semi-invariants for concealed-canonical algebras

Grzegorz Bobinski

DOI: https://doi.org/10.48550/arXiv.1212.4013

2012-12-17

Abstract:In the paper is we generalize known descriptions of rings of semi-invariants for regular modules over Euclidean and canonical algebras to arbitrary concealed-canonical algebras.

Representation Theory,Algebraic Geometry
Traces of semi-invariants

Ela Celikbas,Jürgen Herzog,Shinya Kumashiro

2023-12-02

Abstract:This article investigates the traces of certain modules over rings of invariants associated with finite groups. More precisely, we provide a formula for computing the traces of arbitrary semi-invariants, thereby contributing to the understanding of the non-Gorenstein locus of rings of invariants. Additionally, we discuss applications of this formula, including criteria for rings of invariants to be Gorenstein on the punctured spectrum and nearly Gorenstein, as well as criteria for semi-invariants to be locally free.

Commutative Algebra
On Modular Invariants of Truncated Polynomial Rings in low ranks

Le Minh Ha,Nguyen Dang Ho Hai,Nguyen Van Nghia

2024-08-29

Abstract:We verify the conjectures due to Lewis, Reiner and Stanton about the Hilbert series of the invariant ring of the truncated polynomial ring for all parabolic subgroups up to rank $3$. This is done by constructing an explicit set of generators for each invariant ring in question. We also propose a conjecture concerning the action of the Steenrod algebra and the Dickson algebra on a certain naturally occurring filtration of the invariant ring under the general linear group.

Rings and Algebras,Algebraic Topology,Combinatorics
Rings of invariants for three dimensional modular representations

Jürgen Herzog,Vijaylaxmi Trivedi

2023-08-30

Abstract:Let $p>3$ be a prime number. We compute the rings of invariants of the elementary abelian $p$-group $(\mathbb Z/p\mathbb Z)^r$ for $3$-dimensional generic representations. Furthermore we show that these rings of invariants are complete intersections rings with embedding dimension $\lceil r/2\rceil +3$. This proves a conjecture of Campbell, Shank and Wehlau in [CSW], which they proved for $r=3$, and later Pierron and Shank proved it for $r=4$.

Commutative Algebra,Group Theory,Representation Theory
Generic Constructions and Semidualizing Modules

Sean K. Sather-Wagstaff,Tony Se,Sandra Spiroff

DOI: https://doi.org/10.48550/arXiv.1912.13099

2019-12-31

Abstract:We investigate some general machinery for describing semidualizing modules over generic constructions like ladder determinantal rings with coefficients in a normal domain. We also pose and investigate natural localization questions that arise in the process.

Commutative Algebra
Multiplicities of Semidualizing Modules

Susan M. Cooper,Sean Sather-Wagstaff

DOI: https://doi.org/10.1080/00927872.2012.705933

2013-12-02

Communications in Algebra

Abstract:A finitely generated module C over a commutative noetherian ring R is semidualizing if Hom R(C, C) ≅ R and for all i ≥ 1. For certain local Cohen–Macaulay rings (R, 𝔪), we verify the equality of Hilbert-Samuel multiplicities eR(J; C) = eR(J; R) for all semidualizing R-modules C and all 𝔪-primary ideals J. The classes of rings we investigate include those that are determined by ideals defining fat point schemes in projective space or by monomial ideals.

mathematics
Linkage of modules with respect to a semidualizing module

Mohammad-T. Dibaei,Arash Sadeghi

DOI: https://doi.org/10.48550/arXiv.1705.10615

2017-05-27

Abstract:The notion of linkage with respect to a semidualizing module is introduced. It is shown that over a Cohen-Macaulay local ring with canonical module, every Cohen-Macaulay module of finite Gorenstein injective dimension is linked with respect to the canonical module. For a linked module $M$ with respect to a semidualizing module, the connection between the Serre condition $(S_n)$ on $M$ with the vanishing of certain local cohomology modules of its linked module is discussed.

Commutative Algebra
Semi-Invariant Rings: UFD and Codimension One Orbits

Charles Paquette,Deepanshu Prasad,David Wehlau

2023-06-14

Abstract:Let $A$ be a finite dimensional associative $\mathbb{K}$-algebra over an algebraically closed field $\mathbb{K}$ of characteristic zero. To $A$, we can associate its basic form that is given by a quiver $Q = (Q_0, Q_1)$ with an admissible ideal $R$. For a dimension vector $\beta$, we consider an irreducible component $\mathcal{C}$ of the module variety of $\beta$-dimensional representations of $A$. The reductive group ${\rm GL}_\beta(\mathbb{K}):= \prod_{i \in Q_0}{\rm GL}_{\beta_i}(\mathbb{K})$ acts on $\mathcal{C}$ by change of basis, and has a unique closed orbit. We consider the corresponding ring of semi-invariants ${\rm SI}(Q, \mathcal{C})$. We prove that if $\mathcal{C}$ is factorial and has maximal orbits of codimension one, then ${\rm SI}(Q, \mathcal{C})$ is a complete intersection and is not multiplicity free. If $\mathcal{C}$ is not factorial, then this conclusion does not necessarily hold. We present examples showing that the codimension of the complete intersection can be arbitrarily large. Finally, we interpret our results in the case of hereditary algebras.

Representation Theory
Classical semirings

Hussein Behzadipour,Henk Koppelaar,Peyman Nasehpour

2024-03-08

Abstract:In this paper, we investigate semirings whose elements are either units or zero-divisors (nilpotents) with many examples. While comparing these semirings with their counterparts in ring theory, we observe that their behavior is different in many cases.

Commutative Algebra,Rings and Algebras
On polynomial invariant rings in modular invariant theory

Manoj Kummini,Mandira Mondal

2024-06-24

Abstract:Let $\Bbbk$ be a field of characteristic $p>0$, $V$ a finite-dimensional $\Bbbk$-vector-space, and $G$ a finite $p$-group acting $\Bbbk$-linearly on $V$. Let $S = \Sym V^*$. We show that $S^G$ is a polynomial ring if and only if the dimension of its singular locus is less than $\rank_\Bbbk V^G$. Confirming a conjecture of Shank-Wehlau-Broer, we show that if $S^G$ is a direct summand of $S$, then $S^G$ is a polynomial ring, in the following cases: \begin{enumerate} \item $\Bbbk = \bbF_p$ and $\rank_\Bbbk V^G = 4$; or \item $|G| = p^3$. \end{enumerate} In order to prove the above result, we also show that if $\rank_\Bbbk V^G \geq \rank_\Bbbk V - 2$, then the Hilbert ideal $\hilbertIdeal_{G,S}$ is a complete intersection.

Commutative Algebra
Distinguished elements in semiring extensions

Peyman Nasehpour

DOI: https://doi.org/10.1142/S0219498825500719

2023-09-19

Abstract:In this paper, we investigate zero-divisor, nilpotent, idempotent, unit, small, and irreducible elements in semiring extensions such as amount, content, and monoid semialgebras. We also introduce new concepts such as the prime avoidance property in semirings, entire-like semirings, semialgebras with Property (A), and also, Armendariz and McCoy semialgebras and we prove some results related to these concepts. For example, we prove that if $B$ is an $S$-semialgebra, then under some conditions, the set of zero-divisors $Z(B)$ of $B$ is the union of the extended maximal primes of $Z(S)$. Finally, we prove a generalization of Eisenstein's irreducibility criterion.

Commutative Algebra
A generalization of uniserial modules and rings

Saba Shirzadi,Reza Beyranvand,Ali Moradzadeh-Dehkordi

2023-11-17

Abstract:We introduce and study a nontrivial generalization of uniserial modules and rings. A module is called weakly uniserial if its submodules are comparable regarding embedding. Also, a right (resp., left) weakly uniserial ring is a ring which is weakly uniserial as a right (resp., left) module over itself. In this paper, in addition to providing the properties of weakly uniserial modules and rings, we show that every right R-module is weakly uniserial if and only if every 2-generated right R-module is weakly uniserial, if and only if R is a simple Artinian ring. Then it is determined which torsion-free abelian groups of rank 1 are weakly uniserial. Finally, when R is a commutative principal ideal domain, the structure of finitely generated weakly uniserial R-modules are completely determined.

Rings and Algebras
Duality Pairs Induced by Gorenstein Projective Modules with Respect to Semidualizing Modules

Jiangsheng Hu,Yuxian Geng,Nanqing Ding

DOI: https://doi.org/10.1007/s10468-015-9529-8

2015-01-01

Algebras and Representation Theory

Abstract:Let C be a semidualizing module over a commutative Noetherian ring R . We investigate duality pairs induced by C -Gorenstein projective modules. It is proven that R is Artinian if and only if (𝒢𝒫𝒞,𝒢ℐ𝒞) is a duality pair if and only if (𝒢ℐ𝒞,𝒢𝒫𝒞) is a duality pair and M^+∈𝒢ℐ𝒞 whenever M∈𝒢𝒫𝒞 , where 𝒢𝒫𝒞 ( 𝒢ℐ𝒞 ) is the class of 𝒢𝒞 -Gorenstein projective ( 𝒢𝒞 -Gorenstein injective) R -modules. In particular, we give a necessary and sufficient condition for a commutative Artinian ring to be virtually Gorenstein. Moreover, we get that R is Artinian if and only if the class 𝒢𝒫 of Gorentein projective R -modules is preenveloping. As applications, some new criteria for a semidualizing module to be dualizing are given provided that R is a commutative Artinian ring.
Modular invariance, modular identities and supersingular j-invariants

Antun Milas

DOI: https://doi.org/10.48550/arXiv.math/0512606

2006-09-07

Abstract:To every $k$-dimensional modular invariant vector space we associate a modular form on $SL(2,\mathbb{Z})$ of weight $2k$. We explore number theoretic properties of this form and find a sufficient condition for its vanishing which yields modular identities (e.g., Ramanujan-Watson's modular identities). Furthermore, we focus on a family of modular invariant spaces coming from suitable two-dimensional spaces via the symmetric power construction. In particular, we consider a two-dimensional space spanned by graded dimensions of certain level one modules for the affine Kac-Moody Lie algebra of type $D_4^{(1)}$. In this case, the reduction modulo prime $p=2k+3 \geq 5$ of the modular form associated to the $k$-th symmetric power classifies supersingular elliptic curves in characteristic $p$. This construction also gives a new interpretation of certain modular forms studied by Kaneko and Zagier.

Quantum Algebra,Number Theory
Seminormal Rings (following Thierry Coquand)

Henri Lombardi,Claude Quitté

DOI: https://doi.org/10.1016/j.tcs.2007.10.007

2023-10-15

Abstract:The Traverso-Swan theorem says that a reduced ring A is seminormal if and only if the natural morphism from Pic(A) to Pic(A[X]) is an isomorphism. We give here all the details needed to understand the elementary constructive proof for this result given by Thierry Coquand in the paper: On seminormality. J. Algebra 305, no. 1-3, 577-584, (2006).

Commutative Algebra
Semi-reflexive Modules and Semi-reflexive Dimension

Yu Gu

2000-01-01

Abstract:In this paper,we introduce semi reflexive dimensions of modules and rings.By these concepts, we discuss the properties of ring R with SRD (R)=0,and study the semi reflexivity of modules in a splitting exact sequence. Also, we give an example to show the existence of ring R with SRD(R)=1.
Rings Whose Non-Invertible Elements Are Nil-Clean

Peter Danchev,Arash Javan,Omid Hasanzadeh,Ahmad Moussavi

2024-05-16

Abstract:We systematically study those rings whose non-units are a sum of an idempotent and a nilpotent. Some crucial characteristic properties are completely described as well as some structural results for this class of rings are obtained. This work somewhat continues two publications on the subject due to Diesl (J. Algebra, 2013) and Karimi-Mansoub et al. (Contemp. Math., 2018).

Rings and Algebras,Representation Theory
Constructing Big Indecomposable modules

Andrew Crabbe,Janet Striuli

DOI: https://doi.org/10.48550/arXiv.0805.0804

2008-05-09

Abstract:Let $R$ be local Noetherian ring of depth at least two. We prove that there are indecomposable $R$-modules which are free on the punctured spectrum of constant, arbitrarily large, rank.

Commutative Algebra
The Case for Inverse Semirings

Peter F. Faul,Amartya Goswami,Gideo Joubert,Graham Manuell

2024-11-19

Abstract:A semiring generalises the notion of a ring, replacing the additive abelian group structure with that of a commutative monoid. In this paper, we study a notion positioned between a ring and a semiring -- a semiring whose additive monoid is a commutative inverse semigroup. These inverse semirings include some important classes of semirings, as well as some new motivating examples. We devote particular attention to the inverse semiring of bounded polynomials and argue for their computational significance. We then prove a number of fundamental results about inverse semirings, their modules and their ideals. Parts of the theory show strong similarities with rings, while other parts are akin to the theory of idempotent semirings or distributive lattices. We note in particular that downward-closed submodules are precisely kernels. We end by exploring a connection to the theory of E-unitary inverse semigroups.

Rings and Algebras
On the Modular Isomorphism Problem for 2-generated groups with cyclic derived subgroup

Diego García-Lucas,Ángel del Río

2024-06-12

Abstract:We continue the analysis of the Modular Isomorphism Problem for $2$-generated $p$-groups with cyclic derived subgroup, $p>2$, started in [D. García-Lucas, Á. del Río, and M. Stanojkovski. On group invariants determined by modular group algebras: even versus odd characteristic. Algebr. Represent. Theory. <a class="link-external link-https" href="https://doi.org/10.1007/s10468-022-10182-x" rel="external noopener nofollow">this https URL</a>, 2022]. We show that if $G$ belongs to this class of groups, then the isomorphism type of the quotients $G/(G')^{p^3}$ and $G/\gamma_3(G)^p$ are determined by its modular group algebra. In fact, we obtain a more general but technical result, expressed in terms of the classification \cite{OsnelDiegoAngel}. We also show that for groups in this class of order at most $p^{11}$, the Modular Isomorphism Problem has positive answer. Finally, we describe some families of groups of order $p^{12}$ whose group algebras over the field with $p$ elements cannot be distinguished with the techniques available to us.

Group Theory

Semidualizing Modules and Rings of Invariants

Semi-invariants for concealed-canonical algebras

Traces of semi-invariants

On Modular Invariants of Truncated Polynomial Rings in low ranks

Rings of invariants for three dimensional modular representations

Generic Constructions and Semidualizing Modules

Multiplicities of Semidualizing Modules

Linkage of modules with respect to a semidualizing module

Semi-Invariant Rings: UFD and Codimension One Orbits

Classical semirings

On polynomial invariant rings in modular invariant theory

Distinguished elements in semiring extensions

A generalization of uniserial modules and rings

Duality Pairs Induced by Gorenstein Projective Modules with Respect to Semidualizing Modules

Modular invariance, modular identities and supersingular j-invariants

Seminormal Rings (following Thierry Coquand)

Semi-reflexive Modules and Semi-reflexive Dimension

Rings Whose Non-Invertible Elements Are Nil-Clean

Constructing Big Indecomposable modules

The Case for Inverse Semirings

On the Modular Isomorphism Problem for 2-generated groups with cyclic derived subgroup