Generalized Yang–baxter Operators for Dieudonné Modules

An enrichment of a category of Dieudonné modules is made by considering Yang–Baxter conditions, and these are used to obtain ring and coring operations on the corresponding Hopf algebras. Some examples of these induced structures are discussed, including those relating to the Morava K-theory of Eilenberg–MacLane spaces.


Introduction
Dieudonné modules appear as representations of Hopf algebras, in different settings.Categories of Hopf algebras are equivalent to those of Dieudonné modules, the equivalence being given by the functor that represents each Hopf algebra by its Dieudonné module.This equivalence suggests the definition of categories of Dieudonné modules, which can be enriched by considering universal bilinear products (or, in another direction, universal cobilinear coproducts), whose equivalent at the level of Hopf algebras give monoidal (or comonoidal) structures.
Here, we start with categories of Dieudonné modules in their own right, not simply as the equivalent of categories of Hopf algebras, and enrich them in a different way: we define Yang-Baxter operators on such Dieudonné modules, exploring some examples, and only then do we look at the effect these operators might have on the equivalent Hopf algebras.
In Section 2, we define Yang-Baxter operators for Dieudonné modules, presenting several examples.These come mostly from the Dieudonné modules for the Hopf algebras one obtains by applying Morava K-theory to Eilenberg-MacLane spaces.In Section 3, we review the equivalence between categories of Hopf algebras and of Dieudonné modules.For a (suitable) Hopf algebra H (over a perfect field of characteristic p), each coalgebra map H ⊗ H → H induces a map on Dieudonné modules.If this map can be viewed as part of a Yang-Baxter operator, we analyze the conditions that the original coalgebra map must necessarily satisfy.Section 4 works in the opposite direction: maps of Dieudonné modules induce maps of Hopf algebras (via the category equivalence), and we apply this fact to construct, for each Yang-Baxter operator on a Dieudonné module DH, a pair of ring structures on H.We also obtain a corresponding pair of coring structures on H (and a third one, induced by a diagonal map on DH).Both of these constructions can be viewed as a representation of the original Yang-Baxter operator, as can be confirmed by their application to the examples of Section 2.

