Vector bundles on the noncommutative torus from deformation - - PowerPoint PPT Presentation

Vector bundles on the noncommutative torus from deformation quantization

Francesco D’Andrea ( joint work with G. Fiore & D. Franco ) 15/07/2014

Frontiers of Fundamental Physics 14 Marseille, 15-18 July 2014

Line bundles: an example.

M¨

• bius strip
• (Non-trivial) real line bundle on S1. A copy of R attached to any point of S1.
• Section = function associating to any point P of S1 a point on the line through P.
• In quantum mechanics: charged particle interacting with a magnetic monopole.

◮ wave function = section of a non-trivial vector bundle ◮ magnetic field = curvature of a connection on the bundle 1 / 20

Complex line bundles on a torus.

ω2 ω1

⇒

• Torus algebra C(T2): universal C∗-algebra generated by two commuting unitaries.
• Complex structures on C/Λ ≃ T2 parametrized by τ = ω2/ω1 ( Λ := ω1Z + ω2Z ).
• Take ω1 = 1 and τ = ω2 ∈ H :=
• z ∈ C : Im(z) > 0
• , call Eτ the complex manifold.

2 / 20

Summary.

For 0 < θ < 1, let Aθ be the universal C∗-algebra generated by unitaries U and V with UV = e2πiθV U . The dense ∗-subalgebra (Fr´ echet pre C∗-algebra with suitable seminorms. . . ) A∞

θ := m,n∈Z am,nUmVn : {am,n} ∈ S(Z2)

• ⊂ Aθ

is a strict deformation quantization of C(T2) associated to the action of R2 (Rieffel, 1993).

◮ finitely-generated projective Aθ-modules classified by Connes and Rieffel in the ‘80s. ◮ can they be obtained as deformations of vector bundles on the torus?

No action of R2 on line bundles: Rieffel’s tecnique cannot be used.

◮ they are deformations of line bundles on the elliptic curve Eτ = C/Λτ, provided

τ − pθ

2 i ∈ Z + iZ ,

where p ∈ Z is the 1st Chern number of the bundle.

3 / 20

Credits & motivations.

• Works on nc-tori and elliptic curves (quantum theta functions, etc.):

Y.I. Manin, M. Marcolli, F.P . Boca, J. Plazas, A. Polishchuk, A. Schwarz,

• M. Vlasenko, I. Nikolaev, S. Mahanta, W.D. van Suijlekom, . . .
• Why? Hilbert’s 12th problem: description of the maximal abelian extension Kab of a

number field K in terms of special values of suitable meromorphic functions.

◮ K = Q : Kab generated by roots of unity, i.e. special values of eiz corresponding

to torsion points of C∗ (Kronecker-Weber theorem).

◮ K = Q(τ) imaginary quadratic field: Kab generated by the j-invariant j(Eτ) and

by the values of the Weierstrass’s elliptic function ℘(z; τ) at torsion points of Eτ.

◮ Manin’s idea: for a real quadratic field K = Q(θ), Aθ plays the role of Eτ.

• (Very ample) line bundles realize Eτ (and Aθ?) as complex projective variety.
• I. Nikolaev (arxiv:1404.4999) found generators of the Hilbert class field of K = Q(

√ D), i.e. the analogue of the j-invariant for nc-tori.

4 / 20

— PART I — Nc-torus and Heisenberg modules

5 / 20

The deformation point of view: twisted group algebras.

Let x, y ∈ R2. The C∗-algebra C(T2) is generated by the two functions: u(x, y) := e2πix , v(x, y) := e2πiy . By standard Fourier analysis, C∞(T2) ≡

• f =
• m,n∈Z

am,numvn : {am,n} ∈ S(Z2)

• .

An associative product ∗θ on C∞(T2) is given on monomials by (ujvk) ∗θ (umvn) = σ

• (j, k), (m, n)
• uj+mvk+n ,

