Related papers: Cohomology with Grosshans graded coefficients

Let $k$ be an algebraically closed field of characteristic $p>2$. We determine the Hochschild cohomology of $U(\mathfrak{sl}_2(k))$ and the invariants of $\mathfrak{sl}_2(k)$ and $\mathsf{SL}_2(k)$ in the adjoint action on the divided power…

Among finite dimensional algebras over a field $K$, the class of gentle algebras is known to be closed by derived equivalences. Although a classification up to derived equivalences is usually a difficult problem, Avella-Alaminos and Geiss…

Let $R$ be a commutative noetherian ring and $f: X \to \mathrm{Spec} R$ a proper smooth morphism, of relative dimension $n$. From Hartshorne, Residues and Duality, Springer, 1966, one knows that the trace map $\mathrm{Tr}_f :…

We prove finite generation of the cohomology ring of any finite dimensional pointed Hopf algebra, having abelian group of grouplike elements, under some mild restrictions on the group order. The proof uses the recent classification by…

For an arrangement with complement X and fundamental group G, we relate the truncated cohomology ring, H^{<=2}(X), to the second nilpotent quotient, G/G_3. We define invariants of G/G_3 by counting normal subgroups of a fixed prime index p,…

For $K$ a field, consider a finite subgroup $G$ of $\operatorname{GL}_n(K)$ with its natural action on the polynomial ring $R:=K[x_1,\dots,x_n]$. Let $\mathfrak{n}$ denote the homogeneous maximal ideal of the ring of invariants $R^G$. We…

Let $A$ be a $k$-algebra where $k$ is an algebraically closed field and $G$ be a finite abelian group for which the characteristic of $k$ does not divide $|G|$. If $G$ acts on $A$ by $k$-algebra automorphisms then the action induces a…

Action of finite-dimensional Hopf algebra $H$ on commutative $k-$algebra $A$ is considered. As a generalization of the well-known fact for finite groups S. Montgomery raised a problem in 1993 whether $A$ is integral over subalgebra of…

We compute the cohomology with trivial coefficients of Lie algebras $\mathfrak{m}_0$ and $\mathfrak{m}_2$ of maximal class over the field $\mathbb{Z}_2$. In the infinite-dimensional case, we show that the cohomology rings…

Let $G$ be a topological group and $A$ a topological $G$-module (not necessarily abelian). In this paper, we define $H^{0}(G,A)$ and $H^{1}(G,A)$ and will find a six terms exact cohomology sequence involving $H^{0}$ and $H^{1}$. We will…

For a subgroup $H$ of a reductive group $G$, let $\mathfrak m\subset \mathfrak g^*$ be the cotangent space of $eH\in G/H$. The linear action $(H:\mathfrak m)$ is the coisotropy representation. It is known that the complexity and rank of…

Let $G$ be a group scheme of finite type over a field, and consider the cohomology ring $H^*(G)$ with coefficients in the structure sheaf. We show that $H^*(G)$ is a free module of finite rank over its component of degree 0, and is the…

Consider the action of a subgroup $G$ of the permutation group on the polynomial ring $S := k[x_{1}, \ldots, x_{n}]$ via permutations. We show that if $k$ does not have characteristic two, then the following are independent of $k$: the…

Let C be a small category and k a field. There are two interesting mathematical subjects: the category algebra kC and the classifying space |C|=BC. We study the ring homomorphism HH*(kC) --> H*(|C|,k) and prove it is split surjective. This…

In this article we prove finite generation of the cohomology of quotients of a PBW algebra A by relating it to the cohomology of quotients of a quantum symmetric algebra S which is isomorphic to the associated graded algebra of A. The proof…

Let k be a field and let A be a Frobenius algebra over k. Assume that the Nakayama automorphism of A associated to a Frobenius homomorphism of A has finite order m, and k has a m-th primitive root of unity. Then, A has a natural…

Graded skew-commutative rings occur often in practice. Here are two examples: 1) The cohomology ring of a compact three-dimensional manifold. 2) The cohomology ring of the complement of a hyperplane arrangement (the Orlik-Solomon algebra).…

We prove that some skew group algebras have Noetherian cohomology rings, a property inherited from their component parts. The proof is an adaptation of Evens' proof of finite generation of group cohomology. We apply the result to a series…

Let $H$ be a Hopf algebra. We consider $H$-equivariant modules over a Hopf module category $\mathcal C$ as modules over the smash extension $\mathcal C\# H$. We construct Grothendieck spectral sequences for the cohomologies as well as the…

We prove that Ext^*_A(k,k) is a Gerstenhaber algebra, where A is a Hopf algebra. In case A=D(H) is the Drinfeld double of a finite dimensional Hopf algebra H, our results implies the existence of a Gerstenhaber bracket on H^*_{GS}(H,H).…