No Arabic abstract
In support variety theory, representations of a finite dimensional (Hopf) algebra $A$ can be studied geometrically by associating any representation of $A$ to an algebraic variety using the cohomology ring of $A$. An essential assumption in this theory is the finite generation condition for the cohomology ring of $A$ and that for the corresponding modules. In this paper, we introduce various approaches to study the finite generation condition. First, for any finite dimensional Hopf algebra $A$, we show that the finite generation condition on $A$-modules can be replaced by a condition on any affine commutative $A$-module algebra $R$ under the assumption that $R$ is integral over its invariant subring $R^A$. Next, we use a spectral sequence argument to show that a finite generation condition holds for certain filtered, smash and crossed product algebras in positive characteristic if the related spectral sequences collapse. Finally, if $A$ is defined over a number field over the rationals, we construct another finite dimensional Hopf algebra $A$ over a finite field, where $A$ can be viewed as a deformation of $A$, and prove that if the finite generation condition holds for $A$, then the same condition holds for $A$.
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.
In this paper we construct a graded Lie algebra on the space of cochains on a $mathbbZ_2$-graded vector space that are skew-symmetric in the odd variables. The Lie bracket is obtained from the classical Gerstenhaber bracket by (partial) skew-symmetrization; the coboundary operator is a skew-symmetrized version of the Hochschild differential. We show that an order-one element $m$ satisfying the zero-square condition $[m,m]=0$ defines an algebraic structure called Lie antialgebra. The cohomology (and deformation) theory of these algebras is then defined. We present two examples of non-trivial cohomology classes which are similar to the celebrated Gelfand-Fuchs and Godbillon-Vey classes.
Given an iterated skew polynomial ring C[y_1;t_1,d_1]ldots [y_n;t_n,d_n] over a complete local ring C with maximal ideal m, we prove, under suitable assumptions, that the completion at the ideal m + < y_1,y_2,ldots,y_n> is an iterated skew power series ring. Under further conditions, this completion is a local, noetherian, Auslander regular domain. Applicable examples include quantum matrices, quantum symplectic spaces, and quantum Euclidean space.
Xu introduced a family of root-tree-diagram nilpotent Lie algebras of differential operators, in connection with evolution partial differential equations. We generalized his notion to more general oriented tree diagrams. These algebras are natural analogues of the maximal nilpotent Lie subalgebras of finite-dimensional simple Lie algebras. In this paper, we use Hodge Laplacian to study the cohomology of these Lie algebras. The total rank conjecture and $b_2$-conjecture for the algebras are proved. Moreover, we find the generating functions of the Betti numbers by means of Young tableaux for the Lie algebras associated with certain tree diagrams of single branch point. By these functions and Euler-Poincare principle, we obtain analogues of the denominator identity for finite-dimensional simple Lie algebras. The result is a natural generalization of the Botts classical result in the case of special linear Lie algebras.
For symplectic Lie algebras $mathfrak{sp}(2n,mathbb{C})$, denote by $mathfrak{b}$ and $mathfrak{n}$ its Borel subalgebra and maximal nilpotent subalgebra, respectively. We construct a relationship between the abelian ideals of $mathfrak{b}$ and the cohomology of $mathfrak{n}$ with trivial coefficients. By this relationship, we can enumerate the number of abelian ideals of $mathfrak{b}$ with certain dimension via the Poincare polynomials of Weyl groups of type $A_{n-1}$ and $C_n$.