Indecomposable symmetric Lorentzian manifolds of non-constant curvature are called Cahen-Wallach spaces. Their isometry classes are described by continuous families of real parameters. The authors derive necessary and sufficient conditions for the existence of compact quotients of Cahen-Wallach spaces in terms of these parameters.

This monograph describes some of the most interesting results obtained by the mathematicians and physicists collaborating in the CRC 647 "Space – Time – Matter", in the years 2005 - 2016. The work presented concerns the mathematical and physical foundations of string and quantum field theory as well as cosmology. Important topics are the spaces and metrics modelling the geometry of matter, and the evolution of these geometries. The partial differential equations governing such structures and their singularities, special solutions and stability properties are discussed in detail. Contents Introduction Algebraic K-theory, assembly maps, controlled algebra, and trace methods Lorentzian manifolds with special holonomy – Constructions and global properties Contributions to the spectral geometry of locally homogeneous spaces On conformally covariant differential operators and spectral theory of the holographic Laplacian Moduli and deformations Vector bundles in algebraic geometry and mathematical physics Dyson–Schwinger equations: Fix-point equations for quantum fields Hidden structure in the form factors ofN = 4 SYM On regulating the AdS superstring Constraints on CFT observables from the bootstrap program Simplifying amplitudes in Maxwell-Einstein and Yang-Mills-Einstein supergravities Yangian symmetry in maximally supersymmetric Yang-Mills theory Wave and Dirac equations on manifolds Geometric analysis on singular spaces Singularities and long-time behavior in nonlinear evolution equations and general relativity

In this paper, the authors prove global well-posedness of the massless Maxwell–Dirac equation in the Coulomb gauge on R1+d(d≥4) for data with small scale-critical Sobolev norm, as well as modified scattering of the solutions. Main components of the authors' proof are A) uncovering null structure of Maxwell–Dirac in the Coulomb gauge, and B) proving solvability of the underlying covariant Dirac equation. A key step for achieving both is to exploit (and justify) a deep analogy between Maxwell–Dirac and Maxwell-Klein-Gordon (for which an analogous result was proved earlier by Krieger-Sterbenz-Tataru, which says that the most difficult part of Maxwell–Dirac takes essentially the same form as Maxwell-Klein-Gordon.

In this work the authors develop a decomposition theory for subgroups of Out(Fn) which generalizes the decomposition theory for individual elements of Out(Fn) found in the work of Bestvina, Feighn, and Handel, and which is analogous to the decomposition theory for subgroups of mapping class groups found in the work of Ivanov.

The areas of Ramsey theory and random graphs have been closely linked ever since Erdős's famous proof in 1947 that the “diagonal” Ramsey numbers R(k) grow exponentially in k. In the early 1990s, the triangle-free process was introduced as a model which might potentially provide good lower bounds for the “off-diagonal” Ramsey numbers R(3,k). In this model, edges of Kn are introduced one-by-one at random and added to the graph if they do not create a triangle; the resulting final (random) graph is denoted Gn,△. In 2009, Bohman succeeded in following this process for a positive fraction of its duration, and thus obtained a second proof of Kim's celebrated result that R(3,k)=Θ(k2/logk). In this paper the authors improve the results of both Bohman and Kim and follow the triangle-free process all the way to its asymptotic end.

In this paper the authors introduce a general framework for the study of limits of relational structures and graphs in particular, which is based on a combination of model theory and (functional) analysis. The authors show how the various approaches to graph limits fit to this framework and that the authors naturally appear as “tractable cases” of a general theory. As an outcome of this, the authors provide extensions of known results. The authors believe that this puts these into a broader context. The second part of the paper is devoted to the study of sparse structures. First, the authors consider limits of structures with bounded diameter connected components and prove that in this case the convergence can be “almost” studied component-wise. They also propose the structure of limit objects for convergent sequences of sparse structures. Eventually, they consider the specific case of limits of colored rooted trees with bounded height and of graphs with bounded tree-depth, motivated by their role as “elementary bricks” these graphs play in decompositions of sparse graphs, and give an explicit construction of a limit object in this case. This limit object is a graph built on a standard probability space with the property that every first-order definable set of tuples is measurable. This is an example of the general concept of modeling the authors introduce here. Their example is also the first “intermediate class” with explicitly defined limit structures where the inverse problem has been solved.

The author introduces and studies the bounded word problem and the precise word problem for groups given by means of generators and defining relations. For example, for every finitely presented group, the bounded word problem is in NP, i.e., it can be solved in nondeterministic polynomial time, and the precise word problem is in PSPACE, i.e., it can be solved in polynomial space. The main technical result of the paper states that, for certain finite presentations of groups, which include the Baumslag-Solitar one-relator groups and free products of cyclic groups, the bounded word problem and the precise word problem can be solved in polylogarithmic space. As consequences of developed techniques that can be described as calculus of brackets, the author obtains polylogarithmic space bounds for the computational complexity of the diagram problem for free groups, for the width problem for elements of free groups, and for computation of the area defined by polygonal singular closed curves in the plane. The author also obtains polynomial time bounds for these problems.