Modules of constant Jordan type with two non-projective blocks. (Q2428088)

Let \(E\) be an elementary Abelian \(p\)-group of rank \(r\) with generators \(g_i\) and let \(k\) be an algebraically closed field of characteristic \(p\). Let \(M\) be a finitely generated \(kE\)-module. For each \(r\) tuple \(\alpha=(\lambda_1,\dots,\lambda_r)\) of elements of \(k\) consider the \(k\)-linear transformation \(X_\alpha=\sum\lambda_i(g_i-1)\) on \(M\). Its Jordan blocks have maximal size \(p\) (since \(X_\alpha^p=0\)); let \(a_i\) be the number of blocks of size \(i\). The expression \([p]^{a_p}\dots[1]^{a_1}\) (with terms suppressed when \(a_i=0\)) is called the Jordan type of \(X_\alpha\). If this expression is the same for all \(\alpha\neq 0\) then \(M\) is said to have constant Jordan type, and if so then \([p-1]^{a_{p-1}}\dots[1]^{a_1}\) is called the stable Jordan type of \(M\). This paper concerns stable Jordan types \([a][b]\) and \([a]^2\). In the first case, the author shows that if \(p\geq 5\) and \(r\geq 4\) then either (1) \(a=p-b\); (2) \(a=p-b\pm1\); or (3) \(a^2+b^2-ab-1\equiv 0\pmod p\). In the second case, the author shows that if \(p\geq 7\), \(r\geq 5\), and \(2\leq a\leq p-2\) then either \(a=(p-1)/2\) or \(a=(p+1)/2\). Benson and Pevtsova have constructed functors from \(kE\)-modules of constant Jordan type to vector bundles on projective \(r-1\) space over \(k\). These have Chern polynomials. For a given bundle the product of the Chern polynomials of the \(0\)-th through \((p-1)\)-th twists is congruent to \(1\) modulo \(p\) up to degree \(p-1\). The author calculates these products for the Benson-Pevtsova functors and uses this congruence to obtain his results.