- freely available
- re-usable

*Axioms*
**2012**,
*1*(2),
173-185;
doi:10.3390/axioms1020173

^{1}

^{2}

Published: 10 August 2012

## Abstract

**:**We study the duality between corings and ring extensions. We construct a new category with a self-dual functor acting on it, which extends that duality. This construction can be seen as the non-commutative case of another duality extension: the duality between finite dimensional algebras and coalgebra. Both these duality extensions have some similarities with the Pontryagin-van Kampen duality theorem.

**Classification: MSC** 16T25; 16T15

## 1. Introduction

Non-commutative geometry is a branch of mathematics concerned with geometric approach to non-commutative algebras, and with constructions of spaces which are locally presented by non-commutative algebras of functions. Its main motivation is to extend the commutative duality between spaces and functions to the non-commutative setting.

More specifically, in topology, compact Hausdorff topological spaces can be reconstructed from the Banach algebra of functions on the space. The Pontryagin duality theorem refers to the duality between the category of compact Hausdorff Abelian groups and the category of discrete Abelian groups. The Pontryagin–van Kampen duality theorem extends this duality to all locally compact Hausdorff Abelian topological groups by including the categories of compact Hausdorff Abelian groups and discrete Abelian groups into the category of locally compact Hausdorff Abelian topological groups (see [1]). This can be illustrated by the following diagram:

Taking the Pontryagin–van Kampen duality theorem as a model, an extension for the duality between finite dimensional algebras and coalgebras to the category of finite dimensional Yang–Baxter structures was constructed in [2]. The resulting duality theorem can be illustrated by the following diagram:

Our motivation in this paper is to extend the above duality to the non-commutative setting.

In Section 2, we present in a new fashion the duality between right finitely generated projective corings and ring extensions (compare with [3]).

In Section 3, we define the category of (right finitely generated projective) generalized Yang–Baxter structures. We construct full and faithful embeddings from the categories of ring extensions and corings to the category of generalized Yang–Baxter structures. We show that taking the right dual is a duality functor in the category of right finitely generated projective generalized Yang–Baxter structures. Then we conclude that the duality between right finitely generated projective corings and ring extensions can be lifted up to the category of right finitely generated projective generalized Yang–Baxter structures.

There are some more comments to be made.

(i) We propose as a research project the investigation of other connections between the duality of (co)algebras and the Pontryagin duality. (For example, one might try to endow the (co)algebra structures with some topological structures.)

(ii) At the epistemologic level, the extension of the duality of (co)algebra structures seems to be a model for the relation between interdisciplinarity, pluridisciplinarity and transdisciplinarity (see [4]).

(iii) This paper explains that taking the dual of some objects can be seen a “continuous” process. Let us visualize this statement by considering an example from geometry. We take a triangular prism: We can see it as two parallel triangles joint by 3 segments. In total it has 5 planar geometric figures, 9 edges and 6 vertices. The geometric dual of the triangular prism has 6 planar geometric figures, 9 edges and 5 vertices. Now, one can start with a triangular prism, “shave” its corners, and then continuously deform that figure in order to obtain the geometric dual of the triangular prism.

## 2. Notations and Preliminaries

Throughout this paper 𝕂 is a commutative ring, and all 𝕂-modules M are such that for all m∈ M, 2m = 0 implies m = 0.

Let A, B, C, etc. be algebras over ground commutative ring 𝕂. Unadorned tensor product will denote the tensor product over 𝕂. For modules M in _{A} _{B}, symbols M* , *M, *M* denote right dual, left dual and bidual of M, and _{A} _{B} (M, N) denotes the 𝕂-module of (A, B)-bimodule maps M → N. In what follows we shall concentrate on right dual of M but similar observations can be made for the left dual as well.

For all ϕ∈_{A} _{B} (M, N), let ϕ* : N* → M* denote the right adjoint of ϕ i.e., ϕ* (g)(m) := g ◦ ϕ (m).

We denote by (·)^{op }: A → A^{op }the canonical anti-algebra isomorphism from the algebra A into its opposite A^{op }(which is the identity on the underlying 𝕂-modules), i.e., a = a^{op }as module elements and (aa´)^{op} = a´^{op}a^{op }for all a, a´∈ A.

The following facts are well known, but we recall them to set up the notation:

(i) If M∈_{A} _{B} then M* ∈ _{A}^{op} _{B}^{op} with (a^{op}fb^{op})(m) = bf(am).