∀ j, k, m, n ∈ Z , where σ : Z2 × Z2 → C∗ is a 2-cocycle in the group cohomology complex of Z2, given by: σ

• (j, k), (m, n)
• := eiπθ(jn−km) .

(C∞(T2), ∗θ) is a ∗-algebra (with undeformed involution), cocycle quantization of S(Z2) with convolution product. The C∗-completion is the twisted group C∗-algebra C∗(Z2, σ).

6 / 20

Quantization map & Moyal product.

An isomorphism Tθ : (C∞(T2), ∗θ) → A∞

θ is given on f = m,n∈Z am,numvn by:

Tθ(f) :=

• m,n∈Z

am,ne−πimnθUmVn . The phase factors are chosen to have Tθ(f)∗ = Tθ(f∗) for all f. On the Schwartz space S(R2) one has the Moyal product (see e.g. Gayral et al., CMP 246, 2004 & references therein): (f ∗θ g)(z) = 4 θ2

• C×C

f(z + ξ)g(z + η)e

4πi θ Im(ξ η)dξdη ,

where z = x + iy and dz = dx dy. Extended by duality to tempered distributions, allows to define an associative product (by restriction) on several interesting function spaces. E.g. B(R2), the set of smooth functions that are bounded together with all their derivatives, with ∗θ is a Fr´ echet pre C∗-algebra. On C∞(T2) ⊂ B(R2) one recovers the star product of the nc-torus.

7 / 20

Heisenberg modules. [Connes 1980, Rieffel 1983]

Let p, s ∈ Z and p 1. A right A∞

θ -module structure on Ep,s := S(R) ⊗ Cp is given by

ψ ⊳ U =

• W( s

p + θ, 0) ⊗ (S∗)s

ψ , ψ ⊳ V =

• W(0, 1) ⊗ C
• ψ ,

where C, S ∈ Mp(C) are the clock and shift operators, and W(a, b) unitaries on L2(R):

• W(a, b)ψ
• (t) = e−πiabe2πibtψ(t − a) ,

ψ ∈ L2(R), a, b ∈ R. An A∞

θ -valued Hermitian structure on Ep,s is given by

ψ, ϕ =

• m,n∈Z

UmVn ∞

−∞

(ψ ⊳ UmVn|ϕ)t dt . where for all ψ = (ψ1, . . . , ψp) and ϕ = (ϕ1, . . . , ϕp) ∈ Ep,s: (ψ|ϕ)t :=

p

• r=1

ψr(t)ϕr(t) . If θ ∈ R Q, any finitely-gen. projective right Aθ-module is isomorphic either to (A∞

θ )p or

to a module Ep,s, with p and s coprime (p > 0 and s = 0) or p = 1 and s = 0.

8 / 20

— PART II — Elliptic curves and the WBZ transform

9 / 20

Basics on elliptic curves.

Let us identify (x, y) ∈ R2 with z = x + iy ∈ C. Fix τ ∈ H and let Eτ = C/Λ , Λ := Z + τZ , be the corresponding elliptic curve with modular parameter τ. Let α : Λ × C → C∗ be a smooth function and π : Λ → End C∞(C) given by (⋆) π(λ)f(z) := α−1(λ, z)f(z + λ) , ∀ λ ∈ Λ, z ∈ C . Then π is a representation of the abelian group Λ if and only if (‡) α(λ + λ′, z) = α(λ, z + λ′)α(λ′, z) , ∀ z ∈ C, λ, λ′ ∈ Λ. An α satisfying (‡) is called a factor of automorphy for Eτ. There is a corresponding line bundle Lα → Eτ with total space Lα = C × C/∼ , where (z + λ, w) ∼ (z, α(λ, z)w) , ∀ z, w ∈ C, λ ∈ Λ, All line bundles on Eτ are of this form (Appell-Humbert theorem).

10 / 20

Sections of line bundles.

Smooth sections of Lα ≡ subset Γα ⊂ C∞(C) of invariant functions under π(λ) in (⋆).

