On the global dimension of algebras over regular local rings (Q1097944): Difference between revisions

Let R be a commutative noetherian complete local ring and \({\mathfrak M}\) be its maximal ideal. Assume that \(k=R/{\mathfrak M}\) is algebraically closed. Associated with the k-algebra \({\bar \Lambda}=\Lambda /{\mathfrak M}\Lambda\) we have a quiver Q such that \(\Lambda\) is a quotient of the path algebra R[Q]. We derive properties of gl dim \(\Lambda\) from the geometric structure of Q. Two samples of results: 1. If Q has no oriented cycles, then gl dim \(\Lambda\leq n+mn+m\) where \(n=\max _{i}\{gl \dim (e_ i\Lambda e_ i)\}\) with \(\{e_ i\}_ i\) a complete system of primitive pairwise orthogonal idempotents and m is the maximal length of paths in Q. Moreover, n is finite whenever gl dim \(\Lambda\) is finite. 2. Let \(R=k[[t]]\) and assume that at each vertex of Q at least two arrows start and at least two end, then gl dim \(\Lambda\) \(\geq 3\). For the second we use representation theory of posets and covering techniques.