Assume that M∈_{A} _{B} is also finitely generated projective as a right B-module, i.e., there exists a dual basis , such that for any m∈ M, . Then

(ii) The mapping κ_{M}: M → M**, κ_{M} (m)(f) = f(m)^{op }is an isomorphism in _{A} _{B}, with the inverse . In fact κ is a natural morphism between identity functor in _{A} _{B} and the functor ()^{** }: _{A} _{B} → _{A} _{B}.

(iii) If N∈_{B} _{C} then κ_{M,N} : M* ⊗ _{B}^{op} N* → (M ⊗ _{B} N)*, given by κ_{M,N} (f ⊗ _{B}^{op} g)(m ⊗ n) = g(f(m)n), is an isomorphism in _{A}^{op} _{C}^{op} with the inverse

(iv) Let M∈ _{A} _{B}, N∈ _{B} _{C} , P ∈_{C} _{D}, where A, B, C, D are algebras. Then the following diagram is commutative:

(v) Let M∈ _{A} _{B} be finitely generated projective as B-module, with dual basis , i∈ I, and let N∈_{B} _{C} be finitely generated projective as a C-module with dual basis , , i∈ J. Then M ⊗ _{B} N∈_{A} _{C} is finitely generated projective as a C-module with a dual basis

The following terminology and theorems concerning corings and ring extensions are needed in this paper. For a review on coalgebras see: [5,6,7]. For a review on corings see [3].

**Definition 2.1** C∈_{B} _{B} is called a B-coring if there exist morphisms Δ^{C}, ε^{C} ∈_{B} _{B}, Δ^{C} : C→ C ⊗ _{B} C, ε^{C} : C→ B such that

In the sequel we shall use Sweedler’s notation Δ^{C}(c) = c_{(1)} ⊗ _{B} c_{(2)}. Given B-corings C and D, a map ϕ ∈_{B} _{B} (C, D) is called a morphism of B-corings if (ϕ ⊗ _{B}ϕ) ◦ Δ^{C }= Δ^{D} ◦ ϕ and ε^{D} ◦ ϕ = ε^{C}. The category of B-corings is denoted by **Crg**_{B}.

**Definition 2.2** Ring is called an extension of a ring B if there exists an injective unital ring morphism : B → . Observe that ∈_{B} _{B} by . Given ring extensions : B → and : B →P, a ring morphism α : →P is called a morphism of ring extensions if α ◦ = or, equivalently, if α ∈ _{B} _{B} ( , P). The category of ring extensions of B is denoted by **Rge**_{B}.

The full subcategory of **Crg**_{B} (resp. **Rge**_{B}) consisting of those B-corings (resp. ring extensions of B) that are finitely generated projective as right B-modules is denoted by **r.f.g.pCrg**_{B} (resp. **r.f.g.pRge**_{B}).

**Lemma 2.3** (i) If C∈ **Crg**_{B} then C* ∈_{B}^{op} _{B}^{op}is a ring extension of B^{op }with multiplication

unit 1_{C}_{*} := ε^{C} and embedding map

(ii) If ϕ : C→D is any coring morphism then ϕ*: D* →C* is a ring extension morphism.

(iii) If ∈ **r.f.g.pRge**_{B} then * is a B^{op}-coring with comultiplication and counit

where is a (finite) dual basis of .

(iv) If ϕ : →S is a morphism of right finitely generated projective ring extensions of B, then : S* → * is a morphism of B^{op}-corings.

(v) Functor ()**: **r.f.g.pRge**_{B} → **r.f.g.pRge**_{B} is equivalent to the identity functor on **r.f.g.pRge**_{B}. For all ∈ **r.f.g.pRge**_{B}, κ_{R} : → ** is a ring extension isomorphism facilitating this equivalence.

(vi) Functor ()**: **r.f.g.pCrg**_{B} → **r.f.g.pCrg**_{B} is equivalent to the identity functor on **r.f.g.pCrg**_{B}. For all C∈ **r.f.g.pCrg**_{B}, κ_{C} : C→C** is a B-coring isomorphism facilitating this equivalence.

**Proof.** The statements (i) and (ii) are contained in Proposition 3.2 [8], while (iii) and (v) are rephrasings of Theorem 3.7 [8] (cf. [3], 17.8–17.13)

