• Nie Znaleziono Wyników

SPINORS IN BRAIDED GEOMETRY

N/A
N/A
Protected

Academic year: 2021

Share "SPINORS IN BRAIDED GEOMETRY"

Copied!
11
0
0

Pełen tekst

(1)

BANACH CENTER PUBLICATIONS, VOLUME 37 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES

WARSZAWA 1996

SPINORS IN BRAIDED GEOMETRY

M I ´ C O DU R DE V I ´ C Instituto de Matematicas, UNAM

Area de la Investigacion Cientifica, Circuito Exterior Ciudad Universitaria, M´ exico DF, CP 04510 M´ exico

E-mail: micho@matem.unam.mx

Z B I G N I E W O Z I E W I C Z

Facultad de Estudios Superiores Cuautitlan, UNAM Apartado Postal #25 Cuautitlan Izcalli, CP 54700, M´ exico

E-mail: oziewicz@servidor.unam.mx

Abstract. Let V be a C-space, σ ∈ End(V

⊗2

) be a pre-braid operator and let F ∈ lin(V

⊗2

, C ). This paper offers a sufficient condition on (σ, F ) that there exists a Clifford algebra C`(V, σ, F ) as the Chevalley F -dependent deformation of an exterior algebra C`(V, σ, 0) ≡ V

(σ).

If σ 6= σ

−1

and F is non-degenerate then F is not a σ-morphism in σ-braided monoidal cate- gory. A spinor representation as a left C`(V, σ, F )-module is identified with an exterior algebra over F -isotropic C-subspace of V. We give a sufficient condition on braid σ that the spinor representation is faithful and irreducible.

1. Introduction. Clifford and Weyl algebra for a Hecke braid was considered among other in [Hayashi 1990, Oziewicz 1995, Bautista et al. 1996]. The aim of this paper is to extend Clifford algebra and spinors to braided geometry and we do not assume that a braid need to be a Hecke braid.

Let V be a finite dimensional C-space, σ ∈ End(V

⊗2

) be a pre-braid operator and let F ∈ lin(V

⊗2

, C ). This paper offers a sufficient condition on (σ, F ) that there exists a Clifford algebra C`(V, σ, F ) as the Chevalley F -dependent deformation of a braided exterior algebra C`(V, σ, 0) ≡ V

(σ),

(1) (F ⊗ id

V

)(id

V

⊗ σ) = (id

V

⊗ F )(σ ⊗ id

V

).

1991 Mathematics Subject Classification: Primary 15A66, 15A75, 16S80; Secondary 18D10.

Z. Oziewicz is a member of Sistema Nacional de Investigadores, M´ exico. Partially supported by KBN grant 2 P302 023 07.

Resubmitted May 17, 1996.

The paper is in final form and no version of it will be published elsewhere.

[315]

(2)

The condition (1) should be contrasted with a condition that a form F is a σ-morphism in a σ-braided monoidal category. The condition (1) is valid also for σ = 0 in contrast to the σ-morphism which for F 6= 0 do not holds for σ = 0. For involutive braids σ = σ

−1

condition (1) coincides with a σ-morphism for F . The condition (1) is invariant with respect to rescaling, for λ ∈ C, σ → λ · σ, whereas a condition for F to be a σ-morphism is not rescaling invariant.

From the point of view of the deformation theory one can ask if exists an F -dependent deformation of exterior Hopf algebra V

(σ)?

Let sh be a shuffle comultiplication on a C-space V

. Then, from one point of view, the answer to the above question is positive in the framework of generalized braided quantum groups [Durdevi´ c 1996],

V

(σ) ,→ {C`(V, σ, F ), sh}.

From another point of view the answer is negative because for F 6= 0, {C`(V, σ, F ), sh} is not a braided Hopf algebra as in [Majid 1991-1993].

An open question is whether exists an F -dependent deformation, in the framework of a braided category, of the braided exterior bialgebra V

(σ) which need not to be bi-unital (i.e. not unital or not co-unital)?

In the last section the Cartan approach to algebraic spinors is applied in the braided geometry. This last section is a variation and a generalization of a construction given in [Bautista at al. 1996]. A spinor space S is defined as an exterior Hopf C-algebra over F -isotropic C-subspace of V. A spinor space S is a left Clifford module and in contrast to the standard formulation, we shall not require the existence of a hermitian form (a spinor norm), see e. g. [Crumeyrolle 1990]. We found sufficient conditions on a braid σ that the spinor representation {C`(V, σ, F ) → End S} is irreducible and faithful.

