{'fraction_non_alphanumeric': 0.030894361069258143, 'fraction_numerical': 0.010336284158511061, 'mean_word_length': 4.586889775867363, 'pattern_counts': {'":': 0, '<': 2, '<?xml version=': 0, '>': 1, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 42, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Dual gauge field theory of quantum liquid crystals in three dimensions

The dislocation-mediated quantum melting of solids into quantum liquid crystals is extended from two to three spatial dimensions, using a generalization of boson-vortex or Abelian-Higgs duality. Dislocations are now Burgers-vector-valued strings that trace out worldsheets in spacetime while the phonons of the solid dualize into two-form (Kalb-Ramond) gauge fields. We propose an effective dual Higgs potential that allows for restoring translational symmetry in either one, two or three directions, leading to the quantum analogues of columnar, smectic or nematic liquid crystals. In these phases, transverse phonons turn into gapped, propagating modes while compressional stress remains massless. Rotational Goldstone modes emerge whenever translational symmetry is restored. We also consider electrically charged matter, and find amongst others that as a hard principle only two out of the possible three rotational Goldstone modes are observable using electromagnetic means.

Liquid crystals are "mesophases" of matter with a "vestigial" pattern of spontaneous symmetry breaking arising at intermediate temperatures or coupling: rotational symmetry is broken while translational invariance partially or completely persists. Classical liquid crystals are formed from highly anisotropic molecular constituents which, upon cooling from the liquid phase, can order their respective orientations while maintaining translational freedom. Only at lower temperatures crystallization sets in. These forms of matter have been known for about a century, and their theoretical description was established by De Gennes and many others [1][2][3] . Starting from the opposite side, it was long realized that dislocations (the topological defects associated with translational order) are responsible for material degradation and even melting of solids 4 . Berezinskii, Kosterlitz and Thouless (BKT) in their landmark papers already suggested that unbinding of dislocations and disclinations (rotational topological defects) will lead to the disordering of two-dimensional solids 5,6 , he theory of which was further developed and refined by Nelson, Halperin and Young [7][8][9] . We will refer to the topological melting driven by dislocation unbinding as the KTNHY transition. Here it was also predicted that an intermediate phase exists as a result of the exclusive proliferation of dislocations in a triangular 2D crystal, dubbed the hexatic liquid crystal. Translational symmetry is fully restored but the rotational symmetry remains broken down to the C 6 point group characterizing the triangular crystal.
Almost two decades later, Kivelson, Fradkin and Emery 10 proposed that the spatial ordering of electrons in strongly-correlated electron systems, as realized in underdoped high-T c superconductors, could feature symmetry properties analogous to classical liquid crystals. The stripe 'crystalline' order is now destroyed at zero temperature by quantum fluctuations in the form of proliferating dislocations, such that on macroscopic length scales the system forms a nematic quantum fluid (superconductor) which maintains however the orientational preference of the stripe electronic crystal. This signaled the birth of the subject of quantum liquid crystals. Quite some empirical support was found since then supporting the existence of such forms of quantum liquid crystals. This includes direct evidences for the existence of quantum nematic order in underdoped cuprates, likely related to the original context of fluctuating stripes [11][12][13][14][15][16][17][18] . This theme flourished in the context of the iron superconductors where quite some evidence surfaced for the prominent role of orientational symmetry breaking driven by the electron system as being central to their physics [19][20][21] . An ambiguity in these condensed matter systems is that the crystal formed by the atoms is already breaking space translations and rotations while the electron and ion sys-tems are coupled. The quasi two-dimensional electron systems in the iron and copper superconductors are typically realized in tetragonal square lattices where the rotational symmetry is broken to a point group characterized by a fourfold axis. This fourfold symmetry is broken to an orthorhombic crystal structure characterized by a two-fold rotational symmetry C 4 → C 2 , dubbed the "Ising nematic phase". Given that symmetry-wise the purely electronic and crystalline tendencies to lower the point group symmetry cannot be distinguished, one does face a degree of ambiguity that cannot be avoided, giving rise to ongoing debates about the origin of the electronic nematicity in these materials 21 .
Inspired by the initial suggestion by Kivelson et al. one of the authors (J.Z.) initiated a program to extend the KTNHY topological melting ideas to the quantum realms, initially in two space dimensions. The emphasis has been here all along on the fundamental, theoretical side based on the symmetries and associated defects. The main restriction is that it only deals with matter formed from bosons: the constructions rest on the machinery of statistical physics being mobilized in the D + 1 dimensional Euclidean spacetime, turning into the quantum physics of bosons after Wick rotation. This matter lives in the Galilean continuum and the point of departure is the spontaneous breaking of space translations and rotations into a crystal. The KTNHY transition is just one particular example of a Kramers-Wannier (or weak-strong) duality and it was found out in the 1980s how to extend this to three dimensions when dealing with Abelian symmetries. In the context of crystalline elasticity one can rest on strain-stress duality, where phonon degrees of freedom are mapped to dual stress gauge fields. This amounts to a generalization of the famous vortex-boson or Abelian-Higgs duality, as pioneered by Kleinert 22 . Using the well-known mapping of a D-dimensional quantum to a D + 1-dimensional classical system, the 2+1D quantum liquid crystals were investigated by stress-strain duality starting with Ref. 23. The relation is essentially the same as the KTNHY case in two dimensions. One first establishes the structure of the weak-strong duality by focusing on the minimal U (1)-case associated with vortex melting, to then extend it to the richer theater of the space groups underlying the crystalline symmetry breaking, profiting from the fact that the restoration of translational invariance by dislocations is associated with an Abelian symmetry.
The essence is that this duality language is geared to describe the physics of a quantum fluid (in fact, a superfluid or superconductor) that is in the limit of maximal correlation, being as close to the solid as possible.
Only the collective excitations are important here. It is assumed at the onset that the particles forming the crystal continue to be bound: the 'construction material' of the quantum liquid consists of local crystalline order supporting phonons disrupted by a low density of topological defects: the dislocations. At length scales smaller than the distance between the dislocations the liquid behaves still like the solid. However, at larger distances the translational symmetry is restored by a condensate formed out of the quantized dislocations. To a certain degree the liquid crystal aspect is a convenience. The Bose condensate of dislocations restoring the translational symmetry is straightforwardly described in terms of a "dual stress superconductor". The rotational topological defects, disclinations, that restore the rotational symmetry, are just harder to deal with technically and by "keeping disclinations out of the vacuum" rotational symmetry continues to be broken, describing the quantum liquid crystal. The isotropic quantum fluid is realized when these disclinations proliferate as well 24 .
Recently, we have written an extensive review that comprehensively details the dual gauge field theory of these quantum liquid crystals in two dimensions 34 , to which we shall hereafter refer as QLC2D. The present work is the extension of this theory to three spatial dimensions and we recommend the novice to the subject to have a close look at QLC2D first. We will often refer back to those results, while we do not hesitate to skip derivations and explanations provided there when these are representative for the way things work in 3+1D as well. We also refer the reader to the introduction of QLC2D for more background on the history of and the physical interest in quantum liquid crystals.
B. From two to three dimensions: weak-strong duality and the string condensate Our universe has three spatial dimensions and therefore the most natural quantum states of matter are formed in 3+1 dimensions. The generalization of the theory to 3+1D has been quite an ordeal -we are even not completely confident that the solution we present here is really watertight. Wherein lies the difficulty? This is rooted in the fundamentals of Abelian weak-strong dualities which are very well understood in both 1+1/2D (KT topological melting) and 2+1D/3D (Abelian-Higgs duality 28,[35][36][37][38][39][40][41][42][43][44] while it is much less settled in 3+1D for quite deep reasons. At the heart of these dualities is the notion that given a particular form of spontaneous symmetry breaking, the unique agents associated with restoring the symmetry are the topological excitations. Let us first consider a broken global U (1)-symmetry, where the vortex is the topological workhorse. In the zero-temperature ordered phase these only occur in the form of bound vortex-antivortex pairs since a single free vortex suffices to destroy long-range order. In 1+1D they are point-like entities (instantons) in spacetime having a logarithmic interaction, subjected to the famous BKT vortex-unbinding transition. In 2+1D vortices are 'particle-like' objects characterized by worldlines forming closed loops in spacetime in the ordered phase. At the quantum phase transition these loops 'blow out', forming a tangle of worldlines corresponding to a Bose condensate of vortices. In the ordered phases vortices are subjected to long-range interactions which work in exactly the same way in this particular dimension as electromagnetic interactions, namely by coupling to vector gauge fields. In the disordered phase, this gauged vortex condensate is therefore a dual superconductor (Higgs phase). In the context of quantum elasticity, the dislocations take the role of vortices forming the dual stress superconductor. There is however much more additional structure and the outcome is the rich world described in QLC2D.
The complication coming in at 3+1D is that dislocations (or vortices) are 'line-like', forming loops in space that trace out worldsheets, not worldlines, in spacetime. In other words, they are strings. In 2+1D we are dealing with an ordinary Bose condensate of particles, constructed using the second-quantization procedure. Second quantization is however not applicable to strings in 3+1D and a fool-proof procedure to write down the effective field theory associated with the 'foam' formed in spacetime from proliferated dislocation strings is just not available. Here we have to rely on a guess based on symmetry considerations that was first proposed by Rey 45 in the context of fundamental string field theory. Let us present here a crude sketch of the essence of this affair in the minimal setting of the Abelian-Higgs/vortex duality associated with the topological melting of the superfluid.
The point of departure is the relativistic Josephson action L ∼ (∂ µ ϕ) 2 describing the phase mode of the superfluid ϕ in imaginary time. The U (1)-field is compact and vortices arise as the topological excitations. The elementary dualization in 2+1D maps the phase mode ϕ onto a vector gauge field a µ and the vortex onto a particle current J V µ , while the action is recast as f µν f µν + a µ J V µ . This describes the worldlines of isolated vortices in terms of the vortex current J V µ , being subjected to a long-range interaction mediated by an effective U (1)-gauge field a µ with field strength f µν = ∂ m ua ν − ∂ ν a µ . This is identical to electrodynamics in this particular dimension; one may interpret the superfluid as the Coulomb phase of an electromagnetic system sourced by conventional currents J V µ . The gauge fields a µ arise as a way to impose the conservation of the supercurrent (field strength): j µ = µκλ f κλ is conserved ∂ µ j µ = 0 when the original phase field ψ is smooth. This continuity equation can be identically imposed by parameterizing the currents in terms of the gauge fields as j µ = µνλ ∂ ν a λ , and a µ is directly sourced by the vortex currents J V µ . The duality is easily extended in this ordered, Coulomb phase to 3+1D. The only difference is that one has to invoke two-form gauge fields b µν . Namely, the supercurrent continuity equation ∂ µ j µ = 0 is imposed by expressing it as the 'four-curl' of a two-form field: j µ = µνκλ ∂ ν b κλ . At the same time, the vortex is a worldsheet in spacetime, parametrized by J V µν . The action for an isolated piece of vortex world sheet has the form L ∼ h µνκ h µνκ + b µν J V µν , where h µνκ = µνκλ j λ is the field strength associated with the gauge field b µν . This is well known in string theory where such two-form fields arise naturally and are known as Kalb-Ramond fields 46 . This dual description of the ordered phase is only the beginning of the story. We have just summarized the dual version of the interaction between isolated vortices deep in the ordered, superfluid phase. Towards the disordering quantum phase transition, in 2+1D vortex worldline loops grow and proliferate (vortices condense). This disordered state is relativistic superconductor (Higgs phase) formed out of vortex matter. Namely, the dual gauge fields a µ couple minimally to a complex scalar field Φ = |Φ|e iφ , representing the second-quantized collective vortex condensate degrees of freedom. In the London limit where the amplitude |Φ| is frozen, this leads to the Ginzburg-Landau form L ∼ |Φ| 2 (∂ µ φ − a µ ) 2 + f µν f µν .
It is here that the great difficulty of the duality in 3+1D is found. The vortex strings of 3+1D proliferate (condense) into a 'foam' of worldsheets in spacetime, and the question arises: what is the universal form of the effective action describing such a 'string condensate' ? This is a fundamental problem: the construction of string field theory. As a matter of fact, presently it is just not known how to generalize second quantization to stringy degrees of freedom. One can however rely on symmetry. Deep in the dual superconductor, the minimal coupling principle appears to insist that there is only a single consistent way of writing a Josephson action. As Rey pointed out 45 , see also Ref. 47, the two-form gauge field b µν has to be Higgsed completely and this is accomplished by a Lagrangian of the form L ∼ |Φ| 2 (∂ µ φ ν − ∂ ν φ µ − b µν ) 2 . One is now led to accept that the 'string foam' is characterized by a vector-valued phase field φ ν , having more degrees of freedom than the simple scalar φ in 2+1D.
As we discussed elsewhere, problems of principle arise with this construction in the context of this disordered superfluid/dual superconductor in 3+1D 48 . The dual superconductor can be interpreted as a boson-Mott insulator and it appears that the vectorial phase field φ ν overcounts the number of degrees of freedom. The Anderson-Higgs mechanism transfers the condensate degrees of freedom to the longitudinal polarizations of the photon (dual gauge) field. The scalar field φ has one degree of freedom but the vectorial phase field φ ν contains two degrees of freedom that, together with the single Goldstone mode of the superfluid, end up forming a triplet of degenerate massive modes in the 3+1D disordered superfluid. Conversely, the boson-Mott insulator is known to possess two massive propagating modes, the "doublon and holon" excitations. We proposed a resolution to repair this overcounting 48,49 .
How does this play out in the current context of quantum liquid crystals? As we will see below, translational symmetry can be restored 'one direction at a time', and the disorder field theory consists basically of three moreor-less independent U (1)-fields. These cause the shear degrees of freedom to be gapped, leading to the 'liquid behavior' of liquid crystals. Furthermore, up to three rotational Goldstone modes emerge once translational symmetry is restored. All these degrees of freedom are a priori accommodated in the ordinary, linear stress operators of elasticity-these are not the condensate phase degrees of freedom that are transferred by the Anderson-Higgs mechanism to the longitudinal polarizations of the dual gauge field. However, we benefit from the additional structure of elasticity, which contains not only linear stress, the canonical conjugate to displacements, but also torque stress, which is conjugate to local rotations. Torque stress cannot be unambiguously defined as long as shear rigidity is present, but it becomes a good physical quantity in the quantum liquid crystals. We find below that the condensate phase degrees of freedom do leave their mark on torque stresses. As we shall identify in Sec. VI C there are components, corresponding to the longitudinal two-form gauge fields, which are visible in the torque stress linear response. This is not only a clear sign that the problems outlined in Ref. 48 do not arise, but also a great, and possibly first, way to test the existence of a condensate of the form proposed in Ref. 45 in condensed matter.

C. Overview and summary of results
As we just argued, assuming that we can rely on the minimal coupling construction for the 'stringy' condensate of the dual stress superconductor, the theory of the quantum liquid crystals in 3+1D becomes a asstraightforward-as-possible generalization of this physics in 2+1D. We have accordingly organized this paper closely following the 2+1D template 34 . In the next three chapters we set the stage by reviewing general symmetry principles, and generalities of elasticity theory as of relevance to the remainder. In the remaining sections we will then develop step-by-step the theory of the various forms of quantum liquid-crystalline order.
The main difference in three dimensions is the nature of rotational symmetry; its ramifications for the universal features associated with the order parameter theory will be reviewed in Sec. II. For empirical reasons, nearly all nematic liquid crystals of the soft matter tradition are of a very special kind: the uniaxial nematics formed from the 'rod-like molecules' that orient their long axis in the same direction. As we will briefly review in the next section, these are only a part of a very large class of generalized nematics characterized by the O(3) rotational symmetry of isotropic three-dimensional space, broken down to some point group. In two dimensions all rotational proper point groups are Abelian while in 3D the point groups are generally non-Abelian. As a consequence the order parameter theory of these 3D generalized nematics is a very rich and complex affair [50][51][52] . The uniaxial nematic has the point-group symmetry D ∞h , which breaks only two out of three rotational symmetries and the proper rotational part of which is Abelian; it is there-fore not a good representative of rotational symmetry breaking in three dimensions.
In order to render the duality construction as simple and transparent as possible we depart from a maximally symmetric setting: the 'isotropic nematic'. In 2+1D this is literally realized by the hexatic liquid crystal, where one departs from a triangular crystal characterized by isotropic elasticity as far as its long-distance properties are concerned, and this isotropic nature is carried over to the 'quantum hexatic'. In 3+1D there is no space group associated with isotropic elasticity. Instead one can consider a cubic crystal and assert that the cubic anisotropies can be approximately ignored: this is our point of departure. The O h point group of the cubic crystal is however non-Abelian with far-reaching consequences for disclination defects. Nevertheless, as long as we are not interested in condensation of disclinations into the liquid (superfluid) phase, these complications can be ignored. The 'isotropic quantum nematic' breaks three rotational symmetries and should carry three rotational Goldstone modes, which we shall verify explicitly with dual gauge fields. As we already discovered in QLC2D, smectic type phases have a particular elegant description in the duality setting in terms of a partial condensation of dislocations. As we will further elucidate in this section, in 3+1D this implies that both quantum smectic and columnar phases arise naturally.
In Sec. III we review some basic material: the field theory of quantum elasticity, stress-strain duality, rotational elasticity and static topological defect lines in solids. Quantum elasticity is just the classical theory of elasticity with an added quantum kinetic energy in imaginary time, promoted to the path integral formulation of the quantum partition function. This is a linear theory of deformations that simply describes acoustic phonons. Usually elasticity theory is expressed in term of strain fields but by employing stress-strain duality it can be formulated as well in terms of stress tensors, which are in turn the field strengths in the dual-gauge-fieldtheoretical formulations in the remainder. The theory governing the low-energy excitations of a translationally symmetric but rotationally rigid medium can be called rotational elasticity, which is shortly reviewed. The topological defects, the agents destroying the crystalline order of the solid state, are dislocations and disclinations with Burgers resp. Frank vectors as topological charge.
Resting on the seminal work of Kleinert 22 , we found that in 2+1D the theory can be rewritten in terms of stress gauge fields that enumerate the capacity of the solid medium to propagate forces between external stresses as well as the internal stresses sourced by the dislocations 34 . This gauge theory corresponds to a 'flavored' version of quantum electrodynamics in 2+1D, in terms of the usual one-form U (1)-gauge fields identifying phonons with 'stress photons'. This is drastically different in 3+1D, which we shall extensively explain in Sec. IV. The topological defects are now worldsheets in spacetime. Since these act as stress sources, the gauge fields that propagate the stress are two-form gauge fields of the kind encountered in string theory. By working through the two-form gauge field formalism we do show that at least on the level of description of the elastic medium, the correct phonon propagators are impeccably reproduced: compare Eqs. (21), (22) with Eqs. (83), (96).
Sec. V is the core of the development in this paper. The quantum liquid crystals are described as solids subjected to a proliferation (condensation) of dislocations. In 2+1D this is in principle a straightforward affair because the dislocations are fundamentally like bosonic particles and the tangle of dislocation lines in spacetime is just a Bose condensate that is 'charged' under the stress gauge fields: this is a plain Higgs condensate and the quantum liquid crystals are therefore called stress superconductors similar to the dual superconductors in the context of the Abelian-Higgs duality [39][40][41] . As we discussed in Sec. I B, this path gets slippery in 3+1D because we have now to rely on an effective field theory description of the 'string foam' formed in spacetime by the proliferation of the dislocations. This section will be devoted to a careful formulation of the Higgs action, with the bottom line that all gauge field components obtain a Higgs gap as usual. We also highlight the complications encountered in the construction of the dislocation condensate that were already on the foreground in the 2+1D case 34 which straightforwardly generalize to 3+1D: the glide and Ehrenfest constraints as well as the population of distinct Burgers vectors that is behind the difference between the columnar-, smectic-and nematic-type orders, see Fig. 1.
The machinery is now in place and can be unleashed on the various kinds of quantum liquid crystals. We start with the quantum nematic order in Sec. VI. This is defined as a condensate where all Burgers vector directions contribute equally, completely restoring the translational symmetry while the rotational symmetry is still broken. Resting on the prescription of Sec. V we find that this 3+1D quantum nematic shares all the traits of the 2+1D version. This acts as a sanity check confirming that the 'Higgsing' of Sec. V does make sense. As in the 2+1D case, we find that the transverse phonons of the solid acquire a mass, indicating that shear stresses can no longer propagate through the liquid at length scales larger than the shear penetration depth, in close analogy with the way that magnetic forces cannot propagate in an electromagnetic superconductor. In addition, the quantum nematic is also a regular superfluid. It is the same mechanism as in 2+1D: the glide constraint encodes for the fact that dislocations "do not carry volume" and therefore the compressional stress is not affected by the dislocation condensate. The result is that the longitudinal phonon of the solid turns into the second sound/phase mode of the superfluid. Last but not least, a new feature in 3+1D is the way that the rotational Goldstone bosons (or 'torque photons' in stress language) arise in the quantum nematic. The gross mechanism is the same as in 2+1D; using the 'dynamical Ehrenfest constraint' formulation 32,34 it becomes manifest that these modes FIG. 1: Sketch of the symmetry of the solid and liquid crystals. Features in red denote translational symmetry, liquid-like in that direction. The translation group is also indicated in the captions. Rotational symmetry is broken to a discrete point groupP in all cases. (a) For simplicity we start with a cubic crystal with translational symmetry completely broken down to a discrete subgroup. (b) Restoring translations in one direction leads to a regular 2D array of 1D liquid lines, the columnar phase.
In the superconductivity jargon, this is the stripe ("river of charge") phase. (c) Restoring translations in two dimensions yields the smectic phase; the liquid plane has the features of a 2D nematic. This is the (highly simplified) envisaged scenario in high-Tc superconductors. (d) Restoring translations all directions leads to a generalized nematic phase; the remaining anisotropy depends on the details of the rotational symmetry breaking. In this work we only consider explicitly the simplified case of the 'isotropic' nematic, with only a single rotational modulus, see Sec. VI C.
are quite literally confined in the solid, while deconfining and becoming massless in the quantum liquid crystal with a rigidity that is residing in the dislocation condensate itself. The novelty is that in 3+1D we find according to expectations three such modes, that separate in two degenerate 'transverse' modes and a 'longitudinal' one, characterized by a parametrically different velocity. As we discovered in 2+1D, the topological melting view offers a most elegant way of also dealing with the quantum smectic type of order. This just exploits the freedom to choose preferential directions for the Burgers vectors in the dislocation condensate. In the nematic all Burgers directions contribute equally, while in the 2+1D smectic dislocations proliferate with their Burgers vectors oriented in one particular spatial direction, only restoring translations in that particular dimension. We found that the long-wavelength physics of such quantum smectics is surprisingly rich. Intuitively one expects that a smectic is a system that is one direction behaving like a liquid, remembering its solid nature in the other direction. However, we found that matters are quite a bit more interesting with the solid and liquid features being 'intertwined' in the literal sense of the word. We show in Sec. VII that much of the same pattern occurs in 3+1D . This landscape is now enriched by the fact that the dislocations can proliferate with Burgers vectors in one or two directions, defining the columnar and smectic quantum phases. There is room for even more richness to occur. Dealing with the quantum smectic ("stacks of liquid planes"), when the momentum of the propagating modes lie precisely in the liquid-like plane we find that the response is indistinguishable from a 2D quantum nematic, except for small, dimension-dependent differences in the velocities of the massless modes. When the momentum lies in a solid-liquid plane it instead behaves like 2D quantum smectic. Precisely along the solid direction a longitudinal phonon is recovered which is at first sight surprising since the shear modulus is contributing despite the fact that the transverse directions are liquidlike. Last but not least, we find one rotational Goldstone mode associated to the plane where translational symmetry is restored, in accordance with recent predictions 53 .
In Sec. VIII we deal with the 3D quantum columnar phase with its two solid directions ("arrays of liquid lines"). We find that the longitudinal phonon and one transverse phonon remain massless, while a second transverse phonon picks up a Higgs mass. There is also a massive mode due to the fluctuations of the dislocation condensate itself, although these two massive modes are coupled for almost all directions of momentum. In the special cases that momentum lies exactly in the plane orthogonal to the liquid-like direction, or in a plane with one solid-like and the liquid-like direction, one obtains response similar to the 2D solid and 2D smectic respectively. Since there is no plane with vanishing shear rigidity, rotational Goldstone modes are absent.
As we showed in QLC2D it is straightforward to extend the theory from neutral substances to electrically charged ones, which is the subject of Sec. IX. We now depart from a charged 'Wigner crystal' keeping track of the coupling to electromagnetic fields when the duality transformation is carried out. There is now the technical difference that the stress gauge fields have a two-form and the EM gauge fields a one-form nature; the effect is that not all stress fields couple to the electromagnetic fields. As a novelty we find that the 'longitudinal' rotational Goldstone mode is a purely neutral entity. Different from its transverse partners, it stays electromagnetically quiet even in the finite-momentum regime where all collective modes turn into electromagnetic observables in 2+1D. Notwithstanding, the highlights of the 2+1D case all carry over to 3+1D. Most importantly, we show that the quantum nematics are characterized by a genuine electromagnetic Meissner effect proving directly that these are literal superconductors, while smectic and columnar phases have strongly-anisotropic superconductivity.
In Sec. X we shall discuss the relevance of this work for real-world materials, and highlight roads for future research.
Finally a brief explanation of of our conventions regarding units and terminology. We work almost always in Euclidean time τ = it, and the quantum partition function at zero temperature is expressed as an Euclidean path integral Z = exp(−S) = exp(− dτ d 3 x L). We employ relativistic notation in which the temporal component t = cτ has units of length, where c is an appropriate velocity, usually the shear velocity c T . Greek indices µ, ν, . . . run over space and time while Roman indices m, n, . . . run over space only. Like in QLC2D, we will almost always work in one of two Fourier-Matsubara coordinate systems, where the axes are parallel or orthogonal to momentum. In the first system (t, L, R, S), the temporal coordinate t is unchanged, but the three spatial coordinates are divided into one longitudinal L, and two transverse directions R, S with respect to the spatial momentum q. The directions R, S are orthogonal but otherwise arbitrary. The second system (0, 1, R, S), has one direction, 0, parallel to spacetime momentum where ω n is a Matsubara frequency. The second direction, 1 is orthogonal to p µ , but within the (tL)-plane, while the transverse direction R, S are as before. The explicit coordinate transformations are given in Appendix A, where we make, without loss of generality, one particular choice of axes. We set ≡ 1 everywhere.

II. SYMMETRY PRINCIPLES OF QUANTUM LIQUID CRYSTALS
The quantum liquid-crystalline phases which are the focus of this paper are ordered, in principle zerotemperature states of matter that spontaneously break a symmetry. The symmetry at stake is the rotational invariance (isotropy) of space itself that is broken by the medium itself. Since only spatial and no temporal dimensions are involved, there is no sharp distinction between zero-temperature and thermal states of matter accomplishing the same feat. As we will see, the only difference of principle between classical liquid crystals and the bosonic variety of quantum liquid crystals that we consider here is in the 'liquid part'. Classical liquid crystals are at the same time behaving as dissipative classical fluids while our quantum version is a superfluid, or superconductor in the charged case. Alluding to the universal long-wavelength properties associated with the order, this in turn implies a single novelty in the superfluid case. A highly peculiar breach of established symmetry breaking wisdom occurs which is not as famous as it should be. Breaking a continuous symmetry usually implies a propagating Goldstone mode, like the phonon of a crystal. Accordingly, one would expect that a nematic crystal that breaks the isotropy of space should be characterized by 'rotational phonons'. However, it has been shown a long time ago that even in the long-wavelength limit this rotational Goldstone mode has a finite coupling to the circulation of the normal, hydrodynamical fluid with the effect that this mode is overdamped even for its momentum tending to zero 1-3 . This is different in the zero-temperature superfluid/superconductor: now the circulation of fluid is 'massive' (quantized vorticity) and the rotational Goldstone modes are protected, as usual.
A. Generalizing nematic order: 'isotropic' versus 'cubic' nematics Another issues is the form of the order parameter theory associated with liquid crystals in general. The reader should be familiar with the textbook cartoon, revolving around the kinetics of "rod-like molecules". In the isotropic fluid these rods are both translationally and rotationally disordered with the rods pointing in all space directions. In the nematic phase these rods line up while they continue to be translationally disordered. Upon further lowering temperature these rods may form liquid layers, that stack in a periodic array in the direction perpendicular to the layer: the smectic. At the lowest temperatures full crystalline order may set in. This cartoon is quite representative for much of the classical liquid crystals; for deep reasons of chemistry, stiff, rodlike molecules are abundant and nearly all existent liquid crystals are of this 'uniaxial kind'. However, viewed from a general symmetry breaking perspective these uniaxial nematics are highly special and even pathological to a degree. Group theory teaches that the symmetry group describing the isotropy of Euclidean space O(3) encompasses all three-dimensional point groups as its subgroups. The uniaxial nematics are associated with the D ∞h point group that is special in the regard that it only breaks the rotational isotropy in two of the three rotational planes of the O(3) group. One ramification is that it is characterized by only two rotational Goldstone modes. More generic 3D point groups break the isotropy in all three independent rotational planes and the Goldstone modes count in a way similar to the phonons of the crystal: there are two 'transverse' and one 'longitudinal' acoustic modes associated with the rotational symmetry breaking, see Sec. III C and VI C.
In the present duality setting we depart from the maximally symmetry breaking state: a crystal breaking both translations and rotations, characterized by one of the 230 space groups. By proliferating the topological defects we restore the symmetry step-by-step. The principle governing the existing vestigial liquid-crystalline phases is that a priori, the topological defects associated with the restoration of translational symmetry (the dislocations) can be sharply distinguished from those that govern the restoration of the isotropy of space -the disclinations. Given the right microscopic circumstances, the disclinations can 'stay massive' (not proliferating in the vacuum), while the dislocations have proliferated and condensed forming our dual 'stress superconductor' with restored translational invariance and a liquid nature of the state of matter. Since these liquid crystals are 'descendants' of the crystal, they are characterized by the 'leftover' point group symmetry of the crystal. Point groups that are not compatible with the crystalline breaking of translations (encapsulated by the space groups) involving e.g. 5-fold rotations are therefore excluded.
It is now merely a matter of technical convenience to begin with the most symmetric space groups. In fact, to avoid as much as possible the details coming from crystalline anisotropies that just obscure the essence we will look at from the simplest possible solid: the one described by the theory of isotropic elasticity in three space dimensions. This is similar in spirit to the famous KTNHY theory of topological melting in 2D, which considers the special case of a triangular lattice, which is unique in the regard that its long-wavelength theory is precisely isotropic elasticity in two dimensions. Upon proliferating the dislocations a nematic-type liquid crystal is formed that was named the "hexatic" since it is characterized by the six-fold rotational symmetry (C 6 point group) descending from the crystal. For the long-wavelength properties the precise form of the remnant discrete rotational symmetry is insignificant, the only thing that matters is that there is rotational rigidity. This is the reason we group all these states under the umbrella "nematics" (see also below).
In 3D there is no space group that is described precisely by isotropic elasticity, characterized by merely a bulk (compression) and a shear modulus. This of course has influence on the descendant liquid crystals. The 'rotational elasticity' theory of generalized nematics (characterized by any 3D point group) has been systematically enumerated 54 and it follows that even the most symmetric point groups such as the O h -group describing 'cubelike' nematics (instead of the 'rod-like' uniaxial ones) are characterized by three independent moduli. As we will see, departing from the isotropic solid there is only room for a single rotational modulus. Accordingly, the reader should appreciate our 'isotropic nematics' as being like a 'cubic nematic' where we have switched off the moduli encoding for the cubic anisotropies by hand.
In fact, inspired by the considerations in the previous paragraph some of the authors felt a need to understand better the order parameter theory of such 'generalized' (beyond uniaxial) nematics [50][51][52] . They found out that a systematic classification is just missing in the soft-matter literature, actually for a good reason. As it turns out, one is dealing with quite complex tensor order parameters involving tensors up to rank 6 for the most symmetric point groups! It was subsequently found that discrete, non-Abelian gauge theory can be mobilized to compute both the explicit order parameters as well as the generic statistical physics associated with this symmetry breaking in a relatively straightforward way. With regard to the latter, it was found that in case of the most symmetric point groups one runs into thermal fluctuation effects of an un-precedented magnitude 50 . In the present context we just ignore these complications. We are primarily interested in the infinitesimal fluctuations around the ordered states and these are not sensitive to the intricacies of the 'bigtensor' order parameters. In fact, all one needs to know is that our isotropic nematic is breaking rotations much like a cubic nematic, with the ramification that it should be characterized by two transverse and one longitudinal rotational Goldstone boson, see Sec. III C and VI C.

B. Quantum smectics: neither crystals nor superfluids
In the vestigial order hierarchy the next state one meets is the smectic type (translational order in D − 1 dimensions), sandwiched in between the crystal and the nematic type states. Yet again the textbook version is, from the viewpoint of general symmetry principles, of a very special kind. It is entirely focused on the 'rodlike' D ∞h -molecules that now first arrange in liquid twodimensional layers, which in turn stack in an array periodic perpendicular to these layers, breaking translations in this direction. Even more so than for the nematics a truly general 'effective field theory description' departing from tight symmetry principles is lacking. This deficit becomes on the foreground especially when dealing with the zero-temperature quantum smectic states of matter. The 'liquid nature' becomes now associated with superfluidity, and there should be a well-defined sector of longwavelength Goldstone-type excitations. Are these like phonons resp. superfluid phase modes (second sound) depending on whether one looks along the 'solid' resp. 'liquid' directions? We shall see that these characteristics do shimmer through, but this is only a small part of the story. We found in the 2+1D case a remarkably complex assortment of collective modes reflecting the truly intertwined nature of superfluid and elastic responses 29,34 . In part, this is already understood in the soft-matter literature in the form of the undulation mode: the transverse mode propagating in the liquid direction acquires a quadratic dispersion since the lowest-order interactions between the liquid layers are associated with their curvature 1,3 . These are impeccably reproduced in our smectics seen as dual stress superconductors of a particular kind. Yet again, in 3+1D there is even more to explore than in 2+1D; much of the sections on quantum smectic (VII) and columnar (VIII) order are dedicated to charting this rich landscape.
Although a Landau-style 'direct' order parameter theory is lacking for "generalized (quantum) smectics" (i.e. going beyond D ∞h ), the topological principles beyond our weak-strong duality are sufficiently powerful to formulate such a theory in the dual language of stress superconductivity. Like for the nematics, the main limitation is that we have formulated this theory departing from isotropic elasticity. The effects of the anisotropies associated with the real 3D space groups are presently unexplored and may be taken up as an open challenge. It was realized in the classic literature on thermal topological melting that smectic-type order is actually a natural part of this agenda 55 . It appears that is was first addressed in the quantum context independently in the early work by us 23 , and by Bais & Mathy who studied the possible liquid crystal phases with the fanciful Hopf symmetry breaking formalism 56,57 . This works as follows: as before, we depart from the crystal with a particular point group embedded in its space group. The dislocations are characterized by their topological charge: the Burgers vector. These are associated with the deficient translations in the crystal lattice and accordingly they point only in lattice directions and are equivalent under the point-group transformations. In a cubic lattice, for instance, Burgers vectors point in orthogonal spatial x-,yand z-directions, while in a hexagonal crystal these point in the z direction or in are six equivalent directions in the xy-plane associated with the sixfold axis, see Fig. 2a.
The master principle governing both the smectic-and nematic-type vestigial phases is that the dislocations are allowed to proliferate while keeping the disclinations "out of the vacuum". The point group symmetry of the crystal is maintained while translational symmetry is restored. But we just learned that there is quite a variety of Burgers vectors; how should these be arranged in the dislocation condensate? This is governed by precise topological rules. The first rule is that the Burgers vectors of dislocations have to be 'locally antiparallel'. A disclination is topologically identical to a macroscopic number of dislocations with parallel Burgers vectors 22,23,34 . These are not allowed in the vacuum and therefore we have to insist that on the microscopic scale a dislocation with Burgers vector pointing in the B-direction of the lattice is always accompanied one pointing in precisely the opposite − B-direction. The second rule is that the translational symmetry gets restored precisely in the direction of the Burgers vectors. In other words, points that differ by a (not necessarily integer) multiple of the Burgers vector become equivalent.
In the generalized nematic, translation symmetry is restored in all spatial directions and this implies that all Burgers vector directions are populated equally in the dislocation condensate of the dual stress superconductor. One notices that this dislocation condensate remembers the point group of the crystal through the requirement that it is formed out of "Burgers vectors pointing in the allowed directions". In fact, as we will discuss in more detail in section VI C the rotational elasticity of the nematic is carried by the dislocation condensate itself.
However, this "equal Burgers vector population" need not to be the case: it is perfectly compatible with the topological rules to populate only the pair-antiparallel Burgers vectors in e.g. one particular direction. Accordingly, translational symmetry is restored in that one of the three space dimensions and this is the topological description of the columnar state, Fig 1b. In a next step, the condensate can pick Burgers vectors such that the translational symmetry is restored in two orthogonal space directions, leaving the third axis unaffected: this is the smectic state in three dimensions, Fig. 1c. One notices a peculiar tension between the point group of the crystal and the way that the 'liquid directions' emerge. Translational symmetry can only be independently restored in the three orthogonal (x, y, z) spatial directions since points that differ by a vector in a liquid direction are equivalent. Accordingly, the 'liquid' can occur either in one direction (the columnar phase), one plane (the smectic) or in all three directions (the nematic). In a cubic crystal this is straightforward; the three cubic axes are coincident with the three orthogonal 'translational' directions and by proliferating dislocations in either one or two directions one obtains immediately the smectic and columnar phases shown in the cartoons Fig. 1.
However, dealing with e.g. a hexagonal crystal this gets more confusing, see Fig. 2. The first melting transition to a columnar phase takes pairs of antiparallel Burgers vectors along one of the crystal axes. For instance, one can choose the direction perpendicular to the 6-fold plane, Fig. 2b. The result is a regular triangular array of liquid lines. The dislocations in this columnar phase are still along the original crystal axes. If dislocation condensation takes place with Burgers vectors in a second direction, a smectic is obtained, Fig. 2c. This is a periodic stack of liquid planes. Note that the periodicity is no longer along an axis of the parent crystal, but obviously perpendicular to the planes. Accordingly, the dislocations in this smectic have Burgers vectors in this perpendicular direction, not commensurate with the Burgers vectors of the parent crystal. Here we see the two important consequences of the rules mentioned above: 1) dislocation melting always takes place restoring translations symmetry in orthogonal directions, even though the elementary Burgers vectors of the parent crystal may not be orthogonal. 2) the remnant rotational order is independent of the translational symmetry restoration and is completely inherited from the parent crystal. This can be clearly seen in e.g. Fig. 2c.
Conversely, we could first melting along an in-plane direction as in Fig. 2d. Now we have 'three kinds of physics': liquid-like in one in-plane direction, solid-like in the orthogonal in-plane direction, and solid-like in the out-of-plane direction, which was already inequivalent due to the original crystal anisotropy. Again the Burgers vectors have to be perpendicular to the liquid lines, not necessarily parallel to the original crystal axes. If the next melting step is again in-plane, we end up with a periodic stack of liquid layers, see Fig. 2e. Each layer is like a 2D hexatic phase with C 6 -symmetry in the plane. We will verify this explicitly in Sec. VII. The overall structure is a particular 3D smectic.
In all cases, once all translational symmetry has been restored due to melting of dislocations with Burgers vectors in all direction, a generalized nematic is obtained, see Fig. 2f. The rotational order is the point group of the parent crystal, D 6h in this case. It takes some special care to precisely formulate the equations describing this 'Burgers vector population' affair in the construction of the dual dislocation condensates. For the 2+1D quantum liquid crystals this was for the first time put in correct form in QLC2D -although the Higgs terms in the effective dual actions were correct in earlier work, the derivation was flawed. As it turns out, this procedure straightforwardly generalizes to the 3+1D case, which is the topic of Sec. V. In the sections dealing with the smectic (VII) and columnar (VIII) phases we will expose the remarkably rich landscape of 'intertwined' liquid-solid responses of these systems. Once again, given our specialization to the strictly isotropic case this description is far from complete and we leave it to future work to find out a complete inventory of the long-wavelength physics that follows from this peculiar interplay of partial translational and full rotational symmetry breaking.

III. PRELIMINARIES
A. Elasticity as a quantum field theory In QLC2D we provided an exposition of the quantumfield-theoretic formulation of linear elasticity. Let us here summarize the highlights. The principal quantities are displacement fields u a (x), referring to the deviation in direction a from the equilibrium position of the constituent particle at position x in the coarse-grained continuum limit. The long-wavelength finite-energy configurations are enumerated in terms of the gradients of the displacement field ∂ m u a . Departing from equilibrium the potential energy density of solids takes the familiar form known from elasticity theory 22 Here C mnab is called the elastic tensor and its independent non-zero components are called elastic constants, while C mrnsab represents the second-order contributions in the gradient expansion. The elastic tensor is subjected to a number of symmetries and constraints. Importantly, antisymmetric combinations represent local rotations that must vanish to first order since these cannot change the energy of the crystal. Accordingly, C mnab must be symmetric in m, a and in n, b and Eq. (1) contains only the symmetric combinations called strains: The crystalline symmetry in terms of its space group further reduces the number of independent elastic constants. We extend this well-known theory of elasticity to the quantum regime by taking into account the quantum kinetic energy 23 . We shall employ the Euclidean coherentstate path-integral formalism in an expansion of fluctuations around the maximally-correlated crystalline state, defined by the partition function solid (x).
Here the argument x of the displacement fields u a (x) is understood to contain both space and time x = (τ, x), and the sign of the potential energy is consistent with our convention for imaginary time 23,34 . Although the formalism is valid for general elastic tensors, we shall treat explicitly only the case of the isotropic solid. Even though the crystal breaks rotational symmetry, the long-distance physics may still be effectively isotropic, as is the case for for instance the triangular lattice in 2D. In 3D, solids consisting of many crystalline and glasses ("amorphous solids") are effectively isotropic 3,22 . Isotropic solids are described by only two elastic constants: the bulk or compression modulus κ and the shear modulus µ. In contrast, in liquids or gases there is only a compression modulus, while for instance crystals with cubic symmetry are characterized by three independent elastic constants.
The potential energy for the isotropic solid in D space dimensions is defined in terms of the elastic moduli where the projectors of 'angular momentum' s = 0, 1, 2 on the space of (1,1)-tensors under SO(D)-rotations 22 : These projectors satisfy P The absence of a term proportional to P (1) in Eq. (10) signifies that local rotations Eq. (3) cannot change the energy of the crystal. The strain component that is singled out by P (0) is called compression strain while the components in the P (2) -subspace are called shear strain.
In D dimensions there are 1 2 D 2 + 1 2 D − 1 shear components, in particular there are 2 shears in D = 2 and 5 in D = 3.
The relation between the compression and shear modulus can be expressed using the Poisson ratio ν via The Poisson ratio takes values in −1 ≤ ν ≤ 1/(D − 1), and is usually positive. Another quantity used frequently is the Lamé constant λ = κ − 2 D µ. Combining the kinetic and potential terms Eqs. (8),(9) we define Throughout this paper we will use the 'relativistic' time t = c T τ = µ/ρ τ with the unit of length, while c T is the shear velocity such that ∂ µ = ( 1 cT ∂ τ , ∂ m ). Since there cannot be a displacement in the time direction u τ ≡ 0, the strains ∂ µ u a are characterized by a relativistic 'spacetime' index µ and a purely spatial 'lattice' index a.
The second-order term Eq. (2) reduces greatly due to the symmetry of the isotropic solid 22 : Here is the length scale of rotational stiffness: at length scales smaller than , contributions due to local rotations become important. Similarly, is the length scale below which second-order compressional contributions become important, but these do not change anything qualitatively and will be ignored in the remainder of this work. The dynamical properties of the solid can be found by applying infinitesimal external stresses and measuring the responses. In other words, we are interested in the Green's function (propagator) u a u b . For the isotropic solid, these have the simple form .
(18) using the longitudinal and transverse projectors P L ab = q a q b /q 2 , P T ab = δ ab − P L ab . In addition, the longitudinal and transverse velocity are, respectively: From Eq. (18) we see that there is one longitudinal acoustic phonon with velocity c L and D −1 transverse acoustic phonons with velocity c T . These correspond of course to the Goldstone modes due to spontaneous breaking of D translational symmetries. After the dislocation-unbinding phase transition, the displacement fields u a are no longer well defined, and these propagators lose their meaning. We can however still consider the strain propagators ∂ m u a ∂ n u b , that have a well defined meaning both in the ordered and disordered phases 23,28 . We are particularly interested in the longitudinal (L) and transverse (T) propagators. In the solid these correspond to, Here the factor D − 1 in the transverse propagator arises from summing the contributions of the D − 1 transverse phonons.

B. Stress-strain duality
Following QLC2D, the first step in the dualization procedure is to define the canonical four-momenta conjugate to the displacement field u a via where we used Eq. (16) while −i follows from the standard conventions in the Euclidean formalism 22,23,34 . The quantity σ a µ is called the stress tensor. In static elasticity the stress tensor has only spatial components σ a m while it is symmetric under a ↔ m since only symmetric strains u ab are allowed. Similar to the strain fields, in the imaginary-time extension of the quantum theory the upper (Latin) labels are purely spatial while the lower (Greek) indices are referring to spacetime since there are no displacements in the time direction, u τ ≡ 0. The absence of antisymmetric stress components is known as Ehrenfest constraints 34 : Let us now focus on the dual Lagrangian, where the principal variables are the stresses L dual = L dual [σ a µ ]. This can be derived equivalently by a Legendre transformation or by a Hubbard-Stratonovich transformation of the original Lagrangian. In both cases we need to 'invert' the elastic tensor C µνab . However, due to the absence of antisymmetric strains, the elastic tensor has zeros amongst its eigenvalues and it cannot be inverted directly. However, the Lagrangian surely contains only physical fields and the dualization operation can be carried out 'component-by-component'. It is most useful to bring the original Lagrangian into a block-diagonal form, to then invert the respective non-zero blocks. For the isotropic solid with elastic tensor Eq. (10), these correspond to the P (0) -and P (2) -parts as well as the kinetic energy. In QLC2D we already derived the dual stress action in arbitrary spatial dimension D, with the Poisson ratio ν given by Eq. (15). In appendix A we introduce a quite convenient Fourier space coordinate system. In this system, the direction L is parallel to the momentum q while R, S are two transverse directions perpendicular to L and to each other. All fields in the action are real-valued, and we demand that σ † (p) = σ(−p) in momentum space 23,34,36 .
The dual Lagrangian is then block diagonal, containing five sectors: We will soon find out that L L1 contains the longitudinal phonon, while L T1 and L T2 contain the transverse phonons in the R-resp. S-transverse directions. Here we have defined In fact, we could have defined similar symmetry and antisymmetric combinations for the transverse sectors, but we refrain from doing so because we need second-order contributions as we shall explain just below. For more context about this division into sectors, see Sec. IV D.
To express the transverse propagator Eq. (22) in the dual stress fields, we need the contributions from second-gradient elasticity since the first three matrices in Eq. (28) are not invertible (see Sec. IV E). From the second-gradient contribution Eq. (17), we will only use the rotational part. Expressed in ω c = 1 2 cab ω ab these become, The canonical momentum conjugate to the rotation field ω c = 1 2 cab ω ab is the torque stress τ c m : There is no separate temporal component, since the rotations ω c are descendant from displacements u a via Eq. (3) and do not have their own dynamics. The dual secondgradient Lagrangian is then 34 In the presence of torque stress, the Ehrenfest constraints are softened, and read 34 substituting his equation in Eq. (33) yields, To find the propagators of Eqs. (21), (22) on the dual (stress) side, one needs to introduce stress gauge fields, which we do in Sec. IV C below.

C. Rotational elasticity
In a medium that is completely translationally symmetric, but which has rotational rigidity, one can also write down the general form of the elastic energy of the long-distance, low-energy excitations. The displacement fields u a are now ill-defined, but the rotation fields ω c = 1 2 cab ω ab are good quantities, and are the fundamental Goldstone fields of this medium. They can be derived using differential geometry as the small fluctuations of the contortion tensor 22,58,59 We are of course thinking of a nematic liquid crystal where all translational symmetry is restored, but this theory would hold for any translation-invariant medium with spontaneously broken rotational symmetry. For an isotropic medium, like our 'isotropic nematic phase', this problem has been studied previously, see for instance Refs. 58,59 and references therein. For systems with broken rotational symmetry, both discrete and continuous, the enumeration of elastic moduli was derived in Ref. 54. Here we focus on the isotropic case, which as before should be thought of as O h -symmetry in the limit of vanishing cubic anisotropy.
In close analogy to Sec. III A, the general form of the rotational-elastic Lagrangian is 59 Here ρ rot is the 'density' of the rotationally rigid medium, rather to be thought of as moment of inertia. The constants κ 0,1,2 define the rotationally elastic properties. Note that there is now no reason why the antisymmetric sector P (1) should be absent. Using relations Eqs. 11-13 it can be shown that Here we performed partial integrations and assumed the surface term vanishes. Then the rotational Lagrangian can be rewritten as We see that there are again longitudinal and transverse velocities, given by Note however that the interpretation of these propagating modes is slightly subtle. The vector ω c describes rotational deformations in the plane perpendicular to c. So the field ω L , where L is parallel to spatial momentum, describes rotations in the plane perpendicular to the propagating direction. This is counterintuitive when thinking of phonons or photon polarizations, and the reader should take caution when using these terms in the rotational context. For clarity, we have illustrated this in Fig. 3. The longitudinal and transverse velocities are related via the Poisson ratio ν according to Eq. (19). Therefore one can define a 'rotational Poisson ratio' as 59 : The interpretation of this quantity is as follows: if one perturbs the system by an external rotational torque such as τ x x , there can be rotational strain in both the parallel direction (∂ x ω x ) as well as the perpendicular directions (∂ y ω y and ∂ z ω z ). The negative ratio between the longitudinal and the transverse response is the rotational Poisson ratio. In an ordinary solid, the Poisson ratio is usually positive, meaning that a longitudinal elongation is accompanied by a transverse contraction. Translating this to the rotational context, a positive rotational Poisson ratio means a positive response parallel to the external torque would be accompanied by negative rotational strain in the orthogonal rotational planes. We will come back to this when discussing the rotational Goldstone modes of the quantum nematic in Sec. VI C.

D. Dislocations and disclinations
The very idea of topological melting/weak-strong duality is that the (quantum) phase transition from the solid to the (quantum) liquid corresponds to a proliferation of free topological defects. In general topological defects depend on the topological structure of order parameter space, which is the coset G/H where G is the symmetry group of the Lagrangian, and H ⊂ G is the subgroup of unbroken symmetries. Topological defects can come in any dimensionality that is lower than the dimension of space. For instance, in three space dimensions, there are two-dimensional defects (like domain walls), one-dimensional line defects and zero-dimensional point defects. TheseD-dimensional defects are classified by the (D − 1 −D)th homotopy group of the space G/H denoted by π D−1−D (G/H). When dealing with the breaking of the Euclidean group is not simply connected, the actual homotopy group sequence is slightly different, but in any case as long as H is discrete π 0 1). In other words, topological monopoles do not occur. The π 1 -defects are the dislocations and disclinations 2,3,22,34,60 . Dislocations are the defects associated with the translational symmetry breaking. These can be pictured as inserting or removing a half-plane of material (this mental cutting and gluing procedure is called Volterra process). Traversing a contour around the dislocation core will result in a deficient lattice vector, which is called the Burgers vector B a . It is the topological charge of the dislocation, since it does not depend on the details of the contour. In three dimensions, the dislocation is a line defect. When the Burgers vector is orthogonal to this line, it is called an edge dislocation, whereas a defect line parallel to the Burgers vector is called a screw dislocation, see Fig. 4. Later, we consider closed dislocation loops of constant Burgers vector, which must be of edge-type somewhere along the loop. The defects associated with rotational symmetry breaking are called disclinations and the Volterra process consists of inserting or removing wedges of material, which lead to deficient rotations, see Fig. 4c. The magnitude is characterized by a deficit angle Ω and the topological charge is a tensor normal to the plane of rotation with D −2 indices called the Frank tensor. In 3D this becomes the Frank vector Ω c . If the Frank vector is parallel to the disclination line, it is called a wedge disclination, and otherwise a bend or twist disclination 2,3,22 . In 3D, the definitions of the Burgers and Frank vectors are: Here ∂S is an arbitrary closed contour encircling the core of the topological defect, such that the surface area S enclosed by ∂S is pierced by the defect line. An arbitrary defect can have both translational and rotational character, but this can always be decomposed into multiple elementary defects that are pure dislocations and disclinations. Furthermore, dislocations and disclinations are not independent, see Eq. (52) below. One of the consequences is that a disclination-anti-disclination pair is not topologically trivial but equivalent to a dislocation line 22,34 . In fact, upon pulling apart such a disclinationantidisclination pair in the solid the energy increases with the square of the distance: disclinations are 'quadratically confined' in the solid, whereas these dipole pairs attain finite energy in their separation and 'deconfine' in the (quantum) nematic. The precise (de)confinement mechanism is a highlight of the weak-strong duality in the 2+1D case 32,34 , and in Secs. IV F, VI C we will see that it also applies to 3+1D. Notice that although the gross physical meaning of (de)confinement is similar to that found in non-Abelian Yang-Mills theory, it appears to be due to a different mechanism.
Turning to the 3+1D quantum theory, the spatial dislocation/disclination loops on a time slice turn into worldsheets in spacetime. In our quantum field theoretical setting, these topological defects take the form of non-critical (Nielsen-Olesen) bosonic strings because we depart from solids formed from bosonic constituents. These in turn interact with each other via the excitations of the ordered background, the phonons, and these longrange interactions can be represented by effective gauge fields as we will discuss in great detail in Sec. IV C. On the time slice, the density of these strings can be enumerated in terms of defect density fields, defined by for the dislocations (J) and disclinations (Θ). The displacement fields u a and ω ab are singular at the core of the defects and become multivalued fields with noncommuting partial derivatives 22,61 . Eqs. (42), (43) can be retrieved by integrating these densities over the surface S and using Stokes' theorem. On the right-hand side, we use the definition of the delta function on the defect line L parametrized by s, given by 22 : There is a dynamical constraint acting on the motion of edge dislocations. In a crystal they only move in the direction of their Burgers vector, and this is called glide motion 4,27 . The reason is that this motion is only a rearrangement of constituent particles, whereas motion orthogonal to the Burgers vector (climb motion) entails addition or removal of interstitial particles. In real crystals these are energetically very costly and accordingly their density is small at not too high temperatures. In quantum crystals at zero temperature these occur only as virtual fluctuations involving a finite energy scale with the effect that the glide constraint becomes absolute in the deep IR. In fact, our limit of "maximal crystalline correlations" can be viewed as being equivalent to the demand that such constituent particles are infinite-energy excitations. The precise formulation of this glide constraint will be given in Eq. (49) after we have discussed in more detail the nature of the dislocation worldsheets.