(**iv**) Consider any ring extension morphism ϕ : →S. Let be any finite dual basis of , and let be any finite dual basis of S. For all s∈S*,

and

Hence ϕ* is a coring map.

(**vi**) It is enough to prove that κ_{C}, is a coring map for any C∈ **r.f.g.pCrg**_{B}. Let C be a B-coring, and let , be any finite dual basis of C. Observe that is a dual basis of C*. Indeed, for any g∈C*,

Hence, for all c∈C

and

**Corollary 2.4** ()* is a duality functor between **r.f.g.pRge**_{B} and **r.f.g.pCrg**_{B}^{op}

## 3. An Extension for the Duality between Corings and Ring Extensions

Our aim in this section is to extend the duality between right finitely generated projective ring extensions and corings to the category of right finitely generated projective generalized Yang–Baxter structures.

We use the following terminology concerning the Yang–Baxter equation. Some references on this topic are: [9,10,11], etc.

Let B be a 𝕂-algebra. Given a (B, B)-bimodule V and a (B, B)-bilinear map R : V ⊗ _{B} V → V ⊗ _{B} V we write R^{12 }= R ⊗ _{B} id, R^{23 }= id ⊗ _{B} R : V ⊗ _{B} V ⊗ _{B} V → V ⊗ _{B} V ⊗ _{B} V where id : V → V is the identity map.

**Definition 3.1** An invertible (B, B)-linear map R : V ⊗ _{B} V → V ⊗ _{B} V is called a generalized Yang–Baxter operator (or simply a generalised YB operator ) if it satisfies the equation

**Definition 3.2** For an algebra B, we define the category **YB str**_{B} whose objects are 4-tuples (V, φ, e, ε), where

(i) V is a (B, B)-bimodule;

(ii) φ : V ⊗ _{B} V → V ⊗ _{B} V is a generalized YB operator;

(iii) e∈ V such that for all b∈ B, eb = be, and for all x∈ V , φ(x ⊗ e) = e ⊗ _{B} x, φ(e ⊗ _{B} x) = x ⊗ _{B} e;

(iv) ε : V → B is a (B, B)-bimodule map, such that (id ⊗ _{B} ε) ◦φ = ε ⊗ _{B} id, (ε ⊗ _{B} id) ◦φ = id ⊗ _{B} ε.

A morphism f :(V, φ, e, ε) → (V’, φ’,e’,ε’) in the category **YB str**_{B} is a (B, B)-bilinear map f : V → V’ such that:

(v) (f ⊗ _{B} f) ◦φ = φ´◦ (f ⊗ _{B} f),

(vi) f(e) = e´,

(vii) ε^{´ }◦ f = ε.

Composition of morphisms is defined as the standard composition of B-linear maps. A full subcategory of **YB str**_{B} consisting of all such (V, φ, e, ε) for which V is finitely generated projective as a right B-module is defined by **r.f.g.pYB****str**_{B}.

**Remark 3.3** Let R : V ⊗ _{B} V → V ⊗ _{B} V be a generalised YB operator . Then (V, R, 0, 0) is an object in the category **YB str**_{B}.

**Theorem 3.4** (i) There exists a functor:

Any ring extension map f is simply mapped into a (B, B) bimodule map.

(ii) F is a full and faithful embedding.

**Proof. i)** The proof that φ_{R} is a generalised YB operator is left to the reader (cf. Proposition 2.1 from [12], ). Furthermore Hence (R, φ_{R}, 1_{R}, 0) is an object in the category **YB str**_{B}.

Let f : →S be a morphism of ring extensions. Then f(1_{R})= 1_{S} and 0 ◦ f = 0. Moreover

Hence is a morphism in the category **YB str**_{B}.

(**ii**) If F = F S, for some , S∈ **Rge**_{B}, then obviously = S as (B, B)-bimodules, 1_{S} = 1_{R}, and the only thing which can differ is the multiplication. Denote by · the multiplication in , and by ◦ the multiplication in S. Then, as φ_{R} = φ_{S} , for all r, r´∈ ,

hence

Multiplying tensor factors on both sides of this equation (whether using multiplication in or S is irrelevant) yields 2(r · r´− r ◦ r´) = 0, hence r · r = r ◦ r´, and so = S as algebras. Therefore F is an embedding.

Obviously, distinct ring extension maps are also distinct as (B, B)-bimodule morphisms, hence F is a faithful functor.

