Skew-symmetric games and symmetric-based decomposition of finite games

1.   Introduction

The notion of Lie triple systems was introduced by Lister to obtain all simple Lie triple systems over an algebraically closed field ^[1]. The cohomology theory of Lie triple systems was investigated by Yamaguti ^[2]. In 2004, Kubo and Taniguchi gave that Yamaguti cohomology plays a crucial role in the theory of deformations of Lie triple systems ^[3]. Because of important applications in elementary particle theory and the theory of quantum mechanics, Lie triple systems have been discussed ^[4,5]. Okubo reformulated the para-statistics as Lie supertriple systems and explained the relationship between Lie supertriple systems and ortho-symplectic supertriple systems ^[6]. Okubo and Kamiya introduced $\delta$-Jordan Lie supertriple systems in^[7]. Some examples and results of Lie supertriple systems were given in ^[6,8,9]. As a generalization of Lie triple systems and Lie supertriple systems, Cao studied split Lie color triple systems, and obtained the structure of split Lie color triple systems by the techniques of connections of roots in 2019 ^[10].

The purpose of this paper is to consider the cohomology theory and deformations of Lie color triple systems basing on some work in ^{[2,3,4,11,12,13,14]}. The paper is organized as follows. Section 2 is devoted to some basic definitions and the cohomology theory of Lie color triple systems. Section 3 is dedicated to the 1-parameter formal deformation theory of Lie color triple systems. We show that the cohomology group defined in Section 2 is suitable for this 1-parameter formal deformation theory. In Section 4, we study abelian extensions of Lie color triple systems, and get that associated to any abelian extension, there is a representation and a 3-cocycle.

Throughout this paper, we assume that ${{\bf F}}$ denotes an arbitrary field.

2.   Preliminaries

Definition 2.1. ^[15] Let $G$ be an abelian group. A bi-character on $G$ is a map $\varepsilon:G \times G\rightarrow \mathbb{K}\setminus\{0\}$ satisfying

where $x, y, z\in G.$ It is clear that

Definition 2.2. ^[1] A Lie triple system $(T, [\cdot, \cdot, \cdot])$ consists of an ${{\bf F}}$-vector space $T$, a trilinear map $[\cdot, \cdot, \cdot]: T\times T\times T\rightarrow T$, such that for all $x, y, z, u, v\in T$,

Definition 2.3. ^[10] A Lie color triple system $(T, [\cdot, \cdot, \cdot])$ consists of an ${{\bf F}}$-vector space $T$, a trilinear map $[\cdot, \cdot, \cdot]: T\times T\times T\rightarrow T$, such that for all $x, y, z, u, v\in T$,

We generalize the notion of the representation of Lie triple systems to Lie color triple systems in the following.

Definition 2.4. Let $(T, [\cdot, \cdot, \cdot])$ be a Lie color triple system, $V$ an ${{\bf F}}$-vector space and $A\in \mathrm{End}(V)$. $V$ is called a $(T, [\cdot, \cdot, \cdot])$-module with respect to $A$ if there exists a bilinear map $\theta: T\times T\rightarrow \mathrm{End}(V)$, $(a, b)\mapsto \theta(a, b)$ such that for all $a, b, c, d\in T$,

where $D(a, b) = \varepsilon(|a|, |b|)\theta(b, a)-\theta(a, b)$.

Then $\theta$ is called the representation of $(T, [\cdot, \cdot, \cdot])$ on $V$ with respect to $A$. In the case $\theta = 0$, $V$ is called the trivial $(T, [\cdot, \cdot, \cdot])$-module with respect to $A$.

In particular, let $V = T$, and $\theta(x, y)(z) = \varepsilon(|z|, |x|+|y|)[z, x, y]$. Then $D(x, y)(z) = [x, y, z]$ and (2.4), (2.5), (2.6), (2.7) hold. In this case $T$ is showed to be the adjoint $(T, [\cdot, \cdot, \cdot])$-module and $\theta$ is called the adjoint representation of $(T, [\cdot, \cdot, \cdot])$.

As follows, we give the semidirect product of a Lie color triple system.

Proposition 2.5. Let $\theta$ be a representation of a Lie color triple system $(T, [\cdot, \cdot, \cdot])$ on $V$ with respect to $A$.Assume the operation $[\cdot, \cdot, \cdot]_V: (T\oplus V)\times (T\oplus V)\times (T\oplus V)\rightarrow T\oplus V$ by

then $T\oplus V$ is a Lie color triple system.

Proof. By $D(x, y) = \varepsilon(|x|, |y|)\theta(y, x)-\theta(x, y)$, we get

and

By (2.5), (2.6) and (2.7), it follows that

