Abstract Geometric momentum is the appropriate momentum for a particle constrained to move on a curved surface, which depends on the extrinsic curvature and leads to observable effects, and curvature-induced quantum potentials appear for a nonrelativistic free particle on the surface. In the context of multi-component quantum states, the geometric momentum should be rewritten as a generally covariant geometric momentum, which contains an additional term defined as the gauge potential. For a Dirac fermion constrained on a two-dimensional hypersurface, we derive the generally covariant geometric momentum, and demonstrate that no curvature-induced geometric potentials arise on a pseudosphere or a helical surface. The dynamical quantization conditions are verified to be effective in dealing with constrained systems on hypersurfaces, enabling the derivation of both the generally convariant geometric momentum and the geometric potential for a spin particle constrained on parametrically defined surfaces.
Abstract Geometric momentum is the appropriate momentum for a particle constrained to move on a curved surface, which depends on the extrinsic curvature and leads to observable effects, and curvature-induced quantum potentials appear for a nonrelativistic free particle on the surface. In the context of multi-component quantum states, the geometric momentum should be rewritten as a generally covariant geometric momentum, which contains an additional term defined as the gauge potential. For a Dirac fermion constrained on a two-dimensional hypersurface, we derive the generally covariant geometric momentum, and demonstrate that no curvature-induced geometric potentials arise on a pseudosphere or a helical surface. The dynamical quantization conditions are verified to be effective in dealing with constrained systems on hypersurfaces, enabling the derivation of both the generally convariant geometric momentum and the geometric potential for a spin particle constrained on parametrically defined surfaces.
For a free particle that moves non-relativistically on a curved surface, there are curvature-induced quantum potentials that significantly influence the surface quantum states. However, the experimental results in topological insulators, whether curved or not, indicate no evidence of such a potential for the relativistic particles constrained on the curved surface. Within the framework of Dirac quantization scheme, we demonstrate a general result that for a Dirac fermion on a two-dimensional curved surface of revolution, no curvature-induced quantum potential is permissible.
Abstract A fundamental problem regarding the Dirac quantization of a free particle on an ( ) curved hypersurface embedded in N flat space is the impossibility to give the same form of the curvature‐induced quantum potential, the geometric potential as commonly called, as that given by the Schrödinger equation method where the particle moves in a region confined by a thin‐layer sandwiching the surface. This problem is resolved by means of a previously proposed scheme that hypothesizes a simultaneous quantization of positions, momenta, and Hamiltonian, among which the operator‐ordering‐free section is identified and is then found sufficient to lead to the expected form of geometric potential.
As a nonrelativistic particle constrained to remain on an N−1 (N≥2)
dimensional hypersurface (embedded in an N dimensional Euclidean space), two
different components pi and pj (i,j=1,2,3,...N) of the Cartesian
momentum are not commuting with each other in the sense of the Dirac bracket
[pi,pj]D=0. The noncommutativity on a local point of the
hypersurface is examined and results show that it is arisen from the local
curvature of the surface. In quantum mechanics, with the infinitesimal
displacement operator constructed via the momentum, and letting the
infinitesimal displacement operator acting on a quantum state along a small
circle on the hypersurface, we obtain a rotation operator, and the amount of
the rotation is an angle anholonomy.
The geometric momentum was originally introduced for defining the momentum of particle constrained on a hypersurface, but it is in fact not necessarily defined on a curved surface only. If a coordinate system contains a family of hypersurfaces and a normal vector on hypersurface used as a unit vector, the geometric momentum can be defined on the family of hypersurfaces and can be used to determine a complete set of commuting observables. For instance, the spherical polar coordinate system is such a kind of coordinate, in which for a given value of radial position, the spherical surface is a hypersurface. It is well-known that any vector in the space can be decomposed into components along each axis of the spherical polar coordinates, but the geometric momentum has a different decomposition, for it requires a projection of the momentum on the hypersurface, and then needs to decompose the projection into the Cartesian coordinates of the original space where the whole spherical coordinates are defined. Explicitly, with a relation-iħ▽= p Σ + p n where-iħ▽ can be usual momentum operator in Cartesian coordinates, and p Σ is the momentum component on the hypersurface which turns out to be the geometric momentum, and p n is the momentum component along the radial direction, we have a nontrivial definition of radial momentum as p n ≡-iħ▽- p Σ. Once-iħ▽ and p Σ are measurable, p n is then indirectly measurable. The three-dimensional isotropic harmonic oscillator can be described in both the Cartesian and the spherical polar coordinates, whose quantum states thus can be examined in terms of both momentum and geometric momentum distributions. The distributions of the radial momentum are explicitly given for some states. The radial momentum operator that was introduced by Dirac has clear physical significance, in contrast to widely spreading belief that it is not measurable due to its non-self-adjoint.
When a two-dimensional curved surface is conceived as a limiting case of a curved shell of equal thickness d, where the limit d\rightarrow0 is then taken, the well-known geometric potential is induced by the kinetic energy operator, in fact by the second order partial derivatives. Applying this confining procedure to the momentum operator, in fact to the first order partial derivatives, we find the so-called geometric momentum instead. This momentum is compatible with the Dirac's canonical quantization theory on system with second-class constraints. The distribution amplitudes of the geometric momentum on the spherical harmonics are analytically determined, and they are experimentally testable for rotational states of spherical molecules such as C_{60}.
The motion of a particle rigidly bounded to a surface is discussed, considering the Schr\"odinger equation of a free particle constrained to move, by the action of an external potential, in an infinitely thin sheet of the ordinary three-dimensional space. Contrary to what seems to be the general belief expressed in the literature, this limiting process gives a perfectly well-defined result, provided that we take some simple precautions in the definition of the potentials and wave functions. It can then be shown that the wave function splits into two parts: the normal part, which contains the infinite energies required by the uncertainty principle, and a tangent part which contains "surface potentials" depending both on the Gaussian and mean curvatures. An immediate consequence of these results is the existence of different quantum mechanical properties for two isometric surfaces, as can be seen from the bound state which appears along the edge of a folded (but not stretched) plane. The fact that this surface potential is not a bending invariant (cannot be expressed as a function of the components of the metric tensor and their derivatives) is also interesting from the more general point of view of the quantum mechanics in curved spaces, since it can never be obtained from the classical Lagrangian of an a priori constrained particle without substantial modifications in the usual quantization procedures. Similar calculations are also presented for the case of a particle bounded to a curve. The properties of the constraining spatial potential, necessary to a meaningful limiting process, are discussed in some detail, and, as expected, the resulting Schr\"odinger equation contains a "linear potential" which is a function of the curvature.