arX

iv:h

ep-t

h/02

0505

3v5

3 O

ct 2

002

hep-th/0205053

the first version: May 7, 2002

revised: October 3, 2002

Magnetic Translation Groups

in an n-dimensional Torus

and Their Representations1

Shogo Tanimura

Department of Engineering Physics and Mechanics, Kyoto University

Kyoto 606-8501, Japan

e-mail:tanimura@kues.kyoto-u.ac.jp

Abstract

A charged particle in a uniform magnetic field in a two-dimensional torus

has a discrete noncommutative translation symmetry instead of a contin-

uous commutative translation symmetry. We study topology and sym-

metry of a particle in a magnetic field in a torus of arbitrary dimensions.

The magnetic translation group (MTG) is defined as a group of transla-

tions that leave the gauge field invariant. We show that the MTG in an

n-dimensional torus is isomorphic to a central extension of a cyclic group

Zν1 × · · · ×Zν2l × Tm by U(1) with 2l+m = n. We construct and clas-

sify irreducible unitary representations of the MTG in a three-torus and

apply the representation theory to three examples. We briefly describe a

representation theory for a general n-torus. The MTG in an n-torus can

be regarded as a generalization of the so-called noncommutative torus.

1To be published in Journal of Mathematical Physics.

1

1 Introduction

Many people have been studying dynamics of an electrically charged particle in a

magnetic field for various interests. Landau found that the energy spectrum of an

electron becomes discrete when a magnetic field is applied, and explained the diamag-

netic property of a metal. The quantum Hall effect looked a peculiar phenomenon

when it was first discovered but today it is understood as a universal phenomenon

observable in a two-dimensional electron system in a magnetic field. Dynamics of

charged particles in a magnetic field is still an active research area.

Here we examine a group-theoretical aspect of the quantum system in a magnetic

field. In particular we compare symmetry in a torus with symmetry in a Euclidean

space. We would like to understand how the symmetry structure of the dynamical

system is affected by the topological structure of the underlying space. It is known that

the translation symmetry group becomes noncommutative when a uniform magnetic

field is introduced into the Euclidean space. Moreover, the translation symmetry

group becomes discrete when the underlying space is replaced by a torus. In this

paper we consider a vector potential

A =n∑

j,k=1

xjωjkdxk +n∑

j=1

αjdxj (1.1)

over an n-dimensional torus T n = Rn/Zn. Here ωjk are arbitrary integers and αj are

real numbers. Then the corresponding magnetic field is given by the two-form

B = dA =n∑

j,k=1

1

2(ωjk − ωkj)dxj ∧ dxk. (1.2)

We conclude that the magnetic translation group (MTG) in T n is

SA = (R×ω Ωn)/(Z ×ω Zn), (1.3)

where Ωn is a subgroup of Rn defined by Ωn = v ∈ Rn | (ω − tω)v ∈ Zn and the

group operation in R×ω Rn is defined by

(x0, x1, · · · , xn) · (y0, y1, · · · , yn) = (x0 + y0 +n∑

j,k=1

xjωjkyk, x1 + y1, · · · , xn + yn). (1.4)

This characterization of the magnetic translation symmetry is one of the main results

of this paper. The MTG is actually a central extension of a cyclic group

Zµ1× · · · ×Zµl

×Zν1 × · · · ×Zνl × Tm (2l +m = n) (1.5)

by S1 = U(1). We build a complete set of irreducible representations of the MTG in

T 3. We also describe a method to build irreducible representations of the MTG in

T n.

2

We would like to briefly review studies by other people on a quantum system

in a magnetic field. Brown [1] found that the translation symmetry of an electron

in a lattice in a uniform magnetic field is noncommutative and that the quantum

system obeys a projective representation of the translation group. At the almost

same time [2] and later [3] Zak built a representation theory of the lattice translation

group in a magnetic field. Ashby and Miller [4] considered a space-time lattice of

a finite size in uniform electric and magnetic fields and proposed an electromagnetic

translation group. Avron, Herbst, and Simon have been studying spectral problems of

the Schrodinger operators in a magnetic field in a series of papers [5]-[8]. Particularly,

in [6] they examined a system of particles in a uniform magnetic field and characterized

a constant of motion analogous to the total momentum. Dubrovin and Novikov [9, 10]

studied the spectrum of the Pauli operator in a two-dimensional lattice with a periodic

magnetic field and intensively analyzed the gap structure above the ground state.

Asch, Over, and Seiler [11] clarified how the inequivalent Hamiltonians on a torus in a

magnetic field are induced from a Hamiltonian on the universal covering space of the

torus. In a series of studies [12]-[17] Lulek, Florek, Lipinski, and Walcerz established

a systematic method to construct central extensions of a finitely generated Abelian

group. Their results are equivalent to the MTGs in a lattice. Kuwabara [18, 19]

is studying relations between the trajectories of a classical particle and the spectra

of its quantized system and has obtained many results. Gruber [20] also examined

quantization of a particle on a Riemannian manifold in a magnetic field from a view

point of geometric quantization.

As reviewed above a lot of studies on dynamics and symmetry in a magnetic field

have been done. Although MTGs in a finite lattice and in an infinite lattice have

been much investigated, the MTG in a torus of arbitrary dimensions is not yet fully

investigated. Motivated by a recent study [21, 22] on extra dimensions of the space-

time, Sakamoto et al. [23, 24, 25] are developing field theoretical models in which

the translation symmetry of an extra circle is spontaneously broken by a nontrivial

boundary condition in the extra S1. Moreover, we are developing models [26, 27]

in which the rotation symmetry of an extra two-sphere is spontaneously broken by a

magnetic monopole in the extra S2. So we would like to understand how a background

gauge field in a compact space influences symmetry structure of a quantum system.

Hence we decide to investigate symmetry in a magnetic field in a torus.

This paper is organized as follows. In Sec. 2 we shall examine how symmetry of a

quantum system in a magnetic field is changed when the underlying two-dimensional

Euclidean space is replaced by a two-dimensional torus. In Sec. 3 we extend our

discussion to an n-dimensional torus. We introduce a noncommutative group structure

into Rn+1 and use it to construct a magnetic fiber bundle, which is a bundle over T n

with a fiber S1. In Sec. 4 we classify topological structures of the bundles. In Sec.

5 we define connections, which are generalizations of a vector potential, and classify

them. In Sec. 6 we define a magnetic translation group as a group of lifted translations

3

that leave the connection invariant. In Sec. 7 we build a representation theory of the

MTG for T 3 and illustrate the theory by a few examples. In Sec. 8 we describe an

outline of the representation theory of the MTG for a general T n. Section 9 is devoted

to conclusions and discussions. To reach the main result quickly the reader may read

only sections 3, 5, and 6.

2 Symmetries in a magnetic field

This section is devoted to exercises to get ideas about the problem. The reader may

skip this section and restart from Sec. 3 without missing the main course of the paper.

2.1 Euclidean space

Let us begin our discussion by examining symmetry of quantum mechanics of a particle

in the uniform magnetic field in R2. It is a well-known system and becomes a starting

point to explore further nontrivial systems.

A uniform magnetic field Bdx ∧ dy = dA is derived from a vector potential A =

Bxdy. The Schrodinger equation is

Hψ =

[−1

2

(∂

∂x

)2

− 1

2

(∂

∂y− iBx

)2]ψ(x, y) = Eψ. (2.1)

Then the operators

Px := −i ∂∂x

− By, Py := −i ∂∂y

(2.2)

commute with H . These generate unitary transformations

(Ux(a)ψ)(x, y) = e−iPxaψ(x, y) = eiBayψ(x− a, y), (2.3)

(Uy(b)ψ)(x, y) = e−iPybψ(x, y) = ψ(x, y − b). (2.4)

It is to be noted that Ux(a) is a combination of a translation in the x-direction by

the length a and a gauge transformation. It is also to be noted that the translation

in the x-direction and the one in the y-direction do not commute but satisfy

Ux(a)Uy(b)(Ux(a))−1(Uy(b))

−1 = eiBab. (2.5)

The momentum generates a continuous symmetry and enables us to separate the

variables. For example, if we put the eigenvalue of Py as k, the wave function is

factorized as

ψ(x, y) = eikyφ(x). (2.6)

Then the Schrodinger equation (2.1) is rewritten as

Hψ = eiky

−1

2

(∂

∂x

)2

+1

2(k −Bx)2