The calculation above shows that (2.1), (2.2) and (2.3) hold.

Thus, $(T\oplus V, [\cdot, \cdot, \cdot]_V)$ is a Lie color triple system.

Let $\theta$ be a representation of $(T, [\cdot, \cdot, \cdot])$ on $V$ with respect to $A$. If an $n$-linear map $f:\underbrace{T\times\cdots\times T}_{n\; {\rm times}}\rightarrow V$ satisfies

then $f$ is called an $n$-cochain on $T$. Denote by $C_{A}^n(T, V)$ the set of all $n$-cochains, $\forall n\geq1$.

Definition 2.6. For $n = 1, 2, 3, 4$, the coboundary operator $d^n: C_{A}^n(T, V) \rightarrow C_{A}^{n+2}(T, V)$ is defined as follows.

● If $f\in C^{1}(T, V),$ then

● If $f\in C^{2}(T, V),$ then

● If $f\in C^{3}(T, V),$ then

● If $f \in C^{4} (T, V)$, then

Theorem 2.7. The coboundary operator $d^n$ defined above satisfies $d^{n+2}d^n = 0,$ $n = 1, 2.$

Proof. From the definition of the coboundary operator, it follows immediately that $d^{3}d^{1} = 0$ implies $d^{4}d^{2} = 0$. Then we only need to prove $d^{3}d^{1} = 0.$ In fact, by (2.4)-(2.7), we get

Therefore, the proof is complete.

For $n = 1, 2, 3, 4$, the map $f\in C_{A}^n(T, V)$ is called an $n$-cocycle if $d^{n}f = 0$. We denote by $Z_{A}^n(T, V)$ the subspace spanned by $n$-cocycles and $B_{A}^n(T, V) = d^{n-2}C_{A}^{n-2}(T, V)$.

Since $d^{n+2}d^n = 0$, $B_{A}^n(T, V)$ is a subspace of $Z_{A}^n(T, V)$. Hence we can define a cohomology space $H_{A}^n(T, V)$ of $(T, [\cdot, \cdot, \cdot])$ as the factor space $Z_{A}^n(T, V)/B_{A}^n(T, V).$

3.   1-parameter formal deformations of Lie color triple systems

Let $(T, [\cdot, \cdot, \cdot])$ be a Lie color triple system and ${{\bf F}}[[t]]$ be the ring of formal power series over ${{\bf F}}$. Assume that $T[[t]]$ is the set of formal power series over $T$. We extend an ${{\bf F}}$-trilinear map $f: T\times T \times T\rightarrow T$ to be an ${{\bf F}}[[t]]$-trilinear map $f:T[[t]]\times T[[t]]\times T[[t]]\rightarrow T[[t]]$ by

Definition 3.1. Let $(T, [\cdot, \cdot, \cdot])$ be a Lie color triple system over ${{\bf F}}$. A 1-parameter formal deformation of $(T, [\cdot, \cdot, \cdot])$ is a formal power series $m_t:T[[t]]\times T[[t]]\times T[[t]]\rightarrow T[[t]]$ of the form

where each $m_i$ is an ${{\bf F}}$-trilinear map $m_i:T\times T\times T\rightarrow T$ (extended to be ${{\bf F}}[[t]]$-trilinear) and $m_0(x, y, z) = [x, y, z]$, such that the following equations hold

Conditions (3.1)-(3.3) are called the deformation equations of a Lie color triple system.

Note that $T[[t]]$ is a module over ${{\bf F}}[[t]]$ and $m_t$ defines the trilinear on $T[[t]]$ such that $T_t = (T[[t]], m_t)$ is a Lie color triple system. Now we discuss the deformation equations (3.1)-(3.3).

Conditions (3.1)-(3.2) are equivalent to the following equations

respectively, for $i = 0, 1, 2, \cdots.$ The condition (3.3) can be showed as

Then

Using two ${{\bf F}}$-trilinear maps $f, g:T\times T\times T\rightarrow T$ (extended to be ${{\bf F}}[[t]]$-trilinear), we assume a map $f\circ g:T[[t]]\times T[[t]]\times T[[t]]\times T[[t]]\times T[[t]]\rightarrow T[[t]]$ by

Then the deformation equation (3.3) can be given as

For $n = 1$, $m_0\circ m_1+m_1\circ m_0 = 0.$

For $n\geq2$, $-(m_0\circ m_n+m_n\circ_{\alpha}m_0) = m_1\circ m_{n-1}+m_2\circ m_{n-2}+\cdots+m_{n-1}\circ_{\alpha}m_1.$