IV. DUAL ELASTICITY IN THREE DIMENSIONS
In this section we develop the description of a 3+1D quantum solid in terms of dual variables: the stresses σ a µ and the two-form stress gauge fields b a µν . This follows closely the development in 2+1D as outlined in QLC2D, but the novelty in 3+1D are the two-form gauge fields, see Sec. IV B. Additionally, the number of elastic degrees of freedom is larger, with the effect that the expressions get more elaborate. We will first obtain the explicit dual action for the isotropic solid, to then proceed to re-derive the phonon propagators using dual variables only. Most importantly, the dual formalism can then be directly applied to the quantum liquid crystals in the later sections.

A. Dislocation worldsheets
Before we dualize the action of the solid, let us first discuss dislocation lines in the imaginary time setting of the quantum theory. The dislocation density J a n (x) in Eq. (44) is a static quantity. In spacetime, the dislocation line along n with Burgers vector a can move in direction µ where µ contains both temporal and spatial components. The dislocation line J a n traces out a worldsheet J a µν in spacetime, see Fig. 5. The density of the line is represented by J a tn = J a n and the flow or current in direction m of the line along n is represented by J a mn . The worldsheet element J a µν (x) at x is a two-form quantity in the differential geometry sense, cf. Sec. IV B, and is antisymmetric in its indices µ, ν. The dislocation worldsheet element is defined by Here µνκλ is the completely antisymmetric Levi-Civita symbol and txyz = 1. This is the 3+1D generalization of Eq. (44). Note that the Burgers vector a is always spatial, since fields are always smooth in the time direction. Therefore Lorentz symmetry is still badly broken; close to the critical point, we are at most dealing with an emergent relativistic theory where the 'speed of light' is actually a material speed such as the phonon velocity c T . We will call J a µν the dislocation current that couples to the dual stress gauge field b a µν defined below, in analogy with the particle current j µ sourcing a vector gauge field A µ in Maxwell electrodynamics. By definition J a tn is an edge dislocation if a = n and a screw dislocation if a = n. Note that because of the antisymmetry in the lower indices J a an (no sum) equivalently represents the current in direction a of an edge dislocation or the opposite of the current in direction n of a screw dislocation.
In the bulk of the solid and in absence of disclinations the dislocation current is conserved: This implies that a dislocation line cannot begin or end in the material: dislocation lines must be closed loops, and dislocation worldsheets must be closed surfaces. The worldsheet picture of defect lines can be very useful even in condensed matter physics. For instance, we derived all important dynamical electromagnetic effects of Abrikosov vortices in superconductors by regarding them as worldsheets in Ref. 62. In Sec. III D we mentioned the glide constraint which states that edge dislocations can only move in the direction of their Burgers vector. The precise statement in terms of the dislocation currents was derived in Ref. 27: Recall that J a mn is the current in direction m of the dislocation line along n with Burgers vector a. Eq. (49) states that edge dislocations (a = n) cannot move in the direction orthogonal to the Burgers vector. For screw dislocations (a = n) there is no such constraint: their motion perpendicular to the dislocation line does not involve addition or removal of constituent particles. The glide constraint is in fact a consequence of conservation of particle number. This can be seen by inserting the definition Eq. (47): To lowest order, fluctuations of the mass density ρ(x) are ρ 0 ∂ a u a while the mass current is j a (x) = ρ 0 ∂ t u a . Thus the glide constraint is equivalent to the conservation law ∂ t ρ + ∂ a j a = 0 27,34 . The glide constraint is active during dislocation condensation, and amazingly turns out to protect the compression mode, in turn related to the conservation law, from obtaining a dual Higgs mass, see Sec. V.
There is a similar generalization for the disclination worldsheet, defined by The interpretation is that Θ c tn (x) is the disclination density at x of the line along n with rotational plane orthogonal to c, while Θ c mn (x) is the flow or current of that line in direction m. For Θ c tn (x), if n = c it is the density of a segment of a wedge disclination while it is the density of an twist disclination if n = c. A closed disclination line will typically be of wedge or twist nature at different positions.
In the presence of disclinations, the dislocation current is no longer conserved. Instead of Eq. (48) we have 22,34 This equation implies that a disclination line can source dislocations. If ν = t, then the left-hand side is the divergence of dislocation density, which can only be non-zero if the dislocation line ends. In other words, a dislocation line can end on a static twist disclination line. If ν = n, the right-hand side denotes the current or flow of a disclination line. Then this equation implies that a moving disclination leaves dislocations in its wake 34,63 . This equation is a consequence of the fact that translations and rotations are not independent. In the space group the point group operations (including rotations) are in semidirect relation with the translations; locally, a rotation is equivalent to two finite translations, which in topological context turns into the statement that disclinations can be formed from a finite density of dislocations with equal Burgers vector. As we will discuss in more detail later, the liquid crystals can be topologically defined by insisting that disclinations are massive (i.e. absent) which in turn implies that even locally the Burgers vectors have to be antiparallel in the dislocation condensate, since a finite 'Burgers vector magnetization' is the same as a finite disclination density in the vacuum. Since we are treating temporal and spatial dimensions on the same footing, a velocity is needed to compare quantities with different units. Certainly, we are in the idealized limit devoid of interstitials, disorder and other influences that could dissipate the motion of the phonons and the topological defects. Everything moves ballistically without scattering or drag. In the vortex-boson duality 47,48 , upon approaching the quantum critical point, scale invariance sets in as well as emergent Lorentz invariance. There can be only one velocity governing both sides of the phase transition: the velocity associated with the vortices coincides precisely with the phase velocity of the superfluid. In the same vein, the velocity associated with the defect-condensate is also the phase velocity. In the present context of elasticity, the same argument holds in principle, but there is a complication in the form of the glide constraint which restricts the motion of edge dislocations. Since screw dislocations do not suffer from this, Friedel argued that the dislocation speed should equal the material speed, given by the transverse or shear velocity c T 4 . In real-world solids, there is some evidence that edge dislocations can move 'transonically' with speeds up to the longitudinal velocity c L , see e.g. Ref. 64. A difficulty is that the arguments for emergent Lorentz invariance become precise near the continuous quantum phase transition, while deep in the solid 'irrelevant' operators such as the nature of the chemical bond may become important; e.g. dislocations in covalent solids are immobile while simple metals are malleable because of the rather isotropic nature of their electronic binding forces. Weakstrong dualities acquire their universal meaning in any case only close to the continuous quantum phase transition where one should become insensitive to microscopic details. In principle, the scale of the characteristic velocity of the dislocations and the dislocation condensate is therefore assumed to be the transverse phonon velocity and the only complication arises from the glide constraint. This also suggests that the velocity of edge dislocations c e and of screw dislocations c s can a priori be different.
In QLC2D we found that it is actually very helpful to treat the velocity of dislocations as different from the shear velocity, since it enables one to track the degrees of freedom originating in the dislocation condensate. On the other hand, below in Sec. V B 2 we will find that differing velocities for edge and screw dislocations considerably complicate the computations. Although our formalism is able in principle to handle the general case, with the exception of the end of Sec. V B 2 we will set c e = c s ≡ c d as the uniform dislocation velocity, which in turn should be of the order of the shear velocity c T .