φ(x) = eikyEφ(x) (2.7)

4

and is reduced to the equation of a harmonic oscillator. Hence the energy eigenvalues

are given by

E = |B|(n+

1

2

)(n = 0, 1, 2, · · ·) (2.8)

and are called the Landau levels. Each eigenvalue is infinitely degenerated with respect

to −∞ < k <∞.

2.2 Torus

Next we turn to a two-dimensional torus. The two-torus T 2 is defined as the quotient

space R2/Z2. Namely, the points in R2

(x, y) ∼ (x+ 1, y) ∼ (x, y + 1) (2.9)

are identified as a single point in T 2. If we impose a pseudoperiodic condition

ψ(x+ 1, y) = eiByψ(x, y), ψ(x, y + 1) = ψ(x, y) (2.10)

on the wave function, the Schrodinger equation (2.1) is well defined over T 2. In other

words, on the space of functions satisfying the pseudoperiodic condition, the operator

H becomes self-adjoint. To make the two conditions in (2.10) compatible each other

we need to have

ψ(x+ 1, y + 1) = eiB(y+1)ψ(x, y + 1) = eiBeiByψ(x, y)

= ψ(x+ 1, y) = eiByψ(x, y). (2.11)

Hence we should have eiB = 1. Namely, in the magnetic field strength

B = 2πν (2.12)

ν must be an integer. We call ν the magnetic flux number of the torus.

The operators Px and Py in (2.2) commute with H defined in (2.1). However,

when they act on a wave function satisfying the pseudoperiodic condition (2.10), they

do not give back a function satisfying the pseudoperiodic condition but instead give

Pyψ(x+ 1, y) = eiBy(Py +B)ψ(x, y), (2.13)

Pxψ(x, y + 1) = (Px − B)ψ(x, y). (2.14)

Hence, the actions of these operators are not closed in the space of pseudoperiodic

functions. Thus we get a lesson that the generator of infinitesimal translation does

not exist in the torus. However, it is still possible to construct operators for finite

translations. We let the finite translation operators (2.3) and (2.4) act on a pseu-

doperiodic function (2.10), and examine whether the resultant functions satisfy the

5

pseudoperiodic condition. Using the flux quantization (2.12) we get

(Ux(a)ψ)(x, y + 1) = eiBa(y+1)ψ(x− a, y + 1)

= eiBaeiBayψ(x− a, y)

= e2πiνa(Ux(a)ψ)(x, y), (2.15)

(Uy(b)ψ)(x+ 1, y) = ψ(x+ 1, y − b)

= eiB(y−b)ψ(x, y − b)

= e−iBbeiByψ(x, y − b)

= e−2πiνbeiBy(Uy(b)ψ)(x, y). (2.16)

Therefore, the transformed wave functions, Ux(a)ψ and Uy(b)ψ, satisfy the pseudope-

riodic condition (2.10) if and only if

νa, νb ∈ Z. (2.17)

Consequently, the lengths of shifts, a and b, are restricted to integral multiples of 1/ν.

Moreover, on a pseudoperiodic function the shifts by the unit length act as

(Ux(1)ψ)(x, y) = eiByψ(x− 1, y) = ψ(x, y), (2.18)

(Uy(1)ψ)(x, y) = ψ(x, y − 1) = ψ(x, y). (2.19)

Hence Ux(1) and Uy(1) are identity operators. Thus the operators Ux(1/ν) and

Uy(1/ν) generate a cyclic group Zν = Z/νZ of the order ν. However, as seen in

(2.5) their commutator produces a nontrivial phase factor. Thus we conclude that

the symmetry of the quantum system in the torus magnetic field is described by a

projective representation of Zν ×Zν .

The group of translations of the quantum system in the magnetic field is called a

magnetic translation group (abbreviated as MTG). A more precise definition of the

MTG will be given in Sec. 6. In the torus the MTG becomes discrete and finite. Its

representation is constructed as follows. Let |0〉, |1〉, · · · , |ν − 1〉 be a basis of the

representation space. Then we define the action of the translation operators by

Ux(nx/ν)|q〉 = e2πinxq/ν |q〉, (2.20)

Uy(ny/ν)|q〉 = |q + ny (mod ν)〉, (2.21)

for nx, ny ∈ Z. We can easily verify that they satisfy

Ux(nx/ν)Uy(ny/ν) (Ux(nx/ν))−1 (Uy(ny/ν))

−1 |q〉 = ei(2πν)(nx/ν)(ny/ν)|q〉, (2.22)

which is homomorphic to the commutator (2.5). This representation is irreducible

and its dimension is ν. Hence each energy eigenvalue (2.8) is degenerated by ν folds.

6

2.3 Three-torus

Let us examine the case of a three-dimensional torus briefly to motivate further dis-

cussion. With real constants (b1, b2, b3) a vector potential

A = b1x2dx3 + b2x3dx1 + b3x1dx2 (2.23)

gives rise to a magnetic field

B = dA = b1dx2 ∧ dx3 + b2dx3 ∧ dx1 + b3dx1 ∧ dx2. (2.24)

The Hamiltonian is then given by

Hψ = −1

2

[(∂

∂x1− ib2x3

)2

+(∂

∂x2− ib3x1

)2

+(∂

∂x3− ib1x2

)2]ψ(x1, x2, x3).

(2.25)

On the three-torus the wave function must satisfy a set of conditions

ψ(x1 + 1, x2, x3) = eib3x2ψ(x1, x2, x3),

ψ(x1, x2 + 1, x3) = eib1x3ψ(x1, x2, x3),

ψ(x1, x2, x3 + 1) = eib2x1ψ(x1, x2, x3), (2.26)

which is a generalization of the the pseudoperiodic condition (2.10) of the two-torus.

We would like to find a complete set of translation operators that commute with

H and are compatible with the pseudoperiodic condition (2.26). Of course, if the

magnetic field is parallel to one of the axes, the system is reduced to the two-torus as

has been discussed by Zak [3]. For example, if (b1, b2, b3) = (0, 0, B), the Hamiltonian

(2.25) and the condition (2.26) are reduced to (2.1) and (2.10), respectively. However,

it is a highly nontrivial and not yet fully solved problem to find a complete symmetry

group for an inclined magnetic field (b1, b2, b3). Thus we decide to develop a more

systematic method to construct the translation symmetry group for a generic magnetic

field in the n-torus.

3 Magnetic fiber bundle

We shall extend the previous consideration on the two-dimensional torus to arbitrary

dimensions. What we will do in the rest of this paper is to construct U(1) principal

fiber bundles over an n-dimensional torus T n, to classify the bundles, to introduce U(1)

connections with constant curvatures over T n, to define the MTG as the stability group

of each connection, and to construct the representations of the MTGs. Throughout

this paper we are identifying S1 with U(1).

Let us begin with construction of S1 principal fiber bundles over T n. For this

purpose we introduce a noncommutative group structure into Rn+1 as follows. Take

an n×n matrix ω which consists of integers, ωjk ∈ Z (j, k = 1, · · · , n). The matrix ω

7

is not necessarily antisymmetric. Define a product of (x0, x1, · · · , xn), (y0, y1, · · · , yn) ∈Rn+1 by

(x0, x1, · · · , xn) · (y0, y1, · · · , yn) := (x0+ y0+n∑

j,k=1

xjωjkyk, x1+ y1, · · · , xn+ yn). (3.1)

In the following we abbreviate the notation of the vectors as x = (x1, · · · , xn) ∈ Rn.

We write the inner product of vectors as xy =∑n

j=1 xj yj and the bilinear form as

xωy =∑n

j,k=1 xjωjkyk. It is easily verified that the set Rn+1 becomes a group with

this product operation; the associativity is satisfied as

((x0, x) · (y0, y)) · (z0, z) = (x0 + y0 + xωy, x+ y) · (z0, z)= (x0 + y0 + z0 + xωy + (x+ y)ωz, (x+ y) + z)

= (x0 + y0 + z0 + xωy + xωz + yωz, x+ y + z)

= (x0 + y0 + z0 + xω(y + z) + yωz, x+ (y + z))

= (x0, x) · ((y0, y) · (z0, z)), (3.2)

the unit element is given by (0, 0) ∈ R × Rn, and the inverse element of (x0, x) ∈R×Rn is given by

(x0, x)−1 = (−x0 + xωx,−x). (3.3)

The set Rn+1 equipped with this group structure is denoted by R×ω Rn. A commu-

