Finite generation of the cohomology rings for the extension algebras of monomial algebras

Author(s):  
Hongbo Shi

We describe the cohomology ring of a monomial algebra in the language of dimension tree or minimal resolution graph and in this context we study the finite generation of the cohomology rings of the extension algebras, showing among others that the cohomology ring [Formula: see text] is finitely generated [Formula: see text] is [Formula: see text] is, where [Formula: see text] is the dual extension of a monomial algebra [Formula: see text] and [Formula: see text] is the opposite algebra of [Formula: see text].

2010 ◽  
Vol 09 (01) ◽  
pp. 73-122 ◽  
Author(s):  
NICOLE SNASHALL ◽  
RACHEL TAILLEFER

We consider a class of self-injective special biserial algebras ΛN over a field K and show that the Hochschild cohomology ring of dΛN is a finitely generated K-algebra. Moreover, the Hochschild cohomology ring of ΛN modulo nilpotence is a finitely generated commutative K-algebra of Krull dimension two. As a consequence the conjecture of [N. Snashall and Ø. Solberg, Support varieties and Hochschild cohomology rings, Proc. London Math. Soc.88 (2004) 705–732], concerning the Hochschild cohomology ring modulo nilpotence, holds for this class of algebras.


Author(s):  
CHUN-NIP LEE

Let Γ be a discrete group and p be a prime. One of the fundamental results in group cohomology is that H*(Γ, [ ]p) is a finitely generated [ ]p-algebra if Γ is a finite group [8, 24]. The purpose of this paper is to study the analogous question when Γ is no longer finite.Recall that Γ is said to have finite virtual cohomological dimension (vcd) if there exists a finite index torion-free subgroup Γ′ of Γ such that Γ′ has finite cohomological dimension over ℤ [4]. By definition vcd Γ is the cohomological dimension of Γ′. It is easy to see that the mod p cohomology ring of a finite vcd-group does not have to be a finitely generated [ ]p-algebra in general. For instance, if Γ is a countably infinite free product of ℤ's, then H1(Γ, [ ]p) is not finite dimensional over [ ]p. The three most important classes of examples of finite vcd-groups in which the mod p cohomology ring is a finitely generated [ ]p-algebra are arithmetic groups [2], mapping class groups [9, 10] and outer automorphism groups of free groups [5]. In each of these examples, the proof of finite generation involves the construction of a specific Γ-complex with appropriate finiteness conditions. These constructions should be regarded as utilizing the geometry underlying these special classes of groups. In contrast, the result we prove will depend only on the algebraic structure of the group Γ.


2006 ◽  
Vol 05 (02) ◽  
pp. 153-192 ◽  
Author(s):  
EDWARD L. GREEN ◽  
NICOLE SNASHALL ◽  
ØYVIND SOLBERG

For a finite dimensional monomial algebra Λ over a field K we show that the Hochschild cohomology ring of Λ modulo the ideal generated by homogeneous nilpotent elements is a commutative finitely generated K-algebra of Krull dimension at most one. This was conjectured to be true for any finite dimensional algebra over a field in [13].


2010 ◽  
Vol 146 (2) ◽  
pp. 465-479 ◽  
Author(s):  
Daniel C. Cohen

AbstractAn almost-direct product of free groups is an iterated semidirect product of finitely generated free groups in which the action of the constituent free groups on the homology of one another is trivial. We determine the structure of the cohomology ring of such a group. This is used to analyze the topological complexity of the associated Eilenberg–MacLane space.


2015 ◽  
Vol 58 (4) ◽  
pp. 787-798 ◽  
Author(s):  
Yu Kitabeppu ◽  
Sajjad Lakzian

AbstractIn this paper, we generalize the finite generation result of Sormani to non-branching RCD(0, N) geodesic spaces (and in particular, Alexandrov spaces) with full supportmeasures. This is a special case of the Milnor’s Conjecture for complete non-compact RCD(0, N) spaces. One of the key tools we use is the Abresch–Gromoll type excess estimates for non-smooth spaces obtained by Gigli–Mosconi.