Section 2 gets that $T$ is the adjoint $(T, [\cdot, \cdot, \cdot])$-module by setting $\theta(x, y)(z) = \varepsilon(|z|, |x|+|y|)[z, x, y]$. In this case, by (3.4)-(3.5), we have $m_i\in C^3(T, T)$, and $m_i\circ m_j\in C^5(T, T)$. In general, if $f, g\in C^3(T, T)$, then $f\circ g\in C^5(T, T)$. Noticing that the definition of coboundary operator $d^n$, we obtain $d^3m_n = m_0\circ m_n+m_n\circ_{\alpha}m_0,$ for $n = 0, 1, 2\cdots.$ Hence the deformation equation (3.3) can be rewritten as

Then $m_1$ is a 3-cocycle and called the infinitesimal of $m_t$.

Definition 3.2. Let $(T, [\cdot, \cdot, \cdot])$ be a Lie color triple system. Assume that $m_t(x, y, z) = \sum_{i\geq0}m_i(x, y, z)t^i$ and $m_t'(x, y, z) = \sum_{i\geq0}m_i'(x, y, z)t^i$ are two 1-parameter formal deformations of $(T, [\cdot, \cdot, \cdot])$. They are called equivalent, denoted by $m_t\sim m_t'$, if there is a formal isomorphism of ${{\bf F}}[[t]]$-modules

where each $\phi_i:T\rightarrow T$ is an ${{\bf F}}$-linear map (extended to be ${{\bf F}}[[t]]$-linear) and $\phi_0 = {{\rm{id}}}_T$, satisfying

When $m_1 = m_2 = \cdots = 0$, $m_t = m_0$ is said to be the null deformation. A 1-parameter formal deformation $m_t$ is called trivial if $m_t\sim m_0$. A Lie color triple system $(T, [\cdot, \cdot, \cdot])$ is called analytically rigid, if every 1-parameter formal deformation $m_t$ is trivial.

Theorem 3.3. Let $m_t(x, y, z) = \sum_{i\geq0}m_i(x, y, z)t^i$ and $m_t'(x, y, z) = \sum_{i\geq0}m_i'(x, y, z)t^i$ be equivalent 1-parameter formal deformations of $(T, [\cdot, \cdot, \cdot])$. Then $m_1$ and $m_1'$ belong to the same cohomology class in $H^3(T, T)$.

Proof. Assume that $\phi_t(x) = \sum_{i\geq0}\phi_i(x)t^i$ is the formal ${{\bf F}}[[t]]$-module isomorphism and

We get that

In particular,

that is,

Thus $m_1-m_1' = d^1\phi_1\in B^3(T, T)$.

Theorem 3.4. Let $(T, [\cdot, \cdot, \cdot])$ be a Lie color triple system such that $H^3(T, T) = 0$. Thus $(T, [\cdot, \cdot, \cdot])$ is analytically rigid.

Proof. Let $m_t$ be a 1-parameter formal deformation of $(T, [\cdot, \cdot, \cdot])$. Assume that $m_t = m_0+\sum_{i\geq n}m_it^i$. Then

that is, $m_n\in Z^3(T, T) = B^3(T, T)$. We obtain that there exists $f_n\in C^1(T, T)$ such that $m_n = d^1f_n$.