Generalized Yang-Baxter Operators for Dieudonné Modules
Fix a prime p. Z p will denote the ring of p-adic integers.Definition 2.1.A Dieudonné module M * is a graded abelian group together with a degree-preserving Z p -action and two homomorphisms F : M * → M * and V : M * → M * , such that: for all n, V (M pn ) ⊆ M n for all n, V (x) = 0 if x ∈ M k and k = pn for any n, V F = F V = p, p s+1 M p s k = 0 if (k, p) = 1 for any s.
The p in the fourth condition must be understood as p-times the identity morphism.The grading is usually over the non-negative integers.
In most cases, a Dieudonné module M * will be denoted just by M , and the inner grading will be implicit in our notation, as will be the actions of V and F on the degree of the elements on which they operate.
It is convenient to interpret Dieudonné modules M simply as (graded) left modules over the ring R = Z p [F, V ]/(F V − p).We proclaim that deg(F ) = 1 and deg(V ) = −1, and put deg(ax) = p deg(a) deg(x) for any a ∈ R and x ∈ M .ax is defined as zero if this previous calculation of deg (ax) does not result in an integer.This alternative view of Dieudonné modules will be preferred throughout this work.
DM * (or DM, for short) denotes the category of (graded) Dieudonné modules, with morphisms what one would expect: graded group homomorphisms f : M → N preserving the action of R; that is, such that f (ax) = af (x) for all a ∈ R and x ∈ M .
Example 2.2.The ring R (with grading as above defined) is a Dieudonné module, with V and F acting by means of the ring operation.
Example 2.3.The polynomial ring Z p [F, V ] is a Dieudonné module, with V and F acting by means of the ring operation (again, the grading is the one defined above).
The next two examples come from the Dieudonné modules associated with the Hopf algebras that are obtained when one applies Morava K-theory (with v n = 1) to some Eilenberg-MacLane spaces.
These Hopf algebras, and the corresponding Dieudonné modules, are periodically graded.We adapt this situation to our definition, by modifying the periodical grading into a Z-grading in a consistent way.The correspondence between categories of Hopf algebras and of Dieudonné modules will be discussed in Section 3.
Consider, for each k ∈ N 0 and i ∈ {0, • • • , n − 1}, an element a k (i) of degree p kn+i ; Define N as the free Z/(p)-module generated by the a k (i) ; V acts on N by: This gives an action of R on N .The previous elements a k (i) generalize the a (i) one encounters in the Morava K-theory of Eilenberg-MacLane spaces.These were defined in [1].By changing the notation, we can view them as belonging to a polynomial algebra.Put: One can check, from the definition of degree for each V m k , that V divides the degree by p (for terms with degree a power of p) and F multiplies the degree by p.
We can interpret each V m k as the m-th power of V 1 k (and this last element has degree p (k+1)n−2 ).
From what was declared above, M is as a Dieudonné module.The relations in the quotient of the polynomial algebra are suggested by what occurs for the Morava K-theory of Eilenberg-MacLane spaces, which inspired the definition of the action of V (and F ) on the polynomial algebra.This will be explored below.
Theorem 2.5.( [2,3]) The periodically graded Dieudonné module D(K(n) * (K(Z/(p j ), q)) is a free , where i k ∈ {0, 1} and with: We will not define here Dieudonné modules for periodically-graded Hopf algebras, and so, one must not interpret the object in the previous theorem as an instance of our definition of Dieudonné modules.The Dieudonné theory for periodically-graded Hopf algebras (and periodically-graded Hopf rings) is developed in [4].We adapt this result to obtain a Z-graded Dieudonné module whose generators are modeled by those described above.
Example 2.6.Fix n and q < n in N.
We consider maps of sets I : N 0 → {0, 1}, such that I(k) = 0, except eventually on n consecutive integers, say (i, • • • , i + n − 1), and, moreover, satisfying n−1 j=0 I(i + j) = q.We require also that any such I satisfies I(0) = 0. Give each I degree n−1 j=0 I(i + j) p i+j .For each I, define the left translation s(I) as Consider the free module M over Z/(p j ) on all such maps.This can be given a Dieudonné module structure by putting V (I) = s(I) and F (I) = p s −1 (I).
We want to enrich the category DM with additional structure.This structure, via the equivalence between the category of Dieudonné modules and a corresponding category of Hopf algebras [5,6], will also add structure to those Hopf algebras H, and it will be interesting to see how that reflects on the operations in the definition of each H.One way to enrich DM, giving it a braided group or quantum flavor, is to define generalized Yang-Baxter operators for Dieudonné modules.
Let M be a Dieudonné module in DM and A : M ⊗ Z M → M ⊗ Z M a bilinear morphism.1 : M → M denotes the identity morphism.For this A, define: That is, these A ij satisfy braided group relations.
Example 2.8.For any Dieudonné module M , the identity map Example 2.9.For any Dieudonné module M with a chosen basis, define

and expand by linearity on both arguments).
This is an invertible map, and moreover, the Yang-Baxter condition is in this case satisfied on basis elements, for: Call this the switch Yang-Baxter operator.
Example 2.10.Define α : R → R as the identity on all powers of V and F , except on those F k with p k, where α(F k ) = F pk , and expand to R by linearity.
Furthermore, define β : R → R as the identity on all powers of V and F , except on those V pk with p k, where β(V pk ) = V k , and again, expand by linearity.
Both α and β are invertible: the inverse of α is similar to β, but exchange the role of the powers of V with those of F (the same happens for the inverse of β.) Put A = α ⊗ β, which is invertible.Then, if S, T and U are any powers of V or F , we can easily check that A 12 A 23 A 12 (S ⊗T ⊗U ) = A 23 A 12 A 23 (S ⊗T ⊗U ), and so, A is a generalized Yang-Baxter operator.
For example, if S ⊗ T ⊗ U = V n ⊗ F pm ⊗ V pq , with p m and p q, we get: Example 2.11.The previous example is a particular case of a more general situation.Suppose we look for α : R → R and β : R → R that map each power of F or V into another power of either (and not into a linear combination of more than one such power).Then, if again A = α ⊗ β and S, T and U are any powers of V or F , we get: and An invertible A of this form will be a generalized Yang-Baxter operator if both α and β are idempotent and satisfy βαβ = αβα.
This last equation is satisfied if, like in the previous example (where α and β where idempotent), the two operators commute, but that is not necessary.
Take for instance α(F k ) = F pk if p k or p|k, but p 2 k and the identity elsewhere, and β(F k ) = F p 2 k if p k and the identity elsewhere.
Then, these homomorphisms do not commute: This, together with the fact that on all other powers of F or V , both α and β are the identity, proves that A = α ⊗ β is a generalized Yang-Baxter operator.
Example 2.12.For the Dieudonné module in Example 2.4, define β : M → M by β(V p r k ) = V r k if p r and pr ≤ n, and the identity elsewhere.
Furthermore, define α : if p r and r ≤ k, and the identity elsewhere.
This gives a Yang-Baxter operator This example is an expansion of Example 2.10.The limitations on the range of values that r may take (both for α and β above) allow for the behaviors of the V r k to be mutually independent.The choice of those V r k where β does not act as the identity comes from the relation V n−1 k = F k in the Dieudonné ring for the Morava K-theory of Eilenberg-MacLane spaces, as described in [3,7].
Example 2.13.If, in the setting of the previous example, we allow the behaviors of the V r k to affect those for different values of k; we can put: r and pr < (n + 1) k n, and the identity elsewhere, and α(V if p r and r(n − 1) < (n + 1) k n, and the identity elsewhere.This way, the only restrictions on the values of r are those that come from the order of each element in the polynomial algebra: since ).This reflects the relations between the various generators in the equivalent Hopf algebra.
This example can be viewed as a generalization of Example 2.12: an element I : N 0 → {0, 1} where I(j) = 0 for all j, except for a certain index i ≤ n − 1 has an interpretation as a a These α and β form a Yang-Baxter operator A = α ⊗ β, since they are both idempotent and βαβ = αβα (for this last property, it is useful to notice that α and β cannot be both different from the identity on any given I).

