Representation variety of an associative algebra
ID: representation-variety-of-an-associative-algebra
For a finitely generated associative algebra, choose matrices for its generators and impose its polynomial relations. This defines an affine variety. With prescribed orthogonal idempotents , require their images to be the standard projections on . The resulting variety is , acted on by . Without a chosen idempotent decomposition, the usual variety is . Its orbits are module isomorphism classes, and their stabilizers are automorphism groups.
New to topics? Read the docs here!