• ### Double Field Theory and Membrane Sigma-Models(1802.07003)

March 7, 2018 hep-th, math.DG, math-ph, math.MP, math.SG
We investigate geometric aspects of double field theory (DFT) and its formulation as a doubled membrane sigma-model. Starting from the standard Courant algebroid over the phase space of an open membrane, we determine a splitting and a projection to a subbundle that sends the Courant algebroid operations to the corresponding operations in DFT. This describes precisely how the geometric structure of DFT lies in between two Courant algebroids and is reconciled with generalized geometry. We construct the membrane sigma-model that corresponds to DFT, and demonstrate how the standard T-duality orbit of geometric and non-geometric flux backgrounds is captured by its action functional in a unified way. This also clarifies the appearence of noncommutative and nonassociative deformations of geometry in non-geometric closed string theory. Gauge invariance of the DFT membrane sigma-model is compatible with the flux formulation of DFT and its strong constraint, whose geometric origin is explained. Our approach leads to a new generalization of a Courant algebroid, that we call a DFT algebroid and relate to other known generalizations, such as pre-Courant algebroids and symplectic nearly Lie 2-algebroids. We also describe the construction of a gauge-invariant doubled membrane sigma-model that does not require imposing the strong constraint.
• ### Noncommutative Gauge Theory and Gravity in Three Dimensions(1802.07550)

Feb. 21, 2018 hep-th
The Einstein-Hilbert action in three dimensions and the transformation rules for the dreibein and spin connection can be naturally described in terms of gauge theory. In this spirit, we use covariant coordinates in noncommutative gauge theory in order to describe 3D gravity in the framework of noncommutative geometry. We consider 3D noncommutative spaces based on SU(2) and SU(1,1), as foliations of fuzzy 2-spheres and fuzzy 2-hyperboloids respectively. Then we construct a U(2)$\times$ U(2) and a GL(2,$\mathbb{C}$) gauge theory on them, identifying the corresponding noncommutative vielbein and spin connection. We determine the transformations of the fields and an action in terms of a matrix model and discuss its relation to 3D gravity.
• ### Newton-Cartan Gravity and Torsion(1708.05414)

Aug. 17, 2017 hep-th
We compare the gauging of the Bargmann algebra, for the case of arbitrary torsion, with the result that one obtains from a null-reduction of General Relativity. Whereas the two procedures lead to the same result for Newton-Cartan geometry with arbitrary torsion, the null-reduction of the Einstein equations necessarily leads to Newton-Cartan gravity with zero torsion. We show, for three space-time dimensions, how Newton-Cartan gravity with arbitrary torsion can be obtained by starting from a Schroedinger field theory with dynamical exponent z=2 for a complex compensating scalar and next coupling this field theory to a z=2 Schroedinger geometry with arbitrary torsion. The latter theory can be obtained from either a gauging of the Schroedinger algebra, for arbitrary torsion, or from a null-reduction of conformal gravity.
• ### Gauging as constraining: the universal generalised geometry action in two dimensions(1705.05007)

May 14, 2017 hep-th, math-ph, math.MP
One of the central concepts in modern theoretical physics, gauge symmetry, is typically realised by lifting a finite-dimensional global symmetry group of a given functional to an infinite-dimensional local one by extending the functional to include gauge fields. In this contribution we review the construction of gauged actions for two-dimensional sigma models, considering a more general notion to be gauged, namely that of a (possibly singular) foliation. In particular, the original action does not need to have any global symmetry for this purpose. Moreover, reformulating the ungauged theory by means of auxiliary 1-form fields taking values in the generalised tangent bundle over the target, all possible such gauge theories result from restriction of these fields to take values in (possibly small) Dirac structures. This turns all the remaining 1-form fields into gauge fields and leads to the presence of a local symmetry. We recall all needed mathematical notions, those of (higher) Lie algebroids, Courant algebroids, and Dirac structures.
• ### Non-isometric T-duality from gauged sigma models(1604.03739)

