Shephard–Todd–Chevalley Theorem for Skew Polynomial Rings

We prove the following generalization of the classical Shephard–Todd–Chevalley Theorem. Let G be a finite group of graded algebra automorphisms of a skew polynomial ring \(A:=k_{p_{ij}}[x_1,\cdots,x_n]\). Then the fixed subring A ^G has finite global dimension if and only if G is generated by quasi-reflections. In this case the fixed subring A ^G is isomorphic to a skew polynomial ring with possibly different p _ij ’s. A version of the theorem is proved also for abelian groups acting on general quantum polynomial rings.     

Koszulity for graded skew PBW extensions

Pre-Koszul and Koszul algebras were defined by Priddy [15 Priddy, S. (1970). Koszul resolutions. Trans. Am. Math. Soc. 152:39–60.[Crossref] , [Google Scholar]]. There exist some relations between these algebras and the skew PBW extensions defined in [8 Gallego, C., Lezama, O. (2011). Gröbner bases for ideals of σ-PBW extensions. Comm. Algebra 39(1):50–75.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]]. In [24 Suárez, H., Reyes, A. (submitted for publications). Koszulity for skew PBW extensions over fields. [Google Scholar]] we gave conditions to guarantee that skew PBW extensions over fields it turns out homogeneous pre-Koszul or Koszul algebra. In this paper we complement these results defining graded skew PBW extensions and showing that if R is a finite presented Koszul 𝕂-algebra then every graded skew PBW extension of R is Koszul.     

Approximate Unitary Equivalence to Skew Symmetric Operators

An operator \(T\) on a complex Hilbert space \(\mathcal {H}\) is called skew symmetric if \(T\) can be represented as a skew symmetric matrix relative to some orthonormal basis for \(\mathcal {H}\) . In this paper, we study the approximation of skew symmetric operators and provide a \(C^*\) -algebra approach to skew symmetric operators. We classify up to approximate unitary equivalence those skew symmetric operators \(T\in \mathcal {B(H)}\) satisfying \(C^*(T)\cap \mathcal {K(H)}=\{0\}\) . This is used to characterize when a unilateral weighted shift with nonzero weights is approximately unitarily equivalent to a skew symmetric operator.     

On the almost Gorenstein property of determinantal rings

In this paper, we investigate the question of when the determinantal ring R over a field k is an almost Gorenstein local/graded ring in the sense of [14 Goto, S., Takahashi, R., Taniguchi, N. (2015). Almost Gorenstein rings - towards a theory of higher dimension. J. Pure Appl. Algebra 219:2666–2712.[Crossref], [Web of Science ®] , [Google Scholar]]. As a consequence of the main result, we see that if R is a non-Gorenstein almost Gorenstein local/graded ring, then the ring R has a minimal multiplicity.     

On Some Families of Modules for the Current Algebra

Given a finite-dimensional module V for a finite-dimensional, complex semi-simple Lie algebra \(\mathcal {g}\), and a positive integer m, we construct a family of graded modules for the current algebra \(\mathcal {g}[t]\) indexed by simple C \(\mathcal {S}_{m}\)-modules. These modules are free of finite rank for the ring of symmetric polynomials and so can be localized to give finite-dimensional graded \(\mathcal {g}[t]\)-modules. We determine the graded characters of these modules and show that these graded characters admit a curious duality.     

A note on generalized skew derivations on Lie ideals

