??so what happens if you try something like taking the "triangle" (or something...) groupoid-tri-span of a triangulated category and trying to interpret its degrouidification as a lie bracket operation?? ... and so forth...

??_is_ there some tendency for "semi-simple" and/or "frobenius" property in connection with "triangle" (vs something about nilpotence in connection with ordinary twisted sum?? ... ??? or something???

i think that i'm making a lot of progress on understanding "reflection functors" but i might not have much time to write about it in the next week or so...

??does "reflection functor" live over f_q??? ... ???...

what about trying to relate "reflection functor" to relationship of quiver reps to flags and "springer flags" and so forth ... (or something...) ??? ... ??...

??so consider the (?...) "hall representation" of a hall (?lie??...) algebra, by which i mean the representation obtained by considering short exact sequences where base space and total space are both flat ... ??or something... ??... ??does this make sense, and is it just some obvious sub-representation of the ... ??enveloping algebra rep, or something???? (should go back to a_n case (??or something??) to orient myself here... hmm, i think some stuff here is screwed up; try to straighten it out...) ... hmm, so what about also short exact sequences here where both base and fiber are flat??... ???something "frobenius" (or something...) going on here??.... ??what about derived category and "triangle" here, and/or something about "associativity between (or something...) multiplication, action, and killing forms" ?? ...

what about this business about "fp flat = fp projective" or something???.... ??something about us maybe almost noticing this in quiver representation context?? ... (??hmmm, what about something about "direct sum k-theory vs exact sequence k-theory" here?? or something??? ??something about direct sum k-theory of fp projectives vs exact sequence k-theory of more general objects ... ???or something??...) ... ??relationship to "constructive" aspect of flat?? ...??something about fp in module sense ct in algebra sense here... ??or something... ??...

??to what extent does concept of "flat object" (???vs "flat module" or "flat functor" or something...) make sense here??