tator is calculated as

(x0, x) · (y0, y) · (x0, x)−1 · (y0, y)−1

= (x0 + y0 + xωy, x+ y) · (−x0 + xωx,−x) · (−y0 + yωy,−y)= (y0 + xωy + xωx− (x+ y)ωx, y) · (−y0 + yωy,−y)= (xωy + xωx− (x+ y)ωx+ yωy − yωy, 0)

= (xωy − yωx, 0), (3.4)

and therefore R×ω Rn is Abelian if and only if ω is a symmetric matrix. The natural

projection map R ×ω Rn → Rn becomes a group homomorphism. As its kernel

R ×ω 0 is contained in the center of R ×ω Rn, the group R ×ω Rn is a central

extension of Rn by R.

The subset Z ×ω Zn = (m0, m1, · · · , mn) |m0, mj ∈ Z is also a subgroup of

R×ω Rn but it is not isomorphic to the standard Abelian group Zn+1. The subgroup

Z ×ω Zn acts freely on R ×ω Rn from the left via the group operation. Hence the

space of orbits

P n+1ω := (Z ×ω Zn)\(R×ω Rn) (3.5)

becomes a smooth manifold.

The group operation also induces action of the group R×ω Rn on the space P n+1

ω

from the right. The subgroups Z ×ω 0 ⊂ R ×ω 0 are contained in the center

8

of R ×ω Rn and hence their actions from the right are equivalent to those from the

left. The subgroups R×ω 0 and Z×ω 0 are isomorphic to R and Z, respectively.

Thus R acts on P n+1ω but its subgroup Z acts trivially on P n+1

ω since Z is contained

in the dividing group Z ×ω Zn of the quotient space (3.5). Therefore the action of R

is reduced to the effective action of S1 = R/Z on P n+1ω . The space of orbit P n+1

ω /S1

is diffeomorphic to a torus T n. Consequently we obtain a principal fiber bundle with

the canonical projection map πω : P n+1ω → T n with a structure group S1. We call

this fiber bundle a magnetic fiber bundle twisted by the matrix ω. The procedure

to construct the magnetic fiber bundle is summarized by the following commutative

diagram

Z ×ω 0 → Z ×ω Zn → Zn

↓ ↓ ↓R×ω 0 → R×ω Rn → Rn

↓ ↓ ↓S1 → P n+1

ω −−−→πω

T n

(3.6)

A function f : P n+1ω → C is identified with a function f : R ×ω Rn → C that is

invariant under action of Z ×ω Zn from the left as

f(m0 + x0 +mωx,m+ x) = f(x0, x), (m0, m) ∈ Z ×ω Zn. (3.7)

Moreover, when the function f : P n+1ω → C satisfies

f(x0 + t, x) = e−2πit f(x0, x), t ∈ R, (3.8)

it is called an equivariant function on P n+1ω . Hence the equivariant function f has the

property

f(x0, x+m) = e2πimωx f(x0, x), m ∈ Zn. (3.9)

This is a generalization of the pseudoperiodic condition (2.10)

ψ(x+ 1, y) = e2πiνyψ(x, y), ψ(x, y + 1) = ψ(x, y). (3.10)

In fact, if we take the matrix

ω =

(0 ν0 0

), (3.11)

the general condition (3.9) of T n is reduced to the specific one (3.10) of T 2.

4 Equivalent magnetic bundles

In the above construction each magnetic fiber bundle is specified by an integral matrix

ω. However, it can happen that different matrices ω and ω′ give rise to equivalent

fiber bundles. In this section we prove that ω and ω′ induce equivalent fiber bundles

if and only if the difference ω′ − ω is a symmetric integral matrix. Therefore, we may

9

choose a representative matrix ω such that ωjk = 0 for j ≥ k. Namely, the upper

triangle matrix

ω =

0 ω12 ω13 · · · ω1,n−1 ω1n

0 0 ω23 · · · ω2,n−1 ω2n

0 0 0 · · · ω3,n−1 ω3n...

......

. . ....

...0 0 0 · · · 0 ωn−1,n

0 0 0 · · · 0 0

(4.1)

with integers ωjk can be taken as a standard form of the matrix ω. The reader will

not miss the main result of the paper even if he skips this section and restarts from

Sec. 5

Here we introduce three kinds of isomorphisms that convert a bundle specified by

a matrix ω to a bundle specified by another matrix ω′.

Let us introduce the first kind of bundle isomorphism. When a symmetric matrix

σ of integral elements, σjk = σkj ∈ Z, satisfies

n∑

j,k=1

mjσjkmk ∈ 2Z (4.2)

for any m = (m1, · · · , mn) ∈ Zn, we call σ an even symmetric matrix. This require-

ment for σ is equivalent to demanding that the off-diagonal elements σjk are integers

and that the diagonal elements σjj are even integers. Here we will show that two

magnetic bundles P n+1ω and P n+1

ω+σ are isomorphic each other for any even symmetric

matrix σ. For this purpose let us define a map φσ : R×ω Rn → R×ω+σ Rn by

φσ(x0, x) := (x0 +1

2xσx, x). (4.3)

Existence of the inverse map is obvious; it is given by φ−1σ (x0, x) = (x0 − 1

2xσx, x). It

is easily verified that the map φσ is a group isomorphism as

φσ((x0, x) ·ω (y0, y)) = φσ(x0 + y0 + xωy, x+ y)

= (x0 + y0 + xωy +1

2(x+ y)σ(x+ y), x+ y)

= (x0 + y0 +1

2xσx+

1

2yσy + x(ω + σ)y, x+ y)

= (x0 +1

2xσx, x) ·ω+σ (y0 +

1

2yσy, y)

= φσ(x0, x) ·ω+σ φσ(y0, y), (4.4)

where we have distinguished the product operation ofR×ω+σRn from that ofR×ωR

n.

The map φσ sends the integer subgroup Z ×ω Zn to Z ×ω+σ Zn, since σ is even as

required in (4.2). Therefore, φσ induces a diffeomorphism

(φσ)∗ : (Z ×ω Zn)\(R×ω Rn) → (Z ×ω+σ Zn)\(R×ω+σ R

n). (4.5)

10

Moreover, since φσ is the identity map when it is restricted on R×ω 0,

φσ((t, 0) ·ω (x0, x)) = φσ(t, 0) ·ω+σ φσ(x0, x)

= (t, 0) ·ω+σ φσ(x0, x), (4.6)

thus (φσ)∗ is equivariant with respect to the action of S1. It is also clear that πω =

πω+σ (φσ)∗. Thus we conclude that the map (φσ)∗ is an isomorphism between the

principal fiber bundles P n+1ω and P n+1

ω+σ .

Next we shall introduce the second kind of bundle isomorphism. We identify a

diagonal matrix ∆ = diag(∆1,∆2, · · · ,∆n) with a vector ∆ = (∆1,∆2, · · · ,∆n) ∈ Zn.

Then we define a map φ∆ : R×ω Rn → R×ω+∆ Rn by

φ∆(x0, x) := (x0 +1

2x∆x+

1

2∆x, x) = (x0 +

1

2

n∑

j=1

(xj∆jxj +∆jxj), x). (4.7)

It is also easily verified that φ∆ is a group isomorphism as

φ∆((x0, x) ·ω (y0, y)) = φ∆(x0 + y0 + xωy, x+ y)

= (x0 + y0 + xωy +1

2(x+ y)∆(x+ y) +

1

2∆(x+ y), x+ y)

= (x0 + y0 +1

2x∆x+

1

2∆x+

1

2y∆y +

1

2∆y + x(ω +∆)y, x+ y)

= (x0 +1

2x∆x+

1

2∆x, x) ·ω+∆ (y0 +

1

2y∆y +

1

2∆y, y)

= φ∆(x0, x) ·ω+∆ φ∆(y0, y). (4.8)

Note that when xj is an integer, x2j + xj = xj(xj + 1) is always an even integer and

hence 12∆j(x

2j + xj) is an integer. Therefore the map φ∆ sends the integer subgroup

Z ×ω Zn to Z ×ω+∆ Zn. Moreover, φ∆ sends R ×ω 0 to R ×ω+∆ 0 identically.

Thus the induced map (φ∆)∗ becomes an isomorphism between the principal fiber

bundles P n+1ω and P n+1

ω+∆.

There is the third kind of bundle isomorphism, which will be used when we classify

