Contravariant form for reduction algebras and Pieri rule

We study properties and constructions of contravariant forms on reduction algebras. As an application we compute norms of highest weight vectors in the tensor product of an irreducible finite dimensional representation of the Lie algebra gl(n) with a symmetric or wedge tensor power of its fundamental representation. Their zeroes describe Pieri rules.