B. Two-form gauge fields
Given a conserved current in four dimensions j µ , the associated conservation law (continuity equation) ∂ µ j µ = 0 can be imposed by expressing the current as the fourcurl of a two-form gauge field b κλ (sometimes called Kalb-Ramond field 46 ) The only relevant components of b κλ are those antisymmetric in κ, λ, and this defines an antisymmetric twoform field. By expressing physical quantities in terms of b κλ the constraint ∂ µ j µ = 0 is thereby identically satisfied. In addition, the field b κλ is a gauge field since the addition of the gradient of an arbitrary smooth vector field ε λ (x) leaves the current j µ in Eq. (53) invariant: Let us now focus on the counting of the physical, propagating degrees of freedom of a two-form gauge field. First, recall that the number of propagating degrees of freedom of a one-form gauge field A µ (x) (e.g. the photon field in electromagnetism) equals the number of spatially transverse components. In D space dimensions, there is one longitudinal and D−1 transverse directions. Accordingly, such a one-form field represents one physical 'photon' in 2+1 dimensions and two such degrees of freedom in 3+1 dimensions. A two-form gauge field has instead two indices, and the components representing physical, propagating degrees of freedom ('photons') are the ones for which both indices are transverse. In 3+1 dimensions, there are two transverse directions, and since the field is antisymmetric in its two indices, there is a only one independent component with purely transverse indices. In D space dimensions, the number of propagating physical degrees of freedom is This result is only valid for D ≥ 3. In particular, in 3+1 dimensions, the field b κλ represents only a single physical 'photon'. As we will see later, each phonon independently dualizes into a two-form gauge field, corresponding to one such a physical propagating 'stress photon'. Another way to establish the correct number of degrees of freedom is to consider the gauge volume due to the gauge transformations Eq. (54). The field b µν in 3+1 dimensions has six independent components due to its antisymmetry. However, the components that transform under gauge transformations do not correspond to physical degrees of freedom, and can be removed by a suitable gauge fixing. Since adding the gradient of an arbitrary scalar field ε µ (x) → ε µ (x) + ∂ µ ξ(x) leads to the exact same gauge transformation Eq. (54), there is a redundancy within the specification of ε µ . This is sometimes called "gauge-in-the-gauge". According to the theory of constraints in dynamical systems 65 , the gauge transformation field ε µ consists of three gauge components ε m and their time derivatives to function as 6 gauge parameters to be used for gauge fixing. However, due to the redundancy just mentioned we can fix only 6−1 = 5 components, leaving one component as a propagating degree of freedom.