connections later. For each ε = (ε1, ε2, · · · , εn) ∈ Zn we define a map φε : R×ωRn →

R×ω Rn by

φε(x0, x) := (x0 + εx, x) = (x0 +n∑

j=1

εjxj , x). (4.9)

It is also easily verified that φε is a group isomorphism as

φε((x0, x) ·ω (y0, y)) = φε(x0 + y0 + xωy, x+ y)

= (x0 + y0 + xωy + ε(x+ y), x+ y)

= (x0 + εx+ y0 + εy + xωy, x+ y)

= (x0 + εx, x) ·ω (y0 + εy, y)

= φε(x0, x) ·ω φε(y0, y). (4.10)

11

The map φε sends the integer subgroup Z×ωZn to Z×ωZ

n. Moreover, φε sends R×ω

0 toR×ω0 identically. Thus the group isomorphism φε induces an automorphism

(φε)∗ of the principal fiber bundle P n+1ω .

As a summary, we write down a combined isomorphism of the three kinds of maps

(φε φ∆ φσ)(x0, x) := (x0 +1

2x(σ +∆)x+

1

2∆x+ εx, x). (4.11)

By adding an integral diagonal matrix ∆ to an even symmetric matrix σ, we can make

any integral symmetric matrix σ′ = σ + ∆. Therefore, by combining the first and

second kinds of isomorphisms, φσ and φ∆, we can establish an isomorphism between

P n+1ω and P n+1

ω+σ′ for any integral symmetric matrix σ′. In other words, the set of

magnetic fiber bundles has a one-to-one correspondence with Mat(n,Z)/Sym(n,Z),

where the quotient is taken in the sense of additive groups.

5 Connection

In this section we define the vector potentials that yield uniform magnetic fields in

an n-dimensional torus. We use the words, a vector potential, a gauge field, and a

connection, to describe the same notion. Magnetic field strength and curvature are

an identical notion.

Let us define a differential one-form A on R×ω Rn by

A := −dx0 +n∑

j,k=1

xjωjkdxk +n∑

j=1

αjdxj = −dx0 + xωdx+ αdx (5.1)

with a real vector α ∈ Rn. These parameters α = (α1, · · · , αn) characterize the

Aharonov-Bohm effect. The action of (m0, m) ∈ Z ×ω Zn from the left of R ×ω Rn

defines a map ϕ : (x0, x) 7→ (m0 + x0 + mωx,m + x). Note that the one-form A is

invariant under the transformation by ϕ as

ϕ∗A = −(dx0 +mωdx) + (m+ x)ωdx+ αdx = A. (5.2)

Thus A can be regarded as a one-form on P n+1ω = (Z ×ω Zn)\(R×ω Rn). It is also

obvious that A is invariant under a transformation (x0, x) 7→ (x0+ t, x) for any t ∈ R.

Moreover, A satisfies ⟨∂

∂x0, A

⟩= −1 (5.3)

by the definition. In the above equation, 〈·, ·〉 denotes the pairing of a vector and a

one-form. Thus A satisfies the axiom of a connection form of the principal bundle

πω : P n+1ω → T n.

We can classify the connections using isomorphism maps introduced in the last

section. The connection Aω,α defined by (5.1) is parametrized by an integral matrix

ω ∈ Mat(n,Z) and a real vector α ∈ Rn. For any even symmetric matrix σ ∈

12

EvenSym(n,Z) and integral vectors ∆, ε ∈ Zn, the combined isomorphism (4.11)

induces a transformation

(φε φ∆ φσ)∗Aω+σ+∆,α+ 1

2∆+ε

= −d(x0 +1

2x(σ +∆)x+

1

2∆x+ εx) + x(ω + σ +∆)dx+ (α+

1

2∆ + ε)dx

= −dx0 − x(σ +∆)dx− 1

2∆dx− εdx+ x(ω + σ +∆)dx+ (α +

1

2∆ + ε)dx

= −dx0 + xωdx+ αdx

= Aω,α (5.4)

via pullback. Thus the connections are classified by the equivalence relation

(ω, α) ∼ (ω + σ +∆, α +1

2∆ + ε), σ ∈ EvenSym(n,Z); ∆, ε ∈ Zn (5.5)

among (ω, α) ∈ Mat(n,Z)×Rn.

Next we define a covariant derivative of the equivariant function f by

Df := df − 2πiAf. (5.6)

Of course, on the right-hand side, i =√−1. The curvature form F is defined by

F := dA =n∑

j,k=1

ωjkdxj ∧ dxk =n∑

j,k=1

1

2(ωjk − ωkj)dxj ∧ dxk, (5.7)

which gives a constant magnetic field. Hence the first Chern class is uniquely specified

by the integral antisymmetrized matrix (ω − tω). It is known [28] that an S1-fiber

bundle has a one-to-one correspondence with the first Chern class. Therefore, by

choosing ω ∈ Mat(n,Z) appropriately, we can construct any principal fiber bundles

over T n with the fiber S1.

6 Magnetic translation group

Now we shall examine translation symmetry of the vector potential A of the uniform

magnetic field. In this section we shall give a precise definition of the MTG in T n and

express the MTG in a more concrete form. We will prove that the MTG is

SA = (R×ω Ωn)/(Z ×ω Zn), (6.1)

where Ωn is a subgroup of Rn defined by Ωn = v ∈ Rn | (ω − tω)v ∈ Zn and the

group operation is taken in the sense of (3.1). This is one of the main results of this

paper.

We begin by defining the MTG. A vector v ∈ Rn generates a translation of T n by

τv : Tn → T n, x 7→ x+ v. (6.2)

13

When a map τv : Pn+1ω → P n+1

ω satisfies the commutative diagram

S1

ւ ցP n+1ω

τ−−−→ P n+1ωyπω

yπω

T n τ−−−→ T n

(6.3)

the map τv is called a lift of the translation τv. The lifted translations that leave the

connection A invariant form a group

SA := τv : P n+1ω → P n+1

ω | v ∈ Rn, πω τv = τv πω; τ ∗vA = A . (6.4)

We call it the stability group of A, or the magnetic translation group (MTG).

Let us write down the lifted translation in a more explicit form. We use (x0, x) ∈Rn+1 as a coordinate of P n+1

ω . Since πω τv = τv πω, the lift τv of (6.2) must have

the form

τv : (x0, x) 7→ (x0 + θ(x0, x, v), x+ v). (6.5)

To make τv commutative with the action of e2πiw0 ∈ S1 the function θ must satisfy

x0 + w0 + θ(x0 + w0, x, v) = x0 + θ(x0, x, v) + w0, (6.6)

namely, θ must satisfy

θ(x0 + w0, x, v) = θ(x0, x, v) (6.7)

for any w0 ∈ R. Therefore, the function θ is independent of x0. To become a map of

P n+1ω , the map τv must send an orbit of the left-action of Z ×ω Zn to an orbit of the

same group. In other words, for any (m0, m) ∈ Z ×ω Zn there must exist an element

(m′0, m

′) ∈ Z ×ω Zn that satisfies

τv((m0, m) · (x0, x)) = (m′0, m

′) · τv(x0, x). (6.8)

The above equation is rewritten as

(m0+x0+mωx+θ(m+x, v), m+x+v) = (m′0+x0+θ(x, v)+m

′ω(x+v), m′+x+v),

which is equivalent to a set of equations

m = m′, (6.9)

m0 +mωx+ θ(m+ x, v) = m′0 + θ(x, v) +m′ω(x+ v). (6.10)

The last equation implies that

θ(m+ x, v)− θ(x, v)−mωv = m′0 −m0 ∈ Z (6.11)

14

for any m ∈ Zn. In reverse order, any function θ(x, v) satisfying the condition (6.11)

defines a lifted translation τv by (6.5). The lifted translation τv is actually a com-

bination of a spatial shift by v with a gauge transformation by θ. Hence, we finish

characterizing the lifted translations.

Let the lifted translation τv act on the connection form A of (5.1) via pull-back.

Then it gives

τ ∗vA = −(dx0 + dθ) + (x+ v)ωd(x+ v) + αd(x+ v)

= A− dθ + vωdx. (6.12)

Hence, to leave the connection invariant as τ ∗vA = A, the function θ must satisfy a

differential equation dθ = vωdx. Thus we have

θ(x, v) = vωx+ v0 (6.13)

with a constant v0 ∈ R. To make τv a map of P n+1ω , the function θ must satisfy the

