On a simplicial complex associated with tilting modules (Q1174607): Difference between revisions

Let \(\Lambda\) be a finite-dimensional associative algebra over an algebraically closed field, and mod-\(\Lambda\) denote the category of finite-dimensional \(\Lambda\)-modules. Let \(n+1\) be the number of pairwise non-isomorphic simple \(\Lambda\)-modules. Denote by \(\mathcal E\) a set of fixed representatives for the isomorphism classes of indecomposable \(\Lambda\)-modules \(T\) satisfying the following conditions: (i) The projective dimension of \(T\) is at most 1; and (ii) \(T\) does not extend itself, i.e., \(\text{Ext}^ 1_ \Lambda(T,T) = 0\). Following Ringel, the authors define a simplicial complex \({\mathcal C}_ \Lambda\) on the set \(\mathcal E\) of vertices: \((T_ 0,\dots,T_ r)\) is an \(r\)-simplex if \(\text{Ext}^ 1_ \Lambda(T_ 0 \oplus \dots \oplus T_ r, T_ 0 \oplus \dots \oplus T_ r) = 0\). The main result of this paper is the Theorem: If \(\mathcal E\) is finite, the geometric realization of \({\mathcal C}_ \Lambda\) is an \(n\)-dimensional ball.