Let be a morphism in **YB str**_{B}, where , S∈ **Rge**_{B}. Then f is unital, and , hence, for all r, r´∈ ,

Multiplying factors in tensor products in both sides of the above equation yields 2(f(rr´) − f(r)f(r´)) = 0, hence f(rr´) = f(r)f(r´) and, as f is a (B, B)-bimodule map, it is a ring extension map. Therefore, F is a full functor.

**Theorem 3.5** (i) There exists a functor

A coring morphism is mapped into a (B, B)-bimodule morphism.

(ii) G is a full and faithful embbeding.

**Proof. i)** The proof that ψ_{C} is a generalised YB operator (cf. Proposition 2.3 from [12]) is left to the reader (ψ_{C}^{−1 }= ψ_{C}). Furthermore, for all c∈C, ψ_{C}(c ⊗ _{B} 0) = 0 = 0 ⊗ _{B} c, ψ_{C}(0 ⊗ _{B} c) = 0 = c ⊗ _{B} 0. Moreover, for all c, c´∈C,

and

Hence (C,ψ_{C}, 0,ε^{C}) is an object in **YB str**_{B}. Let f : C→D be any morphism of B-corings. Then f is also a (B, B)-bimodule morphism, f(0) = 0, ε^{D} ◦ f = ε^{C}, and,

Therefore f :(C,ψ_{C}, 0,ε^{C}) → (D,ψ_{D}, 0,ε^{D}) is a morphism in **YB str**_{B}.

(**ii**) Suppose that GC = GD for some B-corings C, D. This means that C = D as (B, B)-bimodules, ε^{C }= ε^{D}, and the only things which can differ are comultiplications. However, as ψ_{C} = ψ_{D}, we have

hence

(Δ^{C} − Δ^{D}) ⊗ _{B} ε^{C} = −ε^{C} ⊗ _{B} (Δ^{C} − Δ^{D})

Composing both sides of the above equation with Δ^{C} yields 2(Δ^{C} − Δ^{D}) = 0 hence Δ^{C} = Δ^{D} and C = D as (B, B)-corings. Hence G is an embedding.

Obviously distinct B-coring morphisms are also distinct as (B, B)-bimodule morphisms, hence G is a faithful functor.

Let f :(C,ψ_{C}, 0,ε^{C}) → (D,ψD, 0,ε^{D}), where C, D are corings, be a morphism in **YB str**_{B}. Then (B, B)-bimodule morphism f : C→D is counital, i.e., ε^{D} ◦ f = ε^{C} . Furthermore, (f ⊗ _{B} f) ◦ ψ_{C} = ψ_{D} ◦ (f ⊗ _{B} f), and hence (f ⊗ _{B} f) ◦ ψ_{C} ◦ Δ^{C} = ψ_{D} ◦ (f ⊗ _{B} f) ◦ Δ^{C} . Observe that ψ_{C} ◦ Δ^{C} = Δ^{C} . Therefore

i.e., 2(f ⊗ _{B} f) ◦ Δ^{C} = 2Δ^{D} ◦ f, hence (f ⊗ _{B} f) ◦ Δ^{C} = Δ^{D} ◦ f, and f is a B-coring map. Therefore G is full.

**Proposition 3.6** Let (V, R, e, ε) ∈ **r.f.g.pYB str**_{B}. Then

where e^{†}(f) = f(e), and

Moreover,

is a natural isomorphism in **r.f.g.pYB str**_{B}.

**Proof.** R is invertible, hence We shall prove that R^{† }satisfies the Yang–Baxter equation. Observe that

Indeed, let Γ ∈ (V ⊗ _{B} V )*, f∈ V*, and let be a dual basis of V .

Similarly we can prove the other equality. By virtue of (17,18), we can write

By (2),

and therefore

Hence R^{† }is a generalised YB operator .

Proofs of bilinearity of e* and centrality of ε are the same as proofs of analogues properties of duals of units and counits in Lemma 2.4. Moreover, for all f∈ V * ,

and

Furthermore, for all x = f ⊗ _{B}^{op} g∈ V * ⊗ _{B}^{op} V*,

and

Hence (V^{*},R^{†}, ε, e^{†}) ∈ **r.f.g.pYB str**_{B}^{op}.

Morphism κ : () → ()** is natural in _{B} _{B}, and as V is finitely generated projective, κ_{V} is invertible. Therefore it suffices to prove that κ_{V} is a morphism in **r.f.g.pYB str**_{B}. To this end, observe first that