◮ if α = 1, Γα ≡ C∞(Eτ) are Λ-periodic functions (and C∞(C) is a C∞(Eτ)-module). ◮ if α holomorphic holomorphic elements of Γα are called theta functions: they

form a finite-dimensional vector space.

◮ if α unitary elements of Γα are quasi-periodic functions ( |f| is periodic ).

Note that in this case Γα ⊂ B(R2) is in the domain of Moyal product. For any α, Γα is a finitely-generated projective C∞(Eτ)-submodule of C∞(C). Let τ = ωx + iωy with ωx, ωy ∈ R and ωy > 0. The smooth line bundle with degree p (unique for each p) can be obtained from the unitary factor of automorphy βp, where: β(m + nτ, x + iy) = e−πiωxn2e−2πinx

11 / 20

WBZ transform.

For fixed τ, p, let Fτ,p be the module with factor of automorphy βp. Let [n] := n mod p.

Proposition

Every f ∈ Fτ,p is of the form f(z) =

• n∈Z

e2πinxeπin2 ωx

p f[n](y + n ωy

p ) ,

for some (unique) Schwartz functions f[1], . . . , f[p] ∈ S(R), We denote by ϕτ,p : Fτ,p → S(R) ⊗ Cp the bijection f → f = (f[1], . . . , f[p])t . ϕτ,p is very similar to the Weil-Brezin-Zak transform of solid state physics (Folland, 1989). Fτ,p is a pre Hilbert C∞(Eτ)-module with canonical Hermitian structure (f, g) → f∗g.

12 / 20

— PART III — Vector bundles over the nc-torus

13 / 20

Moyal deformation of bimodules.

C∞(R2) is a A∞

θ -bimodule, with module structure:

(U ⊲ f)(x, y) = e2πixf

• x, y + 1

2θ

• ,

(f ⊳ U)(x, y) = e2πixf

• x, y − 1

2θ

• ,

(V ⊲ f)(x, y) = e2πiyf(x − 1

2θ, y) ,

(f ⊳ V)(x, y) = e2πiyf(x + 1

2θ, y) .

Let J be the antilinear involutive map: Jf(x, y) = f(−x, −y) . J( . )J sends A∞

θ into its commutant, and transforms the left action into the right one.

The relation with Moyal is as follows. The space B(R2) is an A∞

θ sub-bimodule of C∞(R2).

For a ∈ A∞

θ and f ∈ B(R2), one can check that

a ⊲ f = σθ(a) ∗θ f and f ⊳ a = f ∗θ σθ(a) , where ∗θ is Moyal product, Tθ : C∞(T2) → A∞

θ the quantization map introduced before and

σθ := T −1

θ

the symbol map. We will focus on right modules. . .

14 / 20

Deformation of line bundles.

As one might expect, the subspaces Fi,p ⊂ C∞(R2) are not right A∞

θ -submodules, but we

can try with Fτ,p for some non-trivial value of the modular parameter τ. Recall that f ∈ C∞(C) belongs to Fτ,p iff: (†) f(z + 1) = f(z) and f(z + τ) = e−πip(ωx+2x)f(z) ∀ z = x + iy ∈ C.

Proposition

The vector space Fτ,p is a right A∞

θ -module if and only if

τ − pθ

2 i ∈ Z + iZ .

• Proof. One has to prove that, for any f satisfying (†), f ⊳ U and f ⊳ V satisfy (†) too. . .
• We want to give a description in terms of Weyl operators, and compare Fτ,p with

Connes-Rieffel modules.

15 / 20

Line bundles and Connes-Rieffel modules.

Fix r, s ∈ Z and let τ = r + i(s + pθ

2 )

Using the WBZ transform ϕτ,p : Fτ,p → Hτ,p := S(R) ⊗ Cp we transport the right module structure from Fτ,p to Hτ,p, and get a right action f ◭ a = ϕτ,p

