
We investigate geometric aspects of double field theory (DFT) and its
formulation as a doubled membrane sigmamodel. 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 sigmamodel
that corresponds to DFT, and demonstrate how the standard Tduality orbit of
geometric and nongeometric 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 nongeometric
closed string theory. Gauge invariance of the DFT membrane sigmamodel 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 preCourant algebroids and symplectic nearly Lie
2algebroids. We also describe the construction of a gaugeinvariant doubled
membrane sigmamodel that does not require imposing the strong constraint.

The EinsteinHilbert 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 2spheres and fuzzy 2hyperboloids 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.

We compare the gauging of the Bargmann algebra, for the case of arbitrary
torsion, with the result that one obtains from a nullreduction of General
Relativity. Whereas the two procedures lead to the same result for
NewtonCartan geometry with arbitrary torsion, the nullreduction of the
Einstein equations necessarily leads to NewtonCartan gravity with zero
torsion. We show, for three spacetime dimensions, how NewtonCartan 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 nullreduction of
conformal gravity.

One of the central concepts in modern theoretical physics, gauge symmetry, is
typically realised by lifting a finitedimensional global symmetry group of a
given functional to an infinitedimensional local one by extending the
functional to include gauge fields. In this contribution we review the
construction of gauged actions for twodimensional 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 1form 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 1form 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.

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
nonAbelian, nonisometric Tduality.

In this paper we study the general conditions that have to be met for a
gauged extension of a twodimensional bosonic sigmamodel 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 Liealgebraic picture.
Here we show that these connections can always be determined when L is a Dirac
structure in the Htwisted Courant algebroid. This also leads us to a
derivation of the general form for the gauge symmetries of a wide class of
twodimensional topological field theories called Dirac sigmamodels, which
interpolate between the G/G WessZuminoWitten model and the (WessZuminoterm
twisted) Poisson sigma model.

The particular structure of Galileon interactions allows for
higherderivative terms while retaining second order field equations for scalar
fields and Abelian $p$forms. In this work we introduce an indexfree
formulation of these interactions in terms of two sets of Grassmannian
variables. We employ this to construct Galileon interactions for mixedsymmetry
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 shiftsymmetry. The simplest case corresponds to linearised
gravity with Lovelock invariants, relating the Galileon symmetry to
diffeomorphisms. Finally, we examine the coupling of a mixedsymmetry tensor to
gravity, and demonstrate in an explicit example that the inclusion of
appropriate counterterms retains second order field equations.

We study the propagation of bosonic strings in singular target spacetimes.
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 onshell, 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$.

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 Tduality is performed have to generate
isometries. In the present paper we examine in detail the possibility to
perform Tduality along nonisometric 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 nontrivial cases by examining an explicit class
of examples based on step 2 nilmanifolds.

The existence of genuinely nongeometric 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 nongeometric 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
2form and 2vector 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
nongeometric backgrounds. Adopting the doubled formalism such models can be
related to double field theory, albeit from a world sheet perspective.

It is shown that a matrix model with SO(d,d) global symmetry is derived from
a generalized YangMills theory on the standard Courant algebroid. This model
keeps all the positive features of the wellstudied 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.

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.

Nonabelian 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
YangMills 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 YangMills in ten and four dimensions and reduced
matrix models. Furthermore, we revisit the nonabelian world volume effective
action of Dbranes 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 Tduality is verified at face value.

We review and explain the relation between Udual 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.

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 CalabiYau 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 nonvanishing 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.

An interesting consequence of string dualities is that they reveal situations
where the geometry of a string background appears to be globally illdefined, a
phenomenon usually referred to as nongeometry. On the other hand, string
theory contains extended objects with nontrivial monodromy around them, often
dubbed defect or exotic branes in codimension two. We determine and examine
the worldvolume actions and the couplings of certain such branes. In
particular, based on specific chains of T and Sdualities, 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 nongeometric fluxes. In one case this flux is what is usually
termed Q flux, associated to a Tfold compactification, while in the Sdual
case a type of nongeometry related to the RamondRamond sector is encountered.

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, nongeometry and
noncommutativity 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.

Axions might play a crucial role for the solution of the strong CPproblem
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 seesaw. 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 telesusy with a breakdown scale coinciding with the
decay constant of the QCD axion: $f_a\sim 10^{11}10^{12}$ GeV.

We explore the origins of nongeometric fluxes within the context of M theory
described as a matrix model. Building upon compactifications of Matrix theory
on noncommutative tori and twisted tori, we formulate the conditions which
describe compactifications with nongeometric fluxes. These turn out to be
related to certain deformations of tori with noncommutative and
nonassociative structures on their phase space. Quantization of flux appears
as a natural consequence of the framework and leads to the resolution of
nonassociativity at the level of the unitary operators. The quantummechanical
nature of the model bestows an important role on the phase space. In
particular, the geometric and nongeometric 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 Tduality is discussed. Finally, we provide
some insights on the effective gauge theories obtained from these matrix
compactifications.

We study compactifications of Matrix theory on twisted tori and
noncommutative 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 noncommutative torus with nonconstant noncommutativity and an
underlying nonassociative structure on its phase space. Next we turn our
attention to 3 and 6dimensional 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
noncommutative solutions are found in all cases. Finally, we comment on the
correspondence among the obtained solutions and flux compactifications of
11dimensional supergravity, as well as on relations among themselves, such as
SeibergWitten maps and Tduality.

We revisit an orbifold matrix model obtained as a restriction of the type IIB
matrix model on a Z_3invariant 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 ChernSimons or
mass deformations are also analyzed. Certain vacua of the modified models
exhibit higherdimensional behaviour with internal geometries related to fuzzy
spheres.

We revisit AdS_4 heterotic compactifications on nearly K\"ahler manifolds in
the presence of Hflux 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
tendimensional 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 Hflux, 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 nonsupersymmetric, 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.

We consider intersecting brane solutions of the type IIB matrix model. It is
shown that fermionic zeromodes 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 stringtheoretic constructions. Therefore they can be used to
construct semirealistic particle physics models in the framework of YangMills
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
1loop effective action. It is shown that intersecting branes may form a bound
state for certain flux configurations. The fourdimensional geometry of the
branes is generic, and determined by the (emergent) gravity sector of the
matrix model.

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 Lietype 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 noncommutative spaces for which the
corresponding starproducts are provided. Finally the issue of constructing
quantized compact nilmanifolds and solvmanifolds based on the above algebras is
addressed.

In the present contribution the construction of particle physics models in
theories with fuzzy extra dimensions is discussed. We focus on a bottomup
approach where the structure of a higherdimensional theory arises within
ordinary fourdimensional 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.