condition (6.11), which requires that

θ(m+ x, v)− θ(x, v)−mωv = vωm−mωv = −m(ω − tω)v ∈ Z (6.14)

for any m ∈ Zn. Therefore, the vector v ∈ Rn is required to satisfy

(ω − tω)v ∈ Zn. (6.15)

We call the vector v satisfying (6.15) a magnetic shift. A set of the magnetic shifts is

denoted by

Ωn := v ∈ Rn | (ω − tω)v ∈ Zn. (6.16)

The set Ωn becomes an additive subgroup of Rn. When the antisymmetrized matrix

(ω − tω) is nondegenerated, Ωn is discrete. The lifted translation τv defined by (6.5)

with (6.13) becomes

τv : (x0, x) 7→ (x0+θ(x0, x, v), x+v) = (x0+vωx+v0, x+v) = (v0, v) ·(x0, x), (6.17)

and therefore the action of τv is identified with the action of (v0, v) ∈ R ×ω Ωn on

P n+1ω from the left. However, the subgroup Z×ωZ

n ⊂ R×ωΩn acts on P n+1

ω trivially.

Thus the stability group SA of the connection A is identified as

SA = (R×ω Ωn)/(Z ×ω Zn). (6.18)

This is one of the main results of this paper. Note that SA is a central extension of a

compact Abelian group Ωn/Zn by S1 = R/Z.

Actually, there is another way to characterize the group SA. The group R×ω Ωn

is a normalizer of N = Z ×ω Zn in G = R ×ω Rn. In other words, the subgroup H

defined by

H := h ∈ G | ∀n ∈ N, hnh−1 ∈ N (6.19)

15

coincides with R×ω Ωn. The above statement is easily proved as follows. A straight-

forward calculation yields

(x0, x) · (m0, m) · (x0, x)−1 = (m0 + x(ω − tω)m,m). (6.20)

Therefore the necessary and sufficient condition for (x0, x) ∈ R ×ω Rn to bring the

above element into N = Z ×ω Zn is that (ω − tω)x ∈ Zn, or that x ∈ Ωn. Thus

N = Z ×ω Zn is a normal subgroup of H = R×ω Ωn, and hence the quotient group

SA = H/N is well defined.

7 Representations of the MTG in a three-torus

A unitary representation theory of the MTG is significant for spectral analyses of the

Laplace operator and the Dirac operator in a background gauge field. In this section

we examine a three-dimensional torus and construct a complete set of representations.

This is another main result of this paper. In the next section we will discuss an outline

of the representation theory of the MTG for arbitrary dimensions.

7.1 Method

The MTG was identified as SA = (R×ω Ωn)/(Z ×ω Zn) at (6.18). We would like to

express the MTG in terms of generators and relations. Here we concentrate on the

three-dimensional torus. Let us take the matrix

ω =

0 b3 −b20 0 b10 0 0

(7.1)

with positive integers b1, b2, and b3. Then antisymmetrization of ω yields

ω − tω =

0 b3 −b2−b3 0 b1b2 −b1 0

. (7.2)

The characteristic equation of (ω − tω) is

det(λ− (ω − tω)) = λ(λ2 + b21 + b22 + b23). (7.3)

Hence, its eigenvalues are

λ = 0, ±iB (7.4)

with B :=√b21 + b22 + b23. We assume that B 6= 0. The eigenspace for λ = 0 is spanned

by

b =

b1b2b3

. (7.5)

16

The action of (ω−tω) on a vector v ∈ R3 is equivalent to the vector product (ω−tω)v =

v × b. The magnetic shift group (6.16) now becomes

Ω3 = v ∈ R3 | (ω − tω)v ∈ Z3. (7.6)

The linear subspace Rb spanned by b of (7.5) is a subgroup of Ω3. Let us define a

generator e0 by

D0 := GCD b1, b2, b3, (7.7)

e0 :=1

D0

b1b2b3

. (7.8)

Here the GCD is an abbreviation of the greatest common divisor while the LCM is

an abbreviation of the least common multiple. It is obvious that e0 is in Z3 and that

(ω − tω)e0 = 0. The vector e0 is a minimal integral vector in the sense that there

is no real number s such that 0 < s < 1 and se0 ∈ Z3. There exist other vectors

e1, e2 ∈ Q3 that generate Ω3 as

Ω3 = Re0 ⊕Ze1 ⊕Ze2. (7.9)

Here Q is the whole set of rational numbers. Since (7.6) these generators e1 and e2

must satisfy

(ω − tω)e1, (ω − tω)e2 ∈ Z3. (7.10)

These vectors e1, e2 are minimal magnetic shifts in the sense that there is no real

number s such that

0 < s < 1, s(ω − tω)ei ∈ Z3 (7.11)

for each i = 1, 2. Moreover, because e1, e2 ∈ Q3, there are positive integers, ν1 and

ν2, such that

ν1e1, ν2e2 ∈ Z3. (7.12)

We demand that the integers ν1, ν2 are the smallest cycles in the sense that there

is no integer m such that

0 < m < νi, mei ∈ Z3 (7.13)

for each i = 1, 2. Consequently, the decomposition (7.9) yields

Ω3/Z3 = (R/Z)⊕ (Z/ν1Z)⊕ (Z/ν2Z). (7.14)

Thus an arbitrary element g of SA = (R×ω Ω3)/(Z ×ω Z3) is parametrized as

g = (s, te0 + n1e1 + n2e2), s, t ∈ R/Z; n1 ∈ Z/ν1Z; n2 ∈ Z/ν2Z. (7.15)

Let us examine the commutator (3.4). It is clear that the element (s, 0) commutes

with any element. Since (ω − tω)e0 = 0, the element (0, te0) also commutes with any

element. On the other hand, (0, e1) and (0, e2) produce a nonvanishing commutator

(0, e1) · (0, e2) · (0, e1)−1 · (0, e2)−1 = (γ, 0) (7.16)

17

with

γ := e1(ω − tω)e2 = e1 · (e2 × b). (7.17)

From (7.10) and (7.12) we can see that

ν1γ, ν2γ ∈ Z. (7.18)

Hence γ is a rational number. Let d be the greatest common divisor of ν1 and ν2.

If we put ν1 = dp1 and ν2 = dp2, then p1 and p2 are mutually prime. The above

equation (7.18) implies that dγ is an integer. So we have

d := GCD ν1, ν2, ℓ := dγ ∈ Z. (7.19)

Before constructing the representation of the MTG, we need to know how the

generators generate an arbitrary element of the MTG. From the multiplication rule

of the group R×ω Rn we deduce that for x, y ∈ Rn

(1

2xωx, x

)·(1

2yωy, y

)=

(1

2xωx+

1

2yωy + xωy, x+ y

)

=(1

2xωy − 1

2yωx+

1

2(x+ y)ω(x+ y), x+ y

)

=(1

2x(ω − tω)y, 0

)·(1

2(x+ y)ω(x+ y), x+ y

)(7.20)

and (1

2xωx, x

)−1

=(1

2xωx,−x

). (7.21)

Iteration of (7.20) yields(1

2xωx, x

)n

=(1

2n2xωx, nx

), n ∈ Z. (7.22)

Furthermore, (7.20) implies(1

2s2xωx, sx

)·(1

2t2xωx, tx

)=(1

2(s+ t)2xωx, (s+ t)x

), s, t ∈ R. (7.23)

By a tedious calculation we can show

(s, x+ y + z) = (s−X, 0) ·(1

2xωx, x

)·(1

2yωy, y

)·(1

2zωz, z

)(7.24)

with

X =1

2(x+ y+ z)ω(x+ y+ z)+

1

2x(ω− tω)y+

1

2x(ω− tω)z+

1

2y(ω− tω)z. (7.25)

Thus an arbitrary element of the MTG is expressed as

g = (s, te0 + n1e1 + n2e2)

=(s− 1

2(te0 + n1e1 + n2e2)ω(te0 + n1e1 + n2e2)−

1

2γn1n2, 0

)

·(1

2t2e0ωe0, te0

)·(1

2e1ωe1, e1

)n1

·(1

2e2ωe2, e2

)n2

= φ(s−X) · g0(t) · (g1)n1 · (g2)n2 , (7.26)

18

which is a product of the generators

φ(s) := (s, 0), (7.27)

g0(t) :=(1

2t2e0ωe0, te0

), (7.28)