Throughout this paper algebra, cogebra, Hopf algebra means C-algebra, C-cogebra and Hopf C-algebra and ⊗ ≡ ⊗

C

. All maps are C-linear, lin ≡ lin

C

and End ≡ End

C

.

2. Deformation of shuffle comutiplication. In what follows V is a C-space, T V is a tensor algebra universal on V with a realization T V ≡ {V

, ⊗}, and CV is a tensor cogebra co-universal on V with a shuffle co-universal commultiplication sh, i.e. CV ≡ {V

, sh}, see [Sweedler 1969, chapter XII, page 247].

Henceforth we define

s

p,q

∈ lin(V

⊗(p+q)

, V

⊗p

⊗ V

⊗q

),

s

p,q

(v

1

⊗ . . . ⊗ v

p+q

) ≡ (v

1

⊗ . . . ⊗ v

p

) ⊗ (v

p+1

⊗ . . . ⊗ v

p+q

), s

0,n

≡ 1 ⊗ id, s

n,0

≡ id ⊗ 1,

sh: V

→ V

⊗ V

, sh|V

⊗n

n

X

i=0

s

i,n−i

.

In this section we consider a pre-braid - dependent coassociative deformation of co- universal shuffle comultiplication sh.

A pre-braid on C-space V is a map σ ∈ End(V

⊗2

) for which the braid equation holds

(2) (σ ⊗ id

V

)(id

V

⊗ σ)(σ ⊗ id

V

) = (id

V

⊗ σ)(σ ⊗ id

V

)(id

V

⊗ σ).

(3)

A pre-braid σ extends to pre-braiding σ

∈ End(V

⊗ V

) on V

, e. g.

)

1,2

≡ σ

|{V ⊗ V

⊗2

} = (id

V

⊗ σ)(σ ⊗ id

V

), (σ

)

2,1

≡ σ

|{V

⊗2

⊗ V } = (σ ⊗ id

V

)(id

V

⊗ σ).

Let V

≡ lin(V, C) be a dual C-space. The evaluation V

⊗ V → C extends to a pairing T V

⊗ T V → C according to the following convention

for α, β ∈ T V

, t, u ∈ T V and |α| = |u|, |β| = |t|, (α ⊗ β)(t ⊗ u) ≡ (βt)(αu) ∈ C.

The dual space V

≡ lin(V, C ) possess the transposed pre-braid σ

∈ End(V

∗⊗2

) with respect to the above pairing.

Let V σV denote an associative unital algebra and a coassociative counital cogebra with a C-space V

⊗ V

and with σ-dependent structures,

a multiplication: [(⊗) ⊗ (⊗)] ◦ (id

V

⊗ σ

⊗ id

V

), a unit: 1 ⊗ 1, 1 ∈ lin(C, V

),

a comultiplication: (id

V

⊗ σ

⊗ id

V

) ◦ [sh ⊗ sh], a counit: ε ⊗ ε, ε ∈ lin(V

, C).

It is an interesting question whether the above structure can be extended to some braided bialgebra. This question is not investigated in this paper.

For a pre-braid σ ∈ End(V

⊗2

) we shall define a σ-dependent coassociative comulti- plication C(σ) and associative multiplication Q(σ) in a C-space V

,

V

C(σ)

−→ V

⊗ V

, V

Q(σ)

←− V

⊗ V

, (3) Q(σ) ≡ [C(σ

)]

g

, the graded dual.

Definition 1 (Comultiplication). Let 1 ∈ T V. An algebra map C(σ) ∈ alg(T V, V σV ) is determined by value on generating C-space V,

C(σ)1 ≡ 1 ⊗ 1, C(σ)|V ≡ 1 ⊗ id

V

+ id

V

⊗ 1.