April 25, 2017 hep-th
Local symmetries is one of the most successful themes in modern theoretical physics. Although they are usually associated to Lie algebras, a gradual increase of interest in more general situations where local symmetries are associated to groupoids and algebroids has taken place in recent years. On the other hand, dualities is another persistently interesting theme in modern physics. One of the most prominent examples is provided by target space duality in string theory. The latter, Abelian or not, is usually associated to the presence of isometries, which is however a very restrictive assumption. In this contribution we discuss some recent advances located at the intersection of the above two themes. Focusing on bosonic string sigma models we discuss certain gauged versions where (a) the invariance conditions on the background fields are much milder than the isometric case and (b) the gauge symmetry is generically associated to a Lie algebroid instead of just a Lie algebra. Furthermore we utilize such gauged sigma models to study the possibility of non-Abelian, non-isometric T-duality.
• ### Beyond the standard gauging: gauge symmetries of Dirac Sigma Models(1607.00342)

Jan. 16, 2017 hep-th
In this paper we study the general conditions that have to be met for a gauged extension of a two-dimensional bosonic sigma-model to exist. In an inversion of the usual approach of identifying a global symmetry and then promoting it to a local one, we focus directly on the gauge symmetries of the theory. This allows for action functionals which are gauge invariant for rather general background fields in the sense that their invariance conditions are milder than the usual case. In particular, the vector fields that control the gauging need not be Killing. The relaxation of isometry for the background fields is controlled by two connections on a Lie algebroid L in which the gauge fields take values, in a generalization of the common Lie-algebraic picture. Here we show that these connections can always be determined when L is a Dirac structure in the H-twisted Courant algebroid. This also leads us to a derivation of the general form for the gauge symmetries of a wide class of two-dimensional topological field theories called Dirac sigma-models, which interpolate between the G/G Wess-Zumino-Witten model and the (Wess-Zumino-term twisted) Poisson sigma model.
• ### Tensor Galileons and Gravity(1612.05991)

Jan. 12, 2017 hep-th
The particular structure of Galileon interactions allows for higher-derivative terms while retaining second order field equations for scalar fields and Abelian $p$-forms. In this work we introduce an index-free formulation of these interactions in terms of two sets of Grassmannian variables. We employ this to construct Galileon interactions for mixed-symmetry tensor fields and coupled systems thereof. We argue that these tensors are the natural generalization of scalars with Galileon symmetry, similar to $p$-forms and scalars with a shift-symmetry. The simplest case corresponds to linearised gravity with Lovelock invariants, relating the Galileon symmetry to diffeomorphisms. Finally, we examine the coupling of a mixed-symmetry tensor to gravity, and demonstrate in an explicit example that the inclusion of appropriate counterterms retains second order field equations.
• ### Strings in Singular Space-Times and their Universal Gauge Theory(1608.03250)

Aug. 10, 2016 hep-th, math.DG, math-ph, math.MP
We study the propagation of bosonic strings in singular target space-times. For describing this, we assume this target space to be the quotient of a smooth manifold $M$ by a singular foliation ${\cal F}$ on it. Using the technical tool of a gauge theory, we propose a smooth functional for this scenario, such that the propagation is assured to lie in the singular target on-shell, i.e. only after taking into account the gauge invariant content of the theory. One of the main new aspects of our approach is that we do not limit ${\cal F}$ to be generated by a group action. We will show that, whenever it exists, the above gauging is effectuated by a single geometrical and universal gauge theory, whose target space is the generalized tangent bundle $TM\oplus T^*M$.
• ### T-duality without isometry via extended gauge symmetries of 2D sigma models(1509.01829)

May 14, 2016 hep-th
Target space duality is one of the most profound properties of string theory. However it customarily requires that the background fields satisfy certain invariance conditions in order to perform it consistently; for instance the vector fields along the directions that T-duality is performed have to generate isometries. In the present paper we examine in detail the possibility to perform T-duality along non-isometric directions. In particular, based on a recent work of Kotov and Strobl, we study gauged 2D sigma models where gauge invariance for an extended set of gauge transformations imposes weaker constraints than in the standard case, notably the corresponding vector fields are not Killing. This formulation enables us to follow a procedure analogous to the derivation of the Buscher rules and obtain two dual models, by integrating out once the Lagrange multipliers and once the gauge fields. We show that this construction indeed works in non-trivial cases by examining an explicit class of examples based on step 2 nilmanifolds.
• ### Sigma models for genuinely non-geometric backgrounds(1505.05457)