C. Stress gauge fields
The original displacement field u a still features in Eq. (26) as a result of the Legendre transformation 34 . In order to eliminate it in favor of the stresses, we need to perform the path integral over this field by properly taking into account the defects. Topological defects are singularities in the displacement field, see Sec. III D. Therefore we split u a in a smooth and a singular part: On the smooth part we are allowed to perform integration by parts, to subsequently integrate out u a smooth in the path integral as a Lagrange multiplier for the constraint This constraint corresponds with the conservation of stress -external stresses will appear on the RHS. This can be implemented by expressing the stress tensor as the four-curl of a two-form gauge field, see Sec IV B: At this point we specialized to 3+1 dimensions; in 2+1D one would be dealing instead with one-form stress gauge fields, see QLC2D. We call b a µν the dual stress gauge field. As before, b a κλ is antisymmetric in κ ↔ λ, while the factor of 1 2 is inserted for later convenience.
The stress tensor σ a µ (the 'field strength') is invariant under the set of gauge transformations, cf. Eq. (54), Here ε a λ are three independent arbitrary vector fields, one for each a = x, y, z. Transforming to the Fourier-Matsubara coordinates (0, 1, R, S) for the spacetime indices (see appendix A), the components σ a 0 are removed by stress conservation. Furthermore, the remaining components are in one-to-one relation with the stress gauge field components: The reason is that the components (RS), (1R), (1S) are gauge-invariant, while all other components (01), (0R), (0S) are pure gauge and do not contribute the stress tensor in Eq. (58). This is equivalent to imposing the Lorenz gauge fix ∂ µ b a µν = 0 ∀ ν, a. We still have to deal with the singular displacement field u a sing . Using the definition Eq. (58) we derive, Here we performed integration by parts on b a κλ which is smooth everywhere, and used the definition of the dislocation worldsheet Eq. (47). It follows that the topological defects source the dual gauge fields, though these sources are now worldsheets the gauge fields themselves are of the two-form kind. In 2+1D dislocations are instead 'particles' (worldlines in 2+1D) and just source the stress gauge fields in the same way as electrically charged particles source electromagnetic gauge fields.
As discussed at length in QLC2D, the essence of stressstrain duality is that one translates the way that the elastic medium vibrates (phonons) into its capacity to propagate forces between the dislocations which are the natural internal sources of stress. In the language of forces, the theory just takes the shape of a gauge theory: in this sense, phonons turn into literal (stress) photons. This stress gauge theory formulation is highly convenient in the further development of the duality since it revolves around matter formed from the dislocations, and the gauge theory is the easy way to describe the interactions between the dislocations. In 2+1D quantum elasticity turns into a 'flavored' form of electromagnetism, but that is a coincidence characteristic for this dimension. A scalar field theory in 3+1D is not dual to a one-form gauge field (electromagnetism); instead we find the dual two-form gauge theory. Furthermore we just learned that it counts the physical degrees of freedom correctly ("1 phonon = 1 stress photon") at the same time doing justice to the fact that the sources of internal stress are worldsheets, Eq. (61). For systems with one broken symmetry generator (like the broken U (1)symmetry of superfluid), there is a single two-form field, as explained in Sec. IV B. In solids, there are D broken generators when breaking R D → Z D , and accordingly there are D phonons turning into D 'flavors' of two-form gauge fields. This goes hand-in-hand with the topological charge of dislocations, the Burgers vector B a , which is clearly not simply an integer winding number. The symmetry between the flavor index a and the spacetime indices κ, λ in b a κλ is far from perfect, and in fact it is often useful to regard them as completely separated. However, as can be inferred from Eq. (27), there is some 'mixing' between the Burgers and spacetime 'sectors'.
Finally, let us rewrite the partition sum Eq. (25) in terms of the dual gauge fields: Here F(b a κλ ) is a gauge-fixing factor enforcing for instance a Lorenz gauge fix F(b a µν ) = δ(∂ µ b a µν ). At this stage of the development, the action L dual describes describes the quantum mechanics of a isolated dislocations and DJ a κλ denotes the sum over worldsheet elements of closed worldsheets associated with dilute dislocationantidislocation loops on the time slice. The summation over the dislocation worldsheets in the path-integral cannot be performed and the action L dual should not be confused with the description of a dense system ('foam' in spacetime) of dislocations which is the subject of string field theory More specifically, L dual is the sum of Eqs. (28) and (35) in which we have substituted Eq. (60) to obtain the contributions: Here b a † κλ J a κλ is a shorthand for 1 2 b a † κλ J a κλ + 1 2 J a † κλ b a κλ , and in analogy to Eq. (30) we have defined

D. The interpretation of stress components
We will derive the propagators of Sec. III A on the dual side. Let us however first find out what can be learned regarding the spectrum of excitations from the Lagrangians Eqs. (28), (63). At first, there are 12 components σ a µ as µ = t, x, y, z and a = x, y, z. Let us first consider the static, 3+0D limit where the three temporal components are absent: σ a t = 0. Stress conservation ∂ m σ a m = −qσ a L = 0 removes another three components. Furthermore we have the three Ehrenfest constraints σ a m = σ m a , so that the only physical components are σ R S + σ S R , σ + and σ − , and these must be interpreted as static elastic 'Coulomb' forces. From Eq. (28) we can see that the first two have a correlation function proportional to the shear modulus µ and correspond to shear sector phonon shear force rotational force T1  transverse  -transverse  T2  transverse  -transverse  T3  -magnetic  longitudinal  L1  longitudinal  electric  -L2 magnetic - forces, while in this limit the Lagrangian L L1 reduces to This involves the compression modulus κ through the Poisson ratio ν, and this contribution represents the compressional force. In Ref. 23 , in analogy to electromagnetism, this force was called 'electric', related to longitudinal stress, while the other two are purely transverse and can be called 'magnetic'. These equations reproduce the results of classical elasticity, see for instance Ref. 22. Note that the sectors L T1 and L T2 are completely absent in this limit. What happens when we include quantum dynamics by adding σ a τ ? We still have three conservation laws and three Ehrenfest constraints: there are 12 − 3 − 3 = 6 physical components. Three of these are the same elastic Coulomb forces as above although they get modified at finite energies, while the three new degrees of freedom are the propagating phonons, two transverse and one longitudinal. The conservation laws are now ∂ µ σ a µ = 0 as in Eq. (57), so the components σ a t and σ a L together represent one phonon per a. Once the Ehrenfest constraints are lifted through adding second-order terms Eq. (35), three more forces are added, which fall off exponentially with length scale . These are short-ranged, rotational forces, and can be classified as either longitudinal or transverse as explained in Sec. III C. Together, there are 9 physical degrees of freedom, three of which are the propagating phonons. The breakdown of this classification for the sectors of Eq. (28) is given in Table I.
Even more insight can be gained by the so-called helicity decomposition of the stress tensor 22 . Again we restrict ourselves to 3+0D where the temporal components σ a t are absent. However, we will keep around the longitudinal components σ a L which are subject to stress conservation, because we know these will contain the phonons once we switch on the time axis. The stress tensor σ a m can now be decomposed by regarding its behavior under spatial 3-rotations. Since the rotation group generates the angular momentum operators, this classification can be assigned 'spin quantum numbers' (s, m). Be- cause σ a m is a 2-tensor, the 'total spin' number s takes values in 0, 1, 2, while the 'magnetic' number takes values in (−s, . . . , s). The s-sectors where also employed in Eqs. (11)- (13). Performing the helicity decomposition, one ends up with Table II.
The single spin-0 component is invariant under rotations; this is clearly the compressional, longitudinal phonon. The three spin-1 components are absent when the Ehrenfest constraint is imposed, so these correspond to the rotational forces. In the spin-2 sector, the m = ±1components are the two transverse phonons, while the other three are the shear Coulomb forces. The s = 2, m = 0-component is the 'electric shear' related to longitudinal stress, while the m = ±2-components are the 'magnetic' shear forces. In a forthcoming article, we will show that this spin-2 character becomes very apparent when an elastic medium is coupled to (linearized) gravity.
Up to know we have considered classification of the stress tensor components. As we already emphasized, a key insight of vortex-boson duality is that the dual gauge fields themselves have a direct physical meaning as the mediators of interactions between the topological defects. This can be seen by looking at the Lagrangian Eq. (63), which is of the form reducing to the Maxwell action of electromagnetism in 2+1D 28,34 while in 3+1D one runs into the two-form gauge theory which we showed elsewhere to be very convenient dealing with interactions between superfluid and Abrikosov vortices 48,62 . It is now natural to focus on the stress gauge field propagators, which can be determined in the usual way from the generating functional with external (dislocation) sources 34 This amounts to integrating out the b-fields in Eq. (63), which boils down to inverting the matrices, since the La-grangian is quadratic. It is now insightful to use the Coulomb gauge fix ∂ m b a mν = 0 instead of the Lorenz gauge fix, since it removes all occurrences of the Lcomponents in µ, ν. The Lagrangian in this gauge fix is easily obtained from Eq. (63) by substituting pb a 1ν = −qb a tν according to Eq. (A11). This also implies pb 1− = −qb t− . After this substitution and inverting the matrices, we read off the diagonal components to find for the longitudinal sector L L1 : where we have performed the Wick rotation to real time ω n → iω − δ (ignoring the infinitesimal δ). The second equation obviously describes the propagating longitudinal phonon with velocity c L . In the limit ω → ∞ the first equation is proportional to 1/q 2 , indicating that this is an instantaneous force like the Coulomb force. In the static limit ω → 0, the propagator is 2µ 1−ν 1+ν 1 q 2 , consistent with Eq. (70). This was already identified in QLC2D: the static force between edge dislocation sources is carried by the temporal components of the dual stress gauge field in the longitudinal sector (carrying a transverse Burgers index). The novelty in 3+1D is that there are two more, 'magnetic' shear forces, carried by b t+ resp. b R tR + b S tS in the L2-resp. T3-sectors. Their propagator is simply 2µ q 2 . Let us now turn to the transverse sectors L T1,T2,T3 . Integrating out the dual stress gauge fields in the Coulomb gauge fix yields the propagators, The second equation describes the two transverse phonons propagating with velocity c T . The third equation, stemming from the T3-sector shows a static shear force, that persists in the limit → 0; it is the partner of the magnetic shear force in the L2-sector. However, for q 1/ , this propagator does not vanish but becomes proportional to 2 , showing that at short length scales it probes the second-order, rotational elasticity. Therefore the T 3-sector contains magnetic shear and a rotational force. The first equation, in the limit ω → ∞, reduces to the third equation, and one would be led to think it also contains a shear force next to a rotational force. That this is not the case can be seen in the limit ω → 0, where we have These Coulomb forces decay exponentially on the rotational length scale of Eq. (17). In the limit → 0 of a crystal, these forces disappear altogether. This result is also found in 2+1D (see QLC2D) where one such short-ranged force is present which we called the rotational force since it is only present when local rotations are permitted in the elastic medium. All in all, we end up with the classification in Table I.

E. Dual propagator relations
Given the dual action, let us now derive the strain (phonon) propagators G L and G T from Eqs. (21), (22) but this time using the stress photon formalism. One first has to translate these strain propagators to the stress gauge field language. This is more subtle than one may naively expect, and it was for the first time accomplished in 2+1D in Ref. 23. The main issue is that the external sources in the path integral used to derive the two-point functions must themselves be carried through the dualization procedure. Here we will introduce a method for the transverse propagator which is slightly modified compared to the 2+1D case 34 .
Let us first consider the longitudinal propagator Eq. (21), defined as, According to Eq. (23), the stress tensor changes under the introduction of K. It only affects the compression component, In the dualization procedure, the dual Lagrangian is modified from Eq. (27) to 34 , From this expression and Eq. (79) we find Using Eq. (60) the compressional stress can be written as, Note that G L only depends on L L1 Eq. (67) and not L L2 Eq. (68). In terms of the stress gauge fields, the explicit expression for the stress term in the longitudinal propagator becomes The great advantage of this expression is that it is valid both in the ordered (solid) but also the disordered (quantum liquid crystal) phases. The propagators of the stress gauge fields can be obtained as usual from the generating functional with external sources Z[J a κλ ], i.e. integrating out the dual stress fields and taking functional derivatives with respect to J a κλ . Since the Lagrangian is Gaussian in b a κλ , this amounts to inverting the matrix in Eq. (67). It can be verified that after this inversion and inserting the correct contributions in Eq. (85) and then Eq. (83), we obtain the correct expression Eq. (21) (ignoring the contributions from second-gradient elasticity) We emphasize again that although this dual route is much more laborious in case of the solid, it can be taken in the quantum liquid crystals as well.
The derivation of the transverse propagator is along the same lines. For 2+1 dimensions, there is only one transverse phonon and the longitudinal and transverse sectors there are rather similar 34 . In 3+1 dimensions however, there are two transverse phonons instead of one. More importantly, there are three rotational planes instead of one. In fact, inspecting Eq. (22), the transverse propagator is a sum over three terms It will turn out to be quite convenient to consider these three terms separately in terms of the Fourier space components for the index c. Let us therefore consider We will see that the labels T1, T2, T3 match those of the solid Lagrangian Eqs. (64)- (66). These terms can in fact be straightforwardly computed calculated in terms of the strains, Eq. (18). The result is, G T1 , G T2 describe the transverse phonons in the R-resp. S-direction while G T3 is just unphysical. In Sec. VI we will show that in the isotropic nematic each of these three propagators will feature a massless rotational Goldstone mode. To compare the result of Eqs. (88), (89) with the definitions Eq. (87): for the component ω L the momentum is perpendicular to the rotational plane. Apparently the propagator between a source and sink of the rotational field which are separated from each other perpendicular to the rotational plane vanishes identically, while forces can be exchanged when they are separated within the rotational plane. These latter forces are obviously just shear forces. In the presence of second-order elasticity Eq. (35), all three propagators are finite, although the interactions associated with these second-order terms are short ranged.
To derive the dual relations for the transverse propagators, let us add sources J c coupling to each of the rotation fields ω c . Similar to Eq. (79), we then have Since the antisymmetric components of σ a m are absent from first-order elasticity, we need second-gradient terms to derive the dual propagators. Starting from Eq. (31) with the source term in Eq. (90) added, the torque stress is modified from Eq. (32) to Here we used the formal equality 1 = (∂ m /∂ 2 n )∂ m and integration by parts. The terms in the dual Lagrangian involving torque stress become, We find subsequently from Eq. (90) the identities for each c (no sum over c): Finally we can substitute the Ehrenfest constraints in the presence of torque stress Eq. (34) to find for each component c separately, This expression is valid even in the limit → 0: the factors of will cancel out to leave a non-divergent expression. Substituting the dual stress gauge field using Eq. (60), This makes clear why we choose these specific labels. In the isotropic solid, the propagator G T1 is a result of the Lagrangian contribution L T1 etc. while the longitudinal propagator is related to L L1 . Again, it can be verified directly by inverting the matrices in Eqs.
where G = G(ω n , q) is the particular propagator under investigation. The propagating modes show up as poles in the spectral function and for future reference we plot the spectral functions G L and G T1 = G T2 in Fig. 6.
One infers the presence of the longitudinal and transverse phonon poles, linearly dispersing with velocities c L and c T , respectively.

F. Torque stress gauge fields
We have seen that the stress gauge fields b a κλ are dual to the displacement fields u a , coupling minimally to the dislocation sources J a κλ . One can wonder whether such a dualization exists as well for the rotation fields ω c of Eq. (3). The answer is affirmative. In Eq. (32) we have already seen that in the presence of higher-order elasticity terms the momentum canonical to the rotation field is the torque stress τ c m . It is as well possible to consider the fate of torque stress in linear elasticity when = 0. Define 32,34 : The reader should be careful that this definition of torque stress and Eq. (32) are of a different origin and they should not be interchanged. Notice that τ c µ is not gauge invariant under the gauge transformations Eq. (59). This is not a problem, since in the present formulation it is at first simply a collection of stress gauge fields. On a deeper level, torque stress is not unambiguously defined as long as there is a rigidity against linear shear stress. In the nematic phases, this latter rigidity is lost and torque stress becomes a genuine physical force, see Sec. VI C. Once more, this stems from the fact that translations and rotations are intertwined by their semidirect relationship.
With the definition Eq. (98), the Ehrenfest constraints cma σ a m = 0 turn into dynamical constraints This can be seen by taking the divergence of Eq. (98) and using the definition of the stress gauge fields Eq. (58). In other words, for a conserved torque stress the linear stress tensor is symmetric in its spatial indices. A nonzero torque stress will induce antisymmetric linear stress. As long as external torque stress is absent, we can enforce it explicitly by defining torque stress as the curl of the torque stress gauge field h c κλ : Writing this out in components we find The torque stress tensor is invariant under the gauge transformations where χ c κ is any arbitrary Burgers-flavored vector field. However, there is still the initial ambiguity of defining the torque stress through Eq. (98) We can now mimic the derivation Eqs. (56) and (61) to find that the torque stress gauge field couples minimally to the disclination current Eq. (51): The interpretation is accordingly: the torque stress gauge fields mediate interactions between disclination sources. It is therefore possible to examine the nature of interactions between disclinations even in the solid, and this is quite insightful. One can use Eq. (98) and then Eq. (100) to express the relevant part of the elasticity Lagrangian in terms of the torque stress gauge field, to integrate out these gauge fields and take functional derivatives with respect to the disclination sources. component-by-component: Not all components of b a κλ have inverse relations with respect to τ a µ . Note that there now appear some components b E tL which are completely absent in linear elasticity. These will become important in the dislocation condensates.
To simplify the derivation, let us impose the Coulomb gauge for the stress gauge fields: We can now express the transverse sectors of the elasticity Lagrangian directly in torque stress gauge fields, finding: Notice that the terms from second-order elasticity ∝ 2 drop out. This is because by definition Eq. (35) these are proportional to ∂ µ τ c µ , and as such should vanish if we use the torque stress gauge fields Eq. (100).
These expressions have the following physical meaning: the torque stress gauge fields mediate interactions between disclination sources. As usual, the purely transverse components h c RS represent the propagating components, while the temporal components h c tR , h c tS (which are equal to − q p h c 1R , − q p h c 1S in the Coulomb gauge) represent static 'Coulomb' forces. Due to the additional factor of q 2 in Eq. (106), the propagators behave as h R RS h R † RS ∝ 1/q 2 p 2 etc., falling off much quicker than 1/p 2 . In 3D, this implies that the energy of a disclination-antidisclination pair increases quadratically with their separation. This is physically the same phenomenon as the confinement of quarks, i.e. that the gluons of QCD cannot occur in isolation below the confinement scale Λ QCD , with the only difference that in QCD the energy between the quark sources increases linearly.
In the same vein one can claim that the 'torque photons' are confined in the solid at scales less than the rotational confinement scale, which in the solid is associated with the rotational stiffness length scale 32,34 . In Sec. VI we will see that these rotational forces and associated rotational Goldstone modes are deconfined in the dislocation condensates, turning into mediators of physical long-range interactions between the (deconfined) disclinations. Notice that the component related to the third rotational Goldstone mode h L RS is completely absent in the solid. It should originate from the components τ L t and τ L L , which are present only in the second-gradient term in L T3 . In Sec. VI we will see that a Goldstone mode does emerge in this sector in the nematic phase.
Finally, it is also possible to substitute b t± = p(h R 1R ± h S 1S ) in the longitudinal sectors L L1,2 . This shows that also the Coulomb forces mediated by these components are confined. The component b L RS representing the longitudinal phonon has no counterpart in the torque sector.

V. DISLOCATION-MEDIATED QUANTUM MELTING
With the dualization of strains into stresses and the formulation of the stress-gauge theory of the previous section we have identified an efficient formalism for the description of quantum elastic matter. However, we did not learn new physics in the process. The true power of the formalism lies in its ability to allow for a description of the quantum liquid-crystalline phases as well, in the special limit of maximal crystalline correlations. In short, when dislocations proliferate they form a condensate, minimally coupled to the dual stress gauge fields: the dual stress superconductor. In 2+1D this was conceptually a straightforward affair since the dislocations behave like bosonic particles that form a conventional Bose condensate. However, in 3+1D we are facing the problem of constructing a 'string condensate', a fundamental problem where progress has been slow, as we already discussed in the introduction. As we will elaborate in this section, we know just enough to construct an effective action that appears to be sufficient to describe the most salient properties of the quantum liquid crystals. A. Condensation of particle-like topological defects

Vortex condensation in 2+1D
Before turning to the dislocation worldsheets in 3+1D, let us shortly review the results of Abelian-Higgs duality in 2+1D. The Berezinskii-Kosterlitz-Thouless phase transition 5,6,66 takes place in 2+0D at finite temperature where true long-range order is absent due to the Mermin-Wagner-Hohenberg theorem 67,68 . Thus starting from a state with algebraic long-range order at low temperature (e.g. a two-dimensional superfluid), increasing the temperature introduces vortex-antivortex pairs as thermal excitations. At the critical temperature, such pairs unbind and vortices and antivortices can appear freely, with the effect that the superfluid order has been destroyed. This is the disordered phase.
In the zero-temperature quantum setting, we must introduce the imaginary time axis and consider the problem in 2+1D spacetime. The quantum phase transition is now tuned by the quantum fluctuations, induced in the superfluid by the charging energy of the constituent bosons. Departing from the superfluid phase, with its zero temperate broken global U (1)-symmetry the disordering quantum fluctuations are completely enumerated in terms of closed loops formed from vortex-antivortex worldlines. Assuming that the distance between the vortices is large compared to the lattice cut-off (the low vortex-fugacity limit) the physics is completely captured in terms of the vortices as a system of relativistic bosonic particles, interacting via long-range Coulomb-like forces, with a mass that is vanishing at the quantum phase transition. In the superfluid, defects only appear as small, closed spacetime loops of vortex worldlines, representing the creation and subsequent annihilation of vortexantivortex pairs. Increasing quantum fluctuations increases the occurrence and the size of such loops, and at the quantum critical point the loops 'blow out', becoming as large as the system size and forming a 'tangle of free (anti)vortices'. The disordered phase therefore corresponds to a Bose condensate, minimally coupled to the gauge fields mediated by the locally superfluid medium found at distances smaller than the separation between the vortex particles 31 . This is known as the vortex-boson or Abelian-Higgs duality, in the condensed matter context introduced by Fisher and Lee 35 , where it flourished in studies of the boson-Hubbard model 69 . It has been further elaborated on in for instance Refs. 28,36-38 and is supported by very strong numerical evidence [39][40][41][42][43][44] .
In the ordered (superfluid) phase, the low-energy excitation is simply its Goldstone mode (superfluid second sound), which has the action of a free real scalar fieldin the strong-correlation limit amplitude fluctuations are suppressed. This is dualized into a 2+1D vector field b µ with vortex sources J µ and action 23,28,34,36,69 , Here g is the coupling constant. This is of the form Eq. (71). In the vortex condensate individual vortex sources J µ have lost their identity, being replaced by the collective condensate field Φ(x), the amplitude of which obtains a vacuum expectation value in the disordered phase (the vortex 'superfluid density'). In 2+1D this 'second-quantization' procedure can be derived rigorously employing a lattice formulation 26,36,37 . Here one obtains the partition function of a grand canonical ensemble of meandering vortex (world)lines as bosonic particles, which are charged under the dual gauge field. In the disordered phase the Lagrangian is given by 26,35,37,70 (108) Here α and β are Ginzburg-Landau parameters. While β > 0 always, when α becomes negative the quantum phase transition takes place. This is precisely the Ginzburg-Landau-Wilson action of a relativistic superconductor, and the dual gauge fields b µ become massive due to the Anderson-Higgs mechanism, implying that the interactions they mediate fall off exponentially with distance: the dual Meissner effect. We refer to the second term in Eq. (108) as the Higgs term which is added to the Coulomb term.
Summarizing, there are three important requirements for condensation of topological defects to take place: 1. This construction only applies to bosonic forms of matter: when the constituents are bosons, motion of the topological defects does not lead to any fermion interchanges. If the defects are furthermore Abelian (i.e. the belong to an Abelian homotopy group), they behave just as bosonic particles themselves, forming eventually the dual Bose condensate. This is self evident for superfluids but it is unknown how to formulate such a dualization for e.g. a crystal formed from fermions.
2. The strong-correlation or low defect-fugacity limit is hard wired in the construction. Only in this limit is the physics of the disordered state captured entirely in terms of the dual vortex fields.
3. Equivalently, non-topological defects such as interstitials in crystals are completely ignored which is another way of imposing the strong correlation limit. The effect will be that a variety of propagating massive excitations are found that will get '(over)damped by the interstitials' upon moving away from the limit of maximal correlation.