Let S

n

be the permutation group on n elements, π ∈ S

n

and let σ

π

∈ End(V

⊗n

) be a map obtained by replacing transpositions in a minimal decomposition of π by a pre-braid σ ∈ End(V

⊗2

).

Let sh

n,k

⊆ S

n+k

be a set of riffle shuffles with a cut n from S

n+k

[Sweedler 1969, chapter XII; Sternberg 1993, p. 43], i.e. a set of permutations preserving an order of sub-sets {1, . . . , n} and {n + 1, . . . , n + k}.

Proposition 2 (Deformation of shuffle comultiplication). An algebra map C(σ) is a coassociative σ-deformation of co-universal tensor shuffle comultiplication,

C(σ)|V

⊗n

=

n

X

i=0

s

i,n−i

◦ C

i,n−i

(σ) ,

C

0,n

(σ) = C

n,0

(σ) = id

V⊗n

,

(4)

C

n,k

(σ) = X

π∈shn,k

σ

π

∈ End(V

⊗(n+k)

),

C

n,k

(0) = id

V⊗(n+k)

, C(0) = sh.

P r o o f. The above formulas are proved by induction on n. The coassociativity of the coproduct C(σ) is due to braid equation (2).

The operators C

n,k

(σ) for n = 1 or k = 1 are the same as braided integers in [Majid 1993] or in [Majid 1995, Definition 10.4.8],

 1 + n n ; σ



= C

n,1

(σ), [1 + k; σ] = C

1,k

(σ).

In particular

C

1,1

(σ) = id

V⊗2

+ σ,

C

1,2

(σ) = id

V⊗3

+ σ ⊗ id

V

+ (id

V

⊗ σ)(σ ⊗ id

V

), C

2,1

(σ) = id

V⊗3

+ id

V

⊗ σ + (σ ⊗ id

V

)(id

V

⊗ σ).

3. Braided exterior Hopf algebra. Hopf algebras in a braided monoidal category, i.e. a braided Hopf algebras, has been introduced by Majid in a series of papers in years 1991-1993, we refer to monograph by Majid [1995]. In this section we generalize this to pre-braided case when a braid needs not to be invertible and we consider two important examples of pre-braid - dependent families: pre-braided universal Hopf algebra and pre- braided co-universal Hopf algebra as the deformation of bi-universal (i.e. universal and couniversal) Hopf algebra.

A bi-universal σ-braided Hopf algebra exists if and only if σ|V

⊗2

= 0 [Oziewicz, Paal and R´ o˙za´ nski 1995, section 8]. A realization of the bi-universal 0-braided Hopf algebra is given by {V

, ⊗, sh} with the antipode

S|C = id, S|V = −id, S|V

⊗n>1

= 0.

Proposition 3 (Braided Hopf algebras).

(i) Q(0) = ⊗, i.e. Q(σ) is an associative σ-deformation of a tensor multiplication (con- catenation) and Q(σ) ∈ cog(V σV, CV ).

(ii) CV (σ) ≡ {V

, ⊗, C(σ)} is a σ-braided universal biassociative and biunital Hopf algebra which is a σ-deformation of bi-universal Hopf algebra CV (0).

(iii) QV (σ) ≡ {V

, Q(σ), sh} is a σ-braided co-universal biassociative and biunital Hopf algebra which is σ-deformation of bi-universal Hopf algebra QV (0) = CV (0).

(iv) There exists a unique homomorphism W (σ) ∈ hopf[CV (σ), QV (σ)] of σ-deformed universal Hopf algebra into σ-deformed co-universal Hopf algebra such that W (σ)|(C ⊕ V ) = id. An operator W (σ) commutes with antipod and W (σ) is σ- deformation of identity , i.e. W (0) = id

V

.

P r o o f. See [Oziewicz, Paal and R´ o˙za´ nski 1995, section 8]. In the proof we need to use braid equation (1).

From the graded duality in definition (3) and from Proposition 2 we get Q

n,k

(σ) ≡ Q(σ)|(V

⊗n

⊗ V

⊗k

) = X

π∈shn,k

[(σ

)

π

]

: V

⊗n

⊗ V

