Some complete intersection symplectic quotients in positive characteristic: invariants of a vector and a covector

Original · EN

Given a linear action of a group G on a K-vector space V, we consider the invariant ring K[V ⊕ V*]ᵍ, where V* is the dual space. We are particularly interested in the case where V =ⁿ and G is the group Uₙ of all upper unipotent matrices or the group Bₙ of all upper triangular matrices in ₙ(). In fact, we determine [V ⊕ V*]ᵍ for G = Uₙ and G =Bₙ. The result is a complete intersection for all values of n and q. We present explicit lists of generating invariants and their relations. This makes an addition to the rather short list of "doubly parametrized" series of group actions whose invariant rings are known to have a uniform description.