Modules of constant Jordan type, pullbacks of bundles and generic kernel filtrations (Q2629894): Difference between revisions

Let \(kE\) be the group algebra of an elementary abelian \(p\)-group \(E=\langle g_1,\ldots, g_r\rangle\) of finite rank \(r\) over an algebraically closed field \(k\) of characteristic \(p\). Let \(M\) be a finitely generated \(kE\)-module, \(X_i=g_i-1\), \(\alpha=(\alpha_1,\ldots,\alpha_r)\in A^r(k)\). The Jordan type of \(X_\alpha=\alpha_1g_1+\cdots+\alpha_rg_r\) on \(M\) is the partition \(\mathrm{JType}(X_{\alpha},M)=[p]^{a_p}[p- 1]^{a_{p-1}}\cdots[1]^{a_1}\), where \(X_{\alpha}\) acts on \(M\) via \(a_j\) Jordan blocks of length \(j\). The notion of a \(k\)-module of constant Jordan type was introduced by \textit{J. F. Carlson} et al. [J. Reine Angew. Math. 614, 191--234 (2008; Zbl 1144.20025)]. Investigation of the category \(\mathrm{cJt}(M)\) of \(kE\)-modules of constant Jordan type by means of functors \(\mathcal{F_i}\) to the category \(\mathrm{Vec}(\mathbb{P}^{r-1}(k))\) of vector bundles on the projective space \(\mathbb{P}^{r-1}(k)\) was initiated by \textit{D. Benson} and \textit{J. Pevtsova} [Trans. Am. Math. Soc. 364, No. 12, 6459--6478 (2012; Zbl 1286.20009)]. Two of the main results of the authors are as follows. A rank \(s\) shifted subgroup is a subalgebra of \(kE\) that is isomorphic to the group algebra \(kE'\), where \(E'\) is an elementary abelian \(p\)-group of rank \(s\). An embedding \(\varphi:kE'\to kE\) is called a homogeneously embedded \(s\)-shifted subgroup if for any generator system \(\{T_1,\ldots,T_s\}\) of \(\mathrm{Rad}(kE')\), the \(\varphi(T_j)\) are linear combinations of the \(X_i\). Let \(kE'\) be a homogeneously embedded \(s\)-shifted subgroup of \(kE\) and let \(f: \mathbb{P}^{s-1}(k)\to \mathbb{P}^{t-1}(k)\) be the corresponding closed immersion. If \(M\) is a \(kE\)-module of constant Jordan type, then for all \(1 \leq i \leq p\) we have \(f^{\ast}\mathcal{F_i}(M )\cong\mathcal{F_i}(M\downarrow_ {kE'})\). For \(M\) in rank two, its generic kernel \(\mathfrak{k}(M)\) is the largest submodule of \(M\) with the image of \(X_{\alpha}\) acting on \(M\) independently of the choice of \(\overline{\alpha}\in \mathbb{P}^{r-1}(k)\). If \(r=2\), \(M\) is a \(kE\)-module of constant Jordan type, \(J\) is the radical of \(kE\) then for each \(1 \leq i \leq p\), we have \(\mathcal{F_i}(M)\cong\mathcal{F_i}(J^{-i}\mathfrak{k}(M))/J^{i+1}\mathfrak{k}(M)\). The paper is divided into 13 sections. After the introductory two, in the third section, homogeneously embedded subgroups are considered, and in the next two, the operator \(\theta_M\), the equal images property and vector bundles for W-modules. Section 7 deals with the generic kernel filtration, and the next one applies this to compute \(\mathcal{F_i}(M )\) in rank two. In Sections 9 and 10, the \(n\)th power generic kernel and the equal \(n\)-images property are studied, and in the next two this method is used to compute \(\mathcal{F_i}(M)\) along with further examples and applications. The last section discusses vector bundles in rank two.