Let \(\mathcal {R}\) be a prime ring, \(\mathcal {Z(R)}\) its center, \(\mathcal {C}\) its extended centroid, \(\mathcal {L}\) a Lie ideal of \(\mathcal {R}, \mathcal {F}\) a generalized skew derivation associated with a skew derivation d and automorphism \(\alpha \). Assume that there exist \(t\ge 1\) and \(m,n\ge 0\) fixed integers such that \( vu = u^m\mathcal {F}(uv)^tu^n\) for all \(u,v \in \mathcal {L}\). Then it is shown that either \(\mathcal {L}\) is central or \(\mathrm{char}(\mathcal {R})=2, \mathcal {R}\subseteq \mathcal {M}_2(\mathcal {C})\), the ring of \(2\times 2\) matrices over \(\mathcal {C}, \mathcal {L}\) is commutative and \(u^2\in \mathcal {Z(R)}\), for all \(u\in \mathcal {L}\). In particular, if \(\mathcal {L}=[\mathcal {R,R}]\), then \(\mathcal {R}\) is commutative.     

Some Remarks on the Hyperelliptic Moduli of Genus 3

In 1967, Shioda [20 Shioda , T. ( 1967 ). On the graded ring of invariants of binary octavics . Amer. J. Math. 89 : 1022 – 1046 .[Crossref], [Web of Science ®] , [Google Scholar]] determined the ring of invariants of binary octavics and their syzygies using the symbolic method. We discover that the syzygies determined in [20 Shioda , T. ( 1967 ). On the graded ring of invariants of binary octavics . Amer. J. Math. 89 : 1022 – 1046 .[Crossref], [Web of Science ®] , [Google Scholar]] are incorrect. In this paper, we compute the correct equations among the invariants of the binary octavics and give necessary and sufficient conditions for two genus 3 hyperelliptic curves to be isomorphic over an algebraically closed field k, char k ≠ 2, 3, 5, 7. For the first time, an explicit equation of the hyperelliptic moduli for genus 3 is computed in terms of absolute invariants.     

ON THE EXISTENCE OF FLAT COVERS IN R-gr

Recently, a proof of the existence of a flat cover of any module over an arbitrary associative ring with unit has been finally given (see 4-5 Bican, L., EL Bashir, R. and Enochs, E. All Modules Have Flat Covers, preprint Eklof and Trlifaj, J. How to Make Ext Vanish. J. London Math. Soc., to appear ). In this paper we prove the existence of flat covers in the category of graded modules over a graded ring. Some graded theoretical machinery is introduced to make the proof possible and new graded homological tools are developed.     

Special Properties of Rings of Skew Generalized Power Series

Let R be a ring, S a strictly ordered monoid, and ω: S → End(R) a monoid homomorphism. In [30 Marks , G. , Mazurek , R. , Ziembowski , M. ( 2010 ). A unified approach to various generalizations of Armendariz rings . Bull. Aust. Math. Soc. 81 : 361 – 397 .[Crossref], [Web of Science ®] , [Google Scholar]], Marks, Mazurek, and Ziembowski study the (S, ω)-Armendariz condition on R, a generalization of the standard Armendariz condition from polynomials to skew generalized power series. Following [30 Marks , G. , Mazurek , R. , Ziembowski , M. ( 2010 ). A unified approach to various generalizations of Armendariz rings . Bull. Aust. Math. Soc. 81 : 361 – 397 .[Crossref], [Web of Science ®] , [Google Scholar]], we provide various classes of nonreduced (S, ω)-Armendariz rings, and determine radicals of the skew generalized power series ring R[[S ^≤, ω]], in terms of those of an (S, ω)-Armendariz ring R. We also obtain some characterizations for a skew generalized power series ring to be local, semilocal, clean, exchange, uniquely clean, 2-primal, or symmetric.     

The pure virtual braid group is quadratic

If an augmented algebra $K$ over $\mathbb Q $ is filtered by powers of its augmentation ideal $I$ , the associated graded algebra $gr_I K$ need not in general be quadratic: although it is generated in degree 1, its relations may not be generated by homogeneous relations of degree 2. In this paper, we give a sufficient criterion (called the PVH Criterion) for $gr_I K$ to be quadratic. When $K$ is the group algebra of a group $G$ , quadraticity is known to be equivalent to the existence of a (not necessarily homomorphic) universal finite type invariant for $G$ . Thus, the PVH Criterion also implies the existence of such a universal finite type invariant for the group $G$ . We apply the PVH Criterion to the group algebra of the pure virtual braid group (also known as the quasi-triangular group), and show that the corresponding associated graded algebra is quadratic, and hence that these groups have a universal finite type invariant.     

