Homotopical Algebraic Geometry Ii Geometric Stacks And Applications

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.

If X is a manifold then the R-algebra C∞(X) of smooth functions c:X→R is a C∞-ring. That is, for each smooth function f:Rn→R there is an n-fold operation Φf:C∞(X)n→C∞(X) acting by Φf:(c1,…,cn)↦f(c1,…,cn), and these operations Φf satisfy many natural identities. Thus, C∞(X) actually has a far richer structure than the obvious R-algebra structure. The author explains the foundations of a version of algebraic geometry in which rings or algebras are replaced by C∞-rings. As schemes are the basic objects in algebraic geometry, the new basic objects are C∞-schemes, a category of geometric objects which generalize manifolds and whose morphisms generalize smooth maps. The author also studies quasicoherent sheaves on C∞-schemes, and C∞-stacks, in particular Deligne-Mumford C∞-stacks, a 2-category of geometric objects generalizing orbifolds. Many of these ideas are not new: C∞-rings and C∞ -schemes have long been part of synthetic differential geometry. But the author develops them in new directions. In earlier publications, the author used these tools to define d-manifolds and d-orbifolds, “derived” versions of manifolds and orbifolds related to Spivak's “derived manifolds”.

This book provides an introduction to state-of-the-art applications of homotopy theory to arithmetic geometry. The contributions to this volume are based on original lectures by leading researchers at the LMS-CMI Research School on ‘Homotopy Theory and Arithmetic Geometry - Motivic and Diophantine Aspects’ and the Nelder Fellow Lecturer Series, which both took place at Imperial College London in the summer of 2018. The contribution by Brazelton, based on the lectures by Wickelgren, provides an introduction to arithmetic enumerative geometry, the notes of Cisinski present motivic sheaves and new cohomological methods for intersection theory, and Schlank’s contribution gives an overview of the use of étale homotopy theory for obstructions to the existence of rational points on algebraic varieties. Finally, the article by Asok and Østvær, based in part on the Nelder Fellow lecture series by Østvær, gives a survey of the interplay between motivic homotopy theory and affine algebraic geometry, with a focus on contractible algebraic varieties. Now a major trend in arithmetic geometry, this volume offers a detailed guide to the fascinating circle of recent applications of homotopy theory to number theory. It will be invaluable to research students entering the field, as well as postdoctoral and more established researchers.

"This book is an introduction to two higher-categorical topics in algebraic topology and algebraic geometry relying on simplicial methods. It is based on lectures delivered at the Centre de Recerca Matemàtica in February 2008, as part of a special year on Homotopy Theory and Higher Categories"--Foreword

At last, a friendly introduction to modern homotopy theory after Joyal and Lurie, reaching advanced tools and starting from scratch.

This volume contains the proceedings of the First Workshop “Matemáticos Mexicanos Jóvenes en el Mundo”, held from August 22–24, 2012, at Centro de Investigación en Matemáticas (CIMAT) in Guanajuato, Mexico. - See more at: http://bookstore.ams.org/conm-657/#sthash.cUjwTcvX.dpuf This volume contains the proceedings of the First Workshop "Matemáticos Mexicanos Jóvenes en el Mundo", held from August 22-24, 2012, at Centro de Investigación en Matemáticas (CIMAT) in Guanajuato, Mexico. One of the main goals of this meeting was to present different research directions being pursued by young Mexican mathematicians based in other countries, such as Brazil, Canada, Colombia, Estonia, Germany, Spain and the United States, showcasing research lines currently underrepresented in Mexico. Featured are survey and research articles in six areas: algebra, analysis, applied mathematics, geometry, probability and topology. Their topics range from current developments related to well-known open problems to novel interactions between pure mathematics and computer science. Most of the articles provide a panoramic view of the fields and problems the authors work on, making the book accessible to advanced graduate students and researchers in mathematics from different fields. This book is published in cooperation with Sociedad Matemática Mexicana.

This volume presents original research articles and extended surveys related to the mathematical interest and work of Jean-Michel Bismut. His outstanding contributions to probability theory and global analysis on manifolds have had a profound impact on several branches of mathematics in the areas of control theory, mathematical physics and arithmetic geometry. Contributions by: K. Behrend N. Bergeron S. K. Donaldson J. Dubédat B. Duplantier G. Faltings E. Getzler G. Kings R. Mazzeo J. Millson C. Moeglin W. Müller R. Rhodes D. Rössler S. Sheffield A. Teleman G. Tian K-I. Yoshikawa H. Weiss W. Werner The collection is a valuable resource for graduate students and researchers in these fields.

Crossing the boundary between differential and algebraic geometry in order to study singular spaces, this book introduces 'C∞-schemes with corners'.