⊗k

−→ V

⊗(n+k)

.

(5)

Moreover

[(σ

)

π

]

= σ

π−1

and this follows from the equality of the tangles corresponding to the left and the right sides of the above equation.

By definition an operator W (σ) must be an algebra and cogebra map,

(4) W (σ) ∈ alg [T V, (V

, Q(σ))],

V

⊗ V

−→

V

↓ W ⊗ W ↓ W

V

⊗ V

Q(σ)

−→ V

(5) W (σ) ∈ cog [(V

, C(σ)), CV ],

V

C(σ)

−→ V

⊗ V

↓ W ↓ W ⊗ W

V

sh

−→ V

⊗ V

An image im W (σ) is a Hopf sub-algebra of QV (σ).

In particular a Hopf algebra map W (σ) coincide with a braided symmetrizer/alter- nator introduced by Woronowicz [1989, pp. 153-155]

End(V

⊗n

) 3 W

n

(σ) ≡ X

π∈Sn

σ

π

. Moreover

for λ ∈ C, (λ · σ)

π

= λ

|π|

· σ

π

.

A subspace ker W (σ) < CV (σ) is a two-sided biideal in a universal tensor Hopf algebra. A factor Hopf algebra V

(σ) ≡ CV (σ)/ker W (σ) is said to be an exterior Hopf algebra for a pre-braid σ. Let π

σ

∈ hopf [CV (σ), V

(σ)] be an epimorphism of Hopf algebras and ker π

σ

≡ ker W (σ),

∧ ≡ ∧

σ

≡ ⊗ mod ker W (σ) : V

⊗ V

→ V

.

One can show that a pre-braiding σ

factors to a pre-braiding σ

on a factor algebra V

⊗ V

and that an exterior Hopf algebra V

(σ) is σ

-braided, i. e. all structure maps are σ

-morphisms and in particular a factor multiplication ∧

σ

is a σ

-morphism,

σ

(∧ ⊗ id) =(id ⊗ ∧)(σ

⊗ id)(id ⊗ σ

), σ

(id ⊗ ∧) =(∧ ⊗ id)(id ⊗ σ

)(σ

⊗ id).

A Hopf algebra im W (σ) is isomorphic as Hopf algebra to the exterior algebra. The following algebra map is invertible,

π

σ

|im W (σ) ∈ alg [(im W (σ), Q(σ)), (V

(σ), ∧

σ

)],

V

(σ) 3 π

σ

ψ ≡ ψ

≡ [ψ mod ker W (σ)] ←→ W (σ)ψ ∈ im W (σ) < V

. We have a pairings

for α, β ∈ T V

, t, u ∈ T V and |α| = |u|, |β| = |t|, (α ⊗ β)(t ⊗ u) ≡ (βt)(αu) ∈ C,

V

∗∧

(σ) ⊗ V

(σ) → C,

(6) C 3 α

t

≡ αW (σ)t or 0 if |α| 6= |t|.

(6)

4. Inner product. An inner product is a graded derivation of degree −1. In this sec- tion an inner product is generalized to a braided geometry. A general theory of derivations of arbitrary degree in braided geometry was presented in [Oziewicz, Paal and R´ o˙za´ nski 1995].

For f ∈ V

and c

f

≡ f ⊗ id let c

f

|V

⊗n

∈ lin(V

⊗n

, V

⊗(n−1)

) be contraction in a tensor algebra V

. Then exists k

f

(σ) ∈ End(V

) such that

c

f

◦ W (σ) = W (σ) ◦ k

f

(σ).

Therefore k

f

(σ) factors to a map k(σ) ∈ lin(V

⊗ V

, V

).

Lemma 4 (Braided derivation). The Leibniz rule holds,

k

f

(σ) ◦ ∧ = ∧ ◦ {k

f

(σ) ⊗ id + σ

∧−1

◦ [k

f

(σ) ⊗ id] ◦ σ

}.

P r o o f. The Leibniz rule for k

f

(σ) in a tensor algebra factors to the above Leibniz rule in a factor algebra.

An operator k(σ) extends to an algebra map

t ∈ alg [T V

, End(V

)], t|V