Unifying strongly clean power series rings

It is unknown whether a power series ring over a strongly clean ring is, itself, always strongly clean. Although a number of authors have shown that the above statement is true in certain special cases, the problem remains open, in general. In this article, we look at a class of strongly clean rings, which we call the optimally clean rings, over which power series are strongly clean. This condition is motivated by work in [10 Diesl, A. J., Dorsey, T. J., Garg, S., Khurana, D. (2012). A note on completeness and strongly clean rings, preprint. [Google Scholar]] and [11 Diesl, A. J., Dorsey, T. J., Iberkleid, W., LaFuente-Rodriguez, R., McGovern, W (2013). Strongly clean triangular matrices over abelian rings, preprint. [Google Scholar]]. We explore the properties of optimally clean rings and provide many examples, highlighting the role that this new class of rings plays in investigating the question of strongly clean power series.     

The \mathfrak {sl}_{3}-web algebra

In this paper we use Kuperberg’s $\mathfrak {sl}_3$ -webs and Khovanov’s $\mathfrak {sl}_3$ -foams to define a new algebra $K^S$ , which we call the $\mathfrak {sl}_3$ -web algebra. It is the $\mathfrak {sl}_3$ analogue of Khovanov’s arc algebra. We prove that $K^S$ is a graded symmetric Frobenius algebra. Furthermore, we categorify an instance of $q$ -skew Howe duality, which allows us to prove that $K^S$ is Morita equivalent to a certain cyclotomic KLR-algebra of level 3. This allows us to determine the split Grothendieck group $K^{\oplus }_0(\mathcal {W}^S)_{\mathbb {Q}(q)}$ , to show that its center is isomorphic to the cohomology ring of a certain Spaltenstein variety, and to prove that $K^S$ is a graded cellular algebra.     

Automorphism Group of q-Quantum Torus Lie Algebra with q a Root of Unity*

Let α be an automorphism of a ring R. We study the skew Armendariz of Laurent series type rings (α-LA rings), as a generalization of the standard Armendariz condition from polynomials to skew Laurent series. We study on the relationship between the Baerness and p.p. property of a ring R and these of the skew Laurent series ring R[[x, x ^?1; α]], in case R is an α-LA ring. Moreover, we prove that for an α-weakly rigid ring R, R[[x, x ^?1; α]] is a left p.q.-Baer ring if and only if R is left p.q.-Baer and every countable subset of S _?(R) has a generalized countable join in R. Various types of examples of α-LA rings are provided.     

On ideals with the Rees property

A homogeneous ideal I of a polynomial ring S is said to have the Rees property if, for any homogeneous ideal ${J \subset S}$ which contains I, the number of generators of J is smaller than or equal to that of I. A homogeneous ideal ${I \subset S}$ is said to be ${\mathfrak{m}}$ -full if ${\mathfrak{m}I:y=I}$ for some ${y \in \mathfrak{m}}$ , where ${\mathfrak{m}}$ is the graded maximal ideal of ${S}$ . It was proved by one of the authors that ${\mathfrak{m}}$ -full ideals have the Rees property and that the converse holds in a polynomial ring with two variables. In this note, we give examples of ideals which have the Rees property but are not ${\mathfrak{m}}$ -full in a polynomial ring with more than two variables. To prove this result, we also show that every Artinian monomial almost complete intersection in three variables has the Sperner property.     

A Note on Strongly Clean Matrix Rings