Dislocation condensation in 2+1D
Let us now turn to elasticity. The idea that melting of a solid takes place due to proliferation of dislocations is quite old. Starting with the Kosterlitz-Thouless papers 5,6 , the classical theory of dislocation-mediated melting in 2D was established in the late 1970s by Nelson, Halperin and Young 7-9 so that we now speak of the KTNHY-transition of a 2D crystal to a 2D liquid crystal. This famously includes the prediction of the hexatic phase, which we refer to as C 6 -nematic 33,34,[50][51][52] . It was also realized that melting dislocations but not disclinations leads to the liquid crystal, while proliferation of dislocations and disclinations at the same time is in fact the ordinary first-order solid-liquid transition 24 . Furthermore, dislocations can proliferate with Burgers vectors preferentially in one direction which 'turns liquid' while the other direction 'remains solid' 55 . This is the smectic liquid crystal with partial translational symmetry restoration.
It was the insight of Ref. 23 that dislocation-mediated quantum melting in 2+1D at zero temperature can be achieved by a generalization of Abelian-Higgs duality.
Here the topological charge of the defects is not an integer in Z but a Burgers vector in Z D . Departing from a bosonic crystal, the dislocations braid as bosons as well. Accordingly, the dislocations form a conventional Bose condensate and in essence the melting of the solid in a quantum liquid crystal is governed as well by the Abelian-Higgs duality we just discussed.
So far, a rigorous derivation of the Higgs term for dislocation-mediated quantum melting has not been achieved and no numerical simulations have been performed. However, we can rest on general principles to obtain these terms 23,26,34 . The condensation of bosons can only be the standard Ginzburg-Landau complex scalar field affair with the |Φ| 4 -potential as in Eq. (108). For dislocations with Burgers vector B a , a = x, y, there are two copies of U (1)-fields Φ a . There is a priori no SU (2) symmetry between these fields, so the symmetry group is simply U (1) × U (1). The reason is that Burgers vectors can only point in the lattice directions, so we cannot make an arbitrary rotation in Burgers space. Once a condensate with Burgers vector in, say, the x-direction is established, all lattice points in the x-direction become equivalent. This also implies that any remaining dislocations must point orthogonal to the already-condensed direction, regardless of the original space group of the crystal. We already mentioned this in Sec. II and in Fig. 2.
The reader should be aware that the construction of the condensate was for the first time fully understood only in QLC2D -the earlier papers were not quite correct on this issue. The bottom line is that the Higgs term of the dislocation condensate is identical to that of a two-component Bose-Einstein condensate 71 , having the general form 34 The first term is the minimal coupling of the dual stress gauge fields to the dislocation condensates, replacing the coupling term ib a µ J a µ and is a direct generalization of Eq. (108). The other terms are the Higgs potential. The parameters α x , α y , β x , β y , γ depend on the parent crystal structure and other material details. The last term is the coupling between the two condensates: for large positive γ only one of Φ x , Φ y will obtain a vacuum expectation value and only dislocations with Burgers vector in that direction condense; this is the smectic phase characterized by a restored translational symmetry in only one direction. On the other hand, for small γ the condensates are 'locked together' and condense at the same time: this is the nematic phase restoring translational symmetry in both spatial directions 34 . The remnant rotational order in the nematic phase depends on the details of the parameters in Eq. (109), and ultimately on the parent crystal symmetry 33 .
The Higgs action Eq. (109) together with the original stress action of the solid phase is sufficient to completely capture the low-energy spectrum of the quantum smectic and nematic phases, which was worked out in detail for the 2+1D isotropic solid in QLC2D. We can already anticipate the contents of the next subsection: in 3D there will be three dislocation condensate fields Φ a that could condense one-by-one to restore translational symmetry in one, two or three directions respectively. The order and nature of this condensation depend on the Ginzburg-Landau phenomenological parameters, ultimately descendant from the crystal structure and other details of the microscopic physics.

B. Condensation of line-like topological defects
We gave now arrived at the key section of this work: the construction of the Higgs terms for dislocation fields in 3+1 dimensions. Unfortunately, we will not derive this term in a systematic way. Ideally, one would procure the partition function of a grand canonical ensemble of dislocation worldsheets. This is however complicated by two factors. First, even in 2+1D the Higgs term for dislocation worldlines with vectorial topological charges has not been derived rigorously. But more importantly, the worldsheet nature of linelike defects is a serious obstacle. The theory describing the quantum mechanics of a single line-like object is string theory. However, the quantum field theory of an ensemble of such strings is string field theory 72 , which is far from completely settled. But again, resting on general principles it is possible to argue what the form of the Higgs term associated with the spacetime 'string foam' formed out of the proliferated dislocations must be.

Vortex worldsheet condensation
The condensation of extended objects has naturally received substantial attention in the literature. Especially on the lattice, it has been long ago established as a physical phenomenon 73,74 . In field theory condensation of two-form fields was considered in Ref. 45 and in the context of vortex-boson duality in Refs. 47,75, and very recently in Ref. 76. The main issue here is how to couple the two-form field b µν to the phase degree of freedom of the condensate field Φ. These works solve the problem by assigning a 'vectorial phase' to the condensate field. The condensate field is assumed to be of the form Here σ = σ 1,2 are coordinates on the worldsheet, X(σ) is a map from the worldsheet to real space (called target space in this context), and the integral is over the entire worldsheet. We also see immediately that shifting φ µ → φ µ + ∂ µ ζ with a total derivative is a redundancy (a constant phase shift) This is to be contrasted with the usual complex scalar field Φ = |Φ|e iφ . One obtains the seemingly straightforward generalization of the minimal coupling term in the London limit where amplitude fluctuations are suppressed: The extra factor of 1 2 is to compensate over the sum over antisymmetric indices.
In Ref. 48 we argued that this form cannot be correct at least for the case of vortex-boson duality in the superfluid-Mott insulator transition due to a too large number of propagating modes. The counting as follows. It is known that a massive two-form field b µν in 3+1 dimensions has three propagating degrees of freedom. This can be seen as follows: from Sec. IV B we know that a free real scalar field is dual to a free two-form gauge field in 3+1D, and hence the latter carries a single propagating degree of freedom. The dynamics of vortex condensate of the form Eq. (110) is carried by φ µ , and a free vector gauge field in 3+1D carries two propagating degrees of freedom. When the vortex condensate is coupled to the two-form gauge field, its two degrees of freedom are transferred to ("eaten by") the gauge field through the Anderson-Higgs mechanism, making a total of three propagating modes.
However the (boson) Mott insulator has two propagating modes (the 'doublon' and 'holon' excitations) in any spatial dimension, and for this reason it cannot be described by such a 'stringy' condensate. We put forward the possibility that the condensation of vortices with a finite size and a core energy could be different from that of coreless, critical string. We argued therefore that the vortex condensate cannot carry more than one degree of freedom, and must be described by an ordinary scalar phase field φ. We proposed two alternative ways to coupling this phase field to the two-form gauge field in Refs. 48,49. In the current context of dislocation condensation, it turns out that as long as one is interested in correlations of linear stress σ a µ only, for instance the longitudinal and transverse propagators in Eqs. (83), (95) any Higgs term that gives a mass to the dual gauge fields b a κλ leads to correct results. The reason is that these quantities are by definition independent of the longitudinal components of b a κλ and as such cannot be influenced by the dislocation condensate phase degrees of freedom at all. However, we are also particularly interested in the fate of torque stress τ c µ , which we announced to become deconfined in the liquid crystals. To properly take this into account, it seems that the dislocation worldsheet condensate must follow the 'stringy' form Eq. (111). Therefore, below we shall consider the flavored generalization of Eqs. (110), (111).

Dislocation worldsheet condensation
As we just argued, we shall not attempt to derive the full Higgs action of a condensate of dislocation worldsheets, but instead assume that this is governed by the minimal coupling form Eq. (111). In all other regards, there is no difference of principle compared to the construction in the 2+1D case 34 . Let us nevertheless spell out once again the assumptions.
a. Assumptions. As in 2+1D, the quantum liquid crystals in 3+1D can be characterized topologically as quantum liquids with the property that disclinations are massive topological excitations. There is surely the practical question whether forms of matter exist where disclinations are sufficiently costly compared to dislocations so that the simultaneous proliferation of dislocations and disclinations can be avoided; the latter case results in the standard first-order quantum phase transition from the crystal to the isotropic superfluid as realized for instance in 4 He. This is however a matter of microscopic details which is beyond the field-theoretical scope: here we just assert that in principle such quantum liquid crystals can be formed in 3+1D, and study their low-energy properties.
A next concern is the precise symmetry of the resulting quantum liquid-crystalline states. The quantum nematics are in this regard most straightforward. These break the O(3) to some (usually discrete) point group. As we discussed in Sec. II, the order parameter theory already in the classical case becomes a quite complicated affair when dealing with anything else than the simple uniaxial nematics found in LCD screens and so forth 33,50-52 . Here we will just avoid these difficulties by asserting that our quantum nematics are 'isotropic', which means "indistinguishable from the full spontaneous symmetry breaking of O(3) itself" when it comes to observable properties like the velocities of the rotational Goldstone bosons, or more generally the elasticity theory of the nematic 54 . This is the same 'emergent' isotropy as which one encounters in the isotropic solid, see Sec. III A. In principle this can be improved on by departing from the elasticity theory associated with the real 3D space groups, but this is just much more menial labor while it will not affect the basic construction. We leave this as an open problem for follow-up work.
With these assumptions, we can afford to be rather ignorant regarding the details of the point group symmetries of the crystal and the quantum liquid crystals, given that the main rules for the construction of the dislocation condensate are insensitive to these details. As we learned in 2+1D 34 , the first two rules are as follows: (i) For every space dimension a separate dislocation condensate is needed, to restore the translation symmetry in that particular direction. In three space dimensions we are dealing with three separate condensates. Depending on the sign and the strength of the interactions between these condensates one obtains a columnar, a smectic or a nematic phase corresponding to dislocation condensates switching on in one, two or three spatial directions, see Fig. 2. (ii) A finite 'Burgers vector magnetization' is coincident with a finite disclination density and this should be forbidden in the quantum liquid crystal phases. Accordingly, the dislocation condensate in every spatial direction is characterized by the requirement that the Burgers vectors are constrained to be locally anti-parallel.
In fact, by far the most important assumption with regard to the limitations on the physics we can address is the low-fugacity assumption. We have emphasized it already a number of times: it is assumed that all the degrees of freedom are collective, either corresponding to the phonons or the dislocations. In order to reach this limit, the distance between the dislocations in the condensate has to be very large compared to the lattice constant. The quantum liquid is described as a system that is locally like a solid carrying propagating phonons. All the 'disordering action' is due to the dislocations: the system turns into a liquid at distances larger than the average distance between the dislocations. This has the physical consequence that all the collective degrees of freedom are propagating, including the finite energy 'massive shear photons'. This should be considered as just an extreme limit that will never precisely be reached in any physical system. The degrees of freedom that are ignored are the interstitials, in essence loose constituent particles that would be the fundamental degrees of freedom were one departing from the weakly-interacting 'kinetic gas' limit which is the traditional starting point constructing theories of liquid crystals. These interstitials can be viewed in turn as bound dislocation-antidislocation pairs that could be included perturbatively departing from our weak-strong duality limit. This has not been studied systematically yet, but their qualitative effects are obvious: these would damp our massive propagating modes, to the extent that these modes can be entirely overdamped reaching the gaseous limit. In fact, these interstitials are much more of an issue in 3+1D as compared to the 2+1D case. In 2+1D both dislocations and interstitials are particle-like excitations and at least in the Euclidean continuum the core energies of interstitials are just much higher than those of dislocations for ubiquitous microscopic reasons. However, in 3+1D interstitials continue to be particle-like, while the dislocations turn into strings. Accordingly, interstitials fluctuate much more easily and their gain in quantum kinetic energy may well overwhelm their high core-energies. The state of matter formed by a proliferation of interstitials while dislocations stay massive is the supersolid and it is well understood that for these reasons supersolids are in principle ubiquitous in 3+1D. It depends yet again on the microscopic numbers but it appears for the same reasons to be much more problematic to reach the limit of maximal crystalline correlations in 3+1D as compared to the situation in lower dimensions.
As a corollary to this "no interstitial" rule, the (anti-)dislocations can proliferate preserving the total number of particles: "dislocations do not carry volume", with the ramification that (iii) the glide constraint becomes absolute (Sec. III D), and the "no climb" condition has to be imposed on the condensate. Just as in 2+1D 34 , this will have the consequence that the dislocations do not couple to compressional stress. Accordingly, sound stays massless in the (nematic) quantum liquid and it can be proven that this system is also a conventional superfluid.
In summary, the construction of the dual stress superconductor in 3+1D follows in every regard the template we studied throughly in 2+1D, except for the fundamental description of the string condensate. We will assume that the condensate in each Burgers direction is governed by the minimal coupling form Eq. (111).
b. The Higgs potential. Given these assumptions, we have to construct a Higgs potential of D = 3 complex scalar fields Φ i (i = x, y, z) associated with the separate dislocation condensates with Burgers directions in three spatial directions. As argued above and in Fig. 2, these directions must be orthogonal. Up to fourth order in the fields, the most general potential involving only density-density couplings is This potential is identical to the one describing a threecomponent Bose-Einstein condensate, which was studied in Ref. 77. There it was established that the condensate consists of either one, two or three species of bosons, pending the values of the couplings γ xy , γ xz , γ yz . In the present context, it is possible to have dislocation condensates which restore translational symmetry in one, two or three directions. In analogy to the classical liquid crystals we will call these the columnar, smectic and nematic phases respectively, regardless the nature of the remnant rotational symmetry breaking, see Fig. 1 and Fig. 2. c. Minimal coupling. Having established the form of the Higgs potential, we now need to couple the condensate fields Φ a to the dual stress gauge fields b a µν . Following Sec. V B 1, the coupling is where φ a µ are the vectorial phase fields of condensate Φ a as in Eq. (111).
The next issue to address is the velocity of the dislocation condensate. In the vortex-boson duality governing superfluids, the circulation around vortices is obviously ordinary superflow, so the vortex itself also moves with the superfluid phase velocity. From a different viewpoint, at the quantum critical point with emergent relativity there can be only one velocity scale. Nevertheless, it is useful to keep the vortex velocity scale formally distinct from the superfluid phase velocity in the calculations, to determine the nature of the massive modes in the Higgs phase 28,34 .
For dislocations, the situation is slightly different. First of all there is the glide constraint restriction certain dislocation motion. Furthermore, it is known that screw and edge dislocations may move at different velocities, see Sec. IV A. Below, we will first treat an idealized case where all dislocations move with a single velocity c d , as it contains the important physics such as the emergent rotational Goldstone modes while the equations remain tractable. Afterwards, we will discuss the more realistic case with two velocity scales c s and c e . In the first case, the minimal coupling Eq. (113) becomes, Here summation over the Latin indices m, n is implied and the factor of 2 in the first term accounts for the antisymmetry in τ, n. It is easiest to perform the calculations in the dislocation-Lorenz gauge fix since we can be sure that the condensate phase degrees of freedom are decoupled. It is then convenient to rewrite the whole expression with temporal components rescaled with c d instead of c T . For this purpose we define fields and derivatives indicated with a tilde, as follows 34 : The relations between the original and the tilde fields arẽ Clearly this affects the 0, 1, t-components, but the L, R, Scomponents are unchanged: A L,R,S =Ã L,R,S for any field A µ . With these redefinitions, the minimal coupling term can be written as d. Glide constraint. Finally, we need to implement the glide constraint Eq. (49) which dictates that edge dislocations can only move in the direction parallel to their Burgers vector, and which is rooted in particle number conservation. In three dimensions, it is possible that the dislocation line moves perpendicular to its Burgers vector at some part along the line, while it moves in the opposite direction somewhere else along its line, effectively 'borrowing' an interstitial particle from itself 27 . This is sometimes called restricted climb motion. The glide constraint Eq. (49) then holds for the line as a whole, so that we have the integral identity d D x tmna J a mn (x) = 0. The glide constraint can be enforced in the path integral using a Lagrange multiplier field λ(x): Since the dual stress gauge field is minimally coupled to dislocation sources, this amounts to the shift 34 , b a µν →b a µν + λ tµνa .
in the minimal coupling term. Notice that since the Levi-Civita symbol already contains an entry t, we can replace m → µ, n → ν with impunity. Also, since the glide constraint only concerns components with spatial indices, we can replace tilde fields asb a mn = b a mn . With regard to the dislocation condensate, the factors b a µν can be simply substituted by Eq. (120). This is exactly the same procedure as followed in the 2+1D case 26,34 . Later we will see that this constraint has the effect that the compression mode always stays massless although the shear modes acquire a Higgs mass. This of course makes sense: the quantum liquid crystal is at the same time a superfluid, characterized by a massless sound mode. e. Higgs term for a single velocity. We have now collected all the pieces and we can write down the Higgs term of the dislocation condensate coupled to two-form dual stress gauge fields: Here we have defined the Higgs mass Ω a = c T √ µ|Φ a | with units of energy, and imposed the Lorenz gauge fix in the second line, as indicated by the projectors. The dislocation condensate phase modesφ a µ are clearly decoupled in this gauge fix, and only the gauge-invariant parts of the stress gauge fields appear. The sum over a is the sum over the Burgers directions of the dislocation condensate, which could be in one, two or three spatial directions depending on each of the Ω a . As argued in QLC2D and in Secs. II, V A 2 these directions are strictly orthogonal to each other, see Fig. 2, while at least one of them lies along a crystal axis.
f. Lagrangian and propagators of the solid in the dislocation gauge fix. Eq. (122) is the Higgs term we shall use in all the calculations below. For future use, let us rewrite the Lagrangian of the elastic medium Eq. (63) in terms of the tilde fields: (127) Using the relation A 1 = c d cTp pÃ 1 for any field A µ , the stress propagators Eqs. (83), (96) become in this gauge fix, g. Dislocation condensates with two velocities. Eqs. (122) and (123) suffice to calculate the long wavelength properties of the columnar, smectic and nematic phases in the idealized case where there is only one dislocation velocity scale c d . For completeness we now consider the more general case where screw dislocations move with velocity c s while edge dislocations move with velocity c e , see Sec. IV A. As we mentioned there, the dislocation line density J a τ n represents screw dislocations when a = n and edge dislocations when a = n. Since these dislocations couple minimally to dual stress gauge field components b a τ n , it is clear that in the generalization of Eq. (114), the terms |b a τ n | 2 with a = n should come with the screw dislocation velocity c s while those with a = n should come with the edge dislocation velocity c e . Explicitly, the Higgs term is (with implicit summation over m, n) h. The Lorenz gauge fix with two velocities. It is possible to choose the Lorenz gauge fix 1 c 2 ∂ τ b a τ ν + ∂ m b a mν = 0 with a separate velocity for each combina-tion of a, ν. That is, the gauge conditions are This can be seen as follows. The gauge transformation is Eq. (59), which in the presence of the condensate fields is where ζ a is any flavored scalar field independent of ε a ν , while the Lagrangian Eq. (131) is invariant under the addition of the gradient. However, two sets of transformations of ε a ν , ζ a that differ as follows with respect to a flavored scalar field η a ε a ν → ε a ν + ∂ ν η a , ζ a → ζ a − η a (135) will lead to the exact same gauge transformations Eq. (134). In others words, there is a redundancy in the gauge transformations themselves, a "gauge-in-thegauge". We can use this freedom to choose η a in such a way that Consider the transformation of the following quantity (no sum over a), The last term vanished by the gauge-in-the-gauge fix, and we see that we can choose ε a a in such a way that Eq. (132) holds. Afterwards, taking the divergence with respect to the velocity c e and performing a gauge transformation leads for the edge components b a µb (a = b) to, 1 Here we used Eq. (136). Now we can choose ε a b (a = b) in such a way that this whole expression vanishes.
After imposing these gauge fixes Eqs. (132), (133), the condensate phase degrees of freedom have been decoupled and do not explicitly contribute to the stress propagators. The recipe to perform the calculations is to add the solid Lagrangian Eq. (63) in the same gauge fix to the Higgs term Eq. (131) and use this to calculate the various stress propagators.

