Noncommutative Differential Geometry of Generalized Weyl Algebras

Elements of noncommutative differential geometry of Z-graded generalized Weyl algebras A(p;q) over the ring of polynomials in two variables and their zero-degree subalgebras B(p;q), which themselves are generalized Weyl algebras over the ring of polynomials in one variable, are discussed. In particu...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Symmetry, Integrability and Geometry: Methods and Applications
Дата:	2016
Автор:	Brzeziński, T.
Формат:	Стаття
Мова:	English
Опубліковано:	Інститут математики НАН України 2016
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/147755
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Noncommutative Differential Geometry of Generalized Weyl Algebras / T. Brzeziński // Symmetry, Integrability and Geometry: Methods and Applications. — 2016. — Т. 12. — Бібліогр.: 25 назв. — англ.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	nasplib_isofts_kiev_ua-123456789-147755
record_format	dspace
spelling	Brzeziński, T. 2019-02-15T19:11:48Z 2019-02-15T19:11:48Z 2016 Noncommutative Differential Geometry of Generalized Weyl Algebras / T. Brzeziński // Symmetry, Integrability and Geometry: Methods and Applications. — 2016. — Т. 12. — Бібліогр.: 25 назв. — англ. 1815-0659 2010 Mathematics Subject Classification: 16S38; 58B32; 58B34 DOI:10.3842/SIGMA.2016.059 https://nasplib.isofts.kiev.ua/handle/123456789/147755 Elements of noncommutative differential geometry of Z-graded generalized Weyl algebras A(p;q) over the ring of polynomials in two variables and their zero-degree subalgebras B(p;q), which themselves are generalized Weyl algebras over the ring of polynomials in one variable, are discussed. In particular, three classes of skew derivations of A(p;q) are constructed, and three-dimensional first-order differential calculi induced by these derivations are described. The associated integrals are computed and it is shown that the dimension of the integral space coincides with the order of the defining polynomial p(z). It is proven that the restriction of these first-order differential calculi to the calculi on B(p;q) is isomorphic to the direct sum of degree 2 and degree −2 components of A(p;q). A Dirac operator for B(p;q) is constructed from a (strong) connection with respect to this differential calculus on the (free) spinor bimodule defined as the direct sum of degree 1 and degree −1 components of A(p;q). The real structure of KO-dimension two for this Dirac operator is also described. The author would like to express his gratitude to the referees for many helpful and detailed comments and suggestions. en Інститут математики НАН України Symmetry, Integrability and Geometry: Methods and Applications Noncommutative Differential Geometry of Generalized Weyl Algebras Article published earlier
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
title	Noncommutative Differential Geometry of Generalized Weyl Algebras
spellingShingle	Noncommutative Differential Geometry of Generalized Weyl Algebras Brzeziński, T.
title_short	Noncommutative Differential Geometry of Generalized Weyl Algebras
title_full	Noncommutative Differential Geometry of Generalized Weyl Algebras
title_fullStr	Noncommutative Differential Geometry of Generalized Weyl Algebras
title_full_unstemmed	Noncommutative Differential Geometry of Generalized Weyl Algebras
title_sort	noncommutative differential geometry of generalized weyl algebras
author	Brzeziński, T.
author_facet	Brzeziński, T.
publishDate	2016
language	English
container_title	Symmetry, Integrability and Geometry: Methods and Applications
publisher	Інститут математики НАН України
format	Article
description	Elements of noncommutative differential geometry of Z-graded generalized Weyl algebras A(p;q) over the ring of polynomials in two variables and their zero-degree subalgebras B(p;q), which themselves are generalized Weyl algebras over the ring of polynomials in one variable, are discussed. In particular, three classes of skew derivations of A(p;q) are constructed, and three-dimensional first-order differential calculi induced by these derivations are described. The associated integrals are computed and it is shown that the dimension of the integral space coincides with the order of the defining polynomial p(z). It is proven that the restriction of these first-order differential calculi to the calculi on B(p;q) is isomorphic to the direct sum of degree 2 and degree −2 components of A(p;q). A Dirac operator for B(p;q) is constructed from a (strong) connection with respect to this differential calculus on the (free) spinor bimodule defined as the direct sum of degree 1 and degree −1 components of A(p;q). The real structure of KO-dimension two for this Dirac operator is also described.
issn	1815-0659
url	https://nasplib.isofts.kiev.ua/handle/123456789/147755
citation_txt	Noncommutative Differential Geometry of Generalized Weyl Algebras / T. Brzeziński // Symmetry, Integrability and Geometry: Methods and Applications. — 2016. — Т. 12. — Бібліогр.: 25 назв. — англ.
work_keys_str_mv	AT brzezinskit noncommutativedifferentialgeometryofgeneralizedweylalgebras
first_indexed	2025-11-24T16:09:03Z
last_indexed	2025-11-24T16:09:03Z
_version_	1850850853777309696
fulltext	Symmetry, Integrability and Geometry: Methods and Applications SIGMA 12 (2016), 059, 18 pages Noncommutative Differential Geometry of Generalized Weyl Algebras Tomasz BRZEZIŃSKI †‡ † Department of Mathematics, Swansea University, Singleton Park, Swansea SA2 8PP, UK E-mail: T.Brzezinski@swansea.ac.uk ‡ Department of Mathematics, University of Bia lystok, K. Cio lkowskiego 1M, 15-245 Bia lystok, Poland Received February 29, 2016, in final form June 14, 2016; Published online June 23, 2016 http://dx.doi.org/10.3842/SIGMA.2016.059 Abstract. Elements of noncommutative differential geometry of Z-graded generalized Weyl algebras A(p; q) over the ring of polynomials in two variables and their zero-degree subalge- bras B(p; q), which themselves are generalized Weyl algebras over the ring of polynomials in one variable, are discussed. In particular, three classes of skew derivations of A(p; q) are con- structed, and three-dimensional first-order differential calculi induced by these derivations are described. The associated integrals are computed and it is shown that the dimension of the integral space coincides with the order of the defining polynomial p(z). It is proven that the restriction of these first-order differential calculi to the calculi on B(p; q) is isomorphic to the direct sum of degree 2 and degree −2 components of A(p; q). A Dirac operator for B(p; q) is constructed from a (strong) connection with respect to this differential calculus on the (free) spinor bimodule defined as the direct sum of degree 1 and degree −1 components of A(p; q). The real structure of KO-dimension two for this Dirac operator is also described. Key words: generalized Weyl algebra; skew derivation; differential calculus; principal co- module algebra; strongly graded algebra; Dirac operator 2010 Mathematics Subject Classification: 16S38; 58B32; 58B34 1 Introduction In this paper we continue the study initiated in [5] of some aspects of the noncommutative geometry of a class of degree-one generalized Weyl algebras [1] or rank-one hyperbolic alge- bras [19] over the polynomial ring in one and two variables. We denote these algebras respectively by B(p; q) and A(p; q), where q is a non-zero element of the ground field K (of characteristic 0) and p is a polynomial in one variable. B(p; q) can be interpreted as the coordinate algebra of a noncommutative surface, while, as shown in [5], A(p; q) is a noncommutative principal circle bundle over B(p; q) provided zero is not a root of p. In algebraic terms this means that A(p; q) is a strongly Z-graded algebra [13] (or a Clifford system [12]) and B(p; q) is isomorphic to the degree-zero part of A(p; q). Perhaps best-known examples of such algebras are the standard quantum Podleś sphere [22] with the quantum SUq(2)-group [24] as a bundle over it (in this case p is a linear polynomial) which together form the quantum Hopf fibration [9]. More recent examples include quantum teardrops [7] with quantum lens spaces [15] as bundles over them. While in [5] we concentrated on establishing thatA(p; q) are principal comodule algebras [8] or noncommutative principal bundles [9] over B(p; q) and on some homological properties of A(p; q), the aim of the present article is to describe differential aspects of these algebras. We begin by introducing three families of skew derivations on A(p; q). Each family is labeled by a scalar, and they include derivations of Z-degrees −2 (denoted by ∂+), 0 (denoted by ∂0) and 2 (denoted by ∂−), respectively. The Leibniz rule for each of these skew derivations is twisted by an mailto:T.Brzezinski@swansea.ac.uk http://dx.doi.org/10.3842/SIGMA.2016.059 2 T. Brzeziński automorphism, denoted by σ+, σ0 and σ−, respectively. Choosing one member of each family, we form the system (∂i, σi), i = ±, 0 which is a (diagonal) free twisted multi-derivation of size 3 and thus defines a genuine derivation d with values in a free left (and right) A(p; q)-module Ω; see, e.g., [6]. As a left A(p; q)-module, Ω is isomorphic to A(p; q)3, while the right A(p; q)-action is twisted by automorphisms σi; see (4.1) for the definition of the right action and (4.2) for the definition of d. Next we show in Theorem 4.2 that if the algebra A(p; q) is regular, i.e., p(0) 6= 0 and p(z) is coprime with its q2-derivative (see Definition 2.1) and q2 6= 1, or p has degree at most one and a non-zero constant term, then Ω = A(p; q)d (A(p; q)), that is (Ω, d) is a first-order differential calculus over A(p; q). In the complex case, if q and all the coefficients of p are real, A(p; q) can be made into a ∗-algebra and (Ω, d) into a ∗-calculus. In the case of the linear polynomial p(z) = 1 − z the ∗-calculus (Ω, d) coincides with the 3D (left) covariant calculus on SUq(2) introduced by Woronowicz in [25]. Since the bimodule of one-forms Ω is free both as a left and right A(p; q)-module, the cotangent bundle of the noncommutative space described by A(p; q) is trivial. Following the procedure described in [6] we associate a divergence or a hom-connection [4] to (Ω, d), establish that the dimension of its cokernel or the integral space is equal to the degree of p(z) and find a recursive formula that determines the associated integral. Next we discuss the restriction of (Ω, d) to the calculus on the degree-zero subalgebra ofA(p; q) isomorphic to B(p; q). We show that in the regular case, the sections of the cotangent bundle are isomorphic to the direct sum of degree −2 and 2 components of A(p; q) provided q4 6= 1 or p is linear. This interpretation gives a natural splitting of the calculus on B(p; q) into holomorphic and anti-holomorphic forms. Furthermore, it allows one to apply techniques developed by Beggs and Majid in [2] to construct Dirac operators on B(p; q). The sections of the spinor bundle are isomorphic to the direct sum of degree −1 and 1 components of A(p; q). We show that this direct sum is free as a left (or right) B(p; q)-module, a result that mimics exactly what happens in the case of the standard quantum 2-sphere [20]. Again following the Beggs–Majid procedure from [2] we equip thus constructed Dirac operators with real structures, and determine their KO-dimension to be 2 (modulo 8). This further enforces heuristic understanding of regular generalized Weyl algebras B(p; q) as coordinate algebras of noncommutative Riemann surfaces. Throughout, all algebras are associative, unital and defined over a field K of characteristic 0. 2 Preliminaries Definition 2.1. Let K be a field of characteristic 0, q ∈ K, and let p(z) be a polynomial in one variable with coefficients from K. Let pq(z) := p(qz)− p(z) (q − 1)z , (2.1) denote the q-derivative of p. We say that p is a q-separable polynomial if p(z) is coprime with zpq(z). It is clear from Definition 2.1 that 0 cannot be a root of a q-separable polynomial. Further- more, the properties of greatest common divisors imply that if q 6= 1, a non-constant polyno- mial p(z) is q-separable if and only if it has no common factors with p(qz) other than scalars. In case of q = 1 in which the q-derivative (2.1) is the usual formal derivative of polynomials, a 1-separable polynomial is simply a separable polynomial with a non-zero constant term. In the following definition the algebras studied in this paper are introduced. Definition 2.2. Let K be a field, q 6= 0 an element of K, and let p be a polynomial in one variable with coefficients from K. Noncommutative Differential Geometry of Generalized Weyl Algebras 3 (1) The algebra A(p; q) is an affine algebra generated by x+, x−, z−, z+ subject to relations: z+z− = z−z+, x+z± = q−1z±x+, x−z± = qz±x−, (2.2a) x+x− = p(z+z−), x−x+ = p ( q2z−z+ ) . (2.2b) (2) The algebra B(p; q) is an affine algebra generated by x, y, z subject to relations: xz = q2zx, yz = q−2zy, xy = q2zp ( q2z ) , yx = zp(z). (3) We say that A(p; q) (resp. B(p; q)) is regular provided p is a q2-separable polynomial. Both A(p; q) and B(p; q) are degree-one generalized Weyl algebras [1]; A(p; q) is defined over the ring K[z+, z−], while B(p; q) extends K[z]. The algebra A(p; q) is a Z-graded algebra with the grading given on the generators by \|z±\| = \|x±\| = ±1. The degree-zero subalgebra A(p; q)0 is isomorphic to B(p; q) by the map Θ: B(p; q)→ A(p; q)0, x 7→ x−z+, y 7→ z−x+, z 7→ z−z+. (2.3) If K = C, q is a real number and p has real coefficients, then both A(p; q) and B(p; q) can be made into ∗-algebras by setting z∗− = z+, x∗− = x+; z∗ = z, x∗ = y. (2.4) The map Θ is then an isomorphism of ∗-algebras. In the case of the (q2-separable) polynomial p(z) = l−1∏ k=0 ( 1− q−2 k l z ) , the ∗-algebra A(p; q) is the coordinate algebra of a quantum lens space [15], while B(p; q) is the coordinate algebra of the quantum teardrop [7]. Furthermore, if l = 1, A(p; q) is the coordinate algebra of the quantum SUq(2) group [24], while B(p; q) is the standard Podleś sphere algebra [22]. Finally, if p is a non-zero constant polynomial, then x+ is invertible with the inverse proportional to x−, hence A(p; q) is a q-skew Laurent polynomial algebra over the ring of polynomials in two variables. In this case B(p; q) is the quantum plane (the quantum polynomial ring in two variables). As explained in [5, Theorem 3.7], if p(0) 6= 0, then A(p; q) is a strongly graded algebra, i.e., every homogeneous element of A(p; q) of degree k + l can be written as a linear combination of products of elements of degrees k and l [13, 21]. Equivalently, there exists a mapping (called a strong connection [14]) ` : Z→ A(p; q)⊗A(p; q), such that, for all n ∈ Z, `(n) ∈ A(p; q)−n ⊗A(p; q)n and the composition of ` with the multipli- cation in A(p; q) is the constant function n 7→ 1 ∈ A(p; q). In consequence, all the homogeneous components A(p; q)n are projective (in fact invertible) modules over the degree-zero subalgebra identified with B(p; q). These modules are mutually non-isomorphic, provided q is not a root of unity and p has at least one non-zero root. Geometrically all this means that A(p; q) is a non- commutative principal circle bundle over B(p; q) and that A(p; q)n are (modules of sections of) non-trivial and mutually non-equivalent line bundles over B(p; q) [9]. 4 T. Brzeziński 3 Skew derivations on A(p; q) Let A be an algebra and σ an algebra automorphism of A. We say that a linear map ∂ : A → A is a (right) skew σ-derivation or that (∂, σ) is a (right) skew derivation if, for all a, b ∈ A, ∂(ab) = ∂(a)σ(b) + a∂(b). Theorem 3.1. Let A(p; q) be a generalized Weyl algebra as in Definition 2.2, and let z := z+z−. Consider linear maps σ±, σ0 of A(p; q) defined on the homogeneous elements a ∈ A(p; q) by σ±(a) = q\|a\|a, σ0(a) = q2\|a\|a, (3.1) and the polynomial c(z) := qpq2(z) = q p ( q2z ) − p(z)( q2 − 1 ) z . (3.2) Then: (1) The maps σ±, σ0 are algebra automorphisms of A(p; q). (2) For all α0 ∈ K, the map ∂0 defined on the generators of A(p; q) by ∂0(x+) = α0x+, ∂0(x−) = −q−2α0x− ∂0(z+) = α0z+, ∂0(z−) = −q−2α0z−, extends to the whole of A(p; q) as a skew σ0-derivation. (3) For all α− ∈ K, the map ∂− defined on the generators of A(p; q) by ∂−(x+) = ∂−(z+) = 0, ∂−(x−) = α−c(z)z+, ∂−(z−) = α−x+, extends to the whole of A(p; q) as a skew σ−-derivation. (4) For all α+ ∈ K, the map ∂+ defined on the generators of A(p; q) by ∂+(x−) = ∂+(z−) = 0, ∂+(x+) = α+c(z)z−, ∂+(z+) = α+x−, extends to the whole of A(p; q) as a skew σ+-derivation. (5) The maps ∂0, ∂± are q-skew derivations, i.e., σ−10 ◦ ∂0 ◦ σ0 = ∂0, σ−1± ◦ ∂± ◦ σ± = q±2∂±. (3.3) (6) The maps δ± := ∂± ◦ Θ: B(p; q) → A(p; q)∓2, where Θ is the isomorphism (2.3), are A(p; q)∓2-valued derivations, while ∂0 ◦Θ = 0. Proof. (1) The statement follows immediately from the fact that A(p; q) is a graded algebra. (2) We need to check that the skew derivation property of ∂0 is compatible with relations (2.2). We compute ∂0(z−z+) = ∂0(z−)σ0(z+) + z−∂0(z+) = α0 ( −q−2 × q2 + 1 ) z−z+ = 0 = α0 ( q−2 − q−2 ) z+z− = ∂0(z+)σ0(z−) + z+∂0(z−) = ∂0(z+z−). This calculation implies further that, for all polynomials f , ∂0(f(z)) = 0. Hence ∂0(x+x−) = ∂0(x+)σ0(x−) + x+∂0(x−) = α0 ( q−2 − q−2 ) x+x− = 0 = ∂0(p(z)) Noncommutative Differential Geometry of Generalized Weyl Algebras 5 and ∂0(x−x+) = ∂0(x−)σ0(x+) + x−∂0(x+) = α0 ( −q−2 × q2 + 1 ) x−x+ = 0 = ∂0 ( p ( q2z )) . In a similar way one easily finds that ∂0(x−z+) = 0 = ∂0(qz+x−), ∂0(z−x+) = 0 = ∂0(qx+z−). Finally, ∂0(x+z+) = ∂0(x+)σ0(z+) + x+∂0(z+) = α0 ( q2 + 1 ) x+z+ and ∂0(z+x+) = ∂0(z+)σ0(x+) + z+∂0(x+) = α0 ( q2 + 1 ) z+x+ = qα0 ( q2 + 1 ) x+z+ = ∂0(qx+z+). In a similar way the compatibility of the σ0-skew derivation property of ∂0 with the last of commutation relations in A(p; q), i.e., that ∂0(x−z−) = ∂0(qz−x−) is checked. (3) As in (2) we need to check that the skew derivation property of ∂− is compatible with relations (2.2). We start with ∂−(x−z−) = ∂−(x−)σ−(z−) + x−∂−(z−) = α− ( q−1c(z)z+z− + x−x+ ) = α− ( p ( q2z ) − p(z) q2 − 1 + p ( q2z )) = α− q2p ( q2z ) − p(z) q2 − 1 . On the other hand ∂−(qz−x−) = q∂−(z−)σ−(x−) + qz−∂−(x−) = α−(x+x− + qz−c(z)z+) = α− ( p(z) + q2 p ( q2z ) − p(z) q2 − 1 ) = α− q2p ( q2z ) − p(z) q2 − 1 = ∂−(x−z−), as required. Clearly, ∂−(qx+z+) = 0 = ∂−(z+x+). Next ∂−(z−z+) = ∂−(z−)σ−(z+) + z−∂−(z+) = qα−x+z+ = α−z+x+ = ∂−(z+)σ−(z−) + z+∂−(z−) = ∂−(z+z−). In a similar way one finds ∂−(x−z+) = qα−c(z)z 2 + = ∂−(qz+x−) and ∂−(z−x+) = qα−x 2 + = ∂−(qx+z−). Finally, observe that, for all polynomials f , ∂−(f(z−)) = α− f ( q−2z− ) − f(z−)( q−2 − 1 ) z− x+, and, since ∂−(z+) = 0, ∂−(f(z)) = α− f ( q−2z ) − f(z)( q−2 − 1 ) z z+x+. 6 T. Brzeziński Thus, in particular, ∂−(p(z)) = α−q −1c ( q−2z ) z+x+ and ∂− ( p ( q2z )) = α−qc(z)z+x+. Using these observations one easily finds that ∂−(p(z)) = ∂−(x+x−) and ∂− ( p ( q2z )) = ∂−(x−x+), as required. (4) This statement is proven in a way analogous to statement (3). Alternatively, one can observe that the assignment x± 7→ x∓, z± 7→ z∓, defines an anti-algebra automorphism ϕ of A(p; q), under which ∂+ ∝ ϕ−1 ◦ ∂− ◦ ϕ; hence (3) implies (4). (5) One can easily check that ∂0 is a degree-zero map, while ∂± are degree ∓2 maps, i.e., for all homogeneous a, \|∂0(a)\| = \|a\|, \|∂±(a)\| = \|a\| ∓ 2. In view of the form of the automorphisms (3.1), equations (3.3) follow immediately. (6) Since the automorphisms σ± restricted to the degree-zero subalgebra of A(p; q) are the identity maps, the restrictions of skew derivations ∂± to this subalgebra satisfy the usual Leib- niz rule, and thus so do the δ± by the algebra map property of Θ. Furthermore, since ∂± are degree ∓2 maps, the codomains of δ± come out as stated. The calculations of part (2) to- gether with the (skew) derivation property show that ∂0 restricted to the degree-zero subalgebra of A(p; q) is the zero map, and so is δ0. � 4 Differential and integral calculi on A(p; q) In this section, to the system of skew derivations on A(p; q) constructed in Theorem 3.1 we associate an A(p; q)-bimodule Ω with a derivation d : A(p; q) → Ω, and show that (Ω, d) forms a first-order differential calculus for A(p; q). We then proceed to discuss the canonical divergence or hom-connection associated to (Ω, d), and calculate the corresponding integral and integral space. We assume that the constants α±, α0 in Theorem 3.1 are not equal to zero. Definition 4.1. Let A be an algebra. By a first-order differential calculus on A we mean an A-bimodule Ω together with a K-linear map d : A → Ω such that (a) d is an Ω-valued derivation of A, i.e., it satisfies the Leibniz rule: for all a, b ∈ A, d(ab) = d(a)b+ ad(b); (b) Ω satisfies the density condition Ω = Ad(A), i.e., for all ω ∈ Ω, there exists a finite number of elements ai, bi ∈ A such that ω = ∑ i aid(bi). If A is a complex ∗-algebra, then the calculus (Ω, d) is said to be a ∗-calculus provided Ω is equipped with an anti-linear operation ∗ such that, for all a, b ∈ A, ω ∈ Ω, (aωb)∗ = b∗ω∗a∗ and d(a∗) = d(a)∗. Noncommutative Differential Geometry of Generalized Weyl Algebras 7 Note that due to the Leibniz rule, the density condition can be equivalently stated as Ω = d(A)A or Ω = d(A)A+Ad(A). Following the construction of [6], fix a finite indexing set I, and let (∂i, σi), i ∈ I, be a collection of (right) skew derivations on an algebra A. Let Ω be a free left A-module with a free basis ωi, i ∈ I. Define the (free) right A-module structure on Ω by setting ωia := σi(a)ωi. (4.1) Then the map d : A → Ω, a 7→ ∑ i∈I ∂i(a)ωi, (4.2) is an Ω-valued derivation of A, i.e., it satisfies condition (a) in Definition 4.1. There is no guarantee in general that the density condition of Definition 4.1 be satisfied, though. Theorem 4.2. Let ∂0, ∂± be skew derivations of a regular generalized Weyl algebra A(p; q) defined in Theorem 3.1, with α0, α± 6= 0. Set I = {−, 0,+}, let Ω be a free left A(p; q)-module with a basis ω−, ω0, ω+, and equip it with the right module structure (4.1). If q2 6= 1 or deg(p(z)) ≤ 1, then Ω together with the map d : A(p; q) → Ω defined by (4.2) is a first-order calculus on A(p; q). Proof. We start by listing explicitly relations that define Ω and d on generators. The bimodule structure of Ω is determined from the relations: ω−z± = q±1z±ω−, ω−x± = q±1x±ω−, (4.3a) ω0z± = q±2z±ω0, ω0x± = q±2x±ω0, (4.3b) ω+z± = q±1z±ω+, ω+x± = q±1x±ω+. (4.3c) The action of d on the generators of A(p; q) comes out as d(x+) = α0x+ω0 + α+c(z)z−ω+, (4.4a) d(x−) = −q−2α0x−ω0 + α−c(z)z+ω−, (4.4b) d(z+) = α0z+ω0 + α+x−ω+, (4.4c) d(z−) = −q−2α0z−ω0 + α−x+ω−, (4.4d) where, as before, we write z = z−z+ and c(z) is given by (3.2). We need to prove that ω±, ω0 ∈ A(p; q)d(A(p; q)) = A(p; q)d(A(p; q)) + d(A(p; q))A(p; q). First assume that q2 6= 1. Using relations (4.3) and (4.4) one finds that z−d(z+)− d(z+)z− = ( 1− q−2 ) α0zω0, and since α0 6= 0 and q2 6= 1, we conclude that zω0 ∈ A(p; q)d(A(p; q)). Again using rela- tions (4.3) and (4.4) one finds that d(x+)x− − q−1c(z)z−d(z+) + q2x+d(x−)− qz+d(z−)c(z) = ( q−2 − 1 ) α0p(z)ω0, hence also p(z)ω0 ∈ A(p; q)d(A(p; q)). Since the polynomial p(z) is q2-separable it does not have a factor z, and thus, by the Bézout identity there exist polynomials f(z), g(z) such that f(z)z + g(z)p(z) = 1. 8 T. Brzeziński In the light of this, multiplying from the left zω0 by f(z) and p(z)ω0 by g(z) we obtain that ω0 ∈ A(p; q)d(A(p; q)), as required. If p(z) = λz + µ, with scalar coefficients λ and µ 6= 0 (which is necessary for p to be q2-regular), then in view of (4.4), (4.3) and (2.2) x−d(x+)− q2λz−d(z+) = α0µω0, and so ω0 ∈ A(p; q)d(A(p; q)) with no assumptions on q. In view of equations (4.4), also c(z)z±ω±, x±ω± ∈ A(p; q)d(A(p; q)). Multiplying the first pair by z∓ and the second by x∓, and using relations (2.2) we conclude that zc(z)ω±, p(z)ω± ∈ A(p; q)d(A(p; q)). Since the polynomial p(z) is q2-separable, there is a polynomial combination of p(z) and zc(z) that gives 1, and hence ω± ∈ A(p; q)d(A(p; q)). This completes the proof of the density condition and thus also of the theorem. � Remark 4.3. If A(p; q) is a complex ∗-algebra as in (2.4), then the calculus described in Theorem 4.2 can be made into a ∗-calculus with the ∗-operation defined on the generators by ω∗± = ω∓, ω∗0 = −ω0, provided α0 ∈ R and α∗− = qα+. Remark 4.4. Up to rescaling of generators or up to making suitable choices for the parame- ters α0, α±, in the case of p(z) = 1 − z, the calculus in Theorem 4.2 coincides with the 3D calculus of Woronowicz on the quantum SUq(2)-group [25]. Remark 4.5. If deg(p(z)) > 1, the arguments used in the proof of Theorem 4.2 make significant use of the fact that q2 6= 1, hence they do not apply to the classical case q = 1. However, if p(z) is a non-zero constant or linear polynomial with a non-zero constant term, such as for example in the preceding remark, the assertion of Theorem 4.2 remains true if q = 1. The resulting commutative algebra is the coordinate algebra of a parallelisable manifold (the product of the circle with the plane or the three-sphere), hence the module of sections of the cotangent bundle is free. If p has higher degree, there is no reason why the corresponding manifold should be a parallelisable three-manifold, and thus no reason to expect its cotangent bundle to be (globally) trivial. In short, one can thus say that the q-deformation trivializes the cotangent bundle in this case or that noncommutativity forces triviality. Note also that the if q 6= ±1, the assertions of Theorem 4.2 hold also for polynomials with repeated roots (as long as they are q2-separable) as the q2-separability of p(z) does not imply that p(z) has no repeated roots (this implication only holds in the case q2 = 1). If p(z) has repeated roots then both in the commutative and noncommutative cases, the algebra A(p; q) has infinite global dimension [1], and hence it is not homologically smooth in the sense of [23], i.e., it does not admit a finite-length resolution by finitely generated and projective bimodules. Yet, it admits a globally defined first-order differential calculus. In the light of arguments for the interpretation of a homologically smooth algebra as a coordinate algebra on a smooth noncommutative space [17] the author finds this quite surprising. The notions recalled in the following definition were introduced in [4] and [6]. Noncommutative Differential Geometry of Generalized Weyl Algebras 9 Definition 4.6. Let A be an algebra with a first-order differential calculus (Ω, d). Let I denote the space of right A-linear maps Ω→ A equipped with the left and right A-actions: a · f · b(ω) := af(bω), for all a, b ∈ A, ω ∈ Ω, f ∈ I. A divergence or an A-valued hom-connection on A (relative to the first-order calculus (Ω, d)) is a linear map div : I→ A, such that, for all a ∈ A and ξ ∈ I, div(ξ · a) = div(ξ)a+ ξ(d(a)). The cokernel coker(div) is called the integral space associated to div and the cokernel map Λ: A → coker(div) is called the integral on A associated to div. The triple (I,div,Λ) is called a first-order integral calculus on A. Proposition 4.7. Let (Ω, d) be the first-order differential calculus on a regular generalized Weyl algebra A = A(p; q) with the parameter q that is not a root of unity, as described in Theorem 4.2. Let I = HomA(Ω,A) and set n = deg(p(z)). Define div : I→ A, ξ 7→ q−2∂−(ξ(ω−)) + ∂0(ξ(ω0)) + q2∂+(ξ(ω+)). (4.5) (1) The map div is the unique divergence such that div(ξi) = 0, i = −, 0,+, where the ξi form the basis for I dual to the ωi, i.e., ξi(ωj) = δij, i, j ∈ {−, 0,+}. (2) The integral Λ vanishes on all elements of A(p; q) except for the subalgebra K[z], where it satisfies, for all f(z) ∈ K[z], Λ ( q2p ( q2z ) f ( q2z )) = Λ(p(z)f(z)). (4.6) (3) The integral space associated to div is n-dimensional with a basis vi := Λ(zi), i = 0, 1, . . . , n− 1. Furthermore, for all k ∈ N, Λ ( zn+k ) = n−1∑ i=0 [i+ 1] [n+ k + 1] βki vi, (4.7) where [l] := 1− q2l 1− q2 = 1 + q2 + · · ·+ q2l−2, l ∈ N, (4.8) denote q2-integers, and the coefficients βki are determined from the recurrence relations as follows. Let p̂(z) be the monic polynomial associated to p(z) and write p̂(z) = zn − n−1∑ i=0 µiz i. (4.9) Then βki = n∑ j=1 µn−jβ k−j i + µi−k, µl = βli = 0 if l < 0. (4.10) Proof. (1) Since, by Theorem 3.1, the calculus (Ω, d) is associated to q-skew derivations ∂i, the assertion follows from [6, Theorem 3.4]. 10 T. Brzeziński (2) Using the definition of ∂0 and the fact that it is a skew derivation one easily finds that, for all m > 0, ∂0 ( xn+ ) = α0[n]xn+, ∂0 ( zn+ ) = α0[n]zn+, where the notation (4.8) is used, and hence ∂0 ( xn+z m + ) = α0[m+ n]xn+z m + . (4.11) In a similar way, ∂0 ( xn−z m − ) = α0q −2(m+n−1)[m+ n]xn−z m − . (4.12) A linear basis for A(p; q) consists of xn−z m + z l −, xn+z m + z l −. Since the degree-zero subalgebra B of A(p; q) is isomorphic to B(p; q), and hence it is generated by x = x−z+, y = z−x+, z = z−z+, for all positive k, the degree k-part of A(p; q) is generated by xk+, x k−1 + z+, . . . , x+z k−1 + , zk+, as a B-module. Similarly, for a negative k, as a B-module, the degree k component of A(p; q) is generated by x−k− , x−k−1− z−, . . . , x−z −k−1 − , z−k− . By statement (6) of Theorem 3.1, ∂0 restricted to B is the zero map, and thus, being a skew derivation twisted by an automorphism that is the identity on B, it is a B-bimodule map. Therefore, in view of formulae (4.11), (4.12) and (4.5),⊕ k∈Z\{0} A(p; q)k ⊆ Im(∂0) ⊆ Im(div) = ker Λ. (4.13) Next, using the definition of ∂+ and the fact that it is a skew derivation, one easily finds that, for all n > 0, ∂+ ( zn+ ) = α+q −n+1[n]x−z n−1 + . Since ∂+(x−) = ∂+(z−) = 0, we can compute ∂+ ( xk−z k+l+2 + zl− ) = q−lxk−∂+ ( zk+l+2 + ) zl− = α+q −k−2l−1[k + l + 2]xk+1 − zk+1 + zl+z l − = α+q −2l+ (k−1)k 2 −1[k + l + 2]xk+1zl. Therefore, for all k, l ∈ N, xk+1zl ∈ Im(∂+) ⊆ Im(div) = ker Λ. (4.14) Arguing in a similar way but with ∂− instead of ∂+, one finds that yk+1zl ∈ Im (∂−) ⊆ Im (div) = ker Λ. (4.15) Putting (4.13), (4.14) and (4.15) together we can conclude that Λ could be non-zero only on polynomials in z. In view of the definitions of the divergence (4.5) and skew derivations ∂±, the only way to obtain a polynomial in z in the image of div is to apply ∂− to x−z−f(z) or ∂+ to x+z+g(z), where f(z), g(z) ∈ K[z]. This gives ∂−(x−z−f(z)) = α− q2 − 1 ( q2p(q2z)f(q2z)− p(z)f(z) ) Noncommutative Differential Geometry of Generalized Weyl Algebras 11 and ∂+(x+z+g(z)) = α+ q2 − 1 ( q2p ( q2z ) g(z)− p(z)g ( q−2z )) . Therefore, the only polynomials in z contained in Im(div) = ker Λ have the form q2p ( q2z ) f ( q2z ) − p(z)f(z), f(z) ∈ K[z]. This proves the equation (4.6). (3) Equation (4.6) gives a recurrence relation for the values of Λ on powers of z. Clearly, (4.6) remains true if p is replaced by the associated monic p̂, and when the latter is written as in (4.9), then the formula (4.6), evaluated at f(z) = zk, k ∈ N, gives Λ ( zn+k ) = 1 q2n+2k+2 − 1 n−1∑ i=0 ( q2k+2i+2 − 1 ) µiΛ ( zk+i ) = n−1∑ i=0 [i+ k + 1] [n+ k + 1] µiΛ ( zk+i ) . (4.16) As the recurrence relation (4.16) has order n and µ0 6= 0, its space of solutions, which coincides with the integral space for Λ, is n-dimensional as stated. Its basis can be chosen as v0 = Λ(1), v1 = Λ(z), . . . , vn−1 = Λ ( zn−1 ) . Using (4.16) repeatedly, and observing that Λ(zk+i) has the q2-integer [i + k + 1] in the deno- minator, which cancels out [i + k + 1] in (4.16) one realizes that the expression for Λ(zn+k) in terms of the vi depends on q2-rational numbers precisely as in (4.7). Then the formula (4.10) for q-independent coefficients is obtained and verified inductively. � Example 4.8. Let us consider a regular generalized Weyl algebra A(p; q) with q not a root of unity and p(z) = z2 − 1. Then µ0 = 1 and µ1 = 0 and the recurrence relations (4.10) take the form β00 = β11 = 1, β01 = β10 = 0, βki = βk−2i , for all k > 1. Thus, by (4.7) the integral associated to the calculus Ω is Λ ( zk ) =  1 [k + 1] Λ(1), if k is even, [2] [k + 1] Λ(z), if k is odd, and zero on all other elements of the basis xn−z m + z l −, xn+z m + z l − for A(p; q). Example 4.9. Let us consider a regular generalized Weyl algebra A(p; q) with q not a root of unity and p(z) = (z − 1)2. Then µ0 = −1 and µ1 = 2 and the recurrence relations (4.10) take the form β00 = −1, β01 = 2, β10 = −2, β11 = 3, βki = 2βk−1i − βk−2i , for all k > 1, which have solutions βk0 = −(k + 1), βk1 = k + 2. Therefore, Λ ( zk ) = − k − 1 [k + 1] Λ(1) + [2] [k + 1] kΛ(z), and zero on all other elements of the basis xn−z m + z l −, xn+z m + z l − for A(p; q). 12 T. Brzeziński 5 Differential calculus and Dirac operators on B(p; q) In this section we identify the algebra B(p; q) with the degree-zero subalgebra of A(p; q) via the isomorphism (2.3), and describe a first-order differential calculus and Dirac operators on B(p; q). We assume that the parameters α± in Theorem 3.1 are non-zero. Theorem 5.1. Let A(p; q) be a regular generalized Weyl algebra, with q not a quartic root of unity or otherwise deg(p(z)) ≤ 1, and let (Ω, d) be the first-order differential calculus defined in Theorem 4.2. View B(p; q) as a degree-zero subalgebra of A(p; q) and let Ω̄ := B(p; q)d(B(p; q))B(p; q) be the calculus on B(p; q) induced from (Ω, d). Then Ω̄ ∼= A(p; q)2 ⊕A(p; q)−2, (5.1) as B(p; q)-bimodules. Proof. Since ω± are generators of degrees ±2, commuting with elements of B(p; q), and B(p; q) ⊆ ker(∂0), Ω̄ ⊆ A(p; q)2 ω− ⊕A(p; q)−2 ω+. As a B(p; q)-module, A(p; q)2 is generated by z2+, x2+, z+x+ while A(p; q)−2 is generated by z2−, x2−, z−x−, hence to show that the above inclusion is an equality, it suffices to prove that z2+ω−, x 2 +ω−, z+x+ω−, x 2 −ω+, z 2 −ω+, z−x−ω+ ∈ Ω̄. First we consider the case q4 6= 1. Using the definition of d in terms of skew derivations ∂± and ∂0 or using equations (4.4) one easily finds that d(x) = qα−c(z)z 2 +ω− + α+x 2 −ω+, (5.2a) d(y) = qα−x 2 +ω− + α+c(z)z 2 −ω+, (5.2b) d(z) = α−z+x+ω− + α+z−x−ω+. (5.2c) Therefore, since the generators ω± commute with all elements of B(p; q), we conclude that zd(x)− d(x)z = ( 1− q4 ) α+zx 2 −ω+, (5.3a) zd(x) = qα−zc(z)z 2 +ω− + α+zx 2 −ω+, (5.3b) d(z)x = α−p(z)z 2 +ω− + q2α+zx 2 −ω+. (5.3c) Equation (5.3a) implies that zx2−ω+ ∈ Ω̄, hence also zc(z)z2+ω−, p(z)z 2 +ω− ∈ Ω̄, by (5.3b) and (5.3c). Since p(z) is q2-separable, the latter implies that z2+ω− ∈ Ω̄ and, in view of (5.2a), x2−ω+ ∈ Ω̄. In a similar way one finds that zd(y)− d(y)z = ( q − q−3 ) α−zx 2 +ω−, (5.4a) yd(z) = q−1α−zx 2 +ω− + q−1α+p(z)z 2 −ω+, (5.4b) zd(y) = qα−zx 2 +ω− + α+zc(z)z 2 −ω+. (5.4c) By (5.4a), zx2+ω− ∈ Ω̄, hence also zc(z)z2−ω+, p(z)z 2 −ω+ ∈ Ω̄, by (5.4b) and (5.4c). Since p(z) is q2-separable, the latter implies that z2−ω+ ∈ Ω̄ and, in view of (5.2b), x2+ω− ∈ Ω̄. Finally, α+p(z)z−x−ω+ = yd(x)− q−1c ( q−2z ) 1− q−4 ( zd(z)− q−2d(z)z ) , Noncommutative Differential Geometry of Generalized Weyl Algebras 13 and α+zz−x−ω+ = 1 1− q4 ( zd(z)− q2d(z)z ) , hence z−x−ω+ ∈ Ω̄, since the polynomial p(z), being q2-separable, does not contain the factor z. In view of (5.2c), also z+x+ω− ∈ Ω̄. If p(z) = λz + µ, λ, µ ∈ K, µ 6= 0, then equations (5.2) and the fact that generators ω± commute with all elements of B(p; q) yield α−µz 2 +ω− = d(z)x− q−2d(x)z, α+µz 2 −ω+ = qyd(z)− q−1zd(y) and α−µz+x+ω− = q−2xd(y)− q2λzd(z), hence also in this case all the required forms are in Ω̄. Since ω± are (B(p; q)-central) free generators, we obtain the required isomorphism of B(p; q)-bimodules (5.1). � Theorem 5.1 shows that the B(p; q)-bimodule A(p; q)2⊕A(p; q)−2 plays the role of sections of the cotangent bundle over the quantum surface with the coordinate algebra B(p; q). The direct sum decomposition on the right hand side of (5.1) can be interpreted as the decomposition of one- forms into holomorphic and anti-holomorphic parts. This is particularly justified in case A(p; q) and B(p; q) are equipped with the ∗-algebra structure (2.4) and Ω (and hence also Ω̄) is a ∗- calculus as in Remark 4.3. Following this, we write Ω̄1,0 = A(p; q)−2ω+, Ω̄0,1 = A(p; q)2ω−. Theorem 5.1 shows further that the module of horizontal forms Ωhor := A(p; q)d(B(p; q))A(p; q), of the principal circle bundle A(p; q) over B(p; q) is generated by ω±. The one-form ω0 generates vertical forms. We write π for the projection of Ω onto Ωhor. In particular, for all a ∈ A(p; q), π(d(a)) = ∂+(a)ω+ + ∂−(a)ω−. We construct a Dirac operator on B(p; q) by following the procedure of Beggs and Majid [2], which, in this particular case, is the generalization of a method employed in [20]. To start with, we identify the sections of a spinor bundle with the B(p; q)-bimodule A(p; q)1⊕A(p; q)−1. More precisely, we set S+ = A(p; q)−1s+, S− = A(p; q)1s−, S = S+ ⊕ S−, (5.5) where s± are formally understood as (central, i.e., commuting with elements of B(p; q)) gener- ators that distinguish components of the direct sum. In contrast to the cotangent bundle, the spinor bundle is trivial. Lemma 5.2. The left (resp. right) B(p; q)-module A(p; q)1 ⊕A(p; q)−1 is free. Proof. Define `(1) := 1 p(0) ( p(0)− p ( q2z ) z z− ⊗ z+ + (−qx−)⊗ ( −q−1x+ )) ∈ A(p; q)−1 ⊗A(p; q)1, `(−1) := 1 p(0) ( z+ ⊗ p(0)− p(z) z z− + x+ ⊗ x− ) ∈ A(p; q)1 ⊗A(p; q)−1. 14 T. Brzeziński Relations (2.2) immediately imply that the multiplication applied to both `(1) and `(−1) gives 1, hence `(1) and `(−1) are values of a strong connection in A(p; q). Therefore, as explained in [8], an idempotent corresponding to the projective module A(p; q)1 can be computed as e(1) = 1 p(0)  p(0)− p ( q2z ) −qz+x− −q−1x+ p(0)− p ( q2z ) z z− x+x−  = 1 p(0)  p(0)− p ( q2z ) −x −p(0)− p(z) z y p(z)  , while an idempotent of A(p; q)−1, as e(−1) = 1 p(0)  x−x+ x−z+ p(0)− p(z) z z−x+ p(0)− p(z)  = 1 p(0)  p ( q2z ) x p(0)− p(z) z y p(0)− p(z)  . Clearly, e(1) + e(−1) = ( 1 0 0 1 ) , which proves the assertion. � The strong connection forms `(1), `(−1) listed in the proof of Lemma 5.2 define a connection ∇ : S → Ω̄⊗ S on the spinor bundle S by the formula ∇(as+ + bs−) = π(d(a))`(−1)s+ + π(d(b))`(1)s−, for all a of degree −1 and b of degree 1. Explicitly, ∇(as+ + bs−) = q p(0) ( ∂+(a)z+ω+ ⊗ p(0)− p(z) z z−s+ + ∂+(a)x+ω+ ⊗ x−s+ ) + q p(0) ( ∂−(a)z+ω− ⊗ p(0)− p(z) z z−s+ + ∂−(a)x+ω− ⊗ x−s+ ) + q−1 p(0) ( ∂+(b)z− p(0)− p ( q2z ) z ω+ ⊗ z+s− + ∂+(b)x+ω+ ⊗ x+s− ) + q−1 p(0) ( ∂−(b)z− p(0)− p ( q2z ) z ω− ⊗ z+s− + ∂−(b)x+ω− ⊗ x+s− ) . (5.6) The Clifford action . of Ω̄ on S is defined, for all a, b, c± ∈ A(p; q) of degrees \|a\| = −1, \|b\| = 1, \|c±\| = ±2, by (c−ω+ + c+ω−) . (as+ + bs−) = β+c−bs+ + β−c+as−, (5.7) where β+, β− are (for the time being arbitrary) elements of the field K. A connection together with a Clifford action define the Dirac operator D := . ◦ ∇ : S → S. Using relations (2.2), the Dirac operator corresponding to data (5.6), (5.7), can be computed as D(as+ + bs−) = β+q −1∂+(b)s+ + β−q∂−(a)s−. (5.8) D is an even Dirac operator with the grading B(p; q)-bimodule map defined by γ : S → S, as+ + bs− 7−→ as+ − bs−, (5.9) Noncommutative Differential Geometry of Generalized Weyl Algebras 15 since D ◦ γ(as+ + bs−) = D(as+ − bs−) = −β+q−1∂+(b)s+ + β−q∂−(a)s− = −γ(β+q −1∂+(b)s+ + β−q∂−(a)s−) = −γ ◦D(as+ + bs−), i.e., D anti-commutes with γ as required. Proposition 5.3. Let K = C, q ∈ (0, 1) and p be a q2-separable polynomial with real coefficients. Equip the complex algebra A(p; q) with the ∗-algebra structure as in (2.4) and let Ω be the first- order calculus constructed in Theorem 4.2 with the ∗-structure as in Remark 4.3. View B(p; q) as a ∗-subalgebra of A(p; q), let S be the module of sections of a spinor bundle (5.5), and let D be the Dirac operator (5.8) with the grading γ given by (5.9). Choose β± such that β∗−/β+ < 0, and let ν be a solution to the equation ν2 = −q3 β∗− β+ . (5.10) Then the linear map J : S → S, as+ + bs− 7−→ −ν−1b∗s+ + νa∗s−, equips D with a real structure such that D has KO-dimension two. Proof. In order for J to be a real structure for D (of KO-dimension two) it needs to satisfy the following five conditions: J2 = − id (5.11a) J ◦ γ = −γ ◦ J, (5.11b) J ◦D = D ◦ J, (5.11c) [u, JvJ ] = 0, for all u, v ∈ B(p; q), (5.11d) [[D,u], JvJ ] = 0, for all u, v ∈ B(p; q), (5.11e) where [−,−] denotes the commutator and elements of B(p; q) act on S by left multiplication; cf. [11]. The first two conditions are easy to check: J ◦ J(as+ + bs−) = J ( −ν−1b∗s+ + νa∗s− ) = −as+ − bs−, by the involution property of ∗, and J ◦ γ(as+ + bs−) = J(as+ − bs−) = ν−1b∗s+ + νa∗s−, γ ◦ J(as+ + bs−) = γ ( −ν−1b∗s+ + νa∗s− ) = −ν−1b∗s+ − νa∗s− = −J ◦ γ(as+ + bs−), as required. To check (5.11c) we use the definitions of D and J , and compute, for all a ∈ A(p; q)−1, b ∈ A(p; q)1, D ◦ J(as+ + bs−) = D(−ν−1b∗s+ + νa∗s−) = q−1β+ν∂+(a∗)s+ − qβ−ν−1∂−(b∗)s−, and J ◦D(as+ + bs−) = J(β+q −1∂+(b)s+ + β−q∂−(a)s−) = −q−1β∗−ν−1∂−(a)∗s+ + qβ∗+ν∂+(b)∗s−. (5.12) 16 T. Brzeziński Note that, in view of the definition (2.4), if c ∈ A(p; q) is a homogeneous element, then \|c∗\| = −\|c\|. Applying the involution ∗ to the definition of d, using the ∗-structure on Ω in Remark 4.3 and then the definitions of σ± (3.1) one finds that, for all homogeneous c ∈ A(p; q), ∂+(c)∗ = q\|c\|−2∂−(c∗), ∂−(c)∗ = q\|c\|+2∂+(c∗). Since \|a\| = −1 and \|b\| = 1, equality (5.12) can be developed further to give J ◦D(as+ + bs−) = −q2ν−1β∗−∂+(a∗)s+ + q−2νβ∗+∂−(b∗)s−, and so J ◦D = D ◦ J by (5.10). To check the order-zero condition (5.11d), take any a ∈ A(p; q)−1 and u, v ∈ B(p; q), and compute [u, JvJ ](as+) = uJ(vJ(as+))− J(vJ(uas+)) = ν(uJ(va∗s−)− J(va∗u∗s−)) = −uav∗s+ + uav∗s+ = 0. In a similar way one proves that also for all b ∈ A(p; q)1 and u, v ∈ B(p; q), [u, JvJ ](bs−) = 0. Finally, as the first step towards proving the order-one condition (5.11e), observe that the skew derivation property of ∂± implies that, for all u ∈ B(p; q), a ∈ A(p; q)−1 and b ∈ A(p; q)1, [D,u](as+ + bs−) = β+∂+(u)bs+ + β−∂−(u)as−, hence, for all v ∈ B(p; q), [[D,u], JvJ ](as+) = −[D,u](av∗s+)− β−J(vJ(∂−(u)as−)) = −β−∂−(u)av∗s− + β−∂−(u)av∗s− = 0, and similarly [[D,u], JvJ ](bs−) = 0. The distribution of signs on the right hand sides of relations (5.11a), (5.11b) and (5.11c) indicates that D is a Dirac operator with a real structure of KO- dimension two, as stated. � Remark 5.4. There is some level of arbitrariness in the fixing of the KO-dimension of D. Choosing the parameters β± in such a way that β∗−/β+ > 0, will result in the change of the sign on the right hand side of equation (5.11a). This distribution of signs on the right hand sides of relations (5.11a), (5.11b) and (5.11c) corresponds to the KO-dimension being 6 (modulo 8). 6 Outlook The paper the reader is presented with herein is concerned with first-order differential (and integral) calculi on a class of generalized Weyl algebras. A detailed study of higher forms on A(p; q) and B(p; q), both differential and integral, is a natural next step. Every first-order differential calculus admits an extension to a full differential graded algebra. Such a universal extension might be trivial, might lead to the differential structure of classical dimensions or it might be very large, bearing no resemblance to what can be expected from the classical case. In the latter case, further quotients that reduce the dimension of modules of higher forms might be possible. In the cases studied in the present paper, it would be interesting and indeed desired to find out whether the calculus on a regular generalized Weyl algebra A(p; q) described in Theorem 4.2 admits a differential graded algebra of ‘classical dimensions’, i.e., such that the module of two-forms is free of rank 3 and the module of three-forms is free of rank 1, with Noncommutative Differential Geometry of Generalized Weyl Algebras 17 no higher forms than three-forms (in other words: the calculus admits a volume three-form). Should such a full differential calculus exist, does the divergence constructed in Proposition 4.7 extend to a flat hom-connection so as to produce a complex of integral forms? Finally, is this complex isomorphic to the de Rham complex of differential forms, i.e., is the differential calculus integrable? Since A(p; q) is an affine algebra of Gelfand–Kirillov dimension three, the existence of such an isomorphism would establish differential smoothness of A(p; q) in the sense of [10]. Similar questions can and should be asked about the first-order differential calculus (Ω̄, d) on B(p; q). In this case, the extension should contain only two-forms, and the module of two- forms should be free of rank one. This is dictated by the Gelfand–Kirillov dimension of B(p; q). It is natural to enquire in this case whether the separation of one-forms into holomorphic and anti-holomorphic components carries on to the higher calculus so as to deliver a complex struc- ture on B(p; q) [3, 16]. Again the question about differential smoothness of B(p; q) should be addressed. It might be that in addition to the q2-separability another condition on p should be imposed to guarantee the integrability of differential calculi on A(p; q) and B(p; q), and to establish differential smoothness of these algebras. As explained in [18], generalized Weyl algebras B(p; q) are homologically smooth (i.e., they have finite length resolutions by finitely generated pro- jective bimodules) provided the defining polynomial p has no repeated roots (in case of an algebraically closed field this is equivalent to the separability of p). Should no additional (to q2-separability) conditions on p be required or should required additional conditions be different from separability, the regular generalized Weyl algebras B(p; q) could serve as examples of al- gebras that are differentially but not necessarily homologically smooth. A relationship between these two forms of (noncommutative) smoothness is not yet understood. The construction of a real Dirac operator on B(p; q) presented above is purely algebraic. An obvious next step is to study analytic aspects of this construction in order to form real spectral triples on B(p; q) (as opposed to algebraic Dirac operators with a real structure hitherto described). In the first instance one should study the theory of ∗-representations of B(p; q), the rudiments of which are outlined in [5] in order to construct a suitable Hilbert space. This process might force one to impose additional conditions on the polynomial p. One can also follow the procedure of Beggs and Majid employed successfully in [2] in the case of the quantum sphere and the quantum disc. This procedure makes use of the integral on the studied algebra. The integral Λ on A(p; q) constructed in Proposition 4.7 can be restricted to B(p; q). Since the integral space is finite but not one-dimensional, before the restriction of Λ can be used to obtain an inner product, a suitable hermitian inner product on the integral space need be constructed. These are topics for future work. Acknowledgements The author would like to express his gratitude to the referees for many helpful and detailed comments and suggestions. References [1] Bavula V., Tensor homological minimal algebras, global dimension of the tensor product of algebras and of generalized Weyl algebras, Bull. Sci. Math. 120 (1996), 293–335. [2] Beggs E.J., Majid S., Spectral triples from bimodule connections and Chern connections, arXiv:1508.04808. [3] Beggs E.J., Smith S.P., Non-commutative complex differential geometry, J. Geom. Phys. 72 (2013), 7–33, arXiv:1209.3595. [4] Brzeziński T., Non-commutative connections of the second kind, J. Algebra Appl. 7 (2008), 557–573, arXiv:0802.0445. http://arxiv.org/abs/1508.04808 http://dx.doi.org/10.1016/j.geomphys.2013.03.018 http://arxiv.org/abs/1209.3595 http://dx.doi.org/10.1142/S0219498808002977 http://arxiv.org/abs/0802.0445 18 T. Brzeziński [5] Brzeziński T., Circle and line bundles over generalized Weyl algebras, Algebr. Represent. Theory 19 (2016), 57–69, arXiv:1405.3105. [6] Brzeziński T., El Kaoutit L., Lomp C., Non-commutative integral forms and twisted multi-derivations, J. Noncommut. Geom. 4 (2010), 289–312, arXiv:0901.2710. [7] Brzeziński T., Fairfax S.A., Quantum teardrops, Comm. Math. Phys. 316 (2012), 151–170, arXiv:1107.1417. [8] Brzeziński T., Hajac P.M., The Chern–Galois character, C. R. Math. Acad. Sci. Paris 338 (2004), 113–116, math.KT/0306436. [9] Brzeziński T., Majid S., Quantum group gauge theory on quantum spaces, Comm. Math. Phys. 157 (1993), 591–638, Erratum, Comm. Math. Phys. 167 (1995), 235–235, hep-th/9208007. [10] Brzeziński T., Sitarz A., Smooth geometry of the noncommutative pillow, cones and lens spaces, J. Non- commut. Geom., to appear, arXiv:1410.6587. [11] Connes A., Noncommutative geometry and reality, J. Math. Phys. 36 (1995), 6194–6231. [12] Dade E.C., Compounding Clifford’s theory, Ann. of Math. 91 (1970), 236–290. [13] Dade E.C., Group-graded rings and modules, Math. Z. 174 (1980), 241–262. [14] Hajac P.M., Strong connections on quantum principal bundles, Comm. Math. Phys. 182 (1996), 579–617, hep-th/9406129. [15] Hong J.H., Szymański W., Quantum lens spaces and graph algebras, Pacific J. Math. 211 (2003), 249–263. [16] Khalkhali M., Landi G., van Suijlekom W.D., Holomorphic structures on the quantum projective line, Int. Math. Res. Not. 2011 (2011), 851–884, arXiv:0907.0154. [17] Krähmer U., On the Hochschild (co)homology of quantum homogeneous spaces, Israel J. Math. 189 (2012), 237–266. [18] Liu L., Homological smoothness and deformations of generalized Weyl algebras, Israel J. Math. 209 (2015), 949–992, arXiv:1304.7117. [19] Lunts V.A., Rosenberg A.L., Kashiwara theorem for hyperbolic algebras, Preprint MPIM-1999-82, 1999. [20] Majid S., Noncommutative Riemannian and spin geometry of the standard q-sphere, Comm. Math. Phys. 256 (2005), 255–285, math.QA/0307351. [21] Năstăsescu C., van Oystaeyen F., Graded ring theory, North-Holland Mathematical Library, Vol. 28, North- Holland Publishing Co., Amsterdam – New York, 1982. [22] Podleś P., Quantum spheres, Lett. Math. Phys. 14 (1987), 193–202. [23] van den Bergh M., A relation between Hochschild homology and cohomology for Gorenstein rings, Proc. Amer. Math. Soc. 126 (1998), 1345–1348. [24] Woronowicz S.L., Compact matrix pseudogroups, Comm. Math. Phys. 111 (1987), 613–665. [25] Woronowicz S.L., Twisted SU(2) group. An example of a noncommutative differential calculus, Publ. Res. Inst. Math. Sci. 23 (1987), 117–181. http://dx.doi.org/10.1007/s10468-015-9562-7 http://arxiv.org/abs/1405.3105 http://dx.doi.org/10.4171/JNCG/56 http://arxiv.org/abs/0901.2710 http://dx.doi.org/10.1007/s00220-012-1580-2 http://arxiv.org/abs/1107.1417 http://dx.doi.org/10.1016/j.crma.2003.11.009 http://arxiv.org/abs/math.KT/0306436 http://dx.doi.org/10.1007/BF02096884 http://dx.doi.org/10.1007/BF02099359 http://arxiv.org/abs/hep-th/9208007 http://dx.doi.org/10.4171/JNCG/56 http://dx.doi.org/10.4171/JNCG/56 http://arxiv.org/abs/1410.6587 http://dx.doi.org/10.1063/1.531241 http://dx.doi.org/10.2307/1970606 http://dx.doi.org/10.1007/BF01161413 http://dx.doi.org/10.1007/BF02506418 http://arxiv.org/abs/hep-th/9406129 http://dx.doi.org/10.2140/pjm.2003.211.249 http://dx.doi.org/10.1093/imrn/rnq097 http://dx.doi.org/10.1093/imrn/rnq097 http://arxiv.org/abs/0907.0154 http://dx.doi.org/10.1007/s11856-011-0168-4 http://dx.doi.org/10.1007/s11856-015-1242-0 http://arxiv.org/abs/1304.7117 http://dx.doi.org/10.1007/s00220-005-1295-8 http://arxiv.org/abs/math.QA/0307351 http://dx.doi.org/10.1007/BF00416848 http://dx.doi.org/10.1090/S0002-9939-98-04210-5 http://dx.doi.org/10.1090/S0002-9939-98-04210-5 http://dx.doi.org/10.1007/BF01219077 http://dx.doi.org/10.2977/prims/1195176848 http://dx.doi.org/10.2977/prims/1195176848 1 Introduction 2 Preliminaries 3 Skew derivations on A(p;q) 4 Differential and integral calculi on A(p;q) 5 Differential calculus and Dirac operators on B(p;q) 6 Outlook References

Noncommutative Differential Geometry of Generalized Weyl Algebras

Репозитарії

Схожі ресурси