One way to do a showcase of topological defects is to try emulate a simple field theory topological defect. So take a polar field theory in 2D. That would be a and Cartan media. So I can try to come up with a configuration that imitates defects like:
The way to do it is to simply construct explicitly (which should be possible using polar coordinates), and then simply computing the generalised strain. You should be able to do this analytically, and doing so will probably tell you something about the nature of generalised strains with topological defects.
What would be doubly cool is if you can then also add some dynamics on top of this, and use it to simulate defects that attract each other etc.
In the context of simple polar field theories in 2D or 3D, elementary undergrad vector calculus is useful. I think a field with topological defects correspond to a non-conservative vector field.
- However, there is a slight subtlety here. A conservative vector field is one for which there exists a scalar such that . In our case, the vector field is . We are not really concerned with the integrability of (that is, if there exists a scalar such that ), rather we are concerned with whether the generalised strains are integrable.
- This is a bit confusing of course, because in the image above I can clearly define a , and can compute its generalised strain, which would presumably integrate back to . By definition, the generalised strains should obey integrability no?
- There must be some kind of subtlety involving the point defects.
- Actually, since is abelian and , the generalised strain fields are scalars, and the spatial integrability condition is . Could it be that ? That is, the generalised strain is in general irrotational, but not conservative since it has the topological defects.
- I don’t think so. The vorticity of a SO(2) field is not always zero. Specifically it is .
- We have and .
- So in this case I don’t think there is any real connection between the notion of conservative vector fields and topological defects.
- Of course, fields with topological defects are not conservative. But not all non-conservative fields have topological defects (a field with non-zero vorticity but no singularities for example).
From what I gather, the above example does accommodate topological defects. However, they do not really relate to the failure of spatial integrability. Well, more precisely, we have that and satisfy spatial integrability everywhere but at the defect. So it is a matter of spatial integrability failure of course.
Ah! But now I get it. What happens to at the defect? It becomes multi-valued! (It’s not pointing in any direction / pointing in all directions). The question is what is the value of and at the defect? It should probably be the limiting value of and in the and directions respectively.
You can compute
So it seems that for any fixed value of the limit of is well-defined, and vice-versa for . So if we define the generalised strain as
we essentially have a definition that allows for topological defects. And if we compute them we see that . NOTE: not correct. check those equations again
Now, if we integrate up from the Lie algebra to the Lie group, we will recover the correct , but it will be multi-valued at the origin. This is of course because the spatial integrability of the generalised strain does not hold at the origin. We have that
which diverges at the origin.
So the nice thing about the Cartan media framework is that, though is ill-defined at the topological defects, the generalised strains are well defined (as long as you use the limit definition above) and smooth.
Notes:
- It seems that along the line , and vice versa for . So the zeros of and essentially form a cross in the material base space, and the topological defect is located where the two lines meet. This could probably used to locate defects in numerics.
A more interesting case is when you have a line defect. For example, for nematic fluids in 3D:
This would still involve a singularity of some sort, but along a line.
Constructing the initial condition
We want to construct an initial condition with a and a topological defect. Let’s say the are located at and respectively. I think the best way to do this is to consider a dynamical system
for which the Jacobian at is stable and rotational, and at is a saddle. The result will of course not be normalised, but hopefully after you have normalised it will all work okay.