The global dimension of the algebra of the monoid of all partial functions on an \(n\)-set as the algebra of the EI-category of epimorphisms between subsets (Q1739185): Difference between revisions

Let \(\mathcal E_n\) be the category whose objects are the subsets of the set \{1,\dots,n\} and morphisms between two objects \(X\) and \(Y\) are all onto (total) functions from \(X\) to \(Y\). \(\mathbb{C} \mathcal E_n\) denotes the category algebra of \(\mathcal E_n\) -- a vector space over \(\mathbb{C}\) with basis the morphisms of \(\mathcal E_n\) and with the natural multiplication of morphisms. A description of the Cartan matrix of an algebra in a finite EI-category (all endomorphism monoids are groups) is given, together with the more thorough study of the Cartan matrix of \(\mathbb{C}\mathcal{SE}_n\), where \(\mathcal S\mathcal E_n\) is the skeleton category of \(\mathcal E_n\). It turned out that the projective dimension of the simple module corresponding to the Young diagram [2, \(1^{n-2}\)] is \(n-1\). This led to the main result that glDim \(\mathbb{C}\mathcal P\mathcal T_n = n-1\) (= glDim \(\mathbb{C}\mathcal S\mathcal E_n\) = glDim \(\mathbb{C}\mathcal E_n\)) for all \(n\geq 1\), where \(\mathbb{C}\mathcal P\mathcal T_n\) is the complex algebra of the monoid of all partial functions on an \(n\)-element set.