Let R be an associative ring with identity. An element a ∈ R is called strongly clean if a = e + u with e ² = e ∈ R, u a unit of R, and eu = ue. A ring R is called strongly clean if every element of R is strongly clean. Strongly clean rings were introduced by Nicholson [7 Nicholson , W. K. ( 1999 ). Strongly clean rings and Fitting's lemma . Comm. Algebra 27 : 3583 – 3592 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]]. It is unknown yet when a matrix ring over a strongly clean ring is strongly clean. Several articles discussed this topic when R is local or strongly π-regular. In this note, necessary conditions for the matrix ring 𝕄 _n (R) (n > 1) over an arbitrary ring R to be strongly clean are given, and the strongly clean property of 𝕄₂(RC ₂) over the group ring RC ₂ with R local is obtained.     

Power series over strongly Hopfian bounded rings

Let R be a commutative ring with identity. We show that R[[X]] is strongly Hopfian bounded if and only if R has a strongly Hopfian bounded extension T such that I_c(T) contains a regular element of T. We deduce that if R[[X]] is strongly Hopfian bounded, then so is R[[X,Y]] where X,Y are two indeterminates over R. Also we show that if R is embeddable in a zero-dimensional strongly Hopfian bounded ring, then so is R[[X]] (this generalizes most results of Hizem [11 Hizem, S. (2011). Formal power series over strongly Hopfian rings. Commun. Algebra 39(1):279–291.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]]). For a chained ring R, we show that R[[X]] is strongly Hopfian if and only if R is strongly Hopfian.     

Cone Length for DG Modules and Global Dimension of DG Algebras

As the definition of free class of differential modules over a commutative ring in [1 Avramov , L. L. , Buchweitz , R.-O. , Iyengar , S. ( 2007 ). Class and rank of differential modules . Invent. Math. 169 : 1 – 35 .[Crossref], [Web of Science ®] , [Google Scholar]], we define DG free class for semifree DG modules over an Adams connected DG algebra A. For any DG A-modules M, we define its cone length as the least DG free classes of all semifree resolutions of M. The cone length of a DG A-module plays a similar role as projective dimension of a module over a ring does in homological ring theory. The left (resp., right) global dimension of an Adams connected DG algebra A is defined as the supremum of the set of cone lengths of all DG A-modules (resp., A ^op -modules). It is proved that the definition is a generalization of that of graded algebras. Some relations between the global dimension of H(A) and the left (resp. right) global dimension of A are discovered. When A is homologically smooth, we prove that the left (right) global dimension of A is finite and the dimension of D(A) and D ^c (A) are not bigger than the DG free class of a minimal semifree resolution X of the DG A ^e -module A.     

Laurent Series Ring over Semiperfect Ring Can Not be Semiperfect

One of the main results of the article [2 Sonin , K. I. ( 1996 ). Semiprime and semiperfect rings of Laurent series . Mathematical Notes 60 : 222 – 226 .[Crossref], [Web of Science ®] , [Google Scholar]] says that, if a ring R is semiperfect and ? is an authomorphism of R, then the skew Laurent series ring R((x, ?)) is semiperfect. We will show that the above statement is not true. More precisely, we will show that, if the Laurent series ring R((x)) is semilocal, then R is semiperfect with nil Jacobson radical.     

QUOTIENTS OF CONIC BUNDLES

Let k be an arbitrary field of characteristic zero. In this paper we study quotients of k-rational conic bundles over Open image in new window by finite groups of automorphisms. We construct smooth minimal models for such quotients. We show that any quotient is birationally equivalent to a quotient of other k-rational conic bundle cyclic group \( {\mathrm{\mathfrak{C}}}_{2^k} \) of order 2 ^k , dihedral group \( {\mathfrak{D}}_{2^k} \) of order 2 ^k , alternating group \( {\mathfrak{A}}_4 \) of degree 4, symmetric group \( {\mathfrak{S}}_4 \) of degree 4 or alternating group \( {\mathfrak{A}}_5 \) of degree 5 effectively acting on the base of the conic bundle. Also we construct infinitely many examples of such quotients which are not k-birationally equivalent to each other.