Let $\phi_t$ be even, and $\phi_t = {{\rm{id}}}_T-f_nt^n:(T[[t]], m_t)\longrightarrow (T[[t]], m_t')$. Note that

Thus $\phi_t$ is a linear isomorphism.

Now we consider $m_t'(x, y, z) = \phi_t^{-1}m_t(\phi_t(x), \phi_t(y), \phi_t(z))$. It is easy to give that $m_t'$ is a 1-parameter formal deformation of $(T, [\cdot, \cdot, \cdot]).$ In fact,

The computations above show that equations (3.1)-(3.3) hold. Using the definition 7, we get $m_t\sim m_t'$. Assume that $m_t' = \sum_{i\geq 0}m_i't^i$. Thus

i.e.,

Then we get $m_1' = \cdots = m_{n-1}' = 0$ and

Hence $m_n' = m_n-d^1f_n = 0$ and $m_t' = m_0+\sum_{i\geq n+1}m_i't^i$. Using induction, this procedure ends with $m_t\sim m_0$, that is, $(T, [\cdot, \cdot, \cdot])$ is analytically rigid.

4.   Abelian extensions of Lie color triple systems

In this section, we show that associated to any abelian extension, there is a representation and a $3$-cocycle.

An ideal of a Lie color triple system $T$ is a subspace $I$ such that $[I, T, T]\subseteq I.$ An ideal $I$ of a Lie color triple system is called an abelian ideal if moreover $[T, I, I] = 0.$ Notice that $[T, I, I] = 0$ implies that $[I, T, I] = 0$ and $[I, I, T] = 0.$

Definition 4.1. Let $(T, [\cdot, \cdot, \cdot]_T)$, $(V, [\cdot, \cdot, \cdot]_V)$, and $(\hat{T}, [\cdot, \cdot, \cdot]_{\hat{T}})$ be Lie color triple systems and $i:V\rightarrow \hat{T}$, $p:\hat{T}\rightarrow T$ be homomorphisms. The following sequence of Lie color triple systems is a short exact sequence if $\mathrm{Im}(i) = \mathrm{Ker}(p),$ $\mathrm{Ker}(i) = 0$ and $\mathrm{Im}(p) = T,$

In this case, we show $\hat{T}$ an extension of $T$ by $V$, and denote it by $E_{\hat{T}}$. It is called an abelian extension if $V$ is an abelian ideal of $\hat{T}$, i.e., $[u, v, \cdot]_{\hat{T}} = [u, \cdot, v]_{\hat{T}} = [\cdot, u, v]_{\hat{T}} = 0,$ for all $u, v\in V.$

A section $\sigma: T\rightarrow \hat{T}$ of $p: \hat{T}\rightarrow T$ consists of the linear map $\sigma: T\rightarrow \hat{T}$ such that $p\circ \sigma = \mathrm{id}_T.$

Definition 4.2. Two extensions of Lie color triple systems $E_{\hat{T}}:0\longrightarrow V\stackrel{i}{\longrightarrow}\hat{T}\stackrel{p}{\longrightarrow}T\longrightarrow 0$ and $E_{\tilde{T}}:0\longrightarrow V\stackrel{j}{\longrightarrow}\tilde{T}\stackrel{q}{\longrightarrow}T\longrightarrow 0$ are equivalent. If there exists a Lie color triple system homomorphism $F:\hat{T}\rightarrow \tilde{T}$ such that the following diagram commutes

Let $\hat{T}$ be an abelian extension of $T$ by $V$, and a linear mapping $\sigma: T\rightarrow \hat{T}$ be a section. Define maps $T\otimes T\rightarrow \mathrm{End}(V)$ by

Clearly, the following fact holds, i.e.,

for all $(x_1, x_2)\in T\otimes T, u\in V.$

Theorem 4.3. Using the above notations, $(V, \theta)$ is a representation of $T$and does not depend on the choice of the section $\sigma$. Moreover, equivalent abelian extensions give the same representation.

Proof. First, if we choose another section $\sigma':T\rightarrow \hat{T}$, then

for some $u_i\in V.$

Note that $[u, v, \cdot]_{\hat{T}} = 0 = [u, \cdot, v]_{\hat{T}}$ for all $u, v\in V,$ this yields that

This shows that $\theta$ is independent on the choice of $\sigma$.

Second, we get that $(V, \theta)$ is a representation of $T$.

By the equality

it follows that

Thus, we obtain (2.5) holds.

Similarly, by the equality

we have

by the equality

we get

Thus, we know that (2.6) and (2.7) hold. Therefore, it is proved that $(V, \theta)$ is a representation of $T$.

Third, we will show equivalent abelian extensions give the same $\theta$.

Assume that $E_{\hat{T}}$ and $E_{\tilde{T}}$ are equivalent abelian extensions, and $F:\hat{T}\rightarrow \tilde{T}$ is the Lie color triple system homomorphism satisfying $F\circ i = j,$ $q\circ F = p.$ Choosing linear sections $\sigma$ and $\sigma'$ of $p$ and $q$, we have $qF\sigma(x_i) = p\sigma(x_i) = x_i = q\sigma'(x_i),$ then $F\sigma(x_i)-\sigma'(x_i)\in \mathrm{Ker}(q)\cong V.$ Moreover,

The proof is complete.

Let $\sigma: T\rightarrow \hat{T}$ be a section of the abelian extension. Assume the following map:

for all $x_1, x_2, x_3\in T.$

Theorem 4.4. Let $0\longrightarrow V\longrightarrow\hat{T}\longrightarrow T\longrightarrow 0$ be an abelian extension of $T$ by $V$. Then $\omega$ defined by (4.4) is a $3$-cocycle of $T$ with coefficients in $V$, where the representation $\theta$ is given by (4.3).

Proof. By the equality

The left hand side shows that

Similarly, the right side is equal to

Thus, it follows that

Therefore, $\omega$ is a $3$-cocycle.

Acknowledgments

Supported by NNSF of China (No.11801211), Science Foundation of Heilongjiang Province(No.QC2016008), the Fundamental Research Funds in Heilongjiang Provincial Universities (No.145109128).

Conflict of interest

The authors declare there is no conflicts of interest.