From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2677 Path: news.gmane.org!not-for-mail From: "John Baez" Newsgroups: gmane.science.mathematics.categories Subject: Modeling infinitesimals with 2x2 matrices Date: Wed, 28 Apr 2004 17:54:01 -0700 (PDT) Message-ID: <200404290054.i3T0s1P21354@math-ws-n09.ucr.edu> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241018822 5284 80.91.229.2 (29 Apr 2009 15:27:02 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:27:02 +0000 (UTC) To: categories@mta.ca (categories) Original-X-From: rrosebru@mta.ca Thu Apr 29 12:43:07 2004 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 29 Apr 2004 12:43:07 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1BJDfL-0004Vv-00 for categories-list@mta.ca; Thu, 29 Apr 2004 12:41:35 -0300 X-Mailer: ELM [version 2.5 PL6] Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 57 Original-Lines: 58 Xref: news.gmane.org gmane.science.mathematics.categories:2677 Archived-At: Vaughan Pratt writes: > Why not model d as the matrix > > 0 1 > 0 0 ? > > This is a perfectly good quantity, adding and scaling just like any > real, e.g. > > 2d = 0 2 > 0 0. > > And obviously d^2 = 0. Part of this idea is implicit in the usual algebraic geometry treatment of infinitesimals as nilpotents. In addition to the usual "point", such that complex functions on this space form the commutative ring C, algebraic geometers like to think about the "point with nth-order nilpotent fuzz", such that complex functions on this space form the commutative ring C[d]/. They visualize this as a space slightly bigger than a point: just big enough to tell the difference between the function 0 and the function whose first n-1 derivatives equal zero! To deal with this sort of "space" in a precise way, someone like Grothendieck invented the category of affine schemes, which is just the opposite of the category of commutative rings. But affine schemes are happier as part of a larger category of schemes... and thus topos theory was brought kicking and screaming into the world. To see how this led to a really nice treatment of infinitesimals, see: F. William Lawvere, Outline of synthetic differential geometry, available at http://www.acsu.buffalo.edu/~wlawvere/downloadlist.html or Anders Kock, Synthetic Differential Geometry, Cambridge U. Press, Cambridge, 1981. But, it's also tempting to embed the commutative ring C[d]/ into the noncommutative ring of nxn complex matrices, by letting d be a slightly off-diagonal matrix, like this: 0 1 0 0 0 0 1 0 (in the case n = 4) 0 0 0 1 0 0 0 0 (Vaughan is considering the case n = 2.) And this is more like how Alain Connes thinks of infinitesimals: as part of the bigger world of noncommutative geometry! Best, jb