A quantum Frobenius map a la Lusztig for $\mathfrak{s}\mathfrak{l}_{2}$ is categorified at a prime root of unity.

We describe an algorithm for computing parameter-test-ideals in certain local Cohen–Macaulay rings. The algorithm is based on the study of a Frobenius map on the injective hull of the residue field of the ring and on the application of Sharp’s notion of ‘special ideals’. Our techniques also provide an algorithm for computing indices of nilpotency of Frobenius actions on top local cohomology modules of the ring and on the injective hull of its residue field. The study of nilpotent elements on injective hulls of residue fields also yields a great simplification of the proof of the celebrated result in the article Generators of D-modules in positive characteristic (J. Alvarez-Montaner, M. Blickle and G. Lyubeznik, Math. Res. Lett. 12 (2005), 459–473).

Heitmann’s proof of the direct summand conjecture has opened a new approach to the study of homological conjectures in mixed characteristic. Inspired by his work and by the methods of almost ring theory, we discuss a normalized length for certain torsion modules, which was introduced by Faltings. Using the normalized length and the Frobenius map, we prove some results of local cohomology for local rings in mixed characteristic, which has an immediate implication for the subject of splinters studied by Singh.