HOME

TheInfoList



OR:

In
theoretical physics Theoretical physics is a branch of physics that employs mathematical models and abstractions of physical objects and systems to rationalize, explain, and predict List of natural phenomena, natural phenomena. This is in contrast to experimental p ...
, scalar electrodynamics is a theory of a U(1) gauge field coupled to a charged spin 0
scalar field In mathematics and physics, a scalar field is a function associating a single number to each point in a region of space – possibly physical space. The scalar may either be a pure mathematical number ( dimensionless) or a scalar physical ...
that takes the place of the Dirac fermions in "ordinary"
quantum electrodynamics In particle physics, quantum electrodynamics (QED) is the Theory of relativity, relativistic quantum field theory of electrodynamics. In essence, it describes how light and matter interact and is the first theory where full agreement between quant ...
. The scalar field is charged, and with an appropriate potential, it has the capacity to break the gauge symmetry via the Abelian Higgs mechanism.


Matter content and Lagrangian


Matter content

The model consists of a complex scalar field \phi(x) minimally coupled to a gauge field A_\mu(x). This article discusses the theory on flat spacetime \mathbb^ ( Minkowski space) so these fields can be treated (naïvely) as functions \phi:\mathbb^\rightarrow \mathbb, and A_\mu:\mathbb^\rightarrow (\mathbb^)^*. The theory can also be defined for curved spacetime but these definitions must be replaced with a more subtle one. The gauge field is also known as a principal connection, specifically a principal \text(1) connection.


Lagrangian

The dynamics is given by the Lagrangian density \begin \mathcal & = & (D_\mu \phi)^* D^\mu \phi - V(\phi^*\phi) -\frac14 F_F^ \\ & = & (\partial_\mu \phi)^*(\partial^\mu \phi)-ie((\partial_\mu \phi)^*\phi-\phi^*(\partial_\mu \phi))A^\mu +e^2A_\mu A^\mu\phi^*\phi - V(\phi^*\phi) -\frac14 F_F^ \end where * F_=(\partial_\mu A_\nu - \partial_\nu A_\mu) is the electromagnetic field strength, or
curvature In mathematics, curvature is any of several strongly related concepts in geometry that intuitively measure the amount by which a curve deviates from being a straight line or by which a surface deviates from being a plane. If a curve or su ...
of the connection. * D_\mu\phi=(\partial_\mu \phi - i e A_\mu \phi) is the covariant derivative of the field \phi * e = -, e, <0 is the electric charge * V(\phi^*\phi) is the potential for the complex scalar field.


Gauge-invariance

This model is invariant under gauge transformations parameterized by \lambda(x). This is a real-valued function \lambda: \mathbb^\rightarrow \mathbb. \phi'(x) = e^\phi(x)\quad\textrm\quad A_\mu'(x)=A_\mu(x)+\partial_\mu \lambda(x).


Differential-geometric view

From the geometric viewpoint, \lambda is an infinitesimal change of trivialization, which generates the finite change of trivialization e^:\mathbb^\rightarrow \text(1). In physics, it is customary to work under an implicit choice of trivialization, hence a gauge transformation really can be viewed as a change of trivialization.


Higgs mechanism

If the potential is such that its minimum occurs at non-zero value of , \phi, , this model exhibits the
Higgs mechanism In the Standard Model of particle physics, the Higgs mechanism is essential to explain the Mass generation, generation mechanism of the property "mass" for gauge bosons. Without the Higgs mechanism, all bosons (one of the two classes of particles ...
. This can be seen by studying fluctuations about the lowest energy configuration: one sees that the gauge field behaves as a massive field with its mass proportional to e times the minimum value of , \phi, . As shown in 1973 by Nielsen and Olesen, this model, in 2+1 dimensions, admits time-independent finite energy configurations corresponding to vortices carrying magnetic flux. The magnetic flux carried by these vortices are quantized (in units of \tfrac) and appears as a topological charge associated with the topological current J_^\mu =\epsilon^ F_\ . These vortices are similar to the vortices appearing in type-II superconductors. This analogy was used by Nielsen and Olesen in obtaining their solutions.


Example

A simple choice of potential for demonstrating the Higgs mechanism is :V(, \phi, ^2) = \lambda(, \phi, ^2 - \Phi^2)^2. The potential is minimized at , \phi, = \Phi, which is chosen to be greater than zero. This produces a circle of minima, with values \Phi e^, for \theta a real number.


Scalar chromodynamics

This theory can be generalized from a theory with U(1) gauge symmetry containing a scalar field \phi valued in \mathbb coupled to a gauge field A_\mu to a theory with gauge symmetry under the gauge group G, a
Lie group In mathematics, a Lie group (pronounced ) is a group (mathematics), group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable. A manifold is a space that locally resembles Eucli ...
. The scalar field \phi is valued in a representation space of the gauge group G, making it a vector; the label of "scalar" field refers only to the transformation of \phi under the action of the Lorentz group, so it is still referred to as a scalar field, in the sense of a
Lorentz scalar In a relativistic theory of physics, a Lorentz scalar is a scalar expression whose value is invariant under any Lorentz transformation. A Lorentz scalar may be generated from, e.g., the scalar product of vectors, or by contracting tensors. Whil ...
. The gauge-field is a \mathfrak-valued 1-form, where \mathfrak is the
Lie algebra In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi ident ...
of G.


References

* * Peskin, M and Schroeder, D.; ''An Introduction to Quantum Field Theory'' (Westview Press, 1995) {{Quantum field theories Quantum electrodynamics