Now, I will explain the serial control, the way we catalog the book the same way we need to catalog the serial journals which we continuously based on the frequency of the journal we receive it. There are two things here, one is the vendor, the another one is the item, item type is the journal in this case, the journal may be the magazine or newspaper or periodicals or anything. We need to establish in serial control case, we need to remember three important aspect one is the big by D that is the journal, the second one is the vendor, if you have both you need to connect this both, the way we are placing the order for the book the same way for the journal also you need to connect this one. I will show you first how to create one bibliographic record of the journals then I will either I will use the existing vendor or I will create the new vendor then I will start the subscription. After making the subscription we will start receiving the issues that we need to plan it all these three things I will show you all are in main page only you click serial there is called new subscription click new subscription did you got this one add a new subscription since you have already created a vendor what is you search that vendor that is sci-tech or something every one of you got this one then select choose now I think we have not created any journals. So, you can create a create a record click create a record and enter a minimum bibliographical details here. So, I will go directly serial two which means two fortified title I will all of you type science magazine science probably you do not need a majority of the details the way you enter for the books. What is happening is when you are adding any journal subscription in Koha the title of the journal needs to be available somewhere am I right the title publisher when it is published since when it is published who is the publisher year of publication all these details has to be there somewhere. So, for somewhere means you have to have those details in the cataloging area. So, what Manju is trying to do is he is adding one journal title name in your bibliographic data. Just two fortified I entered the title of this magazine science then you if you know the publisher and all those things immediately you can enter it or if you minimum details if you can carry also another important difference between books and serial is that you need to put it in three zero zero in what is the frequency of this magazine three one zero is the publication frequency you can see that you can hear what is the frequency of those the maximum you can define it suppose I will put it here the weekly. So, science is monthly you have to enter in three hundred and ten dollar eight tab weekly as an option. Here also in case if you need the which subject it deals in six five zero the journal the science magazine subject field you can enter it which this is a keyword use your basically it deals with multidisciplinary you can enter this is a general science you can repeat also this one a again multidisciplinary I know that who is the publisher the publisher is triple A S this much minimum level I know later on we can update it item type instead of book you need to select serial the difference so I will save it the compulsory minimum fields you need to select it yeah who is there yeah I will go once again to serial yeah at the time of receiving so you can define where to it did not understand see we have added the cataloging details and then you you have got the item details space there you have the barcode option there so you are not giving any accession number you have only created a bibliographic entry of a journal which you want to use for renewing your subscription of journals ok. So, you have to leave it there itself and come back to your series module ok since I have already entered this bibliography details I will search this science magazine so what basically I am looking ok I am connecting the these two record bibliographical record as well as a vendor to play to subscribe this magazine science you see that choose the which the magazine which I entered the which library you can since we are ITB library we are doing you can select that which library we are subscribing here we can define that since a weekly magazine is a weekly you can give grace period at least three days or four days ok after that week you can expect this one I will give three days as a grace period pattern notification location yeah as soon as it comes probably we will put it on display so I will select the location serial I will click the next now number of issue to display to stop so we can define that how many issue can be shown in the stop interface suppose if it is a hundred ok we are on 52 yearly we receive it all the 52 will be a big junk to show the stop so only latest 4 or 8 can be displayed so you can define those number of entries here in both stop interface as well as what pack you can define as much as you put it a minimum here then I will click here I will put 8 the pack usually user will expect most latest issue of that magazine so I will put here 4 so then I will click the next you need to define here the planning ok usually the journal we subscribe for a year ok from January to December we need to define that subscription starting date and the ending date so when subscription starts January 1st 2017 frequency 1 per week subscription length I can define it at all months 52 issues 52 issues of first issue as well as subscription period both January 1st and subscription ends with 31st December 2017 here you can define that the which number the which way you want the pattern like volume number issue number I will show you the different numbering pattern you see that usually the volume number and issue we usually practice this one assume that this is around new volume ok this is around new volume begin with for 2017 around 152 volume since I selected this one volume and number I will select the volume and number let me volume is 152 the issue I will take it as a January as the issue number first one this issue number should be followed by volume number I will predict this one how it will look click test predict you see that yeah due to this 12 when more than 52 still it is 152 is going on the third ok every 12 every 12 every 52 begins with 152 number 1 I will select the volume number I will add 1 every 52 issue ok what the volume now set back nothing we will do a 7 new pattern every 52 that is what I had I had said that we did not one second let me see what happens now ok now anyway 152 is there ok now here every 52 no no no now it is correct monthly 1 now every month it will not every year volume will change now volume I do not want to change the volume now I think it should work now I have 52 no no no year I think it should work year 52 am I right correct now correct now it is correct ok so anyway this is how you can predict predict the prediction pattern so basically that you can and then start receiving the issue you see that once you define that frequency and as well as the volume number pattern so automatically it shows that expected the issues of publications you can click the receive it since it is already since we are how many or we are going to receive this one so as soon as this one first one if you receive this one just you can see that you whatever you are going to receive that one you can arrive it yes see that is the one volume one the issue 1 152 I received it like that you can receive the all the 52 issues or either at a time at the end or every month you can receive that after week as soon as week passes since year the disadvantage here is that still it is not connected to accounting so you can receive only the issues here you can do the subscription you can do the receiving that one once you receive that the binding and other things you can take care the next stage even binding also at currently it is not supporting for whereas this is for print journal but whereas resources you need not to do that any prediction just if you put a bibliography details and 856 that URL of that journal the probably every year you can renew it you compare to the print as well as online what we did we created a vendor we created a subscription then we receive the invoice these are the three important things in serial control the only the major task is that you need to predict plan it properly the way currently which I did something wrong so if you do not put it properly that issue number volume number pattern and predict something it will go wrong another advantage here in manual system suppose if you do not receive any particular issue we supposed to send it manually through so these are all the issue we have not received please supply it but here whereas if you set a email after 3 days I given a grace period 3 days if I do not receive within a 3 days automatically mail it will goes to particular supplier ok these are all the following the issue you have not supplied please supply it so you can define that note at the end after subscription is over you can create the generate the report here how many I received how many I not received how many I claim how many late or expected all the details here that is all in serial control so you can practice it monthly and yearly and also unexpected you do not know which issue will come in any year and we are undefined so within a year 3 may come or 4 may come those things also you can select it in a pattern of frequency in serial control do you have any doubts which I have not covered here some unexpected issues will come other than in a frequency as well as a subscription period if you compare to the book acquisition is very simple the only you need to select properly that pattern that is all ok any queries in any module reports 1 2 3 reports ok we will show you 1 2 3 reports reports is a very simple module it just needs to you have to select fields which you need and the reports get generated koa has a huge reports library that reports library already has all the reports generated you have to copy paste put it into your koa and reports get generated but anyway I will show you 1 report it is already 4 10 we can continue we do not mind but since we have a limitation of time slot I will show you the reports how the reports are generated certainly there are many more modules which we could not cover in the today's workshop because you need at least 2 days to conduct the workshop and you fully understand get some confidence practice all that is very much important we have only shown you how exactly each module works you have to practice and then only you get a confidence on let us generate a report quickly go to home click on reports as manju has said you can generate several reports from each module ok acquisition module cataloging module serial control module you can generate the reports from circulation module all the modules you can generate the reports from and there are large number of reports which are available in koa so you do not really will not have any doubt that this report I want and it is not available in koa there are all kinds of reports available as I have mentioned in the last talk at the back end koa uses mysql technology so what happens in the whenever you do any data entry every information that you type in is going to some database some table and some field ok so all that information is stored in some field of mysql database so what you can do is you can do the permutation and combination of various of those fields and generate the reports ok by default koa allow you to now let me just show you there is a reports dictionary which is available and which has all the reports available right now we are going to learn how to generate a report that is called as guided reports wizard so all of you please click on guided reports wizard now let us imagine that you want to generate a accession register report now how you can generate an accession register report you have to go to the cataloging and you can generate now let us say guided reports wizard build new click on build new is there an option build new all of you could find ok now it is asking you from which module you want to generate a report I want to choose catalog are you all here now next ok now the report is in the form of tabular so click on next everybody is here now you can see on the left hand side there are several fields available here ok as I have said these are all the fields where you have entered some data now it is your choice which fields you want and then you can generate a report on now let us say I want first as an accession number so accession number is called as barcode I will say add are you all with me I have selected barcode now I want the title of the book so scroll down until you find title as an option there is an option here biblio.title if you remember I have been mentioning that every cataloging record in koa is called as what biblio ok so I will say select biblio.title and say add done now I want author so author add all of you are with me now I want name of the publisher and place of publication ok now where are they here is publisher yeah so add publication date add then ISBN I want add ok so you can go on selecting the fields which you want in your report all of you have selected these everybody is with me ok those who are with me now otherwise we will now click on next have you all clicked on next now it is again you are getting one big box by which you can control your report imagine that if I have selected a cataloging report and my library has millions of books my whole report will be huge so I can restrict my report by item type or by library type or I can give a barcode range that I want to generate a report on the basis of accession number 1 to 200 I can do that or I can add the restriction by date I can see that whatever books are added today I can only generate a report of those books so I can have this filtration criteria right now anyway I am not putting any filtration criteria say next now it is asking me whether which columns to total anyway I am not saying anything say next ok again still keep on saying now say finish all of you have done now what has happened is can you see here you have generated some report and it has written some SQL query this is called as an SQL query ok because it is combining several fields together and generating a report ok now let us say save give this report name as accession register everybody could do that now say save this report now what you have done in your coha installation you have generated first report that report is from which module cataloging module and this cataloging module report contains accession register details such as barcode title author name of the publisher place of publication ISBN number and year ok now once you have saved this report you can click on run this report are you all here everybody so you can see the number of books which are available in your library and I have selected the report as a pattern barcode title author publisher code publication year and ISBN number if anywhere I have not entered the data so somewhere it has the years have not come we need to check that so whatever books are added all the data will be available to you now you can download that report as a CSV file ok so that you can play with an this book is data and you can customize it or you can share the details with any library and this will be available as a excel sheet for you like if you can see here I can open with my library office cal and I can see this as my excel sheet data ok so this is how you can generate several reports in koha and now today there are 3 books tomorrow I add some 10 more books I only have to do what I have to click on saved reports and then I have to just run this report again when I click on run tomorrow whatever books are added they all will be listed out under my report ok so you have to generate the reports once and then you can run them every frequently ok and koha has a reports library if some reports you do not find you do not know how to generate them there is a reports library in koha let me show you koha report library that is a wikipage this koha reports library they already have generated all the reports you have to copy paste that report mysql statement see here news library you can think of any report and you can just copy paste this statement in your koha and you will be able to generate the report ok so report is a very easy module so anyway we already have 430 we thank you all for paying your attention and we have tried to learn in today's workshop if you have any queries we are going to answer the queries but what we have done today is we have learnt how to set up global system preferences how to use acquisition module how to use cataloging module how to use circulation module how to use serial control module and how to use reports module of course we could not go into more details because it was for one day you really cannot learn everything in one day you need to at least have a practice for 2 or 3 days but I we hope we could make you aware about what are the strengths of koha there would certainly be some weaknesses of koha and I request you if you all have any questions please let us know ok thank you


