, ,

A complete classification of the nonskewsymmetric solutions of the classical Yang-Baxter equation exists in the case when the underlying structure is a simple Lie algebra; see [1] and [2] for the original proofs by Belavin and Drinfeld, and [5] for a more pedagogical exposition. A similar construction, with natural modifications, works in the super case as well; see [8] . However, it turns out that this may not be easily modified into a full classification result; see [9] for an explicit construction and detailed study of a counterexample.

It is well-known that solutions of the classical Yang-Baxter equation on a Lie algebra give us the semiclassical limits of quantizations on the associated Lie group. In [4] , Etingof, Schedler and Schiffmann have explicitly constructed quantizations associated to all solutions coming from the Belavin-Drinfeld result. Their method in fact works for all dynamical

r -

matrices, i.e. the solutions of the more general dynamical Yang-Baxter equation.

The purpose of this paper is to begin a study of the super analog of the theory of dynamical

r -

matrices. Ultimately our goal is a full theory of quantum groups in the super setting. We expect that understanding the super solutions of the dynamical Yang-Baxter equation will provide us with valuable insight, and hence help us extend or modify the quantization result cited above to obtain a graded analogue.¹ A possible classification result in this more general setting of dynamical

r -

matrices may also clarify the so far exceptional case of the classical

r -

matrices mentioned before.

¹ As pointed out by P. Etingof, a different method of quantization, by Etingof and Kazhdan, has been generalized to the super setting, see [7] . However, this is a less constructive technique, and does not fully answer our questions.

2 Dynamical r -matrices in the Super Setting

2.1 Definitions

Let

g

be a simple Lie superalgebra with non-degenerate Killing form

(\cdot, \cdot)

Let

h \subset g

be a Cartan subsuperalgebra, and let

Δ \subset h^{*}

be the set of roots associated to

h

. Fix a set of simple roots

Γ

or equivalently a Borel

b

The classical dynamical Yang-Baxter equation for a meromorphic function

r : h^{*} \to g \otimes g

will be:

\begin{matrix} A l t_{s} (d r) + [r^{12}, r^{13}] + [r^{12}, r^{23}] + [r^{13}, r^{23}] = 0 \end{matrix}

(1)

The differential of

r

will be defined as above as:

\begin{matrix} d r & : & h^{*} & ⟶ & g \otimes g \otimes g \end{matrix}

\begin{matrix} λ & \mapsto & \sum_{i} x_{i} \otimes \frac{\partial r}{\partial x_{i}} (λ) \end{matrix}

. Here

{x_{i}}

is a basis for

h

so all

x_{i}

are even. Recall that

A l t_{s} : g^{\otimes 3} \to g^{\otimes 3}

is given on homogeneous elements by:

A l t_{s} (a \otimes b \otimes c) = a \otimes b \otimes c + (- 1)^{| a | (| b | + | c |)} b \otimes c \otimes a + (- 1)^{| c | (| a | + | b |)} c \otimes a \otimes b,

In view of all this, we can see that for

r = \sum_{i} {R_{i}}_{(1)} \otimes {R_{i}}_{(2)}

\begin{matrix} A l t_{s} (d r) = & \sum_{i} x_{i}^{(1)} {(\frac{\partial r}{\partial x_{i}})}^{(23)} + \sum_{i} x_{i}^{(2)} {(\frac{\partial r}{\partial x_{i}})}^{(31)} \end{matrix}

\begin{matrix}  \end{matrix}

\begin{matrix} + & \sum_{i} (- 1)^{| {R_{i}}_{(1)} | | {R_{i}}_{(2)} |} x_{i}^{(3)} {(\frac{\partial r}{\partial x_{i}})}^{(12)} . \end{matrix}

\begin{matrix}  \end{matrix}

We will say that a meromorphic function

r : h^{*} \to g \otimes g

is a super dynamical r-matrix with coupling constant

ε

if it is a solution to Equation 1 and satisfies the generalized unitarity condition:

\begin{matrix} r (λ) + T_{s} (r) (λ) = ε Ω, \end{matrix}

(2)

where

Ω

is the Casimir element, i.e. the element of

g \otimes g

corresponding to the Killing form. Here,

T_{s} : V \otimes V \to V \otimes V

is the super twist map defined on the homogeneous elements of a given super vector space

V

T_{s} (a \otimes b) = (- 1)^{| a | | b |} b \otimes a .

Remark. The above definitions are the natural super analogues of the non-graded terminology used in the study of the dynamical Yang-Baxter equation, see [3] for a survey on the non-graded theory.

2.2 Super Dynamical r-matrices with Zero Weight

A super dynamical r-matrix

r

satisfies the zero weight condition if:

[h \otimes 1 + 1 \otimes h, r (λ)] = 0 for all h \in h, λ \in h^{*} .

In the next two sections we will prove the following two statements:

Theorem 2.1. (1) Let

X

be a subset of the set of roots

Δ

of a simple Lie superalgebra

g

with non-degenerate Killing form

(\cdot, \cdot)

such that:

(a) If

α, β \in X

and

α + β

is a root, then

α + β \in X

, and (b) If

α \in X

, then

- α \in X .

Let

ν \in h^{*}

, and let

D = \sum_{i < j} D_{i j} d x_{i} \land d x_{j}

be a closed meromorphic

2 -

form on

h^{*}

. If we set

D_{i j} = - D_{j i}

for

i \geq j

, then the meromorphic function:

r (λ) = \sum_{i, j = 1}^{N} D_{i j} (λ) x_{i} \otimes x_{j} + \sum_{α \in X} \frac{(- 1)^{| α |} (e_{α}, e_{- α})}{(α, λ - ν)} e_{α} \otimes e_{- α}

is a super dynamical r-matrix with zero weight and zero coupling constant.

(2) Any super dynamical r-matrix with zero weight and zero coupling constant is of this form.

Theorem 2.2. (1) Let

g

be a simple Lie superalgebra with non-degenerate Killing form

(\cdot, \cdot)

. Let

X

be a subset of the set of roots

Δ

g

satisfying conditions

(a)

and

(b)

of Theorem 2.1 . Pick

ν \in h^{*}

, and define:

φ_{α} = {\begin{matrix} (ε / 2) coth ((- 1)^{| α |} (e_{α}, e_{- α}) (ε / 2) (α, λ - ν)) & if α \in X \\ (\pm ε / 2) & if α \notin X, negative \\ \mp (- 1)^{| α |} (ε / 2) & if α \notin X, positive \end{matrix}

Let

D = \sum_{i < j} D_{i j} d x_{i} \land d x_{j}

be a closed meromorphic

2 -

form on

h^{*}

If we set

D_{i j} = - D_{j i}

for

i \geq j

, then the meromorphic function:

r (λ) = \sum_{i, j = 1}^{N} D_{i j} (λ) x_{i} \otimes x_{j} + \frac{ε}{2} Ω + \sum_{α \in Δ} φ_{α} e_{α} \otimes e_{- α}

is a super dynamical r-matrix with zero weight and nonzero coupling constant

ε

(2) Any super dynamical r-matrix with zero weight and nonzero coupling constant

ε

is of this form.

Remark. Note that if we take the limit as

ε \to 0,

the above expression reduces to the expression of Theorem 2.1 .

2.3 Proof of Theorem 2.1

For any positive root

α

fix

e_{α} \in g_{α}

and pick

e_{- α} \in g_{- α}

dual to

e_{α}

i.e.

(e_{α}, e_{- α}) = 1 for all α \in Δ^{+} .

We introduce the following notation:

A_{α} = {\begin{matrix} (- 1)^{| α |} & if α is positive \\ 1 & if α is negative \end{matrix}

Note that

A_{- α} = (- 1)^{| α |} A_{α}

. We can use

A_{α}

for instance to write the duals of our basis vectors in terms of one another:

e_{α}^{*} = A_{- α} e_{- α}

or equivalently:

(e_{α}, e_{- α}) = A_{- α} .

Let

r : h^{*} \to g \otimes g

be a super dynamical r-matrix with zero coupling constant. Then the zero weight condition on

r

implies that

r

has to be of the form:

r (λ) = \sum_{i, j} D_{i j} (λ) x_{i} \otimes x_{j} + \sum_{α \in Δ} φ_{α} e_{α} \otimes e_{- α},

where

D_{i j}, φ_{α}

are suitable scalar meromorphic functions such that:

D_{i j} (λ) = - D_{j i} (λ) and φ_{- α} = - (- 1)^{| α |} φ_{α}

One can easily check that there can be no terms mixing the Cartan part with the non-Cartan part, and the conditions on the

D_{i j}

and the

φ_{α}

follow from the zero coupling constant.

Equation 1 is an equation in

g \otimes g \otimes g

. The zero coupling constant implies that the left hand side of the equation is skew-symmetric with respect to signed permutations of factors:

\begin{matrix} (12)_{s} (a \otimes b \otimes c) & = & (- 1)^{| a | | b |} b \otimes a \otimes c \end{matrix}

\begin{matrix} (13)_{s} (a \otimes b \otimes c) & = & (- 1)^{| a | | b | + | a | | c | + | b | | c |} c \otimes b \otimes a \end{matrix}

\begin{matrix} (23)_{s} (a \otimes b \otimes c) & = & (- 1)^{| b | | c |} a \otimes c \otimes b \end{matrix}

Therefore in order to solve Equation 1 , it is enough to look at its

h \otimes h \otimes h

h \otimes g_{α} \otimes g_{- α},

and

g_{α} \otimes g_{β} \otimes g_{- α - β}

parts.

The

h \otimes h \otimes h

part is:

\begin{matrix} A l t_{s} (d r) |_{h \otimes h \otimes h} & = & \sum_{i, j, k} x_{i}^{(1)} \frac{\partial D_{j k} x_{j} x_{k}^{(23)}}{\partial x_{i}} + \sum_{i, j, k} x_{i}^{(2)} \frac{\partial D_{j k} x_{j} x_{k}^{(31)}}{\partial x_{i}} \end{matrix}

\begin{matrix} + \sum_{i, j, k} x_{i}^{(3)} \frac{\partial D_{j k} x_{j} x_{k}^{(12)}}{\partial x_{i}} \end{matrix}

\begin{matrix}  \end{matrix}

\begin{matrix} = & \sum_{i, j, k} \frac{\partial D_{j k}}{\partial x_{i}} x_{i} \otimes x_{j} \otimes x_{k} + \sum_{i, j, k} \frac{\partial D_{j k}}{\partial x_{i}} x_{k} \otimes x_{i} \otimes x_{j} \end{matrix}

\begin{matrix} + \sum_{i, j, k} \frac{\partial D_{j k}}{\partial x_{i}} x_{j} \otimes x_{k} \otimes x_{i} \end{matrix}

\begin{matrix}  \end{matrix}

\begin{matrix} = & \sum_{i, j, k} (\frac{\partial D_{i j}}{x_{k}} + \frac{\partial D_{j k}}{x_{i}} + \frac{\partial D_{k i}}{x_{j}}) x_{i} \otimes x_{j} \otimes x_{k}, \end{matrix}

and it vanishes if and only if

D = \sum_{i < j} D_{i j} d x_{i} \land d x_{j}

is a closed

2 -

form.

To find the

h \otimes g_{α} \otimes g_{- α}

part, we first look at

[[r, r]]

\begin{matrix} [r^{12}, r^{13}] = \sum_{i, j, β} D_{i j} φ_{β} [x_{i}, e_{β}] \otimes x_{j} \otimes e_{- β} + \sum_{k, l, α} D_{k l} φ_{α} [e_{α}, x_{k}] \otimes e_{- α} \otimes x_{l} \end{matrix}

\begin{matrix} + \sum_{α, β} (- 1)^{| α | | β |} φ_{α} φ_{β} [e_{α}, e_{β}] \otimes e_{- α} \otimes e_{- β} \end{matrix}

\begin{matrix} [r^{12}, r^{23}] = \sum_{i, j, β} D_{i j} φ_{β} x_{i} \otimes [x_{j}, e_{β}] \otimes e_{- β} + \sum_{k, l, α} D_{k l} φ_{α} e_{α} \otimes [e_{- α}, x_{k}] \otimes x_{l} \end{matrix}

\begin{matrix} + \sum_{α, β} φ_{α} φ_{β} e_{α} \otimes [e_{- α}, e_{β}] \otimes e_{- β} \end{matrix}

\begin{matrix} [r^{13}, r^{23}] = \sum_{i, j, β} D_{i j} φ_{β} x_{i} \otimes e_{β} \otimes [x_{j}, e_{- β}] + \sum_{k, l, α} D_{k l} φ_{α} e_{α} \otimes x_{k} \otimes [e_{- α}, x_{l}] \end{matrix}

\begin{matrix} + \sum_{α, β} (- 1)^{| α | | β |} φ_{α} φ_{β} e_{α} \otimes e_{β} \otimes [e_{- α}, e_{- β}] \end{matrix}

We can now easily see that the

h \otimes g_{α} \otimes g_{- α}

part will be:

\begin{matrix} A l t_{s} (d r) |_{h \otimes g_{α} \otimes g_{- α}} + \sum_{α, β} (- 1)^{| α | | β |} δ_{α, - β} φ_{α} φ_{β} [e_{α}, e_{β}] \otimes e_{- α} \otimes e_{- β} + \end{matrix}

\begin{matrix} \sum_{i, j, β} D_{i j} φ_{β} x_{i} \otimes [x_{j}, e_{β}] \otimes e_{- β} + \sum_{i, j, β} D_{i j} φ_{β} x_{i} \otimes e_{β} \otimes [x_{j}, e_{- β}] \end{matrix}

We note that the last two sums cancel out, because:

e_{β} \otimes [x_{j}, e_{- β}] = (- β) (x_{j}) e_{β} \otimes e_{- β} = - (β (x_{j})) e_{β} \otimes e_{- β} = - [x_{j}, e_{β}] \otimes e_{β}

and we have:

\begin{matrix} A l t_{s} (d r) |_{h \otimes g_{α} \otimes g_{- α}} + \sum_{α, β} (- 1)^{| α | | β |} δ_{α, - β} φ_{α} φ_{β} [e_{α}, e_{β}] \otimes e_{- α} \otimes e_{- β} \end{matrix}

\begin{matrix} = & \sum_{i, α} \frac{\partial φ_{α}}{\partial x_{i}} x_{i} \otimes e_{α} \otimes e_{- α} + \sum_{α} (- 1)^{| α |} φ_{α} φ_{- α} [e_{α}, e_{- α}] \otimes e_{- α} \otimes e_{α} \end{matrix}

\begin{matrix} = & \sum_{i, α} \frac{\partial φ_{α}}{\partial x_{i}} x_{i} \otimes e_{α} \otimes e_{- α} + \sum_{α} (- 1)^{| α |} φ_{α} φ_{- α} [e_{- α}, e_{α}] \otimes e_{α} \otimes e_{- α} \end{matrix}

\begin{matrix} = & \sum_{i, α} \frac{\partial φ_{α}}{\partial x_{i}} x_{i} \otimes e_{α} \otimes e_{- α} + \sum_{α} (- 1)^{| α |} φ_{α} φ_{- α} (- A_{α}) h_{α} \otimes e_{α} \otimes e_{- α} \end{matrix}

\begin{matrix} = & \sum_{i, α} \frac{\partial φ_{α}}{\partial x_{i}} x_{i} \otimes e_{α} \otimes e_{- α} + \sum_{α} A_{α} φ_{α} φ_{α} h_{α} \otimes e_{α} \otimes e_{- α} \end{matrix}

which we can rewrite as:

\sum_{α \in Δ} (\sum_{i} \frac{\partial φ_{α}}{\partial x_{i}} x_{i} + A_{α} φ_{α}^{2} h_{α}) \otimes e_{α} \otimes e_{- α}

where

h_{α} \in h

is defined by:

[e_{α}, e_{- α}] = (e_{α}, e_{- α}) h_{α} = A_{- α} h_{α} .

(Recall that both

{x_{i}}

and

{h_{α} | α \in Γ}

are bases for

h

and equivalently linear coordinate systems for

h^{*}

). For this term to vanish we must have, for all

α \in Δ

\sum_{i} \frac{\partial φ_{α}}{\partial x_{i}} x_{i} + A_{α} φ_{α}^{2} h_{α} = 0 .

We can rewrite this as:

d φ_{α} + A_{α} φ_{α}^{2} d h_{α} = 0 .

If we define

μ_{α}

by:

μ_{α} = {\begin{matrix} \sqrt{- 1} & if α is an odd positive root \\ 1 & otherwise \end{matrix}

then

μ_{α}^{2} = A_{α}

, and the equation we need to solve is:

d φ_{α} + μ_{α}^{2} φ_{α}^{2} d h_{α} = 0 .

We assume

φ_{α} \neq 0

and let

u_{α} = μ_{α} φ_{α}

. Separating variables to integrate we obtain:

\frac{1}{μ_{α}} \int \frac{- d u_{α}}{u_{α}^{2}} = \int d h_{α} \Rightarrow u_{α} = μ_{α} φ_{α} = \frac{1}{μ_{α} h_{α} + C}

and we get:

φ_{α} = \frac{A_{α}}{h_{α} - ν_{α}}

for some

ν_{α} \in C

. Here

h_{α}

is viewed as a linear function on

h^{*}

via

h_{α} (λ) = (α, λ)

Finally we look at the

g_{α} \otimes g_{β} \otimes g_{- α - β}

part of Equation 1 . There is no contribution from the dynamical part; the only terms we need to look at are:

\begin{matrix} \sum_{α, β} (- 1)^{| α | | β |} φ_{α} φ_{β} [e_{α}, e_{β}] \otimes e_{- α} \otimes e_{- β} + \sum_{α, β} φ_{α} φ_{β} e_{α} \otimes [e_{- α}, e_{β}] \otimes e_{- β} \end{matrix}

\begin{matrix} + \sum_{α, β} (- 1)^{| α | | β |} φ_{α} φ_{β} e_{α} \otimes e_{β} \otimes [e_{- α}, e_{- β}] \end{matrix}

Denote by

C

the matrix of coefficients determined by:

[e_{α}, e_{β}] = C_{α, β}^{γ} e_{γ} .

Then we can rewrite the terms we are interested in as:

\begin{matrix} \sum_{α, β, γ} (- 1)^{| α | | β |} φ_{α} φ_{β} C_{α, β}^{γ} e_{γ} \otimes e_{- α} \otimes e_{- β} \end{matrix}

\begin{matrix} + \sum_{α, β, γ} φ_{α} φ_{β} C_{- α, β}^{γ} e_{α} \otimes e_{γ} \otimes e_{- β} \end{matrix}

\begin{matrix} + \sum_{α, β, γ} (- 1)^{| α | | β |} φ_{α} φ_{β} C_{- α, - β}^{γ} e_{α} \otimes e_{β} \otimes e_{γ} \end{matrix}

\begin{matrix}  \end{matrix}

\begin{matrix} = \sum_{α, β} (- 1)^{| α | | β |} φ_{α} φ_{β} C_{α, β}^{α + β} e_{α + β} \otimes e_{- α} \otimes e_{- β} \end{matrix}

\begin{matrix} + \sum_{α, β} φ_{α} φ_{β} C_{- α, β}^{- α + β} e_{α} \otimes e_{- α + β} \otimes e_{- β} \end{matrix}

\begin{matrix} + \sum_{α, β} (- 1)^{| α | | β |} φ_{α} φ_{β} C_{- α, - β}^{- α - β} e_{α} \otimes e_{β} \otimes e_{- α - β} \end{matrix}

\begin{matrix}  \end{matrix}

\begin{matrix} = \sum_{α, β} (- 1)^{| α | | β |} φ_{α} φ_{β} C_{α, β}^{α + β} e_{α + β} \otimes e_{- α} \otimes e_{- β} \end{matrix}

\begin{matrix} + \sum_{α, β} φ_{α} φ_{β} C_{- α, β}^{- α + β} e_{α} \otimes e_{- α + β} \otimes e_{- β} \end{matrix}

\begin{matrix} + \sum_{α, β} (- 1)^{| α | | β |} φ_{α} φ_{β} C_{- α, - β}^{- α - β} e_{α} \otimes e_{β} \otimes e_{- α - β} \end{matrix}

We want the coefficient in front of the term

e_{α} \otimes e_{β} \otimes e_{- α - β}

to vanish:

\begin{matrix} (- 1)^{| β | | α + β |} φ_{- β} φ_{α + β} C_{- β, α + β}^{α} + φ_{α} φ_{α + β} C_{- α, α + β}^{β} \end{matrix}

\begin{matrix}  \end{matrix}

\begin{matrix} + (- 1)^{| α | | β |} φ_{α} φ_{β} C_{- α, - β}^{- α - β} & = \end{matrix}

\begin{matrix}  \end{matrix}

\begin{matrix} - (- 1)^{| α | | β |} φ_{β} φ_{α + β} C_{- β, α + β}^{α} + φ_{α} φ_{α + β} C_{- α, α + β}^{β} \end{matrix}

\begin{matrix}  \end{matrix}

\begin{matrix} + (- 1)^{| α | | β |} φ_{α} φ_{β} C_{- α, - β}^{- α - β} & = 0 \end{matrix}

We now compute these constants:

\begin{matrix} C_{- β, α + β}^{α} & = & ([e_{- β}, e_{α + β}], e_{α}^{*}) = ([e_{- β}, e_{α + β}], A_{- α} e_{- α}) \end{matrix}

\begin{matrix}  \end{matrix}

\begin{matrix} = & \frac{A_{- α}}{C_{α, β}^{α + β}} ([e_{- β}, [e_{α}, e_{β}]], e_{- α}) \end{matrix}

\begin{matrix} = & \frac{- (- 1)^{| α | | β |} A_{- α}}{C_{α, β}^{α + β}} ([e_{- β}, [e_{β}, e_{α}]], e_{- α}) \end{matrix}

\begin{matrix} = & \frac{- (- 1)^{| α | | β |} A_{- α}}{C_{α, β}^{α + β}} ([[e_{- β}, e_{β}], e_{α}] + (- 1)^{| β |} [e_{β} . [e_{- β}, e_{α}]], e_{- α}) \end{matrix}

\begin{matrix} = & \frac{- (- 1)^{| α | | β |} A_{- α}}{C_{α, β}^{α + β}} ([[e_{- β}, e_{β}], e_{α}], e_{- α}) \end{matrix}

\begin{matrix} = & \frac{(- 1)^{| α | | β |} (- 1)^{| β |} A_{- α}}{C_{α, β}^{α + β}} ([[e_{β}, e_{- β}], e_{α}], e_{- α}) \end{matrix}

\begin{matrix} = & \frac{(- 1)^{| α | | β |} (- 1)^{| β |} A_{- α} A_{- β}}{C_{α, β}^{α + β}} (h_{β}, [e_{α}, e_{- α}]) \end{matrix}

\begin{matrix} = & \frac{(- 1)^{| α | | β |} (- 1)^{| β |} A_{- β}}{C_{α, β}^{α + β}} (h_{α}, h_{β}) \end{matrix}

where we use the Jacobi identity and

(A_{α})^{2} = 1

. Similar computations yield:

\begin{matrix} C_{- α, α + β}^{β} & = & \frac{- (- 1)^{| α |} A_{- α}}{C_{α, β}^{α + β}} (h_{α}, h_{β}) \end{matrix}

\begin{matrix} C_{- α, - β}^{- α - β} & = & \frac{(- 1)^{| α | | β |} (- 1)^{| α | + | β |} A_{α + β} A_{- α} A_{- β}}{C_{α, β}^{α + β}} (h_{α}, h_{β}) \end{matrix}

Recall that if

α + β

is a root,

(h_{α}, h_{β}) \neq 0

and

C_{α, β}^{α + β} \neq 0

. Then we can rewrite the coefficient of

e_{α} \otimes e_{β} \otimes e_{- α - β}

\begin{matrix} 0 & = & - (- 1)^{| α | | β |} φ_{β} φ_{α + β} C_{- β, α + β}^{α} + φ_{α} φ_{α + β} C_{- α, α + β}^{β} \end{matrix}

\begin{matrix} + (- 1)^{| α | | β |} φ_{α} φ_{β} C_{- α, - β}^{- α - β} \end{matrix}

\begin{matrix}  \end{matrix}

\begin{matrix} 0 & = & - (- 1)^{| α | | β |} φ_{β} φ_{α + β} \frac{(- 1)^{| α | | β |} (- 1)^{| β |} A_{- β}}{C_{α, β}^{α + β}} (h_{α}, h_{β}) \end{matrix}

\begin{matrix} + φ_{α} φ_{α + β} \frac{- (- 1)^{| α |} A_{- α}}{C_{α, β}^{α + β}} (h_{α}, h_{β}) \end{matrix}

\begin{matrix} + (- 1)^{| α | | β |} φ_{α} φ_{β} \frac{(- 1)^{| α | | β |} (- 1)^{| α | + | β |} A_{α + β} A_{- α} A_{- β}}{C_{α, β}^{α + β}} (h_{α}, h_{β}) \end{matrix}

\begin{matrix}  \end{matrix}

\begin{matrix} 0 & = & - (- 1)^{| α | | β |} φ_{β} φ_{α + β} (- 1)^{| α | | β |} (- 1)^{| β |} A_{- α} + φ_{α} φ_{α + β} (- (- 1)^{| α |}) A_{- β} \end{matrix}

\begin{matrix} + (- 1)^{| α | | β |} φ_{α} φ_{β} (- 1)^{| α | | β |} (- 1)^{| α | + | β |} A_{α + β} \end{matrix}

\begin{matrix}  \end{matrix}

\begin{matrix} 0 & = & - (- 1)^{| β |} φ_{β} φ_{α + β} A_{- α} - (- 1)^{| α |} φ_{α} φ_{α + β} A_{- β} \end{matrix}

\begin{matrix} + (- 1)^{| α | + | β |} φ_{α} φ_{β} A_{α + β} \end{matrix}

which can be rewritten as:

\begin{matrix} A_{α + β} φ_{α} φ_{β} & = & A_{α} φ_{β} φ_{α + β} + A_{β} φ_{α} φ_{α + β} \end{matrix}

\begin{matrix} = & (A_{α} φ_{β} + A_{β} φ_{α}) φ_{α + β} \end{matrix}

where we use

A_{α} = (- 1)^{| α |} A_{- α}

and

(A_{α})^{2} = 1

Define the set

X = {α \in Δ | φ_{α} \neq 0}

Then it is easy to see that

X

is closed under addition and changing signs.

In other words, if

α, β \in X,

then so are

α + β

and

- α

. These follow directly from the above equation relating

φ_{α}

and

φ_{β}

φ_{α + β}

, and the unitarity property (i.e.

r = - T_{s} (r)

Next assume

α

and

β

are positive and in

X

. Then the above calculations yield:

\begin{matrix} A_{α + β} φ_{α} φ_{β} = & (A_{α} φ_{β} + A_{β} φ_{α}) φ_{α + β} \end{matrix}

\begin{matrix}  \end{matrix}

\begin{matrix} (- 1)^{| α | + | β |} φ_{α} φ_{β} = & ((- 1)^{| α |} φ_{β} + (- 1)^{| β |} φ_{α}) φ_{α + β} \end{matrix}

\begin{matrix}  \end{matrix}

\begin{matrix} (- 1)^{| α | + | β |} (\frac{(- 1)^{| α |}}{h_{α} - ν_{α}}) (\frac{(- 1)^{| β |}}{h_{β} - ν_{β}}) = & (\frac{(- 1)^{| α + β |}}{h_{β} - ν_{β}} + \frac{(- 1)^{| α + β |}}{h_{α} - ν_{α}}) \frac{(- 1)^{| α + β |}}{h_{α + β} - ν_{α + β}} \end{matrix}

\begin{matrix}  \end{matrix}

\begin{matrix} (\frac{1}{h_{α} - ν_{α}}) (\frac{1}{h_{β} - ν_{β}}) = & (\frac{1}{h_{β} - ν_{β}} + \frac{1}{h_{α} - ν_{α}}) \frac{1}{h_{α + β} - ν_{α + β}} \end{matrix}

Since

h_{α + β} = h_{α} + h_{β}

we must have:

ν_{α + β} = ν_{α} + ν_{β}

Also recall that

φ_{- α} = - (- 1)^{| α |} φ_{α}

and so:

\frac{A_{- α}}{h_{- α} - ν_{- α}} = - (- 1)^{| α |} \frac{A_{α}}{h_{α} - ν_{α}}

which implies that

ν_{- α} = - ν_{α}

. Therefore we can conclude that there is some

ν \in h^{*}

such that

ν_{α} = (α, ν)

for all

α \in X

. This completes the proof of the theorem.

■

2.4 Proof of Theorem 2.2

We start with fixing a basis for the non-Cartan part of

g

in the same manner as above. In other words for any positive root

α

we fix

e_{α} \in g_{α}

and pick

e_{- α} \in g_{- α}

dual to

e_{α}

i.e.

(e_{α}, e_{- α}) = 1 for all α \in Δ^{+} .

We again need the following notation:

A_{α} = {\begin{matrix} (- 1)^{| α |} & if α is positive \\ 1 & if α is negative \end{matrix}

and we note once again that

A_{- α} = (- 1)^{| α |} A_{α}

Let

r : h^{*} \to g \otimes g

be a meromorphic map,

Ω \in g \otimes g

the Casimir element, and

ε

a nonzero complex number. Introduce a second meromorphic function

s : h^{*} \to g \otimes g

by:

s (λ) = r (λ) - \frac{ε}{2} Ω for all λ \in h^{*} .

We will now prove the following technical lemma:

Lemma 2.1. The map

r

is a super dynamical r-matrix with zero weight and coupling constant

ε

if and only if

s

satisfies the zero weight condition:

[h \otimes 1 + 1 \otimes h, s (λ)] = 0 for all h \in h, λ \in h^{*},

the unitarity condition:

s (λ) + T_{s} (s) (λ) = 0,

and the following modified version of the dynamical Yang-Baxter equation:

\begin{matrix} A l t_{s} (d s) + [[s, s]] + \frac{ε^{2}}{4} [[Ω, Ω]] = 0, \end{matrix}

(3)

where, for any

2 -

tensor

r

[[r, r]] = [r^{12}, r^{13}] + [r^{12}, r^{23}] + [r^{13}, r^{23}] .

Remark. This is exactly Lemma

3.9

of [6] . Its proof consists mainly of a direct calculation, but the computations are significantly more involved in the super case. In any case, the proof will be given here for completeness.

Proof: The zero weight condition and the unitarity condition on

s

imply that

s

has to be of the form:

s (λ) = \sum_{i, j} D_{i j} (λ) h_{i} \otimes h_{j} + \sum_{α \in Δ} φ_{α} e_{α} \otimes e_{- α},

where

{h_{i}}

is a basis for

h

, and

D_{i j}, φ_{α}

are suitable scalar meromorphic functions such that:

D_{i j} (λ) = - D_{j i} (λ) and φ_{- α} = - (- 1)^{| α |} φ_{α}

One can easily check that there can be no terms mixing the Cartan part with the non-Cartan part, and the conditions on the

D_{i j}

and the

φ_{α}

follow from unitarity.

We have:

[[r, r]] = [[s + \frac{ε}{2} Ω, s + \frac{ε}{2} Ω]]

so it suffices to prove that

[[r, r]] - [[s, s]] - \frac{ε^{2}}{4} [[Ω, Ω]]

is zero. In other words we need to show that

\frac{ε}{2} ([s^{12}, Ω^{13}] + [Ω^{12}, s^{13}] + [s^{12}, Ω^{23}] + [Ω^{12}, s^{23}] + [s^{13}, Ω^{23}] + [Ω^{13}, s^{23}])

vanishes.

{h^{i}}

is the dual basis in

h

{h_{i}}

, then we can write the Casimir element as:

Ω = \sum_{i} h_{i} \otimes h^{i} + \sum_{α \in Δ} A_{α} e_{α} \otimes e_{- α}

and we have:

\begin{matrix} [s^{12}, Ω^{13}] & = & \sum_{i, j, k} D_{i j} [h_{i}, h_{k}] \otimes h_{j} \otimes h^{k} + \sum_{α, k} φ_{α} [e_{α}, h_{k}] \otimes e_{- α} \otimes h^{k} \end{matrix}

\begin{matrix} + & \sum_{i, j, β} D_{i j} A_{β} [h_{i}, e_{β}] \otimes h_{j} \otimes e_{- β} \end{matrix}

\begin{matrix} + \sum_{α, β} (- 1)^{| α | | β |} φ_{α} A_{β} [e_{α}, e_{β}] \otimes e_{- α} \otimes e_{- β} \end{matrix}

\begin{matrix} [Ω^{12}, s^{13}] & = & \sum_{i, j, k} D_{j k} [h_{i}, h_{j}] \otimes h^{i} \otimes h_{k} + \sum_{i, β} φ_{β} [h_{i}, e_{β}] \otimes h^{i} \otimes e_{- β} \end{matrix}

\begin{matrix} + & \sum_{α, j, k} A_{α} D_{j k} [e_{α}, h_{j}] \otimes e_{- α} \otimes h_{k} \end{matrix}

\begin{matrix} + \sum_{α, β} (- 1)^{| α | | β |} A_{α} φ_{β} [e_{α}, e_{β}] \otimes e_{- α} \otimes e_{- β} \end{matrix}

\begin{matrix} [s^{12}, Ω^{23}] & = & \sum_{i, j, k} D_{i j} h_{i} \otimes [h_{j}, h_{k}] \otimes h^{k} + \sum_{α, k} φ_{α} e_{α} \otimes [e_{- α}, h_{k}] \otimes h^{k} \end{matrix}

\begin{matrix} + & \sum_{i, j, β} D_{i j} A_{β} h_{i} \otimes [h_{j}, e_{β}] \otimes e_{- β} \end{matrix}

\begin{matrix} + \sum_{α, β} φ_{α} A_{β} e_{α} \otimes [e_{- α}, e_{β}] \otimes e_{- β} \end{matrix}

\begin{matrix} [Ω^{12}, s^{23}] & = & \sum_{i, j, k} D_{j k} h_{i} \otimes [h^{i}, h_{j}] \otimes h_{k} + \sum_{i, β} φ_{β} h_{i} \otimes [h^{i}, e_{β}] \otimes e_{- β} \end{matrix}

\begin{matrix} + & \sum_{α, j, k} A_{α} D_{j k} e_{α} \otimes [e_{- α}, h_{j}] \otimes h_{k} \end{matrix}

\begin{matrix} + \sum_{α, β} A_{α} φ_{β} e_{α} \otimes [e_{- α}, e_{β}] \otimes e_{- β} \end{matrix}

\begin{matrix} [s^{13}, Ω^{23}] & = & \sum_{i, j, k} D_{i j} h_{i} \otimes h_{k} \otimes [h_{j}, h^{k}] + \sum_{α, k} φ_{α} e_{α} \otimes h_{k} \otimes [e_{- α}, h^{k}] \end{matrix}

\begin{matrix} + & \sum_{i, j, β} D_{i j} A_{β} h_{i} \otimes e_{β} \otimes [h_{j}, e_{- β}] \end{matrix}

\begin{matrix} + \sum_{α, β} (- 1)^{| α | | β |} φ_{α} A_{β} e_{α} \otimes e_{β} \otimes [e_{- α}, e_{- β}] \end{matrix}

\begin{matrix} [Ω^{13}, s^{23}] & = & \sum_{i, j, k} D_{j k} h_{i} \otimes h_{j} \otimes [h^{i}, h_{k}] + \sum_{i, β} φ_{β} h_{i} \otimes e_{β} \otimes [h^{i}, e_{- β}] \end{matrix}

\begin{matrix} + & \sum_{α, j, k} A_{α} D_{j k} e_{α} \otimes h_{j} \otimes [e_{- α}, h_{k}] \end{matrix}

\begin{matrix} + \sum_{α, β} (- 1)^{| α | | β |} A_{α} φ_{β} e_{α} \otimes e_{β} \otimes [e_{- α}, e_{- β}] \end{matrix}

Clearly the first sum in each of these six terms is zero, as the

h_{i}

are all in the Cartan. It is also easy to see that the sum of all the third sums vanishes as well:

\begin{matrix} \sum_{i, j, β} D_{i j} A_{β} [h_{i}, e_{β}] \otimes h_{j} \otimes e_{- β} & = & \sum_{i, j, β} D_{i j} A_{β} β (h_{i}) e_{β} \otimes h_{j} \otimes e_{- β} \end{matrix}

\begin{matrix} = & - \sum_{i, j, β} (- D_{i j}) A_{β} e_{β} \otimes h_{j} \otimes [e_{- β}, h_{i}] \end{matrix}

\begin{matrix} = & - \sum_{α, j, k} D_{j, k} A_{α} e_{α} \otimes h_{j} \otimes [e_{- α}, h_{k}] \end{matrix}

where we use

D_{i j} = - D_{j i}

\begin{matrix} \sum_{α, j, k} A_{α} D_{j k} [e_{α}, h_{j}] \otimes e_{- α} \otimes h_{k} & = & - \sum_{α, j, k} A_{α} D_{j k} α (h_{j}) e_{α} \otimes e_{- α} \otimes h_{k} \end{matrix}

\begin{matrix} = & - \sum_{α, j, k} A_{α} D_{j k} e_{α} \otimes [e_{- α}, h_{j}] \otimes h_{k}, \end{matrix}

and:

\begin{matrix} \sum_{i, j, β} D_{i j} A_{β} h_{i} \otimes [h_{j}, e_{β}] \otimes e_{- β} & = & \sum_{i, j, β} D_{i j} A_{β} β (h_{j}) h_{i} \otimes e_{β} \otimes e_{- β} \end{matrix}

\begin{matrix} = & - \sum_{i, j, β} D_{i j} A_{β} h_{i} \otimes e_{β} \otimes [h_{j}, e_{- β}] . \end{matrix}

We can also see that:

\begin{matrix} \sum_{α, k} φ_{α} [e_{α}, h_{k}] \otimes e_{- α} \otimes h^{k} & = & \sum_{α, k} φ_{α} (- α (h_{k}) e_{α}) \otimes e_{- α} \otimes h^{k} \end{matrix}

\begin{matrix} = & - \sum_{α, k} φ_{α} e_{α} \otimes [e_{- α}, h_{k}] \otimes h^{k}, \end{matrix}

and:

\begin{matrix} \sum_{i, β} φ_{β} h_{i} \otimes [h^{i}, e_{β}] \otimes e_{- β} & = & \sum_{i, β} φ_{β} β (h^{i}) h_{i} \otimes e_{β} \otimes e_{- β} \end{matrix}

\begin{matrix} = & - \sum_{i, β} φ_{β} h_{i} \otimes e_{β} \otimes [h^{i}, e_{- β}] \end{matrix}

but:

\begin{matrix} \sum_{i, β} φ_{β} [h_{i}, e_{β}] \otimes h^{i} \otimes e_{- β} & = & \sum_{i, β} φ_{β} β (h_{i}) e_{β} \otimes h^{i} \otimes e_{- β} \end{matrix}

\begin{matrix} = & \sum_{β} φ_{β} e_{β} \otimes (\sum_{i} β (h_{i}) h^{i}) \otimes e_{- β} \end{matrix}

\begin{matrix} = & \sum_{β} φ_{β} e_{β} \otimes h_{β} \otimes e_{- β} \end{matrix}

\begin{matrix} \sum_{α, k} φ_{α} e_{α} \otimes h_{k} \otimes [e_{- α}, h^{k}] & = & \sum_{α, k} φ_{α} α (h^{k}) e_{α} \otimes h_{k} \otimes e_{- α} \end{matrix}

\begin{matrix} = & \sum_{α} φ_{α} e_{α} \otimes (\sum_{k} α (h^{k}) h_{k}) \otimes e_{- α} \end{matrix}

\begin{matrix} = & \sum_{α} φ_{α} e_{α} \otimes h_{α} \otimes e_{- α} \end{matrix}

where

h_{α} \in h

is defined as usual by

A_{- α} h_{α} = (e_{α}, e_{- α}) h_{α} = [e_{α}, e_{- α}] .

Next we look at the six remaining terms, the fourth sum in each term above. We note that:

\begin{matrix} \sum_{α, β} (- 1)^{| α | | β |} φ_{α} A_{β} [e_{α}, e_{β}] \otimes e_{- α} & \otimes & e_{- β} δ_{α, - β} \end{matrix}

\begin{matrix} = & \sum_{α} (- 1)^{| α |} φ_{α} A_{- α} [e_{α}, e_{- α}] \otimes e_{- α} \otimes e_{α} \end{matrix}

\begin{matrix} \sum_{α, β} (- 1)^{| α | | β |} A_{α} φ_{β} [e_{α}, e_{β}] \otimes e_{- α} & \otimes & e_{- β} δ_{α, - β} \end{matrix}

\begin{matrix} = & \sum_{α} (- 1)^{| α |} A_{α} φ_{- α} [e_{α}, e_{- α}] \otimes e_{- α} \otimes e_{α} \end{matrix}

\begin{matrix} \sum_{α, β} φ_{α} A_{β} e_{α} \otimes [e_{- α}, e_{β}] & \otimes & e_{- β} δ_{α, β} \end{matrix}

\begin{matrix} = & \sum_{α} φ_{α} A_{α} e_{α} \otimes [e_{- α}, e_{α}] \otimes e_{- α} \end{matrix}

\begin{matrix} \sum_{α, β} A_{α} φ_{β} e_{α} \otimes [e_{- α}, e_{β}] & \otimes & e_{- β} δ_{α, β} \end{matrix}

\begin{matrix} = & \sum_{α} A_{α} φ_{α} e_{α} \otimes [e_{- α}, e_{α}] \otimes e_{- α} \end{matrix}

\begin{matrix} \sum_{α, β} (- 1)^{| α | | β |} φ_{α} A_{β} e_{α} \otimes e_{β} & \otimes & [e_{- α}, e_{- β}] δ_{α, - β} \end{matrix}

\begin{matrix} = & \sum_{α} (- 1)^{| α |} φ_{α} A_{- α} e_{α} \otimes e_{- α} \otimes [e_{- α}, e_{α}] \end{matrix}

\begin{matrix} \sum_{α, β} (- 1)^{| α | | β |} A_{α} φ_{β} e_{α} \otimes e_{β} & \otimes & [e_{- α}, e_{- β}] δ_{α, - β} \end{matrix}

\begin{matrix} = & \sum_{α} (- 1)^{| α |} A_{α} φ_{- α} e_{α} \otimes e_{- α} \otimes [e_{- α}, e_{α}] . \end{matrix}

We can see that the first two and the last two of these cancel out one another because:

φ_{α} A_{- α} = (- 1)^{| α |} φ_{α} A_{α} A_{α} φ_{- α} = - (- 1)^{| α |} A_{α} φ_{α}

and the center two add up to give:

\begin{matrix} 2 \sum_{α} φ_{α} A_{α} e_{α} \otimes [e_{- α}, e_{α}] & \otimes & e_{- α} \end{matrix}

\begin{matrix} = & - 2 \sum_{α} φ_{α} (- 1)^{| α |} A_{α} e_{α} \otimes [e_{α}, e_{- α}] \otimes e_{- α} \end{matrix}

\begin{matrix} = & - 2 \sum_{α} φ_{α} (A_{- α})^{2} e_{α} \otimes h_{α} \otimes e_{- α} \end{matrix}

\begin{matrix} = & - 2 \sum_{α} φ_{α} e_{α} \otimes h_{α} \otimes e_{- α} \end{matrix}

because

A_{α}^{2} = 1

. This cancels the terms remaining from the second sums:

\sum_{β} φ_{β} e_{β} \otimes h_{β} \otimes e_{- β} + \sum_{α} φ_{α} e_{α} \otimes h_{α} \otimes e_{- α} = 2 \sum_{β} φ_{β} e_{β} \otimes h_{β} \otimes e_{- β}

Finally the only terms remaining that we need to check are the terms of the form

e_{α} \otimes e_{β} \otimes e_{γ}

which all come from the fourth sums. If

C

is again the matrix of coefficients determined by:

[e_{α}, e_{β}] = \sum_{γ} C_{α, β}^{γ} e_{γ} = C_{α, β}^{α + β} e_{α + β},

then we can write the last six terms as follows:

\begin{matrix} \sum_{α, β} (- 1)^{| α | | β |} φ_{α} A_{β} [e_{α}, e_{β}] & \otimes & e_{- α} \otimes e_{- β} \end{matrix}

\begin{matrix} = & \sum_{α, β} (- 1)^{| α | | β |} φ_{α} A_{β} C_{α, β}^{α + β} e_{α + β} \otimes e_{- α} \otimes e_{- β} \end{matrix}

\begin{matrix} \sum_{α, β} (- 1)^{| α | | β |} A_{α} φ_{β} [e_{α}, e_{β}] & \otimes & e_{- α} \otimes e_{- β} \end{matrix}

\begin{matrix} = & \sum_{α, β} (- 1)^{| α | | β |} A_{α} φ_{β} C_{α, β}^{α + β} e_{α + β} \otimes e_{- α} \otimes e_{- β} \end{matrix}

\begin{matrix} \sum_{α, β} φ_{α} A_{β} e_{α} & \otimes & [e_{- α}, e_{β}] \otimes e_{- β} \end{matrix}

\begin{matrix} = & \sum_{α, β} φ_{α} A_{β} C_{- α, β}^{- α + β} e_{α} \otimes e_{- α + β} \otimes e_{- β} \end{matrix}

\begin{matrix} \sum_{α, β} A_{α} φ_{β} e_{α} & \otimes & [e_{- α}, e_{β}] \otimes e_{- β} \end{matrix}

\begin{matrix} = & \sum_{α, β} A_{α} φ_{β} C_{- α, β}^{- α + β} e_{α} \otimes e_{- α + β} \otimes e_{- β} \end{matrix}

\begin{matrix} \sum_{α, β} (- 1)^{| α | | β |} φ_{α} A_{β} e_{α} & \otimes & e_{β} \otimes [e_{- α}, e_{- β}] \end{matrix}

\begin{matrix} = & \sum_{α, β} (- 1)^{| α | | β |} φ_{α} A_{β} C_{- α, - β}^{- α - β} e_{α} \otimes e_{β} \otimes e_{- α - β} \end{matrix}

\begin{matrix} \sum_{α, β} (- 1)^{| α | | β |} A_{α} φ_{β} e_{α} & \otimes & e_{β} \otimes [e_{- α}, e_{- β}] \end{matrix}

\begin{matrix} = & \sum_{α, β} (- 1)^{| α | | β |} A_{α} φ_{β} C_{- α, - β}^{- α - β} e_{α} \otimes e_{β} \otimes e_{- α - β} \end{matrix}

We write down the contribution of each of these six sums to the coefficient in front of

e_{α} \otimes e_{β} \otimes e_{- α - β}

\begin{matrix} \sum_{α, β} (- 1)^{| α | | β |} φ_{α} A_{β} C_{α, β}^{α + β} e_{α + β} & \otimes & e_{- α} \otimes e_{- β} \end{matrix}

\begin{matrix} : & (- 1)^{| β | | α + β |} φ_{- β} A_{α + β} C_{- β, α + β}^{α} \end{matrix}

\begin{matrix} \sum_{α, β} (- 1)^{| α | | β |} A_{α} φ_{β} C_{α, β}^{α + β} e_{α + β} & \otimes & e_{- α} \otimes e_{- β} \end{matrix}

\begin{matrix} : & (- 1)^{| β | | α + β |} A_{- β} φ_{α + β} C_{- β, α + β}^{α} \end{matrix}

\begin{matrix} \sum_{α, β} φ_{α} A_{β} C_{- α, β}^{- α + β} e_{α} & \otimes & e_{- α + β} \otimes e_{- β} \end{matrix}

\begin{matrix} : & φ_{α} A_{α + β} C_{- α, α + β}^{β} \end{matrix}

\begin{matrix} \sum_{α, β} A_{α} φ_{β} C_{- α, β}^{- α + β} e_{α} & \otimes & e_{- α + β} \otimes e_{- β} \end{matrix}

\begin{matrix} : & A_{α} φ_{α + β} C_{- α, α + β}^{β} \end{matrix}

\begin{matrix} \sum_{α, β} (- 1)^{| α | | β |} φ_{α} A_{β} C_{- α, - β}^{- α - β} e_{α} & \otimes & e_{β} \otimes e_{- α - β} \end{matrix}

\begin{matrix} : & (- 1)^{| α | | β |} φ_{α} A_{β} C_{- α, - β}^{- α - β} \end{matrix}

\begin{matrix} \sum_{α, β} (- 1)^{| α | | β |} A_{α} φ_{β} C_{- α, - β}^{- α - β} e_{α} & \otimes & e_{β} \otimes e_{- α - β} \end{matrix}

\begin{matrix} : & (- 1)^{| α | | β |} A_{α} φ_{β} C_{- α, - β}^{- α - β} \end{matrix}

Gathering like terms together we see that the coefficient we want is:

\begin{matrix} (- 1)^{| β | | α + β |} φ_{- β} A_{α + β} C_{- β, α + β}^{α} + (- 1)^{| β | | α + β |} A_{- β} φ_{α + β} C_{- β, α + β}^{α} \end{matrix}

\begin{matrix} + & φ_{α} A_{α + β} C_{- α, α + β}^{β} + A_{α} φ_{α + β} C_{- α, α + β}^{β} \end{matrix}

\begin{matrix} + & (- 1)^{| α | | β |} φ_{α} A_{β} C_{- α, - β}^{- α - β} + (- 1)^{| α | | β |} A_{α} φ_{β} C_{- α, - β}^{- α - β} \end{matrix}

or equivalently:

\begin{matrix} = & φ_{α} A_{α + β} C_{- α, α + β}^{β} + (- 1)^{| α | | β |} φ_{α} A_{β} C_{- α, - β}^{- α - β} \end{matrix}

\begin{matrix} + (- 1)^{| β | | α + β |} φ_{- β} A_{α + β} C_{- β, α + β}^{α} + (- 1)^{| α | | β |} A_{α} φ_{β} C_{- α, - β}^{- α - β} \end{matrix}

\begin{matrix} + A_{α} φ_{α + β} C_{- α, α + β}^{β} + (- 1)^{| β | | α + β |} A_{- β} φ_{α + β} C_{- β, α + β}^{α} \end{matrix}

\begin{matrix} = & φ_{α} (A_{α + β} C_{- α, α + β}^{β} + (- 1)^{| α | | β |} A_{β} C_{- α, - β}^{- α - β}) \end{matrix}

\begin{matrix} + φ_{β} (- (- 1)^{| β |} (- 1)^{| β | | α + β |} A_{α + β} C_{- β, α + β}^{α} + (- 1)^{| α | | β |} A_{α} C_{- α, - β}^{- α - β}) \end{matrix}

\begin{matrix} + φ_{α + β} (A_{α} C_{- α, α + β}^{β} + (- 1)^{| β | | α + β |} A_{- β} C_{- β, α + β}^{α}) \end{matrix}

We have computed earlier that:

\begin{matrix} C_{- β, α + β}^{α} & = & \frac{(- 1)^{| α | | β |} (- 1)^{| β |} A_{- β}}{C_{α, β}^{α + β}} (h_{α}, h_{β}) \end{matrix}

\begin{matrix} C_{- α, α + β}^{β} & = & \frac{- (- 1)^{| α |} A_{- α}}{C_{α, β}^{α + β}} (h_{α}, h_{β}) \end{matrix}

\begin{matrix} C_{- α, - β}^{- α - β} & = & \frac{(- 1)^{| α | | β |} (- 1)^{| α | + | β |} A_{α + β} A_{- α} A_{- β}}{C_{α, β}^{α + β}} (h_{α}, h_{β}) \end{matrix}

Using these formulas, we can now see that each pair adds up to zero, and this completes the proof of the lemma.

■

This lemma shows that in order to study zero-weight super dynamical r-matri-ces with nonzero coupling constant, it suffices to solve the modified dynamical Yang-Baxter equation. This modified version of the dynamical Yang-Baxter equation:

\begin{matrix} A l t_{s} (d s) + [[s, s]] + \frac{ε^{2}}{4} [[Ω, Ω]] = 0, \end{matrix}

(MDYBequation3)

is an equation in

g \otimes g \otimes g

. The non-Casimir components are easily seen to be skew-symmetric with respect to signed permutations of factors, following arguments from the proof of Theorem 2.1 . The Casimir part is also skew-symmetric with respect to signed permutations of factors, as can be seen by a straight-forward computation. Because of this symmetry, it is sufficient to look only at the

h \otimes h \otimes h,

h \otimes g_{α} \otimes g_{- α},

and

g_{α} \otimes g_{β} \otimes g_{- α - β}

components in order to solve Equation 3 .

The

h \otimes h \otimes h

part comes only from the dynamical part (in other words, from

A l t_{s} (d s)

) and yields:

\frac{\partial D_{j k}}{\partial x_{i}} + \frac{\partial D_{k i}}{\partial x_{j}} + \frac{\partial D_{i j}}{\partial x_{k}} = 0,

which implies that

D = \sum_{i < j} D_{i j} d x_{i} \land d x_{j}

is a closed differential

2 -

form.

The

h \otimes g_{α} \otimes g_{- α}

part consists of two components. The part that comes from the non-Casimir part is the same as the whole of the

h \otimes g_{α} \otimes g_{- α}

part of the dynamical Yang-Baxter equation for a zero-weight super dynamical r-matrix with zero coupling constant, (see Section 2.3 ):

\begin{matrix} A l t_{s} (d s) |_{h \otimes g_{α} \otimes g_{- α}} + \sum_{α, β} (- 1)^{| α | | β |} δ_{α, - β} φ_{α} φ_{β} [e_{α}, e_{β}] \otimes e_{- α} \otimes e_{- β} \end{matrix}

\begin{matrix} = & \sum_{i, α} \frac{\partial φ_{α}}{\partial x_{i}} x_{i} \otimes e_{α} \otimes e_{- α} + \sum_{α} (- 1)^{| α |} φ_{α} φ_{- α} (- A_{α}) h_{α} \otimes e_{α} \otimes e_{- α} \end{matrix}

\begin{matrix} = & \sum_{i, α} \frac{\partial φ_{α}}{\partial x_{i}} x_{i} \otimes e_{α} \otimes e_{- α} + \sum_{α} A_{α} φ_{α} φ_{α} h_{α} \otimes e_{α} \otimes e_{- α} \end{matrix}

To this we need to add the Casimir component, i.e. the terms that come from

\frac{ε^{2}}{4} [[Ω, Ω]]

\begin{matrix} [[Ω, Ω]] |_{h \otimes g_{α} \otimes g_{- α}} & = & \sum_{α, β} (- 1)^{| α | | β |} δ_{α, - β} A_{α} A_{β} [e_{α}, e_{β}] \otimes e_{- α} \otimes e_{- β} \end{matrix}

\begin{matrix} = & \sum_{α} (- 1)^{| α |} A_{α} A_{- α} [e_{α}, e_{- α}] \otimes e_{- α} \otimes e_{α} \end{matrix}

\begin{matrix} = & \sum_{α} (- 1)^{| α |} A_{α} A_{- α} A_{- α} h_{α} \otimes e_{- α} \otimes e_{α} \end{matrix}

\begin{matrix} = & \sum_{α} A_{- α} h_{α} \otimes e_{- α} \otimes e_{α} \end{matrix}

\begin{matrix} = & - \sum_{α} A_{α} h_{α} \otimes e_{α} \otimes e_{- α} \end{matrix}

and so the

h \otimes g_{α} \otimes g_{- α}

part of Equation 3 is:

\sum_{i, α} \frac{\partial φ_{α}}{\partial x_{i}} x_{i} \otimes e_{α} \otimes e_{- α} + \sum_{α} A_{α} φ_{α}^{2} h_{α} \otimes e_{α} \otimes e_{- α} - \frac{ε^{2}}{4} \sum_{α} A_{α} h_{α} \otimes e_{α} \otimes e_{- α}

which we can rewrite as:

\sum_{α \in Δ} (\sum_{i} \frac{\partial φ_{α}}{\partial x_{i}} x_{i} + A_{α} (φ_{α}^{2} - \frac{ε^{2}}{4}) h_{α}) \otimes e_{α} \otimes e_{- α}

For this term to vanish we must have, for all

α \in Δ

\sum_{i} \frac{\partial φ_{α}}{\partial x_{i}} x_{i} + A_{α} (φ_{α}^{2} - \frac{ε^{2}}{4}) h_{α} = 0 .

We can rewrite this as:

d φ_{α} + A_{α} (φ_{α}^{2} - \frac{ε^{2}}{4}) d h_{α} = 0 .

If we define

μ_{α}

by:

μ_{α} = {\begin{matrix} \sqrt{- 1} & if α is an odd positive root \\ 1 & otherwise \end{matrix}

then

μ_{α}^{2} = A_{α}

, and the equation we need to solve is:

d φ_{α} + μ_{α}^{2} (φ_{α}^{2} - \frac{ε^{2}}{4}) d h_{α} = 0 .

We assume

φ_{α}^{2} \neq \frac{ε^{2}}{4}

and let

u_{α} = μ_{α} φ_{α}

. Also let

ε_{α} = \frac{μ_{α} ε}{2}

. Separating variables to integrate we obtain:

\frac{1}{μ_{α}} \int \frac{d u_{α}}{ε_{α}^{2} - u_{α}^{2}} = \int d h_{α} \Rightarrow u_{α} = μ_{α} φ_{α} = ε_{α} coth (ε_{α} μ_{α} h_{α} + C)

and we get:

φ_{α} = \frac{ε}{2} coth (\frac{A_{α} ε}{2} (h_{α} - ν_{α}))

for some

ν_{α} \in C

. Here

h_{α}

is viewed as a linear function on

h^{*}

via

h_{α} (λ) = (α, λ)

Finally we look at the

g_{α} \otimes g_{β} \otimes g_{- α - β}

part of Equation 3 . There is no contribution from the dynamical part. The terms from

[[s, s]]

are (see Section 2.3 for more details):

\begin{matrix} \sum_{α, β} (- 1)^{| α | | β |} φ_{α} φ_{β} [e_{α}, e_{β}] \otimes e_{- α} \otimes e_{- β} + \sum_{α, β} φ_{α} φ_{β} e_{α} \otimes [e_{- α}, e_{β}] \otimes e_{- β} \end{matrix}

\begin{matrix} + \sum_{α, β} (- 1)^{| α | | β |} φ_{α} φ_{β} e_{α} \otimes e_{β} \otimes [e_{- α}, e_{- β}] \end{matrix}

and the coefficient for the

e_{α} \otimes e_{β} \otimes e_{- α - β}

term coming from this component is:

(- 1)^{| β | | α + β |} φ_{- β} φ_{α + β} C_{- β, α + β}^{α} + φ_{α} φ_{α + β} C_{- α, α + β}^{β} + (- 1)^{| α | | β |} φ_{α} φ_{β} C_{- α, - β}^{- α - β}

We can simplify this further:

(- 1)^{| β | | α + β |} φ_{- β} φ_{α + β} C_{- β, α + β}^{α} + φ_{α} φ_{α + β} C_{- α, α + β}^{β} + (- 1)^{| α | | β |} φ_{α} φ_{β} C_{- α, - β}^{- α - β}

\begin{matrix} = & (- 1)^{| β | | α + β |} φ_{- β} φ_{α + β} \frac{(- 1)^{| α | | β |} (- 1)^{| β |} A_{- β}}{C_{α, β}^{α + β}} (h_{α}, h_{β}) \end{matrix}

\begin{matrix} + φ_{α} φ_{α + β} \frac{- (- 1)^{| α |} A_{- α}}{C_{α, β}^{α + β}} (h_{α}, h_{β}) \end{matrix}

\begin{matrix} + (- 1)^{| α | | β |} φ_{α} φ_{β} \frac{(- 1)^{| α | | β |} (- 1)^{| α | + | β |} A_{α + β} A_{- α} A_{- β}}{C_{α, β}^{α + β}} (h_{α}, h_{β}) \end{matrix}

\begin{matrix} = & - φ_{β} φ_{α + β} \frac{A_{β}}{C_{α, β}^{α + β}} (h_{α}, h_{β}) - φ_{α} φ_{α + β} \frac{A_{α}}{C_{α, β}^{α + β}} (h_{α}, h_{β}) \end{matrix}

\begin{matrix} + φ_{α} φ_{β} \frac{A_{α + β} A_{α} A_{β}}{C_{α, β}^{α + β}} (h_{α}, h_{β}) \end{matrix}

The Casimir component is:

\begin{matrix} \frac{ε^{2}}{4} (\sum_{α, β} (- 1)^{| α | | β |} A_{α} A_{β} [e_{α}, e_{β}] \otimes e_{- α} \otimes e_{- β} + \sum_{α, β} A_{α} A_{β} e_{α} \otimes [e_{- α}, e_{β}] \otimes e_{- β} \end{matrix}

\begin{matrix} + \sum_{α, β} (- 1)^{| α | | β |} A_{α} A_{β} e_{α} \otimes e_{β} \otimes [e_{- α}, e_{- β}]) \end{matrix}

\begin{matrix}  \end{matrix}

and the coefficient in front of the

e_{α} \otimes e_{β} \otimes e_{- α - β}

term coming from this component is:

\begin{matrix} \frac{ε^{2}}{4} ((- 1)^{| β | | α + β |} A_{- β} A_{α + β} C_{- β, α + β}^{α} & + A_{α} A_{α + β} C_{- α, α + β}^{β} \end{matrix}

\begin{matrix} + (- 1)^{| α | | β |} A_{α} A_{β} C_{- α, - β}^{- α - β}) \end{matrix}

\begin{matrix}  \end{matrix}

which we can simplify as follows:

\begin{matrix} \frac{ε^{2}}{4} & ((- 1)^{| β | | α + β |} A_{- β} A_{α + β} C_{- β, α + β}^{α} + A_{α} A_{α + β} C_{- α, α + β}^{β} \end{matrix}

\begin{matrix} + (- 1)^{| α | | β |} A_{α} A_{β} C_{- α, - β}^{- α - β}) \end{matrix}

\begin{matrix}  \end{matrix}

\begin{matrix} = & \frac{ε^{2}}{4} ((- 1)^{| α | | β |} A_{β} A_{α + β} C_{- β, α + β}^{α} + A_{α} A_{α + β} C_{- α, α + β}^{β} \end{matrix}

\begin{matrix} + (- 1)^{| α | | β |} A_{α} A_{β} C_{- α, - β}^{- α - β}) \end{matrix}

\begin{matrix}  \end{matrix}

\begin{matrix} = & \frac{ε^{2}}{4} (((- 1)^{| α | | β |} A_{β} A_{α + β} \frac{(- 1)^{| α | | β |} (- 1)^{| β |} A_{- β}}{C_{α, β}^{α + β}} (h_{α}, h_{β}) \end{matrix}

\begin{matrix} + A_{α} A_{α + β} \frac{- (- 1)^{| α |} A_{- α}}{C_{α, β}^{α + β}} (h_{α}, h_{β}) \end{matrix}

\begin{matrix} + (- 1)^{| α | | β |} A_{α} A_{β} \frac{(- 1)^{| α | | β |} (- 1)^{| α | + | β |} A_{α + β} A_{- α} A_{- β}}{C_{α, β}^{α + β}} (h_{α}, h_{β})) \end{matrix}

\begin{matrix} = & \frac{ε^{2}}{4} (((- 1)^{| α | | β |} A_{α + β} \frac{(- 1)^{| α | | β |}}{C_{α, β}^{α + β}} (h_{α}, h_{β}) + A_{α + β} \frac{- 1}{C_{α, β}^{α + β}} (h_{α}, h_{β}) \end{matrix}

\begin{matrix} + (- 1)^{| α | | β |} \frac{(- 1)^{| α | | β |} A_{α + β}}{C_{α, β}^{α + β}} (h_{α}, h_{β})) \end{matrix}

\begin{matrix} = & \frac{ε^{2}}{4} (\frac{A_{α + β}}{C_{α, β}^{α + β}} (h_{α}, h_{β})) \end{matrix}

\begin{matrix}  \end{matrix}

Therefore the coefficient of the

e_{α} \otimes e_{β} \otimes e_{- α - β}

term is:

\begin{matrix} - & φ_{β} φ_{α + β} \frac{A_{β}}{C_{α, β}^{α + β}} (h_{α}, h_{β}) - φ_{α} φ_{α + β} \frac{A_{α}}{C_{α, β}^{α + β}} (h_{α}, h_{β}) \end{matrix}

\begin{matrix} + & φ_{α} φ_{β} \frac{A_{α + β} A_{α} A_{β}}{C_{α, β}^{α + β}} (h_{α}, h_{β}) + \frac{ε^{2}}{4} (\frac{A_{α + β}}{C_{α, β}^{α + β}} (h_{α}, h_{β})) \end{matrix}

This is equal to zero if and only if:

φ_{β} φ_{α + β} A_{β} + φ_{α} φ_{α + β} A_{α} = φ_{α} φ_{β} A_{α + β} A_{α} A_{β} + \frac{ε^{2}}{4} A_{α + β},

or equivalently:

\begin{matrix} A_{α + β} φ_{α} φ_{β} + \frac{ε^{2}}{4} A_{α + β} A_{α} A_{β} = φ_{α + β} (A_{α} φ_{β} + A_{β} φ_{α}) \end{matrix}

(4)

where we use

A_{α}^{2} = 1

Let

X = {α \in Δ | φ_{α}^{2} \neq \frac{ε^{2}}{4}}

. Then clearly

X

is closed under changing signs because

s

satisfies the unitarity condition. Equation 4 implies that

X

is also closed under addition. If

α, β \in X

are two positive roots, then:

φ_{α} = \frac{ε}{2} coth (\frac{A_{α} ε}{2} (h_{α} - ν_{α}))

φ_{β} = \frac{ε}{2} coth (\frac{A_{β} ε}{2} (h_{β} - ν_{β}))

and Equation 4 implies:

φ_{α + β} = \frac{ε}{2} A_{α + β} coth (\frac{ε}{2} (h_{α} - ν_{α}) + \frac{ε}{2} (h_{β} - ν_{β}))

is not constant, so we must have:

φ_{α + β} = \frac{ε}{2} coth (\frac{A_{α + β} ε}{2} (h_{α + β} - ν_{α + β})) .

Since

c o t h (- x) = - c o t h (x)

, this implies also that:

ν_{α + β} = ν_{α} + ν_{β} .

Using

φ_{- α} = - (- 1)^{| α |} φ_{α}

we can also see that

ν_{- α} = - ν_{α}

. Therefore we can conclude that there is some

ν \in h^{*}

such that

ν_{α} = (α, ν)

for all

α \in X

Thus we have proved that

r

is a super dynamical r-matrix with zero weight and coupling constant

ε

if and only if

s = r - \frac{ε}{2} Ω

is of the following form:

s (λ) = \sum_{i, j = 1}^{N} D_{i j} (λ) x_{i} \otimes x_{j} + \sum_{α \in Δ} φ_{α} e_{α} \otimes e_{- α}

and this finishes the proof of Theorem 2.2 .

■

3 Examples of Super Dynamical r -matrices

Example 3.1. Let

g

be a simple Lie superalgebra with nondegenerate Killing form. For any choice of a triangular decomposition of

g

, the constant r-matrix:

r = \frac{ε}{2} \sum_{i} (x_{i} \otimes x_{i}^{*}) + ε \sum_{α \in Δ^{+}} (e_{- α} \otimes e_{α})

and its super twist:

T_{s} (r) = \frac{ε}{2} \sum_{i} (x_{i} \otimes x_{i}^{*}) + ε \sum_{α \in Δ^{+}} ((- 1)^{| α |} e_{α} \otimes e_{- α})

are both zero-weight super dynamical r-matrices with coupling constant

ε

. They correspond to

X = \emptyset

and

D \equiv 0

in Theorem 2.2 .

We note that these r-matrices are in fact solutions to the classical Yang-Baxter equation. In fact,

r

can clearly be constructed by the main construction theorem of [8] with the trivial admissible triple

(Γ_{1}, Γ_{2}, τ)

where

Γ_{i} = \emptyset

and

τ = 0

Remark. The Cartan components of the r-matrices above involve

x_{i}^{*} \in h

, the elements of the dual basis of the basis

{x_{i}}

for

h

, because it may not be always possible to choose an orthonormal basis for

h

in the super case.

Remark. Clearly the only solution of the classical Yang-Baxter equation constructible by the main construction theorem of [8] that we can also construct by Theorem 2.2 is

r

given above. To reach any other r-matrix constructible by this method, i.e. one that involves a nontrivial admissible triple, we would need to drop the zero weight condition.

Example 3.2. For a non-constant dynamical example, consider the super dynamical r-matrix constructed by Theorem 2.2 using

X = Δ

D \equiv 0

and

ν = 0

r (λ) = \frac{ε}{2} Ω + \sum_{α \in Δ} \frac{ε}{2} coth (\frac{ε}{2} (α, λ)) (- 1)^{| α |} (e_{α}, e_{- α}) (e_{α} \otimes e_{- α})

For a given triangular decomposition this can be rewritten as:

r (λ) = \frac{ε}{2} Ω + \sum_{α \in Δ^{+}} \frac{ε}{2} coth (\frac{ε}{2} (α, λ)) ((- 1)^{| α |} e_{α} \otimes e_{- α} - e_{- α} \otimes e_{α}) .

For this triangular decomposition, if we take the limit as

λ \to \infty

while always staying positive, then we see that:

r (λ) ⟶ \frac{ε}{2} Ω + \sum_{α \in Δ^{+}} \frac{ε}{2} ((- 1)^{| α |} e_{α} \otimes e_{- α} - e_{- α} \otimes e_{α})

which is exactly the r-matrix

T_{s} (r)

of the previous example. If we take a similar limit as

| λ | \to \infty

while staying always negative, we see that:

r (λ) ⟶ \frac{ε}{2} Ω + \sum_{α \in Δ^{+}} \frac{ε}{2} (e_{- α} \otimes e_{α} - (- 1)^{| α |} e_{α} \otimes e_{- α})

which is exactly the r-matrix

r

of the previous example.

Hence we can conclude that this particular super dynamical r-matrix extrapolates different solutions of the classical Yang-Baxter equation associated to the trivial admissible triple, labeled by different triangular decompositions.

4 Conclusion

The two theorems proven in this paper are the super versions of Theorem

3.2

and Theorem

3.10

in [6] . Their proofs were very clearly inspired by the non-graded case. A careful eye will discern the difficulties that are peculiar to the super case in the proofs provided here.

For a classification of all super dynamical

r -

matrices, one needs further study. Schiffmann's results in [10] provide a good template. It is this author's belief that the constructive part of Schiffmann's results will carry over to the super case with certain modifications. In light of recent results, one expects to see some divergence from the non-graded theory when it comes to the classification part; in fact the example studied in [9] will be one of the challenges to a direct generalization.

References

Belavin, A. A., Drinfeld, V. G.; “Solutions of the Classical Yang-Baxter Equation and Simple Lie Algebras”, Funct. Anal. Appl. 16 (1982), pp.159–180.
Belavin, A. A., Drinfeld, V. G.; “Triangle Equation and Simple Lie Algebras”, Soviet Scientific Reviews Sect. C 4 (1984), pp.93–165.
Etingof, P.; “On the Dynamical Yang-Baxter Equation”, Proceedings of the International Congress of Mathematicians, Vol. II (Beijing, 2002), Higher Ed. Press, 2002, pp.555–570.
Etingof, P., Schedler, T., Schiffmann, O.; “Explicit quantization of dynamical $r$ -matrices for finite dimensional semisimple Lie algebras”; J. Amer. Math. Soc. 13 (2000), no. 3, pp.595–609.
Etingof, P., Schiffmann, O.; Lectures on Quantum Groups, International Press, 1998.
Etingof, P., Varchenko, A.; “Geometry and Classification of Solutions of the Classical Dynamical Yang-Baxter Equation”, Comm. Math. Phys. 192 (1998), no. 1, pp.77–120.
Geer, N.; “Etingof-Kazhdan Quantization of Lie Superbialgebras”; e-arXiv preprint, arXiv:math.QA/0409563
Karaali, G.; “Constructing r-matrices on Simple Lie Superalgebras”, J. Algebra 282 (2004), no.1, pp.83–102.
Karaali, G.; “A New Lie Bialgebra Structure on $s l (2, 1)$ ”, submitted.
Schiffmann, O.; “On Classification of Dynamical r-matrices”, Math. Res. Lett. 5 (1998), pp.13–30.

Department of Mathematics, University of California, Santa Barbara, Ca 93106 E-mail address : gizem@math.ucsb.edu

Gizem Karaali