κ_{V} (e) = f → f(e)^{op }= e^{† }

and, for all υ∈ V ,

Note that is a dual basis of V*. Therefore, for all Γ ∈ (V* ⊗ _{B}^{op} V*)*,

and so, for all υ, υ´ ∈ V ,

Therefore, κ_{V} is a morphism in **r.f.g.pYB str**_{B} as required.

**Proposition 3.7** Let ∈ **r.f.g.pRge**_{B}, C∈ **r.f.g.pCrg**_{B}. Then i.e.,

**Proof.** From Lemma 2.4 we know that 1_{R}^{†} = ε^{R*} and 1_{C*} = ε^{C}. Furthermore, for all c, c´∈ *,

Similarly, for all r, r´∈C* , rr´ = κ_{C,C}(r ⊗ _{B}^{op} r´) ◦ Δ^{C}, therefore for all r, r´∈C* ,

This completes the proof.

**Remark 3.8** Put together the statements of Theorem 3.6, Theorem 3.5, Proposition 3.6 and Proposition 3.7, can be summarized in the following diagram:

This means that the duality between right finitely generated projective ring extensions of B and B corings extends to the category **r.f.g.pYB str**_{B}.

## 4. Conclusions

We extended the duality between right finitely generated projective ring extensions and right finitely generated projective corings to the category of right finitely generated projective generalized Yang–Baxter structures. This duality and its extension could be seen as a more general construction. For example, at the epistemologic level, the extension of the duality of (co)algebra structures seems to be a model for the relation between interdisciplinarity, pluridisciplinarity and transdisciplinarity (see [4]). It would be interesting to interpret this construction in terms of particle interactions.

The relationships between sub(co)algebras and (co)ideals are well-known, and the term of YB ideal was proposed for the first time in [11]. The following question arises: What are the relationships between sub(co)rings, (co)ideals and generalized Yang–Baxter structures?

We think that there are more connections between the Pontryagin–van Kampen duality and the above extension of the duality of (co)algebra structures.

## Acknowledgments

We would like to thank Tomasz Brzezi´nski for helpful remarks. The first author thanks for a Marie Curie Research Fellowship, HPMF-CT-2002-01782 at Swansea University. The work of BZ was supported by the EPSRC grant GR/S01078/01.

## References

- Morris, S.A. Pontryagin Duality and the Structure of Locally Compact Abelian Groups; Cambridge University Press: Cambridge, UK, 1977.
- Nichita, F.F.; Schack, S.D. The duality between algebras and coalgebras. Ann. Univ. Ferrara -Sez. VII -Sc. Mat.
**2005**, 51, 173–181. - Brzeziński, T.; Wisbauer, R. Corings and Comodules; Cambridge University Press: Cambridge, UK, 2003.
- Nichita, F.F. Algebraic models for transdisciplinarity. Transdiscipl. J. Eng. Sci.
**2011**, 10, 42–46. - Abe, E. Hopf Algebras; Cambridge University Press: Cambridge, UK, 1977.
- Dăscălescu, S.; Năstăsescu, C.; Raianu, S. Hopf Algebras: An Introduction; Marcel Dekker, Inc.: New York, NY, USA, 2000.
- Sweedler, M.E. Hopf Algebras; W.A.Benjamin, Inc.: New York, NY, USA, 1969.
- Sweedler, M.E. The predual theorem to the Jacobson-Bourbaki theorem. Trans. Am. Math. Soc.
**1975**, 213, 391–406, doi:10.1090/S0002-9947-1975-0387345-9. - Kassel, C. Quantum Groups; Springer Verlag: New York, NY, USA, 1995.
- Lambe, L.; Radford, D. Introduction to the Quantum Yang-Baxter Equation and Quantum Groups: An Algebraic Approach; Kluwer Academic Publishers: Dordrecht, Germany, 1997.
- Nichita, F.F. Non-Linear Equation, Quantum Groups and Duality TheoremsPh.D. Thesis, The State University of New York at Buffalo, 2001.
- Nichita, F.F. Self-inverse Yang-Baxter operators from (co)algebra structures. J. Algebra
**1999**, 218, 738–759.

© 2012 by the authors; licensee MDPI, Basel, Switzerland. This article is an open-access article distributed under the terms and conditions of the Creative Commons Attribution license (http://creativecommons.org/licenses/by/3.0/).