From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5980 Path: news.gmane.org!not-for-mail From: Colin McLarty Newsgroups: gmane.science.mathematics.categories Subject: Re: Grothendieck's relative point of view Date: Thu, 8 Jul 2010 08:16:32 -0400 Message-ID: References: Reply-To: Colin McLarty NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: dough.gmane.org 1278684292 17595 80.91.229.12 (9 Jul 2010 14:04:52 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 9 Jul 2010 14:04:52 +0000 (UTC) To: categories@mta.ca Original-X-From: categories@mta.ca Fri Jul 09 16:04:51 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1OXEC9-0005r5-E1 for gsmc-categories@m.gmane.org; Fri, 09 Jul 2010 16:04:49 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1OXDbp-0004K1-6c for categories-list@mta.ca; Fri, 09 Jul 2010 10:27:17 -0300 In-Reply-To: Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5980 Archived-At: 2010/7/7 Eduardo J. Dubuc : > Graham White wrote: >> >> I'm looking for some history of what seems to be called "Grothendieck's >> relative point of view": > > What about "Grothendieck's change of base", so much used in SGA4, and > extensively advocated and used by Joyal and others by considering the > category of Grothendieck topoi over a given Grothendieck topos (not Sets) ?. It is an interesting question exactly how Grothendieck came to this. The Grothendieck-Riemann-Roch probably was the first thing that made the idea prominent. But Grothendieck would also have been encouraged to think this way by his interest in sheaves (of sets) and the more-or-less well known fact (in the 1950s) that the idea of a "sheaf X over a sheaf S on space T" has two equivalent definitions: as either an arrow in the category of sheaves on T, or a local homeomorphism to the espace etale of the sheaf S. This is just the special case of what Eduardo remarks, a slice topos over a spatial topos is again a spatial topos. These things arose in the 1950s. But in itself, the relative point of view is an extension to geometry of the usual practice in algebraic number theory which goes back before the 1850s. An algebraic number field is not just a field but a field extension. We constantly view it as an extension of the rational field. But more than that, number theorists have long focused on questions about, say, all cyclic extensions of any fixed algebraic number field, or which groups can occur as Galois groups of one algebraic number field over another. And those are just the natural outgrowths of a much older question, clarified by Abel and Galois but asked long before (e.g. it is the subject of Euclid Book X, stated in terms of constructions rather than polynomials): If a given polynomial has no rational roots, does it have roots expressible in terms of square roots of rationals, or n-th roots? best, Colin [For admin and other information see: http://www.mta.ca/~cat-dist/ ]