VI. NEMATIC PHASES
The hard work of establishing the form of the dislocation condensate Higgs term Eq. (122) (or Eq. (131)) has been accomplished. We are now ready to study the long-wavelength physics of the quantum liquid crystal phases by calculating the stress propagators Eqs. (129), (130). This is now a remarkably straightforward affair, even though the equations may seem unwieldy. We shall look at the nematic phases first. Not only are the nematic phases of primary interest, but they are also easier to compute and understand, because of their higher symmetry as compared to the smectic and columnar phases. For this reason, we shall treat the liquid crystals in order of decreasing spatial symmetry.
As argued before, we shall focus exclusively on the 'isotropic nematic': the phase which originates from dislocation-mediated melting of an isotropic solid, see Sec. II A. This is in fact an almost literal 'spherical cow' simplification. One should depart from the space groups of the crystals, and upon dislocation melting a nematic will form with the associated point group symmetry. Different from the 2+1D triangular lattice and hexatic liquid crystal, in 3+1D there are no space and point groups that allow for isotropic elasticity. In Refs. 33,50-52 the systematic order parameter theory of generalized nematics associated with arbitrary 3D point groups is developed, while in Ref. 54 the classical elasticity theories of such nematics are derived. A crucial observation is that our idealized isotropic nematic is very different from the ubiquitous uniaxial nematics of soft condensed matter. These are characterized by a particular low and in a way pathological symmetry: the D ∞h space group which is highly special since it has a continuous O(2) subgroup leading to a simple Abelian Z 2 action on the director order parameter. Different from 2D, point groups in 3D are generically non-Abelian. One consequence of crucial importance in the present context is that the uniaxial nematic only carries two rotational Goldstone bosons while generic 3D point groups support three Goldstone modes which are 'polarized' like phonons (one longitudinal and two transverse modes). The crystal 22,78 and descendant nematic liquid crystal 54 with the highest degree of rotational symmetry is the cubic one, with three elastic constants 22,78 . In the remainder one may view our isotropic nematic as a 'cubic' O h nematic where the elastic constant associated with cubic anisotropy is set to zero.
We shall only treat the idealized case with a single dislocation velocity c d , Eq. (122), which is representative for the main features of the physics while being mathematically transparent. The nematic phase corresponds to the stress superconductor where the dislocations with Burgers vectors in all (three) directions proliferate. This means that the sum in Eq. (122) involves all spatial directions, so Ω a = 0, a = x, y, z. We shall assume that the Higgs mass is the same in all three directions Ω a = Ω. Such a phase is expected from the theory Eq. (112) at least for certain values of the coupling parameters γ xy , γ xz , γ yz 77 , and it is natural when viewing it as a O h nematic. Because the condensate phase degree of freedom has been decoupled in the dislocation-Lorenz gauge fix Eq. (115), we disregard those terms from now on.
Collecting these ingredients, the Higgs term we will consider is (with summation over repeated Greek indices) , A. Incorporating the glide constraint The first thing we need to do is to implement the glide constraint by integrating out the Lagrange multiplier field λ. This is done in the usual way: complete the square, shift the integrand and perform the path integral to leave an overall constant factor 34 . Eq. (139) is rewritten as, As usual, the factors of 2 in the first line arise from summing over antisymmetric components. For the last two lines, we recognize that the projectors (δ µκ −p µpκ /p 2 ) etc. enforce the Lorenz gauge fix on the dual stress gauge fields. The only remaining terms remaining are a quadratic term λ † λ and λ † τ mna b a mn and its Hermitian conjugate. For the second line, we calculate Here we usedp 2 = 1 c 2 d ω 2 n + q 2 . For the nematic, we sum over a = x, y, z to find a=x,y,z All together Eq. (140) becomes The last equality arises after integrating out the Lagrange multiplier field λ. We will soon verify that the compression mode remains massless in the dislocation condensate precisely because of the extra term arising from the glide constraint on the last line of Eq. (143). In the case of the gauge-fixed nematic we can use the relatioñ b x yz +b y zx +b z xy =b L RS + i Furthermore, for any field A a we have a=x,y,z |A a | 2 = E=L,R,S |A E | 2 . For the nematic, the Higgs term in the Lagrangian splits up into the same five sectors as the elastic solid Lagrangian Eq. (123), where only the L1sector is modified by the glide constraint:

B. Collective modes of the quantum nematic
To obtain the spectrum of modes in the nematic phase, we should add Eq. (143) to Eq. (123) and calculate the propagators Eqs. (129), (130). After a Wick rotation to real frequency ω, we obtain the first main result of this paper, the stress propagators of the isotropic 3D quan-tum nematic: Recall that c L and c T are the velocities of the longitudinal and transverse phonons, respectively, while c d is the velocity we assigned to the dislocation condensate. We defined here c 2 κ = κ ρ = 2 It is useful to compare these to the corresponding expressions in two dimensions from QLC2D, where we use the appropriate definitions of c L,2D and c κ,2D = κ/ρ via Eqs. (19), (15), We see that the longitudinal propagator is the same apart from the definitions of c L and c κ and a dimensional factor 1/D in front of c 2 d . Furthermore, the transverse propagators associated with the 'remnant' transverse phonons G T1 , G T2 are seen to be completely independent of dimensionality. The only novelty is the G T3 propagator which vanishes in the solid but now describes a massless mode propagating with the condensate velocity in the quantum nematic.
The longitudinal (L) and transverse (T1, T2) propagators were analyzed already in detail in the 2+1D case 34 but let us repeat this exercise here for completeness. The spectral functions are plotted in Fig. 7. Let us first focus on the longitudinal response Eq. (146). This propagator reveals one massless and one massive pole with gap Ω. At small energies and to lowest order in momentum their dispersion relations are The massless ω L 1 pole reveals the second sound mode, characterized by the purely compressional velocity c κ = κ/ρ instead of the longitudinal phonon velocity c L = (κ + 2µ)/ρ. This was a highlight of QCL2D: the dislocation condensate has destroyed the shear rigidity of the solid at long wavelength, while it does not affect the compressional property of the solid since the dislocations "do not carry volume" as expressed by the glide constraint. In more detail, the structure of the longitudinal propagator reveals that the longitudinal phonon acquires a mode coupling with a condensate mode that effectively removes its shear rigidity, turning it into a pure sound mode. The second mode ω L 2 is the massive counterpart; at q = 0 the mode coupling disappears (the shear component of the longitudinal phonon arises only for finite spatial gradients) and then ω L 2 is characterized by the Higgs mass of the stress superconductor Ω, the only scale in the problem. It propagates with a combination of the transverse and condensate velocities, revealing its mixed origin.
At very high energies, the two poles disperse linearly with velocities c L and 1/3c d respectively. High momentum means small length scales, and we expect to retrieve here the signature of the underlying crystal lattice. This is indeed the case: at large momenta the mode coupling with the condensate mode switches off and one recovers the longitudinal phonon, while the condensate mode turns 'pure', propagating with just c d . The reader should notice that the sound mode is completely universal at long wavelength: this can be continued adiabatically all the way to the gaseous limit described by the Bogoliubov theory of the weakly interacting Bose gas. However, the "massive shear photon" is special for the maximal-correlation limit. As a finite-energy mode, it requires the "locally solid" correlations in the liquid to propagate; in approaching the gaseous limit it will get increasingly damped to disappear completely in the There is also a gapped condensate mode with gap Ω that extrapolates to a linearly dispersing mode with velocity 1 √ 3 c d at high momentum, with vanishing pole strength both as q → 0 and as q → ∞.
weakly-interacting limit. One may want to view the roton found in 4 He as a remnant of this mode in the regime where the crystalline correlation length becomes of the order of the interatomic distance.
Let us now turn to the transverse sector, and first consider the T1, T2 sectors, which were already identified as identical to the transverse sector in 2+1D. As in the longitudinal sector, these propagators describe two modes with the following dispersions at small momenta: The massive modes ω T1,2 2 are the transverse phonons which have acquired a mass through the Anderson-Higgs mechanism. This comprises one of the main predictions of the dual gauge field theory of these maximallycorrelated quantum liquid crystals: transverse phonons do not disappear but should be detectable as massive, propagating modes in the spectrum 23,30,34 . Just as for the longitudinal sector, these modes should get increasingly damped when the solid correlations weaken, to com-sector massless modes massive modes pletely disappear in the weakly-coupled, gaseous limit.
The massless poles ω T1,2 1 are universal: exactly the same mode is found in 2+1D where we identified it as the rotational Goldstone mode or torque mode in the stress formalism, since it propagates torque stresses within the quantum nematic 32,34 . It is an exclusive feature of the zero-temperature superconducting/superfluid nematic. It does not exist in the 'high-temperature' classic nematic fluid, the reason being a the 'anomaly' of the Goldstone physics in liquid crystals 1,3 mentioned in Sec. II. The trouble is rooted in the fact that the classical nematic fluid is also a regular hydrodynamical fluid. This supports circulation and it turns out that the rotational Goldstone bosons have a finite coupling to this hydrodynamical circulation even in the longwavelength limit. The effect is that the rotational boson just gets overdamped by the coupling to this circulation. This situation changes drastically in the superfluid/superconductor. Circulation is now massive because of the quantization of the vorticity and at low energies the rotational Goldstone modes cannot be damped, but constitute the propagating modes.
As will be highlighted in the next subsection VI C, the recovery of these rotational Goldstone bosons is a highlight of the duality construction. They are 'confined' in the solid as we already discussed in Sec. IV F, while they become deconfined (becoming massless and propagating) in the nematic. As elucidated in QLC2D the associated torque rigidity originates in the dislocation condensate itself: is is observed that the velocity of the modes ω T1,2 1 is set by the condensate velocity c d 32,34 . Furthermore, the pole strength is proportional to Ω 2 , and therefore vanishes when the dislocation condensate is absent. The only difference between 2+1D and 3+1D is in the number of rotational Goldstone modes. In two space dimensions there is only one rotational plane where the rotational symmetry is broken (O(2)), and accordingly there is one Goldstone boson. In three dimensions there are three rotational planes (O(3)) and considering an 'isotropic nematic' (or, say, a cubic O h nematic) the rotational symmetry is broken in all three planes, causing the existence of three rotational Goldstone bosons. The reader should notice that the most common uniaxial nematics are in this regard quite pathological. Their point group is D ∞h , characterized by breaking symmetry in two rotational planes, and therefore only two rotational Goldstones are present.
Where is the third rotational Goldstone boson? It is found in the G T3 propagator. As we stressed in Eq. (89), this propagator is vanished identically in the solid but in the nematic it turns into the propagator of a single massless mode, Compared to the ω T1,2 -modes its velocity larger by a factor √ 2, indicating that this mode is symmetry-wise not equivalent to the other two. As we will see in a moment, this is due to the fact that the 'polarizations' of these rotational Goldstone modes count in the same way as for phonons: the T1, 2 1 modes are 'transverse' while the T3 modes turns out to be 'longitudinally polarized'.
The formalism discussed in the next subsection will yield further insights in these torque stresses.
For completeness, we ask what happens at large momenta? The two modes described by each of the G T1 , G T2 disperse linearly with velocities c T resp. c d . On short length scales, we retrieve the transverse phonons of the solid, and the decoupled modes of the dislocation condensate with vanishing spectral weight as q → ∞, just as in the longitudinal sector. The single mode in G T3 has the velocity c d at all momenta, with spectral weight ∝ 1/q.

C. Torque stress in the quantum nematic
We can obtain a better understanding of the rotational Goldstone modes by considering the torque stress and torque stress gauge fields of Sec. IV F. Here we are interested in the physics at frequencies small compared to the Higgs mass, and we send Ω → ∞, keeping only the Higgs term and ignoring the 'phonon part'.
We work with the torque stress fields where all fields are rescaled with respect to the dislocation velocity c d , as we have done throughout this section. This definition of the torque stress is not gauge invariant, which in the duality is attributed to the presence of shear rigidity. However, in the dislocation condensate shear rigidity is lost and torque stress becomes a physical quantity. In the presence of the dislocation condensate phase degrees of freedomφ a κ , the torque stress is rather defined asτ Here the capital indices sum over Fourier components E, F, G = {L, R, S} and we have used the identitỹ b x yz +b y zx +b z xy =b L RS −b R SL +b S LR . Some components ofb a κλ , which were completely absent in the solid Lagrangian, now appear. These could be said to originate in the dislocation condensate itself, transferred to the dual gauge fields via the Anderson-Higgs mechanism. In the unitary gauge fix, the explicit correspondence betweenτ c µ andb a κλ is just Eq. (104) with all fields replaced by their tilde-equivalents. We can now express the Higgs term explicitly in the torque stress: L Higgs = L T1,Higgs + L T2,Higgs + L T3,Higgs + L L1,Higgs + L L2,Higgs + L X,Higgs , Here the naming of different sectors follows that of Eq. (63), although this classification is slightly ambiguous. In particular the componentsb E tL do not have a counterpart in linear elasticity. This also leads to the introduction of a new sector L X which is decoupled from all others. We will comment on the interpretation of these degrees of freedom below. The next step is to substitute the torque stress gauge field Eq. (100), in the Lorenz gauge fix Eq. (101). This leads to We have arrived at a point where the interpretation of the nature of the torque stress carried by the quan-tum nematic becomes clear. From Sec. IV F we know that h c RS represent the propagating rotational (Goldstone) modes while h c 1R , h c 1S represent static forces. In L T1,Higgs , L T2,Higgs we find two rotational Goldstone modes h S RS , h R RS with velocity 1 √ 2 c d . Inverting the matrix in L T3,Higgs , we find a third rotational Goldstone mode h L RS with velocity c d . This confirms our findings summarized in Eqs. (152), (154). Similarly, we can see that the static forces are also deconfined, and mediate long-range interactions between disclination sources (as usual, one should mobilize the Coulomb gauge to find out that for instance h R † tRh R tR ∝ 1/q 2 ). Let us reconsider the discussion regarding the number of degrees of freedom that we started in Sec. IV D. In the 3+1D solid, we start with 12 stress components σ a µ . There are three conservation laws ∂ µ σ a µ = 0 and three Ehrenfest constraints σ a m = σ m a , such that we are left with six physical stress components: three phonons and three Coulomb forces. Going to the dual stress gauge fields b a κλ , there are at first 18 independent components due to antisymmetry under κ ↔ λ. In the solid, by accounting for the gauge freedom and Ehrenfest constraints, these still encode for the same six degrees of freedom in Eqs. (73)-(77) in the limit → 0 Eq. (78). In the Higgs phase however, all components of b a κλ obtain a physical meaning. The Anderson-Higgs mechanism transfers the dislocation phase degrees of freedom to the dual stress gauge field in Eq. (113) when taking the unitary gauge fix as in Eq. (158). As long as one is solely interested in correlations in linear stress σ a µ , only the nine gauge-invariant components of b a κλ , which are explicitly employed in Eqs. (63),(145), are accessible. These contain the spectrum as enumerated in Table III. However, as we have seen just now, by looking at correlations in torque stress τ c µ , other degrees of freedom become activated, which originate in the dislocation condensate. This is the best evidence we have for the applicability of the 'stringy' form of the minimal couping Eq. (113).
We can also elucidate the difference between the rotational Goldstone modes in L T1 , L T2 on the one hand and L T3 on the other hand. The Goldstone mode h L RS couples to disclinations Θ L RS such that the Frank vector is parallel to the momentum. Apparently the longitudinal Goldstone mode, propagating in the direction of the Frank vector, has a different, typically higher, velocity than those propagating perpendicular to the Frank vector, i.e. within the rotational plane. This Goldstone mode is excited by probing the medium with a torque in the plane of the surface and measuring that torque on the opposite side of the medium, see Fig. 3.
Let us clarify the origin of the √ 2 difference between the longitudinal and transverse velocity. The torque stress gauge fields h c κλ are dual to rotational fields ω c . We have summarized the theory of rotational elasticity in Sec. III C, where we noted there are longitudinal and transverse velocities in Eq. 40. We see that for the relation c rot L = √ 2c rot T is satisfied when the rotational Poisson ratio in Eq. (41) is ν rot = 0. This makes perfect sense: a non-zero Poisson ratio would mean that external 'longitudinal' torques would also excite transverse rotational modes. In the nematic liquid crystal we expect no such couplings: all the modes should be strictly independent to lowest order.

VII. SMECTIC PHASES
While the nematics are arguably the most relevant liquid crystals, the smectic phases also turn out to be rather interesting. Here translations are restored in two directions, leaving "periodically stacked liquid layers", see Fig. 1c. In QLC2D we have already seen that the low-energy physics is not directly that of a "solid × liquid", but the mode spectrum is rather a coupled mixture of modes from both phases and highly dependent on the interrogation angle: the angle η between momentum q and the liquid plane. Let us shortly review these results of 2+1D.
Naively one would expect shear rigidity to be lost in the liquid direction while it should persist in the solid direction. Then one is led to think that when probing the system with momentum along the liquid direction (η = 0), the longitudinal response should be like a superfluid while the transverse response should be like the solid. Similarly, with momentum in the solid direction (η = π/2) one would expect in the longitudinal direction a phonon with reduced velocity since the effective shear modulus is vanishing, while the transverse propagator should not excite any phonon. Nature turns out to be more intricate. In both of these special directions, the longitudinal propagator is identical to that of the solid with velocity c L : the fact that one direction does not have shear rigidity anymore does not matter at all! Meanwhile, the transverse propagator for η = π/2 is completely gapped, which is in line with the loss of shear rigidity. For η = 0, there is a transverse phonon with quadratic dispersion ω ∝ q 2 + . . ., which mimics the undulation mode of classical smectics 1,3 . However, the "solid × liquid" nature of the smectic shows up at the special angle η = π/4. Here the transverse sector has a phonon with velocity c T like in a solid, while the longitudinal mode has velocity c κ = κ/ρ which is the sound velocity of a superfluid having no contribution from the shear modulus. For general angles η, the longitudinal velocity varies smoothly from c L at η = 0 down to c κ at η = π/4 back to c L at η = π/2; the transverse velocity is vanishing at η = 0, η = π/2 while smoothly rising up to c T at η = π/4.
It is interesting to see whether and how these features are reproduced in three spatial dimensions. There are a few important differences. First of all, the smectic is now a stack of two-dimensional liquid planes. While we should formally specify the momentum by two angles, a polar angle out of the liquid plane and an azimuthal one within the plane, the smectic phase obtained from an isotropic solid is invariant under 2D rotation around the solid axis. Therefore we can suffice with only the polar angle η which interpolates between momentum completely within the liquid plane η = 0 and completely in the solid direction η = π/2, see Fig. 8. Second, there is one more transverse direction and two more rotational planes than in 2+1D. In particular, translational symmetry exists within the liquid plane and we expect a rotational Goldstone mode to deconfine in that plane (see Sec. VII C). We also expect that the two transverse phonons will have differing behavior depending on which one of them picks up the remnant translational order. Lastly, in 2+1D we had the accidental identity c κ,2D = c 2 L,2D − c 2 T , which does not hold for the corresponding 3D velocities. We will keep our eyes out to see whether this difference will pop up in the smectic phenomenology.

A. Higgs term and glide constraint
Again, our starting point is Eq. (122) where the sum over a is now over two orthogonal directions which span the plane in which translational symmetry is restored. Since we depart from isotropic elasticity, all planes of dislocation condensation are equivalent. But even in the general case, as long as the condensate amplitudes Ω a are the same for all Burgers directions, the form of the Higgs term is independent of the original crystal space group, due to the fact that the directions of translational symmetry restoration must be orthogonal as explained in Sec. II. Without loss of generality, we can choose the Burgers vectors of condensed dislocations to lie in the xz-plane. Below we always assume Ω x = Ω z ≡ Ω, which can be achieved for judicious choices of Ginzburg-Landau parameters in Eq. (112). As before, we choose the dislocation Lorenz gauge fix Eq. (115) and disregard the condensate phase degrees of freedom as they do not couple to stress. cT as explained in the text. The longitudinal mode (blue) reaches the maximum value cL at η = π/2, but not at η = 0, unlike the 2D case. Its minimum value is cκ. The transverse mode (yellow) never reaches the full transverse photon velocity cT. Its pole strength vanishes both as η → 0 and as η → π/2.
First we need to take care of the glide constraint in Eq. (122). This follows a derivation similar to that of the nematic in Sec. (VI A). For the prefactor of λ † λ, we have the result of Eq. (141), which now must be summed over the two directions. Integrating out the Lagrange multiplier field λ will lead to L (xz) If one instead chooses the condensation in the xy-or yzplane, similar terms are obtained. The factor of 2 in front comes from summing over antisymmetric indices. The Higgs term Eq. (122) for the smectic is then given by: with analogous expressions for the xy-and yz-plane condensates with the coordinates x, y, z permuted. In contrast to the nematic, the glide constraint term does not have a nice, short expression in Fourier space coordinates. We will leave the term as it is, while in the calculations we convert it to Fourier space coordinates, leading in general to a 9 × 9 matrix in the basisb E 1R ,b E 1S ,b E RS , E = L, R, S. Without loss of generality, we can focus on just one of these three choices, the other two can be obtained through a simple coordinate transformation, in our isotropic (or cubic) case.

