Is there a homological way to compute quiver presentations?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

I have recently been studying with colleagues the representation theory of certain finite monoids that come up in probability theory and combinatorics, see Ken Brown's beautiful survey here.

These monoid have a split basic algebra over any field which is directed quasi-hereditary (standard modules are projective/costandards are simple). Thus they have acyclic quivers and can be written as the quotient of the path algebra of their quiver by an admissible ideal.

We can compute $\mathrm{Ext}^n(S,S')$ between simple modules $S,S'$ and so can get the quiver by taking dimensions when $n=1$. We can also get the number of relations from $n=2$.

Question. Is there some homological way to get at a quiver presentation of a split basic algebra with an acyclic quiver? You can assume the field is algebraically closed if it helps.

We do have explicit complete sets of primitive idempotents for these algebras, but they are sufficiently complicated that we don't even know how to recover the description of the quiver using the primitive idempotents.

The only cases where quiver presentations are known are for oriented matroids (in particular hyperplane arrangements) and of course the hereditary case.

The situation is so embarrassing that we have global dimension 2 examples with a single relation and we can't find the relation.

-

I'm afraid I can't help with the question, but out of curiosity, are these monoids certain types of band? – Yemon Choi Mar 8 2012 at 5:10
They are bands.  – Benjamin Steinberg Mar 8 2012 at 12:39
Can you do the Yoneda product of these Ext groups? The quiver presentation of the algebra in particular contains the information about products of $Ext^1$-groups. – Dag Oskar Madsen Mar 16 2012 at 13:20
I don't know how to compute the Yoneda product. How does it relate to the quiver presentation? – Benjamin Steinberg Apr 6 2012 at 0:27
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 5, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9335757493972778, "perplexity_flag": "head"}