≡ k(σ).

Lemma 5. If f ∈ kerW

(σ) then t

f

= 0.

P r o o f. The statement is the consequence of (3) because W (σ) ∈ alg [T V, QV (σ)].

Hence, we can pass from V

∗⊗

to V

∗∧

in the first argument of t and we obtain a map t: V

∗∧

⊗ V

→ V

.

Definition 6. The map t: V

∗∧

⊗ V

→ V

is said to be the inner product.

The inner product t can be defined equivalently as the transposed exterior multipli- cation. For f ∈ V

∗∧

, let ∧

f

∈ End(V

∗∧

) be a linear map given by ∧

f

φ ≡ φ ∧ f.

Proposition 7. Let f, g ∈ T V

, ψ ∈ T V and |f | + |g| = |ψ|. Then the inner product t

f

and an exterior product ∧

f

are mutually transposed ,

σ

g)(t

πσf

π

σ

ψ) = (∧

πσf

π

σ

g)(π

σ

ψ).

P r o o f. We have

(g

∧ f

= (∧

f

g

= [W

(g ⊗ f )]ψ

= (g ⊗ f )W ψ = g

(f

t ψ

) = g

(t

f

ψ

).

5. Clifford Algebra. Let F ∈ lin(V

⊗2

, C ) be a scalar product and `

F

∈ lin(V, V

) be an associated correlation,

ev(`

F

⊗ id

V

) ≡ F and T `

F

∈ alg (T V, T V

).

Clifford and Weyl algebras for Hecke braids were considered among others in [Hayashi 1990, Oziewicz 1995, Bautista et al. 1996]. In this section a braid σ ∈ End(V

⊗2

) needs not to be a Hecke braid.

In what follows we shall assume

(7) T `

F

◦ W (σ) = W

(σ) ◦ T `

F

, W

(σ) = W (σ

).

(7)

This is equivalent that

(`

F

⊗ `

F

) ◦ σ = σ

◦ (`

F

⊗ `

F

).

Factorizing T `

F

through ideals ker {W, W

} we obtain an algebra homomorphism

∧`

F

∈ alg (V

, V

∗∧

).

A sufficient condition that (7) holds is

(8) (F ⊗ id

V

)(id

V

⊗ σ) = (id

V

⊗ F )(σ ⊗ id

V

).

Let ι

F

be a contraction map multliplicative on the first factor with values in braided derivations (Lemma 4),

(9) ι

F

: V

⊗ V

→ V

, ι

F

≡ t[(∧`

F

) ⊗ id], for x ∈ V and σ(x ⊗ ϑ) = X

k

ϑ

k

⊗ x

k

, ι

F x

◦ ∧

ϑ

= ∧

ιF xϑ

+ X

ϑk

◦ ι

F xk

.

We shall introduce contraction operators h , i

k

in V

which we need for construction of a Clifford algebra C`(V, σ, F ) as the Chevalley F -deformation of a σ-braided exterior algebra C`(V, σ, 0) ≡ V

(σ). We define

for ψ ∈ V

⊗n

, ψ

j

∈ V

∧(n−k)

, ψ

j

∈ V

∧k

, [π

σ

◦ C

n−k,k

(σ)]ψ = X

ψ

j

∧ ψ

j

, h , i

k

: V

⊗ V

→ V

, hψ, ·i

k

≡ X

ψj

◦ ι

F ψj

, if n < k then h , i

k

≡ 0.

Consistency of this definition follows from bialgebra map (4-5).

The Chevalley F -dependent deformed product ∨ ≡ ∨

σ,F

on V

(σ) is defined as follows,

∨ ≡ ∧ + X

k≥1

h·, ·i

k

,

in particular for x ∈ V, ∨

x

= ∧

x

+ ι

F x

.

Proposition 8. An F -deformed algebra {V

(σ), ∨

σ,F

} is an associative algebra with the unity 1 ∈ V

(σ).

P r o o f. The proof can be performed diagramatically, using tangle and braid diagrams, and using condition (1 − 8).

