If A is a strongly noetherian graded algebra generated in degree one, then there is a canonically constructed graded ring homomorphism from A to a twisted homogeneous coordinate ring B(X, L, sigma), which is surjective in large degree. This result is a key step in the study of projectively simple rings. The proof relies on some results concerning the growth of graded rings which are of independent interest.
We give sufficient conditions for the descent construction to be the universal central extension of a twisted form of a split simple Lie algebra over a ring. In particular, the universal central extensions of twisted multiloop Lie tori are obtained by the descent construction.
In this work, we introduce the point parameter ring B, a generalized twisted homogeneous coordinate ring associated to a degenerate version of the three-dimensional Sklyanin algebra. The surprising geometry of these algebras yields an analogue to a result of Artin-Tate-van den Bergh, namely that B is generated in degree one and thus is a factor of the corresponding degenerate Sklyanin algebra.
The Hilbert scheme of point modules was introduced by Artin-Tate-Van den Bergh to study non-commutative graded algebras. The key tool is the construction of a map from the algebra to a twisted ring on this Hilbert scheme. In this paper, we study moduli stacks of more general "fat" point modules, and show that there is a similar map to a twisted ring associated to the stack. This is used to provide a sufficient criterion for a non-commutative projective surface to be birationally PI. It is hoped that such a criterion will be useful in understanding Mike Artin's conjecture on the birational clas…
In this article, we work with unital twisted partial action of $\mathbb{Z}$ on an unital ring $R$ and we introduce the twisted partial skew power series rings and twisted partial skew Laurent series rings. We study primality, semi-primality and prime ideals in these rings. We completely describe the prime radical in partial skew Laurent series rings. Moreover, we study the Goldie property in partial skew power series rings and partial skew Laurent series rings and we describe conditions of the semiprimality of twisted partial skew power series rings.
Given a projective scheme $X$ over a field $k$, an automorphism $σ$ of $X$, and a $σ$-ample invertible sheaf $L$, one may form the twisted homogeneous coordinate ring $B = B(X, L, σ)$, one of the most fundamental constructions in noncommutative projective algebraic geometry. We study the primitive spectrum of $B$, as well as that of other closely related algebras such as skew and skew-Laurent extensions of commutative algebras. Over an algebraically closed, uncountable field $k$ of characteristic zero, we prove that that the primitive ideals of $B$ are characterized by the usual Dixmier-Moegli…
There is an error in the computation of the truncated point schemes of the degenerate Sklyanin algebra S(1, 1, 1); they are larger than was claimed in Proposition 3.13 of the above paper. We provide a description of the correct truncated point schemes. Results about the corresponding point parameter ring associated to these schemes are given afterward.
Let U be the group of units of an infinite twisted group algebra K_λG over a field K. We describe the maximal FC-subgroup of U and give a characterization of U with finitely conjugacy classes. In the case of group algebras we obtain the Cliff-Sehgal-Zassenhaus' theorem.
In this short note, we construct a right adjoint to the functor which associates to a ring $R$ equipped with a group action its twisted group ring. This right adjoint admits an interpretation as semilinearization, in that it sends an $R$-module to the group of semilinear $R$-module automorphisms of the module. As an immediate corollary, we provide a novel proof of the classical observation that modules over a twisted group ring are modules over the base ring together with a semilinear action.
In this paper we prove that if R is a left Noetherian and left regular ring such that all finitely generated projective left R-modules are stably free, then the same is true for the completion R[[x;σ,δ]] of any Ore extension R[x;σ,δ] of R. Additionally assumes certain natural conditions for σand δfor ensure that this completion are good defined. The proof compares the Grothendieck groups K_{0} of R and S using some results find in [3], [6], [7] and [9].
We study $(σ,τ)$-derivations of a group ring $RG$ where $G$ is a group with center having finite index in $G$ and $R$ is a semiprime ring with $1$ such that either $R$ has no torsion elements or that if $R$ has $p$-torsion elements, then $p$ does not divide the order of $G$ and let $σ,τ$ be $R$-linear endomorphisms of $RG$ fixing the center of $RG$ pointwise. We generalize Main Theorem $1.1$ of \cite{Chau-19} and prove that there is a ring $T\supset R$ such that $\mathcal{Z}(T)\supset\mathcal{Z}(R)$ and that for the natural extensions of $σ, τ$ to $TG$ we get $H^1(TG,{}_σTG_τ)=0$, where ${}_σT…
Over a field of prime characteristic $p>2$, we prove that the cohomology rings of some pointed Hopf algebras of dimension $p^3$ are finitely generated. These are Hopf algebras arising in the ongoing classification of finite dimensional Hopf algebras in positive characteristic, and include bosonizations of Nichols algebras of Jordan type in a general setting as well as their liftings when $p=3$. Our techniques are applications of twisted tensor product resolutions and Anick resolutions in combination with May spectral sequences.
Similarly to how the classical group ring isomorphism problem asks, for a commutative ring $R$, which information about a finite group $G$ is encoded in the group ring $RG$, the twisted group ring isomorphism problem asks which information about $G$ is encoded in all the twisted group rings of $G$ over $R$. We investigate this problem over fields. We start with abelian groups and show how the results depend on the roots of unity in $R$. In order to deal with non-abelian groups we construct a generalization of a Schur cover which exists also when $R$ is not an algebraically closed field, but st…
Let A be a unital ring which is a product of possibly infinitely many indecomposable rings. We establish criteria for the existence of a globalization for a given twisted partial action of a group on A. If the globalization exists, it is unique up to a certain equivalence relation and, moreover, the crossed product corresponding to the twisted partial action is Morita equivalent to that corresponding to its globalization. For arbitrary unital rings the globalization problem is reduced to an extendibility property of the multipliers involved in the twisted partial action.
Crystalline graded rings are generalizations of certain classes of rings like generalized twisted group rings, generalized Weyl algebras, and generalized skew crossed products. When the base ring is a commutative Dedekind domain, two constructions are given for producing maximal graded orders. On the way, a new concept appears, so-called, spectrally twisted group. Some general properties of it are studied. At the end of the paper several examples are considered.
We continue our investigation of a variation of the group ring isomorphism problem for twisted group algebras. Contrary to previous work, we include cohomology classes which do not contain any cocycle of finite order. This allows us to study the problem in particular over any field of characteristic $0$. We prove that there are finite groups $G$ and $H$ which can not be distinguished by their rational twisted group algebras, while $G$ and $H$ can be identified by their semi-simple twisted group algebras over other fields. This is in contrast with the fact that the structural information on $G$…
The striking results on noncrossed products were their existence (Amitsur) and the determination of Q(t) and Q((t)) as their smallest possible centres (Brussel). This paper gives the first fully explicit noncrossed product example over Q((t)). As a consequence, the use of deep number theoretic theorems (local-global principles such as the Hasse norm theorem and density theorems) in order to prove existence is eliminated. Instead, the example can be verified by direct calculations. The noncrossed product proof is short and elementary.
Let $R$ be a polynomial ring in $m$ variables over a field of characteristic zero. We classify all rank $n$ twisted generalized Weyl algebras over $R$, up to $\mathbb{Z}^n$-graded isomorphisms, in terms of higher spin 6-vertex configurations. Examples of such algebras include infinite-dimensional primitive quotients of $U(\mathfrak{g})$ where $\mathfrak{g}=\mathfrak{gl}_n$, $\mathfrak{sl}_n$, or $\mathfrak{sp}_{2n}$, algebras related to $U(\widehat{\mathfrak{sl}}_2)$ and a finite W-algebra associated to $\mathfrak{sl}_4$. To accomplish this classification we first show that the problem is equi…
Twisted generalized Weyl algebras (TGWAs) $A(R,σ,t)$ are defined over a base ring $R$ by parameters $σ$ and $t$, where $σ$ is an $n$-tuple of automorphisms, and $t$ is an $n$-tuple of elements in the center of $R$. We show that, for fixed $R$ and $σ$, there is a natural algebra map $A(R,σ,tt')\to A(R,σ,t)\otimes_R A(R,σ,t')$. This gives a tensor product operation on modules, inducing a ring structure on the direct sum (over all $t$) of the Grothendieck groups of the categories of weight modules for $A(R,σ,t)$. We give presentations of these Grothendieck rings for $n=1,2$, when $R=\mathbb{C}[z]…
The aim of this work is to investigate the structure of some skew twisted algebras, when the coefficient ring is a localization of the polynomial ring over the field of characteristic zero, and an involution is provided. A parallel construction of the rational twisted generalized Weyl algebras is given. We propose a method and explicit formulas for a constructive description of these algebras and their involution-symmetric invariant subalgebras based on the Gelfand-Zeitlin realization of the universal enveloping algebra of some complex Lie algebras. As concrete examples we discuss special unit…
In this paper we investigate left ideals as codes in twisted skew group rings. The considered rings, which are often algebras over a finite field, allows us to detect many of the well-known codes. The presentation, given here, unifies the concept of group codes, twisted group codes and skew group codes.
Polynomial log-volume growth in slow dynamics and the GK-dimensions of twisted homogeneous coordinate rings
National Taiwan University(国立台湾大学);National Center for Theoretical Sciences(国家理论科学中心);the University of Tokyo(东京大学);National Center for Theoretical Sciences, Mathematics Division, National Taiwan University(国立台湾大学国家理论科学中心数学组);National University of Singapore(新加坡国立大学)
The elliptic algebras in the title are connected graded $\mathbb{C}$-algebras, denoted $Q_{n,k}(E,τ)$, depending on a pair of relatively prime integers $n>k\ge 1$, an elliptic curve $E$, and a point $τ\in E$. This paper examines a canonical homomorphism from $Q_{n,k}(E,τ)$ to the twisted homogeneous coordinate ring $B(X_{n/k},σ',\mathcal{L}'_{n/k})$ on the characteristic variety $X_{n/k}$ for $Q_{n,k}(E,τ)$. When $X_{n/k}$ is isomorphic to $E^g$ or the symmetric power $S^gE$ we show the homomorphism $Q_{n,k}(E,τ) \to B(X_{n/k},σ',\mathcal{L}'_{n/k})$ is surjective, that the relations for $B(X_…
Finite-dimensional square-free algebras have been completely characterized by Anderson and D'Ambrosia as certain twisted semigroup algebras over a square-free semigroup S with coefficients in a field K. D'Ambrosia extended the definition of square-free to artinian rings with unity and showed every square-free ring has an associated division ring D and square-free semigroup S. We show a square-free ring can be characterized as a twisted semigroup ring over a square-free semigroup S with coefficients in a division ring D. Also, to each square-free ring there exists a short exact sequence connect…
We construct the Gerstenhaber bracket on Hochschild cohomology of a twisted tensor product of algebras, and, as examples, compute Gerstenhaber brackets for some quantum complete intersections arising in work of Buchweitz, Green, Madsen, and Solberg. We prove that a subalgebra of the Hochschild cohomology ring of a twisted tensor product, on which the twisting is trivial, is isomorphic, as Gerstenhaber algebras, to the tensor product of the respective subalgebras of the Hochschild cohomology rings of the factors.
In this paper, we give the complete structures of the equivalence canonical form of four matrices over an arbitrary division ring. As applications, we derive some practical necessary and sufficient conditions for the solvability to some systems of generalized Sylvester matrix equations using the ranks of their coefficient matrices. The results of this paper are new and available over the real number field, the complex number field, and the quaternion algebra.
We study stratifying ideals for rings in the context of relative homological algebra. Using LU-decompositions, which are a special type of twisted products, we give a sufficient condition for an idempotent ideal to be (relative) stratifying.
The \emph{canonical structures of the plane} are those that result, up to isomorphism, from the rings that have the form $\mathds{R}[x]/(ax^2+bx+c)$ with $a\neq 0$.That ring is isomorphic to $\mathds{R}[θ]$, where $θ$ is the equivalence class of x, which satisfies $θ^2 = (-\dfrac{c}{a}) + θ(-\dfrac{b}{a})$. On the other hand, it is known that, up to isomorphism, there are only three canonical structures: the corresponding to $θ^2 = -1$ (the complex numbers), $θ^2 = 1$ (the perplex or hyperbolic numbers) and $θ^2 = 0$ (the parabolic numbers). This article copes with the algebraic structure of t…