This is the second part of a series of papers called "HAG", devoted to developing the foundations of homotopical algebraic geometry. The authors start by defining and studying generalizations of standard notions of linear algebra in an abstract monoidal model category, such as derivations, étale and smooth morphisms, flat and projective modules, etc. They then use their theory of stacks over model categories to define a general notion of geometric stack over a base symmetric monoidal model category $C$, and prove that this notion satisfies the expected properties.

The authors start by defining and studying generalizations of standard notions of linear algebra in an abstract monoidal model category. They then use their theory of stacks over model categories to define a general notion of geometric stack over a base symmetric monoidal model category.

After the development of manifolds and algebraic varieties in the previous century, mathematicians and physicists have continued to advance concepts of space. This book and its companion explore various new notions of space, including both formal and conceptual points of view, as presented by leading experts at the New Spaces in Mathematics and Physics workshop held at the Institut Henri Poincaré in 2015. This volume covers a broad range of topics in mathematical physics, including noncommutative geometry, supergeometry, derived symplectic geometry, higher geometric quantization, intuitionistic quantum logic, problems with the continuum description of spacetime, twistor theory, loop quantum gravity, and geometry in string theory. It is addressed primarily to mathematical physicists and mathematicians, but also to historians and philosophers of these disciplines.

The Handbook of Homotopy Theory provides a panoramic view of an active area in mathematics that is currently seeing dramatic solutions to long-standing open problems, and is proving itself of increasing importance across many other mathematical disciplines. The origins of the subject date back to work of Henri Poincaré and Heinz Hopf in the early 20th century, but it has seen enormous progress in the 21st century. A highlight of this volume is an introduction to and diverse applications of the newly established foundational theory of ¥ -categories. The coverage is vast, ranging from axiomatic to applied, from foundational to computational, and includes surveys of applications both geometric and algebraic. The contributors are among the most active and creative researchers in the field. The 22 chapters by 31 contributors are designed to address novices, as well as established mathematicians, interested in learning the state of the art in this field, whose methods are of increasing importance in many other areas.

After the development of manifolds and algebraic varieties in the previous century, mathematicians and physicists have continued to advance concepts of space. This book and its companion explore various new notions of space, including both formal and conceptual points of view, as presented by leading experts at the New Spaces in Mathematics and Physics workshop held at the Institut Henri Poincaré in 2015. The chapters in this volume cover a broad range of topics in mathematics, including diffeologies, synthetic differential geometry, microlocal analysis, topos theory, infinity-groupoids, homotopy type theory, category-theoretic methods in geometry, stacks, derived geometry, and noncommutative geometry. It is addressed primarily to mathematicians and mathematical physicists, but also to historians and philosophers of these disciplines.

The authors construct an abstract pseudodifferential calculus with operator-valued symbol, suitable for the treatment of Coulomb-type interactions, and they apply it to the study of the quantum evolution of molecules in the Born-Oppenheimer approximation, in the case of the electronic Hamiltonian admitting a local gap in its spectrum. In particular, they show that the molecular evolution can be reduced to the one of a system of smooth semiclassical operators, the symbol of which can be computed explicitely. In addition, they study the propagation of certain wave packets up to long time values of Ehrenfest order.