Definition 9 (Clifford algebra as a deformation). An algebra C`(V, σ, F ) ≡ {V

(σ), ∨

σ,F

}

is said to be a Clifford algebra as the Chevalley F -deformation of an exterior algebra V

(σ).

The graded algebra associated to a filtered algebra C`(V, σ, F ) is isomorphic to V

(σ).

Let π

σ,F

∈ alg [T V, C`(V, σ, F )] be an algebra epimorphism extending the identity map on V and let I

σ,F

be two-sided ideal in a tensor algebra,

I

σ,F

≡ ker π

σ,F

/ T V.

(8)

The Clifford algebra C`(V, σ, F ) can be presented as a factor algebra C`(V, σ, F ) = T V /I

σ,F

.

6. The Bourbaki bijection in a tensor algebra. The ideal I

σ,F

/ T V can be described in another way, using a bijection λ

F

∈ End V

introduced by Bourbaki [1959].

Let for x ∈ V, ι

F x

∈ σder T V be a braided derivation on T V , Lemma 4. Bourbaki [1959] introduced the following map λ

F

∈ EndV

,

for x ∈ V and ψ ∈ V

,

λ

F

|C = id, λ

F

(x ⊗ ψ) = x ⊗ (λ

F

ψ) + (ι

F x

◦ λ

F

)ψ.

Then λ

F

|V = id and the Bourbaki map λ

F

is bijective.

Lemma 10. We have

(10) ker W (σ) = λ

F

(I

σ,F

).

P r o o f. The statement follows from π

σ

◦ λ

F

= π

σ,F

.

The Bourbaki bijection λ

F

allows to define a new product ∨

F

in C-space V

, (11) ∨

F

≡ λ

F

◦ λ

−1F

⊗ λ

−1F

.

With respect to product ∨

F

(11) the space ker W (σ) is a left ideal in {T V, ∨

F

}. The condition (1 − 8) ensures that ker W (σ) is also a right ∨

F

-ideal.

An algebra epimorphism π

σ

∈ alg [T V, V

(σ)] by construction is also an algebra epimorphism of F -deformed algebras.

If the braid operator σ is such that ker W (σ) is quadratic, then the ideal I

σ,F

is generated by elements of the form

ψ − F (ψ)1 ⊗ 1, where ψ ∈ V

⊗2

is σ-invariant, σψ = ψ.

This covers Clifford and Weyl algebras for a Hecke braid [Hayashi 1990, Oziewicz 1995].

To define a Clifford algebra as the Chevalley F -deformation of braided exterior algebra V

(σ), it is neccessary and sufficient that ker W (σ) is also a right-ideal in (V

, ∨

F

). This assumption is weaker then (1 − 8). If (8) does not hold, then the symmetry between left and right is broken.

If σ = σ

−1

then the braided Hopf algebra V

(σ) can be deformed to a generalized braided quantum group {C`(V, σ, F ), sh} [Durdevi´ c 1994, 1996]. A generalized braided quantum group {C`(V, σ, F ), sh} is not a braided Hopf algebra as in [Majid 1991-1993].

However, the axiom for the antipode is the same as for Hopf algebra. The antipode is F -dependent. The shuffle coproduct sh in {C`(V, σ, F ), sh} is the same as in V

(σ), however the intrinsic braid determined by the Clifford product, shuffle coproduct and the antipode will be F -dependent. The generalized braided quantum group is not includable in the framework of braided categories, because the coproduct map does not obey the functoriality properties relative to the mentioned braiding.

7. Spinors. This section is devoted to braided generalization of the Cartan theory of spinors [3], [1]. Consider the Witt F -isotropic splitting

(12) V = V

1

⊕ V

2

, V

i

are F -isotropic.

(9)

The Witt splitting is said to be compatible with the braid σ ∈ End(V

⊗2

) if for i 6= j, σ(V

i

⊗ V

j

) = V

j

⊗ V

i

,

σ

2

|{(V

1

⊗ V

2

) ⊕ (V

2

⊗ V

1

)} = id.

Let F | V

2

⊗ V

1

 be nondegenerate. In this case V

2

' V

1

. Let for f ∈ V

1

and x ∈ V

1

a form F be given by F (f ⊗ x) ≡ f (x).

