9 views

Uploaded by Joaokaa

save

- N.I. Stoilova and J. Van der Jeugt- Parabosons, parafermions, and explicit representations of infinite-dimensional algebras
- Number System
- Laplace Transformation Its Applications II Print
- Algebra Seminar
- math project
- Revision
- Base Plate Size Final
- GnanaOli_Jul2013
- UNCC 1997 Comprehensive Exam
- Chapter 1 part 1.4 HW with 2.2 factoring.pdf
- Sean T. Griffin G-edge Colored Planar Rook Algebra
- Integer
- Algebra_Apttitude
- OC4_K
- Category theory 2.pdf
- Chapter 1
- unit 3 calendar
- Breaking the Barrier of Trans- Actions Mining Inter-transaction Association Rules1
- Answer Ps1
- Sequences and Series_Solutions
- NCERT Solutions Class 12 Maths Chapter 11 Three Dimensional Geometry
- Alternating Split of a Given Singly Linked List
- Lecture Notes Numerical Integration
- A. Huseynov, G.S. Guseinov
- Functions of More Than One Variable
- Maths HSC paper
- mat089syllabus-spring2018
- INTEGERS Handouts
- Relational Algebra
- HW8s
- Alex Kaivarainen- Virtual Replica of Matter in Bivacuum & Possible Mechanism of Distant Mind - Matter and Mind - Mind Interaction
- Matti Pitkanen- Mathematical Aspects of Consciousness Theory
- Alex Kaivarainen- Unified Model of Bivacuum, Particles Duality, Electromagnetism, Gravitation & Time: The Superfluous Energy of Asymmetric Bivacuum
- Alex Kaivarainen- Unified Theory of Bivacuum, Particles Duality, Fields & Time: New Bivacuum Mediated Interaction, Overunity Devices, Cold Fusion & Nucleosynthesis
- Alex Kaivarainen- New Hierarchic Theory of Water and its Role in Biosystems: The Quantum Psi Problem
- Alex Kaivarainen- New Resonant Bivacuum Mediated Interaction, as a Possible Explanation of Psi Phenomena
- Alex Kaivarainen- Unified Theory of Bivacuum, Particles Duality, Fields and Time: New Bivacuum-Mediated Nonlocal Interaction
- Alex Kaivarainen- Unified Theory of Bivacuum, Particles Duality, Time & Fields: Bivacuum Mediated Interaction, as a Bridge between Normal and Paranormal
- Alex Kaivarainen- Dynamic Model of Wave-Particle Duality and Superunification
- Richard L. Amoroso and Elizabeth A. Rauscher- The Physical Origin of Subtle Energies: The Principle Of Self-Organization Driving Living Systems
- Richard L. Amoroso and Elizabeth A. Rauscher- The Holographic Anthropic Multiverse: Formalizing the Complex Geometry of Reality
- Alex Kaivarainen- Bivacuum, as a Matrix for Matter, Fields & Time Origination: Virtual Pressure Waves, Virtual Replicas and Overunity Devices
- Richard L. Amoroso- A Brief Introduction to Noetic Field Theory: The Quantization of Mind
- Alex Kaivarainen- The Hierarchic Theory of Liquids and Solids: Computerized Applications for Ice, Water, and Biosystems
- Richard L. Amoroso- An Introduction to Noetic Field Theory: The Quantization of Mind
- Oscar Arratia, Francisco J. Herranz and Mariano A. del Olmo- Bicrossproduct structure of the null-plane quantum Poincare algebra
- Masehito Hasegawa- A quantum double construction in Rel
- L. Delvaux, A. Van Daele and S.H. Wang- Bicrossproducts of multiplier Hopf algebras
- Matti Pitkanen- The Notion of Wave-Genome and DNA as Topological Quantum Computer
- Matti Pitkanen- Quantum Hardware of Living Matter
- Edwin Beggs- Quasitriangular and Differential Structures on Bicrossproduct Hopf Algebras
- Matti Pitkanen- Magnetospheric Consciousness
- S. Majid- The Quantum Double as Quantum Mechanics
- Matti Pitkanen- Genes and Memes
- Matti Pitkanen- TGD and Fringe Physics
- Matti Pitkanen- TGD Universe as a Conscious Hologram
- Matti Pitkanen- Bio-Systems as Self-Organizing Quantum Systems
- J. A. de Azcarraga, M.A. del Olmo, J.C. Perez Bueno and M. Santander- Graded Contractions and Bicrossproduct Structure of Deformed Inhomogeneous Algebras
- Matti Pitkanen- TGD and EEG
- F. Ngakeu, S. Majid and J-P. Ezin- Cartan Calculus for Quantum Differentials on Bicrossproducts

r

X

i

v

:

m

a

t

h

/

0

3

0

7

2

5

5

v

2

[

m

a

t

h

.

R

A

]

1

2

D

e

c

2

0

0

4

Duality Theorem and Drinfeld Double in Braided

Tensor Categories

∗

Shouchuan Zhang

Department of Mathematics, Hunan University, Changsha 410082, P.R.China

E-mail:z9491@yahoo.com.cn

Abstract

Let H be a ﬁnite Hopf algebra with C

H,H

= C

−1

H,H

. The duality theorem is shown

for H, i.e.,

