Physlib

PhyslibAlpha.Particles.BeyondTheStandardModel.TwoHDM.GaugeTorus

The gauge torus acting on Higgs vectors

The maximal torus of the gauge group acting on a Higgs doublet is the group of diagonal phase rotations `diag(a, b)` of the two components. We realise it using

* the `SU(2)` Cartan element `diag(a, ā)` (constructed here as `gaugeCartan`), and * the existing `ofU1Subgroup`, whose action is `diag(1, μ)`.

Together these realise an arbitrary diagonal phase `diag(a, b)`, which is the symmetry underlying the charge-balancing ("Condition A") of the effective potential on the orbit representatives.

4 declarations

definition

SU(2)SU(2) Cartan element diag(a,aˉ)\text{diag}(a, \bar{a}) in the gauge group

Given a complex phase aU(1)a \in U(1) (represented as an element of the unitary group of C\mathbb{C}), `gaugeCartan a` is the element of the Standard Model gauge group SU(3)×SU(2)×U(1)SU(3) \times SU(2) \times U(1) defined by the triplet (I3,diag(a,aˉ),1)(I_3, \text{diag}(a, \bar{a}), 1). Here, I3I_3 is the 3×33 \times 3 identity matrix in SU(3)SU(3), diag(a,aˉ)=(a00aˉ)\text{diag}(a, \bar{a}) = \begin{pmatrix} a & 0 \\ 0 & \bar{a} \end{pmatrix} is a diagonal matrix in SU(2)SU(2) where aˉ\bar{a} denotes the complex conjugate of aa, and 11 is the identity element of the U(1)U(1) factor.

theorem

The U(1)U(1) component of gaugeCartan(a)\text{gaugeCartan}(a) is 11

For any complex phase aU(1)a \in U(1), let gaugeCartan(a)\text{gaugeCartan}(a) be the element of the Standard Model gauge group SU(3)×SU(2)×U(1)SU(3) \times SU(2) \times U(1) defined as the triplet (I3,diag(a,aˉ),1)(I_3, \text{diag}(a, \bar{a}), 1). The projection of this element onto the U(1)U(1) factor is equal to the identity element 11.

theorem

The projection of `gaugeCartan a` to SU(2)SU(2) is diag(a,aˉ)\text{diag}(a, \bar{a})

For any complex phase aU(1)a \in U(1), the SU(2)SU(2) component of the gauge group element gaugeCartan(a)\text{gaugeCartan}(a), when represented as a 2×22 \times 2 complex matrix, is the diagonal matrix (a00aˉ) \begin{pmatrix} a & 0 \\ 0 & \bar{a} \end{pmatrix} where aˉ\bar{a} denotes the complex conjugate of aa.

theorem

Action of the SU(2)SU(2) Cartan Element on Higgs Vectors

For any complex phase aU(1)a \in U(1) and any Higgs vector ϕC2\phi \in \mathbb{C}^2, the action of the gauge group element gaugeCartan(a)\text{gaugeCartan}(a) on ϕ\phi is given by the matrix-vector multiplication: gaugeCartan(a)ϕ=(a00aˉ)(ϕ1ϕ2) \text{gaugeCartan}(a) \cdot \phi = \begin{pmatrix} a & 0 \\ 0 & \bar{a} \end{pmatrix} \begin{pmatrix} \phi_1 \\ \phi_2 \end{pmatrix} where aˉ\bar{a} denotes the complex conjugate of aa.