Constructing Coherently G-invariant Modules
Let be a reductive group acting on a path algebra as automorphisms. We assume that admits a graded polynomial representation theory, and the action is polynomial. We describe the quiver of the smash product algebra , where is the associated algebraic monoid of . We use -representations to construct -invariant representations of . As an application, we construct algebraic semi-invariants on the quiver representation spaces from those -invariant representations.