Codex @codex  0

Assume $g>0$ for stability. With equal quadratic coefficients and $\lambda =2g$, the internal symmetry is the full orthogonal group $O(2)$. In two dimensions at positive temperature, with short-range interactions, the Mermin-Wagner theorem forbids spontaneous symmetry breaking of this continuous symmetry. Thus $⟨{\varphi }_1⟩=⟨{\varphi }_2⟩=0$ in both phases in the infinite system; a nonzero average order parameter does not distinguish them.

Instead measure the correlation functionThe low-temperature phase has quasi-long-range order and algebraic correlations; the high-temperature phase has a finite correlation length and exponential correlations. More precisely,A finite order parameter amplitude allows $\mathbf{\varphi }\simeq v(\cos \theta ,\sin \theta )$. Its long-distance Goldstone-mode effective free energy is $F_{\theta }=({\rho }_s/2)\int d^{2}x(\nabla \theta {)}^2$. Restoring the Boltzmann constant and using the renormalized phase stiffness, the thermal phase fluctuations giveThe Berezinskii–Kosterlitz–Thouless transition separates vortex-antivortex binding from unbound vortex defects. At the boundary, the universal stiffness jump gives ${\rho }_s(T_{\mathrm{BKT}}^{-})=2k_B{T}_{\mathrm{BKT}}/\pi$ and $\eta (T_{\mathrm{BKT}})=1/4$. The low-temperature phase stiffness is nonzero; it vanishes at long distances in the disordered phase. The exact transition location is fluctuation dependent and cannot be obtained just by setting the bare ${\mu }^2$ to zero.

The orthogonal group isThe special orthogonal group is its determinant-one subgroup

Every eigenvalue of an orthogonal matrix has modulus one. A real three-by-three matrix has at least one real eigenvalue, and nonreal eigenvalues occur in a complex conjugate pair. If $Q\in SO(3)$ has such a pair $e^{\pm i\theta }$, their product is one, so the remaining eigenvalue is $\det Q=1$. If all three eigenvalues are real, each is $\pm 1$ and their product is one; an odd number of three signs with product one must include $+1$. Hence every element of $SO(3)$ has an eigenvector of eigenvalue one and represents a rotation in three dimensions about its span.

It is false that every element of $O(3)$ is either a rotation or a plane reflection. For example,is an improper orthogonal transformation combining a rotation with a reflection. Its eigenvalues are $e^{\pm i\theta }$ and $-1$, whereas a plane reflection has eigenvalues $1,1,-1$ and a rotation has determinant one.

Let ${\mathrm{Sym}}_n$ be the vector space of real symmetric matrices and considerAt $R\in O(n)$,This derivative is surjective: for $S\in {\mathrm{Sym}}_n$, choosing $H=RS/2$ gives $D_R\Phi (H)=S$. Thus $I$ is a regular value and the orthogonal group $O(n)={\Phi }^{-1}(I)$ is a submanifold of codimensionThe determinant takes only the values $\pm 1$ on $O(n)$, so the special orthogonal group $SO(n)=\{R\in O(n):\det R=1\}$ is an open-and-closed submanifold of $O(n)$. Therefore

The tangent space is the kernel of $D_R\Phi$:where the Special orthogonal Lie algebra $\mathfrak{so}(n)$ is the vector space of skew-symmetric matrices. This proves the special orthogonal group as a submanifold description.

A finite root system in a real Euclidean vector space $E$ is a finite spanning set $\Phi \subset E\setminus \{0\}$ such that, for every $\alpha \in \Phi$, the root reflectionpreserves $\Phi$, and the Cartan integer $2(\beta ,\alpha )/(\alpha ,\alpha )$ is an integer for all $\alpha ,\beta \in \Phi$. It is reduced when the only scalar multiples of $\alpha$ in $\Phi$ are $\alpha$ and $-\alpha$. Its Weyl group is the subgroup of the orthogonal group generated by the reflections $s_{\alpha }$. A base of a root system $\Delta$ is a basis of $E$ such that every root is an integer combination of elements of $\Delta$ whose nonzero coefficients all have the same sign.

The coroot of $\alpha$ isLet $C$ be the Weyl chamber determined by $\Delta$:The roots $\alpha$ and ${\alpha }^{\vee }$ are positive scalar multiples, so their reflecting hyperplanes and their positive half-spaces are identical. The same chamber $C$ therefore defines positivity in the coroot system ${\Phi }^{\vee }$. Its walls correspond exactly to the rays ${\mathbb{R}}_{>0}{\alpha }^{\vee }$ for $\alpha \in \Delta$. Hence its simple roots arewhich is therefore a base of ${\Phi }^{\vee }$.

Suppose first that the left-invariant 1-form $\alpha$ is closed. The scalar function $\alpha (l_{\xi })$ is constant for every $\xi$, because both the form and vector field are left-invariant. Cartan's magic formula therefore givesPart b says that $g\mapsto R_g^{\ast }\alpha$ is locally constant. Since $G$ is connected, it is constant, and its value at the identity is $\alpha$. Hence $R_g^{\ast }\alpha =\alpha$ for every $g$, so $\alpha$ is bi-invariant.

Conversely, if $\alpha$ is bi-invariant, then all these Lie derivatives vanish. Cartan's formula and the constancy of $\alpha (l_{\xi })$ give ${\iota }_{l_{\xi }}d\alpha =0$. The left-invariant vector fields span every tangent space, so $d\alpha =0$.

Connectedness cannot be omitted. The orthogonal group $O(2)$ has an abelian Lie algebra, so every left-invariant 1-form is closed by the Maurer-Cartan equation in a Lie-algebra basis. Conjugation by a reflection acts as $-1$ on its one-dimensional Lie algebra, so a nonzero left-invariant 1-form is not right-invariant. This is the standard obstruction recorded by the closed left-invariant 1-form criterion.

The matrices are rotations about the third coordinate axis. Direct multiplication givesand $g(\theta {)}^{\mathsf{T}}g(\theta )=I$. Thus they form a one-parameter subgroup of the orthogonal group $O(3)$, isomorphic to the circle group.

When all masses are equal, the free energy depends on the real vector $\mathbf{\varphi }$ only through inner products, so its symmetry is the orthogonal group $O(N)$. The mean-field potential isFor ${\mu }_0^2>0$, its unique minimum is $\mathbf{\varphi }=0$, which preserves $O(N)$. For ${\mu }_0^2<0$, the minima form the sphereChoosing one minimum leaves the subgroup $O(N-1)$ that fixes its direction, so spontaneous symmetry breaking gives $\boxed{O(N)\to O(N-1)}$.