B. Collective modes in the quantum smectics
To obtain the spectrum of modes in the smectic phase, we add any coordinate of permutation of Eq. (173) to Eq. (123) and calculate the propagators Eqs. (129), (130). This is most easily performed on a computer. The result is highly dependent on the direction of momentum just as it was in 2+1D. Indeed, one would assume that the parent crystal anisotropy remains influential when not all translational symmetry is restored. However, in the present case of an isotropic crystal, matters do simplify quite a bit, as we can suffice with the polar angle η while setting the azimuthal angle ζ = 0 , see Eq. (A12) and Fig. 8. Then the momentum q = (q cos η, q sin η, 0) is in the xy-plane, and the polar angle η tunes between momentum completely in the liquid plane η = 0, and parallel to the solid direction η = π/2. With these choices, the transverse S-direction is parallel to the z-axis, while L and R lie in the xy-plane. As before, we perform an-alytic continuation to real time ω n → iω − δ, where we drop the infinitesimal factors iδ at the last step of the calculation for ease of notation.
The general form of the propagators is too complicated to write down explicitly. However, we can inspect the poles of the propagators to lowest order in momentum. As we have seen before in QLC2D, the longitudinal and transverse sectors mix at general angle η, and the characteristics of the responses are hybrid. In the 3D case, for the xz-condensate, the pair G L -G T1 share the same poles, as do the pair G T2 -G T3 . The pole strengths all differ, however. In Fig. 10 we have plotted the spectral functions of G L and G T2 respectively. In the L-T1sector we find four poles. Two of the poles are massive with gaps Ω and Ω/ √ 2 respectively, to be interpreted as coming from the dislocation condensate in two Burgers directions (recall there were three massive modes in the nematic, see Table III). The two other poles are massless with dispersions Overall this result is very comparable to 2+1D: there are two massless modes, one extrapolating to the longitudinal phonon and one to the transverse phonon, showing up in both propagators. There is obviously a complicated angle-dependence here. We have plotted the velocity as a function of η for a representative value ν = 0.3 in Fig. 9. We can identify the pole with the plus sign as having longitudinal character while the minus sign has transverse character. Recall that in 2D, the longitudinal velocity varies from c L at η = 0 to c κ at η = π/4 back to c L at η = π/2. Conversely, the 2D transverse pole has vanishing pole strength and vanishing velocity at η = 0, π/2, while obtaining the full transverse velocity c T at η = π/4 34 . Here in 3D the behavior is somewhat different. For the longitudinal mode, the maximum velocity is c L at η = π/2 and the minimum velocity is c κ at η = 1 2 arccos 1 3 . At η = 0 the velocity is smaller than c L , namely The transverse pole has again vanishing pole strength and vanishing velocity at η = 0, π/2. However, the maximum velocity is smaller than c T , namely 2+2ν 3+2ν c T attained at η = 1 2 arccos 1−2ν 3+2ν . Note that c L , c κ → ∞ as ν → 0.5.
Compared to the 2D smectics we have two more propagators, namely G T2 and G T3 . Again we find is that these two propagators share their poles although the poles strengths are different for each case. For G T2 and G T3 we find three modes with low-energy dispersions: (ω T2,T3 2 ) 2 = Ω 2 + 1 2 c 2 d (1 + sin 2 η) + c 2 T cos 2 η q 2 + . . . , The first mode is a rotational Goldstone mode! We will say much more about this below in Sec. VII C. Its velocity depends on the interrogation angle, interpolating between the 'longitudinal torque' and 'transverse torque' characteristics explained in Sec. VI C. This mode is somehow 'divided' between G T2 and G T3 . Next to that there are two gapped modes, mixing the condensate phase mode with the gapped shear phonons. Eqs. (174), (175) are not strictly valid for the special angles η = 0 (momentum parallel to the 'liquid' xdirection) and η = π/2 (momentum parallel to the 'solid' y-direction), although the limiting behavior is correct. In fact, the form of the propagators change and the number of poles is reduced, to such an extent that we can write down the results explicitly.
For η = 0, momentum in the liquid plane, the propagators read  The leftmost table shows the case for general angle 0 < η < π/2. The propagators GL and GT1 share their poles: two highly η-dependent massless poles with velocities depicted in Fig. 9, and two massive ones. The transverse propagator GT2 and GT3 contain the rotational Goldstone mode the velocity interpolates between 1 √ 2 c d and c d . The middle table shows the results for η = 0, momentum in the liquid plane. As in the 2D smectic, the T 1-transverse pole is the undulation mode with quadratic dispersion. The rotational mode is now exclusive found in GT2. The rightmost table show the case for momentum in the solid direction, η = π/2. The number of modes is greatly reduced. We find results similar to the 2D smectic: the compression mode obtains the full longitudinal-phonon velocity, while the shear phonons are gapped. The third propagator GT3 probes torque correlations in the liquid plane and picks up the rotational Goldstone mode.
It is instructive to compare this to the propagators of the 2D nematic in Eqs. (149), (150). Indeed the longitudinal propagator is identical except for the form of the longitudinal velocity, due to the different dimensionality in Eq. (19). Also, the velocity ) Notice as well that Eq. (176) is different from the 3D nematic Eq. (146) in particular considering the velocity of the massive condensate mode: it contains a prefactor of 1 2 instead of 1 3 . The longitudinal propagator contains two modes, with dispersion relations The first, massless mode is a mixture of the 2D compression mode and the 3D longitudinal phonon, while the second, massive mode is identical to the 2D nematic condensate mode. The transverse propagator G T2 Eq. (178) is identical to that of the 2D nematic Eq. (150). This makes sense: from Eq. (87) we know that G T2 measures the shear correlations in the LS-plane which for η, ζ = 0 is exactly the liquid xz-plane. This propagator does not know anything about the third dimension, and it only sees a 2D dislocation condensate: a 2D nematic. This propagator also contains one massless and one massive mode, with dispersion relations, These are the rotational Goldstone mode and a massive condensate-shear mode.
Next, look at G T1 in Eq. (177), and compare this with the transverse propagator of the 2D smectic at interrogation angle η 2D = 0 in the limit → 0, which we take from QLC2D: Here we have rescaled the Higgs mass by a factor of √ 2 due to differing definitions in QLC2D. This equation is indeed identical to Eq. (177). Again, this makes perfect sense. The 2D smectic propagator at interrogation angle η 2D = 0 has momentum along the liquid direction while the transverse direction is in the solid direction. Now G T2 is the propagator of shear correlations orthogonal to the R direction, that is in the LS-plane. For ζ = 0, S is along the solid z-axis, while the longitudinal direction is within the liquid plane. So this is a perfect match for the 2D smectic propagator. We recall the dispersion relations from QLC2D: The first mode is massless with quadratic dispersion. This is the undulation mode 29,34 known from classical smectic liquid crystals 1-3 : the smectic can still support a reactive response to shear stress, but (at low energies) it is less strong than that of a true solid. This is reproduced here in the 3D smectic.
Finally we have the propagator G T3 of Eq. (179), representing shear correlations in the purely transverse plane RS (the yz-plane for η = 0), which has no counterpart in 2D liquid crystals. It has one massive mode with the exact dispersion Is it clearly a massive condensate mode, not influenced by any phonon degrees of freedom, i.e. it does not depend on c T . Resoundingly, even though the dislocation condensate seems not to couple to stress in our gauge choice, this mode does show up in the physical transverse stress propagator.
In short at η = 0, for the in-plane response we recover the 2D nematic in the L-T1 sector apart from some slightly different velocities, while smectic behavior including the undulation mode shows up for momenta transverse to the liquid plane.
The final special case is η = π/2, for which the momentum lies in the solid y-direction. At this angle, all four propagators contain only a single mode, with the following dispersion relations: ω T3 (η = π/2) = c d q.
For the longitudinal direction coinciding with the solid direction, we retrieve the longitudinal phonon in Eq. (185)! Even though the two transverse directions do not support shear rigidity, the velocity of the compressional mode at this angle is identical to that of a crystal. just as it was in 2+1D. Meanwhile, the two transverse phonons in the liquid plane have picked up the Higgs gap Ω/ √ 2, while not being mixed with the condensate phase degree of freedom as indicated by the absence of c d . The final mode is the rotational Goldstone mode which exists in the transverse, liquid plane. We had already seen in Eq. (154) of the nematic that this Goldstone mode has a different velocity than those appearing in G T1 and G T2 .
In conclusion, we have derived the spectra of the 3D 'isotropic' smectic liquid crystal and uncovered the collective modes that are expected on grounds of the symmetries. We find for the 3D smectic a similar pattern as in the 2D smectic: depending on the interrogation angle, i.e. the angle of the momentum relative to the smectic plane, we retrieve some solid-like (massless phonons) and some liquid-like (gapped shear, compression mode) features. However, the modes do not in general exhibit a decomposition of the form 'solid × liquid' , but instead show a mixture of the two characteristics through mode coupling. Assuredly, at the special angle η = 0, the undulation mode of classical smectics is reproduced. From QLC2D, we know that η 2D = π/4 (or [11]-direction) for the 2D-condensate is a special angle displaying a perfect 'solid × liquid' response, but we have not been able to detect similar 'magic angle' in 3D, cf. Fig. 9, implying that it could be accidental for 2D as there is only one transverse direction. Naturally, a full analysis incorporating the space group symmetries of the 3D crystal should further affect the mode spectrum in terms of η and even ζ. We leave this for future considerations.

C. Rotational Goldstone mode
We have seen the emergence of a rotational Goldstone mode of rotations within the liquid plane. We can also see this from the torque stress in the deep Higgs limit Ω → ∞, similar to Sec. VI C.
There is a complementary insight into this phenomenon from symmetry principles. It is of course well established that spontaneous breaking of continuous global symmetries gives rise to massless Goldstone modes, which can be viewed as the low-energy fluctuations along the flat directions of order parameter space. However, it is equally well known that in solids, which break both translational and rotational symmetry, only the translational Goldstone modes, the phonons, are ever seen. This apparent contradiction to the Goldstone theorem has been featured even in modern textbooks 79 . In recent years, a good understanding of possibilities for having a reduced number of Goldstone modes has developed. First of all, it is possible that two broken symmetry generators excite the same Goldstone mode. This occurs when the vacuum expectation value of the commutator of (the densities of) these symmetry generators is nonvanishing [80][81][82] . This is for instance the case in Heisenberg ferromagnets, where there is only one spin wave although there are two broken generators.
The current issue is however a different one. Recall that the Goldstone modes are infinitesimally small deviations from the preferred order parameter value (the Goldstone theorem is a statement about the limit of energy going to zero). Now, an infinitesimal rotation ω ab = ∂ a u b − ∂ b u a can not locally be distinguished from an infinitesimal translation u a83 . This simple observation can be extended into a quite general statement according to Ref. 53. Namely, when the densities of broken symmetry generators are linearly dependent on each other, they do not excite independent Goldstone modes. In our case, the density of the generator of rotations around the c-axis R c (x) depends upon the generators of translations in the a-direction T a (x) in the Lie algebra of the Poincaré group via 53,61 : Roughly speaking, if one tries to excite a rotational Goldstone mode in a solid, one will instead excite (transverse) phonons.
In Ref. 32 we showed that in two dimensions indeed the rotational Goldstone mode emerges when translational symmetry is restored (the 2D nematic phase). This is completely consistent with the discussion above: as long as translational symmetry is broken, the relation Eq. (189) prevents the rotational Goldstone mode to emerge as an independent excitation. But now in 3D an interesting scenario crops up. Clearly, if all translational symmetry is restored, three rotational Goldstone modes emerge as we have seen in Sec. VI. However, if translational symmetry is restored in two directions, according to Eq. (189) one rotational degree of freedom is independent of any other broken symmetries. In this section we have confirmed that indeed one rotational Goldstone mode emerges, precisely in the plane where translational symmetry is restored.

VIII. COLUMNAR PHASES
After considering the condensation of dislocations with Burgers vectors in three (nematics) and two (smectic) directions, we now discuss single-Burgers direction condensates, which we call columnar phases in analogy with classical liquid crystals. One can picture a regular 2D array (corresponding to a planar projection of the original crystal lattice) of 1D liquid lines, see Figs. 1b, 2b and 2d. The recipe is exactly the same as the previous two sections: consider the appropriate Higgs term Eq. (122), resolve the glide constraint, add the Higgs term to the Coulomb term and calculate the propagators.
A columnar phase does not exist strictly in 2D but we expect some results to be similar to the 2D smectic, when the momentum is at least partially in the liquid direction. In general the result will again be highly dependent on the direction of momentum with respect to the crystal axes. However, starting from an isotropic solid, after restoring translational symmetry in one dimension, there is axial symmetry around this liquid direction. Therefore we can capture the general case by considering only the polar angle between the liquid direction and the solid plane, see Fig. 12. This angle η has therefore the same meaning as for the smectic: η = 0 is parallel to the liquid direction while η = π/2 is parallel to a solid direction.
When the momentum is in a solid-liquid plane, we expect results similar to the 2D smectic, although there are of course two more transverse propagators. There is the interesting special case of the momentum completely in the solid plane, where we expect some sort of 2D solid response. Furthermore, according to the principles mentioned in Sec. VII C, we do not expect any rotational Goldstone modes in the columnar phase.

A. Higgs term and glide constraint
The starting point is Eq. (122) where the sum over a is removed and we select only a single Burgers direction x, which can be done without loss of generality when starting from an isotropic solid. As before, we choose the dislocation Lorenz gauge fix Eq. (115) and disregard the decoupled condensate phase degrees of freedom. As for the glide constraint, following the patterns of the earlier sections, we find the contributions and similar for the y-and z-condensates. The Higgs term for the columnar x-condensates is: Here we have chosen a representative value of the Poisson ration ν = 0.3. The velocity of the longitudinal mode varies from that of the longitudinal phonon cL at η = 0, π/2 while it is reduced to ci = c 2 L − c 2 T at η = π/4. The velocity of the transverse mode is maximal at η = π/4 where it reaches that of the transverse phonon cT, while it is reduced to zero at η = 0, π/2, where it also has vanishing pole strength. This pattern is identical to that of the 2D smectic 34 . and similar permutations of x, y, z for the other choices y and z.