Exterior algebras (V

1

)

and (V

2

)

are subalgebras of C`(V, σ, F ).

Lemma 11 (The Cartan map). The following Cartan map µ is bijective, (13) µ: (V

1

)

⊗ (V

2

)

−→ C`(V, σ, F ), µ ≡ ∨

σ,F

.

P r o o f. Let u ∈ V

1

, v ∈ V

2

and σ(v ⊗ u) ≡ X

k

u

k

⊗ v

k

. Then vu + X

k

u

k

v

k

− F (v ⊗ u) · 1 = 0.

This implies that µ is surjective.

Let p

kl

: V

⊗(k+l)

→ (V

1

)

⊗k

⊗ (V

2

)

⊗l

be a projection. We shall prove that the map

∧: (V

1

)

⊗ (V

2

)

→ V

, which is the grade-preserving component of µ, is injective.

Indeed, we have p

kl

◦ ∧ = id and hence ∧ is injective.

Denote K = (V

2

)

and let κ ∈ alg (K, C) be a character, κ(1) = 1 such that κ(V

2

) = 0.

This gives a left K-module structure on C. On the other hand C`(V, σ, F ) is a right K- module.

Definition 12. A left C`(V, σ, F )-module S ≡ C`(V, σ, F ) ⊗

K

C is called the spinor module associated to the F -isotropic splitting (12).

According to Lemma 11, the space S is isomorphic to the exterior algebra (V

1

)

and for x = x

1

+ x

2

∈ V, x

i

∈ V

i

, xξ = x

1

∧ ξ + x

2

t ξ.

Proposition 13. A C`(V, σ, F )-module S is faithful and irreducible.

P r o o f. We prove that each vector ψ ∈ S \ {0} is cyclic which implies that the module is simple. The unit element 1

S

∈ S is cyclic, by construction. The duality between spaces V

1

and V

2

extends to the duality between exterior algebras (V

1

)

and (V

2

)

, as explained in Section 4. In terms of this duality, the contraction between elements of the same degree becomes the pairing map. It follows that there exists ϕ ∈ K such that ϕ t ψ = 1. Hence, ψ is cyclic.

Let X

u

k

⊗v

k

6= 0 be a component consisting of summands having the minimal second degree n. We can assume that v

k

are linearly independent vectors. Let x ∈ C`(V, σ, F ) \ {0}. We have

µ

−1

(x) = X

u

k

⊗ v

k

+ ψ.

There exist spinors ξ

j

∈ S satisfying ψξ

j

= 0 and v

k

ξ

j

= δ

kj

. This gives xξ

j

= u

j

which implies that the representation is faithful.

A left C`(V, σ, F )-module S is completely characterized by the existence of a cyclic

vector 1

S

∈ S anihilated by the subspace V

2

.

(10)

In other words let V be an arbitrary left C`(V, σ, F )-module, possesing a vector v satisfying V

2

v = 0. Then exists the unique module map %: S → V satisfying % 1

S

 = v.

The map % is injective because of the simplicity of S. In particular, if v is cyclic then % is a module isomorphism.

Clifford and Weyl algebra for a Hecke braid considered by Hayashi [1990] and by Oziewicz [1995] and spinors for a Hecke braid introduced in [Bautista et al. 1996] are included in the theory presented here. Clifford algebra of [1] is defined for Hecke braid σ ∈ End(V

⊗2

) (where V ≡ W ⊕ W

is a finite-dimensional space) admitting extensions to braidings between W and W

, so that the contraction map is a σ-morphism. If V ≡ W ⊕ W

then a form F and a braid σ on V are expressible in terms of the extended braiding τ and the contraction map.

In the classical theory spinors can be equivalently viewed as elements of the left C`(V, σ, F )-ideal, generated by a volume element of V

2

< V ≡ V

1

⊕ V

2

. A similar descrip- tion is possible in the braided geometry if an external algebra (V

2

)

admits a volume ele- ment. A form ω ∈ V

(σ) is said to be a volume on V

(σ) if V

ω = 0. Let ω be a volume on V

2

. Then a left C`(V, σ, F )-ideal gen ω is isomorphic to S as a left C`(V, σ, F )-module.

