Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 30 of 30
I have seen (e.g. here) and been involved in various discussions of the universal characterization of, ultimately, the (infinity,n)-category of spans in, ultimately, some ambient -category with finte -limits.
But I don’t seem to have seen a definite answer.
How about this, it feels like something like this should be true:
Guess. For an -category with finite -limits, is the symmetric monoidal -category with fully-self-dual objects, free on .
Has anyone thought about this?
So is , for some ?
No, crucially not. is free for fully dualizable objects, but the objects in are fully self-dual.
Accordingly.
clearly, while of course the free etc. with duals on is , where the whole structure comes precisely from the fact that a dual to is thrown in which is not equivalent to the original .
So if has a similarly universal description it must be different from that of . At the same time it is kind of similar. I am wondering how to express this, precisely.
So what might be used for?
Ah, I see. I have now written a note explaining this here:
This certainly can do with more polishing and expansion, but this is how far I got right now. Let me know what you think.
So the dualizable gets sent by Fields to an object in the span, which as such is self-dual, and so the dual of gets sent to the same object?
Yes, that’s right.
So a choice of fields for an -dimensional topological local prequantum field theory, which is a map
assigns one and the same moduli stack of fields to any point
But when we add a localized action functional, hence lift this to a map in
then one point is sent to the localized action functional
while the other is sent to minus that action functional
(At prequantum field theory this is currently discussed here, but will be expanded…)
Is this then a special way to find a codomain for an extended TQFT? Rather than just looking for a symmetric monoidal -category containing a fully dualizable object, you first find one with fully self-dual objects, and then take mappings into . So the latter is a good choice because of its symmetry?
This is maybe part of the question about what makes special on general abstract grounds.
Heuristically, is a good codomain for pre-quantum field theories because it nicely captures the old concept of trajectories/histories of fields, in a localized way. And so classes of examples show that it is a good codomain for capturing pre-quantum field theory.
But in general the question as to what kind of codomain to choose for which general reason when describing topological field theories as -functors out of is open. For instance in the last months Mike Hopkins has been giving talks on the question of how to universally obtain codomains for the full quantum theory from their value on codimension 1.
The main point to notice maybe is that while it is nice that the cobordism theorem is so general, for the purposes of physics it is too general. For most choices of maps are nothing like what in physics one would recognize as a “field theory”, quantum or not. And there is not yet a good idea of how to characterize those for which it is, and why, I think. There is just a bunch of hints, maybe.
I imagine for a cohesive -topos has a good chance of being not only good in examples for pre-quantum field theory, but also having a general abstract reason of existence. But I am not 100% sure yet.
Then next I imagine that the correct codomain for genuine quantum theory is the image of under a kind of stabilization operation, and that postcomposition with the stabilization map is quantization. But this is just a vague hunch at the moment.
Yes, Hopkins was saying (in Singapore in January) that in practice we tend to get objects (field theories etc) where the top two layers of homotopy information are rolled up into a , rather than being a , and was asking if there is a categorification of this: a universal object where the top three layers are rolled up into some nice -linear category such as .
I see you, David R. and Urs, were discussing Hopkins’ talk here. I’m not sure I see which features to look for in whatever takes the place of .
Maybe the following is clear, but it’s the fundamental basic idea:
For 1-dimensional field theory (quantum mechanics) such as the 1d Dijkgraaf-Witten theory (see there for more details) the (local) action functional has coefficients in – reflecting the fact that it is trajectories between two field configurations that are assigned an action in – and this is canonically “linearized” by postcomposing with the conononical functor
that exhibits the caonical representation of on .
Whatever happens in higher dimension is supposed to follow this pattern somehow.
Certainly we can for instance consider
where on the right we have n-modules as discussed there. This seems to be all right at least for higher Dijkraaf-Witten type theories.
Is there anything to say about why ? Is this just given by the physical theories we happen to have, or is there a universal characterisation that explains its presence?
Two possible answers:
when starting with a continuum line object (such as the real line ) then cocycles that are locally -valued will descend to globally defined cocycle only with coefficients in some quotient . Under mild conditions, that’s . But more general quotients can be considered, too.
The Lie integration of -cocycles to higher local Chern-Simons type prequantum field theories which we discuss in Cech cocycles for differential characteristic classes all arise with coefficients in this way. And this covers quite a range of field theories (if we include their holographic duals), as surveyed for instance at the end of Higher geometric prequantum theory.
In summary this means that if one believes that higher Chern-Simons-type theories are the fundamental field theories (everything else being induced as boundary/defect theories of these) then -coefficients are “god given” and is something like the non-pathological generic subcase.
when taking as the basic line object and then forming the corresponding multiplicative group this is . So in this sense is the “canonical group” induced by our ambient lined topos — if it is lined by the complex numbers.
Is there now a universal property recorded somewhere?
As far as I am aware (will be very happy to be corrected), the only discussion in this direction is still Dawson-Paré-Pronk 04
Thanks, I’ll take a look at that.
The Fourier-Mukai transform is a pull-push operation through correspondences equipped with objects in a cocycle given by an object in a derived category of quasi-coherent sheaves.
Can anybody expand on this point?
This is potentially a red herring, but are you guys familiar with Rune Haugseng’s work on categories of spans? He records a universal property on page 19 of http://arxiv.org/pdf/1409.0837.pdf, which ultimately references his paper with David Gepner: http://arxiv.org/pdf/1312.3178.pdf.
Anyway, just a thought. For -categories, Haugseng’s construction reduces to Clark Barwick’s construction here: http://arxiv.org/pdf/1301.4725v2.pdf.
Hi Jon, yes, I am familiar with Haugseng 14. While it’s true that he speaks of a “universal property” on that page, I’d think where we ask here for “the universal property” we have something else in mind. Of course that may depend, and in any case should be made more explicit, so let me try to do so:
What it says on that p. 19 is that the -category of -fold spans is characterized by the category of def. 3.1. But, as example 3.3 highlights, this is just the category of abstract -fold spans, kind of like what the simplex category is to a simplicial set. So the statement on p. 19 is technically neat, but is not a conceptual explanation of “why spans”, because it just says that -fold spans are characterized by abstract -fold spans. If you see what I mean.
I’d think what we are rather after in the discussion here – but clearly we should say so more explicitly – is a characterization of on more abstract universal grounds. The thing is that for any with products, then is symmetric monoidal with duals and receives a monoidal map . That makes one hope that is in some way the universal completion of to a symmetric monoidal -category with duals, such that is monoidal, and maybe subject to some further constraints (such as mentioned in #1).
I think that’s what we are after when we ask for “the universal property” of . But of course now Adeel should say whether he maybe had something else in mind!
Fosco: well, the Fourier-Mukai transform defines a functor on a category of what might be called “derived correspondences”, where the objects are varieties and the morphisms are complexes on the product. At the moment I am not completely sure how this fits in with the categorical definition of span/correspondence, but maybe Urs had something in mind.
Urs: That seems like what I had in mind. I am trying to understand the construction of -categories of motivic complexes, which goes roughly as follows. One takes the -category where is the -category of (derived) stacks, and is a base scheme. Consider the subcategory of this whose objects are smooth -schemes and whose 1-morphisms induce closed integral subschemes of the product. Then let be the “linearization” of this, formed by taking the free simplicial abelian groups of the mapping spaces. Finally one takes sheaves of chain complexes on the associated -topos. This is just a direct translation to -categories of what is in the literature, but I would like a more conceptual description of . If anyone happens to have any thoughts on this, I would be happy to hear them…
Sorry, what’s the question regarding the Fourier-Mukai transform? We have a correspondence of varieties – which happens to be of the simple product form , and the transform is a pull-tensor-push integral transform through this correspondence, with a twist on . That’s the archetype of all these transforms.
I was hoping that it could be realized as a functor on the plain category of correspondences in the categorical sense, but it seems one should rather consider the fibered product of and over , i.e. the category of correspondences equipped with a complex , and then the Fourier-Mukai transform can be described as a functor from this category to the category of stable infinity-categories.
So that’s why I like to speak about “phased” correspondences. If the kind of twisting (co)cycle on the correspondence space to be considered has a moduli stack , then one may consider correspondences in the slice over (delooping of the tensor operation). These are given by diagrams of the form
(this is a plain correspondence in the slice ). If here and are trivial, then is equivalently an element in .
(More generally, is a cocycle in -bitwisted bivariant -cohomology).
Ah, very nice. So you’re saying one should look at the category that Haugseng would write as , where is the infinity-topos of derived stacks, and is the derived moduli stack of objects in a dg-category in the dg-category of perfect complexes. I think this is exactly the kind of thing he does in the last section of the paper Jon mentioned, where he constructs infinity-categories of spans of Lagrangian correspondences.
I think this should answer my question in 21 as well: it seems like I can just look at where is a moduli stack of algebraic cycles. That should formalize the idea of a motivic correspondence being a categorical span equipped with an algebraic cycle. Thanks for pointing this out!
Yes, exactly. I’d dare say that the observation that Lagrangian correspondences are naturally expressed this way is due to section 1.2.10.4 in dcct, that pre-geometric quantum field theory (“classical” field theory) is naturally expressed this way is discussed in section 3.9.14, and a survey of how this really does reproduce the traditional concept of quantization via a kind of motivic linearization is in the last section there.
Ah, sorry for the misattribution! I was slow to make the connection with a discussion we had on this a while ago.
Ah, no problem at all. I just thought I’d be allowed to mention it. :-) Rune cites a bunch of my notes at the end of his introduction.
Sometimes the differential language, or my lack of familiarity with it, obscures things, so I have to squint a bit more before I recognize them.
1 to 30 of 30