• ϕ−1

τ,p(f) ⊳ a

• ∀ a ∈ A∞

θ , f ∈ Hτ,p.

Proposition

For all f ∈ Hτ,p, f ◭ U = eπi r

p

W( s

p + θ, 0) ⊗ (C∗)rS

• f ,

f ◭ V =

• W(0, 1) ⊗ (C∗)s

f , where C, S ∈ Mp(C) are the clock and shift operators. Remarks.

◮ For r = 0 and arbitrary s, p, there is a right A∞

θ -module isomorphism Hτ,p ≃ Ep,s.

◮ If θ ∈ R Q, every (finitely-gen. proj.) right module is the deformation of a line bundle

(no vector bundle of higher rank is needed).

16 / 20

Hermitian structures.

Let f, g ∈ Fτ,p. The canonical Hermitian structure (f, g) → fg is naturally replaced by f ∗θ g . While fg is Λ-periodic and belongs to C∞(Eτ), if s = 1 the product f ∗θ g is Z2-periodic and belongs to C∞(T2).

Proposition

Let τ = i(1 + 1

2pθ). Then, for all f, g ∈ Fτ,p:

(†) Tθ(f ∗θ g) =

• m,n∈Z VnUm

+∞

−∞

(f ◭ VnUm|g)t dt , where ( | )t and Tθ is as before, f = ϕτ,p(f) and g = ϕτ,p(g). Equation (†) is similar to the Hermitian structure of Connes-Rieffel modules, but a different right action is involved.

17 / 20

— PART IV — Some additional stuff

18 / 20

A formal approach: Hopf cocycles & Drinfeld twist.

◮ If B is a bialgebra, A a left B-algebra module and M an A ⋊ B-module, using a

cocycle twist based on B we get:

• a new bialgebra B⋆ (with deformed coproduct),
• a new algebra A⋆ (with deformed product),
• an A⋆ ⋊ B⋆-module M⋆.

◮ If A = C∞(T2)[[

h]], with the cocycle twist F = ei

h∂x∧∂y

based on U(R2)[[ h]] we get a deformation quantization of A (the formal analogue of the algebra A∞

θ of the noncommutative torus).

◮ We would like to deform the modules Fi,p ⊂ C∞(C) as well (here τ = i).

There is no obvious R2 action: if by contraddiction ∂x, ∂y map Fi,p into itself, there exists a flat connection ∇f = (∂xf)dx + (∂yf)dy f ∈ Fi,p , meaning that the line bundle is trivial, i.e. the 1st Chern number is p = 0.

19 / 20

Heisenberg twists.

◮ Two linear maps ∇1, ∇2 : Fτ,p → Fτ,p are given by:

∇1f(z) = (∂x + 2πip

ωy y)f(z) ,

∇2f(z) = ∂yf(z) . (used e.g. by Connes-Rieffel to construct a connection with constant curvature)

◮ On O :=

p∈Z Fi,p consider the operators

a = 1

2(∇1 + i∇2) ,

a† = 1

2(−∇1 + i∇2) ,

q = ⊕p∈Zπ p idFi,p These operators satisfy the commutation relations of the Heisenberg Lie algebra h3: [a, a†] = q , [q, . ] = 0 .

◮ O is a graded U(h3)-algebra module. Given any cocycle twist based on U(h3)[[

h]], we can produce a new graded associative algebra O⋆ =

p∈Z(Fi,p[[

h]])⋆ and each (Fi,p[ h])⋆ is automatically a module for the subalgebra (Fi,0[[ h]])⋆ = C∞(T2)[[ h]]⋆.

◮ There are several known cocycle twists, but they give a commutative (Fi,0[[

h]])⋆. There are twists with non-trivial coassociator for which (Fi,0[[ h]])⋆ is exactly the nc-torus algebra, but gives a non-associative deformation O⋆.

20 / 20

Thank you for your attention.