Dec. 10, 2015 hep-th
The existence of genuinely non-geometric backgrounds, i.e. ones without geometric dual, is an important question in string theory. In this paper we examine this question from a sigma model perspective. First we construct a particular class of Courant algebroids as protobialgebroids with all types of geometric and non-geometric fluxes. For such structures we apply the mathematical result that any Courant algebroid gives rise to a 3D topological sigma model of the AKSZ type and we discuss the corresponding 2D field theories. It is found that these models are always geometric, even when both 2-form and 2-vector fields are neither vanishing nor inverse of one another. Taking a further step, we suggest an extended class of 3D sigma models, whose world volume is embedded in phase space, which allow for genuinely non-geometric backgrounds. Adopting the doubled formalism such models can be related to double field theory, albeit from a world sheet perspective.
• ### Dynamical phase space from a SO(d,d) matrix model(1407.7054)

Feb. 2, 2015 hep-th
It is shown that a matrix model with SO(d,d) global symmetry is derived from a generalized Yang-Mills theory on the standard Courant algebroid. This model keeps all the positive features of the well-studied type IIB matrix model, and it has many additional welcome properties. We show that it does not only capture the dynamics of spacetime, but it should be associated with the dynamics of phase space. This is supported by a large set of classical solutions of its equations of motion, which corresponds to phase spaces of noncommutative curved manifolds and points to a new mechanism of emergent gravity. The model possesses an additional symmetry that exchanges positions and momenta, in analogy to quantum mechanics. It is argued that the emergence of phase space in the model is an essential feature for the investigation of the precise relation of matrix models to string theory and quantum gravity.
• ### Phase space quantization, noncommutativity and the gravitational field(1404.2812)

Aug. 1, 2014 hep-th
In this paper we study the structure of the phase space in noncommutative geometry in the presence of a nontrivial frame. Our basic assumptions are that the underlying space is a symplectic and parallelizable manifold. Furthermore, we assume the validity of the Leibniz rule and the Jacobi identities. We consider noncommutative spaces due to the quantization of the symplectic structure and determine the momentum operators that guarantee a set of canonical commutation relations, appropriately extended to include the nontrivial frame. We stress the important role of left vs. right acting operators and of symplectic duality. This enables us to write down the form of the full phase space algebra on these noncommutative spaces, both in the noncompact and in the compact case. We test our results against the class of 4D and 6D symplectic nilmanifolds, thus presenting a large set of nontrivial examples that realize the general formalism.
• ### Generalized Yang-Mills theory and the D-brane effective action(1406.6287)

June 24, 2014 hep-th
Non-abelian gauge theories in the context of generalized complex geometry are discussed. The generalized connection naturally contains standard gauge and scalar fields, unified in a purely geometric way. We define the corresponding Yang-Mills theory on particular subbundles of a Courant algebroid, known as Dirac structures, where the generalized curvature is a tensor. Different Dirac structures correspond to different known theories, such as the bosonic sector of maximally supersymmetric Yang-Mills in ten and four dimensions and reduced matrix models. Furthermore, we revisit the non-abelian world volume effective action of D-branes in this formalism, where the gauge field on the brane and the transverse scalars are unified, while the action does not contain pullbacks of fields and its consistency with T-duality is verified at face value.
• ### U-dual branes and mixed symmetry tensor fields(1404.7635)

April 30, 2014 hep-th
We review and explain the relation between U-dual branes in string theory and mixed symmetry tensors of various degrees. In certain cases these mixed symmetry tensors can be related to diverse types of fluxes that play an important role in compactifications of string theory.
• ### Dirac structures on nilmanifolds and coexistence of fluxes(1311.4878)

