Skip to main content
2 of 6
added 86 characters in body
math_lover
  • 147
  • 1
  • 8

1D Topological Defects in $d>3$ spatial dimensions

I am trying to construct a 1D topogical defect solution in 4 spatial dimensions, i.e a solution to some PDE (likely the equations of motion of some Lagrangian) on $\mathbb{R}^{4}$ which is homotopically distinct from the vaccum solution.

In particular I want a 1D defect, but I don't know how to express the condition for this in $d>3$ spatial dimensions.

example in $d=3$

In $d=3$ dimensions the homotopy classification of defects says that a Lagrangian described by a continuous symmetry group $G$ which is spontaneously broken to a subgroup $H \subset G$ then theory admits a 1D topological defect if the vaccum manifold is $M = G / H$ has nontrivial first homotopy group $\pi_1(M)$.

A classic example in 3 spatial dimensions is the Lagrangian the complex scalar field $\Phi$ given by

\begin{equation} \mathrm{L}=\left|\partial_\mu \Phi\right|^2-\frac{\lambda}{4}\left(|\Phi|^2-\eta^2\right)^2 \end{equation} which has a $U(1)$ symmetry broken down to $\{0\}$ ($\pi_1(M) = \mathbb{Z}$), and admits static 1D topological defect of the form \begin{equation} \Phi(\mathrm{x}, \mathrm{y})=\eta \mathrm{f}(\mathrm{m} \varrho) \mathrm{e}^{\mathrm{in} \theta} \end{equation} with $\rho^2 = x^2 + y^2$, $n\in \mathbb{Z}$ , and where $f$ is solution to the equation of motion \begin{equation} \partial_\mu \partial^\mu \Phi=-\lambda\left(|\Phi|^2-\eta^2\right) \Phi / 2 \end{equation} with $f(0)=0$, and $f(\infty)=1$.

Intuitively this corresponds to a 1D defect given by the zero-locus of $\Phi$, the set of points $(x,y,z)$ with $x=y=0$.

Case $d=4$

My questions is thus:

  1. How does the homotopy classification of defects generalize to $d>3$ spatial dimensions? Is $\pi_1(M)$ being non-trivial still the right condition?
  2. Does the same Lagrangian as above, but extended to 4 spatial dimensions ($\Phi=\Phi(x,y,z,w)$), admit a 1D defect?
math_lover
  • 147
  • 1
  • 8