Flux Compactifications of M-Theory on Twisted Tori

We find the bosonic sector of the gauged supergravities that are obtained from 11-dimensional supergravity by Scherk-Schwarz dimensional reduction with flux to any dimension D. We show that, if certain obstructions are absent, the Scherk-Schwarz ansatz for a finite set of D-dimensional fields can be extended to a full compactification of M-theory, including an infinite tower of Kaluza-Klein fields. The internal space is obtained from a group manifold (which may be non-compact) by a discrete identification. We discuss the symmetry algebra and the symmetry breaking patterns and illustrate these with particular examples. We discuss the action of U-duality on these theories in terms of symmetries of the D-dimensional supergravity, and argue that in general it will take geometric flux compactifications to M-theory on non-geometric backgrounds, such as U-folds with U-duality transition functions.Comment: Latex, 47 page

Generalised Geometry for M-Theory

Generalised geometry studies structures on a d-dimensional manifold with a metric and 2-form gauge field on which there is a natural action of the group SO(d,d). This is generalised to d-dimensional manifolds with a metric and 3-form gauge field on which there is a natural action of the group $E_{d}$. This provides a framework for the discussion of M-theory solutions with flux. A different generalisation is to d-dimensional manifolds with a metric, 2-form gauge field and a set of p-forms for $p$ either odd or even on which there is a natural action of the group $E_{d+1}$. This is useful for type IIA or IIB string solutions with flux. Further generalisations give extended tangent bundles and extended spin bundles relevant for non-geometric backgrounds. Special structures that arise for supersymmetric backgrounds are discussed.Comment: 31 page

A Geometry for Non-Geometric String Backgrounds

A geometric string solution has background fields in overlapping coordinate patches related by diffeomorphisms and gauge transformations, while for a non-geometric background this is generalised to allow transition functions involving duality transformations. Non-geometric string backgrounds arise from T-duals and mirrors of flux compactifications, from reductions with duality twists and from asymmetric orbifolds. Strings in ` T-fold' backgrounds with a local $n$-torus fibration and T-duality transition functions in $O(n,n;\Z)$ are formulated in an enlarged space with a $T^{2n}$ fibration which is geometric, with spacetime emerging locally from a choice of a $T^n$ submanifold of each $T^{2n}$ fibre, so that it is a subspace or brane embedded in the enlarged space. T-duality acts by changing to a different $T^n$ subspace of $T^{2n}$. For a geometric background, the local choices of $T^n$ fit together to give a spacetime which is a $T^n$ bundle, while for non-geometric string backgrounds they do not fit together to form a manifold. In such cases spacetime geometry only makes sense locally, and the global structure involves the doubled geometry. For open strings, generalised D-branes wrap a $T^n$ subspace of each $T^{2n}$ fibre and the physical D-brane is the part of the part of the physical space lying in the generalised D-brane subspace.Comment: 28 Pages. Minor change

Canonical gravity in two time and two space dimensions

We describe a program for developing a canonical gravity in 2+2 dimensions (two time and two space dimensions). Our procedure is similar to the usual canonical gravity but with two times rather than just one time. Our work may be of particular interest as an alternative approach to loop quantum gravity in 2+2 dimensions.Comment: 13 pages, Latex, improved versio

Moving body velocity arresting line

The arresting of a moving body is improved through the use of steel cables that elongate to absorb the kinetic energy of the body. A sleeve surrounds the cables, protecting them from chafing and providing a failsafe energy absorbing system should the cables fail

Background independent action for double field theory

Double field theory describes a massless subsector of closed string theory with both momentum and winding excitations. The gauge algebra is governed by the Courant bracket in certain subsectors of this double field theory. We construct the associated nonlinear background-independent action that is T-duality invariant and realizes the Courant gauge algebra. The action is the sum of a standard action for gravity, antisymmetric tensor, and dilaton fields written with ordinary derivatives, a similar action for dual fields with dual derivatives, and a mixed term that is needed for gauge invariance.Comment: 45 pages, v2: minor corrections, refs. added, to appear in JHE

Field Study for Remote Sensing: An instructor's manual

The need for and value of field work (surface truthing) in the verification of image identification from high atitude infrared and multispectral space sensor images are discussed in this handbook which presents guidelines for developing instructional and research procedures in remote sensing of the environment

Advanced launch system trajectory optimization using suboptimal control

The maximum-final mass trajectory of a proposed configuration of the Advanced Launch System is presented. A model for the two-stage rocket is given; the optimal control problem is formulated as a parameter optimization problem; and the optimal trajectory is computed using a nonlinear programming code called VF02AD. Numerical results are presented for the controls (angle of attack and velocity roll angle) and the states. After the initial rotation, the angle of attack goes to a positive value to keep the trajectory as high as possible, returns to near zero to pass through the transonic regime and satisfy the dynamic pressure constraint, returns to a positive value to keep the trajectory high and to take advantage of minimum drag at positive angle of attack due to aerodynamic shading of the booster, and then rolls off to negative values to satisfy the constraints. Because the engines cannot be throttled, the maximum dynamic pressure occurs at a single point; there is no maximum dynamic pressure subarc. To test approximations for obtaining analytical solutions for guidance, two additional optimal trajectories are computed: one using untrimmed aerodynamics and one using no atmospheric effects except for the dynamic pressure constraint. It is concluded that untrimmed aerodynamics has a negligible effect on the optimal trajectory and that approximate optimal controls should be able to be obtained by treating atmospheric effects as perturbations

Quantum Mechanics of the Doubled Torus

We investigate the quantum mechanics of the doubled torus system, introduced by Hull [1] to describe T-folds in a more geometric way. Classically, this system consists of a world-sheet Lagrangian together with some constraints, which reduce the number of degrees of freedom to the correct physical number. We consider this system from the point of view of constrained Hamiltonian dynamics. In this case the constraints are second class, and we can quantize on the constrained surface using Dirac brackets. We perform the quantization for a simple T-fold background and compare to results for the conventional non-doubled torus system. Finally, we formulate a consistent supersymmetric version of the doubled torus system, including supersymmetric constraints.Comment: 31 pages, 1 figure; v2: references added, minor corrections to final sectio

The gauge algebra of double field theory and Courant brackets

We investigate the symmetry algebra of the recently proposed field theory on a doubled torus that describes closed string modes on a torus with both momentum and winding. The gauge parameters are constrained fields on the doubled space and transform as vectors under T-duality. The gauge algebra defines a T-duality covariant bracket. For the case in which the parameters and fields are T-dual to ones that have momentum but no winding, we find the gauge transformations to all orders and show that the gauge algebra reduces to one obtained by Siegel. We show that the bracket for such restricted parameters is the Courant bracket. We explain how these algebras are realised as symmetries despite the failure of the Jacobi identity.Comment: 25 pages, LaTe