6 pages. Modification of Theorem 3.3 which was partly incorrect, actualization of references (not published in 2005) and suppression of the abridged French version
发表信息:
C.R. Acad. Sci. Paris, Série I, 341 (2005) 719-724
We give a description of the connected graded algebras which are finitely generated and presented of global dimension 2 or 3 and which are Gorenstein. These algebras are constructed from multilinear forms. We generalize the construction by associating homogeneous algebras to multilinear forms. The homogeneous algebras which are Koszul of finite global dimension and which are Gorenstein are of this type.
In this paper we investigate the class of the connected graded algebras which are finitely generated in degree 1, which are finitely presented with relations of degrees greater or equal to 2 and which are of finite global dimension D and Gorenstein. For D greater or equal to 4 we add the condition that these algebras are homogeneous and Koszul. It is shown that each such algebra is completely characterized by a multilinear form satisfying a twisted cyclicity condition and some other nondegeneracy conditions depending on the global dimension D. This multilinear form plays the role of a volume f…
In this paper we study the images of multilinear graded polynomials on the graded algebra of upper triangular matrices UT_n. For positive integers q \leq n, we classify these images on UT_n endowed with a particular elementary Z_q-grading. As a consequence, we obtain the images of multilinear graded polynomials on UT_n with the natural Z_n-grading. We apply this classification in order to give a new condition for a multilinear polynomial in terms of graded identities so that to obtain the traceless matrices in its image on the full matrix algebra. We also describe the images of multilinear pol…
We describe the universal quantum group preserving a preregular multilinear form, by means of an explicit finite presentation of the corresponding Hopf algebra.
The aim of this paper is to start the study of images of graded polynomials on full matrix algebras. We work with the matrix algebra $M_n(K)$ over a field $K$ endowed with its canonical $\mathbb{Z}_n$-grading (Vasilovsky's grading). We explicitly determine the possibilities for the linear span of the image of a multilinear graded polynomial over the field $\mathbb Q$ of rational numbers and state an analogue of the L'vov-Kaplansky conjecture about images of multilinear graded polynomials on $n\times n$ matrices, where $n$ is a prime number. We confirm such conjecture for polynomials of degree …
We give a short proof of the Cauchy-Binet determinantal formula using multilinear algebra by first generalizing it to an identity {\em not} involving determinants. By extending the formula to abstract Hilbert spaces we obtain, as a corollary, a generalization of the classical Parseval identity.
The paper presents two new results concerning the varieties of Leibnitz algebras. We find values of multiplicities and colength variety of Leibniz algebras of almost polynomial growth, which is generated by the algebra constructed with the help of the Heisenberg algebra and its infinite-dimensional irreducible representations.
Let $f(X_1,\dots, X_n)$ be a nonzero multilinear noncommutative polynomial. If $A$ is a unital algebra with a surjective inner derivation, then every element in $A$ can be written as $f(a_1,\dots,a_n)$ for some $a_i\in A$.
In this paper we prove the generalized Kaplansky conjecture for the Jordan algebras of the type $J_n$ in particular for self adjoint $2\times 2$ matrices over $\R$, over $\C$, $\HH$ and $\Oct$. In fact, we prove that the image of multilinear polynomial must be either $\{0\}$, $\mathbb{R}$, the space of pure elements $V$, or $J_n$.
In this paper we study the center algebras of multilinear forms. It is shown that the center of a nondegenerate multilinear form is a finite dimensional commutative algebra and can be effectively applied to its direct sum decompositions. As an application of the algebraic structure of centers, we also show that almost all multilinear forms are absolutely indecomposable. The theory of centers can be extended to multilinear maps and be applied to their symmetric equivalence. Moreover, with a help of the results of symmetric equivalence, we are able to provide a linear algebraic proof of a well k…
Let ${\mathbb F}$ be an arbitrary field. We consider a commutative, non-associative, $4$-dimensional algebra ${\mathfrak M}$ of the rock, the paper and the scissors with unit over ${\mathbb F}$ and we prove that the image over ${\mathfrak M}$ of every non-associative multilinear polynomial over ${\mathbb F}$ is a vector space. The same question we consider for two subalgebras: an algebra of the rock, the paper and the scissors without unit, and an algebra of trace zero elements with zero scalar part. Moreover in this paper we consider the questions of possible evaluations of homogeneous polyno…
The algebra Mul[[B]] of formal multilinear function series over an algebra B and its quotient SymMul[[B]] are introduced, as well as corresponding operations of formal composition. In the setting of Mul[[B]], the unsymmetrized R- and T-transforms of random variables in B-valued noncommutative probability spaces are introduced. These satisfy properties analogous to the usual R- and T-transforms, (the latter being just the reciprocal of the S-transform), but describe all moments of a random variable, not only the symmetric moments. The partially ordered set of noncrossing linked partitions is in…
In this paper, we consider graded associative conformal algebras. The class of these objects includes pseudo-algebras over non-cocommutative Hopf algebras of regular functions on some linear algebraic groups. In particular, an associative conformal algebra which is graded by a finite group $Γ$ is a pseudo-algebra over the coordinate Hopf algebra of a linear algebraic group $G$ such that the identity component $G^0$ is the affine line and $G/G^0\simeq Γ$. A classification of simple and semisimple graded associative conformal algebras of finite type is obtained.
Let $G$ be a group of order $k$. We consider the algebra $M_k(\mathbb{C})$ of $k$ by $k$ matrices over the complex numbers and view it as a crossed product with respect to $G$ by embedding $G$ in the symmetric group $S_k$ via the regular representation and embedding $S_k$ in $M_k(\mathbb{C})$ in the usual way. This induces a natural $G$-grading on $M_k(\mathbb{C})$ which we call a crossed-product grading. We study the graded $*$-identities for $M_k(\mathbb{C})$ equipped with such a crossed-product grading and the transpose involution. To each multilinear monomial in the free graded algebra wit…
Let $K$ be an infinite field of characteristic different from two and let $U_1$ be the Lie algebra of the derivations of the algebra of Laurent polynomials $K[t,t^{-1}]$. The algebra $U_1$ admits a natural $\mathbb{Z}$-grading. We provide a basis for the graded identities of $U_1$ and prove that they do not admit any finite basis. Moreover, we provide a basis for the identities of certain graded Lie algebras with a grading such that every homogeneous component has dimension $\leq 1$, if a basis of the multilinear graded identities is known. As a consequence of this latter result we are able to…
Institute of Mathematics and Mathematical Modeling(数学与数学建模研究所);Narxoz University(纳尔霍兹大学);SICM, Southern University of Science and Technology(南方科技大学信息计算研究中心);SDU University(南哈萨克斯坦大学)
In this paper, we investigate the subset obtained by evaluations of a fixed multilinear polynomial on a given algebra. We provide an example of a multilinear polynomial, whose image is not a vector subspace; namely, the product of two commutators need not to be a subspace whenever evaluated on certain subalgebras of upper triangular matrices (the so-called incidence algebras). In the last part of the paper, given that the field is infinite, we reduce the problem of the description of the image of a polynomial evaluated on an incidence algebra to the study of evaluations of a certain family of …
Inspired by the commutator and anticommutator algebras derived from algebras graded by groups, we introduce noncommutatively graded algebras. We generalize various classical graded results to the noncommutatively graded situation concerning identity elements, inverses, existence of limits and colimits and adjointness of certain functors. In the particular instance of noncommutatively graded Lie algebras, we establish the existence of universal graded enveloping algebras and we show a graded version of the Poincaré-Birkhoff-Witt theorem.
We study a class of graded algebras obtained from Ore extensions of graded Calabi-Yau algebras of dimension 2. It is proved that these algebras are graded Calabi-Yau and graded coherent. The superpotentials associated to these graded Calabi-Yau algebras are also constructed.
In this work, we extend the definition of the graded prime ideals from those in commutative graded rings to the ideals over graded Lie algebras. We prove some facts about graded prime Lie ideals in arbitrary Lie algebras that are similar to those about graded prime ideals over a commutative or non-commutative ring.In addition, the ideas of graded semiprime Lie ideals and graded total prime Lie ideals will be introduced.
For an ample groupoid $\mathcal{G}$ and a unit $x$ of $\mathcal{G}$, Steinberg constructed the induction and restriction functors between the category of modules over the Steinberg algebra $A_R(\mathcal{G})$ and the category of modules over the isotropy group algebra $R\mathcal{G}_x$. In this paper, we prove a graded version of these functors and related results for the graded Steinberg algebra of a graded ample groupoid. As an application, the spectral simple and graded simple modules over the Leavitt path algebra $L_K(E)$ are classified. In particular, we show that many of previously known s…
We consider the algebra M_k(C) of k-by-k matrices over the complex numbers and view it as a crossed product with a group G of order k by embedding G in the symmetric group S_k via the regular representation and embedding S_k in M_k(C) in the usual way. This induces a natural G-grading on M_k(C) which we call a crossed product grading. This grading is the so called elementary grading defined by any k-tuple (g_1,g_2,..., g_k) of distinct elements g_i in G. We study the graded polynomial identities for M_k(C) equipped with a crossed product grading. To each multilinear monomial in the free graded…
Let A and B be finite dimensional simple real algebras with division gradings by an abelian group G. In this paper we give necessary and sufficient conditions for the coincidence of the graded identities of A and B. We also prove that every finite dimensional simple real algebra with a G-grading satisfies the same graded identities as a matrix algebra over an algebra D with a division grading that is either a regular grading or a non-regular Pauli grading. Moreover we determine when the graded identities of two such algebras coincide. For graded simple algebras over an algebraically closed fie…
Let G be a group and A be a G-graded algebra satisfying a polynomial identity. We buid up a model for the relative free G-graded algebra and we obtain, as an application, the "factoring" property for the T_G-ideals of block triangular matrices with entries from the finite dimensional Grassmann algebra E for some particular Z_2-grading.
We extend the loop algebra construction for algebras graded by abelian groups to study graded-simple algebras over the field of real numbers (or any real closed field). As an application, we classify up to isomorphism the graded-simple alternative (nonassociative) algebras and graded-simple finite-dimensional Jordan algebras of degree 2. We also classify the graded-division alternative (nonassociative) algebras up to equivalence.
We prove that if $A$ is a regular graded skew Clifford algebra and is a twist of a regular graded Clifford algebra $B$ by an automorphism, then the subalgebra of $A$ generated by a certain normalizing sequence of homogeneous degree-two elements is a twist of a polynomial ring by an automorphism, and is a skew polynomial ring. We also present an example that demonstrates that this can fail when $A$ is not a twist of $B$.
We describe the graded isomorphisms of rings of endomorphisms of graded flags over graded division algebras. As a consequence describe the isomorphism classes of upper block triangular matrix algebras (over an algebraically closed field of characteristic zero) graded by a finite abelian group.
Let $\k$ be a field, and let $A$ and $B$ be connected $\N$-graded $\k$-algebras. The algebra $A$ is said to be a graded right-free extension of $B$ provided there is a surjective graded algebra morphism $π: A \to B$ such that $\kerπ$ is free as a right $A$-module. Suppose that $B$ is graded left coherent, and that $A$ is a graded right-free extension of $B$. We characterize when $A$ is also graded left coherent. We apply our criterion to prove graded coherence of certain non-Noetherian graded twisted tensor products.
For any finitely generated abelian group $Q$, we reduce the problem of classification of $Q$-graded simple Lie algebras over an algebraically closed field of "good" characteristic to the problem of classification of gradings on simple Lie algebras. In particular, we obtain the full classification of finite-dimensional $Q$-graded simple Lie algebras over any algebraically closed field of characteristic $0$ based on the recent classification of gradings on finite dimensional simple Lie algebras. We also reduce classification of simple graded modules over any $Q$-graded Lie algebra (not necessari…
We show that if $T$ is any of four semigroups of two elements that are not groups, there exists a finite dimensional associative $T$-graded algebra over a field of characteristic $0$ such that the codimensions of its graded polynomial identities have a non-integer exponent of growth. In particular, we provide an example of a finite dimensional graded-simple semigroup graded algebra over an algebraically closed field of characteristic $0$ with a non-integer graded PI-exponent, which is strictly less than the dimension of the algebra. However, if $T$ is a left or right zero band and the $T$-grad…
In this paper, the so-called differential graded (DG for short) Poisson Hopf algebra is introduced, which can be considered as a natural extension of Poisson Hopf algebras in the differential graded setting. The structures on the universal enveloping algebras of differential graded Poisson Hopf algebras are discussed.
In this paper we explore graded algebras of quotients of Lie algebras with special emphasis on the 3-graded case and answer some natural questions concerning its relation to maximal Jordan systems of quotients.
We show that every graded ideal of a Leavitt path algebra is graded isomorphic to a Leavitt path algebra. It is known that a graded ideal $I$ of a Leavitt path algebra is isomorphic to the Leavitt path algebra of a graph, known as the generalized hedgehog graph, which is defined based on certain sets of vertices uniquely determined by $I$. However, this isomorphism may not be graded. We show that replacing the short "spines" of the generalized hedgehog graph with possibly fewer, but then necessarily longer spines, we obtain a graph (which we call the porcupine graph) such that its Leavitt path…
In this paper, we introduce the notion of differential graded Poisson algebra and study its universal enveloping algebra. From any differential graded Poisson algebra $A$, we construct two isomorphic differential graded algebras: $A^e$ and $A^E$. It is proved that the category of differential graded Poisson modules over $A$ is isomorphic to the category of differential graded modules over $A^e$, and $A^e$ is the unique universal enveloping algebra of $A$ up to isomorphisms. As applications of the universal property of $A^e$, we prove that $(A^e)^{op}\cong (A^{op})^e$ and $(A\otimes_{\Bbbk}B)^e…
We study graded symmetric algebras, which are the symmetric monoids in the monoidal category of vector spaces graded by a group. We show that a finite dimensional graded semisimple algebra is graded symmetric. The center of a symmetric algebra is not necessarily symmetric, but we prove that the center of a finite dimensional graded division algebra is symmetric, provided that the order of the grading group is not divisible by the characteristic of the base field.
We compute point schemes of some regular algebras using (Wolfram) Mathematica. These algebras are Ore extensions of regular graded skew Clifford algebras of global dimension 3.
We generalize graded Hecke algebras to include a twisting two-cocycle for the associated finite group. We give examples where the parameter spaces of the resulting twisted graded Hecke algebras are larger than that of the graded Hecke algebras. We prove that twisted graded Hecke algebras are particular types of deformations of a crossed product.
The motivation for this paper has been to study the relation between the zero component of the maximal graded algebra of quotients and the maximal graded algebra of quotients of the zero component, both in the Lie case and when considering Martindale algebras of quotients in the associative setting. We apply our results to prove that the finitary complex Lie algebras are (graded) strongly nondegenerate and compute their maximal algebras of quotients.
We classify a class of infinite-dimensional simple graded pre-Lie algebras on the graded vector space underlying the algebra of Laurent polynomials, with a specific form for the product.
The algebraic Cuntz-Pimsner rings are naturally $\mathbb{Z}$-graded rings that generalize both Leavitt path algebras and unperforated $\mathbb{Z}$-graded Steinberg algebras. We classify strongly, epsilon-strongly and nearly epsilon-strongly graded algebraic Cuntz-Pimsner rings up to graded isomorphism. As an application, we characterize noetherian and artinian fractional skew monoid rings by a single corner automorphism.
In this paper, we introduce the class of finitely semi-graded algebras which extends the connected graded algebras finitely generated in degree one. The Koszul behavior of finitely semi-graded algebras is investigated by the distributivity of some associated lattice of ideals. The Hilbert series, the Poincaré series and the Yoneda algebra are defined for this class of algebras. Finitely semi-graded algebras include many important examples of non $\mathbb{N}$-graded algebras finitely generated in degree one coming from mathematical physics, and for these concrete examples the Koszulity will be …
We consider the infinite dimensional Grassmann algebra E over a field F of characteristic 0 or p, where p>2, and we compute its Z_2-graded Gelfand-Kirillov dimension as a Z_2-graded PI-algebra.
In this paper, we study the Ext-algebras of graded skew extensions. For a connected graded algebra $A$ and a graded automorphism $σ$, we analyze the Yoneda product of the Ext-algebra of graded skew extension $A[z;σ]$, and prove this Ext-algebra is an $R$-smash product of the Ext-algebra of $A$ and the one of polynomial algebra $k[z]$ as an associative algebra.
It is shown that the methods and algorithms, developed in (A. Capani et al., Computing minimal finite free resolutions, {\it Journal of Pure and Applied Algebra}, (117& 118)(1997), 105 -- 117; M. Kreuzer and L. Robbiano, {\it Computational Commutative Algebra 2}, Springer, 2005.) for computing minimal homogeneous generating sets of graded submodules and graded quotient modules of free modules over a commutative polynomial algebra, can be adapted for computing minimal homogeneous generating sets of graded submodules and graded quotient modules of free modules over a weighted $\mathbb{N}$-graded…
We study the notion of $Γ$-graded commutative algebra for an arbitrary abelian group $Γ$. The main examples are the Clifford algebras already treated by Albuquerque and Majid. We prove that the Clifford algebras are the only simple finite-dimensional associative graded commutative algebras over $\mathbb{R}$ or $\mathbb{C}$. Our approach also leads to non-associative graded commutative algebras extending the Clifford algebras.
Let $K$ be a field, and $A=K[a_1,\ldots ,a_n]$ a solvable polynomial algebra in the sense of [K-RW, {\it J. Symbolic Comput.}, 9(1990), 1--26]. It is shown that if $A$ is an $\mathbb{N}$-graded algebra of $({\cal B},d(~))$-type, then $A$ has a graded monomial ordering $\prec_{gr}$. It is also shown that $A$ is an $\mathbb{N}$-filtered algebra of $({\cal B},d(~))$-type if and only if $A$ has a graded momomial ordering, where ${\cal B}$ is the PBW basis of $A$.