References

[1] R. B a u t i s t a, A. C r i s c u o l o, M. Du r d e v i´ c, M. R o s e n b a u m and J.D. V e r g a r a, Quan- tum Clifford algebras from spinor representations, J. Math. Phys. (1996), to appear.

[2] N. B o u r b a k i, Alg´ ebre, chap. 9: formes sesquilin´ earies et formes quadratiques, Paris, Hermann, 1959.

[3] E. C a r t a n, The Theory of Spinors, Dover Pub., New York, 1966. ´

[4] A. C r u m e y r o l l e, Orthogonal and Symplectic Clifford Algebras. Spinor Structures, Math- ematics and its Applications vol. 57, Kluwer Academic Publishers, 1990.

[5] M. D u r d e v i´ c, Braided Clifford algebras as braided quantum groups, Adv. Apppl. Cliff.

Algebras 4 (2) (1994), 145–156.

[6] M. Du r d e v i´ c, Generalized braided quantum groups, Isr. J. Math. (1996), to appear.

[7] T. H a y a s h i, Q-analogues of Clifford and Weyl algebras - spinor and oscilator represen- tations of quantum enveloping algebras, Commun. Math. Phys. 127 (1990), 129–144.

[8] S. M a j i d, Braided groups and algebraic quantum field theories, Lett. Math. Phys. 22 (1991), 167–176.

[9] S. M a j i d, Braided groups, J. Pure and Applied Algebra 86 (1993), 187–221.

[10] S. M a j i d, Transmutation theory and rank for quantum braided groups, Math. Proc.

Camb. Phil. Soc. 113 (1993), 45–70.

[11] S. M a j i d, Free braided differential calculus, braided binomial theorem and the braided exponential map, J. Math. Phys. 34 (1993), 4843–4856.

[12] S. M a j i d, Foundations of Quantum Group Theory, Cambridge University Press 1995.

[13] Z. O z i e w i c z, E. P a a l and J. R ´ o ˙z a ´ n s k i, Derivations in braided geometry , Acta Physica Polonica B 26 (7) (1995), 1253–1273.

[14] Z. O z i e w i c z, Clifford algebra for Hecke braid, in: Clifford Algebras and Spinor Structures,

R. Ablamowicz and P. Lounesto (ed.), Mathematics and Its Applications vol. 321, Kluwer

Academic Publishers, Dordrecht 1995, pp. 397-411.

(11)

[15] S. S h n i d e r and S. S t e r n b e r g, Quantum Groups, from coalgebras to Drinfeld algebras a guided tour, International Press Incorporated, Boston, 1993.

[16] M. E. S w e e d l e r, Hopf Algebras, Benjamin, Inc., New York, 1969.

[17] S. L. W o r o n o w i c z, Differential calculus on compact matrix pseudogroups (quantum

groups), Commun. Math. Phys. 122 (1989), 125–170.

Cytaty

Powiązane dokumenty

The second application, is an op- erational version of CACTus that scans in real time, the last available LASCO images for recent CMEs.. Key words: Sun: corona, Sun:

Other graphs with one vertex of valency four, one isolated vertex and with- out any pendent vertices are obtained by adding one or more cycle compo- nents to F 1 or to graph

The paper provides a proof of a combinatorial result which pertains to the characterization of the set of equations which are solvable in the composition monoid of all partial

In this note we consider a certain class of convolution operators acting on the L p spaces of the one dimensional torus.. We prove that the identity minus such an operator is

Theorem 2.. One cannot hope to prove a statement similar to Theorem 2 for purely atomic measures. The main difficulty is that this operator is not globally invertible. [G], [Ba]

Abstract. Neutral differential equations are studied. Sufficient conditions are ob- tained to have oscillatory solutions or nonoscillatory solutions. For the existence of solu-

We consider the first initial-boundary value problem for the 2-D Kura- moto–Sivashinsky equation in a unit disk with homogeneous boundary conditions, peri- odicity conditions in

Key words and phrases : noncommutative geometry, quantum group, braided group, gauge theory, fiber bundle, connection, bosonisation.. 1 Royal Society University Research Fellow