A finite-dimensional truncated-polynomial Weyl module in characteristic p

Define $D(f)=f^{\mathrm{\prime }}$ by $D(t^m)=m{t}^{m-1}$ and extend $k$-linearly. For each $m\ge 0$, $D(t^p{t}^m)=(p+m)t^{p+m-1}=m{t}^{p+m-1}=t^{p}D(t^m)$ because $p=0$ in $k$. By [F4], every polynomial is a finite linear combination of monomials, so linearity gives $D(t^{p}f)=t^{p}D(f)$ for every $f$; hence $D$ preserves $(t^p)$. Multiplication $X[f]=[tf]$ also descends because $t(t^{p}f)\in (t^p)$.

For each monomial $t^m$, $D(t{t}^m)-tD(t^m)=(m+1)t^m-m{t}^m=t^m$. By [F4] and linearity the identity holds for every polynomial, hence on $M$ it gives $DX-XD=I_M$.

Pointwise addition and scalar multiplication and composition make ${\mathrm{End}}_k(M)$ a unital associative $k$-algebra: composition is associative, $I_M$ is its unit, and $k$-bilinearity follows by evaluating on vectors. Send the generators $x_1,p_1$ to $X,D$. By [F5] this linear assignment extends to a unital algebra map from $T(E_1)$. Step 2.1 and $[X,X]=[D,D]=0$ show that each defining relator in [F1] maps to zero. The map's kernel is a two-sided ideal because it is an algebra homomorphism, so it contains their generated ideal by [F2]. By [F6] the map factors through the quotient $A_1(k)$; write $\rho$ for this factor map, which is $k$-linear because the quotient map is surjective. Its evaluation $a\cdot m:=\rho (a)m$ is a unital left module action by [F7].

By [F4], every polynomial has finitely many monomials; subtracting suitable multiples of $t^p$ removes every term whose exponent is at least $p$, so each coset is represented by a linear combination of $1,t,\dots ,t^{p-1}$. A polynomial multiple of $t^p$ has only monomials with exponent at least $p$, so no nonzero linear combination of those $p$ lower monomials lies in $(t^p)$. Hence $1,[t],\dots ,[t^{p-1}]$ is a basis of $M$, and $M$ is nonzero of dimension $p$. This is the positive-characteristic exception to the characteristic-zero obstruction.