April 9, 2014 hep-th, math-ph, math.MP
We study some aspects of the generalized geometry of nilmanifolds and examine to which extent different types of fluxes can coexist on them. Nilmanifolds constitute a class of homogeneous spaces which are interesting in string compactifications with fluxes since they carry geometric flux by construction. They are generalized Calabi-Yau spaces and therefore simple examples of generalized geometry at work. We identify and classify Dirac structures on nilmanifolds, which are maximally isotropic subbundles closed under the Courant bracket. In the presence of non-vanishing fluxes, these structures are twisted and closed under appropriate extensions of the Courant bracket. Twisted Dirac structures on a nilmanifold may carry multiple coexistent fluxes of any type. We also show how dual Dirac structures combine to Courant algebroids and work out an explicit example where all types of generalized fluxes coexist. These results may be useful in the context of general flux compactifications in string theory.
• ### Effective actions of non-geometric fivebranes(1309.2653)

March 24, 2014 hep-th
An interesting consequence of string dualities is that they reveal situations where the geometry of a string background appears to be globally ill-defined, a phenomenon usually referred to as non-geometry. On the other hand, string theory contains extended objects with non-trivial monodromy around them, often dubbed defect or exotic branes in co-dimension two. We determine and examine the worldvolume actions and the couplings of certain such branes. In particular, based on specific chains of T and S-dualities, we derive the DBI and WZ actions, which describe the dynamics of type IIB fivebranes as well as their couplings to the appropriate gauge potentials associated to mixed symmetry tensors. Based on these actions we discuss how these branes act as sources of non-geometric fluxes. In one case this flux is what is usually termed Q flux, associated to a T-fold compactification, while in the S-dual case a type of non-geometry related to the Ramond-Ramond sector is encountered.
• ### Generalized fluxes in matrix compactifications(1305.1864)

May 8, 2013 hep-th
In the recent years a lot of attention is focused on unconventional string compactifications. A variety of different but related frameworks was developed in order to address issues such as duality invariance, non-geometry and non-commutativity in string theory. In this contribution we review and clarify the approach that goes through matrix models. Furthermore, we discuss some connections of this framework to other related approaches.
• ### Axiology(1207.1128)

Sept. 5, 2012 hep-th, hep-ph
Axions might play a crucial role for the solution of the strong CP-problem and explanation of cold dark matter in the universe. In addition they may find applications in the formulation of inflationary models for the early universe and can serve as candidates for quintessence. We show that all these phenomena can be described within a single framework exhibiting a specific pattern of mass scales: the axionic see-saw. We also discuss the role of supersymmetry (susy) in this axionic system in two specific examples: weak scale susy in the (multi) TeV range and tele-susy with a breakdown scale coinciding with the decay constant of the QCD axion: $f_a\sim 10^{11}-10^{12}$ GeV.
• ### Matrix theory origins of non-geometric fluxes(1207.6412)

Aug. 5, 2012 hep-th
We explore the origins of non-geometric fluxes within the context of M theory described as a matrix model. Building upon compactifications of Matrix theory on non-commutative tori and twisted tori, we formulate the conditions which describe compactifications with non-geometric fluxes. These turn out to be related to certain deformations of tori with non-commutative and non-associative structures on their phase space. Quantization of flux appears as a natural consequence of the framework and leads to the resolution of non-associativity at the level of the unitary operators. The quantum-mechanical nature of the model bestows an important role on the phase space. In particular, the geometric and non-geometric fluxes exchange their properties when going from position space to momentum space thus providing a duality among the two. Moreover, the operations which connect solutions with different fluxes are described and their relation to T-duality is discussed. Finally, we provide some insights on the effective gauge theories obtained from these matrix compactifications.
• ### Matrix theory compactifications on twisted tori(1202.4310)

