WEBVTT 1 00:00:03.389 --> 00:00:18.240 Robert Bruner: This is a brief introduction to the basic features of the exit code which I spoke about in the E ch T seminar on the 30th of September, this is the first of three videos this one shows how to find a module and how to compute a minimal resolution part. 2 00:00:20.490 --> 00:00:40.230 Robert Bruner: The modules we're going to use as our samples are those which occur in a little co fiber sequence here let's let me the cosmology of Bo one which is this for cell complex, so the M itself has four generators over if to integrate 046 and seven. 3 00:00:41.250 --> 00:00:46.860 Robert Bruner: With a square for connecting the bottom two and then square two and then square one we're going to. 4 00:00:47.370 --> 00:00:54.840 Robert Bruner: Look at the Co fiber sequence to sits in which has Ko Phi renew sitting at the bottom and six suspension of co fiber to at the top. 5 00:00:55.590 --> 00:01:10.350 Robert Bruner: And this is when we apply cosmology scope every sequence we get sure the exact sequence here where am one is the smallest Magellan which square ones none zero and four is the smallest Magellan which square for is non zero and in. 6 00:01:11.310 --> 00:01:25.290 Robert Bruner: module up here now, the way the code works, the F2 generators have a module are numbered starting with zero so the for generators in em will be number 012 and three will come back to a minute. 7 00:01:25.680 --> 00:01:32.400 Robert Bruner: And what we'll see in a second lecture will be lecture demonstration will be how to compute the. 8 00:01:33.780 --> 00:01:49.440 Robert Bruner: induced maps in X coming from this, but first let's just create the modules Okay, so what we're going to do is create the module definition files for these three will use the command new module to install them in the process will show how to use how to. 9 00:01:50.970 --> 00:01:58.830 Robert Bruner: enhance the sort of obvious parts of the definition to get the complete definition and it will compute the resolution collect all that data. 10 00:01:59.190 --> 00:02:07.140 Robert Bruner: Create Adams charts for them, then we'll actually join all three items charts into one so just a nice little demonstration of how the atoms church are. 11 00:02:08.310 --> 00:02:21.330 Robert Bruner: designed to be used okay so let's go to a directory where we can do all this, I have one called co home test, and since we're going to be working with a modules rather than a two modules. 12 00:02:22.020 --> 00:02:31.620 Robert Bruner: we're going to go down into the directory a now we want to create the first module m m one Okay, so I am going to. 13 00:02:32.580 --> 00:02:47.700 Robert Bruner: read a file m one death in the module definition file for em one says that there are two is two dimensional over if to the two generators are at zero degrees 01 and there's a. 14 00:02:48.720 --> 00:02:56.850 Robert Bruner: generator zero as a square one, acting on it, which has one term in it and that consists of generator one next to that. 15 00:02:58.050 --> 00:03:12.810 Robert Bruner: So, now that we've got that we can install it to the computer a new module am one oh and here's an interesting feature of all the commands if you invoke the command with the wrong number of arguments it'll tell you how to be used. 16 00:03:13.830 --> 00:03:32.700 Robert Bruner: So this tells you that new module needs the name of the module that's going to be the directory, in which the resolution is computed and stored and module def is the module definition okay so and one will be the director and we'll use this file I just created my one F. 17 00:03:33.720 --> 00:03:34.440 Robert Bruner: Okay, it. 18 00:03:36.030 --> 00:03:43.230 Robert Bruner: Created the directory it went to check the module definition for correctness, it had no errors report, so we can just go down into one now. 19 00:03:43.950 --> 00:04:00.180 Robert Bruner: And compute let's say let's go from dimension zero to 40 that'll be nice and quick i'm going to run this in the background, so I can do some other things same time Okay, so now let's go back up to notice we're in em ones directory and then go back up to the aim. 20 00:04:01.200 --> 00:04:07.200 Robert Bruner: steam right algebra a's resolute directory now and I will create and for. 21 00:04:08.370 --> 00:04:20.280 Robert Bruner: me it's definition looks like to generators now, these are in degrees your own for and generator zero has a square for on it, which consists of one term and that's generator one. 22 00:04:24.180 --> 00:04:25.200 Robert Bruner: module. 23 00:04:26.700 --> 00:04:29.820 Robert Bruner: And for him for death. 24 00:04:31.710 --> 00:04:38.100 Robert Bruner: Okay again no problems will go down into him for and start computing actually type it correctly. 25 00:04:39.960 --> 00:04:41.220 Robert Bruner: After will start the. 26 00:04:42.780 --> 00:04:53.490 Robert Bruner: One I mean dot dot C D m for Robert okay there we are okay, so now let's compute the resolution from degrees zero to 40 for this as well. 27 00:04:54.240 --> 00:04:59.490 Robert Bruner: And again we'll run that the background, I actually look at what jobs are running and see both of these are still running here. 28 00:05:00.120 --> 00:05:15.300 Robert Bruner: Okay, so now let's go back up to the modules directory and let's start creating the middle the module definition file for the middle much now if I think about this there's some obvious entries here. 29 00:05:18.090 --> 00:05:25.650 Robert Bruner: mainly the square for the square to in the square one, so first we tell it is for generators there any reserved for six and seven. 30 00:05:26.250 --> 00:05:41.820 Robert Bruner: i'm generator zero there's a square for which is one term is generator one on generator one there's a square to this is one term and that's generator number two on generator to there's a square one, it has one term minute and it's generator number three. 31 00:05:43.530 --> 00:05:54.510 Robert Bruner: Number remember the DEMO relations you'll know that that's not actually going to be that story, but we'll see that happen automatically so it's good okay so let's install the module now new module. 32 00:05:57.900 --> 00:06:00.360 Robert Bruner: And that definition I just created. 33 00:06:01.440 --> 00:06:09.780 Robert Bruner: uh huh now, when we see here, and it was checking the module definition for correctness it reported some errors so let's go down into. 34 00:06:10.800 --> 00:06:15.660 Robert Bruner: The directory for him and see what they are this program new consistency. 35 00:06:17.430 --> 00:06:27.450 Robert Bruner: Know tell us the old program consistency just gives us a very brief summary of what's wrong here, it says the Adem relation that starts out square to square for. 36 00:06:27.840 --> 00:06:33.810 Robert Bruner: when applied to generate or zero didn't produce a zero like it should have okay new consistency tells us. 37 00:06:34.290 --> 00:06:42.240 Robert Bruner: Also, what the whole the DEM relation is okay so jumpy them relation square to script for plus square six plus square five square one. 38 00:06:42.900 --> 00:06:49.290 Robert Bruner: Applying that to the bottom generator here, we see that square square ones, obviously zero there's nothing degree one. 39 00:06:50.010 --> 00:07:05.010 Robert Bruner: square six well we didn't define a square six and that's the problem squared C square for took us from generators here's a generator to its course six should do the same so let's go and look let's go into the definition now and fix it. 40 00:07:06.750 --> 00:07:10.260 Robert Bruner: I will add the square six here which. 41 00:07:11.370 --> 00:07:12.930 Robert Bruner: generator zero the generator to. 42 00:07:13.980 --> 00:07:18.390 Robert Bruner: Alright, so now okay bye now you see also both of the. 43 00:07:19.560 --> 00:07:34.170 Robert Bruner: Jobs are done job one is done in job is done so, the other two resolutions have been computed at to be 40 candidates we've already done next step Okay, so now let's run new consistency and see how it likes it and still not good. 44 00:07:35.190 --> 00:07:50.550 Robert Bruner: Okay, so what's the problem now square one square six plus square seven applied to generate or zero is not zero should be zero of course Okay, so we go back into the definition and there we go there's The problem we should have had a square seven here as well. 45 00:07:53.070 --> 00:08:09.840 Robert Bruner: Okay, so we add that it gives us generator three and you know we we know the damn relations law, and if we also know, there should be a square three on this guy on January one here, so let me just put that in right now so generator one place where three to it. 46 00:08:10.920 --> 00:08:22.020 Robert Bruner: That takes you to generate your two and then for their generators Okay, so it should be correct now it's running new consistency and sure enough no errors are reported OK, so now we can do, they can compute. 47 00:08:24.030 --> 00:08:25.470 Robert Bruner: The resolution for this module. 48 00:08:26.580 --> 00:08:35.130 Robert Bruner: set that going well, now that the resolutions for me one and in Florida let's go up there and compute the. 49 00:08:38.160 --> 00:08:43.470 Robert Bruner: create two files for those okay so let's go back here to our little summary of what we're doing. 50 00:08:45.420 --> 00:08:57.690 Robert Bruner: Okay, so we've used new module to install them and we're using the Dems to compute the resolutions now using a report we're going to collect the data is generated and create out of charts using church okay so. 51 00:08:59.070 --> 00:09:03.960 Robert Bruner: Okay, so go over we're down in em one NASA report. 52 00:09:05.340 --> 00:09:11.820 Robert Bruner: It could produce a text summary of the output as well we don't really want that, today, so. 53 00:09:13.770 --> 00:09:17.400 Robert Bruner: If you want more details on any of this, you can go look at the. 54 00:09:18.540 --> 00:09:27.810 Robert Bruner: paper that genre Agnes night put on archive when we posted the database that the N ar ar D database repository. 55 00:09:28.290 --> 00:09:37.170 Robert Bruner: And it just gives it gives a more complete description of file format and all of these techniques okay so church, let me show you the. 56 00:09:37.590 --> 00:09:47.370 Robert Bruner: invocation you give it the high and low, the low and the high filtration so low and the high geometric degrees this file shape and hai malts. 57 00:09:47.820 --> 00:09:57.360 Robert Bruner: Those actually recreated by report so let's look at those here as a files are most recently created after creating all these differentials in computing the. 58 00:09:57.960 --> 00:10:13.770 Robert Bruner: Resolution we have it create the command report generated the file shape and the file hmm bolts here, in particular, those are the ones that we need for the charts Okay, so now let's go back to create the chart let's go from general. 59 00:10:15.180 --> 00:10:22.920 Robert Bruner: filtration zero to 12 i'm gonna it's fairly low, but i'm going to fit all of these into a single file in a minute, so that. 60 00:10:24.090 --> 00:10:25.260 Robert Bruner: The more convenient. 61 00:10:26.880 --> 00:10:43.680 Robert Bruner: hmm models, now the next one is the output file let's just call this one tech, and then the label that goes into the caption the tech caption for the figure that generates so i'll just call it that one alright, so now that we've got that chart. 62 00:10:44.910 --> 00:10:47.370 Robert Bruner: Open is the sort of generic. 63 00:10:48.840 --> 00:11:00.300 Robert Bruner: MAC command to do whatever is appropriate to the file and that's in one tech open will fire up tech shop for me what types at this. 64 00:11:01.980 --> 00:11:04.890 Robert Bruner: And if you're at all familiar with the. 65 00:11:06.390 --> 00:11:13.140 Robert Bruner: My to more space, this should remind this should be quite familiar here the lightning flashes connected by. 66 00:11:13.590 --> 00:11:18.990 Robert Bruner: News hooking the bottoms of the lightning places together up on the edge and then some more stuff here. 67 00:11:19.470 --> 00:11:33.810 Robert Bruner: Okay, and you can see that we calculated out to Internet agree 40 and stop there by this vanishing line along this edge of here okay so put that to sleep for a moment do the same thing, and the other two directories. 68 00:11:36.450 --> 00:11:47.940 Robert Bruner: Report always should do that to bring all the data up to date here and then shirt i'm going to just use practically the same chart command because I went the same size. 69 00:11:50.100 --> 00:11:50.610 Robert Bruner: Of. 70 00:11:51.690 --> 00:11:59.400 Robert Bruner: tech figure here, but now I call it in for him for tech. 71 00:12:01.770 --> 00:12:02.820 Robert Bruner: Type types it that. 72 00:12:06.270 --> 00:12:22.620 Robert Bruner: This may be slightly less familiar secure fiber of new Okay, you see, we killed off new in this release them here, and then it starts to that effect of that, of course, is to create it for sell a fourth dimension for generator starting filtration three here. 73 00:12:23.820 --> 00:12:43.290 Robert Bruner: And you know we'll look at the more detail in a minute, so now let's go to the third much we created em and again run report to collect the data and now the church command now just call it M and tick. 74 00:12:49.230 --> 00:12:51.480 Robert Bruner: Okay types it this. 75 00:12:52.830 --> 00:12:54.540 Robert Bruner: Okay, in this maybe. 76 00:12:55.650 --> 00:12:58.500 Robert Bruner: Even less completely familiar. 77 00:13:01.380 --> 00:13:01.770 Robert Bruner: But. 78 00:13:02.820 --> 00:13:15.060 Robert Bruner: You see, the effect of killing off the new and with the four cell and then actually killed off Ada on the on the for sale here, etc okay now. 79 00:13:15.780 --> 00:13:29.580 Robert Bruner: next thing I want to show you is how to use these tech files and in fact I don't really let's I don't really need him to take anymore, so I got rid of that let's cut be okay let's think about this for a second. 80 00:13:31.740 --> 00:13:39.120 Robert Bruner: We have cool five renewed going into be one with quotient Sigma six collaborative giving us this long exact sequence. 81 00:13:40.140 --> 00:13:58.110 Robert Bruner: So let's put the Co fiber of new at the top of the page, be a one in the middle and m one at the bottom, and then the connecting map will, and then the induced maps in ext and display these module maps or by the geometric maps from go fiber new to be a one etc. 82 00:13:59.280 --> 00:14:15.810 Robert Bruner: Those will map those three x down the page and then the boundary map will go from the bottom around to the top okay so let's do that now let's copy and tech into let's call it le s for long exact sequence. 83 00:14:17.490 --> 00:14:22.530 Robert Bruner: Who would not do that let's actually first put em for. 84 00:14:25.980 --> 00:14:26.250 Robert Bruner: i'm. 85 00:14:28.110 --> 00:14:33.030 Robert Bruner: Here at the top and then we'll add the others after that okay now. 86 00:14:35.130 --> 00:14:37.230 Robert Bruner: So good and now let's just add. 87 00:14:40.440 --> 00:14:42.840 Robert Bruner: The end of Las tech. 88 00:14:47.280 --> 00:14:50.070 Robert Bruner: and one that tech at the bottom. 89 00:14:54.960 --> 00:14:56.550 Robert Bruner: let's go in and Edit. 90 00:14:59.430 --> 00:15:01.740 Robert Bruner: Open this week just watch what it looks like. 91 00:15:03.840 --> 00:15:14.790 Robert Bruner: Okay, if I type set this of course all we're going to see is that first co fiber new sitting here at the top, because we'll see in a second and let's go in and look at the file now. 92 00:15:16.800 --> 00:15:23.220 Robert Bruner: Okay, so you can see here at the top, there is just a tiny little bit of tech header. 93 00:15:25.500 --> 00:15:27.720 Robert Bruner: before it starts to. 94 00:15:29.130 --> 00:15:34.530 Robert Bruner: Do this take the picture here, so the tix the pictures, the vast majority of this. 95 00:15:35.640 --> 00:15:54.600 Robert Bruner: So what we'll do now, if you go down to the end of this you'll see the end document here has caused it to only display and four so we'll get rid of the end document there in the tech hitter and now we'll start in the new figure for me, taking the middle if I now. 96 00:15:55.740 --> 00:15:58.470 Robert Bruner: write this out in three types at this. 97 00:15:59.760 --> 00:16:14.310 Robert Bruner: You see it's now added m tech there, and you can kind of see what the induced map is going to look like from co fiber of new and to be a one here already now let's go ahead and get rid of the other and document. 98 00:16:15.990 --> 00:16:20.670 Robert Bruner: and incorporate the rest of this in one. 99 00:16:22.770 --> 00:16:23.880 Robert Bruner: that take into here. 100 00:16:27.150 --> 00:16:47.400 Robert Bruner: Okay, so now let's make this a little bit bigger and move it over to the middle of the page and there we go this gives us the line exact sequence in X, corresponding to this co fiber sequence that we started with here go fiber new to be open to seeing the six co fiber two. 101 00:16:48.600 --> 00:16:48.960 Robert Bruner: and 102 00:16:50.550 --> 00:16:57.150 Robert Bruner: that's it, I will, in the next section, the next video I will show you how. 103 00:16:58.980 --> 00:17:02.520 Robert Bruner: To start creating the map definition files that link these up.