arXiv:cond-mat/9508062v1 31 Jul 1995 ETH-H onggerberg CH-8093 Z - - PDF document
QUANTUM THEORY OF LARGE SYSTEMS OF NON-RELATIVISTIC MATTER Research Group in Mathematical Physics Theoretical Physics arXiv:cond-mat/9508062v1 31 Jul 1995 ETH-H onggerberg CH-8093 Z urich J. Fr ohlich, U.M. Studer , E.
∗ J. Fr¨
† Work supported in part by the Swiss National Foundation
2 (or 1 4). It would have been desirable to include
v c, one obtains the equation of motion already found by Thomas
g
g
v
c)2
q
g
v
1 , L(s) 2 , L(s) 3 ) .
A )3 A=1 are hermitian generators of the Lie algebra su(2) in the spin-s representa-
A
q¯ h
e¯ h 2moc =: µB = 5.79 × 10−9 eV/Gauss, the Bohr magneton, and g = 2. Other examples
e¯ h 2mc, with m the proton mass, and the g-factors
3
A ,
3
e2¯ h2 8m3
3
hc q , where q is the charge of the particles. This is a consequence of the fact that
¯ hc
x
∗ A · dl , where dl denotes the line element along some path
hc
hc
H q where
H is a “Hall conductivity”) and hence give rise to Aharonov-Bohm phases which one can
3
µν := ∂µρνA − ∂νρµA − 2 3
Q 2πr2(x, y, 0), where r = √x2 + y2, and, with (2.15), we find
12(x) = − gµ
12 is supported at the origin, i.e., the SU(2) connection ρ is “flat” outside
x
∗ ρ · dl L(s) 3
2hcQ
2hc gµ .
2, . . ., so. The claim is
αβ , with α, β = 0, . . ., d .]
2, 1, . . . moving in M, it is necessary to make use of the (co)tangent frame -
A=1 ,
x(L), x ∈ L. The components of the orthonormal frame (eA(x))3 A=1 in the
j=1 of T ∗ x(L) are denoted by eA i(x) and are called dreibein (fields).
A=1 such that, for x ∈ M ⊂ L, e3(x) is orthogonal to
x(M) in the metric of T ∗ x(L). The metric on L can be expressed in terms of the dreibein
i(x) eB j(x) .
2
i(x) eB j(x) ,
†Throughout this work, if not stated explicitly, the Einstein summation convention over repeated indices
is understood.
i(x) is given by
A (x) := δAB gij(x) eB j(x) ,
A (x) eB i(x) = δB A ,
A (x) E j B (x) .
i(x) is the matrix which transforms the coordinate basis
x(L) to an orthonormal basis of 1-forms (orthonormal frame), (eA(x)),
x(L), i.e.,
i(x) dxi ,
i(x) eB j(x) = δAB .
A (x) transforms the basis ( ∂ ∂xi) of vector fields in Tx(L) to an orthonormal
A (x) ∂
A (x) ∂i ,
A (x) E j B (x) = δAB .
i is a “square root” of the metric (gij). This
i has 9 independent components while the metric (gij) has only 6. It is
x(L) , x ∈ L, carries a three-dimensional (spin-1) representation,
i(x) as
i(x) → ReA i(x)
B eB i(x) ,
x(L):
B(x) = ωA Bi(x)dxi = ωA BC(x) eC i(x)dxi = ωA BC(x)eC(x) .
B (ξ; x) determines an isomorphism from T ∗ x(L) to T ∗ x+ξ(L),
B(ξ
Bi(x)ξi(x) .
B is the torsion 2-form,
ij(x) dxi ∧dxj
B(x) ∧eB(x) ,
∂ ∂xi ) and ∧
B(x) = λA B(x) + κA B(x) ,
B is the Levi-Civita connection and κA B is the so-called contorsion field. The
B by λA B in Eq. (3.10) the resulting expression has to vanish. The components λA Bi can
i, its derivatives, and its inverse E i A (Eguchi,
Bi(x)
B (x)
i − ∂ieA k
C (x)
k − ∂keD i
i(x)E k B (x)E l C (x)
l − ∂leE k
B contains additional information about the affine geometry of L.
B(x) of the connection
B on L. It is defined through Cartan’s second structure equation
B(x)
Bij(x) dxi ∧dxj
B(x) + ωA C(x) ∧ωC B(x) .
T denotes transposition of a matrix.
i
i
j
i
j
j eB h κA Bk; see (3.1) and (3.11).
i
LC
LC
ijA = E k A eB i RA Bjk is the Ricci tensor, and R := gij Rij is the scalar
LC
LC
Bj, the torsion-free part
2, 1, . . .
‡There is little danger of confusion.
A=1 ;
C (L), is then U(1)×SU(2). The factor U(1) (phase transformations of ψ(s)) is connected
C (L) over L are then interpreted as operator-valued distributions acting on Fock space
α (x), ψ(s)∗ β
α (x), ψ(s)♯ β
C (R × L), over the space-time manifold, R × L. In order to formu-
C (R × L). Parallel
C (R × L) is defined with the help of a U(1) × SU(2)
µ (x) ,
µ (x)dxµ is the SU(2) connection in the spin-s representation of su(2),
µ (x) = i 3
A ,
A )3 A=1 are hermitian generators
A
B, introduced in (3.8), enters the definition of
C (R × L) is associated to the cotangent bundle T ∗(R × L),
µ (x)dxµ, in the SU(2)
µ (x) = ω(s) µ (x) + ρ(s) µ (x) ,
µ (x) = i
3
A
Bµ(x) L(s) C ,
A
µ (x) = i 3
A .
Bi(x), i = 1, 2, 3, is given by (3.8), (3.11) and (3.12), and
B0(x) = 1
C (x) ∂0eD k(x) − E k B (x) ∂0eA k(x)
µ (x) → Rω(s) µ (x) := U(s)(R(x)) ω(s) µ (x) U(s)(R(x))∗ + U(s)(R(x)) ∂µU(s)(R(x))∗ , (3.32)
µ (x) → Rρ(s) µ (x) := U(s)(R(x)) ρ(s) µ (x) U(s)(R(x))∗ ,
0 (x) vanishes; see (3.29) and (3.31). After
x(R × L) ) are given by
x(R×
k(x) εCAB ,
µ(x) = δA µ . Then the “geometrical” part ω of the SU(2) connection w clearly vanishes.
B on R×L ;
µ(x) to be constant on all of R × L.
i and its inverse E i A the compo-
A (x) Bk(x) ,
k(x) AC(x) .
µ
2, 1, . . .), the situation is not quite as neat,
i(y) is time-dependent,
k(y) := eA j(t, φ(t, y)) ∂
j(t, φ(t, y)) ∂xj
k(y); see (3.7). What
B(t, x) := 1
A (x) ∂ ∂xi , and f A(t, x) := eA j(x)f j(t, x) ; see (3.6) and the remark after (3.8).
B(t, x)) is called the vorticity or
B(t, x)) by setting
B(t, x) := T exp
t
0 dt′ Ω(t′, x)
A
B ,
k(y) := R˜
k(y) = RA B(t, φ(t, y)) ˜
k(y) ,
i(y) is given by (3.42). We also define the following transformed quantities:
0 (t, y)
0 (t, φ(t, y)) + ∂xj
j (t, φ(t, y))
k (t, y)
∂xj
j (t, φ(t, y))
∗ ˆ
∂ ∂x0 = 1 c ∂ ∂t = ∂ ∂y0 )
∂
x=φ(t,y) =
∂
3
A
B(t, y) L(s) C ˆ
∂xj f j(t, φ(t, y)) is the k th component of the vector field generating
B(t, y)) is the vorticity of the generating vector field
∂
0 (x)
ψ(x)
x=(ct, φ(t,y)) =
0 (y)
ˆ
k (y)
ˆ
0 (y) ,
k (y) ,
Λ( ˆ
Λ
¯ h ˆ
Λ as a
q c ˆ
q c B(x) by 2m Ω(x), where
Λ contains a term
3
A
2 curl ˆ
3
A
Λ. Recall that the magnetic
2 L(s); see (2.4). Thus gµ ¯ h ˆ
g ˆ
2 ˆ
m 2 ∂ ∂yl( ˆ
2 ˆ
3
A ,
∂ ∂yk φj, and second
∂ ∂yk ∂ ∂yl φj, of the flow φ(t, ·). Furthermore, in (3.64), we have the terms
¯ h S, with µ = q¯ h 2moc, and mo is the
mcA(x), and
mo .
2 curl f(x) = − q 2mc B(x) of the velocity field f(x)
j (x) = 0 = a0(x) by
∂yk ˆ
∂yk ˆ
∂ ∂yk
µ := Dµ + zµ(x) ,
µ (x) → U(s)(R(x)) w(s) µ (x) U(s)(R(x))∗ + U(s)(R(x)) ∂µU(s)(R(x))∗ ,
κ 2πr
f ·dl . [Note that κ = 2πLz
NM , where M is the mass of the
h m, where m is the mass of the particles in the scattering currents; compare to
M , n ∈ Z , where M is the mass of the constituent particles in
Hκ , where σ H = σ M2
h
B, the affine spin
B is flat for x = 0.
hc q , where q is the charge of the
hc q . Experimentally, this effect has been
2 curl f (see (3.44)), is localized along
h M , where M is the mass of the particles
2
gµB
¯ h
¯ h B which
2 f · f, and (in a first step) the magnetic
c ,
c is the vector potential of Bc in the Coulomb gauge (i.e., div AT c = 0). Thus, the
c ,
s , determined by Maxwell’s equation: ∆ AT s = −1 c Js.
c + AT s is the total vector potential of the external magnetic field, Bc , and
c = −1 c Jc, and assuming that the external current
q2 ns
q , n ∈ Z , for any closed curve Γ contained in the superconducting phase,
i (x) :=
i − ∂i ∆−1∂j
e
hc e is the flux quantum. Then the classical Hall law (4.9) says that R−1
H rises linearly
H
h ν, the constant of proportionality being a constant of nature, e2 h . Since,
h e2 R−1
H
2 (Willett et al., 1987; Eisen-
2 (Suen et al., 1992; Eisen-
9 19
17 ◦ 9 17 · 10 17
15
15 ◦ 8 15
13
4 13
13
13
13
13
11
11
4 11
11
11
11
11
9
9
9
7
7
7
7
7 (B-p)
5
5 (B-p)
5 B-p
5
3
3 B/n-p
1 7 1 6 1 5 1 4
1 3 1 2
H
H = 1
3Σ− 3 Σ+ 2
2
1
1
H = nH/dH in the interval 0 < σ H ≤ 1, and their
H = 1/RH is
c , but no well developed plateau in RH) have been observed are
2 (Willett et al., 1987; Eisenstein, Willett et al.,
4 3 (Clark et al., 1989; Clark et al., 1990), 8 5 (Eisenstein, Stormer
2 3 (Clark et al., 1990; Eisenstein, Stormer et al., 1990b),
H =
H = 3/5 (Engel
H = 5/7
e2 R−1
H
H
H
H = R−1 H . This is a phenomenological law valid on macroscopic distance scales and
H
tot − nec we denote
tot, and the uniform background
H B .
,
µν dxµ∧dxν ,
µν = εµνρ Jρ .
H F ,
µν dxα∧dxµ∧dxν = 0 ,
H is constant. If
H along the two sides of a curve Γ differ from each other – which happens,
H) ×
µν = ∂µbν − ∂νbµ ,
H dA .
H
H
i
dPA(b) =
H
H ; see also remark (iii) at the end of this subsection.
i
H εijEj ,
H (see remark (iii) below), can be derived from gauge invariance
e2 σ
H
Ω(θ)(A(θ)) when θ becomes large.
Ω(θ)(A(θ)) in powers of θ−1 around θ = ∞ (to a
T(Jµ(x)Jν(y)) con.
Seff(b) = N−1
A∧db ,
Seff(b) Db .
∂Σ b ,
1 ∝ S ∗ 2 .
tot(b) = ˜
tot, is given by the scaling limit, ˜
pert, of the two-body interaction Ipert. From our quasi-
pert is quadratic in b, ˜
tot is
tot = ˜
pert ,
L and ΨR, Ψ∗ R, corresponding to the points −kF and kF, respectively.
L describe left-moving excitations, while ΨR, Ψ∗ R describe right movers. These
R, ΨL, Ψ∗ L) =
R(∂0 + ivF ∂1)ΨR + Ψ∗ L(∂0 − ivF ∂1)ΨL
x· ω Ψ ω(x) ,
ω describing the scaling limit of the free Fermi gas
ω, Ψ∗
ω∧ ∇)2Ψ ω
− ω, corresponding to antipodal points, ±
ω = (A0,
ω) of
0 in the scaling limit,
0(k) = χ0
F k2 1
0 + v2 Fk2 1
k k0 | and | k0 vF k|, we have that
0(k)
⊥(k)
ω, referring to
ω, Ψ− ω:
ω, Π∗
ω) .
ω, Ψ− ω},
ω},
ω with Φ− ω. The result is Luther-Haldane bosonization
H
1
L
d ∂jAj)(x)Π∗ s(x − y)(A0 − ∂0∆−1 d ∂jAj)(y)
i
d ∂jAj ,
s is the scaling limit of
k0| and | k0
s(k) =
L
0(k) = g
⊥(k) = g⊥
0 ,
H
0(k) = Π∗ s(k) ,
⊥(k) =
L
⊥)− 1
2(δij − ∂i∆−1
d ∂j)(Π∗ ⊥)− 1
2](x, y) (∗db)j(y)
0)−1(x, y) (∗db)0(y)
⊥)−1(k)
0)−1(k)
H
L, χ−1 s ), and σ
H to σ−1 H .
i
B ; see (3.28) and (3.29), and the remarks at the end
1 4 of the value in empty space, and the effective mass, m, of the electron
7 100 of the mass, mo, in the vacuum. Thus, in GaAs , the Zeeman energies are
1 60 of the cyclotron energy (i.e., the splitting between Landau levels).
A(x) and
A(x)
A ψ(x) ,
A(x)
A ψ(x) − ψ∗(x) L(s) A (Dlψ)(x)
1 , L(s) 2 , L(s) 3 ) are the three generators of the spin-s representation of su(2); see
n
m
νj Aj(yj)
a, w
n
m
( · ) con
a, w denotes the connected expectation functional of the system in an external
Λ (a, w) := ¯
Λ (a, w) which, via (6.4), will provide
Λ (a, w) might appear to be an intractable problem. Actually, making a single
χa ,
χaµ(x) := aµ(x) + ∂µχ(x) ,
Rw ,
Rwµ(x)
χ, Rψ(x) := e−iχ(x) U(s)(R(x)) ψ(x) ,
Λ (χa, Rw) = Seff Λ (a, w) ,
jµ(x)
sµ(x)
sµ
A(x)
sµ
C(x)
Λ (a, w). They can be generalized, in an obvious way, to
Λ (a, w) in the scaling limit. We need to
ij (x) = γij
x
µ (x) := ac,µ(x) + θ−1 ˜
x
µ (x) := wc,µ(x) + θ−1 ˜
x
c ,
θΛo(a(θ), w(θ)) is four times con-
µ (x) := θ−1˜
θ
µ (x) := θ−1 ˜
θ
µ (x) = 0 = ˜
µ (x), for a suitable choice of background potentials, ac,µ(x) and wc,µ(x) =
θΛo(a(θ), w(θ)) to third order in ˜
Λo(˜
θΛo(a(θ), w(θ)), plug-
θΛo(a(θ), w(θ)) is given by a distribution
A1...Am(ac, wc; ξ1, . . ., ξn, η1, . . . , ηm) =: ϕ (θ) µ, ν A(ac, wc; ξ, η)
n
νj Aj(θηj) con ac, wc
(θ) µ, ν A(ac, wc; ξ, η)
N
∆ ϕ
µ, ν ∆ A(ac, wc; ξ, η)
µ, ν A(ac, wc; ξ, η) + o
N
µ, ν ∆ A(ac, wc; ξ, η) are local distributions, i.e., sums of products of derivatives of δ-
µ, ν A(ac, wc; ξ, η) are distributions (not necessarily local ones) that are completely local-
Λo(˜
(θ) µ, ν A(ac, wc; ξ, η) “converge” (in the bulk), as θ → ∞, to local distributions,
Λo(˜
3(x); or translation invariance in the scaling limit
θΛo(a(θ), w(θ)) of order 4 or higher in ˜
Λo(˜
Bµ(x)
,
Λo(˜
c ˜
3 ˜
2
1
2
2 εAB ˜
3
ABC ˜
c (ξ) is an electric - and mµ 3(ξ) a magnetic current circulating in the system when
1 (ξ) is a function symmetric in µ and ν, while τ µν 2 (ξ) is antisymmetric
ABC(ξ) is symmetric under interchanges of (µA), (νB) and
c (ξ) + ˜
c (ξ) := θ wc(θξ) ,
2
2
2
2
3
A dξµ ,
∂ ∂ξµ whenever we are working in rescaled ξ-coordinates. Finally, we note that
c , mµ 3, τ µν 1 , τ µν 2 , and ηµνρ ABC are not all
jµ(ξ)
Λo(˜
sµ
A(ξ)
Λo(˜
c )(ξ) = 0 .
3)(ξ) = 0 .
2
3(ξ) − 2 τ 0µ 1 (ξ) w(θ) c,03(ξ)
c,03(ξ) 2
2 (ξ) ˜
1
2
2
1 (ξ) ˜
2 (ξ) ˜
2
3
BCD(ξ) w(θ) c,03(ξ) ˜
c
3 when
3(ξ) = τ µν 1 (ξ) = τ µν 2 (ξ) = 0 ,
3 = 0) and cannot support persistent spin
2¯ hcBc (see
θΛo(a(θ), w(θ)) is four times continuously differentiable in ˜
θΛo(a(θ), w(θ)) breaks down!
θΛo(a(θ), w(θ)) is four times continuously
1 (ξ) =
3(ξ)
c,03(ξ)
1 (ξ) = τ ij 1 (ξ) = 0 ,
2 (ξ) = 0 ,
AA3(ξ) = − τ 00 1 (ξ)
c,03(ξ)
ABC(ξ) vanish.
3) = (m0 3, 0). Under somewhat more restrictive assumptions on W, imposing,
3, m2 3) is possible, too. For a more detailed discussion, see
Λo(˜
2¯ hc Bc, if ω0 = 0 (see (3.37) and (6.25)), and denoting by M := gµ 2 m0 3 the
1 (ξ) Bc(ξ) .
1 | < ∞ , one finds that, if M does not tend to 0, as the background magnetic
Λo(˜
θΛo(a(θ), w(θ)) we display, here, the most
0i dv + g⊥
12 dv
2
0i ] dv + l⊥
12 ] dv
, g⊥, l(i)
Λo(˜
jµ(ξ)
c (ξ) + σ
sµ
A(ξ)
0 m0 3(ξ) + δA3
0 τ 00 1 (ξ) ˜
ABC ) which are of little interest
c,µA + ˜
µ , has the form
µ (x) = i ωµ(x) L(s) 3
2 curl f(x) with respect to the orthonormal frame
A=1 at x, and the magnetic moment of the particles is given by gµ
A (ξ) := ¯
A(ξ) ,
A (ξ) := ¯
A(ξ) .
ρ(ξ)
H
qgµ
H, is defined by
H := q2
∂ξ1, ∂ ∂ξ2), R(ξ) := curl
Ji(ξ)
c (ξ) − σ
H εij ˜
qgµ
qgµ
S 0
3 (ξ)
H
gµ
H
H
∂ ∂τ ˜
∂ ∂τ λj
S i
3 (ξ)
H
¯
S µ
A
H = e2
h σ as
σ 4π
Λo(˜
con
a, w d 3y .
T[ j1(t,
con
a, w ds d 2
H
8π σs
3(x) sρ 3(y)]
con
a, w d 3y ,
2hc χs
3(y)]
con
a, w d 3y .
Λo(˜
Λo(˜
c ˜
c = 0.
j0(ξ)
j0(t,
e.g.
1 3, 1 5 in electronic
hc e = 1) produces a state of N electrons, we infer, from (6.63), that
1 no and is an
2
j0(t,
3He layers.] A chiral spin liquid is a system of neutral particles of spin so > 0 and with
Λo(w) =
2
3
A
s
(s0
1(ξ), s0 2(ξ), s0 3(ξ))
h 2 L(s) (in the spin-s represen-
L(s)
w =
S
2 Z . Consider a spinon of spin s localized at the point
L(s)
w δ(
L(s)
w 2
1
0 =
1
j =
1
2
1 − ξl 2
3
A ⊗ L(s′) A
0 =
2
j =
2
2
2 − ξl 1
3
A ⊗ L(s′) A
ss′ : D(s) ⊗ D(s′) → D(s′) ⊗ D(s) ,
ss′ = T πs ⊗ πs′ (R(κ)) ,
κ+2
ss′) determine an exotic quantum statistics described by non-
2 ) representations of the braid groups (more precisely, the
2 , i.e., there are no spinons of spin > κ 2 . One might call
2). Now, for a given level
ss ) define an abelian representation of the braid groups if, and only if,
Λo(w) given in (6.69) is based on idealizations – see (6.74) – and jumps in
2 no, no odd, and κ = 2so = 1, a Laughlin vortex of vorticity n = −no 2 (!)
1 2 is an excitation of charge Q = −1, spin 1 2 and Fermi
2, 5 2, . . . , with a spin-singlet ground state it would display excitations with
0(
2
i )2(
2
0i(
12(
i , i = 1, 2, is defined by wT i :=
i − Di ∆−1 cov D j
s
2 excitation (a dopant electron) localized at
s
S
1
x)
1
ξ1· S ξ2 ,
ξ |/ℓ, for |
− ¯
2
ψ↑/↓(t,
hc eBc
π
m∗c is the cyclotron frequency), of one-electron
i,ν , i = 1, 2, are determined by requiring that all one-particle levels up
i,ν
0−∂2 1 = 1 v2 ∂2 ∂τ 2 −
L
2 ∂2
∂η2, is given in “light-cone” coordinates by
∂ ∂u± .
L/R(A|Γ
L
R
¯ hcA∓
L/R(A|Γ
e
2
Γ
L/R(A|Γ
e
2
Γ
±
L/R, by
L/R(ζ) := : ψ(ζ) γµ1
L/R(A|Γ
L/R. Both currents, jµ L and jµ R, independently generate a chiral ˆ
L or jµ R, depends on the physics of the given
L/R(A|Γ
L/R([A + dχ]|Γ
L/R(A|Γ
e
2
Γ
e
2
Γ
e
2
Γ
∂Λo (A|∂Λo), to the total partition function, ZΛo(A), of the system:
∂Λo (A|∂Λo) = N
i
L/R(A|Γ
e
2
∂Λo dχ ∧A .
e
2
Λo A ∧dA .
∂Λo (A|∂Λo) exp
e
2
Λo A ∧dA + G.I.
H of the system, i.e.,
H = ±N e2
H can and will
Λo(˜
Λo(˜
Λo(˜
Λo(˜
Λo(˜
Λo(˜
c (ξ) ˜
H = σ e2 h , which encodes the linear response properties of incompressible quantum Hall
Λo(˜
Λo(˜
Λo(˜
2
c (ξ) dξµ ∧dξν is the (Hodge) dual of the current jc.
Λo(˜
Λo(˜
c at ∂Λo has to vanish, or equivalently,
Λo(˜
L/R(ζ) = 1
5 (ζ)] ,
5 are conserved currents, i.e.,
5 (ζ) .
5 (ζ) =
5 = j1 and j1 5 = −j0. Thus, jµ 5 = −
5 are currents propagating along the boundary ∂Ωo, φ has to
L(ζ(u)) ,
R(ζ(u)) ,
L √
, which is defined by
= 0 , n > 0 ,
= 0 ,
.
i
κ χ|∂Λo. Using the fact that the integration measure is gauge
i
i
L(α) imply that the following identity holds
iQ2
L(α)
i
χφ(u) := φ(u) + Q
χα := α + dχ|∂Λo .
Q2 κ equals 1, then Eq. (7.45) can be used to prove the equivalence of the theory of one chiral
4π
4π
ϕ˜
Qφ. This procedure can also be applied in the non-abelian situation;
κ Vm(w) Vn(z) ,
∂u+ ∂z . This operator is manifestly gauge invariant. Recalling Eqs. (7.37) and
κ .
n κ, the
e = 1).
1 2p+1, and the Hall conductivity R−1 H = σ e2 h is a rational
e2 h . Our analysis thus provides a description of the celebrated Laughlin fluids
H has
e2 h . Conversely, if R−1 H is not a rational
h , the corresponding two-dimensional electron system cannot be incompressible,
H in the interval (0, 1] (in units where e2/h = 1) corresponding to “stable” incom-
H
H , we can determine the possible types of quasi-
N
j ,
N
N
i=1 ni εi ∈Γ∗ is called primitive (or “visible”) if, and only if,
r
j=1 Γj is decomposable. Then Γ∗ = r j=1 Γ∗ j
r
j ∈ Γ∗
j ,
j, for all j = 1, . . ., r.
el, is then a linear combination,
el =
N
i=1 Qi jµi, of these current densities. When formulated in terms of the vector poten-
µ ∂νbj λ εµνλ dtd2x =:
ν − ∂νbi µ = (C−1)ij (∂µaνj − ∂νaµj) =: (C−1)ijfµνj ,
N
N
N
N
(1)q j (2) = N
(2) = N
phys, whose dimension can be taken to be N. Expressing the elec-
el as a linear combination, Jµ el = N i=1 Qi jµi, of the current densities
N
el(
N
phys | <Q , q> = qel(q) ∈ Z } .
phys.
phys can now be consistently interpreted as la-
phys by making use of our last
phys ⊇ Γ .
H, we consider
el is given by Jµ el = N i=1 Qi jµi, the “flux” ϕi created by B is given
el couples to the vector potential Aµ through the term Jµ el Aµ, it follows that the
N
N
N
Φ =: <Q , Q> Φ .
el = σ
H B ,
H, of the QH
H = <Q , Q>
N
N
N
∆−1
H of a QH fluid satisfying assumptions (A1) through
H = <Qe, Qe > − <Qh, Qh>
r
j=1 Γj be the decomposition of the lattice Γ into
j=1 Q(j), with
j, be the associated decomposition of the charge vector Q. Then, by (8.28),
H = <Q , Q> =
r
r
H
H
H of QH fluids, subfluids
∗
j, i.e., Q(j) = νj Q(j) ∗ , with νj ≥ 2; see (8.7). Then, for any q ∈ Γj, <
j, for each j = 1, . . . , r. In other words, we limit our analysis of
→ = (Q1, . . ., QN) which
j=1 Qj εj; see Eqs. (8.1) through (8.5). Choosing a different basis in Γ, the resulting
→ ′) is related to the pair (K, Q →) by
→ ′ = Q → S ,
N
H = nH
g
λ
H is clearly a CQHL
H = < Q , Q > = Q
→ · K−1Q →
→, it is a positive
H = nH/dH, with gcd(nH, dH) = 1, the important invariant of the lattice
n∈Γ∗, <Q,n>=0 | <Q , n> | =
q∈Γ, <Q,q>=1 <q, q> ,
{q1,...,qN}∈BQ
1≤i≤N <qi, qi >
j=1(Γj, Q(j)) (see Definition 8.1.2) it is natural to refine the definitions (8.36)
1≤j≤k Lmin(Γj, Q(j)) ≥ Lmin(Γ, Q) ,
1≤j≤k Lmax(Γj, Q(j)) ≥ Lmax(Γ, Q) .
H = N, N = 1, 2, . . ., in the non-interacting electron approximation.
phys = Γ∗ = ZN = Z ⊕ · · · ⊕ Z. Here, N is the number of separately conserved
H = < Q , Q > = 1 + · · · + 1 = N.
N
nH
g
λ
1 [1, 1] ,
1 = 1(1)1 1⊕· · ·⊕1(1)1 1,
H = 1/m , where m = 2p+1, p =
H =
phys = Γ∗, n ∈Z. By (8.20), they
N
nH
g
λ
1
1
1
H = N/(2pN +1) with
→) which determine these
N ,
→ = (1, 0, . . ., 0
N
nH
g
λ
N
1
1
H = N/(2pN +1). Moreover, it has been
H that can be realized by CQHLs
max ,
max ,
H and the relative-angular-
H
H < 1/ℓ∗ cannot be realized. The data in Fig. 4.1 of Subsect. 4.5 are
j=1 nj εj ∈Γ∗, we find that <v, n> =λdH <Q , n> = N j=1(∆ <Q , εj > /g) nj = N j=1(Qj/
H and v it follows that the l.h.s.
H = 1/2 and 5/2: We predict that e∗ ≤ 1/4 (in units where
H = 1/m, m odd, there is a unique indecom-
H = 1/m. Moreover, any CQHL with σ H = 1/m,
H = 1.
H), typically around 10; see Fr¨
H = < Q , Q >, one infers that, for a CQHL (Γ,Q), the dual components
j=1 Qj εj are constrained by
j ≤ σ
H ℓmax ,
H ≤ σ∗, Eq. (8.49) implies that
H with nH even (odd), N has to be even
H into a sequence of suitable
p defined by
p := { σ
H |
H < 1
p := { σ
H | 1
H <
H = N/(2pN +1), N = 1, 2, . . . . Similarly, the “−” superscripts for the
H = N/(2pN − 1), N = 2, 3, . . . .
0 the
p and Σ− p ,
p ∪ Σ− p , p = 1, 2, . . . .
H ∈
H ∈ Σp
H < 2/3.
H < 2/3 for indecomposability is sharp. As a matter of fact, at σ H = 2/3,
H = 1/3; see example (b) in Subsect. 8.3.
1, . . . , e′ N}
ij = <e′ i, e′ j > = <ei, ej > + 2p <Q , ei > <Q , ej > = Kij + 2p qel(ei)qel(ej) ,
i = <Q′, e′ i > = <Q , ei > = Qi ,
→ ) for (Γ′, Q′) which are related by the equivalence transformations (8.32).
0 = Γ0 .
H) .
H
H
N
H = nH
g
λ Sp
N
H =
g
λ
min = Lmin + 2p ,
max = Lmax + 2p .
H ≤ 1/(2p), p = 1, 2, . . . . – From (8.51) it follows that
p
p := { (Γ, Q) | σ
H ∈ Σ±
p , L-minimal, i.e., primitive and ℓmin = ℓmax = 2p + 1 } , (8.58)
p given in (8.50).
p ∪ H− p
p and H− p , for a given p.
H ∈
H in the
0 of L-minimal CQHLs with σ
H ∈ [1, ∞)
1 of L-minimal
1 := [1/3, 1/2) ⊂ Σ1. Hence, by the bijection theorem, all the sets
p , p ≥ 1, are known. In fact, we have the following result.
p of
H ∈ Σ+
p
N
H =
1
1
p can be written as
p = { (2p + 1 | 1
p , p = 1, 2, and 3. Note that CQHLs with higher dimensions and/or higher values of ℓmax
p , p = 1, 2, and 3, there
→) associated with CQHLs; for the definition of these pairs, see
W ⊕ O∗ ,
H < 2 . Then Q is
i ,
W ,
i ∈ O∗ ,
W an elementary
W/ΓW (see, e.g., Slansky, 1981). Furthermore, by the
W that can appear in (8.63) are such that the corre-
W/ΓW is an admissible weight labelling an irrep. of the Lie algebra G
Wi/ΓWi, i =
Wi/ΓWi. This can also be shown to be sufficient; see Fr¨
→), once a basis has been chosen in Γ; see the beginning of
→
→ T
N ,
→ = (1, 0, . . ., 0
→ = (ω1, . . . , ωN−1) is the vector of the
H−1Q + ω.
→ = ω →1 + · · · + ω →k. An example of data pairs (8.64) and (8.65)
→ for the admissible weights
W/ΓW |. From (8.65), it immediately follows that for maximally symmetric
→ · C(ΓW)−1ω → T ]
H = <Q , Q> = Q
→ · K−1Q → T = ∆(ΓW)
1+ rankΓW =N
H =
g=∆(ΓW )/hω
ω ω ω λ=hω ω ω ω/nH
W/ΓW . Furthermore, for the relative-
k
k
k
H
H < 1 have been listed.
H ≤ 1. We recall that such lattices describe QH fluids
H = 1 − σ ′ H, in the discussion of QH fluids with
H < 1. In this interval, charge conjugation is usually invoked in other approaches
H = 2/3 that has been studied there).
H . The first important result of our analysis is that, for an
H and ℓmax satisfy the fundamental in-
H ; see (8.47). This result implies a first organizing principle for CQHLs
H ≤ 1. It offers a natural splitting of the interval (0, 1] into successive windows,
H < 1/(2p − 1), p = 1, 2, . . . . The relative-angular-momentum
H ∈ Σp is thus greater or equal to
H < 1/ℓ∗. Theoretical and numerical arguments (see the
p , of the windows Σp, i.e., in the subin-
H < 1/(2p), p = 1, 2, . . . . A unique, N-dimensional, L-minimal
H = N/(2pN + 1), p, N = 1, 2, . . . . Given this
3 := [1/7, 1/6). In Σ+ 3 , the only fractions at which such lattices can be found
H = N/(6N + 1), N = 1, 2, . . ., and the electrons of the corresponding unique, chiral
3 contains only a finite
3 has been found at σ
H = 1/7, corresponding
3 would clearly be interesting!
H ≤ 1, (independent of any upper bound on the dimension N) in
H ≤ 1. In particular, it reduces the classi-
H < 1 to the
× ×
❦
9 ×
❦
6 × 4 ( × ) 15 ( × ) 19 ( × ) 33 ( × ) 20 × ×
8
❦
6 ( × ) 23
❦
9 4 ( × ) 20
❦
7 ( × ) 18
7
11 ( × ) 25
❦
8 ×
6
9
9,11
❦
6 4
❦
7,8
×
5
4
7
11 4 ( × ) 17 4
4
5 4
❦
7
❦
8,10,11
3
5,6 4
(B-p) 9,10 3,4
❦
6,7,... 4
(B-p) 2
B-p 5,6,7 3,4
6,7,... 4
1
B/n-p 4,5,... 4,5,... 3,4
1
1 3 1 2
H
H = 1
1
1
H in the interval 1/3 ≤ σ H ≤ 1.
H ≤ 1 of that figure is
❦
× ) ”, there are no low-
1 .
p . Adopting the hypothesis of L-minimality, the uniqueness theorem
p , no (chiral) QH fluids can be found with Hall conductiv-
H = N/(2pN + 1), N, p = 1, 2, . . . . Taking a look at Fig. 4.1, remarkable agreement
1 ; at N/(4N + 1), N = 1, 2, and 3, in Σ+ 2 ;
3 . As
p , there seems to be
H = 4/11, at which a weak signal of a QH fluid has been reported,
H = 4/11 is predicted by the Haldane-Halperin
H = 5/13 is quite remarkable. Indeed, this fraction is conspicuous by its
H = 3/13, 4/13, 6/13, 7/13, 8/13, and 9/13.
H =
H = 5/13; see Fr¨
1 , all fractions in the open
H < (N + 1)/(2N + 3), N = 1, 2, . . ., are interesting plateau
H = 4/11(!), 5/13(!), 6/17, 7/19, 8/21, . . . in (1/3, 2/5), and at
H = 7/17, 8/19, . . . in (2/5, 3/7). Note that, with the help of the shift maps S1 and S2
2 and
3 .
p , p = 1, 2, . . . . In the “complementary” subwindows, Σ− p , defined
H < 1/(2p − 1), p = 1, 2, . . ., we do not have a complete classification of L-
1 := [1/2, 1) (see Fig. 4.1) can hardly be
1 and Σ+ 1 , we find, besides the prominent series of fractions
H = n/(2n − 1), n = 2, . . ., 9, “mirroring” the unique fractions in Σ+
1 (i.e., σ
H = 1 − σ ′ H),
H = 4/5, 5/7, 7/11, 8/11, 8/13, 9/13, and possibly at 10/17. This is
p and Σ− p , p = 1, 2, . . ., are “structurally distinct ”, as our theory predicts.
p . We can act “formally” with the shift maps Sp−1, p = 2 and 3, of the
H given in Σ−
1 of Fig. 4.1, for example, Sp−1 : n/(2n −
H that we obtain in the two subwindows
2 and Σ− 3 are fully consistent with the experimental data given in Fig. 4.1. Experimentally
H = n/(4n − 1), n = 2, 3, 4, and σ H = 4/13 (very weakly) in
2 = [1/4, 1/3), and only one fraction in Σ− 3 = [1/6, 1/5), namely σ
H = n/(6n − 1), with
1 were described by L-minimal CQHLs
H = 4/13(!), 5/17, 5/19, . . . in Σ−
2 , and at σ
H = 3/17, 4/21, . . . in Σ−
3 . These are
p ? As men-
H ≤ 1.
1 . The upshot of
1 , natural proposals for QH fluids at the fractions of
H = n/(2n − 1), n = 2, 3, . . ., are provided by the charge-conjugation picture,
1 with partial Hall fraction σ(2) = −N/(2N + 1),
p that, at a given Hall fraction σ
H, one typically finds more than one L-
H = N/(2N + 1) in the complementary subwindow Σ+
1 .
H = n/(2n − 1), n = 2, . . . , 7, one finds
1 are based on the root lattices of su(N); see Subsect. 8.5. While the last two
H = 6/11 and 7/13, are realized by unique, low-dimensional
H.
H = <Q′, Q′>
H , (ii) Γ′ is a sublattice of Γ, and (iii) the two charge vectors Q′ and Q
N′
nH
g′
λ′ [ℓ′ min, ℓ′ max] ⊂
N
nH
g
λ
min ≥ ℓmin.
1 such “structural ” phase transitions can be expected within our framework.
H = 2/3 (E7) and
H = 2/3 which consists of two
H = 2/3. All the other QH sublattices
H = 2/3 are indecomposable. (Recall that we have mentioned in Thm. 8.4.6 that all L-
H < 2/3 are indecomposable.) In Σ−
1 = [1/2, 1), complex embedding
H = 2/3, 3/5, 4/5, 4/7, 5/7, 5/9,
H = 1/2! These fractions are interesting in the light
H = 2/3, 3/5, and possibly
H = 2/3, driven by changing the
p and our
H = 2/5? As
H = 2/5 is the most likely plateau value where we may expect
1 (including the fraction σ
H = 1/2)
1 . Within these three subclasses of CQHLs, predictions
H = 6/7, 10/13, 10/17(!), 13/17, 10/19, 12/19, 14/19, . . .,
H = 3/4 and 5/8. The CQHLs that yield even-
H = 9/11, 11/17, 14/17, 13/19, and 15/19
H = 1. None of these fractions has been observed
H =1. An interesting question to ask is whether one should expect
H =1. The unique L-minimal (ℓmax =1) CQHL at σ H = 1
H = 1:
2(1)4 2 [3, 3] ⊂
3(1)6 2 [3, 3] 3(1)8 2 [3, 3]
⊂
2 [3, 3] ⊂
H = 1
c , and is observed in double-layer QH systems. This matches our theoretical predictions:
2 and the one with symbol 3(1)6 2), both are natural candidates for describing double-layer/component QH fluids. The
1 := [1/2, 1) have their precise analogues in the shifted subwindows
p := [1/(2p), 1/(2p − 1)), for p = 2, 3, . . . . For example, interpreting the phase transitions
H = 2/3, 3/5, and possibly 5/7 in Σ−
1 as structural phase transitions, we
H = 2/7, 3/11, (5/17) in Σ−
2 , and at
H = 2/11, 3/17, (5/27) in Σ−
3 .
H = n/(2n − 1), n = 2, 3, . . . , corresponding to the charge-conjugation picture, we obtain
p , p = 1, 2, 3.
p := [1/(2p + 1), 1/(2p)), the one-to-one corre-
p and Σ− p , for a given p = 1, 2, . . . , while there is a structural similarity
p and among the ones with
p , for different values of p.
H ≤ 1 is thus still an interesting field of experimental