B. Collective modes in the quantum columnar phases
As mentioned before, departing from an isotropic solid there is axial symmetry around the liquid direction, and therefore we can capture the response of the columnar phase by choosing translational symmetry restoration in the x-direction, and setting the azimuthal angle ζ = 0 without loss of generality. The angle η again interpolates between momentum completely in the liquid (η = 0) and completely in the solid direction (η = π/2). Like for the smectics, the general form of the propagators is complicated and it is not insightful to write them down explicitly. We shall study them through the dispersion relation of their poles and the visualization of their spectral functions.
We find that for general angle η, the sectors G L and G T1 , and the sectors G T2 and G T3 are mixed and share the same poles (although the pole strengths are different). For G L and G T1 there is one massive pole and two massless poles, with dispersion relations, (ω L,T1 3 The last mode is related to gapped shear from the liquid direction while the massless modes interpolate between the longitudinal and transverse phonons in the solid-like directions. The velocity of these massless poles as a function of η at a representative value of ν = 0.3 is plotted in Fig. 13. It mimics the 2D smectic 34 : the longitudinal pole has maximum velocity at η = 0, π/2 and minimum velocity c min = c 2 L − c 2 T at η = π/4. The transverse pole has vanishing pole strength and vanishing velocity at η = 0, π/2 and a maximum velocity of c T at η = π/4. As we mentioned in QLC2D, remarkably at η = π/4 the ultimate 'solid × liquid' behavior is attained: the shear mode has the full transverse velocity like a transverse phonon, while the longitudinal mode has the pure compression velocity c 2D κ = (c 2D L ) 2 − c 2 T . The propagators G T2 and G T3 share their poles, although the pole strengths differ. They each have one massive and one massless pole, with dispersion relations: The first mode is the second transverse phonon, the velocity of which vanishes at η = 0 and η = π/2, see below.
The gapped mode is a condensate mode 'partially' coupled with the transverse phonon depending on the angle η.
For the special angles η = 0 and η = π/2 the propagators obtain a simple form. For momentum in the liquid direction η = 0, we find that G L is like a pure solid, Eq. (21), while G T1 and G T2 both take exactly the smectic form Eq. (177). The third transverse propagator G T3 vanishes identically. The columnar phase looks just like a 2D smectic since the two transverse phonons are gapped in same way due to the axial symmetry. For momentum in the solid direction η = π/2, G L and G T2 are the pure solid longitudinal resp. transverse propagators Eqs. (21), (22), while G T1 is again identical to the smectic and is a pure gapped shear mode as in Eq. (186). The third sector G T3 contains a pure gapped condensate mode. Indeed, we do not find a rotational Goldstone mode here, as expected.

IX. CHARGED QUANTUM LIQUID CRYSTALS
So far we have only discussed the quantum liquid crystal phases of electrically neutral bosonic matter. As we will now demonstrate, it it is rather straightforward to couple the bosonic medium to the electromagnetic (photon) field thereby describing charged (liquid-)crystalline matter. In this scenario, we depart from a bosonic 'Wigner crystal' formed out of electrically charged bosons, and proceed with the duality construction keeping track of the electromagnetic fields. After integrating out the stress variables, the end result is the effective electromagnetic response of the medium, including the quantum liquid-crystalline phases. This machinery was already established in the first paper dealing with  For translational symmetry restoration in the x-directions, GL and GT1 share their poles as do GT2 and GT3. The first pair contain two massless modes which extrapolate to the a longitudinal and transverse phonon, and a gapped shear mode, which is identical to the 2+1D smectic. The second pair contain a second transverse phonon whose velocity increases smoothly from zero to cT as η goes from 0 to π/2. There is also a gapped mode which has contribution from the dislocation condensate as well as from gapped shear. At η = 0 we find two undulation modes in the GT1,2-sectors, while GT3 vanishes. At η = π/2, there is a 2D solid in the L-T2-sectors, while the responses in the other two sectors are gapped.
the 2+1D case 23 , and an expanded up-to-date discussion can be found in QLC2D. In 2+1D the 'stress photons' are described in terms of one-form gauge fields and these combine naturally with the electromagnetic oneform gauge fields. In 3+1D the only difference in the formalism is that the stress photons become two-form fields and one faces the question of how these consistently couple to the one-form EM fields. We explored this problem already in the context of how vortices in 3+1D superconductors interact with EM fields, discovering a surprisingly efficient and economic formalism to describe the electrodynamics of Abrikosov vortices 62 . We will see in this section that the same machinery applies equally well in the present context. We will first find out of how to incorporate electromagnetism in the theory of quantum elasticity in 3+1D. This contains the hard work, after which the EM fields can be rather effortlessly "pulled through the duality". In 2+1D we found a series of interesting surprises, but it turns out that with regard to the gross physics, 3+1D follows the pattern we found in 2+1D 34 . For this reason we have kept this section rather concise. We discuss in some detail the formalism, and when we arrive at the physics we just highlight the novelties tied to three space dimensions, referring the reader to QLC2D for further details.

A. Charged dual elasticity
In QLC2D we have shown how to incorporate the electromagnetic interactions in quantum elasticity, leading to the coarse-grained long-wavelength description of the Wigner crystal. This qualifies to be textbook material. One profits here optimally from the stress representation of elasticity, yielding a highly transparent description. Photons are the carriers of the EM force and one would better dualize the phonons into stress photons so that apples are compared to apples. The outcome is a simple linear mode-coupling affair.
The starting point is the coupling between displacements u a and the electromagnetic field, which is derived in QCL2D to be of form, where and defining the vector potential that couples to displacements, Here the label ı denotes that the temporal components are rescaled by a factor of i to get Euclidean products in imaginary time, e.g. V ı = −iV for the scalar Coulomb potential. Furthermore n is the density of (charged) particles and e * is the charge of the constituent particles (e.g., e * = 2e for Cooper pairs of electrons).
In the EM coupling term, the usual electromagnetic gauge invariance A ı µ → A ı µ + ∂ µ λ is equivalent to conservation of particle number ∂ µ j ı µ = 0, which we already identified as the glide constraint, i.e. the conservation of charge for a charged elastic medium. Therefore EM gauge invariance is guaranteed in the path integral for the dual gauge fields via the glide constraint, even in the dislocation-condensed phases.
For a charged elastic medium, the EM interaction term Eq. (196) simply has to be added to the original quantum-elasticity action Eq. (6). After this, the EM field A µ will just be 'carried along' in the strain-stress duality transformation explained in Sec. IV. In this way, the EM field A µ will just be 'carried along' in the duality. This results in an expression describing a simple linear coupling between the stress fields and the EM gauge fields 34 . The dual Lagrangian is Here L neutral dual is just the stress Lagrangian of the neutral elastic medium, for instance Eq. 27, and L Maxw = The term L Meissner , which has the form of a Meissner term giving a mass to the photon field, arises automatically in the duality construction; in the solid it is exactly canceled by elastic terms while in the liquid crystals it can remain to cause the real Meissner effect indicative of superconductivity. In this sense, the Meissner effect is already "lying in wait" in the crystal to become manifest when shear rigidity is destroyed 23,34 . Eq. (202) is valid in all dimensions. However, when we wish to express the stress tensors in terms of dual stress gauge fields, in 3+1D one encounters the two-form fields: σ a µ = µνκλ ∂ ν 1 2 b a µν . Upon substitution one finds, where g a † λ,µν = (g a µν,λ ) * , and as explained in Eq. (116) the variables with a tilde are rescaled with the dislocation velocity c d . Theg a λ,µν are momentum-dependent coefficients tabulated in matrix form as This follows the pattern set in the 2+1D case: collecting the two-form indices µ, ν in a vector, the coupling to the EM field is captured by just a matrix, and is linear. The other components of b a µν do not couple to A µ . From this form, we can immediately infer that the b R 1R -b S 1S sector (T3) does not couple to electromagnetic fields. The 'longitudinal' rotational Goldstone mode of the quantum nematic with its vanishing propagator in the solid resides in this sector and is therefore completely invisible to electromagnetic means. The matrices g a µν,λ are all that is necessary to calculate the EM response given the dual stress propagators of the neutral elastic medium, as we shall see now.
To this end, observe that the general form of the stress part of the Lagrangian is L = 1 8b a † µν (G −1 ) ab µν,κλb b κλ . Define the matrix G via (G −1 ) ab µν,κλ G bc νρ,λσ = δ ac δ µρ δ κσ . The stress gauge fields can now be integrated out, and we learn how these dress the electromagnetic fields: This must be added to the 'diamagnetic' or 'Meissner' contribution already present in the dual Lagrangian Eq. (201). As usual, the shear velocity c 2 T = µ/ρ while the plasmon frequency ω p is defined as Finally, ε 0 is the dielectric constant in units of [ε 0 ] = C 2 J m . Using Eq. (205) the only extra input that is needed are the stress propagators G ab µν,κλ for the neutral elastic medium and we can directly compute the electromagnetic propagator A † µ A ν enumerating the electromagnetic response, where the elastic medium just translates into the usual photon self-energy. The effective EM action due to the medium is of the form L EM medium = L para + L Meissner , to be added to the vacuum Maxwell action which in our units reads: (207) Here we have taken the Coulomb gauge fix for the EM field, removing A L . The shear velocity c T shows up because of our definition of the temporal components, and c l is the speed of light. The full effective EM action L EM eff,medium = L Maxw + L EM medium and it is straightforward to compute the full portfolio of EM response from this action, as we will now show.
With the knowledge that the electromagnetic response can be straightforwardly derived from the neutral elastic propagator, we can translate these results into observable quantities. We will work in real time and real frequencies ω for the remainder of this section. Given the photon propagator that follows from L EM eff,medium , we can define the photon self-energy Π mn (ω, q) via: For the diagonal components of the self-energy we write Π m = Π mm (no sum). The conductivity tensorσ mn (ω, q) and the dielectric functionε mn (ω, q) are defined as: Furthermore, in QLC2D we showed it is useful to define an energy-and momentum-dependent penetration depth λ m (ω, q) which characterizes the screening (exponential decay) of the photon component A m in the medium, which is either due to the skin effect or to the Meissner effect, as follows: When the penetration depth stays finite in the limit ω → 0 we will interpret this as a genuine Meissner effect indicating the presence of superconductivity. For the longitudinal EM response, we calculate the photon propagator in the Coulomb gauge to find from Eq. (205) and (60) In fact the total propagator including the Meissner term is simply proportional to the longitudinal propagator. This is immediately derived from Eq. (196), and we find 34 This implies that the longitudinal EM response just coincides with the longitudinal elastic propagator of the medium. For this reason we shall not address this response much further below. We only wish to emphasize that the special features of quantum liquid crystals, such as the appearance in the longitudinal dielectric function of a second, gapped pole due to the dislocation condensate next to the ordinary plasmon, is only noticeable at finite momentum. All these poles have vanishing spectral weight for momentum going to zero. For this reason, finite-momentum spectroscopy such as electron energyloss spectroscopy (EELS) is the only way to observe these features. In fact, new machines which have proper resolution at finite momentum seem to be coming online at present 84 .
For the transverse EM response, all the quantities in Eqs. (209),(210) are simply related. We shall give results in the form of poles of the photon propagator itself, the transverse conductivity or the penetration depth, whichever provides the clearest picture.
B. The electrodynamics of the Wigner crystal As we already alluded to above, with our initial assumptions, the theory of quantum elasticity of charged matter describes a generic isotropic "Wigner" crystal formed from charged bosonic constituents. Nevertheless, in the ordered crystalline phase, the wisdoms in this section are entirely general: they apply as well to a 'conventional' Wigner crystal of electrons as to any other medium of this kind. Surely, the dualization can be carried out only for a crystal formed out of bosons. In the condensed-matter context one could envisage a crystal formed from "preformed" Cooper pairs that are subsequently subjected to quantum melting. This may be of relevance to e.g. the 'stripy' charge order found in cuprate superconductors [85][86][87] .
In QLC2D we derived the electrodynamics of the isotropic Wigner crystal using the duality transformation detailed in Sec. IX A. It is a rather classic subject but to our surprise we found several novelties, it seems all related to the remarkably efficiency of the stress formalism. The longitudinal channel is according to expectations: the longitudinal phonon acquires a plasmon gap -it is not quite the standard plasmon because it is still propagating with the longitudinal phonon velocity which is larger than the sound velocity of a liquid (c L vs. c κ ). The longitudinal optical conductivity is characterized by an infinitely sharp Drude peak at zero frequency, indicating that the Wigner crystal is a perfect conductor (but not a superconductor, see below). This has to be the case since our elastic medium is supposed to live in a perfect Galilean continuum where all matter at finite density is perfectly conducting since momentum is conserved. In impurity language: the crystal as a whole is 'unpinned' and can be 'set in motion' by an infinitesimal external potential.
The surprises are in the transverse response. The finite-frequency EM photon exerts a shear force on the crystal which responds by a reactive restoring force encapsulated by the transverse phonons/stress photons expelling the photon: the Wigner crystal is characterized by a skin depth λ(ω, q). What is the difference with a superconductor where the same photon "acquires a mass"? The stress formalism exhibits an elegant view on this affair. As we already announced in the previous section, a literal Meissner term is present in the effective action: Eq. (201). However, in order to determine the response of the medium there is a second term due to the stress photons in Eq. (205). One finds that at precisely zero frequency ω → 0, this produces a term that exactly cancels the bare Meissner term. In the DC limit the penetration (skin) depth becomes infinite and static magnetic fields can penetrate the whole solid. In the quantum liquid crystals on the other hand, the transverse stress photons acquire a mass because of the dual dislocation condensate. The effect is that the cancellation is no longer complete and static magnetic fields are expelled, proving that these are indeed conventional superconductors as well exhibiting a regular Meissner effect.
Last but not least, what is happening to the transverse phonons of the neutral crystal when we couple in electromagnetism? The transverse motions are surely exempted from the plasmon mechanism, but these do correspond to fluctuating electrical dipoles. Surprisingly, the dispersion of the 'dressed' transverse phonons turns out to become quadratic in the charged crystal. Keeping in mind that we consider D + 1-dimensional electromagnetism coupled to a D + 1-dimensional medium one expects that these behaviors should not depend on dimensionality. This is indeed the case, as we now will demonstrate. Consider the 3+1D elasticity Lagrangian Eq. (63) and the G ab µν,κλ follow immediately by inverting the Gaussian kernel. By substituting these in Eq. (205)we obtain L para . Adding L Meissner from Eq. (201) the contribution of the elastic medium to the EM action is obtained which reads in the Coulomb gauge (A L = 0), Taking into account the Maxwell action Eq. (207) the full photon propagator is straightforwardly obtained. This yields two degenerate transverse propagators A ı † R A ı R and A ı † S A ı S . These are like in 2+1D characterized by two poles with dispersion relations at small momentum: , assuming c l c T . The first mode is the familiar plasmapolariton characterized the plasmon energy ω p . The second mode is massless and characterized by a quadratic dispersion, the surprise we already encountered in 2+1D. The take home message is that except for the fact that there are two photon polarizations 3+1D (instead a single one in 2+1D) everything else is independent of dimensionality.

C. The superconducting nematic
This dimensionality-independence of the electromagnetic effects extends also to the quantum liquid crystals. We refer to QCL2D for a detailed discussion of the electromagnetism in the quantum nematics. As we already discussed above, a highlight is the way that the Meissner effect shows up, unambiguously proving that the charged dual stress superconductor is at the same time a regular superconductor. This important matter is easy to verify to hold in 3+1D as well. The penetration depth can be computed from Eq. (210). The full expression is lengthy but the main interest is in the ω = 0 limit that determines whether we are dealing with a Meissner phase: Here we have defined the London penetration depth as λ L = c l /ω p and the 'shear penetration depth' as λ s = √ 2c T /Ω. At q = 0, the penetration depth is exactly λ L , demonstrating that the quantum nematic is a superconductor. These results are identical to those obtained in 2+1D 34 . Since the quantum nematic is isotropic, the result holds for both R, S-polarizations of the photon field.
There is a lot more going on, such as the way that the massive shear photons acquire electromagnetic weight and thereby becoming measurable in principle by electromagnetic experiments. However, this is by and large rather independent of dimensionality as we just discussed for the Wigner crystal itself. These propagating massive modes are of course special to our "maximally-correlated limit". This is different for the massless modes which behave universally, independent of the degree of the microscopic correlations. We already saw this at work in the Wigner crystal: the quadratic dispersion of the dressed transverse phonon has to apply universally. Besides the sound mode, the neutral quantum nematic is characterized by the rotational Goldstone bosons/torque modes as we demonstrated in Sec. VI B. As we repeatedly emphasized the sound mode acts as the phase mode of the superconductor "eating the photon", and this works in the same way as in 2+1D. However, more is going on in the rotational Goldstone sector in 3+1D as compared to the 2+1D case. Instead of the single transverse torque mode of the latter, in three dimensions symmetry just imposes that there are three modes. As we discussed, these are polarized like phonons: there are two degenerate transverse modes but in addition there is now also a 'longitudinal rotational phonon'. The qualitative novelty is that this longitudinal mode does not couple to electromagnetic fields, as we mentioned below Eq. (204). Imagining that our quantum liquid crystals would be formed from electrons, this has the interesting consequence that this mode cannot be observed directly since the only way to apply external forces is through its electrical charge. The two 'transverse rotational phonons' are coupled to the two transverse photon polarizations, and show up as massless poles in the photon propagator, identical to the 2+1D case. For instance, in the optical conductivity one finds a zero-frequency Drude peak, the massless rotational phonon and a gapped shear mode 34 .

D. 2D superconductivity in the smectics
The story of the above repeats itself in the smectic and the columnar phases. In QCL2D we analyzed the electromagnetic responses of the 2+1D quantum smectics in detail, finding out that the already intricate mixture of solid-like and liquid-like behaviors gets further enriched Conversely, the S-polarization is perpendicular to the liquid plane, and the penetration depth appears only at finite energy, like the screening of AC magnetic fields in an ordinary conductor (skin effect). Nevertheless, the screening in this direction is stronger resulting in a shorter penetration depth than that of the Wigner crystal. The smectic shows very anisotropic superconductivity. As an aside, the divergence in the left plot is the resonance of the rotational Goldstone mode -in general all poles of the photon propagator also show up in this 'dynamic' penetration depth.
when electromagnetism is added. Like for the solid and the nematic, the 3+1D case is by and large a further variation on the same theme, where the novelties are related to the fact that we now are dealing with either a '2+1D solid' with an 'extra quantum-liquid direction' (the columnar phase), or a '2+1D quantum liquid' with an 'extra solid direction': the smectic phase. There is a lot to explore here but we have not found anything that is qualitatively new. We leave it therefore for follow-up work in the future. However, there is one aspect that deserves closer consideration given that it is highly relevant for the gross physics of these systems. As we discussed in Sec. VII, the liquid planes of the 3+1D smectics behave in many regards like 2+1D quantum nematics. The important implication is that in these directions the charged quantum smectics should be like two-dimensional superconductors while a Wigner crystal, i.e. perfect metal, behavior should occur in the 'solid direction'. Let us demonstrate here that is indeed the case.
Let us first focus on the transverse conductivity, given by Eq. (209). We use the same simplifications as in Sec. VII and we first consider momentum within the liquid plane, i.e. η = 0. The transverse conductivities are independent of the angle ζ within the plane due to the axial symmetry and read: This gives away the mixed character of the smectic. The first line addresses the response within the liquid plane and it is identical to that of the nematic showing three poles: the ω = 0 perfect conductor Drude peak, the gapped shear mode and the massless rotational Goldstone mode. The second line is the response orthogonal to the liquid plane. The transverse Drude peak is lacking, instead showing the presence of the gapped condensate mode and in addition a quadratically dispersing undulation mode.
What happens to the superconductivity? We computed the penetration depth for photons with polarization R (in the liquid plane) and S (orthogonal to the liquid plane), respectively, and the result is plotted in Fig. 14. For the R-polarization we find a finite penetration depth at ω = 0, and therefore the system is in a Meissner phase. On the other hand, the penetration depth for the S-polarization only sets in at finite energy as is usual for the ordinary, metallic skin effect, such that static magnetic fields can penetrate. This gives away that this smectic behaves like a strictly 2D superconductor where photon polarizations are screened in the liquid direction but not along the solid direction. Nevertheless, the skin effect for the S-polarization is enhanced as compared to the Wigner crystal with no dislocation condensate at all.
The anisotropic superconductivity can also be studied as function of the interrogation angle η, showing that again there is only a Meissner response precisely in the liquid plane. Upon tilting away from the planar direction the penetration depth diverges at zero frequency, while the skin depth decreases rapidly at finite frequencies. All of this confirms our earlier statements, that superfluidity and superconductivity exist whenever shear rigidity is lost. A similar effect takes place in the columnar phases, where there are one-dimensional superconducting lines.

X. CONCLUSIONS
Having arrived at the end of this long story, the question arises: "what is it good for?" It is a long story mainly because we had to explore an extended landscape riddled with a surprisingly rich set of phenomena, resting on a mathematical machinery that is remarkably efficient in charting out every corner of it. The secret is that in the limit of 'maximally correlated' quantum fluids all the physics is captured in terms of propagating collective modes. The seemingly intractable problem of a uniform superfluid (or superconductor) characterized by extremely strong crystalline correlations that continue to break the isotropy of space, turns out to be captured in a language of free fields subjected to linear mode couplings in addition to a run-of-the-mill Higgs mechanism.
This gross picture was already established in 2+1D. The main novelty of this paper is that we addressed the question of principle whether such a theory of maximal solid-like correlations can also be formulated in 3+1D. This is in turn is rooted in a foundational affair: do Abelian weak-strong dualities actually make sense in 3+1D? Although well established in 1+1/2D and 2+1/3D, it is even controversial whether the very notion of a dual disorder field theory makes any sense in 3+1 (and higher) dimensions. By just assuming the two-form minimal coupling form for the Higgs term due to the dislocation condensate, we found out that the theory is internally consistent while being a natural generalization of the 2+1D case. The way this works is far from trivial; the case in point is the way that the rotational Goldstone bosons of the quantum nematic as well as the massless modes of the smectic and columnar phases roll out of the formalism. A fine-tuned clockwork is here at work, producing answers that precisely satisfy a set of intricate symmetry requirements. These outcomes are critically dependent on the way that the 'stringy' dislocation condensate is incorporated, and we assess this as evidence for the correctness of the two-form minimal coupling Higgs construction after Rey and others 45,47,75,76 . We emphasize that here in elasticity, there is a way to probe the degrees of freedom of the stringy (dislocation) condensate itself through torque stress (see Sec. VI C), while this is not possible in for instance the ordinary Abelian-Higgs model employing only the original gauge fields.
Focusing in on the physics, as compared to the 2+1D case the third spatial dimension opens up space for more phenomena. In the first place, the much richer nature of the three dimensional rotational (point-group) symmetry breaking as compared to the simple 2D case comes into play. An universal outcome that does not depend on specific assumptions of the duality construction is the prediction that a superconducting nematic characterized by a truly 3D point group will carry two transverse and one longitudinal rotational Goldstone modes. Perhaps the most striking ramifications of the third dimension are found in the smectic and columnar phases, with their very rich spectrum of 'intertwined' solid-like and liquid-like collective excitations.
There is surely an issue with the relevance and timeliness of our findings in the present epoch of physics. At first sight it seems to deal with an old subject -the quantum melting of solids into superfluids/-conductors while the idea of quantum liquid crystals is rooted in a straightforward extension of classic soft-matter wisdoms to the zero-temperature realms. Is it of experimental pertinence? This is problematic as well because presently there is nothing available in the laboratories that appears to be obviously related to the forms of matter that we dealt with in this paper. Our substances are formed from bosons living in the spatial continuum. Waiting further progress in cold atom experimentation, the only physical system that is obviously of this kind is 4 He. The microscopy of helium -in essence a quantized Van der Waals liquid -is just too simple to have room for vestigial quantum phases: it forms either a solid or an isotropic superfluid, separated by a hard first-order transition.
The superconductors in strongly-interacting electron systems such as the cuprates and iron pnictides may be a different story. There is good evidence for electronic liquid-crystalline order in these systems [11][12][13][14][15][16][17][18][19][20][21] . However, the trouble is now that electron liquids are formed in the background of an ionic lattice that breaks the translational and orientational symmetries of space explicitly. The nematic order parameters get thereby "pinned to the lattice" with the effect that the massless modes as discussed in this paper will acquire anisotropy gaps. These may well be so large that the continuum limit results of this paper are of no relevance to the electronic nematics realized in the laboratory.
Considering the "massive stress photons" that we predict, the situation is even more precarious. These occur only at finite energies, and their literal existence is critically dependent on the central assumption underlying this whole development: the 'solid correlation length' l sol in the liquid is assumed to be infinitely large compared to the lattice constant a. This limit is unphysical: it is just impossible to reach it departing from the microscopic building blocks of condensed matter physics (electrons, atoms). The problem we have not addressed yet is: how to perturb away from this 'maximal correlation' limit? The obvious small parameter is a/l sol and is also clear that in a way the limit is singular. For finite l sol one has to accommodate the interstitials (loose constituent bosons). Departing from the maximally-correlated limit it is in principle clear how to proceed, namely by activating perturbation theory: loop corrections associated with (anti)dislocations have to be inserted, realizing that interstitials are associated with tightly bound dislocationantidislocation pairs. These perturbative corrections have to be relevant: their effect has to be that the propagating massive stress photons will get overdamped at sufficiently small momenta.
The significance of this theory of "dual stress superconductivity" is therefore not in its literal applicability, but in the sense that in physics it is without exception very useful to know the limits. The textbooks revolve around the opposite limit: the quantum 'kinetic gas' theory departing from weakly-interacting, nearly free constituents. The case in point is the Bogoliubov treatment of the Bose condensate. In order to get into the regime where l sol becomes a couple of times the lattice constant, perturbative treatment already becomes hazardous. The case in point is once again 4 He, specifically the roton minimum in its density excitation spectrum. According to Bogoliubov theory this is associated with the cross over from the linear collective (second) sound to the free (quadratic) propagation of the gaseous bosons. However, resting on the single-mode approximation Feynman already put forward that it is associated with solid-like correlations in the liquid. Viewing it from the stresssuperconductivity limit, one observes the presence of the massive shear stress photon next to the second sound in the longitudinal channel (Fig. 7). As we argued in the previous paragraph, this will get corrupted by the interstitials in the regime l sol ∼ 2-3a characterizing superfluid helium, but could it be that the roton can be alternatively viewed as the remnant of this shear stress mode? Now would like to interrogate how the roton reacts to dynamical shear stress, an experiment that has to the best of our knowledge never been carried out. The situation in the candidate electron system is actually much worse. As we discussed in detail in Sec. IX, when there would exist such strong solid-like correlations in the superconductors, they are very well hidden from the eye of the experimentalist for any conventional form of experimentation. Presently optical spectroscopy is the only source of information on the electromagnetic response and since this is restricted to very small momenta it is completely insensitive to the solid-like correlations. High-resolution electron loss spectroscopy is in this regard very promising and the experiments that are just coming on line may shed light on these matters in the near future 84 .
We have laid the groundwork for the description of strongly-correlated bosonic quantum liquid crystals, but it also suggests a wealth of further problems to study: • One would like to get beyond the 'isotropic' limit we have assumed all along. We do not surmise that any problem of principle will arise: lowering the point group symmetry will just introduce more complicated details without affecting the gross workings of the formalism. In a first step, one should depart from the elasticity theory associated with a particular space group: these are available in tabulated form. One then should take care that the dislocation condensate itself is appropriately modified by the point group anisotropy, introducing further parameters. The outcomes for the effective rotational elasticity theory should then be matched with the known results for this theory pending the particular point groups.
• Perhaps most pressing, one would like to formulate the perturbation theory associated with the finite l sol /a regime. As we just argued, the limit where l sol /a → ∞ might well be singular with regard to the propagating nature of the massive stress photons. More generally, in order to apply wisdoms obtained in the limits to the intermediate-coupling regime where nature resides, one needs to know also what happens in the vicinity of the limits. It is clear on should start by formulating the diagrammatics, but it may well turn into quite a challenge given the already complex structure of just the 'tree level' theory of the stress superconductor.
• It is an interesting challenge to find out how to dualize 'backwards', i.e. describing the solid as a condensate of the topological excitations of the nematic superconductor. It is well understood how to accomplish this in the case of the bosonvortex duality, but it is a bit of conceptual challenge in the context of the present elasticity duality. Surely it cannot be a proliferation of disclinations, which would lead to a more-disordered state, namely the isotropic superfluid, see also the next point. Instead, since quantum liquid crystals are also genuine superfluids/superconductors, it is interesting to study the U (1)-vortices in the superfluid/superconducting order by themselves, which has not been done in the quantum liquid-crystals context. The main question is how to wire in the information required to recover the crystal?
• Even more challenging: how to formulate the weakstrong duality associated with the melting of the quantum nematic into an isotropic superconductor? We have not yet attempted to formulate such a duality in the 2+1D case. In principle this does not appear to be particular challenging 22,24 . The rotational parts of 2+1D point groups are Abelian with the consequence that the disclinations behave as Abelian defects as well: these will form a simple dual Bose condensate that will restore the full rotational O(2) symmetry. However, in 3+1D hell breaks loose. The generic 3D point groups are non-Abelian. If the disclinations were point particles (and they are not) one would face complications such as a non-Abelian braiding. But on top of that, in 3+1D disclinations are non-Abelian strings and very little is known regarding their basic topological properties let alone that it is clear how to construct 'stringy' condensate field theories.
• Even in the case of the Abelian dislocation condensates in 3+1D, we had to rely on guesswork related to the nature of the effective field theory describing the properties of this condensate. However these can be studied from first principles. Lacking any form of controlled analytical mathematics one can just mobilize the computer. The 2+1D superfluidsuperconductor duality has been studied with much success in this way, addressing subtle quantitative issues even in the difficult critical regime [39][40][41][42][43][44] . The basic numerical methodology used in 2+1D can be straightforwardly generalized to 3+1D, to just find out what the computer has to tell about the nature of the universal long-wavelength theory.
Perhaps the most interesting challenge is to find out a formulation of this 'elastic' weak-strong duality that is so simple that it can be incorporated in the elementary text books of condensed matter physics. We are of the strong opinion that this is most desired, as an antidote against the misleading aspects associated with the weakcoupling 'gaseous' physics that monopolizes present day wisdom. We often use coordinate systems in Fourier-Matsubara space, in which the components are parallel or orthogonal to 1) the momentum q or 2) the Euclidean spacetime momentum p µ = (ω n , q m ). These coordinate systems are only valid at finite momentum.
The first system has the time coordinate τ , a longitudinal component L parallel to the momentum q, and two mutually orthogonal transverse components R, S which are perpendicular to the momentum. The spatial projectors on the longitudinal (1-dimensional) resp. transverse (2-dimensional) subspaces are P L mn = q m q n q 2 , P T mn = δ mn − q m q n q 2 . (A1) The second system has the same two transverse component R, S, while the temporal and longitudinal components are combined into a component 0 parallel to the spacetime momentum p µ and a component 1 orthogonal to it. This nomenclature stems from the helical (0,+1,-1) coordinate system in three dimensions 22,23 .
The transformation between a vector A µ in the original Cartesian (τ, x, y, z)-coordinates and the same vector A α in the new coordinates can be defined through a vierbeinfield e α µ : A µ = e α µ (p)A α (p).
Although these fields are real valued, due the properties of the Fourier transformation we demand that the 'Hermitian conjugate' field A † α satisfy A † α (p) = A(p) 23,26,34 .
This implies that we need to insert factors of i in several places. To be specific, we have 23,26,34 : Below, these factors of i are already taken into account. They have some perhaps unexpected consequences. For instance, the compression stress reads Here, we make one arbitrary choice of the coordinate system, which is valid for all momenta except when (q x , q y , q z ) = (q, 0, 0), in which case one should perform a spatial rotation first. We define p = ω 2 n + q 2 , q = q 2 x + q 2 y + q 2 z and ℘ = q 2 y + q 2 z . Note that ω n , q x , q y , q z change sign under p µ → −p µ while p, q, ℘ do not.
The explicit coordinate transformations are: Instead of using q x , q y , q z explicitly, we can also express this using the total momentum q and two angles η, ζ. Note that these transformations are well defined even if q = (q x , 0, 0) although we still have to make an arbitrary choice for ζ.
Then the transformations are (i) A t,x,y,z ↔ A t,L,R,S − sin η 0 0 i sin η cos ζ cos η cos ζ i sin ζ 0 i sin η sin ζ cos η sin ζ −i cos ζ The transformations A t,L,R,S ↔ A 0,1,R,S do not depend on η, ζ.