(R#H)#H

ˆ∗

∼

= R ⊗(H

¯

⊗H

ˆ∗

) as algebras in C.

Also, it is proved that the Drinfeld double (D(H), [b]) is a quasi-triangular Hopf

algebra in C.

2000 Mathematics subject Classiﬁcation: 16w30.

Keywords: Hopf algebra, braided tensor category, duality theorem, Drinfeld double.

1 Introduction and Preliminaries

It is well-known that in the work of C

∗

-algebras and von Neumann algebras, for an abelian

group G,the product of R crossed by G crossed by

ˆ

G is isomorphic to the tensor product

of R and the compact operator. Its generalization to Hopf-von Neumann algebras was

known again.( see, for example, Stratila [13]). Blattner and Montgomery strip oﬀ the

functional analysis and duplicate the result at the level of Hopf algebras (see [2] and [11]).

They proved that for an ordinary Hopf algebra H and some subalgebra U of H

∗

,

(R#H)#U

∼

= R ⊗(H#U) as algebras .

The basic construction of the Drinfeld double is due to Drinfeld [4]. S.Majid [7] and

D.E.Radiford [12] modiﬁed the treatment.

In this paper, we generalize the duality theorem and Drinfeld double into the braided

case, i.e., for a ﬁnite Hopf algebra H with C

H,H

= C

−1

H,H

, we show that

(R#H)#H

ˆ∗

∼

= R ⊗(H

¯

⊗H

ˆ∗

) as algebras in C

We also show that the Drinfeld double (D(H),[b]) is a quasi-triangular Hopf algebra in C.

∗

This work is supported by National Science Foundation (No. 19971074)

1

In this paper, (C, ⊗, I, C) is always a braided tensor category, where I is the identity

object and C is the braiding.

By [16, Theorem 0.1], we can view every braided tensor category as a strict braided

tensor category.

For an object V in C, if there exists an object U and morphisms : d

V

: U ⊗ V →

I and b

V

: I → V ⊗ U in C such that (d

V

⊗ id

U

)(id

U

⊗ b

V

) = id

U

and (id

V

⊗

d

V

)(b

V

⊗id

V

) = id

V

, then U is called a left dual of V, written as V

∗

. In this case, d

V

and

b

V

are called the evaluation morphism and coevaluation morphism of V , respectively. In

general, we use d and b instead of d

V

and b

V

. Furthermore, V is said to be ﬁnite if V has

a left dual (see [15] ).

Let us deﬁne the transpose f

∗

= (d ⊗id

U

∗)(id

V

∗ ⊗f ⊗id

U

∗)(id

V

∗ ⊗b) : V

∗

→ U

∗

of a

morphism f : U → V .

Let ∆

cop

= C

H,H

∆ and m

op

= mC

H,H

. We denote (H, ∆

cop

, ǫ) by H

cop

and (H, m

op

, η)

by H

op

. Furthermore we denote ((H

∗

)

op

)

cop

by H

ˆ∗

.

A bialgebra (H, R,

¯

∆) with convolution-invertible R in Hom

C

(I, H ⊗ H) is called a

quasi-triangular bialgebra in C if (H,

¯

∆, ǫ) is a coalgebra and the following conditions are

satisﬁed:

(QT1) (

¯

∆⊗id)R = (id ⊗id ⊗m)(id ⊗R ⊗id)R;

(QT2) (id ⊗∆)R = (m⊗id ⊗id)(id ⊗R ⊗id)R;

(QT3) (m⊗m)(id ⊗C

H,H

⊗id)(

¯

∆⊗R) = (m⊗m)(id ⊗C

H,H

⊗id)(R ⊗∆).

In this case, we also say that (H, R,

¯

∆) is a braided quasi-triangular bialgebra.

Dually, we can deﬁne a coquasi-triangular bialgebra (H, r, ¯ m) in the braided tensor

category C .

In particular, we say that (H, R) is quasi-triangular if (H, R, ∆

cop

) is quasi-triangular.

Dually, we say that (H, r) is coquasi-triangular if (H, r, m

op

) is coquasi-triangular.

A morphism τ from H⊗A to I in C is called a skew pairing on H⊗A if the following

conditions are satisﬁed:

(SP1): τ(m⊗id) = τ(id ⊗τ ⊗id)(id ⊗id ⊗∆) ;

(SP2): τ(id ⊗m) = (τ ⊗τ)(id ⊗C

H,A

⊗id)(∆⊗id ⊗id);

(SP3):τ(id ⊗η) = ǫ

H

;

(SP4):τ(η ⊗id) = ǫ

A

.

If a morphism τ from V ⊗W to I in C satisﬁes

(id

U

⊗τ)(C

V,U

⊗id

W

) = (τ ⊗id

U

)(id

V

⊗C

U,W

)

for U = V, W, then τ is said to be symmetric with respect to the braiding C .

Lemma 1.1 If H has a left dual H

∗

, then the following conditions are equivalent:

(i) The evaluation of H is symmetric with respect to the braiding C.

(ii) C

U,V

= C

−1

V,U

for U, V = H or H

∗

.

(iii) C

H,H

= C

−1

H,H

.

(iv) C

H

∗

,H

∗ = C

−1

H

∗

,H

∗.

(v) (id

H

⊗d)(C

H

∗

,H

⊗id

H

) = (d ⊗id

H

)(id

H

∗ ⊗C

H,H

).

(vi) (id

H

∗ ⊗d)(C

H

∗

,H

∗ ⊗id

H

) = (d ⊗id

H

∗)(id

H

∗ ⊗C

H

∗

,H

).

2

Proof. It is straightforward.

2 The Duality Theorem

In this section, we obtain the duality theorem for Hopf algebras living in the braided

tensor category C.

Throughout this section, H is a ﬁnite Hopf algebra with C

H,H

= C

−1

H,H

living in

C. (R, α) is a left H-module algebra in C and R#H is the smash product in C. Let

H

ˆ∗

= ((H

∗

)

op

)

cop

.

The proof of Lemmas 2.1 —2.7 is very similar to that of correspending results in [11].

Lemma 2.1 If (R, α) is an H-module algebra, let φ = (id⊗α)(b

′

⊗id) : R → H

∗ op

⊗R,

where b

′

= C

H,H

∗ opb. Then

φm = (m⊗m)(id ⊗C

R,H

∗ op ⊗id)(φ ⊗φ).

Lemma 2.2 (1) (H, ⇀) is a left H

ˆ∗

-module algebra under the module operation ⇀ =

(id ⊗d)(C

H

ˆ ∗

,H

⊗id)(id ⊗∆).

(2) (H

ˆ∗

, ⇀) is a left H-module algebra under the module operation ⇀ = (id ⊗d)(id ⊗

C

H,H

ˆ ∗)(C

H,H

ˆ ∗ ⊗id)(id ⊗∆).

(3) (H, ↼) is a right H

ˆ∗

-module algebra under the module operation ↼ = (d ⊗

id)(C

H,H

ˆ ∗ ⊗id)(id ⊗C

H,H

ˆ ∗)(∆⊗id).

(4) (H

ˆ∗

, ↼) is a right H-module algebra under the module operation ↼ = (d⊗id)(id⊗

C

H

ˆ ∗

,H

)(∆⊗id).

Lemma 2.3 The object H ⊗ H

ˆ∗

becomes an algebra, written as H

¯

⊗H

ˆ∗

, under the

multiplication m

H

¯

⊗H

ˆ ∗ = (id

H

⊗d ⊗id

H

ˆ ∗) and unity η

H

¯

⊗H

ˆ ∗ = b.

In fact, if C is a braided tensor category determined by the (co)quasi-triangular struc-

ture of a (co)quasi-triangular Hopf algebra over a ﬁeld k, then H

¯

⊗H

ˆ∗

can be viewed as

End

k

(H) or M

n

(k) = {A | A is an n ×n matrix over the ﬁeld k}.

Lemma 2.4 Let λ = (m⊗d ⊗id)(id ⊗C

H

ˆ ∗

,H

⊗id ⊗id)(id ⊗id ⊗∆⊗id)(id ⊗id ⊗b)

and ρ = (d⊗m⊗id)(id⊗id⊗C

H,H

⊗id)(id⊗C

H,H

⊗id⊗id)(id⊗id⊗∆⊗id)(id⊗id⊗b).

Then λ is an algebra morphism from H#H

ˆ∗

to H

¯

⊗H

ˆ∗

and ρ is an anti-algebra morphism

from H

ˆ∗

#H to H

¯

⊗H

ˆ∗

.

Lemma 2.5 The following relation holds: m(λ⊗ρ) = m(ρ⊗λ)(id⊗ ⇀ ⊗ ↼ ⊗id)(id⊗

C

H,H

ˆ ∗ ⊗C

H

ˆ ∗

,H

⊗id)(id⊗id⊗C

H

ˆ ∗

,H

ˆ ∗ ⊗id⊗id)(id⊗C

H

ˆ ∗

,H

⊗C

H,H

ˆ ∗ ⊗id)(C

H

ˆ ∗

,H

ˆ ∗ ⊗id⊗id⊗

C

H

ˆ ∗

,H

ˆ ∗)(S ⊗id ⊗id ⊗id ⊗id ⊗id)(∆⊗id ⊗id ⊗∆)(id ⊗C

H,H

⊗id)(C

H,H

ˆ ∗ ⊗C

H

ˆ ∗

,H

)(id ⊗

C

H

ˆ ∗

,H

ˆ ∗ ⊗id).

Lemma 2.6 If the antipode of H is invertible, then λ is invertible.

3

Lemma 2.7 R#H becomes an H

∗

-module algebra under the module operation ⇀

′

=

(id⊗ ⇀)(C

H

ˆ ∗

,R

⊗id).

Theorem 2.8 If H is a ﬁnite Hopf algebra with C

H,H

= C

−1

H,H

, then

(R#H)#H

ˆ∗

∼

= R ⊗(H

¯

⊗H

ˆ∗

) as algebras in C,

Where H

¯

⊗H

ˆ∗

is deﬁned in Lemma 2.3.

Proof. We ﬁrst deﬁne a morphism w from H

ˆ∗

to H#H

ˆ∗

such that w = λ

−1

ρ(S

−1

⊗

η

H

); this can be done by Lemma 2.6 and [15, Theorem 4.1] . Since ρ and S

−1

are anti-

algebra morphisms, w is an algebra morphism. Set φ = (id ⊗α)(C

H,H

ˆ ∗ ⊗id)(b ⊗id).

We now deﬁne a morphism Φ = (id⊗m

H#H

ˆ ∗)(id⊗w⊗id⊗id)(C

H

ˆ ∗

,R

⊗id⊗id)(φ⊗id⊗id)

from (R#H)#H

ˆ∗

to R ⊗ (H

¯

⊗H

ˆ∗

) and a morphism Ψ = (id ⊗ m

H#H

ˆ ∗)(id ⊗ w ⊗ id ⊗

id)(C

H

ˆ ∗

,R

⊗id ⊗id)(S ⊗id ⊗id ⊗id)(φ ⊗id ⊗id) from R⊗(H

¯

⊗H

ˆ∗

) to (R#H)#H

ˆ∗

. It

is straightforward to verify that ΦΨ = id and ΨΦ = id.

To see that Φ is an algebra morphism, we only need to show that Φ

′

= (id ⊗λ)Φ is an

algebra morphism. Set ξ = (id ⊗ ρ)(S

−1

⊗ η

H

)C

H

ˆ ∗

,R

φ , which is a morphism from R to

R ⊗ (H

¯

⊗H

ˆ∗

). We have that ξ is an algebra morphism and Φ

′

= (id ⊗ m)(ξ ⊗ λ). Using

Lemma 2.5, we can show that (id ⊗m)(C

H

¯

⊗H

ˆ ∗

,R

⊗id)(λ ⊗ξ) = (id ⊗m)(ξ ⊗λ)(α ⊗id ⊗

id)(id ⊗ C

H,R

⊗ id)(id ⊗ id ⊗ C

H

ˆ ∗

,R

)(∆ ⊗ id ⊗ id). Applying this, we see that Φ

′

is an

algebra morphism.

3 Drinfeld Double

In this section, we construct the Drinfeld double D(H) for a ﬁnite Hopf algebra H with

C

H,H

= C

−1

H,H

in the braided tensor category C. We show that (D(H), [b]) is quasi-

triangular.

Theorem 3.1 Let H and A be two bialgebras in C. Assume that τ is an invertible

skew pairing on H ⊗ A and symmetric with respect to the braiding. If we deﬁne α =

(τ ⊗ id ⊗ ¯ τ)(id ⊗ id ⊗ C

H,A

⊗ id)(id ⊗ C

H,A

⊗ ∆)(∆ ⊗ ∆) and β = (τ ⊗ id ⊗ ¯ τ)(id ⊗

C

H,A

⊗id ⊗id)(∆⊗C

H,A

⊗id)(∆⊗∆), then the double cross product A

α

⊲⊳

β

H, deﬁned

in [16, P36]), of A and H is an algebra and a coalgebra. If A and H are Hopf algebras,

then A

α

⊲⊳

β

H has an antipode. Furthermore, A

α

⊲⊳

β

H is a bialgebra if and only if

C

A,H

C

H,A

= id.

Proof. We can check that (A, α) is an H-module coalgebra and (H, β) is an A-module

coalgebra step by step. We can also check that (M1)–(M3) in [16, P36–37] hold step by

step. Consequently, it follows from [16, Corollary 1.8 , Theorem 1.5] that A

α

⊲⊳

β

H is

an algebra and a coalgebra. Observing the proof of [16, Theorem 1.5], we know that the

condition (M4) is not needed in the proof. Consequently, A

α

⊲⊳

β

H has an antipode.

From [1, Proposition 3.6], we obtain our last assertion.

In this case, A

α

⊲⊳

β

H can be written as A ⊲⊳

τ

H and called a double cross product.

4

Theorem 3.2 Let H be a ﬁnite Hopf algebra with C

H,H

= C

−1

H,H

. Set A = (H

∗

)

op

and

τ = d

H

C

H,A

. Then (D(H), [b]) is a quasi-triangular Hopf algebra in C with [b] = η

A

⊗b⊗η

H

and D(H) = A ⊲⊳

τ

H, called the Drinfeld double of H.

Proof. Using [8, Proposition 2.4] or the deﬁnition of the evaluation and coevaluation

on tensor product, we can obtain that τ is a skew pairing on H ⊗ A and [b] satisﬁes

(QT1) and (QT2). For (QT3), see that (m ⊗ m)(id ⊗ C

D(H),D(H)

⊗ id)(∆

cop

⊗ [b]) =

(id⊗id⊗m⊗id)(id⊗C

A,H

⊗id⊗id)(id⊗id⊗m×id⊗id)(id⊗id⊗id⊗m×id⊗id)(id⊗

id⊗id⊗id⊗m×id⊗id)(C

A,A

⊗id⊗id⊗C

H,H

×C

H,A

)(id⊗id⊗id⊗C

H,H

⊗C

H,H

⊗id)(id⊗

id ⊗C

H,H

⊗C

H,H

⊗b)(id ⊗id ⊗id ⊗C

H,H

⊗S

−1

)(∆⊗∆⊗C

H,H

)(id ⊗∆⊗id)(id ⊗∆) =

(id⊗C

A,H

⊗id)(id⊗m⊗id⊗id)(C

A,A

⊗C

H,A

⊗id)(id⊗id⊗m⊗id⊗id)(id⊗id⊗C

H,H

⊗

C

H,A

)(id ⊗id ⊗id ⊗C

H,H

⊗id)(∆⊗∆⊗b) and (m⊗m)(id ⊗C

D(H),D(H)

⊗id)([b] ⊗∆) =

(id⊗m⊗id⊗id)(C

H,A

⊗C

A,H

⊗id)(id⊗id⊗m⊗id⊗id)(id⊗id⊗m⊗id⊗id⊗id)(id⊗id⊗

m⊗id⊗id⊗id⊗id)(id⊗C

A,A

⊗id⊗S⊗id⊗id⊗id)(id⊗id⊗C

A,A

⊗id⊗id⊗id⊗id)(id⊗

C

A,A

⊗∆⊗id⊗id⊗id)(b⊗∆⊗id⊗id⊗id)(∆⊗∆) = (id⊗C

A,H

⊗id)(id⊗m⊗id⊗id)(C

A,A

⊗

C

H,A

⊗id)(id⊗id⊗m⊗id⊗id)(id⊗id⊗C

H,H

⊗C

H,A

)(id⊗id⊗id⊗C

H,H

⊗id)(∆⊗∆⊗b).

Thus (QT3) holds.

In fact, there exists a very closed relation between the Drinfeld double D(H) deﬁned

in Theorem 3.2 and the Drinfeld double D(H) deﬁned in [3]. Since C

H

∗

,H

: D(H) =

H

∗op

⊲⊳

τ

H −→ D(H

op

) = H

op

⊲⊳

d

H

∗

is an anti-algebra isomorphism and a coalgebra

isomorphism, we have D(H)

∼

= D(H

op

)

op

as Hopf algebras in C.

4 Example

In this section, using preceding conclusions, we give some examples for the duality theorem

and Drinfeld double in a braided tensor category C.

Proposition 4.1 (See [6, Deﬁnition 2.8 (R2)]) A χ-Hopf algebra H is a Hopf algebra

living in the braided tensor category (

kG

M, C

r

), where r(g, h) = v

χ(g,h)

for any g, h ∈ G;

χ is a map from G ×G to Z with χ(a, b) = χ(b, a) and χ(a + b, c) = χ(a, c) + χ(b, c) for

any a, b, c ∈ G.

It follows from the preceding proposition and [6, Ex. 2.12, Section 3] that Lusztig’s

algebra

′

f, the twisted Ringel-Hall algebra and Ringel’s composition algebra are all Hopf

algebras in braided tensor categories.

Example 4.2 The bilinear map τ, deﬁned in [5, Pro. 1.2.3], of Lusztig’s algebra

′

f

is symmetric with respect to the braiding.

Proof. For any homogeneous elements x, y, z ∈

′

f, we have that (τ ⊗id)(id⊗C ′

f,

′

f

)(x⊗

y ⊗z) = τ(x, z)v

|y|·|z|

δ

|x|,|z|

= τ(x, z)v

|y|·|x|

δ

|x|,|z|

= (id ⊗τ)(C ′

f,

′

f

⊗id)(x ⊗y ⊗z).

5

Example 4.3 (see [9, Example 9.4.9]) The evaluation of the braided group analogue

H of an ordinary coquasi-triangular cocommutative Hopf algebra (H, r) is symmetric with

respect to braiding C

r

. In particular, the above conclusion holds for H = kG.

Proof. It is straightforward.

Example 4.4 Let H denote Lusztig’s algebra

′

f. If A =

′

f

op

, then the bilinear map

τ as in Example 4.2 is a skew pairing on H ⊗ A and symmetric with respect to the

braiding. Thus, by Theorem 3.1, A ⊲⊳

τ

H is an algebra and a coalgebra with an antipode

in (

kZ[I]

M, C

r

), but it is never a bialgebra in (

kZ[I]

M, C

r

) since C

A,H

C

H,A

= id.

It has been known that the category of comodules of every ordinary coquasi-triangular

Hopf algebra is a braided tensor category. For example, let H = CZ

n

and r(a, b) = (e

2πi

n

)

ab

for any a, b ∈ Z

n

, where C is the complex ﬁeld. It is clear that (CZ

n

, r) is a coquasi-

triangular Hopf algebra. Thus, (

CZn

M, C

r

) is a braided tensor category, usually written

as C

n

. Every algebra or Hopf algebra living in C

n

is called an anyonic algebra or anyonic

Hopf algebra (see [9, Example 9.2.4]). Every algebra or Hopf algebra living in C

2

is called a

superalgebra or super-Hopf algebra. In particular, C

n

is a strictly braided tensor category

when n > 2.

It follows from Theorem 3.2 that

Corollary 4.5 (Duality Theorem) Let H be a ﬁnite dimensional Hopf algebra with

C

H,H

= C

−1

H,H

in (C, C). Then

(R#H)#H

ˆ∗

∼

= M

n

(R) as algebras in (C, C)

in the following three cases:

(i) (C, C) is the braided tensor category (

B

M, C

R

) determined by the quasi-triangular

structure R;

(ii) (C, C) is the braided tensor category (

B

M, C

r

) determined by the coquasi-triangular

structure r

(iii) (C, C) is the braided tensor category

B

B

YD or

B

YD

B

of Yetter-Drinfeld modules.

Example 4.6 (see [10] ) Let A denote the anyonic line algebra, i.e., A = C{x}/x

n

,

where C{x} is a free algebra over the complex ﬁeld C and x

n

is an ideal generalized

by x

n

of C{x}. Set C[ξ] = C{x}/x

n

with ξ

n

= 0. Its comultiplication, counit, and

antipode are

∆(ξ) = ξ ⊗1 + 1 ⊗ξ, ǫ(ξ) = 0, and S(ξ) = −ξ,

respectively. It is straightforward to check that H is an anyonic Hopf algebra. Let H

denote the braided group analogue CZ

n

of CZ

n

. Since CZ

n

is commutative, we have

C

CZn,CZn

= C

−1

CZn,CZn

. Let H act on A trivially. By Corollary 4.5, we have

(C[ξ]#CZ

n

)#(CZ

n

)

ˆ∗

∼

= M

n

(C[ξ]) as algebras in (

CZ

n

M, C

r

).

By the way, we also have that the Drinfeld double of CZ

n

is quasi-triangular in

(

CZ

n

M, C

r

) with the quasi-triangular structure [b].

6

Acknowledgement The author thanks the referee and the editor for valuable sug-

gestions.

References

[1] Y. Bespalov and B.Drabant, Cross product bialgebras, I, J. algebra, 219 (1999),

466–505.

[2] R. J. Blattner and S. Montgomery, A duality theorem for Hopf module algebras, J.

algebra, 95 (1985), 153–172.

[3] H.X.Chen, Quantum double in monoidal categories, Comm.Algebra, 28 (2000)5,

2303–2328.

[4] V. G. Drinfeld, Quantum groups, in “Proceedings International Congress of Mathe-

maticians, August 3-11, 1986, Berkeley, CA” pp. 798–820, Amer. Math. Soc., Prov-

idence, RI, 1987.

[5] G.Lusztig, Introduction to Quantum Groups, Progress on Math., Vol.110,

Birkhauser, Berlin, 1993.

[6] L.Li and P.Zhang, Twisted Hopf algebras, Ringel-Hall algebras and Green’s ca

tegories, J.Algebra, 231(2000), P713–743.

[7] S. Majid, Physics for algebraists: Non-commutative and non-cocommutative Hopf

algebras by a bicrossproduct construction, J.Algebra 130 (1990), 17–64.

[8] S. Majid, Algebras and Hopf algebras in braided categories, Lecture notes in pure

and applied mathematics advances in Hopf algebras, Vol. 158, edited by J. Bergen

and S. Montgomery, Marcel Dekker, New York, 1994, 55–105.

[9] S. Majid, Foundations of Quantum Group Theory, Cambridge University Press,

Cambridge, 1995.

[10] S. Majid and M.J. Rodriguez Piaza, Random walk and the heat equation on super-

space and anyspace, J. Math. Phys., 35(1994) 7, 3753–3760.

[11] S. Montgomery, Hopf Algebras and Their Actions on Rings. CBMS Number 82,

AMS, Providence, RI, 1993.

[12] D. E. Radford, Minimal quasi-triangular Hopf algebras, J. algebra, 157 (1993),

281–315.

[13] S. Stratila, Modular Theory in Operator Algebras, Editura Academiei and Abacus

Press, Bucuresti, 1981.

[14] M.E.Sweedler, Hopf Algebras, Benjamin, New York, 1969.

7

[15] M. Takeuchi, Finite Hopf algebras in braided tensor categories , J.Pure and Applied

Algebra, 138(1999), 59-82.

[16] Shouchuan Zhang, Hui-Xiang Chen, The double bicrossproducts in braided tensor

categories, Communications in Algebra, 29(2001)1, P31–66.

8

5 Appendix

We denote the multiplication, comutiplication, antipode , braiding and inverse braiding

by

,

_¸

,

¸

¸

S

, and , respectively . In particular,

we denote C

U,V

by , for any U, V = H or H

∗

.

The proof of Lemma2.4

Proof.

H#H

ˆ∗

H#H

ˆ∗

¸

¸

λ

H

¯

⊗H

ˆ∗

=

H H

ˆ∗

H H

ˆ∗

_¸ _¸

_¸

.

¸

¸

⇀

H H

ˆ∗

=

H H

ˆ∗

H H

ˆ∗

_¸_¸ _¸

_¸

H H

ˆ∗

=

H H

ˆ∗

H H

ˆ∗

_¸_¸

_¸

_¸

_¸

H H

ˆ∗

and

9

H#H

ˆ∗

H#H

ˆ∗

¸

¸

λ

¸

¸

λ

H

¯

⊗H

ˆ∗

=

H H

ˆ∗

H H

ˆ∗

_¸

_¸

_¸

H H

ˆ∗

=

H H

ˆ∗

H H

ˆ∗

_¸

_¸

_¸_¸

H H

ˆ∗

=

H H

ˆ∗

H H

ˆ∗

_¸ _¸

_¸

_¸_¸

H H

ˆ∗

=

H H

ˆ∗

H H

ˆ∗

_¸_¸

_¸

_¸

_¸

H H

ˆ∗

=

H#H

ˆ∗

H#H

ˆ∗

¸

¸

λ

H

¯

⊗H

ˆ∗

.

Thus λ is an algebraic morphism.

Similarly, we can show that ρ is an anti-algebraic morphism.

The proof of Theorem 2.5.

10

H#H

ˆ∗

H

ˆ∗

#H

¸

¸

λ

¸

¸

ρ

H

¯

⊗H

ˆ∗

=

H H

ˆ∗

H

ˆ∗

H

_¸

¸

¸

S

_¸

.

¸

¸

⇀

.

¸

¸

↼

.

¸

¸

ρ .

¸

¸

λ

H

¯

⊗H

ˆ∗

. ......(1)

We show (1) by following ﬁve steps. It is easy to check the following (i) and (ii).

(i)

H#η

H

ˆ ∗ η

H

ˆ ∗#H

¸

¸

λ

¸

¸

ρ

H

¯

⊗H

ˆ∗

=

H#η

H

ˆ ∗ η

H

ˆ ∗#H

¸

¸

ρ

¸

¸

λ

H

¯

⊗H

ˆ∗

.

(ii)

η

H

#H

ˆ∗

H

ˆ∗

#η

H

¸

¸

λ

¸

¸

ρ

H

¯

⊗H

ˆ∗

=

η

H

#H

ˆ∗

H

ˆ∗

#η

H

¸

¸

ρ

¸

¸

λ

H

¯

⊗H

ˆ∗

.

11

(iii)

H

ˆ∗

#η

H

H

ˆ∗

#η

H

¸

¸

ρ

¸

¸

λ

H

¯

⊗H

ˆ∗

=

H

ˆ∗

η

H

H η

H

ˆ ∗

_¸

.

¸

¸

↼

.

¸

¸

ρ

.

¸

¸

λ

H

¯

⊗H

ˆ∗

.

In fact,the right side =

H

ˆ∗

η

H

H η

H

ˆ ∗

_¸

_¸

_¸

_¸

_¸

H H

ˆ∗

=

H

ˆ∗

H

_¸_¸

_¸

_¸

H H

ˆ∗

= the left side.

Thus (iii) holds.

12

(iv)

H#η

H

ˆ ∗ H

ˆ∗

#η

H

¸

¸

λ

¸

¸

ρ

H

¯

⊗H

ˆ∗

=

H

ˆ∗

η

H

ˆ ∗ H

ˆ∗

H

_¸

¸

¸

S

.

¸

¸

ρ

.

¸

¸

↼

.

¸

¸

λ

H

¯

⊗H

ˆ∗

.

The right side

by (iii)

=

H

ˆ∗

η

H

ˆ ∗ H

ˆ∗

η

H

_¸

¸

¸

S

.

¸

¸

↼

_¸

.

¸

¸

ρ

.

¸

¸

↼

.

¸

¸

λ

H

¯

⊗H

ˆ∗

=

H

ˆ∗

η

H

ˆ ∗ H

ˆ∗

η

H

_¸

_¸

_¸

¸

¸

S

_¸

.

¸

¸

↼ _¸

H H

ˆ∗

13

=

H H

ˆ∗

_¸_¸

_¸

¸

¸

S

_¸_¸

H H

ˆ∗

=

H H

ˆ∗

_¸

_¸

H H

ˆ∗

and

the left side =

H η

H

ˆ ∗ H

ˆ∗

η

H

_¸

_¸

_¸

H H

ˆ∗

=

H H

ˆ∗

_¸

_¸

H H

ˆ∗

.

Thus (iv) holds.

(v)

η

H

#H

ˆ∗

η

H

ˆ ∗#H

¸

¸

λ

¸

¸

ρ

H

¯

⊗H

ˆ∗

=

η

H

H

ˆ∗

η

H

ˆ ∗ H

_¸

.

¸

¸

λ

.

¸

¸

⇀

.

¸

¸

ρ

H

¯

⊗H

ˆ∗

.

14

In fact, the right side =

η

H

H

ˆ∗

η

H

ˆ ∗ H

_¸

_¸

_¸

_¸

_¸

H H

ˆ∗

=

H

ˆ∗

H

_¸_¸

_¸

_¸

H H

ˆ∗

and

the left side =

H

ˆ∗

H

_¸

_¸

H H

ˆ∗

=

H

ˆ∗

H

_¸

_¸_¸

H H

ˆ∗

15

=

H

ˆ∗

H

_¸

_¸

_¸_¸

H H

ˆ∗

=

H

ˆ∗

H

_¸_¸

_¸

_¸

`

H H

ˆ∗

= the right side.

Thus (v) holds.

Now we show that the relation (1) holds.

the left side of (1)

by Lemma1.4

=

H#η

H

ˆ ∗ η

H

#H

ˆ∗

H

ˆ∗

#η

H

η

H

ˆ ∗#H

¸

¸

λ

¸

¸

λ

¸

¸

ρ

¸

¸

ρ

H

¯

⊗H

ˆ∗

16

by (v)

=

H#η

H

ˆ ∗ η

H

H

ˆ∗

H

ˆ∗

#η

H

η

H

ˆ ∗ H

¸

¸

λ

¸

¸

ρ

_¸

.

¸

¸

λ

.

¸

¸

⇀

.

¸

¸

ρ

H

¯

⊗H

ˆ∗

by (i)(ii)

=

H η

H

ˆ ∗ η

H

H

ˆ∗

H

ˆ∗

η

H

η

H

ˆ ∗ H

_¸

.

¸

¸

⇀

.

¸

¸

ρ .

¸

¸

λ

.

¸

¸

ρ .

¸

¸

λ

H

¯

⊗H

ˆ∗

17

by (iv)

=

H η

H

ˆ ∗ η

H

H

ˆ∗

H

ˆ∗

η

H

η

H

ˆ ∗ H

_¸

.

¸

¸

⇀

.

¸

¸

λ

.

¸

¸

ρ

_¸

¸

¸

S

.

¸

¸

ρ

.

¸

¸

↼

.

¸

¸

λ

H

¯

⊗H

ˆ∗

by Lemma1.4

=

H H

ˆ∗

H

ˆ∗

H

_¸

.

¸

¸

⇀

_¸

¸

¸

S

.

¸

¸

ρ .

¸

¸

↼

.

¸

¸

λ

H

¯

⊗H

ˆ∗

18

=

H H

ˆ∗

H

ˆ∗

H

_¸ _¸

¸

¸

S

.

¸

¸

⇀

.

¸

¸

↼

.

¸

¸

ρ .

¸

¸

λ

H

¯

⊗H

ˆ∗

= the right side of (1).

The proof of Theorem 2.8 .

(i)

Let

H

ˆ∗

¸

¸

w

H#H

ˆ∗

=

H

ˆ∗

η

H

¸

¸

¯

S

.

¸

¸

ρ

_

¸

λ

−1

H#H

ˆ∗

and

R

¸

¸

¸

φ

H

ˆ∗

R

=

R

¸

¸

¸

b

′

.

¸

¸

α

H

ˆ∗

R

=

R

_¸

.

¸

¸

α

H

ˆ∗

R

, where b

′

= C

H,H

∗b

H

.

We deﬁne

R ⊗(H#H

ˆ∗

)

¸

¸

Ψ

(R#H)#H

ˆ∗

=

R H H

ˆ∗

¸

¸

¸

φ

¸

¸

S

¸

¸

¸

w

_¸

.

¸

¸

⇀

R H H

ˆ∗

and

(R#H)#H

ˆ∗

¸

¸

Φ

R ⊗(H#H

ˆ∗

)

=

R H H

ˆ∗

¸

¸

¸

φ

¸

¸

¸

w

_¸

.

¸

¸

⇀

R H H

ˆ∗

.

19

We see that

ΨΦ =

R H#H

ˆ∗

¸

¸

¸

b

′ ¸

¸

¸

b

′

¸

¸

S

.

¸

¸

α

¸

¸

w

.

¸

¸

α

¸

¸

w

R H#H

ˆ∗

since w is algebraic

=

R H#H

ˆ∗

_¸

_¸

.

¸

¸

α

¸

¸

S

.

¸

¸

α

¸

¸

w

R H#H

ˆ∗

=

R H#H

ˆ∗

_¸_¸

¸

¸

S

¸

¸

w

.

¸

¸

α

R H#H

ˆ∗

=

R H#H

ˆ∗

_¸

_¸

.

¸

¸

α

¸

¸

S

¸

¸

w

R H#H

ˆ∗

=

R H#H

ˆ∗

R H#H

ˆ∗

.

Similarly, we have ΦΨ = id. Thus Φ is invertible.

Now we show that Φ is algebraic.

Let

(R#H)#H

ˆ∗

_

¸

Φ

′

R ⊗(H

¯

⊗H

ˆ∗

)

=

R η

H

H#H

ˆ∗

¸

¸

¸

b

′

¸

¸

¯

S

.

¸

¸

α

¸

¸

λ

.

¸

¸

ρ

R H

¯

⊗H

ˆ∗

.

It is clear that Φ = (id⊗λ

−1

)Φ

′

. Consequently, we only need show that Φ

′

is alegebraic.

20

Let

R

¸

¸

ξ

R ⊗(H

¯

⊗H

ˆ∗

)

=

R η

H

¸

¸

¸

b

′

¸

¸

¯

S

.

¸

¸

α

.

¸

¸

ρ

R H

¯

⊗H

ˆ∗

.

We have that

(R#H)#H

ˆ∗

_

¸

Φ

′

R ⊗(H

¯

⊗H

ˆ∗

)

=

R H#H

ˆ∗

¸

¸

¸

ξ

¸

¸

λ

R H

¯

⊗H

ˆ∗

.

We claim that

H H

ˆ∗

R

.

¸

¸

λ ¸

¸

¸

ξ

R H

¯

⊗H

ˆ∗

=

H H

ˆ∗

R

_¸

.

¸

¸

λ

¸

¸

¸

ξ

R H

¯

⊗H

ˆ∗

. ......(∗)

21

the left side =

H H

ˆ∗

R η

H

.

¸

¸

λ ¸

¸

¸

b

′

¸

¸

¯

S

.

¸

¸

α

.

¸

¸

ρ

R H

¯

⊗H

ˆ∗

by Lemma1.5(1)

=

H H

ˆ∗

R η

H

¸

¸

¸

b

′

¸

¸

¯

S

.

¸

¸

α

_¸ _¸

¸

¸

S

.

¸

¸

⇀

.

¸

¸

↼

.

¸

¸

ρ .

¸

¸

λ

R H

¯

⊗H

ˆ∗

22

=

H H

ˆ∗

R η

H

¸

¸

¸

b

′

¸

¸

¯

S

.

¸

¸

α

_¸

¸

¸

¯

S

.

¸

¸

ρ

.

¸

¸

↼

.

¸

¸

λ

R H

¯

⊗H

ˆ∗

=

H H

ˆ∗

R

¸

¸

¸

b

′

.

¸

¸

α

_¸

¸

¸

¯

S

.

¸

¸

↼

.

¸

¸

λ

_

¸

η

H

.

¸

¸

ρ

R H

¯

⊗H

ˆ∗

23

=

H H

ˆ∗

R

_¸

¸

¸

¸

b

′ ¸

¸

¸

b

′

.

¸

¸

α

.

¸

¸

λ

¸

¸

¯

S

_

¸

η

H

.

¸

¸

ρ

R H

¯

⊗H

ˆ∗

=

H H

ˆ∗

R

¸

¸

¸

b

′

_¸

.

¸

¸

α

.

¸

¸

λ

¸

¸

¯

S

_

¸

η

H

.

¸

¸

ρ

R H

¯

⊗H

ˆ∗

=

H H

ˆ∗

R

_¸

.

¸

¸

α

¸

¸

¸

b

′

.

¸

¸

α

¸

¸

¯

S

.

¸

¸

λ

_

¸

η

H

.

¸

¸

ρ

R H

¯

⊗H

ˆ∗

=

H H

ˆ∗

R

_¸

.

¸

¸

α

¸

¸

¸

ξ

.

¸

¸

λ

R H

¯

⊗H

ˆ∗

=

H H

ˆ∗

R

_¸

.

¸

¸

α

.

¸

¸

λ

¸

¸

¸

ξ

R H

¯

⊗H

ˆ∗

.

Thus relation (*) holds.

24

Next, we check that ξ is algebraic. We see that

R R

¸

¸

ξ

¸

¸

ξ

R ⊗(H

¯

⊗H

ˆ∗

)

=

R R

¸

¸

¸

φ

¸

¸

¸

φ

¸

¸

¯

S

¸

¸

¯

S

_

¸

η

H

_

¸

η

H

.

¸

¸

ρ .

¸

¸

ρ

R H

¯

⊗H

ˆ∗

=

R R

¸

¸

¸

φ

¸

¸

¸

φ

¸

¸

¯

S

¸

¸

¯

S

_

¸

η

H

.

¸

¸

ρ

R H

¯

⊗H

ˆ∗

=

R R

¸

¸

ξ

R ⊗(H

¯

⊗H

ˆ∗

)

and obviously

η

R

¸

¸

ξ

R ⊗(H

¯

⊗H

ˆ∗

)

=

η

R⊗(H

¯

⊗H

ˆ ∗

)

R ⊗(H

¯

⊗H

ˆ∗

)

.

Thus ξ is algebraic.

Now we show that Φ

′

is algebraic.

(R#H)#H

ˆ∗

(R#H)#H

ˆ∗

_

¸

Φ

′

_

¸

Φ

′

R ⊗(H

¯

⊗H

ˆ∗

)

=

R H H

ˆ∗

R H H

ˆ∗

¸

¸

¸

ξ

¸

¸

¸

ξ

.

¸

¸

λ

.

¸

¸

λ

R H

¯

⊗H

ˆ∗

25

=

R H H

ˆ∗

R H H

ˆ∗

¸

¸

¸

ξ

¸

¸

¸

ξ

.

¸

¸

λ

.

¸

¸

λ

R H

¯

⊗H

ˆ∗

by (*)

=

R H H

ˆ∗

R H H

ˆ∗

¸

¸

¸

ξ

_¸

.

¸

¸

λ

.

¸

¸

α

.

¸

¸

λ

¸

¸

¸

ξ

R H

¯

⊗H

ˆ∗

by Lemma1.4

=

R H H

ˆ∗

R H H

ˆ∗

¸

¸

¸

ξ

_¸

_¸

.

¸

¸

α

¸

¸

¸

ξ

.

¸

¸

⇀

.

¸

¸

λ

R H

¯

⊗H

ˆ∗

since ξ is algebraic

=

R H H

ˆ∗

R H H

ˆ∗

_¸

_¸

.

¸

¸

α

.

¸

¸

⇀

¸

¸

¸

ξ

.

¸

¸

λ

R H

¯

⊗H

ˆ∗

=

(R#H)#H

ˆ∗

(R#H)#H

ˆ∗

_

¸

Φ

′

R ⊗(H

¯

⊗H

ˆ∗

)

.

It is clear that

η

(R#H)#H

ˆ ∗

_

¸

Φ

′

R ⊗(H

¯

⊗H

ˆ∗

)

=

η

R⊗(H

¯

⊗H

ˆ ∗

)

R ⊗(H

¯

⊗H

ˆ∗

)

.

Thus Φ

′

is algebraic.

26

The proof of Lemma3.2.

D(H)

_

¸

∆

cop

_

¸

[b]

D(H) D(H)

=

A H η η

_¸_¸

_¸

_¸

_¸

_¸

_¸

.

¸

¸

τ

.

¸

¸

¯ τ

A H A H

=

A H

_¸_¸

_ ¸

_¸

_¸

_¸

_¸

.

¸

¸

τ

.

¸

¸

¯ τ

A H A H

=

A H

_¸ _¸_¸

_¸

_¸

¸

¸

¯

S

A H A H

=

A H

_¸_¸_¸

A H A H

27

and

D(H)

_

¸

[b]

_¸

D(H) D(H)

=

η η A H

_

¸

b

_¸_¸

_¸

_¸

_¸

_¸

.

¸

¸

τ

.

¸

¸

¯ τ

A H A H

=

A H

_ ¸

_¸_¸

_¸_¸

_¸

_¸

.

¸

¸

τ

.

¸

¸

¯ τ

A H A H

=

A H

_¸_¸

_¸_¸

_¸

¸

¸

S

A H A H

=

A H

_¸_¸_¸

A H A H

.

Thus

D(H)

_

¸

∆

cop

_

¸

[b]

D(H) D(H)

=

D(H)

_

¸

[b]

_¸

D(H) D(H)

.

28

We complete the proof.

Remark: If U and V have left dual U

∗

and V

∗

, respectively, then U

∗

⊗V

∗

and V

∗

⊗U

∗

both are the left duals of U ⊗V . Their evaluations and coevaluations are

d

U⊗V

= (d

U

⊗d

V

)(id

U

∗ ⊗C

V

∗

,U

⊗id

V

), b

U⊗V

= (id

U

⊗(C

V,U

∗)

−1

⊗id

V

∗)(b

U

⊗b

V

);

d

U⊗V

= d

V

(id

V

∗ ⊗d

U

⊗id

V

), b

U⊗V

= (id

U

∗ ⊗b

V

⊗id

U

)b

U

,

respectively. In this paper, we use the second. H

ˆ∗

is the left dual of H under the ﬁrst.

29

- N.I. Stoilova and J. Van der Jeugt- Parabosons, parafermions, and explicit representations of infinite-dimensional algebrasUploaded byKlim00
- Number SystemUploaded byArun Roxx
- Laplace Transformation Its Applications II PrintUploaded bySandun Iddamalgoda
- Algebra SeminarUploaded byManuManuela
- math projectUploaded byapi-338165809
- RevisionUploaded byWan Hafiz
- Base Plate Size FinalUploaded byRaju Shrestha
- GnanaOli_Jul2013Uploaded byMurali Sankaran
- UNCC 1997 Comprehensive ExamUploaded byanon_353986454
- Chapter 1 part 1.4 HW with 2.2 factoring.pdfUploaded byPho Nomenal
- Sean T. Griffin G-edge Colored Planar Rook AlgebraUploaded byAlcidess R Quispe
- IntegerUploaded byPRINTDESK by Dan
- Algebra_ApttitudeUploaded byRevathy Perumalsamy
- OC4_KUploaded byMax Mitchell
- Category theory 2.pdfUploaded byCătălin Bordea
- Chapter 1Uploaded bydiyah
- unit 3 calendarUploaded byapi-279974333
- Breaking the Barrier of Trans- Actions Mining Inter-transaction Association Rules1Uploaded byCuong Tran Van
- Answer Ps1Uploaded byFatmir Kelmendi
- Sequences and Series_SolutionsUploaded byscribd-in-action
- NCERT Solutions Class 12 Maths Chapter 11 Three Dimensional GeometryUploaded byVidyakul
- Alternating Split of a Given Singly Linked ListUploaded byakg299
- Lecture Notes Numerical IntegrationUploaded byAmbreen Khan
- A. Huseynov, G.S. GuseinovUploaded bylaputamadre1
- Functions of More Than One VariableUploaded byCarmela Marie Caldino Beloso
- Maths HSC paperUploaded byVardhaman Roman
- mat089syllabus-spring2018Uploaded byapi-277690945
- INTEGERS HandoutsUploaded byGelyn Lanuza
- Relational AlgebraUploaded byanmol6237
- HW8sUploaded byHuu Nguyen

- Alex Kaivarainen- Virtual Replica of Matter in Bivacuum & Possible Mechanism of Distant Mind - Matter and Mind - Mind InteractionUploaded byJoaokaa
- Matti Pitkanen- Mathematical Aspects of Consciousness TheoryUploaded byJoaokaa
- Alex Kaivarainen- Unified Model of Bivacuum, Particles Duality, Electromagnetism, Gravitation & Time: The Superfluous Energy of Asymmetric BivacuumUploaded byJoaokaa
- Alex Kaivarainen- Unified Theory of Bivacuum, Particles Duality, Fields & Time: New Bivacuum Mediated Interaction, Overunity Devices, Cold Fusion & NucleosynthesisUploaded byJoaokaa
- Alex Kaivarainen- New Hierarchic Theory of Water and its Role in Biosystems: The Quantum Psi ProblemUploaded byJoaokaa
- Alex Kaivarainen- New Resonant Bivacuum Mediated Interaction, as a Possible Explanation of Psi PhenomenaUploaded byJoaokaa
- Alex Kaivarainen- Unified Theory of Bivacuum, Particles Duality, Fields and Time: New Bivacuum-Mediated Nonlocal InteractionUploaded byJoaokaa
- Alex Kaivarainen- Unified Theory of Bivacuum, Particles Duality, Time & Fields: Bivacuum Mediated Interaction, as a Bridge between Normal and ParanormalUploaded byJoaokaa
- Alex Kaivarainen- Dynamic Model of Wave-Particle Duality and SuperunificationUploaded byJoaokaa
- Richard L. Amoroso and Elizabeth A. Rauscher- The Physical Origin of Subtle Energies: The Principle Of Self-Organization Driving Living SystemsUploaded byJoaokaa
- Richard L. Amoroso and Elizabeth A. Rauscher- The Holographic Anthropic Multiverse: Formalizing the Complex Geometry of RealityUploaded byJoaokaa
- Alex Kaivarainen- Bivacuum, as a Matrix for Matter, Fields & Time Origination: Virtual Pressure Waves, Virtual Replicas and Overunity DevicesUploaded byJoaokaa
- Richard L. Amoroso- A Brief Introduction to Noetic Field Theory: The Quantization of MindUploaded byJoaokaa
- Alex Kaivarainen- The Hierarchic Theory of Liquids and Solids: Computerized Applications for Ice, Water, and BiosystemsUploaded byJoaokaa
- Richard L. Amoroso- An Introduction to Noetic Field Theory: The Quantization of MindUploaded byJoaokaa
- Oscar Arratia, Francisco J. Herranz and Mariano A. del Olmo- Bicrossproduct structure of the null-plane quantum Poincare algebraUploaded byJoaokaa
- Masehito Hasegawa- A quantum double construction in RelUploaded byJoaokaa
- L. Delvaux, A. Van Daele and S.H. Wang- Bicrossproducts of multiplier Hopf algebrasUploaded byJoaokaa
- Matti Pitkanen- The Notion of Wave-Genome and DNA as Topological Quantum ComputerUploaded byJoaokaa
- Matti Pitkanen- Quantum Hardware of Living MatterUploaded byJoaokaa
- Edwin Beggs- Quasitriangular and Differential Structures on Bicrossproduct Hopf AlgebrasUploaded byJoaokaa
- Matti Pitkanen- Magnetospheric ConsciousnessUploaded byJoaokaa
- S. Majid- The Quantum Double as Quantum MechanicsUploaded byJoaokaa
- Matti Pitkanen- Genes and MemesUploaded byJoaokaa
- Matti Pitkanen- TGD and Fringe PhysicsUploaded byJoaokaa
- Matti Pitkanen- TGD Universe as a Conscious HologramUploaded byJoaokaa
- Matti Pitkanen- Bio-Systems as Self-Organizing Quantum SystemsUploaded byJoaokaa
- J. A. de Azcarraga, M.A. del Olmo, J.C. Perez Bueno and M. Santander- Graded Contractions and Bicrossproduct Structure of Deformed Inhomogeneous AlgebrasUploaded byJoaokaa
- Matti Pitkanen- TGD and EEGUploaded byJoaokaa
- F. Ngakeu, S. Majid and J-P. Ezin- Cartan Calculus for Quantum Differentials on BicrossproductsUploaded byJoaokaa