From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4551 Path: news.gmane.org!not-for-mail From: wlawvere@buffalo.edu Newsgroups: gmane.science.mathematics.categories Subject: Re: KT Chen's smooth CCC Date: Mon, 8 Sep 2008 15:04:00 -0400 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1241020021 13807 80.91.229.2 (29 Apr 2009 15:47:01 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:47:01 +0000 (UTC) To: "categories" Original-X-From: rrosebru@mta.ca Mon Sep 8 21:15:52 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 08 Sep 2008 21:15:52 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Kcqns-0003LV-7Q for categories-list@mta.ca; Mon, 08 Sep 2008 21:09:56 -0300 X-Atmail-Account: wlawvere@buffalo.edu Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 21 Original-Lines: 138 Xref: news.gmane.org gmane.science.mathematics.categories:4551 Archived-At: [Note from moderator: with apologies to the poster, this is being resent since some of you will have received a version with some corrupted characters.] There are no > objections to continuing to develop Chen's theory of "differentiable > spaces" Indeed on 8/17, 8/26, and 8/27 I urged the continuation of the development of Chen's theory (for example the smooth space of piecewise smooth paths), making use of recent experience of the range of possible categories. It is possible that >sheaves on a concrete site can never serve as a framework > for differential geometry with infinitesimals. But a proof would require a definition of what is meant by infinitesimals, as well as the constraint on the framework that the maps 1->R and R->R are the standard ones. Otherwise nonstandard analysis might fit. The nilpotents or germs capture the Heraclitian nature of motion in a way that abstract sets do not directly. The misplaced concreteness, according to which >spaces are [single] sets equipped with extra structure is only a "second aspect of the default paradigm. The first aspect, successfully overcome by the named pioneers, is the one generalizing the default category of topological spaces (or locales). Here "default" refers to the habitual response to the frequently occurring need to specify a background category of cohesion in which to interpret our algebra. The generalization from Sierpinski-valued functions (open sets) to real-valued, has also been proposed, but that sort of attempt never succeeded in yielding a simple theory of map spaces. In contrast to this "function-algebra X/R as primary" paradigm, the semi-dual "figure-geometry S/X as primary" has led to good map spaces (including internal function algebras) for many authors (Sebastiao e Silva, Fox, Hurewicz 60 years ago and several more recent). I believe that attempting to force nearly-perfect duality has in general not led to good results, but of course one studies the extent to which a monad (presumed identity on models S) approximates the identity on general spaces. For example, Froelicher=E2=80=99s duality condition applies not only to the line R but to the function space R^R, a non-trivial fact about the smooth case, derived by LSZ from a study of distributions of compact support (so citing it is not just name-dropping). Bill On Tue 09/02/08 6:00 PM , John Baez baez@math.ucr.edu sent: > Bill Lawvere wrote: >=20 > >By urging the study of the good geometrical ideas > and constructions of>Chen and Froelicher, as well as of Bott, Brown, > Hurewicz, Mostow, Spanier,>Steenrod, I am of course not advocating the > preferential resurrection of>the particular categories they tentatively > devised to contain the>constructions. >=20 > I chose Chen's framework when Urs Schreiber and I were doing some work > in mathematical physics and we needed a "convenient category" of > smoothspaces. I decided to choose one that was easy to explain to people > brainwashed by the "default paradigm", in which spaces are sets > equippedwith extra structure. Later I realized I needed to write a paper > establishing some properties of Chen's framework. By doing that I > guessI'm guilty of reinforcing the default paradigm, and for that I > apologize. > If I understand correctly, one can actually separate the objections > to continuing to develop Chen's theory of "differentiable > spaces"into two layers. >=20 > Let me remind everyone of Chen's 1977 definition. He didn't state > it this way, but it's equivalent: >=20 > There's a category S whose objects are convex subsets C of R^n > (n =3D 0,1,2,...) and whose maps are smooth maps between these. > This category admits a Grothendieck pretopology where a cover > is an open cover in the usual sense. >=20 > A differentiable spaces is then a sheaf X on S. We think of > X as a smooth space, and X(C) as the set of smooth maps from C to X. >=20 > But the way Chen sets it up, differentiable spaces are not all > the sheaves on S: just the "concrete" ones. >=20 > These are defined using the terminal object 1 in S. Any convex set > C has an underlying set of points hom(1,C). Any sheaf X on S has an > underlying set of points X(1). Thanks to these, any element of X(C) > has an underlying function from hom(1,C) to X(1). We say X is > "concrete"if for all C, the map sending elements of X(C) to their underly= ing > functions is 1-1. >=20 > The supposed advantage of concrete sheaves is that the underlying > set functor X |-> X(1) is faithful on these. So, we can think of > them as sets with extra structure. >=20 > But this advantage is largely illusory. The concreteness condition > is not very important in practice, and the concrete sheaves form not > a topos, but only a quasitopos. >=20 > That's one layer of objections. Of course, *these* objections > can be answered by working with the topos of *all* sheaves on S. > This topos contains some useful non-concrete objects: for example, > an object F such that F^X is the 1-forms on X. >=20 > But now comes a second layer of objections. This topos of sheaves > still lacks other key features of synthetic differential geometry. > Most importantly, it lacks the "infinitesimal arrow" object D > suchthat X^D is the tangent bundle of X. >=20 > The problem is that all the objects of S are ordinary > "non-infinitesimal"spaces. There should only be one smooth map from any = such space to D. > So as a sheaf on S, D would be indistinguishable from the 1-point > space. > So I guess the real problem is that the site S is concrete: that is, > the functor assigning to any convex set C its set of points hom(1,C) > is faithful. I could be jumping to conclusions, but it seems to me > that that sheaves on a concrete site can never serve as a framework > for differential geometry with infinitesimals. >=20 > Best, > jb >=20 >=20 >=20 >=20 >=20 >=20 >=20 >=20