The Influence of the Dieudonné Module Yang-Baxter Operators on the Corresponding Hopf Algebras
Definition 3.1.The Witt polynomials ω n , for n ≥ 0, are given by: The Witt polynomials are important for the next result.

Theorem 3.2. ([8]
) There exists a unique Hopf algebra structure on the polynomial algebra such that the Witt polynomials ω n are primitive.
From now on, whenever we refer to the Hopf algebra Z p [x 0 , x 1 , • • • ], we mean the free commutative algebra over the indeterminates together with the unique coproduct that makes the Witt polynomials primitive.
We can also consider just the algebra In this case, the coproduct defined from Theorem 3.2 restricts to a co-product in this finitely-generated algebra, and we will call CW (k) the Hopf algebra Z p [x 0 , x 1 , • • • , x k ] together with the restricted coproduct.
If we want to work in the graded case, start by giving each x i degree p i m for some fixed m ∈ N, and then, define CW m (k) to be the graded Hopf algebra corresponding to CW (k).We will also write CW (∞) for the Hopf algebra Next, we want to consider Hopf algebras over a perfect field F p with characteristic p. Define Hopf algebras In the graded case, write where n = p k m for (p, m) = 1 and each x i has degree Definition 3.4.For a Hopf algebra H over F p , the Frobenius is the homomorphism F : H → H taking an element x to the element x p .The Verschiebung V : H → H is the dual to the Frobenius in the dual algebra.
The Verschiebung can be described as follows: if an element x ∈ H has p-fold co-product Since we are dealing with Hopf algebras over a perfect field F p , both the Verschiebung and the Frobenius are homomorphisms of Hopf algebras.
All of our Hopf algebras will be bicommutative.We call such a (graded) Hopf algebra connected if Define HA * (or just HA, for short) as the category of graded, connected, bicommutative Hopf algebras over F p .
The Hopf algebras described above form a set of projective generators for HA * [9].
We have a morphism v : given by inclusion.Furthermore, by Proposition 3.3, there exists a unique map of Hopf algebras f : H(pn) → H(n) making the following diagram commute.
This map satisfies vf = [p] and also f v = [p].We now define Dieudonné modules for Hopf algebras in HA * .Definition 3.5.The Dieudonné module for a Hopf algebra H ∈ HA * is the graded abelian group: together with homomorphisms: constructed from the previous maps f and v by composition on the left.
These homomorphisms reflect, thus, in Dieudonné modules, the Verschiebung and the Frobenius defined on Hopf algebras.
We have V F = F V = p (here, p stands for p-times the identity map).Furthermore, if n = p s k with (p, k) = 1, then the order of the identity map in Hom HA * (H(n), H(n)) is p s+1 , and so, p s+1 D n H = 0.
We have defined thus a functor D : HA * → DM * .This functor provides the following equivalence of categories.The proof confirms the fact that an abelian category with a set of small projective generators is equivalent to a category of modules over some ring [10,11].
Let H be a connected Hopf algebra.Given a Hopf algebra map A : H ⊗ H → H ⊗ H, there is a natural way to induce a map A : DH ⊗ DH → DH ⊗ DH on the corresponding Dieudonné modules.
Suppose n < m.Then, H(n) ⊂ H(m).We have a map inc : H(n) → H(m), given by inclusion, and another proj : H(m) → H(n), which is the identity on H(n) and is zero outside it. Define where in this case i is the identity on H(m).
The following compositions show the construction of two maps, one in D n H and the other in D m H, from the maps above, and from f ∈ D n H and g ∈ D m H.
Here, p 1 and p 2 are the projections into the first and the second factors, respectively.
This notation is not entirely indicative, since f depends not only on f , but also on g (and the same goes for g).We will write down this dependency explicitly, by using fg and gf instead of f and g.
One can check what relations such an induced A must verify in order to be a generalized Yang-Baxter operator on the corresponding Dieudonné module for H and obtain in the process corresponding relations for the original A at the Hopf algebra level.Because of the dependency referred to in the previous paragraph, these relations can be difficult to read.
We take a The relations are then, for any f , g and h under the above assumptions,