g1 :=(1

2e1ωe1, e1

), (7.29)

g2 :=(1

2e2ωe2, e2

). (7.30)

These generators satisfy the relations

φ(s) · φ(t) = φ(s+ t), (7.31)

φ(1) = 1, (7.32)

g0(s) · g0(t) = g0(s+ t), (7.33)

g0(1) = φ(1

2z0

), (7.34)

(g1)ν1 = φ

(1

2z1

), (7.35)

(g2)ν2 = φ

(1

2z2

), (7.36)

g1 · g2 · g−11 · g−1

2 = φ(γ) (7.37)

and other trivial commutators. Here we have defined z0, z1, z2 by

z0 := e0ωe0 =(

1

D0

)2

b1b2b3, (7.38)

z1 := ν21e1ωe1, z2 := ν22e2ωe2. (7.39)

Because e0 is an integral vector and ω is an integral matrix, z0 is an integer. Fur-

thermore, (7.12) implies that z1 and z2 are also integers. In reverse order, the

generators φ(s), g0(t), g1, g2 and their relations (7.31)-(7.37) determine the MTG

uniquely. These generators with the relations form the MTG in a constructive manner.

Consequently, the MTG in T 3 is completely characterized by the set of parameters

(z0, z1, z2, ν1, ν2, γ), where z0, z1, z2, ν1, ν2 are integers and γ is a rational number

constrained by the condition (7.18).

Now we discuss the representation theory of the MTG exhaustively. The space of

functions f : Rn+1 → C provides the regular representation of the group R×ω Rn

via

U(v0, v)f(x0, x) := f((v0, v)−1 · (x0, x))

= f((−v0 + vωv,−v) · (x0, x))= f(x0 − v0 + vωv − vωx, x− v). (7.40)

We restrict the representation U on the space of equivariant functions, which are

constrained by (3.7) and (3.8). Then we have

U(v0, v)f(x0, x) = e2πi(v0−vωv+vωx)f(x0, x− v), (7.41)

19

which reproduces the unitary transformations (2.3) and (2.4) when the twisting matrix

(3.11) is taken. Particularly (v0, 0) is represented by

U(v0, 0)f(x0, x) = e2πiv0f(x0, x). (7.42)

Hence the representation U induces an isomorphism of (7.31) and (7.32) by

U(φ(s)) = e2πis. (7.43)

Moreover, if we put

U0(t) := U(g0(t)), U1 := U(g1), U2 := U(g2), (7.44)

they satisfy

U0(s)U0(t) = U0(s+ t), (7.45)

U0(1) = eπiz0 , (7.46)

(U1)ν1 = eπiz1, (7.47)

(U2)ν2 = eπiz2, (7.48)

U1 U2 U−11 U−1

2 = e2πiγ (7.49)

since U is a homomorphism of the relations (7.33)-(7.37).

An irreducible representation of U0(t) is labeled by an integer q0 and defined by

U0(t)|q0〉 = e2πi(q0+1

2z0)t|q0〉. (7.50)

On the other hand, to construct a representation of the algebra generated by U1 and

U2, we introduce a set of orthogonal vectors |q1, q2〉 | q1 ∈ Z/ν1Z, q2 ∈ Z/ν2Z.We assume identification |q1, q2〉 = |q1 + k1ν1, q2 + k2ν2〉 for any k1, k2 ∈ Z. Let the

operators U1 and U2 act on them by

U1|q1, q2〉 = e2πi(q1+1

2z1)/ν1 |q1, q2〉, (7.51)

U2|q1, q2〉 = e2πi(q2+1

2z2)/ν2 |q1 + ν1γ, q2〉. (7.52)

The step of q1 generated by U2 is

∆q1 := ν1γ = dp1ℓ

d= p1ℓ. (7.53)

Then the fundamental relations, (7.47), (7.48), and (7.49), are satisfied as

(U1)ν1|q1, q2〉 = e2πi(q1+

1

2z1)|q1, q2〉

= e2πi1

2z1 |q1, q2〉, (7.54)

(U2)ν2|q1, q2〉 = e2πi(q2+

1

2z2)|q1 + ν1ν2γ, q2〉

= e2πi1

2z2 |q1, q2〉 (because ν2γ is an integer), (7.55)

U1 U2 U−11 U−1

2 |q1, q2〉 = U1 U2 U−11 e−2πi(q2+

1

2z2)/ν2 |q1 − ν1γ, q2〉

= U1 U2 e−2πi(q1−ν1γ+

1

2z1)/ν1e−2πi(q2+

1

2z2)/ν2 |q1 − ν1γ, q2〉

= U1 e−2πi(q1−ν1γ+

1

2z1)/ν1 |q1, q2〉

= e2πiγ |q1, q2〉. (7.56)

20

Thus the basis |q1, q2〉 spans a representation space of the algebra generated by U1

and U2. This representation space is reducible generally. We can see that the action

of U2 is cyclic. Namely, if we put

c :=LCM ∆q1, ν1

∆q1=

LCM p1ℓ, p1dp1ℓ

=LCM ℓ, d

ℓ=

d

GCD ℓ, d , (7.57)

then

c∆q1 = LCM ∆q1, ν1 (7.58)

is an integral multiple of ν1 and therefore the U2 action (7.52) iterated by c times

gives

(U2)c|q1, q2〉 = e2πi(q2+

1

2z2)c/ν2 |q1 + c∆q1, q2〉 = e2πi(q2+

1

2z2)c/ν2|q1, q2〉. (7.59)

Moreover,

ν1c

=ν1GCD ℓ, d

d=dp1GCD ℓ, d

d= p1GCD ℓ, d, (7.60)

ν2c

=ν2GCD ℓ, d

d=dp2GCD ℓ, d

d= p2GCD ℓ, d (7.61)

are integers. Therefore, each choice of q1 ∈ Z modulo (ν1/c)Z and q2 ∈ Z modulo

(ν2/c)Z specifies one of inequivalent irreducible representations. Consequently, the

dimension of the irreducible representation is

dimension = c =d

GCD d, ℓ . (7.62)

On the other hand, the number of inequivalent representations for a fixed q0 is

#ineq. irr. rep. =ν1c· ν2c

= p1p2(GCD d, ℓ)2. (7.63)

These numbers give a number

