TL;DR: In this article, a localization theorem for the K-theory of commutative rings and of schemes is presented, relating the k-groups of a scheme, of an open subscheme, and of those perfect complexes on the scheme which are acyclic on the open scheme.
Abstract: In this paper we prove a localization theorem for the K-theory of commutative rings and of schemes, Theorem 7.4, relating the K-groups of a scheme, of an open subscheme, and of the category of those perfect complexes on the scheme which are acyclic on the open subscheme. The localization theorem of Quillen [Q1] for K′- or G-theory is the main support of his many results on the G-theory of noetherian schemes. The previous lack of an adequate localization theorem for K-theory has obstructed development of this theory for the fifteen years since 1973. Hence our theorem unleashes a pack of new basic results hitherto known only under very restrictive hypotheses like regularity. These new results include the “Bass fundamental theorem” 6.6, the Zariski (Nisnevich) cohomolog-ical descent spectral sequence that reduces problems to the case of local (hensel local) rings 10.3 and 19.8, the Mayer-Vietoris theorem for open covers 8.1, invariance mod l under polynomial extensions 9.5, Vorst-van der Kallen theory for NK 9.12, Goodwillie and Ogle-Weibel theorems relating K-theory to cyclic cohomology 9.10, mod l Mayer-Vietoris for closed covers 9.8, and mod l comparison between algebraic and topological K-theory 11.5 and 11.9. Indeed most known results in K-theory can be improved by the methods of this paper, by removing now unnecessary regularity, affineness, and other hypotheses.
TL;DR: In this paper, the authors discuss the construction of triangulated categories of mixed motives over a noetherian scheme of finite dimension, extending Voevodsky's definition of motives over fields.
Abstract: This book discusses the construction of triangulated categories of mixed motives over a noetherian scheme of finite dimension, extending Voevodsky's definition of motives over a field. In particular, it is shown that motives with rational coefficients satisfy the formalism of the six operations of Grothendieck. This is achieved by studying descent properties of motives, as well as by comparing different presentations of these categories, following and extending insights and constructions of Deligne, Beilinson, Bloch, Thomason, Gabber, Levine, Morel, Voevodsky, Ayoub, Spitzweck, R\"ondigs, {\O}stv{\ae}r, and others. In particular, the relation of motives with $K$-theory is addressed in full, and we prove the absolute purity theorem with rational coefficients, using Quillen's localization theorem in algebraic $K$-theory together with a variation on the Grothendieck-Riemann-Roch theorem. Using resolution of singularities via alterations of de Jong-Gabber, this leads to a version of Grothendieck-Verdier duality for constructible motivic sheaves with rational coefficients over rather general base schemes. We also study versions with integral coefficients, constructed via sheaves with transfers, for which we obtain partial results. Finally, we associate to any mixed Weil cohomology a system of categories of coefficients and well behaved realization functors, establishing a correspondence between mixed Weil cohomologies and suitable systems of coefficients. The results of this book have already served as ground reference in many subsequent works on motivic sheaves and their realizations, and pointers to the most recent developments of the theory are given in the introduction.
TL;DR: In this paper, the reduced genus 1 Gromov-Witten invariants of Calabi-Yau hypersurfaces were derived from a series of previous works and applied to higher-genus localization.
Abstract: We compute the reduced genus 1 Gromov-Witten invariants of Calabi-Yau hypersurfaces. As a consequence, we confirm the 1993 Bershadsky-Cecotti Ooguri-Vafa (BCOV) prediction for the standard genus 1 GW-invariants of a quintic threefold. We combine constructions from a series of previous papers with the classical localization theorem to relate the reduced genus 1 invariants of a CY-hypersurface to previously computed integrals on moduli spaces of stable genus 0 maps into projective space. The resulting, rather unwieldy, expressions for a genus 1 equivariant generating function simplify drastically, using a regularity property of a genus 0 equivariant generating function in half of the cases. Finally, by disregarding terms that cannot effect the non-equivariant part of the former, we relate the answer to an explicit hypergeometric series in a simple way. The approach described in this paper is systematic. It is directly applicable to computing reduced genus 1 GW-invariants of other complete intersections and should apply to higher-genus localization computations.
TL;DR: It is proved that the extreme points of the set of s-concave probability measures satisfying a linear constraint are some Dirac measures and some s-affine probabilities supported by a segment, which gives a new approach to a localization theorem.
Abstract: We prove that the extreme points of the set of s-concave probability measures satisfying a linear constraint are some Dirac measures and some s-affine probabilities supported by a segment. From this we deduce that the constrained maximization of a convex functional on the s-concave probability measures is reduced to this small set of extreme points. This gives a new approach to a localization theorem due to Kannan, Lovasz and Simonovits which happens to be very useful in geometry to obtain inequalities for integrals like concentration and isoperimetric inequalities. Roughly speaking, the study of such inequalities is reduced to these extreme points.