November 17, 2023
We study and extend the duality web unifying different decoupling limits of type II superstring theories and M-theory. We systematically build connections to different corners, such as Matrix theories, nonrelativistic string and M-theory, tensionless (and ambitwistor) string theory, Carrollian string theory, and Spin Matrix limits of AdS/CFT. We discuss target space, worldsheet, and worldvolume aspects of these limits in arbitrary curved backgrounds.
Introduction
Faced with complicated physical theories, we often seek simplifying limits that still capture key behavior or structure. This logic was reversed in the introduction of M-theory, which was conjecturally defined by viewing ‘dual’ string theory scenarios as limits of an underlying theory of quantum gravity [1], [2]. These limits include, as a starter, the perturbative superstring theories and the 10D and 11D supergravities. Armed with this picture, we can search for other accessible limits of string/M-theory.
In this Letter, we consider a class of decoupling limits, which offer significant simplifications by removing many states from the spectrum, and sometimes allow us to have a peek into various nonperturbative regimes. These limits can be viewed as generalizations of the nonrelativistic point particle limit. To motivate this, consider the action for a charged point particle in \(d\) dimensions: \[S = - m \int d \tau \, \sqrt{-\eta_{\mu\nu} \, \dot{x}^\mu \, \dot{x}^\nu } + q \int d \tau \, A_{\mu} \, \dot{x}^\mu\,, \label{relpp}\tag{1}\] where \(\mu = 0\,, \, \cdots, \, d-1\). To take the nonrelativistic limit, we (re)introduce the factor of \(c\) such that \(m \rightarrow m \, c\) and \(\eta_{\mu\nu} \rightarrow (-c^2 , \delta_{ij})\) with \(i\,, j = 1, \cdots, \, d-1\). When we let \(c \rightarrow \infty\) the action is naively divergent due to the term involving the rest mass. For the special class of BPS particles whose mass equals their charge, \(m=q\), we can cancel this divergence in a universal way by introducing a critical gauge field of the form \(A = c \, d x^0\). Then, expanding the action 1 gives the nonrelativistic particle action: \[S = \tfrac{m}{2} \int d \tau \,\dot{x}^i \, \dot{x}^i \,, \label{nonrelpp}\tag{2}\] where we let \(x^0=\tau\). An important class of particles whose mass equals their charge are those arising as Kaluza-Klein excitations on reduction from an extra periodic dimension. In this case, the nonrelativistic limit can be “baked in” to the form of the higher-dimensional geometry, by taking the metric of the latter to have the form \[d s^2 = \tfrac{R^2}{c^2} \Bigl( d y + \tfrac{c^2}{R} d x^0 \Bigr)^2 - c^2 (dx^0)^2 + dx^i d x^i \,. \label{nonrelppUplift}\tag{3}\] where \(y \sim y+ 2\pi\). Dimensional reduction of the massless particle in \(d+1\) dimensions gives the action 1 with \(m=q=\tfrac{Nc}{R}\) , with \(N\) the Kaluza-Klein (KK) number and the KK vector providing the critical gauge field \(A= c \, d x^0\). In the \((d+1)\)-dimensional geometry of equation 3 , the limit \(c \rightarrow \infty\) means that the extra circular dimension becomes lightlike. This defines the Discrete Light Cone Quantization (DLCQ) of the higher-dimensional theory.
M-theory in the DLCQ can be defined using a closely related limit, which is usually interpreted as an infinite boost from a spatial compactification [3], [4]. In this limit, all the light excitations except the bound states of \(N\) nonrelativistic D0-particles decouple, and their dynamics is described by Banks-Fischler-Shenker-Susskind (BFSS) Matrix theory that generalises the simple action 2 [5], [6]. In the large \(N\) limit, BFSS is conjectured to describe the whole M-theory in flat spacetime. The DLCQ of quantum field theory can be problematic [7], [8]. However, the DLCQ of string or M-theory is believed to be well defined since it can be given a first-principles definition using T- (or U-)duality, where the dual side is a self-consistent theory with a conventional spatial compactification [9]–[12].
This Letter aims to systematically explore generalizations of the above classic example, and its DLCQ M-theory version. These generalizations involve nonrelativistic decoupling limits associated not simply with BPS particles but with strings and branes. We exploit string/M-theory dualities to map different such decoupling limits into each other, and further combine these dualities with additional DLCQ limits. In doing so, we consider the curved background analogs of the nonrelativistic limits. For instance, in the example above, this amounts to covariantizing the flat spacetime limit via \(dx^0 \rightarrow \tau_\mu \, d x^\mu\), \(d x^i \rightarrow E_\mu{}^i \, dx^\mu\), where \(\tau\) and \(E^i\) are orthogonal Vielbeine in Newton-Cartan geometry i.e. the covariant formalism of Newtonian gravity [13].
Our results update and extend the known features of the duality web surrounding DLCQ M-theory [9], [10], [14]–[17], taking into account recent developments in curved non-Lorentzian geometries [11], [18], [19], which appear as the background geometry after taking the limit. We will see that this duality web encompasses not only all Matrix theories, but also different string theories that are nonrelativistic [9], [10], tensionless [20], ambitwistor [21], and Carrollian [22]. We will also reveal novel corners that arise from a 2nd DLCQ, which are relevant for Spin Matrix theories (SMT) from near-BPS limits of AdS/CFT [18]. The 11D uplifts of all these limits give rise to different corners of M-theory that are U-dual to each other. See Fig. 1 for a road map of this duality web.
Matrix Theory from Critical Fields
Having discussed the nonrelativistic particle limit, we now proceed to describe its stringy generalization that produces nonrelativistic string theory (NRST) [9], [10], [23] (see [19] for a review), a unitary and ultraviolet complete string theory. In 10D spacetime with coordinates \(x^\mu\), \(\mu = 0\,,\cdots,9\) , we focus on the bosonic sector and write the background (string frame) metric \(G_{\mu\nu}\) , \(B\)-field, dilaton \(\Phi\) and Ramond-Ramond (RR) forms \(C_q\) [24] as \[\label{eq:nrsl} \begin{align} B & = - \omega^2 \, \tau^0 \wedge \tau^1 + b\,,\tau^A = \tau_\mu{}^A \, dx^\mu, \\[2pt] G^{}_{\mu\nu} & = \omega^2 \, \tau^{}_{\mu\nu} + E^{}_{\mu\nu}\,,\Phi = \varphi + \ln \omega\,,\\[4pt] C_q & = \omega^2 \, \tau^0 \wedge \tau^1 \wedge c_{q-2} + c_q \,. \end{align}\tag{4}\] Here, the two-form \(B\)-field becomes critical, and \(\omega\) corresponds to the ratio between the speed of light and string velocity [25]. We will focus on type IIB with even \(q\). We define NRST as \(\omega \rightarrow \infty\): just as in the particle case, the \(\omega^2\) divergences cancel in the F1-string action due to the BPS nature of the string. NRST has a Galilean invariant string spectrum in flat background, hence the name “nonrelativistic" [9]. The modern understanding [11], [18], [24], [26]–[28] is that the target space geometry is non-Lorentzian, described by the longitudinal and transverse Vielbeine \(\tau_\mu{}^A\), \(A = 0\,, 1\) and \(E_\mu{}^{A'}\), \(A' \! = 2\,, \cdots, 9\) , respectively. In 4 we defined \[\label{eq:defte} \tau^{}_{\mu\nu} = \tau^{}_\mu{}^A\, \tau^{}_\nu{}^B \, \eta^{}_{AB}\,, \qquad E^{}_{\mu\nu} = E^{}_\mu{}^{A'} E^{}_\nu{}^{B'} \, \delta^{}_{A'B'}\,.\tag{5}\] These Vielbeine are related by string Galilei boosts \(\delta^{}_\text{G} \tau^A = 0\) and \(\delta^{}_\text{G} E^{A'} = \lambda^{A'}{}_{\!\!A} \, \tau^A\) that naturally generalizes the Galilean boosts in Newton-Cartan geometry. NRST also couples to the background \(B\)-field \(b\) , dilaton \(\varphi\) and RR forms \(c_q\) . The Galilean boosts can also act nontrivially on background gauge potentials [27], [28]. We emphasize that when we write a background such as 4 and 5 , which should be viewed as the prescription for taking a particular decoupling limit, the surviving fields (here \(\tau^A\), \(E^{A'}\), \(b\) , \(c_q\) and \(\varphi\)) are those that appear in the theory that follows from the \(\omega \rightarrow \infty\) limit.
S-duality 1 maps IIB NRST to a different decoupling limit of relativistic IIB, defined by the infinite \(\omega\) limit of the reparametrization [12], [31], \[\tag{6} \begin{align} C_2 & = \omega^2 \, e^{-\varphi} \, \tau^0 \wedge \tau^1 + c_2\,, \\[2pt] G^{}_{\mu\nu} & = \omega \, \tau^{}_{\mu\nu} + \omega^{-1} E^{}_{\mu\nu}\,, & \Phi &= \varphi - \ln \omega\,, \tag{7} \end{align}\] derived by S-dualizing 4 . The background fields \(B = b\) and \(C_q = c_q\) with \(q \neq 2\) are unchanged in this limit. Now, the RR 2-form \(C_2\) instead of the \(B\)-field is critical. We name the theory obtained in the \(\omega \rightarrow \infty\) limit Matrix 1-brane Theory (M1T), which we justify around 10 .
T-dualizing M1T in spatial directions gives a tower of critical RR (\(p\) +1)-form limits, where 6 becomes \[\tag{8} \begin{align} C_{p+1} & = \omega^2 \, e^{-\varphi} \, \tau^0 \wedge \cdots \wedge \tau^{p} + c_{p+1}\,, \qquad\,\, p\geq 0\,, \\[2pt] G^{}_{\mu\nu} & = \omega \, \tau^{}_{\mu\nu} + \omega^{-1} E^{}_{\mu\nu}\,, \qquad \Phi = \varphi + \tfrac{p-3}{2} \ln \omega\,. \tag{9} \end{align}\] In \(\omega\rightarrow\infty\), we have Matrix \(p\)-brane Theory (M\(p\)T), where the spacetime geometry has a codimension-\((p+1)\) foliation, described by the longitudinal \(\tau^A\) with \(A = 0\,, \cdots, p\) and transverse \(E^{A'}\) with \(A' \! = p+1\,, \cdots, 9\) that are related via a \(p\)-brane Galilei boost. These Vielbein fields define the non-Lorentzian \(p\)-brane Newton-Cartan geometry. Here, T-duality maps between longitudinal and transverse directions as well as the critical RR fields. Such limits and their dualities date back to the original studies of e.g. [15]–[17] focusing on “open string” decoupling limits in the presence of particular branes and [9], [10] highlighting the “closed string” limits independent of the presence of branes. In contrast, the \(\omega\rightarrow\infty\) limit here is applied to the full type II string theory containing all possible extended objects in general backgrounds.
The light excitations in the critical RR (\(p\) +1)-form limit are \(N\) D\(p\)-brane bound states. Taking the limit at the level of the non-Abelian D\(p\) worldvolume action [32] (for simplicity we omit fermions and take the target-space \(q\)-form gauge fields to vanish) we get: \[\begin{align} \label{eq:dpdl} & S^{}_{\text{D}p} = - \tfrac{T^{}_p}{2} \! \int \! d^{p+1} \sigma \, e^{-\varphi} \, \text{Tr} \biggl[ \sqrt{-\tau} \, \Bigl( \tau^{\alpha\beta} \, D_\alpha \Phi^{\mu} \, D_\beta \Phi^{\nu} \, E_{\mu\nu} \notag \\[2pt] & + \tfrac{1}{2} \tau^{\alpha\gamma} \tau^{\beta\delta} F^{}_{\alpha\beta} F^{}_{\gamma\delta} - \tfrac{1}{2} \, \bigl[\Phi^{\mu}\!, \Phi^{\nu}\bigr] \bigl[\Phi^{\rho}\!, \Phi^{\sigma} \bigr] E_{\mu\rho} \, E_{\nu\sigma} \Bigr) \biggr],\! \end{align}\tag{10}\] where \(\tau_{\alpha\beta}\) is the pullback of \(\tau_{\mu\nu}\) in 9 to the worldvolume (in static gauge) with \(\tau^{\alpha\beta}\) the inverse and \(\tau = \det \tau_{\alpha\beta}\). The adjoint scalar \(\Phi^{\mu}\) describes the fluctuation of the D\(p\)-branes in the transverse directions, \(F_{\alpha\beta}\) is the SU(\(N\)) field strength and \(D_\alpha\) is the covariant derivative. The open string gauge potential is never changed by the \(\omega\) reparametrization. In flat spacetime, the D\(p\)-brane action 10 describes Matrix theory compactified over a \(p\)-torus, giving BFSS Matrix theory in M0T, Matrix string theory [14] in M1T and general Matrix gauge theories in M\(p\)T. The name M\(p\)T is precisely justified as its light excitations are D\(p\)-branes described by various Matrix theories. The \(p=0\) case corresponds to the example of the Introduction.
Multicriticality and Spin Matrix Theory
T-dualizing a longitudinal spatial circle in type IIB NRST gives rise to the DLCQ of type IIA string theory, where the latter contains a lightlike circle that T-dualizes to a well-defined spacelike circle in IIB NRST. This allows one to use the self-consistent NRST as a first-principles definition of DLCQ string theory, avoiding having to deal directly with the lightlike circle. All the limits we have considered so far have therefore been connected by (spacelike) T-dualities and S-dualities to the DLCQ of IIA. We can now extend the duality web by taking a DLCQ of any of these limits and further dualizing.
T-dualizing the lightlike circle in DLCQ IIB NRST gives back DLCQ IIA NRST, where the dual circle is still lightlike [11], [24]. The situation changes, and becomes much richer, with S-duality in play which maps DLCQ IIB NRST to DLCQ M\(1\)T. In this case, the lightlike circle in DLCQ M\(1\)T maps under T-duality to a spacelike circle. Hence, fascinatingly, DLCQ M\(1\)T receives a first-principles definition from its T-dual theory. T-duality in a lightlike isometry of 6 for M\(1\)T gives \[\tag{11} \begin{align} B & = - \omega \, \tau^0 \wedge \tau^1 + b\,, \qquad C_1 = \omega^2 \, e^{-\varphi} \, \tau^0 + c_1\,, \\[2pt] \Phi & = \varphi - \ln \omega\,, \qquad C_q = \omega \, \tau^0 \wedge \tau^1 \wedge c_{q-2} + c_q\,, \\[2pt] G^{}_{\mu\nu} & = - \omega^2 \, \tau^{}_\mu{}^0 \, \tau^{}_\nu{}^0 + \tau^{}_\mu{}^1 \, \tau^{}_\nu{}^1 + \omega^{-1} \, E^{}_{\mu\nu}\,. \tag{12} \end{align}\] In the \(\omega \rightarrow \infty\) limit, both \(B\) and \(C_1\) are critical. The lightlike circle in DLCQ M1T maps to the spatial \(x^1\) isometry, associated with the Vielbein \(\tau^1\) of weight \(\omega^0\). We refer to this new theory defined by the \(\omega \rightarrow \infty\) limit of 11 as Multicritical Matrix 0-brane Theory (MM0T). Similar to the T-dual relations between M\(p\)Ts, T-dualizing transverse isometries in MM0T gives Multicritical Matrix \(p\)-brane Theory (MM\(p\)T) [31], [33] where
the light excitations are F1-D\(p\) bound states. Heuristically, this limit corresponds to a critical F1-D\(p\) background. T-dualizing a longitudinal \(x^1\) isometry asscociated with the F1 direction in MM\(p\)T leads to DLCQ M\(p\)T. MM\(p\)T can be viewed as the DLCQ of the DLCQ of IIA/IIB, while M\(p\)T is the DLCQ of IIA/IIB.
The Polyakov action of the MM\(0\)T F1-string is [33] \[\begin{align} S_{\text{MM0T}} = - \tfrac{T}{2} \! \int \! d^2 \sigma \, \Big( & - \lambda_A \, \partial_\sigma X^\mu \, \tau_\mu{}^A + \lambda_1 \, \partial_\tau X^\mu \, \tau_\mu{}^0 \notag \\[2pt] & + \partial_\sigma X^\mu \, \partial_\sigma X^\nu E_{\mu\nu} \Big) - T \! \int \! b\,. \label{SMTws} \end{align}\tag{13}\] Here, \(\lambda_A\) with \(A = 0\,, 1\) are Lagrange multipliers. This action is written in the conformal gauge with the worldsheet coordinates \((\tau, \sigma)\) . The MM\(0\)T string is invariant under the worldsheet Galilei boost \(\delta_\text{G} \tau = 0\) , \(\delta_\text{G} \sigma = v \, \tau\) and proper transformations of \(\lambda_A\). In this sense, MM\(0\)T has a nonrelativistic worldsheet. This is due to the backreaction of uncancelled \(\omega\) divergences, which we have rewritten in 13 using Hubbard-Stratonovich transformations by introducing Lagrange multipliers as in [9].
The worldsheet action 13 generalizes the nonrelativistic string that appears in the Spin Matrix Theory (SMT) limits of AdS/CFT [18]. SMTs are integrable quantum mechanical theories that arise from the near BPS limits of \(\mathcal{N}=4\) SYM in the regime of almost zero ’t Hooft coupling. The SU(\(1,2|3\)) SMT limit corresponds to the M\(1\)T-type limit of the bulk AdS\({}_5 \times S^5\) metric with a lightlike isometry. T-dualizing this lightlike isometry leads to the \(\omega \rightarrow \infty\) limit of the reparametrized metric 12 in MM\(0\)T. In particular, the MM0T string action 13 matches the SMT string action (A.15) in [34] (see also [35] for the latest developments on the SMT string).
D-Instanton Limit and Tensionless String
We have seen that BFSS Matrix theory lives on the D0-particles in IIA M\(0\)T. The IIB Ishibashi-Kawai-Kitazawa-Tsuchiya (IKKT) Matrix theory [36] arises from the timelike T-duality of BFSS. Therefore, IKKT describes the light D(\(-\)1)-brane (i.e., D-instanton) dynamics in M(-1)T, which arises from a critical RR 0-form limit of IIB\({}^*\) string theory (the timelike T-dual of IIA [37]). The IIB\(^*\) string theory is identical to the IIB theory except the dilaton \(\Phi\) in IIB\(^*\) gains a shift \(i \, \pi / 2\) , resulting in an imaginary string coupling. This shift in the dilaton can be exchanged with making the RR charges imaginary.
T-dual of M0T in a timelike isometry defines M(-1)T, \[\begin{align} \label{eq:nobl} C_{0} & = \tfrac{\omega^2}{e^{\varphi}} + c_{0}, & G^{}_{\mu\nu} & = \tfrac{\tau^{}_{\mu\nu}}{\omega}, & \Phi & = \varphi + \tfrac{i\pi}{2} -2 \, \ln \omega. \end{align}\tag{14}\] Here \(\tau_{\mu\nu}\) is defined as in 5 but with \(A = 0\,, \cdots, 9\) 2. It is understood that other background fields are not rescaled. Applying 14 to the action of a stack of D-instantons in IIB reproduces IKKT for \(\omega \rightarrow \infty\).
The F1-string action in M(-1)T describes a tensionless string [20], [38]. Plugging \(G_{\mu\nu} = \omega^{-1} \, \tau_{\mu\nu}\) into the (bosonic) Nambu-Goto string action with \(B=0\), we get \[\label{eq:sfs} S_\text{F1} = - \tfrac{T}{\omega} \int d^2 \sigma \, \sqrt{- \det \bigl( \partial_\alpha X^\mu_{\phantom{\dagger}} \, \partial_\beta X^\nu_{\phantom{\dagger}} \, \tau_{\mu\nu} \bigr)}\,.\tag{15}\] Its \(\omega \rightarrow \infty\) limit is equivalent to the tensionless [20] (or Gross-Mende [39]) limit. In [20], it is shown that this tensionless limit results in a finite action with a nonrelativistic worldsheet [40]. Note that such nonrelativistic string worldsheets also show up in M\(p\)Ts, which are T-dual to M(-1)T, as well as in MM\(p\)T [33]–[35].
We have seen that the D-instantons and F1-strings in M(-1)T are associated with IKKT and tensionless strings, respectively. It is also interesting to note that there are three known vacua in tensionless string theory that lead to distinct quantum theories [41]–[43]. One such vacuum gives the ambitwistor string, which is related to the Cachazo-He-Yuan (CHY) formula of field-theory amplitudes [44]. It would be interesting to revisit these relations in the broader context of M(-1)T, whose dynamics is largely encoded by IKKT on the D-instantons.
Carrollian String Theory
The (-1)-brane limit is a special case in a hierarchy of new decoupling limits of type II string theories that exhibit spacetime Carrollian behaviors. These decoupling limits are generated by T-dualizing \(q\) spacelike directions in M(-1)T, which maps 14 to \[\label{eq:noblp} \begin{align} C_{q} & = \omega^2 \, e^{-\varphi} \, E^1 \wedge \cdots \wedge E^{q} + c_{q}, \\[2pt] G^{}_{\mu\nu} & = \omega \, E^{}_{\mu\nu} + \omega^{-1} \tau^{}_{\mu\nu}\,, \quad \Phi \! = \! \varphi + \! \tfrac{i \, \pi}{2} \! + \! \tfrac{q-4}{2} \ln \omega. \end{align}\tag{16}\] Here, \(\tau_{\mu\nu}\) and \(E_{\mu\nu}\) are given as in 5 but with \(A = 0\,, \, q+1\,, \cdots, \, 9\) and \(A' = 1\,, \cdots, \, q\) . The prescription 16 defines M\(p\)T for \(p = -q -1 < -1\) 3. Relative to M\(p\)T for \(p\geq0\) , we have swapped \(\tau\) and \(E\) to keep the timelike index in \(\tau\). Note that \(\tau_{\mu\nu}\) is of rank \(10-q\) and \(E_{\mu\nu}\) is of rank \(q\) . In \(\omega \rightarrow \infty\), the metric description is invalid and \(\tau^A\) and \(E^{A'}\) are related via a \((9-q)\)-brane Carrollian boost \(\delta^{}_\text{C} \tau^A = \lambda^{A}{}^{}_{\!A'} \, E^{A'}\) and \(\delta^{}_\text{C} E^{A'} = 0\). This is the Carrollian boost for particles when \(q = 9\) : in flat spacetime, it acts on time \(t\) and space \(x^{A'}\) as \(\delta_\text{C} t = v^{}_{\!A'} \, x^{A'}\) and \(\delta_\text{C} x^{A'} = 0\) [45]–[47]; the curved Carrollian geometry arises from a zero speed-of-light limit of relativity [48], [49]. In general, the \(\omega \rightarrow \infty\) limit of 16 describes strings in generalized Carrollian geometry [50]. This framework provides a new perspective on Carrollian theories in connection to Matrix theories on branes localized in time that are T-dual to IKKT. It is tempting to speculate that this may shed light on Carrollian/celestial holography [51].
Timelike T-duality maps M\(p\)T to M(-\(p\) -1)T for all \(p\) and MM\(p\)T to DLCQ M(-\(p\) -1)T for \(p\geq0\) . The light excitations of M\(p\)T for \(p<-1\) are type II\({}^*\) Euclidean branes (see also [52] for spacelike branes), which can be viewed as tachyons [37]. This is natural in view of the fact that tachyons give rise to zero energy particles in Carrollian theories [53].
In M(-3)T, the RR 2-form becomes critical. S-dualizing M(-3)T leads to the Carrollian analog of NRST where the \(B\)-field becomes critical and it cancels the background instantonic F1-string tension. The defining prescriptions for this Carrollian string theory are \[\begin{align} B & = - i \, \omega^2 \, E^8 \wedge E^9 + b\,, \\[2pt] G_{\mu\nu} & = \tau_{\mu\nu} + \omega^2 \, E_{\mu\nu}\,, \qquad \Phi = \varphi - \tfrac{i\pi}{2} + \ln \omega\,. \end{align}\] Here, \(A = 0\,, \cdots, 7\) and \(A' = 8\,, 9\) . The \(\omega \rightarrow \infty\) limit leads to the analog of F1-string action in NRST [19], but now in Carroll-like target space geometry.
M-theory Uplifts
Finally, we can extend the duality web to incorporate the decoupling limits of M-theory uplifting the string theories discussed above. A well-known M-theory corner in this duality web is DLCQ M-theory, where dimensionally reducing the lightlike circle gives M0T that contains BFSS. Via U-duality [54], the lightlike circle in DLCQ M-theory maps to a spacelike circle in nonrelativistic M-theory (NRMT) [9] that uplifts NRST. NRMT is defined by the \(\omega \rightarrow \infty\) limit obtained by the following parametrization of the background metric \(G_\text{MN}\) , \(\text{M} = 0\,, \cdots, 10\) and gauge fields \(A_3\) and \(A_6\) [12], [24], [55]: \[\tag{17} \begin{align} & G^{}_\text{MN} = \omega^2 \, \tau^{}_\text{MN} + \omega^{-1} \, E^{}_\text{MN}\,, \\[4pt] & A^{}_3 = - \omega^3 \, \tau^0 \! \wedge \tau^1 \! \wedge \tau^2 \! + a^{}_3\,, \,\, A^{}_6 = {\tfrac{1}{2}} a^{}_3 \! \wedge \! A^{}_3 + a^{}_6\,, \tag{18} \end{align}\] where \(\tau^{}_\text{MN}\) and \(E^{}_\text{MN}\) are in form the same as in Eq. 5 . Moreover, the longitudinal sector is now 3D with \(A = 0\,, 1\,, 2\) while the transverse sector is 8D with \(A' = 3\,, \cdots, 10\) . The U-duality which relates 18 to DLCQ M-theory acts on two longitudinal spatial directions and one transverse direction. Dimensionally reducing NRMT over a shrinking two-torus with one longitudinal cycle and one transverse cycle gives the S-dual IIB NRST and M1T [12]. Dimensionally reducing NRMT over a transverse circle gives M2T.
U-duality acting on three longitudinal directions leads from 17 to the magnetic dual limit: \[\label{eq:nrmtrp6} \begin{align} & G^{}_\text{MN} = \omega\, \tau^{}_\text{MN} + \omega^{-2} \, E^{}_\text{MN}\,, \\[4pt] & A^{}_3 = a^{}_3\,, \quad A^{}_6 = - \omega^3 \, \tau^0 \! \wedge \dots \wedge \tau^5 \! + a^{}_6\,. \end{align}\tag{19}\] For \(\omega \rightarrow \infty\) , this gives the critical \(A_6\) limit of M-theory. Via appropriate circle or toroidal oxidations, it provides the M-theory uplift of M\(p\)T for \(p=3,4,5\). See [9], [10], [15], [56], [57] for related decoupling limits.
Finally, we consider the DLCQ of NRMT. M(-1)T arises from dimensionally reducing DLCQ M-theory on a 2-torus with both cycles being lightlike, which connects to the M-theory uplifts of Carrollian strings. The DLCQ of NRMT uplifts MM0T and is U-dual to multicritical M-theory (MMT) such that the lightlike circle is mapped to a spacelike circle along \(\tilde{x}^{1}\). MMT uplifts MM1T and MM2T and is defined via the \(\omega \rightarrow \infty\) limit of \[\begin{align} G^{}_\text{MN} = & - \omega^2 \, \tau^{}_\text{M}{}^0 \, \tau^{}_\text{N}{}^0 + \Bigl( \tau^{}_\text{M}{}^1 \, \tau^{}_\text{N}{}^1 + \tau^{}_\text{M}{}^2 \, \tau^{}_\text{N}{}^2 \Bigr) \notag \\ & + \omega \, \Bigl( \tau^{}_\text{M}{}^3 \, \tau^{}_\text{N}{}^3 + \tau^{}_\text{M}{}^{4} \, \tau^{}_\text{N}{}^{4} \Bigr) + \omega^{-1} \, E^{}_\text{MN}\,, \label{eq:mtusmt} \\[4pt] A_3 = & - \omega \, \tau^0 \wedge \tau^1 \wedge \tau^2 - \omega^2 \, \tau^0 \wedge \tau^3 \wedge \tau^4 + a_3\,, \end{align}\tag{20}\] with \(A_6\) as in 18 . This multicritical limit arises from a critical background of two orthogonal M2-branes.
Outlook
The decoupling limits we have presented lead to corners of string and M-theory where the light excitations are (bound states of) branes, while other states decouple. We will study the derivation of these limits, the duality between them, and the physical description of these light excitations, in more detail in [31]. We have also observed that the fundamental string worldsheet generically becomes nonrelativistic in these limits (except in NRST). The worldsheet in fact acquires the topology of nodal Riemann spheres, as in ambitwistor string theory [58]. Worldsheet aspects of the duality web are detailed in [33].
Further extensions of the duality web are expected. Following the logic in this Letter, we could dualize MM\(p\)T and consider the limits from applying a third DLCQ and continuing to dualize. Alternatively, the duality web of decoupling limits can be charted by using U-duality invariant BPS mass formulae [59]. Restricting to M\(p\)T alone, there are subtleties to deal with in the M\(p\)T limit for \(p>3\), which in the Matrix theory literature required incorporating strong coupling behavior [3], [60], [61]. For \(p\geq 6\), this further involves confronting effects of low codimension branes, e.g. M\(6\)T uplifts to a putative decoupling limit of M-theory associated with a background Kaluza-Klein monopole. Finally, the duality web of decoupling limits of half-maximal supersymmetric theories, e.g. heterotic string theory [62], requires elucidation.
The perspective of this Letter situates the Matrix Theory description of M-theory within a duality web of decoupling limits. It would be interesting to revisit aspects of Matrix theory, such as the precise correspondence with supergravity (see recent revival [63]–[66]), as well as Matrix descriptions beyond flat space in light of our better understanding of this picture. Crucially, the curved non-Lorentzian target space geometries should be accompanied with constraints for consistency [31]. This is motivated by study of NRST, where quantum consistency of the worldsheet [67] led to the imposition of the vanishing of components of the torsion \(d\tau^A\). Such constraints were also required from a target space point of view in the \(\mathcal{N}=1\) supersymmetric version of the limit [68]. It remains to be seen what constraints appear in the maximally supersymmetric case.
Matrix theory also plays a role in the AdS/CFT correspondence (for a recent reminder see [69]). For instance, BFSS Matrix theory over a shrinking three-torus gives \(\mathcal{N}=4\) super Yang-Mills in M3T, and is therefore expected to be associated with AdS\({}_5\)/CFT\({}_4\). However, as we have argued above, M3T couples to a non-Lorentzian 3-brane Newton-Cartan spacetime geometry, which potentially points towards novel interplay between the boundary BPS behavior and the bulk AdS\({}_5\) geometry.
Acknowledgements: We would like to thank E. Bergshoeff, J. de Boer, S. Ebert, T. Harmark, J. Gomis, K. Grosvenor, G. Oling, O. Schlotterer, B. Sundborg, K. Zarembo, R. Chatterjee for valuable discussions. The work of C.B. is supported through the Grants No. CEX2020-001007-S and No. PID2021-123017NB-I00, funded by MCIN/AEI/10.13039/501100011033 and by ERDF A way of making Europe. C.B. thanks Nordita for hospitality. The work of N.O. is supported in part by VR project Grant 2021-04013 and Villum Foundation Experiment Project No. 00050317. Z.Y. is supported by the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 31003710. Nordita is supported in part by NordForsk.
See [29], [30] for its SL(\(2\,, \mathbb{Z}\)) generalization in IIB NRST, which exhibits interesting structure.↩︎
Here (and below) we swap the notation \(\tau\) and \(E\) such that the former always has Lorentzian signature and the latter Euclidean.↩︎
The M\(p\)Ts contain the Carrollian strings constructed in [22]. See more in [33].↩︎