It's some little discussion about the GPRS support in Osmo-KomBB. The question about support was started when we have been doing some testing of Osmo-PCU or so on. And T-RexCon at the moment doesn't support anything related to GPRS. There is why we need GPRS support in Osmo-KomBB. Again, it's testing for... Sorry? Not sure. Oops. Yeah. Okay. It's a TTC testing of PCU and Osmo, blah, blah, blah. It can support researchers who is going to research GPRS. And it's a good feature for Osmo-KomBB, I think. My ideas are listed here. I imagine these like separate layer 2-3 application like mobile, which creates a new network interface, which you can see in the... Ifconfig comment and you can do any routing or filtering wherever you want. And yeah, it also should implement some RLC mark layers of GPRS and other protocol related stuff. And some parts are already in the master of Osmo-KomBB because we have GPRS decode utility there. And we can share them somehow in some library and so on. I don't think we will care about Calypso phones because it's too hard. And we are excited too much things are working differently in DSP, in this mode. And for now, I would like to focus on software-defined radio, physical interface, or even only on virtual interface. In any case, it will work via T-RxCon. And we have more or less flexible shader implemented. And channel coding is also was implemented, but not tested because no higher levels are there. And we can use, I think, GRJ-S-M transceiver because it supports JMSK modulation. Nothing special about GPRS. But for edge, some coding schemes require HPSK modulation, but Fyotr was going to work on it. At least, I think. It's not the high-priority task. It's just some ideas. And I have the following questions. For example, let's imagine we have one GPRS packet data related time slot, and on the BTS site, and as I understand multiple subscribers may use this time slot at the same time, correct? And how a single subscriber can distinguish between data for this subscriber or for other subscribers? You have in the Mac header, you have the TFI, the temporary flow identifier. So, basically, at the TBF establishment, the TBF has a separate number space for uplink and downlink TBFs, but this is now downlink from the phone point of view. So, the TFI is encoded, and based on the TFI, you can demultiplex. So, you can have, I think, in GPRS, you can have up to eight different TBFs sharing one PDCH. And the identifier, basically, you read every Mac header, you check the identifier, you discard everything. That's not for you, and you only filter based on that. Okay, that's clear. And what about transmission at which time I can transmit at which I cannot? How can I understand? May I transmit bursts at the moment or not? There's two different schemes. One is fixed allocation. The other is a dynamic allocation. In dynamic allocation, basically, you have the so-called uplink-stealing flag. So, basically, in every downlink message, then there is the USF is how it's called, the uplink-stealing flag, I think, is what it's called. And in there, we indicate the uplink TFI, which is permitted to transmit, I think, three frame numbers in advance or something like that. So, dynamically, in the downlink messages, the PCU tells the MS which uplink slots are permitted to use for which TBF. That's the dynamic allocation. And in fixed allocation, it's basically part of some, whatever, I think it's packet uplink assignment or some signalling message anyway on the RSC Mac layer. And that signalling message then preallocates you certain frames. But we don't do this in OSMO-VCU. So, for OSMO-VCU testing, that's not needed at least, but in real networks, you may encounter it. I think it's discouraged or even removed from more modern releases of the spec. So, dynamic, I think, is the most important. More flexible. So, if it has some positive, I don't know. If it's important for testing and the SMACON community, I can start working on it as soon as I finish. This is the interface because for now, this is a more important task. If anyone would like to join me, feel free. I found this a few weeks ago, Agilent Understanding General Packet Radio Service. It's 29 pages. It's published in 2001 and it's very concise and contains most of the answers to, I think, those questions. It's pretty, like I said, 29 pages. It's nice, compact information. Thank you. I will read it. Okay. Let me just quickly add some comments. I started to do some PCU tests in TTCN3 and for that I needed some support for TVF-related stuff and in layer one control already, and the two things that I added is one, basically, is this filter on the uplink, no, sorry, on the TFI. So, on the downlink frames, basically, the layer two can state to the layer one, which TFI is currently used and in the, at which time slots, of course, and on the uplink transmission, again, also, you can basically tell the layer one which USF it should transmit something. So, the layer one has a queue of pending frames and when a certain USF appears, it would transmit that and in addition, you also need a transmission of an uplink frame at a fixed frame number because there's some acknowledgments in the RSC MAC protocol where, basically, the downlink message tells you an exact frame number at which you need to send an acknowledgement and so also we can send a frame to the layer one from layer two perspective and say, well, add frame number one, two, three, four, five, six, seven, this must be transmitted and then the layer one will transmit it at a time. So, that's, I think, in a branch still, maybe, of TRXcon, but... Yeah, I think it's easy to implement any other ideas or should we finish? Thanks.


