Alexander Grothendieck: Enthusiasm and Creativity
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Noncommutative Counterparts of Celebrated Conjectures
NONCOMMUTATIVE COUNTERPARTS OF CELEBRATED CONJECTURES GONC¸ALO TABUADA Abstract. In this survey, written for the proceedings of the conference K- theory in algebra, analysis and topology, Buenos Aires, Argentina (satellite event of the ICM 2018), we give a rigorous overview of the noncommuta- tive counterparts of some celebrated conjectures of Grothendieck, Voevodsky, Beilinson, Weil, Tate, Parshin, Kimura, Schur, and others. Contents Introduction1 1. Celebrated conjectures1 2. Noncommutative counterparts5 3. Applications to commutative geometry 10 4. Applications to noncommutative geometry 17 References 21 Introduction Some celebrated conjectures of Grothendieck, Voevodsky, Beilinson, Weil, Tate, Parshin, Kimura, Schur, and others, were recently extended from the realm of alge- braic geometry to the broad noncommutative setting of differential graded (=dg) categories. This noncommutative viewpoint led to a proof of these celebrated con- jectures in several new cases. Moreover, it enabled a proof of the noncommutative counterparts of the celebrated conjectures in many interesting cases. The purpose of this survey, written for a broad mathematical audience, is to give a rigorous overview of these recent developments. Notations. Given a perfect base field k of characteristic p > 0, we will write W (k) for its ring of p-typical Witt vectors and K := W (k)1=p for the fraction field of W (k). For example, when k = Fp, we have W (k) = Zp and K = Qp. 1. Celebrated conjectures In this section, we briefly recall some celebrated conjectures of Grothendieck, Voevodsky, Beilinson, Weil, Tate, Parshin, and Kimura (concerning smooth proper schemes), as well as a conjecture of Schur (concerning smooth schemes). Date: January 14, 2019. -
THE SIX OPERATIONS for SHEAVES on ARTIN STACKS II: ADIC COEFFICIENTS ? by YVES LASZLO and MARTIN OLSSON
THE SIX OPERATIONS FOR SHEAVES ON ARTIN STACKS II: ADIC COEFFICIENTS ? by YVES LASZLO and MARTIN OLSSON ABSTRACT In this paper we develop a theory of Grothendieck’s six operations for adic constructible sheaves on Artin stacks continuing the study of the finite coefficients case in [14]. 1. Introduction In this paper we continue the study of Grothendieck’s six operations for sheaves on Artin stacks begun in [14]. Our aim in this paper is to extend the theory of finite coefficients of loc. cit. to a theory for adic sheaves. In a subsequent paper [15] we will use this theory to study perverse sheaves on Artin stacks. Throughout we work over an affine excellent finite-dimensional scheme S. Let ` be a prime invertible in S, and such that for any S-scheme X of finite type we have cd`(X) < ∞ (see [14], 1.0.1 for more discussion of this assumption). In what follows, all stacks considered will be algebraic locally of finite type over S. Let Λ be a complete discrete valuation ring with maximal ideal m and n with residue characteristic `, and for every n let Λn denote the quotient Λ/m so that Λ = lim Λ . We then define for any stack X a triangulated category ←− n Dc(X ,Λ) which we call the derived category of constructible Λ–modules on X (of course as in the classical case this is abusive terminology). The cat- egory Dc(X ,Λ) is obtained from the derived category of projective systems {Fn} of Λn–modules by localizing along the full subcategory of complexes whose cohomology sheaves are AR-null (see 2.1 for the meaning of this). -
FIELDS MEDAL for Mathematical Efforts R
Recognizing the Real and the Potential: FIELDS MEDAL for Mathematical Efforts R Fields Medal recipients since inception Year Winners 1936 Lars Valerian Ahlfors (Harvard University) (April 18, 1907 – October 11, 1996) Jesse Douglas (Massachusetts Institute of Technology) (July 3, 1897 – September 7, 1965) 1950 Atle Selberg (Institute for Advanced Study, Princeton) (June 14, 1917 – August 6, 2007) 1954 Kunihiko Kodaira (Princeton University) (March 16, 1915 – July 26, 1997) 1962 John Willard Milnor (Princeton University) (born February 20, 1931) The Fields Medal 1966 Paul Joseph Cohen (Stanford University) (April 2, 1934 – March 23, 2007) Stephen Smale (University of California, Berkeley) (born July 15, 1930) is awarded 1970 Heisuke Hironaka (Harvard University) (born April 9, 1931) every four years 1974 David Bryant Mumford (Harvard University) (born June 11, 1937) 1978 Charles Louis Fefferman (Princeton University) (born April 18, 1949) on the occasion of the Daniel G. Quillen (Massachusetts Institute of Technology) (June 22, 1940 – April 30, 2011) International Congress 1982 William P. Thurston (Princeton University) (October 30, 1946 – August 21, 2012) Shing-Tung Yau (Institute for Advanced Study, Princeton) (born April 4, 1949) of Mathematicians 1986 Gerd Faltings (Princeton University) (born July 28, 1954) to recognize Michael Freedman (University of California, San Diego) (born April 21, 1951) 1990 Vaughan Jones (University of California, Berkeley) (born December 31, 1952) outstanding Edward Witten (Institute for Advanced Study, -
Affine Grassmannians in A1-Algebraic Topology
AFFINE GRASSMANNIANS IN A1-ALGEBRAIC TOPOLOGY TOM BACHMANN Abstract. Let k be a field. Denote by Spc(k)∗ the unstable, pointed motivic homotopy category and A1 1 by R ΩGm : Spc(k)∗ →Spc(k)∗ the (A -derived) Gm-loops functor. For a k-group G, denote by GrG the affine Grassmannian of G. If G is isotropic reductive, we provide a canonical motivic equivalence A1 A1 R ΩGm G ≃ GrG. We use this to compute the motive M(R ΩGm G) ∈ DM(k, Z[1/e]). 1. Introduction This note deals with the subject of A1-algebraic topology. In other words it deals with with the ∞- category Spc(k) of motivic spaces over a base field k, together with the canonical functor Smk → Spc(k) and, importantly, convenient models for Spc(k). Since our results depend crucially on the seminal papers [1, 2], we shall use their definition of Spc(k) (which is of course equivalent to the other definitions in the literature): start with the category Smk of smooth (separated, finite type) k-schemes, form the universal homotopy theory on Smk (i.e. pass to the ∞-category P(Smk) of space-valued presheaves on k), and A1 then impose the relations of Nisnevich descent and contractibility of the affine line k (i.e. localise P(Smk) at an appropriate family of maps). The ∞-category Spc(k) is presentable, so in particular has finite products, and the functor Smk → Spc(k) preserves finite products. Let ∗ ∈ Spc(k) denote the final object (corresponding to the final k-scheme k); then we can form the pointed unstable motivic homotopy category Spc(k)∗ := Spc(k)/∗. -
Alexander Grothendieck: a Country Known Only by Name Pierre Cartier
Alexander Grothendieck: A Country Known Only by Name Pierre Cartier To the memory of Monique Cartier (1932–2007) This article originally appeared in Inference: International Review of Science, (inference-review.com), volume 1, issue 1, October 15, 2014), in both French and English. It was translated from French by the editors of Inference and is reprinted here with their permission. An earlier version and translation of this Cartier essay also appeared under the title “A Country of which Nothing is Known but the Name: Grothendieck and ‘Motives’,” in Leila Schneps, ed., Alexandre Grothendieck: A Mathematical Portrait (Somerville, MA: International Press, 2014), 269–88. Alexander Grothendieck died on November 19, 2014. The Notices is planning a memorial article for a future issue. here is no need to introduce Alexander deepening of the concept of a geometric point.1 Such Grothendieck to mathematicians: he is research may seem trifling, but the metaphysi- one of the great scientists of the twenti- cal stakes are considerable; the philosophical eth century. His personality should not problems it engenders are still far from solved. be confused with his reputation among In its ultimate form, this research, Grothendieck’s Tgossips, that of a man on the margin of society, proudest, revolved around the concept of a motive, who undertook the deliberate destruction of his or pattern, viewed as a beacon illuminating all the work, or at any rate the conscious destruction of incarnations of a given object through their various his own scientific school, even though it had been ephemeral cloaks. But this concept also represents enthusiastically accepted and developed by first- the point at which his incomplete work opened rank colleagues and disciples. -
Fundamental Algebraic Geometry
http://dx.doi.org/10.1090/surv/123 hematical Surveys and onographs olume 123 Fundamental Algebraic Geometry Grothendieck's FGA Explained Barbara Fantechi Lothar Gottsche Luc lllusie Steven L. Kleiman Nitin Nitsure AngeloVistoli American Mathematical Society U^VDED^ EDITORIAL COMMITTEE Jerry L. Bona Peter S. Landweber Michael G. Eastwood Michael P. Loss J. T. Stafford, Chair 2000 Mathematics Subject Classification. Primary 14-01, 14C20, 13D10, 14D15, 14K30, 18F10, 18D30. For additional information and updates on this book, visit www.ams.org/bookpages/surv-123 Library of Congress Cataloging-in-Publication Data Fundamental algebraic geometry : Grothendieck's FGA explained / Barbara Fantechi p. cm. — (Mathematical surveys and monographs, ISSN 0076-5376 ; v. 123) Includes bibliographical references and index. ISBN 0-8218-3541-6 (pbk. : acid-free paper) ISBN 0-8218-4245-5 (soft cover : acid-free paper) 1. Geometry, Algebraic. 2. Grothendieck groups. 3. Grothendieck categories. I Barbara, 1966- II. Mathematical surveys and monographs ; no. 123. QA564.F86 2005 516.3'5—dc22 2005053614 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Requests for such permission should be addressed to the Acquisitions Department, American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294, USA. -
Cycle Classes in Overconvergent Rigid Cohomology and a Semistable
CYCLE CLASSES IN OVERCONVERGENT RIGID COHOMOLOGY AND A SEMISTABLE LEFSCHETZ (1, 1) THEOREM CHRISTOPHER LAZDA AND AMBRUS PAL´ ABSTRACT. In this article we prove a semistable version of the variational Tate conjecture for divisors in crystalline cohomology, showing that for k a perfect field of characteristic p, a rational (logarithmic) line bundle on the special fibre of a semistable scheme over kJtK lifts to the total space if and only if its first Chern class does. The proof is elementary, using standard properties of the logarithmic de Rham–Witt complex. As a corollary, we deduce similar algebraicity lifting results for cohomology classes on varieties over global function fields. Finally, we give a counter example to show that the variational Tate conjecture for divisors cannot hold with Qp-coefficients. CONTENTS Introduction 1 1. Cycle class maps in overconvergentrigid cohomology 3 2. Preliminaries on the de Rham–Witt complex 4 3. Morrow’s variational Tate conjecture for divisors 9 4. A semistable variational Tate conjecture for divisors 12 5. Global results 15 6. A counter-example 16 References 19 INTRODUCTION Many of the deepest conjectures in arithmetic and algebraic geometry concern the existence of algebraic cycles on varieties with certain properties. For example, the Hodge and Tate conjectures state, roughly speaking, that on smooth and projective varieties over C (Hodge) or finitely generated fields (Tate) every cohomologyclass which ‘looks like’ the class of a cycle is indeed so. One can also pose variationalforms of arXiv:1701.05017v2 [math.AG] 25 Feb 2019 these conjectures, giving conditions for extending algebraic classes from one fibre of a smooth, projective morphism f : X → S to the whole space. -
Arxiv:1307.5568V2 [Math.AG]
PARTIAL POSITIVITY: GEOMETRY AND COHOMOLOGY OF q-AMPLE LINE BUNDLES DANIEL GREB AND ALEX KURONYA¨ To Rob Lazarsfeld on the occasion of his 60th birthday Abstract. We give an overview of partial positivity conditions for line bundles, mostly from a cohomological point of view. Although the current work is to a large extent of expository nature, we present some minor improvements over the existing literature and a new result: a Kodaira-type vanishing theorem for effective q-ample Du Bois divisors and log canonical pairs. Contents 1. Introduction 1 2. Overview of the theory of q-ample line bundles 4 2.1. Vanishing of cohomology groups and partial ampleness 4 2.2. Basic properties of q-ampleness 7 2.3. Sommese’s geometric q-ampleness 15 2.4. Ample subschemes, and a Lefschetz hyperplane theorem for q-ample divisors 17 3. q-Kodaira vanishing for Du Bois divisors and log canonical pairs 19 References 23 1. Introduction Ampleness is one of the central notions of algebraic geometry, possessing the extremely useful feature that it has geometric, numerical, and cohomological characterizations. Here we will concentrate on its cohomological side. The fundamental result in this direction is the theorem of Cartan–Serre–Grothendieck (see [Laz04, Theorem 1.2.6]): for a complete arXiv:1307.5568v2 [math.AG] 23 Jan 2014 projective scheme X, and a line bundle L on X, the following are equivalent to L being ample: ⊗m (1) There exists a positive integer m0 = m0(X, L) such that L is very ample for all m ≥ m0. (2) For every coherent sheaf F on X, there exists a positive integer m1 = m1(X, F, L) ⊗m for which F ⊗ L is globally generated for all m ≥ m1. -
A Variational Tate Conjecture in Crystalline Cohomology
A Variational Tate Conjecture in crystalline cohomology Matthew Morrow Abstract Given a smooth, proper family of varieties in characteristic p > 0, and a cycle z on a fibre of the family, we consider a Variational Tate Conjecture characterising, in terms of the crystalline cycle class of z, whether z extends cohomologically to the entire family. This is a characteristic p analogue of Grothendieck’s Variational Hodge Conjecture. We prove the conjecture for divisors, and an infinitesimal variant of the conjecture for cycles of higher codimension. This can be used to reduce the ℓ-adic Tate conjecture for divisors over finite fields to the case of surfaces. Contents 0 Introduction and statement of main results 1 1 Conjecture 0.1 5 2 Crystalline Th´eor`eme de la Partie Fixe 9 3 Local and infinitesimal forms of Conjecture 0.1 14 3.1 Some remarks on crystalline cohomology . ..... 14 3.2 Proofs of Theorems 0.5 and 0.6 via topological cyclic homology . 15 3.3 Cohomologically flat families over k[[t]] and Artin’s theorem . 22 4 An application to the Tate conjecture 24 0 Introduction and statement of main results arXiv:1408.6783v2 [math.AG] 25 Mar 2015 Let f : X → S be a smooth, proper morphism of smooth varieties over a field k, and let s ∈ S be a closed point. Grothendieck’s Variational Hodge or ℓ-adic Tate Conjecture [25, pg. 359] gives conditions on the cohomology class of an algebraic cycle on Xs under which the cycle conjecturally extends cohomologically to the entire family X. According as k has characteristic 0 or p > 0, the cohomology theory used to formulate Grothendieck’s conjecture is de Rham or ℓ-adic ´etale (ℓ 6= p). -
An Intuitive Introduction to Motivic Homotopy Theory Vladimir Voevodsky
What follows is Vladimir Voevodsky's snapshot of his Fields Medal work on motivic homotopy, plus a little philosophy and \from my point of view the main fun of doing mathematics" Voevodsky (2002). Voevodsky uses extremely simple leading ideas to extend topological methods of homotopy into number theory and abstract algebra. The talk takes the simple ideas right up to the edge of some extremely refined applications. The talk is on-line as streaming video at claymath.org/video/. In a nutshell: classical homotopy studies a topological space M by looking at maps to M from the unit interval on the real line: [0; 1] = fx 2 R j 0 ≤ x ≤ 1 g as well as maps to M from the unit square [0; 1]×[0; 1], the unit cube [0; 1]3, and so on. Algebraic geometry cannot copy these naively, even over the real numbers, since of course the interval [0; 1] on the real line is not defined by a polynomial equation. The only polynomial equal to 0 all over [0; 1] is the constant polynomial 0, thus equals 0 over the whole line. The problem is much worse when you look at algebraic geometry over other fields than the real or complex numbers. Voevodsky shows how category theory allows abstract definitions of the basic apparatus of homotopy, where the category of topological spaces is replaced by any category equipped with objects that share certain purely categorical properties with the unit interval, unit square, and so on. For example, the line in algebraic geometry (over any field) does not have \endpoints" in the usual way but it does come with two naturally distinguished points: 0 and 1. -
SHEAVES, TOPOSES, LANGUAGES Acceleration Based on A
Chapter 7 Logic of behavior: Sheaves, toposes, and internal languages 7.1 How can we prove our machine is safe? Imagine you are trying to design a system of interacting components. You wouldn’t be doing this if you didn’t have a goal in mind: you want the system to do something, to behave in a certain way. In other words, you want to restrict its possibilities to a smaller set: you want the car to remain on the road, you want the temperature to remain in a particular range, you want the bridge to be safe for trucks to pass. Out of all the possibilities, your system should only permit some. Since your system is made of components that interact in specified ways, the possible behavior of the whole—in any environment—is determined by the possible behaviors of each of its components in their local environments, together with the precise way in which they interact.1 In this chapter, we will discuss a logic wherein one can describe general types of behavior that occur over time, and prove properties of a larger-scale system from the properties and interaction patterns of its components. For example, suppose we want an autonomous vehicle to maintain a distance of some safe R from other objects. To do so, several components must interact: a 2 sensor that approximates the real distance by an internal variable S0, a controller that uses S0 to decide what action A to take, and a motor that moves the vehicle with an 1 The well-known concept of emergence is not about possibilities, it is about prediction. -
Alexander Grothendieck Heng Li
Alexander Grothendieck Heng Li Alexander Grothendieck's life Alexander Grothendieck was a German born French mathematician. Grothendieck was born on March 28, 1928 in Berlin. His parents were Johanna Grothendieck and Alexander Schapiro. When he was five years old, Hitler became the Chancellor of the German Reich, and called to boycott all Jewish businesses, and ordered civil servants who were not of the Aryan race to retire. Grothendieck's father was a Russian Jew and at that time, he used the name Tanaroff to hide his Jewish Identity. Even with a Russian name it is still too dangerous for Jewish people to stay in Berlin. In May 1933, his father, Alexander Schapiro, left to Paris because the rise of Nazism. In December of the same year, his mother left Grothendieck with a foster family Heydorns in Hamburg, and joined Schapiro in Paris. While Alexander Grothendieck was with his foster family, Grothendieck's parents went to Spain and partici- pated in the Spanish Civil War. After the Spanish Civil War, Johanna(Hanka) Grothendieck and Alexander Schapiro returned to France. In Hamburg, Alexander Grothendieck attended to elementary schools and stud- ied at the Gymnasium (a secondary school). The Heydorns family are a part of the resistance against Hitler; they consider that it was too dangerous for young Grothendieck to stay in Germany, so in 1939 the Heydorns sent him to France to join his parents. However, because of the outbreak of World War II all German in France were required by law to be sent to special internment camps. Grothendieck and his parents were arrested and sent to the camp, but fortunately young Alexander Grothendieck was allowed to continue his education at a village school that was a few miles away from the camp.