This morning we had to talks, which were both extremely interesting for me. The first is directly in the field I want since a couple of years to start working in, and which is the specialty of PD#2. I heard a talk by one of the experts, which however appears to have missed a key development (=no serious concurrence). I also heard the comment of another expert, who on the other hand seems to be even more of a let's-go-abstract-and-general person than UnCo, and hence again is not likely to duplicate anything I do. Well, well.
The second talk was in my usual research field; I personally know all the four authors, and have actually been staying with two of them at some point in the past. It felt very satisfactory to sit through a talk, understand everything, guess how the argument was going to go on, and even be able to suggest an improvement in presentation. It is also an important result, and now I have understood the idea of the proof and feel confident that I can produce a similar result if need be.
This afternoon I worked again on the supposedly finished paper with WS. In the end we decided to add some stuff to the last chapter, so that it is set-up as general as is natural, and we can go on from there. Technically, we have to pass from schemes to DM stacks, and while the extension is morally obvious, there are a number of delicate technical details that have to be taken care of. But still, it's a joy to write.
UnCo is still feeling sick; he stayed home the whole day yesterday, and today showed up at noon thinking that the talks would be in the afternoon, as they usually are, and discovered to his dismay that he had actually missed both of them. I can now hear him laughing, so I suspect that while he's supposed to finish editing our paper, he's actually reading some funny website.
Shut Up and Calculate!?
15 hours ago