May 14, 2012 hep-th
We study compactifications of Matrix theory on twisted tori and non-commutative versions of them. As a first step, we review the construction of multidimensional twisted tori realized as nilmanifolds based on certain nilpotent Lie algebras. Subsequently, matrix compactifications on tori are revisited and the previously known results are supplemented with a background of a non-commutative torus with non-constant non-commutativity and an underlying non-associative structure on its phase space. Next we turn our attention to 3- and 6-dimensional twisted tori and we describe consistent backgrounds of Matrix theory on them by stating and solving the conditions which describe the corresponding compactification. Both commutative and non-commutative solutions are found in all cases. Finally, we comment on the correspondence among the obtained solutions and flux compactifications of 11-dimensional supergravity, as well as on relations among themselves, such as Seiberg-Witten maps and T-duality.
• ### Orbifold matrix models and fuzzy extra dimensions(1204.6498)

April 29, 2012 hep-th
We revisit an orbifold matrix model obtained as a restriction of the type IIB matrix model on a Z_3-invariant sector. An investigation of its moduli space of vacua is performed and issues related to chiral gauge theory and gravity are discussed. Modifications of the orbifolded model triggered by Chern-Simons or mass deformations are also analyzed. Certain vacua of the modified models exhibit higher-dimensional behaviour with internal geometries related to fuzzy spheres.
• ### Nearly K\"ahler heterotic compactifications with fermion condensates(1202.1278)

April 4, 2012 hep-th, math-ph, math.MP
We revisit AdS_4 heterotic compactifications on nearly K\"ahler manifolds in the presence of H-flux and certain fermion condensates. Unlike previous studies, we do not assume the vanishing of the supersymmetry variations. Instead we determine the full equations of motion originating from the ten-dimensional action, and subsequently we provide explicit solutions to them on nearly K\"ahler manifolds at first order in alpha'. The Bianchi identity is also taken into account in order to guarantee the absence of all anomalies. In the presence of H-flux, which is identified with the torsion of the internal space, as well as of fermion condensates in the gaugino and dilatino sectors, new solutions are determined. These solutions provide a full classification of consistent backgrounds of heterotic supergravity under our assumptions. All the new solutions are non-supersymmetric, while previously known supersymmetric ones are recovered too. Our results indicate that fully consistent (supersymmetric or not) heterotic vacua on nearly K\"ahler manifolds are scarce, even on AdS_4, and they can be completely classified.
• ### Intersecting branes and a standard model realization in matrix models(1107.0265)

Sept. 27, 2011 hep-th, hep-ph
We consider intersecting brane solutions of the type IIB matrix model. It is shown that fermionic zero-modes arise on such backgrounds, localized at the brane intersections. They lead to chiral fermions in four dimensions under certain conditions. Such configurations reproduce many of the welcome features in similar string-theoretic constructions. Therefore they can be used to construct semi-realistic particle physics models in the framework of Yang-Mills matrix models. In particular, we present a brane configuration which realizes the correct chiral spectrum of the standard model in the matrix model. Furthermore, the stability of intersecting branes is discussed by analyzing the 1-loop effective action. It is shown that intersecting branes may form a bound state for certain flux configurations. The four-dimensional geometry of the branes is generic, and determined by the (emergent) gravity sector of the matrix model.
• ### On Lie-algebraic solutions of the type IIB matrix model(1108.1107)

Aug. 4, 2011 hep-th
A systematic search for Lie algebra solutions of the type IIB matrix model is performed. Our survey is based on the classification of all Lie algebras for dimensions up to five and of all nilpotent Lie algebras of dimension six. It is shown that Lie-type solutions of the equations of motion of the type IIB matrix model exist and they correspond to certain nilpotent and solvable Lie algebras. Their representation in terms of Hermitian matrices is discussed in detail. These algebras give rise to certain non-commutative spaces for which the corresponding star-products are provided. Finally the issue of constructing quantized compact nilmanifolds and solvmanifolds based on the above algebras is addressed.
• ### Fuzzy extra dimensions and particle physics models(1102.0910)

Feb. 4, 2011 hep-th, hep-ph
In the present contribution the construction of particle physics models in theories with fuzzy extra dimensions is discussed. We focus on a bottom-up approach where the structure of a higher-dimensional theory arises within ordinary four-dimensional field theory via an appropriate mechanism based on spontaneous symmetry breaking. Subsequently, possible ways to obtain particle physics models with realistic spectrum in this framework are exhibited.