Relationship of Edge States to Anomaly and Construction of Dual Systems in Quantum Hall Systems ()
1. Introduction
The quantum Hall effect has received a lot of attention in no small part due to its wide ranging and deep mathematical properties [1] [2] . The fractional Hall states are new states of matter which appear due to the interactions of electrons in 2 dimensional layers under strong magnetic fields and very low temperatures
.
When the electronic degrees of freedom are integrated out, the effective action for the electromagnetic vector potential has a Chern-Simons (CS) term [3] . Mathematically the CS form is related to a topological density in 2n dimensions known as a characteristic class
. Since the forms are local
-forms, they are integrated without much difficulty over, for example, homology spheres without additional structures. The metric of the embedding space is irrelevant, a consequence of the topological origin of the CS forms. In fact, the function involves explicitly the connection A and cannot be expressed as an integral of a gauge invariant local function [4] . The coefficient of the term that is left upon integration is proportional to the Hall conductivity. To see why this arises, assume the effective action is given apart from the Maxwell term by
(1.1)
The expectation value of the current is readily calculated
(1.2)
It is apparent that there is a current in the x-direction when there is an electric field in the y-direction giving rise to the Hall effect, with conductivity
[5] [6] [7] [8] .
It is possible CS theories which involve several vector potentials can be considered, one of which is the electromagnetic field [9] . These include statistical gauge fields and fields describing excitations in the bulk. The former is introduced for the purpose of changing the statistics of the excitation fields in the action, while the latter describes collective degrees of freedom, such as vortices or other quasiparticles. They can describe the case of either bosons or fermions. Experimentally, it is found that the Hall conductivity is expressed in terms of certain definite fractions corresponding, respectively, to integer and fractional effects [10] [11] .
The CS action is not gauge invariant on a boundary like an annulus, or such a manifold having realistic geometry for a Hall system. This means nontrivial dynamical degrees of freedom have to be included at the edge to restore gauge invariance. This leads to the production of edge states with completely different corresponding to the existence of chiral edge state currents in the Hall sample [12] . One way to describe them is by means of a conformal field theory of a set of massless chiral scalar fields taking values on a torus. The most general action for such scalar fields is made up of a symmetric matrix
and an antisymmetric matrix
. The actual Hall conductivity depends on
. It is possible to show how the anomaly cancellation argument enables one to relate this matrix to a matrix that is relevant to the CS theory.
The objective at this point is to see how hierarchies emerge using such CS theories and to examine the connection between bulk and edge states. It is also possible to construct dual theories starting from CS based actions. It will be seen how to implement duality in CS theories. As in string theories there exist duality transformations of the edge theory that leave the spectrum invariant [13] . Then
and
are changed in well defined ways under these transformations, and consequently also change the Hall conductance as well. That a connection exists between the edge theory by means of CS theory in bulk suggests that similar transformations can be implemented in the bulk as well. This conjecture seems to be at least partially feasible in that it can be implemented by a type of duality transformation given in the bulk [14] .
2. A Brief Introduction to Chern-Simons Quantum Field Theory
Generally the field variables of the
CS theory over a manifold M are described by a one-form
with components
as
(2.1)
where k not zero denotes the real coupling constant of the model. The action is invariant under gauge transformations
. This means the action can be understood as a function of the gauge orbits.
In order to define the expectation value
of the products of fields , one needs to introduce a gauge-fixing procedure because the gauge field
is not gauge invariant but if one is interested in the correlation function
of the curvature
, gauge fixing is not required. If a one-form
is a classical external source, the integral satisfies
(2.2)
It is invariant under gauge transformations acting on A because the curvature
is gauge invariant. The generating functional
for the correlation function of the curvature is defined by
(2.3)
The coefficients of the Taylor expansion of
in powers of B coincide with correlation functions of the curvature. Any
can be written as
(2.4)
where
is fixed and
may vary. Since
(2.5)
The functional integration is invariant under translation and
, so
Without the introduction of gauge fixing, and without any metric in M, the Feynman path integral gives
(2.6)
The generating function of the connected correlation functions of the curvature formally coincides with the Chern-Simons action under the replacement
.
3. Appearance of Hierarchies
Following Zee [5] , the electron can be described by a scalar field coupled to a statistical gauge field
. Furthermore, if the bosonic order parameter develops an expectation value, a massless Goldstone boson γ results, the phase of the original scalar field. It satisfies an equation,
since it has no mass. The field equation for γ turns into an identity in the dual representation. A minimal coupling to the external electromagnetic potential
can also be implemented. The action for the system so far is
(3.1)
where M is the manifold
and
is a disk D with a hole H due to the removal of a piece, which reduces to an annulus. The time variable is accounted for by the factor
. The last term in (3.1) is an abelian CS term pertaining to the statistical gauge field
. The coefficient has been chosen to ensure that it converts the boson to a fermion as may be seen in the following way. Varying (3.1) with respect to
we obtain the equation,
(3.2)
On varying (3.1) with respect to
we have,
(3.3)
Equations (3.2) and (3.3) imply that
(3.4)
Now (3.4) yields a relation between the number density
of electrons to the number density
of flux quanta 2π/e. It states in fact that
, or there is one flux quantum per electron such that the electron is converted to a boson. This can be regarded as the first equation in the rung of a hierarchy. The filling factor
is 1 by (3.2) since
, so it describes the integer quantum Hall effect.
The fields α and a can be eliminated to get an effective action which depends only on the electromagnetic gauge field. The electromagnetic current
of in (3.1) is equal to
(3.5)
by (3.4). It is reproduced by the action,
(3.6)
This is the electromagnetic CS term, and moreover, a signature of the Hall effect for the Hall conductivity,
.
One can immediately generalize (3.1) to obtain more of the hierarchy and the Laughlin functions by changing the coefficient
to
with m odd so
,
(3.7)
Proceeding as done already, variation leads to the following pair
(3.8)
The first equation of (3.8) has the implication that
(3.9)
Since m is odd, this is the same as
(3.10)
and implies the composite is bosonic, as it should be so the description of the electron is consistent. The filling fraction is now
(3.11)
The action (3.6) now becomes,
(3.12)
This is the form of the CS action which gives the next level of the hierarchy.
The next step is to modify (3.7) by including a coupling of the quasiparticles current
to the gauge field
to get the action
(3.13)
To motivate the choice of the coefficient 2π in the last term of (3.13) suppose there is a vortex localized at z so that
while the electron density
is some smooth function. Since the equations of motion imply,
(3.14)
So it follows that
is also smooth. Variation of
produces the equation of motion
(3.15)
The magnetic flux attached to the vortex is the flux quantum, 2π/e. This is a unit of magnetic flux to be attached to the vortex and the factor of 2π is correct.
Suppose the quasiparticles condense so we can write
is the Goldstone boson phase degree of freedom. As before the
field is massless and so it has to satisfy
. A dual version of the current can be given by defining a field
as
(3.16)
A statistical gauge field
can be included such that flux tubes of b are attached to the quasi-particle. The quasiparticles correspond to vortices, which are assumed to be bosonic, hence an even number of elementary b flux tubes are attached to each to preserve their bosonic nature.
Based on this more CS terms can be added to (3.13) to obtain
(3.17)
The wedge is omitted and the one-forms are simply written as
meaning
. As indicated already, the equations of motion obtained from the action (3.17) are
(3.18)
The equations in (3.18) for α and β correspond to hierarchy equations on eliminating a and b of the form
(3.19)
The equations for α and β can be reproduced by means of an action
(3.20)
This result suggests a generalization to higher levels. Introduce q vector fields denoted
where index
. In the case above,
, and the
are
x and
. Consider the Lagrangian form given by
(3.21)
In (3.21),
is a matrix with main diagonal
and the full matrix is given by
The Lagrangian in (3.21) gives rise to its own set of equations of motion. The equation for
obtained from (3.21) is
(3.22)
The equations of motion for the remaining
for
are given by
(3.23)
Clearly a hierarchy of equations has been constructed this way. From (3.22), solve for the forms
as
(3.24)
Solution (3.24) can be replaced back into
to generate the following form
(3.25)
This is the CS form of Lagrangian that gives rise to a complete hierarchy and the filling fraction is
.
It has been seen the fermion electron field can be re-expressed in terms of a bosonic field and a statistical gauge field, and these ideas generalize to get filling fractions. Let us summarize this section in physical terms. As the magnetic field is altered it is magnetically favorable for the excess of deficit magnetic field to organize itself as flux tubes threading vortices in the condensate so that quasi-particles which are one of these vortices are formed. At a certain moment a large number of these quasiparticles form and condense so there is a finite number density of quasiparticles and a new ground state is formed.
If the quasiparticles or vortices are thought of as carrying a new form of charge, then the gauge field to which they couple are actually the duals of Goldstone phase mode of the condensate. This is illustrated by noting that if the electron current is represented in a dual representation by using a one form, then the electric field associated to the one form has behavior, outside a vortex, identical to that of an electric field outside an ordinary electric charge. The flux quanta in this dual representation are the electrons themselves. The bosonic nature is supported provided an even number
of dual flux quanta electrons get attached to each of these quasiparticles. These statements are summarized mathematically in the form of (3.18).
4. Anomaly and Bulk-Edge Coupling
Gauge invariance forces the matrix
to be the same as the inverse of the target space metric
which pertains to the scalar theory for the edge excitations. To understand this, start with a CS action with no electromagnetic coupling
(4.1)
Although the arguments apply to any manifold, M is given coordinates
, so to picture what is going on, it can be supposed the fields are valued in a circle with
on the boundary. If the manifold has a closed, compact and boundaryless spatial slice, there is gauge invariance of the action under the transformation
(4.2)
If on the other hand,
is a manifold such as M where the spatial slice Σ is an annulus
and has a boundary, then gauge variation results in a surface term. For the manifold
, the variation of the action is
(4.3)
It is assumed that Λ vanishes in the infinite past and future. To restore gauge invariance at the boundary, the following two-dimensional action is added to S, and
. It implements a new scalar field
,
(4.4)
This means field
gauge transforms as
, so the covariant derivative is
. The edge current is supposed to be chiral and this fixes the factor 1/4 outside the kinetic energy term in (4.4). This means the following condition can be imposed consistently with the equations of motion,
(4.5)
The combined action
is gauge invariant.
The operator that generates (4.2) at a fixed time with
and
is
(4.6)
Here Λ is a function on the annulus
and
for simplicity. The algebra generated by the operators is specified by
(4.7)
Imposing the condition of gauge invariance condition
on physical states
leads to a contradiction as the commutator of two Q’s acting on a physical state would also have to vanish. However, (4.7) specifies the value of this commutator to be a non-zero c-number.
If the action is expanded by including term (4.4) which accounts for new degrees of freedom at the boundary, the generators of edge gauge transformations are modified. The modification is by means of the terms
(4.8)
In (4.8), we have
is the conical momentum conjugate to
and satisfies the usual commutation relations, so
generates the transformations
(4.9)
Thus the algebra is generated by the
and is given by
(4.10)
The new generators
(4.11)
now commute between themselves and can be chosen to annihilate the physical states.
To now attempt to couple electromagnetism to S in (4.1) if A is a background electromagnetic field and
represents a current so that the most obvious coupling is
(4.12)
When the equations of motion implied by the action
are examined, a problem is encountered. The equation in the bulk which is obtained by varying α is
(4.13)
The integrand of (4.1) can be written as
, so using Stokes theorem, on the boundary, it is
(4.14)
Clearly, equations (4.13) and (4.14) are incompatible and moreover (4.13) implies a relation between the values of the field strengths of α and A on the boundary that differs by the factor of two from that implied by (4.13) in bulk, whereas by continuity, they should be equal.
There is a simple modification of the minimal coupling (4.11) given a consistent set of equations. To see this consider the modified action
(4.15)
Based on this boundary equation (4.14) is modified to
(4.16)
With (4.13) and (4.16), together they imply the result
everywhere classically up to gauge transformations that vanish on the boundary. Gauge transformations that do not vanish on the boundary which are consistent with the equations of motion have the form
The equations of motion in bulk and edge are now consistent, however, the action
given by (4.1) and (4.15) is no longer gauge invariant under
and
. This is similar to what happens at the edge where gauge invariance and chirality are found to be incompatible with the equations of motion. Here the solution is to couple to degrees of freedom at the boundary. A scalar field
needs to be introduced with a boundary action of the form
(4.17)
This maintains invariance under the transformations
,
, the electromagnetic gauge transformations and
transforms in the following way under these transformations
(4.18)
Under (4.18), the generators of the edge gauge transformations can be required to annihilate the states. The total action
is then gauge invariant under the class of electromagnetic gauge transformations, the bulk and boundary equations are compatible. The total action
is
(4.19)
To generalize this to the case in which there are m CS fields, introduce the action
(4.20)
where
is the matrix introduced before. This theory has a
gauge invariance denoted
Introduce m background gauge fields
such that one of them represents the physical electromagnetic field and the rest are fictitious. After the quasiparticles are integrated out, the action which results depends on the gauge fields. Functional differentiation with respect to these fields then gives the correlators of the currents or connected Greens functions. Introducing edge scalar fields to restore gauge invariance, the final action assumes the following form
(4.21)
As usual, the coefficient of the kinetic term is fixed by requiring consistency between the chirality of the edge currents and the equations of motion.
5. Construction of Related Dual Theories
To demonstrate exactly how dual theories can be developed from CS theories, start with the action
(5.1)
In (5.1) M is an oriented three manifold with an annulus as its spatial slice and time compactified to a circle. This means fields at
take the same values, so the path integral leads to a transition amplitude between states when displaced around a closed loop in configuration space.
To forbid arbitrary rescaling of the field α an extra condition on α is needed. If this is not done, constant k can be changed to
by mapping α according to
where
. The imposed condition is
(5.2)
and C any closed loop on the boundary of M.
By means of the transformation
on α and ω is a closed one-form so
. The Lagrangian three form is not invariant as it changes by an exact three form
(5.3)
Suppose a connection one form A is introduced which transforms according to the rule
. Gauging S we find it satisfies
(5.4)
However S' is not equivalent to S because the equations of motion are different. At this point, a Lagrange multiplier λ can be introduced which acts to constrain A through the equations
(5.5)
When α satisfies these equations, α can be chosen using
and get (5.1) and (5.2) back. Then we write
(5.6)
A path integral which integrates λ out is
(5.7)
Let each connected component of the boundary
denoted as
contain
cycles
which can serve to define the generators of the first homology group. As well there exist
one forms
, for each a on
such that
(5.8)
If M is assumed to be a compact manifold, then
is compact and boundaryless, and M oriented means
is as well. So each connected piece
is a sphere with handles and its homology group has an even number of generators. Hence
has to be even and the
can be ordered in such a way that
(5.9)
To any such ω on
can be associated an ω on M by requiring
(5.10)
Some Euclidean metric on M is needed to define the operator in (5.10), and the Laplacian operator on M. Other operators on M can be defined by using the same Euclidean metric which is also used to define an inner product. The pullback of ω to
must of course agree with the ω established there.
Based on (5.6) specifying the integral of λ, the following expansion holds
(5.11)
On the right side of (5.11),
is a one form on M which satisfies
(5.12)
Also there is a boundary condition, namely, pullback of γ to
is
, and so (5.11) for λ becomes
(5.13)
Using these facts, we can integrate
(5.14)
To arrive at this, two partial integrations are done, using completeness of the
in first step, and neglecting the bulk term in the following two lines. Also
is a generic constant developed along the way. Using the fact that
then (5.14) becomes for
(5.15)
The delta function implies that A is a closed one-form and A admits an expansion on the boundary
(5.16)
where
is a function on the boundary and
are real valued. Since
as the
are closed at the boundary, substituting
,
(5.17)
The result of integrating λ gives the Equations (5.5) that we seek and this implies that the action S' is equivalent to the original action (5.1).
If the intention is to integrate A out of action S', the result is
(5.18)
The delta in (5.18) implies the following equation holds
(5.19)
This implies that α differs from λ by a closed one form which we call
as
(5.20)
Substituting α into
, the following simple expression is obtained
(5.21)
The last term in this exponential is clearly a surface term since
is closed, a fact which has been used to write it in this form. The dual action we get from this result by integrating A out is
(5.22)
The integral of λ is subject to the constraint condition where C is any cycle on the boundary
(5.23)
The second term in (5.22) is a surface term and it does not influence the equations of motion or contribute. Using the equations of motion
, from the first term, it may be concluded that the second term must vanish. These considerations generalize to the case of several scalar fields coupled to a matrix and the case with many CS fields coupled together by means of a matrix
as seen already.
6. Conclusion
The quantum Hall effect continues to advance especially on the experimental front [15] [16] [17] . The fractional Hall effect is observed in two-dimensional layers and arises under strong magnetic fields (~30 Tesla) with temperatures approaching zero. Since at very low temperatures the interactions of electrons are strong, the fractional effect represents a strongly correlated system. It has been shown that using a sequence of CS theories, a hierarchy can be established. This is actually what is known as the Haldane hierarchy. It has been indicated that there is a connection between these CS theories to chiral scalar field theories at the edge. Both give rise to the same Hall conductivity in the bulk. The CS theory when gauged gives rise to an effective CS theory for the electromagnetic potential, but is not gauge invariant. A surface action is required to restore gauge invariance. It is the gauged chiral scalar field theory at the boundary that functions as this surface action. It has become apparent recently that attaching more flux tubes can alter statistics. So an electron with 2 flux tubes attached may be regarded as a boson and the
solution in [12] admitted giving even numbers in the associated fractions, as in the 5/2 state now known to exist.