Yang-Baxter Operators on Dieudonné Modules, Hopf Ring and Hopf Coring Structures
One defines a bilinear map for R-modules M , N and L as a map g : M ⊗ N → L that satisfies: for every m ∈ M and n ∈ N .We reprint here a result from [4], which works for categories of Hopf algebras over a perfect field of either zero or p characteristic.For our purposes here, the second part is what will be used in the deduction of the Yang-Baxter operators' influence on the original Hopf algebras.In the present work, these will always be connected.
Proof.Suppose first that the characteristic of the base field is zero.
To define uniquely the map • : H i ⊗ H j → H i+j , it is enough to fix its value on the primitives of H i ⊗ H j (since this is a connected Hopf algebra), Suppose x ⊗ 1, with x a primitive of H i , is such an element (the other only possibility, a 1 ⊗ y with y a primitive of H j , can be dealt with similarly).If the degree of If the characteristic of the base field is a prime, we can run into additional problems.In this case, we have to work from the condition of connectedness.If x in H i has zero Verschiebung, then we can still define x • 1 as in the reference above.If V (x) is non-zero, by connectedness, there exists an r > 0, such that the repeated Verschiebung ) We can similarly define 1 • y for y ∈ H j .If either x or y are primitives, this will coincide with what was done before.Finally, just define This definition works for the general case of p ≥ 2.
The category of Dieudonné modules that we have defined has universal bilinear products [8].This is the basis of the equivalence between categories of Hopf rings and of Dieudonné rings (which are Dieudonné modules with additional products) from [4,8].
Suppose you have a Yang-Baxter operator A : DH ⊗ DH → DH ⊗ DH, and suppose A 1 = p 1 •A and A 2 = p 2 •A are bilinear maps of Dieudonné modules.Then, the induced maps on H ⊗H, A 1 : H ⊗ H → H and A 2 : H ⊗ H → H, are maps of coalgebras that give H two structures of the Hopf ring [4].The Yang-Baxter condition on the Dieudonné modules gives a relation between the two Hopf ring structures.Before we use this in our previous examples, we obtain a description of the equivalent Hopf algebra for each of the Dieudonné modules that were presented in Section 2, following the conclusions of Theorem 3.6.Z p [F, V ], and so, Example 4.4.The Dieudonné module from Example 2.4 was suggested by the one for the Hopf algebra K(n) * (K 1 ), where K 1 is the first Eilenberg-MacLane space K(Z/(p), 1).This and the Hopf ring for further Eilenberg-MacLane spaces are completely described in [1].By analogy, in our example, we get that the Hopf algebra corresponding to M is a truncated polynomial algebra generated by the a k (i) , where the p-th algebra power of each of these generators is zero (for K(n) * (K 1 ), the algebra relations depend on elements v n that we are not considering in this example).The coalgebra structure is given by Example 4.5.For the Hopf algebra corresponding to the Dieudonné module in Example 2.6, we again adapt the periodically-graded situation from [1].Each map I : N 0 → {0, 1} in the conditions of Example 2.6 (namely, non-zero, except eventually on the n consecutive integers i, • • • , i + n − 1) will correspond to an element of the form a , where the • notation is inspired by the subjacent Hopf ring structure (which is not dealt with here).The algebra in question will be free on these elements (over F p ), with the algebra product of an a (i+n−1) and an a given by an element a (k+n−1) obtained by rearranging the a (i) and a (j) in increasing order of indexes, summing (mod two) the superscripts I(i) and I(j) for the same indexes and multiplying the result by the index of the permutation obtained from (i, . . ., i + n − 1) and (j, . . ., j + n − 1) by concatenation and by eliminating any repetitions of indexes that may appear in both of these sub-permutations.We determine also that this product should be zero if the resulting element is not of the form of those I in the definition of the original Dieudonné module (this has to do with I being nonzero only for q elements in a range of n consecutive natural numbers.) As for the coalgebra structure, take a a (i+n−1) , and define formally its coproduct as: (a where we distribute (formally) in order to obtain a sum of elements given by • "products" of the a (i) .
We now turn to the Yang-Baxter operators for the Dieudonné modules from Section 2 and deduce the induced A 1 and A 2 on the corresponding Hopf algebras.
Example 4.6.Consider first the switch operator from Example 2.9.
Clearly, the induced A 1 and A 2 are projections onto the opposite factors: A 1 = p 2 and A 2 = p 1 .If we consider a Dieudonné module DH for a Hopf algebra H in HA, the induced products on H can be deduced as follows. Suppose r This is a non-commutative ring structure that exists thus for any H in HA.The other one (also non-commutative) comes from: Note that, as defined in the proof of Lemma 4.1, A 1 (x, y) = A 1 (x, 1)A 1 (1, y) (and the same happens for A 2 ).This means that A 1 is right-sided, that is it can only be nonzero whenever x is one, and A 2 is left-sided (can only be nonzero whenever y is one).We have, for This gives the first of our two new ring operations on H(∞).It is clearly non-commutative, and moreover, A 1 (x, y) = 0 whenever y = 1 (since, by definition, A 1 (x, y) = A 1 (x, 1)A 1 (1, y)).
For A 2 , we get: This equals [x(ω k )] r = (V r−1 (x)) r , except if k = pm for some m and p m (so that x = V pm = ωpm ), where it equals zero, since ωpm This second ring operation is also non-commutative.In this example, the relation between the induced products A 1 and A 2 comes from the original Yang-Baxter operator: α and β were both idempotent and satisfied the braid condition αβα = βαβ.This reflects on the elements x in H(∞) for which A 1 or A 2 is nonzero.
The previous example worked from the generators of the corresponding polynomial algebra, and thus, the same deductions can be easily adapted to the situation of Example 4.3.
Example 4.8.In Example 2.12, we again had a Yang-Baxter operator of the form A = α ⊗ β.The Hopf algebra in Example 4.4 will then have two induced coalgebra structures, coming from A 1 (x, y) = α(x) and A 2 (x, y) = β(y) (where x and y are in the Dieudonné module).
The polynomial generators of the Hopf algebra are interpreted as elements in the Dieudonné module (as powers of the V k ).This means that the induced A 1 and A 2 have the same behavior: A 1 (x, y) = x for x and y in the Hopf algebra, except whenever x = V r(n−1) k with p r, and r ≤ k, where it is V pr(n−1) k ; A 2 (x, y) = y for x and y in the Hopf algebra, except whenever y = V pr k with p r and pr ≤ k, where it is V r k Example 4.9.For the same Hopf algebra and the Yang-Baxter operator from Example 2.13, we get structures similar to those in the previous example, the difference being in the range of indexes where the generators of the algebra exist.
Example 4.10.For Example 2.14 and the Hopf algebra in Example 4.5, we have also A 1 (I, J) = α(I) and A 2 (I, J) = β(J), and so, the two new ring structures will be projections on the first and second factors, except if I(n − 1 − r(n − 1)) = 1 and I(j) = 0 for j < n − 1 − r(n − 1) (with p r and r < k), for which A 1 (I, J) = s −1 (I), and if J(n − 1 − pr) = 1 and J(j) = 0 for j < n − 1 − pr (with p r and pr ≤ n), for which A 2 (I, J) = s(J).
The notion of bilinear map on Dieudonné modules has a dual, that of the cobilinear map, which is explored in [12].
A cobilinear map for R-modules M , N and L is a map g : M → N ⊗ L satisfying: (1) g(F m) = (F ⊗ F )(gm) for every m ∈ M .There exists a universal cobilinear map on the category of Dieudonné modules.In the connected case, this allows for the equivalence between the category of Dieudonné corings and a corresponding category of Hopf corings [12].
The following result is symmetric to Lemma 4. pr ≤ n).Both conditions cannot be satisfied simultaneously.This means that, because of the behavior of these particular α and β, one of the components in the image by A 3 of any element in the Hopf algebra will always be the identity.
Example 4.20.The previous example works also for the Yang-Baxter operator in Example 2.13 if we take into account the restrictions discussed in Example 4.15.
Example 4.21.From Example 2.14, we get that A 3 of a generator I can be the identity, 1 ⊗ I, I ⊗ 1, 1 ⊗ s(I), s −1 (I) ⊗ 1 or s −1 (I) ⊗ s(I).These values will depend, as before, on the range of the indexes at play.In particular, the last value, which corresponds to a α(I) ⊗ β(I) where neither α nor β are the identity, occurs whenever n − 1 − pr = n − 1 − r(n − 1), that is if n − 1 is the prime p.Since we must also have that pr ≤ n, this implies that r = 1.

Example 4 . 7 .
Continuing Example 2.10, identify V k with ωk , in the notation of Lemma 4.1, and F k with 1 • f k , where f is the map mentioned just before Definition 3.5.