2001 ◽  
Vol 131 (3) ◽  
pp. 459-472 ◽  
Author(s):  
ALEXANDER ZIMMERMANN

In an earlier paper we studied the impact of equivalences between derived categories of group rings on their cohomology rings. Especially the group of auto-equivalences TrPic(RG) of the derived category of a group ring RG as introduced by Raphaël Rouquier and the author defines an action on the cohomology ring of this group. We study this action with respect to the restriction map, transfer, conjugation and the local structure of the group G.


1999 ◽  
Vol 42 (3) ◽  
pp. 481-495 ◽  
Author(s):  
H. Ayik ◽  
N. Ruškuc

In this paper we consider finite generation and finite presentability of Rees matrix semigroups (with or without zero) over arbitrary semigroups. The main result states that a Rees matrix semigroup M[S; I, J; P] is finitely generated (respectively, finitely presented) if and only if S is finitely generated (respectively, finitely presented), and the sets I, J and S\U are finite, where U is the ideal of S generated by the entries of P.


2017 ◽  
Vol 2019 (17) ◽  
pp. 5316-5388 ◽  
Author(s):  
Hiraku Abe ◽  
Megumi Harada ◽  
Tatsuya Horiguchi ◽  
Mikiya Masuda

AbstractLet $n$ be a fixed positive integer and $h: \{1,2,\ldots,n\} \rightarrow \{1,2,\ldots,n\}$ a Hessenberg function. The main results of this paper are two-fold. First, we give a systematic method, depending in a simple manner on the Hessenberg function $h$, for producing an explicit presentation by generators and relations of the cohomology ring $H^\ast({\mathrm{Hess}}(\mathsf{N},h))$ with ${\mathbb Q}$ coefficients of the corresponding regular nilpotent Hessenberg variety ${\mathrm{Hess}}(\mathsf{N},h)$. Our result generalizes known results in special cases such as the Peterson variety and also allows us to answer a question posed by Mbirika and Tymoczko. Moreover, our list of generators in fact forms a regular sequence, allowing us to use techniques from commutative algebra in our arguments. Our second main result gives an isomorphism between the cohomology ring $H^*({\mathrm{Hess}}(\mathsf{N},h))$ of the regular nilpotent Hessenberg variety and the $\mathfrak{S}_n$-invariant subring $H^*({\mathrm{Hess}}(\mathsf{S},h))^{\mathfrak{S}_n}$ of the cohomology ring of the regular semisimple Hessenberg variety (with respect to the $\mathfrak{S}_n$-action on $H^*({\mathrm{Hess}}(\mathsf{S},h))$ defined by Tymoczko). Our second main result implies that $\mathrm{dim}_{{\mathbb Q}} H^k({\mathrm{Hess}}(\mathsf{N},h)) = \mathrm{dim}_{{\mathbb Q}} H^k({\mathrm{Hess}}(\mathsf{S},h))^{\mathfrak{S}_n}$ for all $k$ and hence partially proves the Shareshian–Wachs conjecture in combinatorics, which is in turn related to the well-known Stanley–Stembridge conjecture. A proof of the full Shareshian–Wachs conjecture was recently given by Brosnan and Chow, and independently by Guay–Paquet, but in our special case, our methods yield a stronger result (i.e., an isomorphism of rings) by more elementary considerations. This article provides detailed proofs of results we recorded previously in a research announcement [2].


Author(s):  
Michishige Tezuka ◽  
Nobuaki Yagita

In this paper we attempt to determine the mod p cohomology rings of the extra special p-groups for an odd prime p. Quillen has calculated the mod 2 case [8]. In our case, its structure seems to be very complicated [6]. It seems reasonable that we consider the variety defined by the cohomology ring of even degree according to Serre [11]. The main result of this paper (Theorem 5.3) gives a subalgebra of the cohomology ring such that the inclusion homomorphism induces a homeomorphism between the varieties.


Sign in / Sign up

Export Citation Format

Share Document