I'm very pleased to be here and very honored to be speaking at Tom's birthday celebration. I could basically beg the talk, which you might be grateful for, and just tell stories about Tom, which I will attempt not to do. It's just that, you know, like more or less everything, many things I had to say here sort of reminded me of something to do with Tom, but maybe just one little one just beforehand, maybe an expression of pleasure for the degree to which Tom has influenced me and my work, and a lot of that has been because he's been in Boston, and one of the things I remember really clearly, although you'll probably contradict me because what I remember things clearly, they're probably not true, but when I was in Oxford, I spent the year, the cyber-gwitten year, 1994, 1995 there, which was a great experience, visiting largely with Peter, and in the spring Tom came to visit, and Peter and Tom were on the job market, if you can sort of imagine that, and finally made their decision, and we went out, they went out for lunch to celebrate, and I joined them, and we had a bottle of wine with lunch, which is not a really mathematician thing to do, and I do remember they toasted each other, because the decision to go to Harvard and MIT, and as I recall the toast, I don't know who said this first, but one of them, I think maybe Tom said, thank you for making me a lot of money, and the other one came back with the same toast, so they of course were very pleased, but I was probably more pleased than either of them because the idea that Gates theory was, well, of course Cliff was there already, and it made a big impact, but the idea that Tom and Peter were coming to Boston was great, and over the years that's meant that there's been a million informal interactions, and a million times when I've had a chance, when I just, some point I'm stuck on, or maybe a crazy idea that needed encouragement or shooting down as the case may be, and Tom was really good at that, so I hope to illustrate that point, because it actually one of the most striking instances of that, well, as you'll see, it wasn't the insight that Tom, I will explain a small point that Tom made to me that was a root around what seemed to be a very large stumbling block at the time, so I don't know whether you will remember the story, but it certainly looms large in my mind, in any case, this is a joint project with Dave Ockley, we're almost done, we had vowed to finish writing our paper by the end of the summer, and we might actually achieve that, I don't know, so we have 90% or 95% written, depends on Dave's supposed to be finishing one last little bit, so it might be long, so maybe it's more like 90%, in any case, we're almost done, so, okay, so the theme is actually not so different, although different in techniques and intentions from what Dave talked about earlier today, and it has to do with the interaction between difthomorphisms of four manifolds, and in a way, with embedded surfaces, and also embedded three manifolds, so let me start with something which I assume everybody, knows, but anyway, I'll say it anyway, just to set the scene, you know, by the early 80s, Donaldson had given us examples of homeomorphic manifolds, smooth four manifolds, I probably should say four here, manifolds which are not difthomorphic, and here's a concrete example, actually this isn't the concrete example that I want, but let me start here with, so I'll write V, or V4 for the hypersurface of degree 4 in CP3, so there's an equation, as a smooth manifold, you can think of this in various ways, the K3 surface, or an elliptic surface, which is somehow the guys in which we use it, we use the fact that it has elliptic vibration, although, again, as I said, I'm easily distracted as you'll see, so this isn't exactly the example I want to discuss, of course, the existence of more than one smooth structure on the K3 surface is one of Tom's early and truly spectacular results, and one of the amazing things about that, of course, and actually in the paper that he wrote with Bob Gumpf, is that this jointness of the planes that Larry was referring to, X1, X3, and X1, X4 planes, that plays a crucial role, because what that tells you, if you think about it right, is that the K3 surface has three different elliptic vibrations, and the fibers in those cases are all disjoint, so you can do that on the torus, and then that sort of descends down to the K3 surface, so I thought that was just a funny coincidence, that that exact, what's that, is it a coincidence? Yeah, I don't know, I mean, you tell me, but tell me afterwards, you know, so anyway, I thought that was, you know, just to see those same pairs of things written up on the board, I was rather mused by that, any case, so here's the example I actually want to think about, which is probably, I don't know, easier, but more directly taken, you don't have to do all this hard cutting and pasting, to do this, so take, instead of X itself, take X, sorry, instead of the K3 surface, take it blown up once, so adding a CP2 bar, so that I'll call that manifold X, and unfortunately there's a couple of things later on called X, but I hope those will be, it'll be clear, this one is really X, okay, so there's X, which is that's blown up K3 surface, and that's, the reason for the blow-up is to make it not spin, and that's homeomorphic to another manifold in the same, which is three copies of CP2 and 20 copies of CP2 bar, okay, so those are homeomorphic, but they're not difiumorphic, and the way you can tell them apart, by the way, through the work of Donaldson, is that you, that Donaldson defined for us these invariants, I'm just thinking of sort of the simplest Donaldson invariant, which would be a numerical invariant, so I'll just call it D, without any definition, so DX is some sort of, is an integer, so it's non-zero for X, the blown up K3 surface, but for this connected sum, Donaldson proved this connected sum theorem, which said that in fact it's zero, so those are different manifolds, okay, so, and the fact that they're, but on the other hand Friedman told us they're homeomorphic, so in fact they're an exotic pair of manifolds. Wall had proved, you know, in, you know, sort of, even before I was a student, Wall had proved in the 60s, in a series of seminal fundamental works, I should say, that homotopy equivalent manifolds are stably difiumorphic, that's actually, his proof is sort of harder than it really needs to be, it's actually a pretty straightforward handle body argument, but in any case it's a very nice argument, and in particular if you add some number of S2 cross S2's, you can turn X into Y, if you add same, they're homotopy equivalents, so it would be the same number. Actually Mandelbaum whose, actually name I misspelled, but forgot to correct, and Moises on, this I think may be originally a result of Moises on, but hard to understand and made comprehensible by Mandelbaum in the 1970s, in fact showed that in this and many, many similar examples, you could take K equals 1, it's just one stabilization that suffices, and it's a wonderful and interesting problem whether that's true in general, I don't know an example of homomorphic manifolds, simply connected manifolds where you need more than one stabilization, someone knows, let me have the microphone, you could feel free to take over and do the lecture instead. Okay, so it's also true that you could add just a CP2, and they would become difhumorphic, so that's also part of Mandelbaum and Moises on's theory. So let me call, actually I don't think this is quite the right name, but so I want to take X connects some CP2 and Y connects some CP2, and I want to think of them as the same manifold, so they really ought to be, as we did it in our paper, there ought to be sort of a choice of difhumorphism between them, and when I identify them with the same manifold, I want that identification to have the following property, I'd like it to be, to look like it's homotopically, like a homeomorphism from X to Y, and then a homeomorphism from CP2 to CP2, so put it more simply, I'd like the homology class of the generator of H2 of CP2 here, whatever difhumorphism I choose, I want it to go there, so they should be identified, but in such a way that the homologies are sort of kept track of. Okay, so those manifolds are the same, but as I say by Donald's, so there's of course an important principle that it matters that we're adding CP2, and if you added CP2 bar, they would remain distinct. Okay, so an important point about this is that, and sort of maybe the beginning of the connection that I alluded to in my title, if you keep track of various submanifolds of Z, you can actually, so Z is sort of kind of a connection, it comes from X and comes from Y, but you can remember which one it came from if you remember a little more data, so the simplest data would be to remember a particular generator of the homology of this piece. Okay, so to Y, how is that, well this is a straightforward argument, remember whenever you have a sphere, an embedded sphere in a four manifold of self intersection plus or minus one, let's, mainly we're going to use, well it doesn't matter, plus or minus one, but in this case plus one, you can blow it down, so it's not really algebraic geometry blowing down, Dave insists on calling it anti-holomorphic blow down, but he's not here, so I'm going to just call it blow down. If you're here, Dave, then online, don't interrupt. Anyway, so, and the point is if you add CP2 and then you blow it down immediately, you just get back to whatever your manifold was, so in other words, the pair Z and the sphere coming from the X picture on the sphere coming, or the sphere coming, remembers X and likewise the Z coming from the Y picture remembers Y, so if you like that pair is, so one point is that the pair is exotic because in fact there would be a homeomorphism taking one to the other. In fact, if you sort of just start with a homeomorphism from X to Y, then an extended in the obvious way would have that property. Okay, so that's sort of an exotic pair of spheres, and as I say, those spheres remember X and Y. You could also, instead of remember, right, oh, this is, I have it before, so yeah, this picture will recur a few times, so the picture is somehow, like in this little bit here, there's a blue sphere that's supposed to be the one from X and then there's a red sphere from Y. So just to point out, those have algebraic intersection one because they're homologous and the self-intersection is one, but they actually have to hit each other in a number of points. The simplest picture I know, they hit each other in five points. It's not hard to prove that they can't intersect in just one point. That's a fun exercise that they must have sort of, so-called excess intersection. Anyway, similarly, instead of thinking about the pair of the Z connect with either this X sphere or the Y, X two-sphere or the Y two-sphere, you could take Z with the three-sphere, which is the three-sphere that sort of separates it into connected sum. So that also remembers. So that's kind of a sidelight, but also sort of fun. So maybe another way of saying this is that, but again, those things are all topologically isotopic, so maybe I'll say it unnecessarily. So this is, of course, a well-known observation. I don't know who made it first, but it's sort of been around for a long time. But let me just say it in a way that perhaps provokes an obvious question, which is if you look at pi zero of the embedding space. I actually thank you, Dave, for sort of warming up the audience to be sensitive to things like homotopy groups of embedding spaces. Maybe that seems like a good thing to study, I don't know. So here's pi zero of the smooth embedding space mapping to pi zero of the topological space of topological, maybe locally flat embeddings. That's not injective or if you do the same thing for the three-sphere. Okay, so that's all about embeddings. How does that relate to difumorphism? So as it turns out, here I'm actually going back quite a ways, some 25 years to older work of mine that says that there's another way to remember the X and Y, and that's through studying a certain difumorphism. So let me, again, I assume remind everybody that on CP2 you have complex conjugation that takes CP1 to CP1, and actually I'm always going to do a little isotope. So rho is the name, that's sort of for reflection or something like that, because writing bar as a map is just problematic, I don't know. I have enough, anyway. So rho is that map, but I'm going to isotope it so it's the identity on a ball, so it's no longer an involution, but who cares? Okay. So, but it's supported as in is on a neighborhood of the CP1. So you can sort of imagine that ball as being maybe relatively big. So supported on, I think I will say a few times, meaning like the places where it's not the identity. I don't know if that's standard terminology. Okay, so you can do such a thing on any format as long as you have a sphere of self-intersection plus or minus one. Again, I think these observations, in some sense, go back to Wall's early work. So, and one easy way to say it is if you have, so here this Z and X are not the Z and X, this is like any Z that's a connected sum of, with either CP2 or CP2 bar, you can do the complex conjugation on the CP2 part extended by the identity of Z and then you get a diffeomorphism, which, so just to emphasize, it really depends on the placement of this sphere. Okay, so again, a simple idea, but crucial. So sort of informally, I'm sort of writing it as the identity on one part and then this complex conjugation on the other. Okay, so in my theorem was that in the situation above, so now back to the X is now this, I forget what it was, the blown up K3 surface. It actually remembers the Donaldson and Mary, and in lots of other circumstances. So actually I'm going to expand it all a little bit because it's the same principle and what I just said is correct, but it's actually better instead.  Z's and X's just mean what I'm writing here from now on. X is this blown up K3 surface and this is other manifold which I wrote as M, which is CP2 and throw in a couple more CP2 bars for good measure. So if you like, you could have just sort of always added CP2 and then instead of blowing up the K3 surface once, you could have blown it up three times. So it doesn't matter, but it's awfully handy to do this. Okay, so in that manifold, well, so what was my point? Of course, this is the same as why connect some M because there's a CP2 sum N. Or if you like this M, maybe I pointed out, right, this M is also diffeomorphic to S2 cross S2 connect some CP2 bar. So if you'd like the stabilization with S2 cross S2 is better than you can, either way you have the stabilization. Okay, so the Z has two identities and it also has lots of spheres. So here's one sort of generic, so M itself is, so let's look at M. So there's the CP1, which I'll call H in CP2, and then in each CP2 bar there's essentially a CP1, but I can't call them all CP1, so the one in the CP2 is H and the other two are E1 and E2, so I can pretend I'm an algebraic geometer for a minute and call them exceptional spheres. Okay, so on M we could do this reflection. So I could do a reflection, so if I take H plus E1 plus E2, that has self-intersection of 1 minus 1, or I could do a reflection in E1, or I could do any number of compositions of reflections. Now, there's an important reason for doing this composition, which if I weren't telling stories and getting all sentimental, I would probably explain more, but anyway, I won't. But anyways, so the important part of this F, which is the composition of these reflections, is really the first part, because that's the one where I can sort of do it in terms of X, or I can do it in terms of Y, and I have, in principle, maybe different looking diffeomorphisms. So I have, I think something called, well no, sorry, that's not Alpha, excuse me. All right, so I could take the, I could, I could transplant all this onto, onto, onto Z, either thinking of it as X connects some CP2 and a couple of CP2 bars, or I can transplant it onto Z using the decomposition into SY. Okay, so, so now I'm going to, so this all provoked, so this all provokes a certain, again, a memory. So, so I'm going to drag you through this memory, and I don't know whether you will remember this, Tom, as, as, as distinctly as I do. So, okay, so what's the, what's the diffeomorphism I want to look at?  Okay, so that's by construction, that's provably that, well that just acts as the identity on homology, because the X sphere and the Y sphere were homologous, and by work of various people that's homotopic, and therefore topologically even isotopic to the identity. So in, so in, you know, whenever, and years ago in the, in the 90s, I had defined, actually I think I did it, worked on this when I was during that spring in Oxford, and I defined this invariant, an invariant of diffeomorphism. So I will say something very brief about it if I have a minute at the end, but it's defined using one parameter gauge theory. So this is the Donaldson invariant version, there's a cyber-gwitten invariant version, I don't know if there's a Higgart-Fleur version, but probably there is, but I think it has some technical issues. Okay, and the question was okay, well it's fun to define, it's fun to prove it has various basic properties, but I wanted to construct examples. Well I constructed it, and I had an example where, you know, it clearly should be non-zero, and I wanted to calculate it. And so here was my original idea. So this is, this thing in, in the box here, this sort of messy picture, that's supposed to be an example, that's supposed to be like the Sx, which colors, which X is blue, so let's do blue. So this blue thing, this is Sx plus E1 plus E2. The E1 and E2 are the black lines that are cutting it across. Okay, so what should I, so my idea was, well I have this thing that involves an X sphere and a Y sphere, so I should take a regular, I should take the union of those spheres, and more or less nothing, you know, take the union of those spheres, and kind of take a regular neighborhood of that, and pull apart along that. So that would isolate all the interesting stuff on this one manifold, which is the regular neighborhood of a couple of spheres. Well, you know, that's kind of a complicated manifold. The bound, I mean these days it's sort of more tractable with various other kinds of gauge theory. It's some kind of graph manifold, and probably lots of things to be computed about. But you've got to remember, this is like 1996 or so, five when I'm thinking about this, and that was a pretty hopeless manifold to think about. So I was stuck, but I had some ideas where you sort of pulled apart along one, and then somebody pulled apart on the other, and anyway, well I was just not making progress, so maybe I'll skip the argument and tell the story and come back to the argument. So I'm presenting it in the form of a very short play. I always wanted to write a play, and you know, well, so this is my best, this is going to be it. So if I don't win the, whatever, Tony award for this, I'm out of luck. Okay, so there are two, it's a play in one act with one scene in Tom's office. You could guess who the players are. So here's my line, first line is, well, hey Tom, I'm kind of stuck on this, the boundary of this neighborhood is really complicated, and I don't know what to do with it. And so Tom says, well, this is kind of a fantasy recollection of this. I have no idea what he said, but he said, well, do you know how to calculate the two separate, this invariant for the sort of the X piece and the one for the Y piece? And I said, yeah, sure, I know how to do that. And he said, well, do you have a composition law? And you know, I had already done that. I said, yeah, yeah, that's fine. He said, well, why aren't you done? Well, so, okay, so that's the end of the play. And you know, so, I mean, so what do you learn from this story?  So this was a very simple observation, but it was really crucial because, and here's what, you know, like here's what it happens. You notice that this E1 thing, which is actually crucial to the calculation. And in fact, my original version of this had a different composition. So it's not quite this. This is, again, revisionist history. But who cares? So the point is that with this row E1 stuck in there, which was in there in the first version of all this, there is a Donaldson invariant for this piece. It's a little tricky because it doesn't act trivially on homology, but anyway, there is one there. And likewise, the Donaldson invariant for this piece is defined. And there's a composition law, which says that the invariant for a composition is the sum. This one, you notice there's an inverse, so that actually turns it into a minus sign. So I get the invariant for the one defined using x and the one defined using y. And the key calculation, which is in my paper, well, with a factor of four, but it somehow simplified it, so it's actually, it's a slightly different de-fumorphism, so it's actually a factor of two. For y, it's kind of clearly zero. Well, the point is it's what's the actual calculation is that the invariant for f of this form is simply the Donaldson invariant of the manifold, the underlying manifold, or the manifold without the CP2 on it. And likewise, the Donaldson invariant for y is the Donaldson, for the de-fumorphism defined in terms of y is the Donaldson invariant of the underlying manifold y itself. So in that sense, the de-fumorphism remembers that Donaldson invariant. It's actually an interesting question to me as to whether it, like, the sphere has actually remembered the manifolds. So I don't know whether the de-fumorphism remembers the manifold in the same sense. I mean, but as far as the invariant that tells them apart, these two, this pair apart, it remembers them. Any case, so if you choose the right x, then you get one part zero, the other part's not zero, and then you're done. So this works for blown-up CP2, sorry, blown-up E2. It works for lots of other examples. Okay, so there are things stood. Oh, we've seen the play. Let's see, in the movie? Anyway, okay, so somewhere around, so I presented this, I think probably the first time I presented it, well, the first time I presented it correctly in public. I had presented it incorrectly before, but the first time I presented this correctly in public was at Rob Kirby's birthday conference in 1998, and Dave Ockley was there, and Dave was talking about a whole gang of results. He was quite interested in the stabilization results, you know, proving that things are stably de-fumorphic. So we got to talking, and we agreed on the principle that one ought to be able to do this for higher homotopies, and how should you do it? Well, basically, the idea was if you had, so remember, all this depends on these two-two spheres, so over here is the X sphere, over here is the Y sphere, so suppose you added maybe another S2 cross S2, and suppose you could prove that the X sphere and the Y sphere became isotopic, well, that would give you an isotope between the X diffumorphism and the Y diffumorphism, so that would give you probably an interesting path from one thing to another. So that was an idea. So we thought, well, of course that's nice to have paths, but if you wanted to show Pi 1 of something, you need not a path, but a loop. So we had two problems. One was showing that spheres became stably isotopic, and the other was showing, and then coming up with something maybe a little more clever than just taking these paths, taking the path in such a way, cooking up a path that closed up so we would actually get a loop. So anyway, so let me state the theorem, so at least I've stated a theorem by the end of the talk. So this is sort of a theorem that contains, I think, it's not everything in the paper, but it's a lot. So remember, there was this manifold Z before. Z is going to be the first, it's got two indices, and so what are the two indices? There's a K which is going to tell you something about, the ZKs have something to do, I'm going to tell you something about Pi K of their diffeomorphism groups, and then there's an R, and that tells you how big Pi K is. So let's just, we can just read it. So for any K and R greater than or equal to one, we find manifold ZKR and interesting embeddings of two spheres in those manifolds and also three spheres, and all of these groups have Z to the R subgroups and actually many of them have Z to the R summands. So what are those? So the one, sort of the basic example is so Pi K of the diffezero, diffezero meaning the identity component of the, not listening, the identity component of the diffeomorphism group. Or, so that's sort of the basic, the construction is there, we prove that they survive into the homology, so they're non-trivial, so if you think about the homology, the Haravits map from Homotopy to Homology, so they survive as homology elements, and if you think about whatever the universal bundle that would give you elements in Pi K plus one of B diff of the B of diffezero, but those are actually homology elements in B of diffezero. So all those groups, all those things are non-zero and so that's sort of the basic, so the construction is sort of here and the detection is in some sense here. So the point is that you're getting interesting elements, but they're spherical families. If you like, we're building families of four manifold and they're families over a sphere. So that's sort of the constructive part and all those things are distinct in the groups that I mentioned. And while we're at it, we get non-trivial elements in Pi K of the embedding spaces for either the two spheres, sort of like the two spheres I mentioned, or Pi K of the three spheres, again, as I mentioned, and those also survive into homology groups. So the fact that you're getting something in Pi K is also a bit related to Dave's talk because there's all these vibrations relating homotopic groups and so on. It's actually not coming directly out of that but it's sort of morally in that same way. And one of Dave's PhD students, Josh Drouin, actually modified our construction so it works with spheres of self-intersection bigger than one or not equal to plus or minus one. And then the same... So the three manifold then would be the boundary of a tubular neighborhood of that, so some lens spaces. So he gets sort of similar-looking results out of ours. Okay, so I say... Oh yeah, so what are some addenda to this theorem? So as I said, at least for diff zero, you're getting a sum n, a z to the r sum n. And so that sort of follows just by the construction because these are... It's kind of the usual thing. They're coming... They're detected by a homomorphism to something which is a free abelian group and then so any case, it's just some algebra. More, maybe more interesting is that, or more interesting to me, is that all of these things are tri... If you passed... I didn't want to write it all down, but if you passed to the topological carat, in other words, if instead of writing diffeomorphisms, you wrote homeomorphisms, instead of writing embeddings, you wrote topological embeddings, all these things become trivial. And all of them... Sorry, not in the sum n, because the sum n just doesn't have to expand a subgroup, but all the things in the subgroups that we detect become trivial after a single stabilization. So in other words, the families of embeddings become trivial families of embeddings after you add a single s2 cross s2 to those diffeomorphisms, become trivial families of diffeomorphisms after you add a single s2 cross s2. And in fact, that property, sort of that's, as I said, as I tried to suggest earlier, that property is kind of the key to the whole thing. Maybe I'll say one other point about the topological category, you know, for pi zero, in other words, for isotope, there's a very clear criterion for when two homeomorphisms of simply connected manifolds are isotopic, which is that they're so-called pseudoisotopic, which follows from them being homotopic, which follows from just them, you know, inducing the same map in homology. So that's really, oh, it's a very hard theorem, by the way. I don't know, I know very few people who've read the proof of that one, but including me, I have to say, or remember it anyway, but there's no such principle for these higher homotopy groups. So somehow the topological triviality of all these things has to get boosted up along with the interesting constructions. And all of that goes via this stabilization. So let me say a few words about that. So this is just the same picture I had before. Instead of having K and R, I have Z. Well, I used to have Z, but it's the first of all of those. So it would be the Z01. Okay, so again, we have this difumorphism preserving things sort of homologically. And actually, a small point, we could preserve the CP2 bars on the nodes, because we could have done the... I was going to hold my hands over the screen here. That didn't really work. We could find those difumorphisms even without the CP2 bars there. Okay, so in the service of this goal of finding these higher homotopy groups, Dave and I were talking about this problem-stable isotopy of submanifolds, and we worked with Hee Jung Kim and Paul Melvin, and we proved that those spheres... So this is a more general theorem, but in this particular instance, we sort of worked on this. We worked out this one example, because we were interested in it, that the sphere Sx and Sy are smoothly isotopic, excuse me, isotopic if you add an S2 across S2, or if you add a CP2, or just because you threw in some more stuff if you added a copy of M. So that's by a very explicit isotopic. And it follows from what we did is that the difumorphisms you get are therefore isotopic. So let's think about just adding M. So we're going to add all the things. We're going to add a CP2, and I'm going to add S2 cross S2, so everybody's happy. So the construction... So let me at least indicate how you go from Pi 0 to Pi 1. I think I could... Yeah, I think we're okay with that. So one of the consequence of the explicit stable isotopy from the paper with David and Hee Jung and Paul is that in fact, the isotopy between those spheres all takes place in the complement of a torus of self-intersection 0. So remember this manifold started out as being an elliptic surface blown up. So there's lots of torus. You can sort of take a torus and sort of send it off into the corner and it just will stay there the whole time. So that's extremely handy for any number of reasons, but in particular it's handy for this. So what we're going to do is just take two of those. Do I have a picture? Oh, here's a picture. Take two copies of this Z, or the Z01, and do a five or so. So remove a neighborhood of T2 cross D2 and glue them in some obvious way. So this is artist's conception. Anyway, it's not really getting flipped over, but that's the best I could do here. Okay, so you glue a couple of them together and so let's just look at this sort of final picture. So notice that that's got two copies of this M in it. There's sort of the left one in this picture. Again, left and right don't really make much sense here. And then there's the right copy of M and the right copy of M has in it some two spheres. It has some copies of C, it has some sum ends of Cp2 or S2 cross S2. So I can use the right copy of M to kind of clean up the spheres in the left copy of that. Okay, so in other words, what does that mean? That means in this picture, there's an isotope between those spheres and therefore if I go down here, this diffeomorphism that's sort of supported on the left part is after I add on this other part, the second copy of Z, I've made the whole thing a lot bigger by the way, of course, that's isotopic to the identity on this manifold C11. Okay, so that was sort of the scheme I was saying where I said, okay, let's add an S2 cross S2, but we added more. And that's, again, it's sort of technical thing that comes out of the computation. So let me call F the isotope that you get in this fashion. Okay, so again, it's, we sort of want to use the explicit one that we used. Okay, so here's the, so this is the gen, I'm suggesting a general sort of inductive thing. So imagine, you know, think of a sphere in this way. So, you know, you take a sphere across I, it's basically I'm making the reduced suspension. You know, you add a cone point, cone point, and then you collapse and arc. And if you think about that, just sort of, you know, so again, we have sort of two variables. We have an isotope F sub t, and then you just sort of, in each t, you make this commutator. Okay, so literally commutator in terms of, you know, as commutators of diffeomorphisms. Anyway, what you see, that's actually a loop, just because, you know, sort of up at the end, various things commute in one end, you have an identity at the other end, the things you have commute. You're getting, if you like, you're getting a path from the identity, an interesting path from the identity to itself. So it's the same thing I said earlier. It's just that with this kind of tweak to make it into a loop. And then, well, so then you could kind of imagine the scheme. So, okay, we have to discuss in a second, a very short second, you know, how you're going to compute the invariant, what kind of invariant might detect this, but you can imagine a similar sort of scheme. Okay, you add another copy of this z, which among other things adds a copy of this sum ends of Cp2 and S2 cross S2. That, using a similar device, which I didn't tell you, would then create a contraction of this loop. And by a very similar commutator construction, that would build you an element in Pi2. And then, well, that one would be stably trivial. That would build you a contraction. The contraction using this commutator construction builds you something in Pi3 and so on. And so that's the construction. That's sort of making the Ks bigger, making the Rs bigger. It's just kind of like, you know, we're supposed to be knowledge about four manifolds. You just add some more junk on and make more basic classes, so to speak. So I won't do all that. So let me say in the last few seconds, so how do you detect all these things? Well, so here's just sort of a step-by-step. So, you know, as I said, Donaldson taught us how to compute invariants of manifold. So that was in terms of a generic metric. You count points in some modularized space. You organize it so that it has virtual dimension zero for turbid, so it really is a zero manifold oriented. Count them. Okay, what about one parameter invariance? So to detect Pi0, so this again is old work of mine. You have a diffeomorphism. You choose a generic metric.  It's not clear necessarily until you do the arithmetic that you can form a one-parameter modularized space, which would be a zero-dimensional object. You can count points in that, and that's an invariant of the isotopy class of your diffeomorphism. So that's what I cooked up years ago, and it was again clear at the time, but I didn't have no idea how to calculate it. You could do something similar if you have a case sphere's worth of diffeomorphisms of some manifold. This is back, X is back to being any old manifold with the right homological invariant. So that, so again, what do you do? You have a case sphere's worth of diffeomorphisms. You pull back a case sphere's worth of, you get a case sphere's worth of metrics, but the space of metrics is contractible. So you fill that in with a k plus one ball, and you count points in a k plus one parameter modularized space, and that's an invariant. And then the final, let me just say the last theorem, well the theorem is again an inductive calculation using this particular alpha and that particular commutator construction is that this one parameter, well, so this was kind of my original calculation said in slightly different language, is that the Donaldson invariant for the original diffeomorphism is the difference between the Donaldson invariant of X and Y, and in general, if you take, at the case stage, you take sort of the case family built in this way, the Donaldson invariant for that is twice the Donaldson invariant for the one at the previous stage. So I don't know, yeah, let me just skip all that and go to the last thing. So again, this is straight out of the paper I wrote and I guess published in 98. So it was the sole acknowledgement and really this is sort of, I'd like to thank myself for writing a good acknowledgement because it really hits the nail on the head. So Tom listened to this complicated version with me battling and drawing all over the board and just asked the right question. It's quite a gift and thank you. So the question was referred to work of Donaldson and Sullivan who showed that actually the original Donaldson theory would work just fine to show that these non-diffumorphic manifold detected by Donaldson theory, so to speak, are not quasi-conformally, which is weaker than smooth. So I guess in quasi, so they're not quasi-conformally difumorphic. So the question was, does our work show that these difumorphisms are quasi-conformally isotopic? And I guess so, but I don't know. I would assume so, but yeah, I didn't think about it. Yeah, it seems, yeah, yeah, yeah. And I suppose so there's, I don't know, is there a category of quasi-conformal embeddings and all that, so yeah. I would suppose so, but I don't know. It's an interesting question, I don't know. Oh, so yeah, well, so Tom makes a comment that that paper, which is an intimidating paper, sophisticated paper to say the least, is not necessarily known to work for like the full glory of Donaldson invariance, which involves you know, it gives you polynomials and so on. So there's a whole bunch of other technical stuff you'd have to get to work. That I should say that the Pi zero version of this works to give polynomial invariance, the higher homotopy version, I don't know how to do the polynomial. I don't know how to do the version with cutting down modulate spaces and stuff like that, just because you'd sort of, anyway, you'd have to study families of cutting things down. And actually that's, it's problematic, I don't want to try to explain it, but it's, it's conceptually problematic as well as I have no idea how to do it, so, yeah. So the question is what's the behavior of these things under adding CP2 bar? So not the blow-up which I said or the anti-hologmorphic blow-up kills things. It's presumably the case that the actual kind of blow-up preserves all these invariants. Yeah, I'm pretty sure that's true.  I should say, by the way, it's a perfectly reasonable thing to ask and related to the point about these polynomial invariants. For instance, if we could get all the polynomial things to work, we could probably prove that you could take the K to be, sorry, the R to be infinity. So it's a good question. All these things should have Z and stuff like that. I don't know how to prove it. Yeah, so this is very much, so for instance, one of the reasons I was keen to prove results about the homology of B-diff or B-diff zero, so our results are about B-diff zero, homological stability, so there's a whole theme about, it's not just one of these weirdo four-manifold things to study. In some dimensions, they study diffeomorphism groups and classifying spaces and families of manifolds and there's very strong patterns of how things behave under connect sum with, in that case it would be Sn cross Sn in even dimensions. Sorry, this is, so I wanted to sort of say, well, you know, the four-manifold thing is really different. We don't have homological stability or we have the opposite of homological stability because things die for the group dif-zero, but that doesn't quite match what the high-dimensional people are doing. Yeah, but the invariance, you really need the dif-zero, or I don't know. Anyway, it's a little bit, I'm not quite sure how this fits with the homological stability of high-dimension. Well, so the question is, so the question is, thank you for making that observation because I was supposed to say it, which is that all these manifolds are about as trivial as can get, so there's sort of, maybe not the manifolds one wants to study.  They're connected sums of CP2s and CP2 bars, so they're not exciting manifolds from any point of view. So there are lots of, there's lots of work by the assortment of people, Baralia, Kono, Smirnoff, I can't name everybody off the top of my head, although we have a lot of references in the papers that construct not so much Pi-0, but elements in say Pi-1 and one of the diffumorphism groups are various interesting manifolds, like algebraic surfaces. As far as I know, like even Pi-1 of diff of S2 cross S2 in the paper of Smirnoff, Gleb Smirnoff, very nice paper, but those diffum, those families are actually non-trivial, sort of homotopically. In other words, those are, the bundles, if you like, are not even, are not trivial. They're not topologically trivial, for instance. So the problem of finding, so there are interesting examples and of course, as Dave alluded to this morning, there was the work of Watanabe who does this on S4, which is sort of, you know, in some sense like really what you want to be doing. None of this says anything about all that, but yeah, I don't know how to make our method work for manifolds with non-trivial invariants. And there is work of other people that does this, well, there's the work of Tom and Peter which, you know, does K3 connect some K3 and the work of Jean-Pierre and Ling, which proves that that element is actually stable under connect some with S2 cross S2. Sort of conjecture that one stabilization is enough is not true for diffeomorphism which caught me entirely by surprise. So another great problem not really connected to anything I said today is, you know, how many so it's known that some number of S2 cross S2 would do that, that's the theorem of Quinn. So yeah, there's lots of interesting questions about all this.