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

Given a linear action of a group G on a K-vector space V, we consider the invariant ring KG[V⊕V⁎], where V⁎ is the dual space. We are particularly interested in the case where and G is the group Un of all upper unipotent matrices or the group Bn of all upper triangular matrices in GLn(Fq).In fact, we determine FqG[V⊕V⁎] for G=Un and G=Bn. 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.