From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7372 Path: news.gmane.org!not-for-mail From: Ronnie Brown Newsgroups: gmane.science.mathematics.categories,gmane.science.mathematics.algtop Subject: discrete vector fields (R. Forman) and markings on cell complexes (D.W. Jones) Date: Fri, 06 Jul 2012 07:52:50 +0100 Message-ID: Reply-To: Ronnie Brown NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1341578483 10871 80.91.229.3 (6 Jul 2012 12:41:23 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 6 Jul 2012 12:41:23 +0000 (UTC) To: algtop , category bulletin Original-X-From: majordomo@mlist.mta.ca Fri Jul 06 14:41:20 2012 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.80]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Sn7qY-00082F-CX for gsmc-categories@m.gmane.org; Fri, 06 Jul 2012 14:41:18 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:54339) by smtpx.mta.ca with esmtp (Exim 4.77) (envelope-from ) id 1Sn7q6-0006dK-O7; Fri, 06 Jul 2012 09:40:50 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Sn7q6-0004sX-Hr for categories-list@mlist.mta.ca; Fri, 06 Jul 2012 09:40:50 -0300 User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:13.0) Gecko/20120614 Thunderbird/13.0.1 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7372 gmane.science.mathematics.algtop:417 Archived-At: Graham Ellis has drawn my attention to the notion of *discrete vector field* on cell complexes due to R. Forman, and on which a number of papers may be found. Graham has some notes for the lecture he gave at Bedlewo, June 24-30, "Dynamics, Topology, Computation". http://hamilton.nuigalway.ie/Berlin/bedlewo.pdf which uses this notion. I found, and Graham agreed, that this notion is equivalent to the notion of "marking" for a cell complex developed in David W Jones Bangor PhD Thesis, (1984), published as "A general theory of polyhedral sets and the corresponding {$T$}-complexes}.{Dissertationes Math. (Rozprawy Mat.)} \textbf{266} (1988) 110pp.*MR0968920* The initial problem solved in this thesis was to define an appropriate notion of "polycell" which would allow a notion of "poly-set" as a contravariant functor from a category of poly cells and inclusions of faces, these polycells to be sufficiently general to include, say, rhombic dodecahedra, and also the cells which occur in van Kampen diagrams for groups. (One thinks also of Stasheff's polytopes.) Such cells had to be regular cell complexes, with one top dimensional cell, and to rigidify the notion such a cell, and all it's subcells, were to be given the structure of a cone on its boundary. Then, and this is the key notion, each cell was to have a marked (distinguished) face. This is equivalent to an arrow pointing from the interior of the cell to that marked face (the opposite direction to Forman's notion!). A final condition required for the further development of the theory was that of shellability. There is more discussion of this work on http://ncatlab.org/nlab/show/T-complex Thus the marking notion is seen to be equivalent to Forman's notion. I feel the reaction should be that if a notion occurs independently and from quite different viewpoints, then the notion is not just twice as good but maybe four or more times as good! (I got this kind of gut feeling in 1967 when George Mackey told me of his work on groupoids in ergodic theory, after a lecture mine on the fundamental groupoid and van Kampen's theorem.) I hope people will be able to look at David Jones' thesis, and other related work he developed there, and see if the work is useful in the increasing applications of discrete vector fields. I hope also the motivation behind his thesis can be developed further. Are these methods related to those of opetopes in higher category theory? Ronnie Brown [For admin and other information see: http://www.mta.ca/~cat-dist/ ]