(dimension)2 × (#ineq. irr. rep.) = c2 × ν1ν2c2

= ν1ν2, (7.64)

which coincides with the dimension of the algebra generated by U1 and U2, as required

by the Peter-Weyl theory on group representation [29]. Thus we have obtained the

complete set of irreducible representations of the algebra.

In summary, an irreducible representation of the MTG in the three-dimensional

torus is specified by

χ = (q0, [q1], [q2]) ∈ Z ×Z(ν1/c) ×Z(ν2/c). (7.65)

Using the decomposition (7.26) we have

U(s, te0 + n1e1 + n2e2)|q0, q1, q2〉= e2πi(s−X) U0(t) (U1)

n1 (U2)n2 |q0, q1, q2〉

= e2πi(s−X)+(q0+1

2z0)t+(q1+γν1n2+

1

2z1)n1/ν1+(q2+

1

2z2)n2/ν2|q0, q1 + γν1n2, q2〉 (7.66)

with X evaluated as

X =1

2(te0 + n1e1 + n2e2)ω(te0 + n1e1 + n2e2) +

1

2γn1n2. (7.67)

21

7.2 Examples in the three-dimensional torus

Here we apply the previous method of representation of the MTG to three examples

of magnetic fields in T 3.

The first example is a magnetic field parallel to the x3-axis,

b =

b1b2b3

=

00ν

(7.68)

with a positive integer ν. The generators (7.8) of the MTG are

e0 =

001

, e1 =

1

ν

100

, e2 =

1

ν

010

. (7.69)

The vectors e1, e2 reproduce the discrete magnetic shifts (2.17) in the plane per-

pendicular to the magnetic field. The cycles (7.12) of e1 and e2 are found to be

ν1 = ν, ν2 = ν, (7.70)

respectively. Using them we evaluate the parameters of the MTG as

d = GCD ν1, ν2 = GCD ν, ν = ν, (7.71)

γ = e1(ω − tω)e2 = e1 · (e2 × b) =1

ν, (7.72)

ℓ = dγ = ν1

ν= 1, (7.73)

z0 = z1 = z2 = 0. (7.74)

The size and the number of irreducible representations are

dimension = c =d

GCD ℓ, d =ν

GCD 1, ν =ν

1= ν, (7.75)

#ineq. irr. rep. =ν1ν2c2

=ν2

ν2= 1. (7.76)

In this case (7.51) and (7.52) reproduce the representations (2.20) and (2.21) in T 2.

The second example is a magnetic field perpendicular to the x1-axis and lying in

the middle of the x2- and x3-axes,

b =

b1b2b3

=

0νν

(7.77)

with a positive integer ν. The generators of the MTG are chosen as

e0 =

011

, e1 =

1

ν

001

, e2 =

1

ν

100

. (7.78)

22

The cycles of e1 and e2 are

ν1 = ν, ν2 = ν (7.79)

and other parameters of the MTG are also evaluated as

d = ν, γ =1

ν, ℓ = 1, z0 = z1 = z2 = 0, (7.80)

dimension = c = ν, (7.81)

#ineq. irr. rep. =ν1ν2c2

= 1. (7.82)

The third example is a magnetic field in the direction of (1, 1, 1),

b =

b1b2b3

=

ννν

(7.83)

with a positive integer ν. A calculation similar to the previous ones gives a series of

parameters. Here we show only the results

e0 =

111

, e1 =

1

ν

100

, e2 =

1

ν

010

, (7.84)

ν1 = ν, ν2 = ν, d = ν, γ =1

ν, ℓ = 1, z0 = ν, z1 = z2 = 0, (7.85)

dimension = c = ν (7.86)

#ineq. irr. rep. =ν1ν2c2

= 1. (7.87)

8 Representation theory of the MTG in an n-torus

Here we describe how to characterize the MTGs in an n-dimensional torus. We

can choose generators e1, e2, · · · , el, f1, f2, · · · , fl, g1, g2, · · · , gm (2l +m = n) of the

magnetic shift group Ωn such that

ei, fi ∈ Qn, (ω − tω)ei, (ω − tω)fi ∈ Zn, ei(ω − tω)fj = γiδij

(i, j = 1, · · · , l) (8.1)

gk ∈ Zn, (ω − tω)gk = 0 (k = 1, · · · , m) (8.2)

with nonzero rational numbers γi ∈ Q. The vectors g1, · · · , gm are demanded to be

minimal integral vectors in the sense that there is no real number s satisfying

0 < s < 1, sgk ∈ Zn (8.3)

for each k = 1, · · · , m. Let µi, νi (i = 1, · · · , l) be smallest positive integers such

that

µiei, νifi ∈ Zn (8.4)

23

and that there are no integers mi, ni satisfying

0 < mi < µi, miei ∈ Zn, (8.5)

0 < ni < νi, nifi ∈ Zn. (8.6)

Equations (8.1) and (8.4) imply that γiµi and γiνi are integers. Thus, by putting

di := GCD µi, νi, (8.7)

we can see that γidi is an integer. Consequently, the group of translations (6.16) is

decomposed as

Ωn = Ze1 ⊕ · · · ⊕Zel ⊕Zf1 ⊕ · · · ⊕Zfl ⊕Rg1 ⊕ · · · ⊕Rgm (8.8)

and the MTG (6.18) is expressed as

SA∼= S1 ×ω (Zµ1

× · · · ×Zµl×Zν1 × · · · ×Zνl × Tm). (8.9)

Finally, we describe an outline of the representation theory of the MTGs in an

n-dimensional torus. Let us define integers xi, yi, zj by

xi := µ2i eiωei, (8.10)

yi := ν2i fiωfi (i = 1, · · · , l), (8.11)

zk := gkωgk (k = 1, · · · , m). (8.12)

Generators of the MTG (8.9) are represented by a set of unitary operators

T (s) := U(s, 0), s ∈ R, (8.13)

Ui := U(1

2eiωei, ei

), (8.14)

Vi := U(1

2fiωfi, fi

), (8.15)

Wk(t) := U(1

2t2gkωgk, tgk

), t ∈ R. (8.16)

They satisfy the equations

T (s)T (t) = T (s+ t), (8.17)

T (1) = 1, (8.18)

(Ui)µi = T (xi/2), (8.19)

(Vi)νi = T (yi/2), (8.20)

Ui Vi U−1i V −1

i = T (γi), (8.21)

Wk(s)Wk(t) = Wk(s+ t), (8.22)

Wk(1) = T (zk/2), (8.23)

24

and other trivial commutators. These equations for the n-torus are generalization of

the equations (7.31)-(7.37) for the three-torus. A representation space is spanned by

the basis vectors

|λ, p, q, r〉 = |λ, p1, p2, · · · , pl, q1, q2, · · · , ql, r1, r2, · · · , rm〉 (8.24)

labeled by λ ∈ Z, pi ∈ Zµi, qi ∈ Zνi, and rk ∈ Z. The generators act on the basis

vectors according to

T (s)|λ, p, q, r〉 = e2πiλs|λ, p, q, r〉, (8.25)

Ui|λ, p, q, r〉 = eπiλ(2pi+xi)/µi |λ, p, q, r〉, (8.26)

Vi|λ, p, q, r〉 = eπiλ(2qi+yi)/νi |λ, p1, · · · , pi + γiµi, · · · , pl, q, r〉, (8.27)

Wk(t)|λ, p, q, r〉 = eπiλ(2rk+zk)t|λ, p, q, r〉. (8.28)

These are generalization of (7.43) and (7.50)-(7.52). The cycle of Vi is given by

ci :=LCM γiµi, µi

γiµi

=LCM γidi, di

γidi=

diGCD γidi, di

. (8.29)

Hence an irreducible representation is labeled by

χ = (λ, [p1], · · · , [pl], [q1], · · · , [ql], r1, · · · , rm)∈ Z ×Z(µ1/c1) × · · · ×Z(µl/cl) ×Z(ν1/c1) × · · · ×Z(νl/cl) ×Zm. (8.30)

The dimension of the irreducible representation is

dimension =l∏

i=1

ci (8.31)

and the number of inequivalent representations is

#ineq. irr. rep. =l∏

i=1

µiνic2i

(8.32)

for fixed (λ, r1, · · · , rm) ∈ Zm+1.

9 Conclusion

Let us summarize our discussions. We began this paper with a discussion on sym-

metry of a charged particle in a uniform magnetic field. We saw that the quantum

system in T 2 has a discrete noncommutative translation symmetry. The symmetry is

characterized by a central extension of a cyclic group.

In the following part of this paper we introduced a noncommutative product into

Rn+1. Using the group structure, we defined the magnetic fiber bundles P n+1ω , which is

a fiber bundle over T n with a fiber S1. Then we showed that the set of magnetic fiber

bundles is classified by the quotient space of integral matrices Mat(n,Z)/Sym(n,Z).

25

We introduced connections into the fiber bundles and classified them by Mat(n,Z)×Rn/Sym(n,Z)×Zn as showed in (5.5). The lifted translations leaving the connection

invariant form the magnetic translation group of (6.4). We characterized the MTG

by (6.18) with (6.16). This characterization of the MTG is one of main results of this

paper. We found that the magnetic shift group Ωn is discrete when the characteristic

matrix (ω − tω) is nondegenerated.

In the rest of paper we discussed the representation theory of the MTG for T 3

in detail and applied it to a few examples. The dimensions of an irreducible unitary

representation is given by c in (7.62) and each irreducible representation is labeled by

χ in (7.65). These results may be useful for application to the electron system in a

lattice in an inclined magnetic field. We briefly described the representation theory

of the MTG for T n and summarized the result in (8.30) and (8.31).

Here we would like to mention remaining problems. It is desirable to apply the

representation theory of the MTG to spectral analyses of the Laplace and Dirac oper-

ators. Originally the spectral problem of the quantum mechanics in a torus motivated

this study. For this application the Peter-Weyl theory on group representation will

play an essential role. In the next study we would like to pursue the analysis of the

Laplace operator in the torus with a magnetic field. Moreover, an equilateral torus

admits discrete transformations that exchange vertices of the torus and that leave the

metric and the magnetic field invariant. It is also desirable to include such discrete

transformations into the MTG for the complete spectral analysis.

By developing the theory of the MTG we will find its applications to physics.

Inclusion of the supersymmetry into the MTG is an interesting direction for the fu-

ture development. Sakamoto, Tachibana, and Takenaga [30, 31] have pointed out

that breaking of the translation symmetry causes breaking of the supersymmetry be-

cause the supersymmetry includes the translation symmetry. Hence the magnetic field

may trigger supersymmetry breaking. On the other hand, the MTG in an n-torus is

regarded as a generalization of the noncommutative torus, which attracts much atten-

tion recently in the string theory [32]. The B-field in a compactified space naturally

induces a noncommutative structure, which is described by the MTG. Jackiw [33] also

showed that how the noncommutative structure emerges in physical situations. If we

turn our attention to solid state physics, we find another interesting application of the

MTG also in this area. Tranquada [34] observed spontaneous formation of a charge

density wave at a nonzero wave number in a copper-oxide superconductor. This or-

dered state is called the stripe phase, in which the translation symmetry is broken. A

similar stripe phase occurs commonly in a quantum Hall system [35]. Application of

the MTG may help understanding of the stripe phases.

26

Acknowledgments

I wish to thank Kin-ya Nakamura, whose thesis motivated this work. I wish to thank

M. Sakamoto for stimulating discussions. This work originates from collaborations

with him. I thank A. Asada, who taught me classification of S1-fiber bundles by the

first Chern class. I appreciate valuable comments by K. Fujii, S. Higuchi, S. Iida,

T. Iwai, N. Maeda, N. Miyazaki, J. Nishimura, Y. Ohnuki, and I. Tsutsui. This

work was partially supported by Grant-in-Aids for Scientific Research from Ministry

of Education, Culture, Sports, Science and Technology of Japan.

References

[1] E. Brown, “Bloch electrons in a uniform magnetic field”, Phys. Rev. 133, A1038 (1964).

[2] J. Zak, “Magnetic translation group”, Phys. Rev. 134, A1602 (1964). “Magnetic trans-

lation group II. Irreducible representations”, Phys. Rev. 134, A1607 (1964).

[3] J. Zak, “Weyl-Heisenberg group and magnetic translations in finite phase space”, Phys.Rev. B 39, 694 (1989).

[4] N. Ashby, S. C. Miller, “Electric and magnetic translation group”, Phys. Rev. 139,A428 (1965).

[5] J. Avron, I. Herbst, B. Simon, “Schrodinger operators with magnetic fields. I. General

interactions”, Duke Math. J. 45, 847 (1978).

[6] J. E. Avron, I. W. Herbst, B. Simon, “Separation of center of mass in homogeneous

magnetic fields”, Ann. Phys. 114, 431 (1978).

[7] J. E. Avron, I. W. Herbst, B. Simon, “Schrodinger operators with magnetic fields. III.

Atoms in homogeneous magnetic field”, Comm. Math. Phys. 79, 529 (1981).

[8] J. Avron, B. Simon, B, “Stability of gaps for periodic potentials under variation of a

magnetic field”, J. Phys. A 18, 2199 (1985).

[9] B. A. Dubrovin, S. P. Novikov, “Ground states in a periodic field. Magnetic Bloch

functions and vector bundles”, Soviet Math. Dokl. 22, 240 (1980).

[10] S. P. Novikov, “Magnetic Bloch functions and vector bundles. Typical dispersion laws

and their quantum numbers”, Soviet Math. Dokl. 23, 298 (1981).

[11] J. Asch, H. Over, R. Seiler, “Magnetic Bloch analysis and Bochner Laplacians”, J.Geom. Phys. 13, 275 (1994).

[12] T. Lulek, “Mac Lane method of group cohomologies and gauge theories on finite lat-

tices”, Rep. Math. Phys. 34, 71 (1994).

[13] W. Florek, “Magnetic translation groups as group extensions”, Rep. Math. Phys. 34,81 (1994).

[14] D. Lipinski, “Magnetic translation groups on a 3 × 3-torus. Application of the Mac

Lane method”, Rep. Math. Phys. 34, 97 (1994).

27

[15] S. Walcerz, “Magnetic translation groups in case N = 2”, Rep. Math. Phys. 34, 107(1994).

[16] W. Florek, “Magnetic translation groups in n dimensions”, Rep. Math. Phys. 38, 235(1996).

[17] W. Florek, “Mac Lane method in the investigation of magnetic translation groups”,Rep. Math. Phys. 38, 325 (1996).

[18] R. Kuwabara, “On the classical and the quantum mechanics in a magnetic field”, J.Math. Tokushima Univ. 29, 9 (1995). Correction and addendum: J. Math. TokushimaUniv. 30, 81 (1996).

[19] R. Kuwabara, “On Maslov’s quantization condition for mechanics in a magnetic field”,J. Math. Tokushima Univ. 33, 33 (1999).

[20] M. J. Gruber, “Bloch theory and quantization of magnetic systems”, J. Geom. Phys.34, 137 (2000).

[21] I. Antoniadis, “A possible new dimension at a few TeV”, Phys. Lett. B 246, 377 (1990).

[22] N. Arkani-Hamed, S. Dimopoulos, G. Dvali, “The hierarchy problem and new dimen-

sions at a millimeter”, Phys. Lett. B 429, 263 (1998), hep-ph/9803315.

[23] M. Sakamoto, M. Tachibana, K. Takenaga, “Spontaneously broken translational invari-

ance of compactified space”, Phys. Lett. B 457, 33 (1999), hep-th/9902069.

[24] K. Ohnishi, M. Sakamoto, “Novel phase structure of twisted O(N)φ4 model onMD−1×S1”, Phys. Lett. B 486, 179 (2000), hep-th/0005017.

[25] H. Hatanaka, S. Matsumoto, K. Ohnishi, M. Sakamoto, “Vacuum structure of twisted

scalar field theories on MD−1×S1”, Phys. Rev. D 63, 105003 (2001), hep-th/0010283.

[26] S. Matsumoto, M. Sakamoto, S. Tanimura, “Spontaneous breaking of the rotational

symmetry induced by monopoles in extra dimensions”, Phys. Lett. B 518, 163 (2001),hep-th/0105196.

[27] M. Sakamoto, S. Tanimura, “Spontaneous breaking of the C, P, and rotational symme-

tries by topological defects in two extra dimensions”, Phys. Rev. D 65, 065004 (2002),hep-th/0108208.

[28] F. Hirzebruch, Topological methods in algebraic geometry, 3rd English edition(Springer-Verlag: Berlin, New York: 1966).

[29] J.-P. Serre, Representations lineaires des groupes finis, 2nd edition (HERMANN S.A.:Paris: 1971). (A Japanese translation by Iwahori and Yokonuma is published fromIwanami.)

[30] M. Sakamoto, M. Tachibana, K. Takenaga, “Spontaneous supersymmetry breaking

from extra dimensions”, Phys. Lett. B 458, 231 (1999), hep-th/9902070.

[31] M. Sakamoto, M. Tachibana, K. Takenaga, “A new mechanism of spontaneous SUSY

breaking”, Prog. Theor. Phys. 104, 633 (2000), hep-th/9912229.

[32] A. Connes, M. R. Douglas, A. Schwarz, “Noncommutative Geometry and Matrix The-

ory: Compactification on Tori”, JHEP 9802, 003 (1998), hep-th/9711162.

28

[33] R. Jackiw, “Physical instances of noncommuting coordinates”, Nucl. Phys. Proc. Suppl.108, 30 (2002), hep-th/0110057.

[34] J. M. Tranquada, J. D. Axe, N. Ichikawa, Y. Nakamura, S. Uchida, B.Nachumi, “Neutron-scattering study of stripe-phase order of holes and spins in

La1.48Nd0.4Sr0.12CuO4”, Phys. Rev. B 54, 7489 (1996).

[35] E. Fradkin, S. A. Kivelson, “Liquid-crystal phases of quantum Hall systems”, Phys.Rev. B 59, 8065 (1999).

Note added to the proof

After acceptance for publication of this article we obtained more strong results on

the magnetic translation group in n dimensions. As concerns γi in (8.1) and µi, νi

in (8.4), we proved that µi = νi = 1/γi. Consequently, the definition (8.7) means

simply that di = νi. Eq. (8.29) is also simplified as ci = νi. In (8.31) the dimension

of the irreducible representation becomes Πli=1νi. Finally, the number of inequivalent

representations (8.32) is reduced to one. As a corollary, we can show that ν1 =

ν2 = d = c = 1/γ and hence ℓ = dγ = 1 in Sec. 7. More strongly, we can prove

that ν1 = GCD b1, b2, b3 for the three-dimensional magnetic field. Proofs of these

statements are to be published elsewhere.

29