In “The Fabric of Reality”, David Deutch gives a refutation of solipsism. I’m not entirely sure it works – all he really tries to do is to show that the difference between solipsism and realism is more nearly a mere semantic distinction than is generally assumed. But in any case, along the way, there’s an anecdote about a solipsist professor lecturing his (imaginary?) class merely to help him clarify his ideas. The idea being that, even if the imaginary students don’t really exist, it helps to clarify the professor’s own ideas by lecturing to them, answering questions, and so forth. In this view, you don’t really understand your own opinions – let alone justifiably believe in them – unless you’ve argued for them against a variety of possible criticisms. (J.S. Mill gave a defense of full-fledged freedom of speech, even for grossly offensive and even “dangerous” opinion, on this ground.)
I mention this because, when I told Dan about the blog, he seemed dubious about blogging as a way of communicating math. It’s certainly more solipsistic than a usenet newsgroup, or a mailing list. Those are channels devoted to a particular subject, with many participants. A blog, comments notwithstanding, is mainly a channel devoted to one voice, on many particular subjects. It’s true that half the point of communicating ideas is to get feedback on them from other people. You make your thinking part of one of those great processes like cathedral-building – ad-hoc, gradual, and (significantly) collective. Even so, relatively solipsistic channels are not entirely pointless.
To wit: by working through my theorems about transporting 2-vectors through spans – both for this blog, and for my talk at Groupoidfest, I discovered some problems. Nobody pointed them out, but discovering them was a consequence of approaching the material again from a new angle, with an audience in mind.
The problem is a conceptually important one – mistaking an n-dimensional space for a 1-dimensional space. I’m fairly sure, for various reasons, that the theorem that there is a 2-functor is still true, but the proof I have in my thesis (in the special case where the groupoids are flat connection groupoids on spaces) has a problem. Since that affects the Part 4 of “Spans and Vector Spaces” which I was going to post, I’ll put that off for a while as I get the proof straightened out.
Here is the issue in a nutshell, however:
The proof I have involves a construction of a functor by a particular method, which I’ve been describing in the last three posts. The final step I was going to describe involved what the contstruction does for 2-morphisms – spans between spans. (There is more to the proof, but the remainder is technical enough to be fairly unenlightening – basically, to be a 2-functor, there need to be specified natural isomorphisms replacing the equations for preserving identities and composition in the definition of a functor, and these have to obey some equations which need to be checked.)
The construction given in my thesis is supposed to give a way to take a span of spans of groupoids, and give a natural transformation between a pair of 2-linear maps. But a 2-linear map can be written as a matrix of vector spaces, and a natural transformation is then written as a matrix of linear operators which act componentwise. So one way to look at the problem is to construct a linear map between vector spaces from a span of groupoids.
That is, we have spans and . Picking basis objects for and (namely, objects and , plus representations of their automorphism groups) gives a subgroupoid of of , consisting of those objects which are sent to and under the maps in the span. It also gives a vector space which is built as a colimit of some vector spaces associated to these objects. Assuming is skeletal, this works out (as I described before) to for each of the in question. The same holds for .
Now suppose we have a span-of-spans making the obvious diagram commute. Then because of that commutation, we also have a span of groupoids over each of the choices of objects, and so then the question becomes, partly, how to get a linear map between the vector spaces we just constructed. If you have bases for all the vector spaces here, it’s not too bad: vectors can be seen as complex-valued functions on the basis. We can push these through the span just as we’ve been talking about in the last few posts here: first pull back a function along one leg by composition, then push forward along the other leg. The push-forward will involve a sum over some objects, and some normalizing factors having to do with the groupoid cardinalities of the groupoids in the span.
However, I won’t go too far into detail about this, because the construction I actually outlined doesn’t adequately specify the basis to use. In fact, it will really only work if all the vector spaces is one-dimensional. Then there is a basis for the combined space which just consists of all the objects . I’d hoped that Schur’s lemma (that intertwiners from to itself, or from to itself, have to be multiples of the identity) would get out of this problem, but I’m not sure it does. So there is a problem with the construction I was trying to use.
As I say, I’m fairly sure the theorem remains true – it’s just the proof needs fixing, which I don’t expect to be too hard. However, I’ll refrain from getting sidetracked until I know I have it worked out.
Instead, next time I’ll describe some of the things I learned at Groupoidfest 07 when I presented a talk on this stuff. (At first I was nervous, having discovered this flaw while preparing the talk – but then, a lot of people were talking about work-in-progress, so I don’t feel too bad now. Plus, the meeting was a lot of fun.)