Levi-Civita's Theorem for Noncommutative Tori
We show how to define Riemannian metrics and connections on a noncommutative torus in such a way that an analogue of Levi-Civita's theorem on the existence and uniqueness of a Riemannian connection holds. The major novelty is that we need to use two different notions of noncommutative vector fi...
Збережено в:
| Дата: | 2013 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Інститут математики НАН України
2013
|
| Назва видання: | Symmetry, Integrability and Geometry: Methods and Applications |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/149363 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Levi-Civita's Theorem for Noncommutative Tori / L. Rosenberg // Symmetry, Integrability and Geometry: Methods and Applications. — 2013. — Т. 9. — Бібліогр.: 11 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-149363 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1493632019-02-22T01:23:22Z Levi-Civita's Theorem for Noncommutative Tori Rosenberg, J. We show how to define Riemannian metrics and connections on a noncommutative torus in such a way that an analogue of Levi-Civita's theorem on the existence and uniqueness of a Riemannian connection holds. The major novelty is that we need to use two different notions of noncommutative vector field. Levi-Civita's theorem makes it possible to define Riemannian curvature using the usual formulas. 2013 Article Levi-Civita's Theorem for Noncommutative Tori / L. Rosenberg // Symmetry, Integrability and Geometry: Methods and Applications. — 2013. — Т. 9. — Бібліогр.: 11 назв. — англ. 1815-0659 2010 Mathematics Subject Classification: 46L87; 58B34; 46L08; 46L08 DOI: http://dx.doi.org/10.3842/SIGMA.2013.071 http://dspace.nbuv.gov.ua/handle/123456789/149363 en Symmetry, Integrability and Geometry: Methods and Applications Інститут математики НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
English |
| description |
We show how to define Riemannian metrics and connections on a noncommutative torus in such a way that an analogue of Levi-Civita's theorem on the existence and uniqueness of a Riemannian connection holds. The major novelty is that we need to use two different notions of noncommutative vector field. Levi-Civita's theorem makes it possible to define Riemannian curvature using the usual formulas. |
| format |
Article |
| author |
Rosenberg, J. |
| spellingShingle |
Rosenberg, J. Levi-Civita's Theorem for Noncommutative Tori Symmetry, Integrability and Geometry: Methods and Applications |
| author_facet |
Rosenberg, J. |
| author_sort |
Rosenberg, J. |
| title |
Levi-Civita's Theorem for Noncommutative Tori |
| title_short |
Levi-Civita's Theorem for Noncommutative Tori |
| title_full |
Levi-Civita's Theorem for Noncommutative Tori |
| title_fullStr |
Levi-Civita's Theorem for Noncommutative Tori |
| title_full_unstemmed |
Levi-Civita's Theorem for Noncommutative Tori |
| title_sort |
levi-civita's theorem for noncommutative tori |
| publisher |
Інститут математики НАН України |
| publishDate |
2013 |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/149363 |
| citation_txt |
Levi-Civita's Theorem for Noncommutative Tori / L. Rosenberg // Symmetry, Integrability and Geometry: Methods and Applications. — 2013. — Т. 9. — Бібліогр.: 11 назв. — англ. |
| series |
Symmetry, Integrability and Geometry: Methods and Applications |
| work_keys_str_mv |
AT rosenbergj levicivitastheoremfornoncommutativetori |
| first_indexed |
2025-07-12T21:56:55Z |
| last_indexed |
2025-07-12T21:56:55Z |
| _version_ |
1837479935120244736 |
| fulltext |
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 9 (2013), 071, 9 pages
Levi-Civita’s Theorem for Noncommutative Tori?
Jonathan ROSENBERG
Department of Mathematics, University of Maryland, College Park, MD 20742, USA
E-mail: jmr@math.umd.edu
URL: http://www.math.umd.edu/~jmr/
Received July 26, 2013, in final form November 19, 2013; Published online November 21, 2013
http://dx.doi.org/10.3842/SIGMA.2013.071
Abstract. We show how to define Riemannian metrics and connections on a noncommu-
tative torus in such a way that an analogue of Levi-Civita’s theorem on the existence and
uniqueness of a Riemannian connection holds. The major novelty is that we need to use two
different notions of noncommutative vector field. Levi-Civita’s theorem makes it possible
to define Riemannian curvature using the usual formulas.
Key words: noncommutative torus; noncommutative vector field; Riemannian metric; Levi-
Civita connection; Riemannian curvature; Gauss–Bonnet theorem
2010 Mathematics Subject Classification: 46L87; 58B34; 46L08; 46L08
To Marc Rieffel, with admiration and appreciation
Introduction
In his lecture series at the Focus Program on Noncommutative Geometry and Quantum Groups
at the Fields Institute in June, 2013, Masoud Khalkhali gave a very beautiful description of recent
work by Connes and Moscovici [3] (building on earlier work of Connes and Tretkoff [4]) and by
Fathizadeh and Khalkhali [7, 8, 9] on a calculation of what one can call “scalar curvature” for
metrics on noncommutative tori obtained by (noncommutative) conformal deformation of a flat
metric. At the same time, Khalkhali explained that defining curvature in terms of the spectral
geometry of the Laplacian is basically forced on us by a lack in the noncommutative setting
of the standard machinery of Riemannian geometry, whereby one would define curvature using
derivatives of the Levi-Civita connection. In the same Focus Program, Marc Rieffel in his lecture
gave a definition of Riemannian metric in the noncommutative setting, albeit only for finite-
dimensional algebras (which, roughly speaking, correspond to zero-dimensional manifolds). The
purpose of this paper is to show that one can give a very natural and quite general definition of
Riemannian metrics on a noncommutative torus, without assuming a priori that the metric is
a conformal deformation of a flat metric, and that for this definition one can prove an analogue
of Levi-Civita’s theorem ([10]; for a modern formulation and proof see for example [5, Chapter 2,
§ 3]) on the existence and uniqueness of a torsion-free connection compatible with the metric.
For our notion of Riemannian metric we also obtain a notion of Riemannian curvature, which
we compute explicitly in the two-dimensional case.
Admittedly our definition of Riemannian metric still has certain drawbacks. It would be
nice to be able to prove a uniformization theorem for two-dimensional noncommutative tori,
stating that in some sense all Riemannian metrics are equivalent to conformal deformations of
a standard flat metric, and are thus of the form studied by Connes–Moscovici and by Fathizadeh–
Khalkhali. The problem, however, is that generic smooth two-dimensional noncommutative tori
?This paper is a contribution to the Special Issue on Noncommutative Geometry and Quantum Groups in
honor of Marc A. Rieffel. The full collection is available at http://www.emis.de/journals/SIGMA/Rieffel.html
mailto:jmr@math.umd.edu
http://www.math.umd.edu/~jmr/
http://dx.doi.org/10.3842/SIGMA.2013.071
http://www.emis.de/journals/SIGMA/Rieffel.html
2 J. Rosenberg
are quite rigid – their diffeomorphism groups are not much bigger than the group of smooth
inner automorphisms [6] – and this makes it hard to see how a uniformization theorem could be
true without using a very different definition of Riemannian metric.
1 Riemannian metrics and connections
While it would be desirable to have a theory of Riemannian metrics and connections on arbitrary
“noncommutative manifolds,” there is a problem in general in understanding what a tangent
vector or vector field should be. However, tori are parallelizable, so on a torus, a vector field is
simply a linear combination (with the coefficients being arbitrary functions) of the (commuting)
coordinate vector fields ∂j . This definition carries over without difficulty to a noncommutative
torus, though as we will see, there are also other ways of defining vector fields. We begin with
basic definitions and notation.
Definition 1.1. Let Θ be a skew-symmetric n× n matrix with entries in R. (When n = 2, we
write Θ =
(
0 θ
−θ 0
)
for θ ∈ R.) The noncommutative torus of dimension n with noncommuta-
tivity parameter Θ is the universal C∗-algebra AΘ on n unitaries U1, . . . , Un with commutation
relations UjUk = e2πiΘjkUkUj . (When n = 2, there are only two generators U1 and U2 and there
is only one relation, U1U2 = e2πiθU2U1, and we write Aθ for AΘ.) We will sometimes think of
AΘ as the algebra of “functions” on a “noncommutative manifold” TnΘ. The algebra AΘ carries
an ergodic action of the n-torus Tn via t ·Uj = tjUj , t ∈ Tn. The infinitesimal generators of this
action are the (unbounded) ∗-derivations ∂j with ∂j(Uk) = δjk2πiUk. The C∞ vectors for this
action constitute the algebra A∞Θ called the smooth noncommutative torus. This algebra can be
identified with the (noncommutative) rapidly decreasing Fourier series{ ∑
m1,...,mn
cm1,...,mnU
m1
1 · · ·Umn
n
∣∣∣{cm1,...,mn} rapidly decreasing
}
.
When Θ = 0 (the commutative case), this is C∞(Tn). In general this is always indistinguishable
from C∞(Tn) as a Fréchet space, even though the algebra structures are different.
Now we get to the point where the noncommutative theory diverges from the usual geometry
of manifolds. On a smooth (ordinary) closed manifold, there are three equivalent ways of
defining vector fields: as infinitesimal generators of one-parameter groups of diffeomorphisms
(i.e., flows), or as smooth sections of the tangent bundle, or as homogeneous linear first-order
differential operators annihilating the constants. The problem is that in the noncommutative
case, these definitions do not all agree, and so we need more than one notion.
Definition 1.2. The space XΘ of vector fields on the smooth noncommutative torus is defined
to be the free rank-n left A∞Θ -module with basis ∂1, . . . , ∂n. In other words, a vector field is just
a formal linear combination of “partial derivatives” with “function” coefficients in A∞Θ . Vector
fields operate on A∞Θ in the obvious way as linear “first-order differential operators” annihilating
the “constant functions” λ · 1, λ ∈ C.
The problem with this definition is that, unlike the standard commutative situation, an
element of XΘ is not usually a derivation, and commutator of such vector fields is not necessarily
a vector field, since
[b∂j , c∂k]a = b∂j(c∂ka)− c∂k(b∂ja) = b(∂jc)(∂ka) + bc(∂j∂ka)− c(∂kb)(∂ja)− cb(∂k∂ja),
so
[b∂j , c∂k] = b(∂jc)∂k − c(∂kb)∂j + [b, c]∂j∂k
and the second order term [b, c]∂j∂k does not necessarily cancel out.
Levi-Civita’s Theorem for Noncommutative Tori 3
Definition 1.3. Accordingly, we introduce another linear space DΘ, consisting of the ∗-deriva-
tions δ : A∞Θ → A∞Θ . By [1, Corollary 5.3, C2], any such δ is automatically continuous in the
Fréchet topology. It is clear that DΘ is a Lie algebra under the commutator bracket (since
the bracket of derivations is a derivation), so this remedies one of the defects of Definition 1.2.
We can view DΘ as the Lie algebra of the infinite dimensional group Diff(TnΘ) = Aut(A∞Θ ) of
∗-automorphisms of A∞Θ . Furthermore, by [1, Corollary 5.3, D2], any δ ∈ DΘ has a unique
decomposition as a1∂1 + · · · + an∂n + δ0, where δ0 is approximately inner and a1, . . . , an lie in
the center of A∞Θ .
Now we need the following result:
Theorem 1.4 (Bratteli, Elliott, and Jorgensen). If Θ is “generically transcendental” (in a rather
complicated sense made precise in [1], but satisfied for almost all skew-adjoint matrices), then
any δ ∈ DΘ has a unique decomposition as a1∂1 + · · · + an∂n + δ0, where δ0 is inner, hence
bounded in the C∗-algebra norm, and a1, . . . , an ∈ C.
Proof. See [1, Remark 4.3]. It also follows that δ is a pregenerator of a one-parameter subgroup
of Aut(A∞Θ ) (in fact sometimes this is even true without genericity of Θ, see [1, Theorem 5.4]). �
Definition 1.5. A Riemannian metric g = 〈·, ·〉 on A∞Θ is defined to be a (positive) A∞Θ -valued
inner product on vector fields, or in other words, a sesquilinear map 〈·, ·〉 : XΘ × XΘ → A∞Θ
satisfying the axioms of a (pre-)Hilbert module:
1. 〈X +X ′, Y 〉 = 〈X,Y 〉+ 〈X ′, Y 〉 and 〈aX, Y 〉 = a〈X,Y 〉 for X,X ′, Y ∈ XΘ, a ∈ A∞Θ (so g
is A∞Θ -linear in the first variable);
2. 〈X,Y 〉∗ = 〈Y,X〉 (hermitian symmetry) – together with (1), this implies 〈X, aY 〉 =
〈X,Y 〉a∗;
3. 〈X,X〉 ≥ 0 in the sense of the C∗-algebra AΘ, with equality only if X = 0.
Note that the metric is uniquely determined by the matrix (gjk) = (〈∂j , ∂k〉) in Mn(A∞Θ ).
This matrix must be a positive element of Mn(AΘ) since
0 ≤
〈∑
j
aj∂j ,
∑
k
ak∂k
〉
=
∑
j,k
ajgjka
∗
k for any aj ∈ A∞Θ .
Actually, the axioms so far only correspond to a hermitian metric on the complexified tangent
bundle. Recall that a Riemannian metric must assign a real-valued (i.e., self-adjoint) inner
product to two real vector fields. Since the “real vector fields” are generated by the ∂j , we need
to add one additional condition:
4. For each j, k, 〈Xj , Xk〉 is self-adjoint, and thus 〈Xj , Xk〉 = 〈Xk, Xj〉.
Definition 1.6. A connection on A∞Θ is a way of defining covariant derivatives for vector fields
satisfying the Leibniz rule
∇X(aY ) = (X · a)Y + a∇XY. (1.1)
But here’s the tricky aspect of this. For (1.1) even to make sense, we need to be able to
multiply Y on the left by an element of the algebra, so we want Y ∈ XΘ. On the other hand,
applying (1.1) to ∇X
(
(ab)Y
)
and comparing with the expansion of ∇X
(
a(bY )
)
, we obtain
(X · (ab))Y =
(
(X · a)b+ a(X · b)
)
Y,
and since Y is arbitrary, this forces X to be a derivation. So we need X ∈ DΘ rather than
X ∈ XΘ.
In other words, a connection is a map ∇ : DΘ×XΘ → XΘ, written (X,Y ) 7→ ∇XY , satisfying
the following axioms:
4 J. Rosenberg
1. ∇ is linear in the first variable, so that ∇λXY = λ∇XY and ∇X+X′Y = ∇XY +∇X′Y ,
for X,X ′ ∈ DΘ, λ ∈ C;
2. ∇ is C-linear in the second variable, so ∇X(Y + Y ′) = ∇XY +∇XY ′, ∇X(λY ) = λ∇XY ,
for X,Y, Y ′ ∈ XΘ, λ ∈ C;
3. For X,Y ∈ XΘ, a ∈ A∞Θ , ∇X(aY ) = (X · a)Y + a ∇XY .
Normally (i.e., in the classical case Θ = 0) the axioms for a connection require that ∇ be A∞Θ -
linear in the first variable, but this does not make sense in our context since DΘ is not a left
A∞Θ -module. However, let’s assume that Θ is generic in the sense of Theorem 1.4, so that any
element of DΘ differs from a linear combination of ∂1, . . . , ∂n by an inner derivation. We need
an extra axiom to pin down the values of ∇ad a, a ∈ A∞Θ . We have no classical precedent for this
since there are no inner derivations in the commutative case, but from (1.1) we obtain
∇ad a(bY ) = [a, b]Y + b∇ad aY, or [∇ad a, b] = [a, b].
The easiest way to satisfy this is to take ∇ad a = left multiplication by a. However ad a only
determines a up to addition of a constant, so we use the canonical trace τ on AΘ to normalize
things. Given the derivation ad a, a is unique subject to the condition that τ(a) = 0, and we
add as another axiom:
4. For any a ∈ A∞Θ with τ(a) = 0, ∇ad a = left multiplication by a.
For simplicity we write ∇j for ∇∂j . The operators ∇j : XΘ → XΘ determine the connection,
because of condition (4), Theorem 1.4, and the linearity axiom, condition (1). Once again, the
axioms so far correspond to a connection on the complexified tangent bundle, so it’s natural to
require the covariant derivative of a “real” vector field in a “real” direction to be “real-valued”.
In the presence of a Riemannian metric satisfying Definition 1.5(1)–(4), this corresponds to the
additional axiom
5. For any j, k, and `, 〈∇j∂k, ∂`〉 is self-adjoint.
We call the connection torsion-free if for all j, k ≤ n, ∇j∂k = ∇k∂j . This is the exact analogue
of the corresponding condition in the commutative case (since ∂k and ∂j commute).
We say the connection is compatible with a Riemannian metric g = 〈·, ·〉 (in the sense of
Definition 1.5) if for all X,Y ∈ XΘ, Z ∈ DΘ,
Z · 〈X,Y 〉 = 〈∇ZX,Y 〉+ 〈X,∇ZY 〉.
Remark 1.7. Note that a definition of connections on “vector bundles” over noncommutative
tori (and other noncommutative spaces also equipped with a Lie group of symmetries) was given
about 30 years ago by Connes in his classic paper [2]. This definition is also based on (1.1)
(except with left modules replaced by right modules), but with the vector field X restricted to
have “constant coefficients,” or in our situation, to be a C-linear combination of the ∂j . In this
same paper Connes gives the definition of compatibility with a metric, and it is the same as
ours. However, he does not address the notion of torsion for a connection, nor does he attempt
to prove a version of Levi-Civita’s theorem.
2 Levi-Civita’s theorem
Now we can state and prove the analogue of Levi-Civita’s theorem.
Levi-Civita’s Theorem for Noncommutative Tori 5
Theorem 2.1. Let Θ be a generic skew-symmetric n × n matrix in the sense of Theorem 1.4
and let g = 〈·, ·〉 be a Riemannian metric on A∞Θ in the sense of Definition 1.5 (including
condition 1.5(4)). Then there is one and only one connection on XΘ in the sense of Definition 1.6
(including conditions 1.6(4) and 1.6(5)) that is torsion-free and compatible with the metric. This
connection, called the Levi-Civita connection, is determined by the formula
〈∇j∂k, ∂`〉 =
1
2
[
∂j〈∂k, ∂`〉+ ∂k〈∂j , ∂`〉 − ∂`〈∂j , ∂k〉
]
. (2.1)
Proof. First we prove uniqueness. Suppose we have a torsion-free connection ∇ compatible
with the metric. We have (because of compatibility with the metric)
∂j〈∂k, ∂`〉 = 〈∇j∂k, ∂`〉+ 〈∂k,∇j∂`〉,
∂k〈∂`, ∂j〉 = 〈∇k∂`, ∂j〉+ 〈∂`,∇k∂j〉, (2.2)
∂`〈∂j , ∂k〉 = 〈∇`∂j , ∂k〉+ 〈∂j ,∇`∂k〉.
Via conditions 1.5(2), 1.5(4) and 1.6(5), together with the torsion-free condition, we can rewri-
te (2.2) as
〈∇j∂k, ∂`〉 = ∂j〈∂k, ∂`〉 − 〈∇`∂j , ∂k〉, (2.3)
〈∇j∂k, ∂`〉 = ∂k〈∂j , ∂`〉 − 〈∇`∂k, ∂j〉, and (2.4)
0 = −∂`〈∂j , ∂k〉+ 〈∇`∂j , ∂k〉+ 〈∇`∂k, ∂j〉. (2.5)
Adding (2.3), (2.4), and (2.5) gives (2.1).
Next we prove existence, by showing that (2.1) determines a unique connection which is
compatible with the metric and torsion-free. To begin with, given j and k, knowing 〈∇j∂k, ∂`〉
for all ` determines ∇j∂k, since the metric is nondegenerate. We get a unique extension to
a definition of ∇X∂k for all vector fields X ∈ DΘ by making ∇X∂k linear in X and requiring that
∇ad a∂k = a∂k when τ(a) = 0. (We are using genericity of Θ in order to appeal to Theorem 1.4.)
Then since the ∂k are a freeA∞Θ -basis for XΘ, knowing∇X∂k ∈ XΘ for each k uniquely determines
∇XY ∈ XΘ for each Y ∈ XΘ, since we have a unique expression Y =
∑
k
ak∂k and can set
∇X
(∑
k
ak∂k
)
=
∑
k
(X · ak)∂k + ak∇X∂k.
This gives us a definition of ∇ satisfying the axioms of Definition 1.6(1), (2) and 1.6(4). Condi-
tion 1.6(5) holds because of condition 1.5(4) and the fact that the ∂j are ∗-preserving. We need
to show that 1.6(3) is also satisfied, which means we need to check that
∇X
(
ab∂k
)
= (X · a)
(
b∂k
)
+ a∇X
(
b∂k
)
. (2.6)
The left-hand side of (2.6) is defined to be(
X · (ab)
)
∂k + ab∇X∂k.
Since X ∈ DΘ and is thus a derivation, this becomes
(X · a)
(
b∂k
)
+ a(X · b)∂k + ab∇X∂k = (X · a)
(
b∂k
)
+ a∇X
(
b∂k
)
,
which agrees with the right-hand side of (2.6), as required.
6 J. Rosenberg
The right-hand side of (2.1) is clearly symmetric under interchange of j and k, because of
the fact that Definition 1.5(4) ensures that 〈∂j , ∂k〉 = 〈∂k, ∂j〉, so ∇ is torsion-free. We have just
one more thing to check, which is compatibility with the metric. From (2.1), we have
〈∇j∂k, ∂`〉+ 〈∂k,∇j∂`〉 =
1
2
[
∂j〈∂k, ∂`〉+ ∂k〈∂j , ∂`〉 − ∂`〈∂j , ∂k〉
+ ∂j〈∂`, ∂k〉+ ∂`〈∂j , ∂k〉 − ∂k〈∂j , ∂`〉
]
= ∂j〈∂k, ∂`〉,
which is what is required. This completes the proof. �
3 Riemannian curvature
With Theorem 2.1 in place, it now makes sense to define curvature for a Riemannian metric
using derivatives of the Levi-Civita connection. There are different sign conventions used by
different authors; here we are following [5].
Definition 3.1. Let Θ be a generic skew-symmetric n× n matrix in the sense of Theorem 1.4
and let g = 〈·, ·〉 be a Riemannian metric on A∞Θ in the sense of Definition 1.5 (including
condition 1.5(4)). Let ∇ be the associated Levi-Civita connection from Theorem 2.1. Define
the associated Riemann curvature operator by
R(X,Y ) = ∇Y∇X −∇X∇Y +∇[X,Y ] : XΘ → XΘ, X, Y ∈ DΘ.
We also define the Riemannian curvature by
Rj,k,`,m = 〈R(∂j , ∂k)∂`, ∂m〉 .
Remark 3.2. Recall by Theorem 1.4 that DΘ splits as the direct sum of the n-dimensional
vector space spanned by the ∂j and the set of ad a, a ∈ A∞Θ . The second summand actually has
no effect on the curvature the way we’ve normalized the connection, for if a ∈ A∞Θ , τ(a) = 0,
and if X ∈ DΘ, then first of all τ(Xa) = 0 (this is obvious for X inner, so we only need to check
it for X = ∂j , where it follows from the fact that the gauge action of Tn on AΘ preserves τ —
see also [11, Lemma 2.1]). So for b ∈ A∞Θ ,
[ad(a), X]b = [a,X · b]−X · ([a, b]) = a(X · b)− (X · b)a−X · (ab− ba)
= a(X · b)− (X · b)a− (X · a)b− a(X · b) + (X · b)a− b(X · a)
= −[X · a, b] = ad(−X · a)b,
and we have [ad a,X] = ad(−X · a). So
R(ad a,X)Z =
(
∇X∇ad a −∇ad a∇X +∇[ad a,X]
)
Z
= ∇X(aZ)− a(∇XZ) +∇ad(−X·a)Z
= (X · a)Z + a(∇XZ)− a(∇XZ) + (−X · a)Z = 0.
Since R(X,Y ) is bilinear and antisymmetric in X and Y , it follows that R(X,Y ) only depends
on the projections of X and Y into the C-span of ∂1, . . . , ∂n.
Proposition 3.3. In the context of Definition 3.1, if X,Y ∈ DΘ, then R(X,Y ) is A∞Θ -linear,
i.e., “is a tensor”.
Proof. The classical proof works without change. Just expand
R(X,Y )(aZ) =
(
∇Y∇X −∇X∇Y +∇[X,Y ]
)(
aZ
)
using the Leibniz rule and observe that all the terms involving X · a and Y · a cancel out. �
Levi-Civita’s Theorem for Noncommutative Tori 7
Proposition 3.4. In the context of Definition 3.1, the Riemannian curvature satisfies the fol-
lowing symmetry properties for all j, k, `, m:
1. Rj,k,`,m +Rk,`,j,m +R`,j,k,m = 0 (Bianchi identity);
2. Rj,k,`,m = −Rk,j,`,m.
Proof. The easiest is (2), which is immediate from the fact that the definition of R(X,Y ) is
antisymmetric in X and Y .
Next we prove (1). We expand R(∂j , ∂k)∂`, etc., using the fact that ∇ is torsion-free, and
obtain
R(∂j , ∂k)∂` +R(∂k, ∂`)∂j +R(∂`, ∂j)∂k
= ∇k∇j∂` −∇j∇k∂` +∇`∇k∂j −∇k∇`∂j +∇j∇`∂k −∇`∇j∂k
= (∇k∇`∂j −∇k∇`∂j) + (∇`∇j∂k −∇`∇j∂k) + (∇j∇k∂` −∇j∇k∂`) = 0,
proving the Bianchi identity. �
As in classical Riemannian geometry, the symmetry properties of the curvature (Proposi-
tion 3.4) greatly cut down the number of independent components of the curvature, especially
in low dimension. But two additional symmetry properties that hold in the commutative case,
Rj,k,`,m = −Rj,k,m,` and Rj,k,`,m = R`,m,j,k, fail in general, as pointed out to me by Joakim Arn-
lind. For example, in the example below for the irrational rotation algebra Aθ (the case n = 2),
R1,2,2,2 and R1,2,1,1 can be nonzero.
4 An example
We illustrate our theory in the case of the irrational rotation algebra Aθ (for generic θ), and
a Riemannian metric that is a conformal deformation of the flat metric associated to the complex
elliptic curve C/(Z + iZ). For this flat metric, we have 〈∂j , ∂k〉 = δjk, so we choose a conformal
factor h = h∗ ∈ A∞θ and suppose 〈∂j , ∂k〉 = ehδjk. Formula (2.1) then determines the Levi-Civita
connection; we have
〈∇j∂k, ∂l〉 =
1
2
[
δkl∂j
(
eh
)
+ δjl∂k
(
eh
)
− δjk∂`
(
eh
)]
. (4.1)
For example, from (4.1),
〈∇1∂1, ∂1〉 =
1
2
∂1
(
eh
)
, 〈∇2∂2, ∂2〉 =
1
2
∂2
(
eh
)
.
We also get
〈∇1∂1, ∂2〉 = −1
2
∂2
(
eh
)
, 〈∇2∂2, ∂1〉 = −1
2
∂1
(
eh
)
.
So these imply that
∇1∂1 = −∇2∂2 =
1
2
(
∂1
(
eh
)
e−h∂1 − ∂2
(
eh
)
e−h∂2
)
=
1
2
(
k1∂1 − k2∂2
)
,
where we have written kj = ∂j(e
h)e−h. Similarly
∇2∂1 = ∇1∂2 =
1
2
(
∂2
(
eh
)
e−h∂1 + ∂1
(
eh
)
e−h∂2
)
=
1
2
(
k2∂1 + k1∂2
)
.
8 J. Rosenberg
This makes it possible to compute the curvature. We obtain
R1,2,1,2 = 〈R(∂1, ∂2)∂1, ∂2〉 = 〈∇2∇1∂1 −∇1∇2∂1, ∂2〉
=
1
2
〈
∇2
(
k1∂1 − k2∂2
)
−∇1
(
k2∂1 + k1∂2
)
, ∂2
〉
=
1
2
〈
∂2(k1)∂1 + k1∇2∂1 − ∂2(k2)∂2 − k2∇2∂2
− ∂1(k2)∂1 − k2∇1∂1 − ∂1(k1)∂2 − k1∇1∂2, ∂2
〉
.
The four terms without a ∇j in them contribute
−1
2
〈(
∂2(k2) + ∂1(k1)
)
∂2, ∂2
〉
= −1
2
(
∂2(k2) + ∂1(k1)
)
eh.
The remaining four terms contribute
1
2
[
k1〈∇2∂1, ∂2〉 − k2〈∇2∂2, ∂2〉 − k2〈∇1∂1, ∂2〉 − k1〈∇1∂2, ∂2〉
]
=
1
4
[
k1∂1
(
eh
)
− k2∂2
(
eh
)
+ k2∂2
(
eh
)
− k1∂1
(
eh
)]
= 0.
So we conclude that
R1,2,1,2 = −1
2
(
∂2(k2) + ∂1(k1)
)
eh (4.2)
and expanding using the definitions of k1 and k2:
= −1
2
(
∂2
2
(
eh
)
e−h − ∂2
(
eh
)
e−h∂2
(
eh
)
e−h + ∂2
1
(
eh
)
e−h − ∂1
(
eh
)
e−h∂1
(
eh
)
e−h
)
eh
= −1
2
(
∆
(
eh
)
− ∂1
(
eh
)
e−h∂1
(
eh
)
− ∂2
(
eh
)
e−h∂2
(
eh
))
, (4.3)
where ∆ is the Laplacian ∂2
1 +∂2
2 . If h and its derivatives all commute, then kj would just be ∂j(h)
and this would reduce to −1
2e
h∆h. On the other hand, in the commutative case, we would
really want the Gaussian curvature K, which would be e−2hR1,2,1,2 (since the vector fields ∂1
and ∂2 are orthogonal but not normalized), and we’d get the classical formula K = −1
2e
−h∆h.
Our calculation is clearly related to, but vastly simpler, than the calculations in [3] and [8].
Reconciling these very different approaches to curvature in noncommutative geometry is an
important problem for the future. However, we note that we do have an analogue of the Gauss–
Bonnet theorem in our context, which can be formulated as follows:
Proposition 4.1 (Gauss–Bonnet theorem). Let A∞θ be a smooth irrational rotation algebra,
with generic θ, equipped with a Riemannian metric 〈∂j , ∂k〉 = ehδjk, h = h∗ ∈ A∞θ as above.
Then if τ is the canonical trace on Aθ, we have τ(R1,2,1,2e
−h) = 0.
Proof. By formula (4.2), R1,2,1,2 e
−h is, up to a factor of−1
2 , just ∂1(k1)+∂2(k2). But τ(∂j(a)) =
0 for any a, since τ is invariant under the gauge action of T2 (see also [11, Lemma 2.1]). �
Remark 4.2. We should explain why Proposition 4.1, in the commutative case of T2 (θ = 0),
really is the Gauss–Bonnet theorem. In that case, τ is integration against Haar measure, and
so τ( · eh) is integration against the Riemannian volume form, which differs from the standard
volume form by
√
det(g) = eh. Since K = e−2hR1,2,1,2, the integral of K against the Riemannian
volume form is thus τ(R1,2,1,2 e
−2heh) = τ(R1,2,1,2 e
−h).
Levi-Civita’s Theorem for Noncommutative Tori 9
Acknowledgements
This research was supported by NSF grant DMS-1206159. The author thanks the referees and
the participants at the Fields Institute Focus Program for several interesting comments and
discussions. I would like to thank Joakim Arnlind for pointing out a mistake in the original
formulation of Proposition 3.4.
References
[1] Bratteli O., Elliott G.A., Jorgensen P.E.T., Decomposition of unbounded derivations into invariant and
approximately inner parts, J. Reine Angew. Math. 346 (1984), 166–193.
[2] Connes A., C∗ algèbres et géométrie différentielle, C. R. Acad. Sci. Paris Sér. A-B 290 (1980), A599–A604,
hep-th/0101093.
[3] Connes A., Moscovici H., Modular curvature for noncommutative two-tori, J. Amer. Math. Soc. 27 (2014),
639–684, arXiv:1110.3500.
[4] Connes A., Tretkoff P., The Gauss–Bonnet theorem for the noncommutative two torus, in Noncommutative
Geometry, Arithmetic, and Related Topics, Johns Hopkins Univ. Press, Baltimore, MD, 2011, 141–158,
arXiv:0910.0188.
[5] do Carmo M.P., Riemannian geometry, Mathematics: Theory & Applications, Birkhäuser Boston Inc.,
Boston, MA, 1992.
[6] Elliott G.A., The diffeomorphism group of the irrational rotation C∗-algebra, C. R. Math. Rep. Acad. Sci.
Canada 8 (1986), 329–334.
[7] Fathizadeh F., Khalkhali M., The Gauss–Bonnet theorem for noncommutative two tori with a general
conformal structure, J. Noncommut. Geom. 6 (2012), 457–480, arXiv:1005.4947.
[8] Fathizadeh F., Khalkhali M., Scalar curvature for the noncommutative two torus, J. Noncommut. Geom. 7
(2013), 1145–1183, arXiv:1110.3511.
[9] Fathizadeh F., Khalkhali M., Scalar curvature for noncommutative four-tori, arXiv:1301.6135.
[10] Levi-Civita T., Nozione di parallelismo in una varietà qualunque e conseguente specificazione geometrica
della curvatura riemanniana, Rend. Circ. Mat. Palermo 42 (1917), 172–205.
[11] Rosenberg J., Noncommutative variations on Laplace’s equation, Anal. PDE 1 (2008), 95–114,
arXiv:0802.4033.
http://dx.doi.org/10.1515/crll.1984.346.166
http://arxiv.org/abs/hep-th/0101093
http://dx.doi.org/10.1090/S0894-0347-2014-00793-1
http://arxiv.org/abs/1110.3500
http://arxiv.org/abs/0910.0188
http://dx.doi.org/10.4171/JNCG/97
http://arxiv.org/abs/1005.4947
http://dx.doi.org/10.4171/JNCG/145
http://arxiv.org/abs/1110.3511
http://arxiv.org/abs/1301.6135
http://dx.doi.org/10.2140/apde.2008.1.95
http://arxiv.org/abs/0802.4033
Introduction
1 Riemannian metrics and connections
2 Levi-Civita's theorem
3 Riemannian curvature
4 An example
References
|