arXiv:q-alg/9609011v1 12 Sep 1996
Cartan Pairs
∗
Andrzej Borowiec †
Institute of Theoretical Physics, University of Wroclaw
Pl. Maxa Borna 9, 50-204 Wroclaw, Poland
e-mail: borow@ift.uni.wroc.pl
February 9, 2008
Abstract
A new notion of Cartan pairs as a substitute of notion of vector fields in
the noncommutative geometry is proposed. The correspondence between
Cartan pairs and differential calculi is established.
1
Introduction.
A big part of the classical differential geometry on manifold Ω, see e.g. [13],
belongs to the theory of modules over a commutative algebra F Ω of smooth
scalar valued functions on Ω. One defines a tangent T Ω and cotangent T ∗ Ω
vector bundles. Their sections, vector fields and one forms respectively, constitute modules X Ω and Λ1 Ω over F Ω and are basic differential–geometric objects
on Ω. Both notions (of vector fields and that of one forms) enter the game on
equal rights and are mutually dual. In particular, Λ1 Ω can be identify with a
module of F Ω–linear mappings from X Ω into F Ω and evaluation of one form ω
on a vector field X provides a F Ω–bilinear pairing ω(X) ≡< X, ω >∈ FΩ between these modules. Also an action of vector fields on functions and an external
differentiation of functions are dual each other via famous Cartan formulae
X(f ) ≡< X, df >≡ iX df ∈ FΩ .
(1.1)
It appears that the Leibniz rule
d(f g) = (df ). g + f. dg
(1.2)
for an external differential d : F Ω → Λ1 Ω of functions into one forms and
derivation property of vector fields (the Leibniz rule for an ”internal” derivation
∗ To
the memory of Professor Jan Rzewuski.
by the State Research Committee KBN No 2 P302 023 07.
† Supported
1
X : F Ω → F Ω)
X(f g) = X(f ) g + f X(g)
(1.3)
are related each other by (1.1). A vector field can be alternatively defined as
a derivation of F Ω i.e. as an endomorphism of F Ω satisfying (1.3). Therefore,
the module of vector fields bears a Lie algebra structure.
To be precise, one should distinguish between a vector field X as a smooth
section of T Ω and its isomorphic image X ∈ Der(F Ω) ⊂ End(F Ω), which
acts on functions via (1.1). These ideas have served as a basis for an algebraic generalization of concept of vector fields, so called Lie–Cartan pairs [7]
or Lie pseudoalgebras [8], see also [6] for supersymmetric generalization and [8]
for overview and historical remarks. An attempt to generalize this concept to
noncommutative case within the framework of braided Lie algebras [5] was performed in [9] (c.f. also [11] and [10]). The notion of Lie algebras of vector fields
for quantum groups has been introduced by Woronowicz [15].
Passing to the noncommutative case, the duality between forms and vector
fields fails. Unlike in the commutative case, the noncommutative differential
calculus is developed mainly in the covariant approach (i.e. by means of differential forms). A satisfactory concept of noncommutative vector fields has not
been formulated yet. The reason is that the Leibniz rule (1.2) for an external
differential remains unchanged also in the noncommutative setting while that
one for vector fields (1.3) has to be modified. The aim of the present note is
to fill this gap. We propose a new notion of Cartan pairs as a substitute for a
concept of vector fields. Our approach is similar to the Lie–Cartan approach
but we have no analogue of Lie bracket. We explore a bimodule structure instead. A Cartan pair consist an Ik–algebra A (Ik being a commutative ring) and
A–bimodule M with suitable action of M on A. We show that a dual object to
a Cartan pair is a differential calculi on an algebra A. Our main result is that
(1.1) allows to reconstruct the ”external” differential if we are given an action
of generalized vector fields and conversely to find out the action by means of
differential. An example of such action for a given noncommutative calculus
can be found in [3] (c.f. [4]).
Henceforth Ik denotes some fixed unital and commutative ring. Algebras are
unital associative Ik-algebras and homomorpisms are assumed to be unital. All
objects considered here are first of all Ik-modules. All maps are assumed to be
Ik-linear maps.
Let M be an (A, A)–bimodule (A–bimodule in short). We shall denote by
dot ”.” the both: left and right multiplication by elements from A. For example,
by bimodule axioms, one has (f.x).g = f.(x.g) = f.x.g for f, g ∈ A and x ∈ M .
The present note has a preliminary character. The full version of it with
more details and proofs will be published elsewhere.
2
2
Cartan pairs.
Let A be an Ik–algebra and M an A–bimodule. By an action of M on A
we mean a Ik–linear mapping β ∈ Hom Ik (M, End Ik (A)). We shall also write
M ∋ x 7→ xβ ∈ End Ik (A) or A ∋ f 7→ xβ (f ) ∈ A to denote the action.
DEFINITION 2.1. Let Ik be a commutative and unitary ring, and let A
be an unitary Ik–algebra. A right Cartan pair over Ik and A is an A–bimodule
R together with a right action ρ : R → End Ik (A), such that
(f.X)ρ (g) = f X ρ (g)
(2.1)
X ρ (f g) = X ρ (f ) g + (X.f )ρ (g)
(2.2)
and
Observe that in the case of commutative algebras X.f = f.X (c.f. Remark
3.7 below) the formulae (2.1) and (2.2) set a generalization of the Leibniz rule
(1.3) we have been looking for.
In a similar manner we define a left Cartan pair (L, λ) consisting a bimodule
L and its left action L ∋ X 7→ X λ ∈ End Ik (A). Now the properties (2.1) and
(2.2) must be replaced by
(X.g)λ (f ) = X λ (f ) g
(2.3)
X λ (f g) = f X λ (g) + (g.X)(f )λ
(2.4)
DEFINITION 2.2. A left (resp. right) Cartan pair (M, A) is called a
bimodule of left (resp. right) generalized vector fields on A if the corresponding
action λ (resp. ρ) is faithful.
EXAMPLE 2.3. Let Ω be a manifold and Ik be a field of real numbers.
Take A = F Ω and M = X Ω together with a canonical action of vector fields on
function via derivations. Since algebra is commutative, the module X Ω can be
considered as a bimodule with a left and right multiplication coinciding. Then
(X Ω, F Ω) is at the same time a left and right Cartan pair. Of course it is a
bimodule of generalized vector fields.
3
Dual of bimodule.
Let R be a right A–module. Recall (see e.g. [1]) that R∗ dual of R is defined as
a collection of all right A–module maps from R int A, i.e. R∗ = Hom A (R, A).
For every ordered pair of elements x ∈ R and X ∈ R∗ , the element X(x) ∈ A,
the evaluation of X on x is denoted by < X, x >. R∗ bears a canonical left A–
module structure, therefore <, >: R∗ × R → A defines the canonical A–bilinear
form (pairing). Summing up the following relations hold true
< X, x + y > = < X, x > + < X, y >
3
(3.1)
< X, x.f > = < X, x > f
(3.2)
< X + Y, x > = < X, x > + < Y, x >
(3.3)
< f. X, x > = f < X, x >
(3.4)
where, X, Y ∈ R and f ∈ A.
For a right A–modules map α ∈ Hom A (R1 , R2 ) one defines its transpose
αT as a left A–module map αT ∈ Hom A (R2∗ , R1∗ ) by the formulae [1]
< αT (X2 ), x1 >1 = < X2 , α(x1 ) >2
where, xi ∈ Ri and Xi ∈ Ri∗ , i = 1, 2.
Let now M be an A–bimodule and let M ∗ = Hom (−,A) (M, A) denotes its
right dual, i.e. dual of M as a right A–module. For any element f ∈ A left
multiplication by f is a right module map f. ∈ Hom (−,A) (M, M ). It is easy
to check that its transpose (f. )T ≡ .f is a right multiplication in M ∗ and that
with this multiplication M ∗ becomes a bimodule.
DEFINITION 3.1. The A–bimodule M ∗ = Hom (−,A) (M, A) with the
canonical left module structure (3.3), (3.4) and with transpose right multiplication
< X.f, x > = < X, f.x >
(3.5)
is called a right dual of a bimodule M .
In a similar way one defines a left dual ∗M = Hom (A,−) (M, A) of bimodule
M with a canonical left and transpose right A–module structure. In this case
one has
< x + y, X > = < x, X > + < y, X >
(3.6)
< f. x, X > = f < x, X >
(3.7)
< x, X + Y > = < x, X > + < x, Y >
(3.8)
< x, X. f > = < x, X > f
(3.9)
< x. f, X > = < x, f. X > .
(3.10)
It is interesting to compare a left dual of a right dual of a bimodule M with
M.
PROPOSITION 3.2. There is a canonical A–bimodule map from M into
(M ∗ ) (resp. (∗M )∗ ) x 7→ x̃ given by the formulae
∗
< X, x̃ > = < X, x >
(resp. < x̃, X > = < x, X > ) .
(3.11)
In general, it is neither injective nor surjective .
DEFINITION 3.3. A bimodule M is called right (resp. left) reflexive if
∗
(M ∗ ) ≡ M (resp. (∗M )∗ ≡ M ) i.e. when the corresponding canonical map
(3.11) is a bimodule isomorphism.
DEFINITION 3.4. An A–bimodule M is called a right (resp. left) free
A–bimodule if it is so as a right (resp. left) A–module.
4
DEFINITION 3.5. An A–bimodule M is called a right (resp. left) finitely
generated bimodule if it is so as a right (resp. left) A–module.
LEMMA 3.6. Let M be a right (resp. left) free and finitely generated A–
bimodule. Then a right (resp. left) dual of M is a left (resp. right) free finitely
generated bimodule. Moreover, M is a right (resp. left) reflexive.
REMARK 3.7. Assume that A is commutative. Each A–module becomes
automatically an A–bimodule with the same left and right multiplication. In
this case the three notions of dual, namely: left and right dual of bimodule and
dual of module over commutative algebra, coincide. Of course, the module of
the classical vector fields F Ω over manifold Ω is reflexive (c.f. Example 2.3).
4
Main results.
It appears that differential calculi investigated recently by many authors in
the context of quantum groups and noncommutative geometry are nothing but
derivations of an algebra with values in a bimodule (c.f. [2, 3, 4, 12, 14]). Recall
that a Ik-derivation d of A to M , d ∈ DerIk (A, M ), is a Ik-linear mapping from
A into M such that the Leibniz rule (1.2) is satisfied. The pair (M, d) is said
to be first order calculus or first order differential on an algebra A with values
in an A–bimodule M or shortly M -valued calculus on A. Each Ik-derivation
vanishes on scalars from Ik.
Let now (M, d) be a calculus on an algebra A. The differential d and formulae
(1.1) defines an action of the right dual M ∗ on A. This action
A ∋ f 7→ X ∂ (f ) ≡ < X, df >
(4.1)
will be called a right partial derivatives along the element X ∈ M ∗ with respect
to the calculus (M, d). One uses X ∂ instead of more traditional notation ∂/∂X.
It can be checked that this action satisfies axioms of right Cartan pair. Therefore, to each differential calculus (M, d) on A we can associate a unique right
Cartan pair of right partial derivatives (M ∗ , ∂) of (M, d). The converse statement is also true: to each right Cartan pair (R, ρ) one can associate a unique
differential calculus (∗R, dρ ) where, dρ : A → ∗R is defined by formulae (4.2)
below. Thus we have
MAIN THEOREM. Let (M, d) be a calculus on A. Then M ∗ together
with an action (4.1), via the right partial derivatives, becomes a a right Cartan
pair (M ∗ , ∂) on A. Moreover, if the module M of one forms is spanned by
differential (i.e. M = A.dA) then the action ∂ is faithful.
Conversely, let (R, ρ) be a right Cartan pair on A. Then the formulae
< X, dρ f > = X ρ (f )
(4.2)
for each X ∈ R, determines dρ f as an element of a left dual ∗R of the bimodule
R. The mapping dρ : A → ∗R defines an ∗R–valued calculus (∗R, dρ ) on A.
5
In a case of a right reflexive bimodule M =∗ (M ∗ ) one has d = d∂ and
ρ = ∂ρ .
In a similar way an action
A ∋ f 7→ ∂X(f ) ≡ < df, X >
(4.3)
determines a left Cartan pair structure on ∗M (left partial derivatives).
Therefore to each differential calculus one can canonically associate a right
(resp. left) Cartan pair of partial derivatives. Conversely, for each left (resp.
right) Cartan pair there exists an associated differential calculus on an algebra
A. In a case of reflexive bimodule a successive application of above canonical
constructions give rise to the initial object.
An application of Cartan pairs in the theory of noncommutative vector bundles and connections (c.f. [4]) will be investigated elsewhere.
References
[1] N. Bourbaki, Elements of mathematics. Algebra I. Chapters 1–3, Springer–
Verlag, Berlin, 1989.
[2] A. Borowiec, V. K. Kharchenko and Z. Oziewicz, First Order Calculi with
Values in Right-Universal Bimodules, Banach Center Publication, Proc.
Minisemester on Quantum Groups and Spaces – in print, q-alg/9609010.
[3] A. Borowiec and V. K. Kharchenko, Bull. Soc. Sci. Lett. Lódź v. 45, Ser.
Recher. Deform. XIX, (1995), 75-88, q-alg/9501024.
[4] K. Bresser, F. Müller-Hoissen, A. Dimakis and A. Sitarz, Noncommutative
Geometry of Finite Groups, preprint GEOT-TP 95/95, q-alg/9509004.
[5] D. Gurevich, Hecke Symmetries and Braided Lie Algebras, in Spinors
Twistors and Clifford Algebras, Ed. Z. Oziewicz at al., Kluwer Academic
Publishers, 1993, p. 317 - 326.
[6] A. Jadczyk and D. Kastler, Annals of Phys. 179 (1987) p. 169 - 200.
[7] D. Kastler and R. Stora, J. Geom. Phys. 2, 1 (1985) p. 1 - 32.
[8] K. C. Mackenzie, Bull. London Math. Soc. 27 (1995) p. 97 - 147.
[9] W. Marcinek, On S Lie–Cartan Pairs, in Spinors Twistors and Clifford
Algebras, Ed. Z. Oziewicz at al., Kluwer Academic Publishers, 1993, p.
337-342 .
[10] Z. Oziewicz, E. Paal and J. Różański, Acta Physica Polonica B26, 7 (1995),
p. 1253–1273.
6
[11] P. Popescu, A contravariant approach on (non)commutative geometry, University of Craiova 1996, preprint.
[12] W. Pusz and S. Woronowicz, Reports on Mathematical Physics 27, 2
(1989), 231–257.
[13] F. W. Warner, Foundation of Differentiable Manifolds and Lie Groups,
Springer–Verlag, Berlin, 1983.
[14] J. Wess and B. Zumino, Nuclear Physics 18 B (1990), 303–312, Proc. Suppl.
[15] S. L. Woronowicz, Commun. Math. Phys. 122 (1989), 125–170.
7