Moduli of unipotent representations. II: Wide representations and the width (Q2254706): Difference between revisions

As the title suggests, this work is a continuation of \textit{I. Dan-Cohen} [Ann. Inst. Fourier 62, No. 3, 1123--1187 (2012; Zbl 1254.14058)]. Let \(G\) be a unipotent group over a field \(k\) of characteristic zero. For any positive integer \(n\), the stack \(\mathcal{M}_{n}\left( G\right) \) of \(n\)-dimensional representations of \(G\) is ill-behaved: for example, for many \(G\) it is not algebraic, and its diagonal is a group of positive dimension whose fibers are unpredictable (in that, the dimensions of the fibers can change). In the work cited above, a well-behaved substack \(\mathcal{M}_{n}^{\text{nd}}\left( G\right) \) of \(\mathcal{M}_{n}\left( G\right) \) is introduced, which admits a coarse algebraic space, denoted here by \(M_{n}^{\text{nd}}\left( G\right) \). In this work, the author introduces an invariant of \(\mathfrak{g} :=\)Lie\(\left( G\right) \) called the width and denoted \(w\). The width is the maximum integer \(w\) for which there is an extension \(k^{\prime}\) of \(k\) and a wide nilpotent representation of \(\mathfrak{g}_{k^{\prime}}\) of dimension \(w+1\) over \(k^{\prime}\) For \(\mathfrak{g}\) commutative, \(w=1\); at the other extreme a free \(\mathfrak{g}\) has infinite width. This \(w\) is bounded by the length of the descending central series of \(\mathfrak{g}.\) It is shown that for \(n\leq w+1,\) \(M_{n}^{\text{nd}}\left( G\right) \) is represented by a quasi-projective scheme, in fact \(M_{n}^{\text{nd}}\left( G\right) \) is a sheaf quotient of a scheme by an action of a solvable group in the Zariski topology. As a result, the field-valued points of this scheme parameterize isomorphism classes of nondegenerate representations. Explicit computations of \(M_{n}^{\text{nd}}\left( G\right) \) are given for \(n\leq3.\)