Eur. Phys. J. C (2019) 79:712
https://doi.org/10.1140/epjc/s10052-019-7231-4
Regular Article - Theoretical Physics
Generally covariant geometric momentum, gauge potential and a
Dirac fermion on a two-dimensional sphere
Q. H. Liu
1,2,a
,Z.Li
1
,X.Y.Zhou
1
,Z.Q.Yang
1
,W.K.Du
1
1
School for Theoretical Physics, College of Physics and Electronics, Hunan University, Changsha 410082, China
2
Synergetic Innovation Center for Quantum Effects and Applications (SICQEA), Hunan Normal University, Changsha 410081, China
Received: 2 July 2019 / Accepted: 17 August 2019 / Published online: 24 August 2019
© The Author(s) 2019
Abstract For a particle that is constrained on an (N − 1)-
dimensional (N ≥ 2) curved surface
N −1
, the Cartesian
components of its momentum in N -dimensional flat space
are believed to offer a proper form of momentum for the par-
ticle on the surface, which is called the geometric momentum
as it depends on the mean curvature. Once the momentum
becomes generally covariant as to be applicable to spin par-
ticles on the surface, the spin connection part in it can be
interpreted as a gauge potential. The principal findings are
twofold. The first is a general framework of quantum condi-
tions for a spin particle on the hypersurface
N −1
, and the
generalized angular momentum is defined on hypersphere
S
N −1
as one consequence of the generally covariant geo-
metric momentum. The second is devoted to a study of a
Dirac fermion on a two-dimensional sphere and we show
that there is the generalized angular momentum whose three
cartesian components form the su(2) algebra, demonstrated
to be of geometric origin but obtained before by considera-
tion of dynamics of the particle. Moreover, we show that there
is no curvature-induced geometric potential for the spin half
particle.
1 Introduction
In quantum mechanics, there are fundamental quantum
conditions (FQCs) [x
i
, x
j
]=0, [x
i
, p
j
]=i
¯
hδ
ij
, and
[ p
i
, p
j
]=0, which are defined by the commutation rela-
tions between positions x
i
and momenta p
i
(i, j, k, l =
1, 2, 3,...,N ) where N denotes the number of dimensions
of the flat space in which the particle moves [1]. In position
representation, the momentum operator takes simple form
as p =−i∇ where ∇≡e
i
∂/∂x
i
is the ordinary gradient
operator, and N mutually orthogonal unit vectors e
i
span the
N dimensional Euclidean space E
N
. Hereafter the Einstein
a
e-mail: quanhuiliu@gmail.com
summation convention over repeated indices is used. When
the particle is constrained to remain on a hypersurface
N −1
embedded in E
N
, in classical mechanics, we can define Dirac
bracket {A, B}
D
instead of the usual Poisson one {A, B} for
the two functions A and B of both x
i
and p
i
[2–6],
{A, B}
D
≡{A, B}−{A,ϕ
α
}C
−1
αβ
{ϕ
β
, B}, (1)
where ϕ
α
= 0(α = 1, 2) are two constraint conditions,
and ϕ
1
≡ f (x)
(
= 0
)
is the equation of surface, and ϕ
2
≡
p ·∇f (x)
(
= 0
)
shows the motion to be tangential to the
surface, and the matrix elements C
αβ
is defined by C
αβ
=
{ϕ
α
,ϕ
β
}. The equation of surface f (x) = 0 can be so chosen
that
|
∇ f (x)
|
= 1 thus n ≡∇f (x) = e
i
n
i
is the normal vec-
tor at a local point u
μ
(μ, ν, α, β = 1, 2, 3,...,N −1) on the
surface. The relation between positions x in E
N
and the local
coordinates u
μ
on
N −1
is x = x(u
μ
), and x
μ
= ∂x/∂u
μ
is the μth contravariant component of the natural frame on
the point. The usual canonical commutation relations are
hypothesized to be given by [ A, B]=i
¯
h
{
[A, B]
D
}
Hermitian
[2] where O
Hermitian
stands for a Hermitian operator of an
observable O. Explicitly, Dirac brackets for variables x
i
and
p
i
are given by [x
i
, x
j
]
D
= 0, [x
i
, p
j
]
D
= (δ
ij
− n
i
n
j
),
and [p
i
, p
j
]
D
=−(n
i
n
k
, j
− n
j
n
k
,i
) p
k
. The FQCs [2]are
thus [3–6],
[x
i
, x
j
]=0, [x
i
, p
j
]=i
¯
h(δ
ij
− n
i
n
j
), and
[ p
i
, p
j
]=−i
¯
h
(n
i
n
k
, j
− n
j
n
k
,i
) p
k
Hermitian
, (2)
This set of the FQCs (2) is highly non-trivial, from which it
is in general impossible to uniquely construct the momenta
p
i
. Our propose of the proper form of the momentum for a
spinless particle was [7–11],
p =−i
¯
h(∇
+ Mn/2), (3)
where ∇
≡e
i
(δ
ij
−n
i
n
j
)∂
j
=∇−n∂
n
= x
μ
∂
μ
is the gradi-
ent operator, and the mean curvature M ≡−∇
·n is defined
123