Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorTim_Porter
    • CommentTimeFeb 19th 2011
    • (edited Feb 19th 2011)

    I have just added a link to the notes that I prepared for the Lisbon meeting on my personal page. I would love to have some feedback, and in particular suggestions for incorporating some more of this in the nLab. The new material also forms part of the extended version of the Menagerie (which is now topping 800 pages.)

    • CommentRowNumber2.
    • CommentAuthorDavid_Corfield
    • CommentTimeFeb 20th 2011

    Which part of that document did you deliver in Lisbon?

    Is there anything resembling a cobordism hypothesis for your HCobord(n,B)HCobord(n,B)?

    • CommentRowNumber3.
    • CommentAuthorTim_Porter
    • CommentTimeFeb 20th 2011
    • (edited Feb 20th 2011)

    I gave very little but decided to make it available so that people had some notes giving references at least to the discrete cases. (I only had 4 x 45 minutes plus a final 35 minutes) so I gave an intro to n-types (Postnikov towers etc.), then a brief trip through simplicial theory then crossed modules and crossed n-cubes, finishing up with HQFTs.In the 35 mins I tried to connect things up with ideas from other talks.

    I briefly talked about cobordism hypotheses for B-Hqfts with Chris Schommer-Pries and others. There seems to be a good chance that much of the methodology would go through, but first we need EHQFTs etc. Some people (including Urs I think) mentioned TQFTs for manifolds with structure and that is in very much the same area but the HQFTs only handle topological structure, e.g. spin structures, and so on.

    There was a lot of discussion going on so I hope I have conveyed some of the threads.

    • CommentRowNumber4.
    • CommentAuthorTim_Porter
    • CommentTimeFeb 21st 2011

    In case anyone comments: the version on the link of the notes is constructed from the Menagerie by including selected chapters but there is no attempt to fix cross references (hence some ??), the later material on HQFTs will be an edited (and hopefully improved, updated, expanded, etc.) version of published stuff, but as yet the editing is ’in progress’ so there is duplication due to reorganisation, etc. so I know (some of) its imperfections. I would appreciate suggestions for further topics. (I would like to include the crossed GG-modular category stuff from Turaev and to explore how that might extend to higher dimensions, but need to get the early stuff sorted out first. Also a discussion in some early chapters of the cobordism hypothesis would be good as then David C’s question could be examined. I think that the methods of proof given by Lurie should be fairly easily generalised, and Thomas’s talk in Lisbon suggested some of the points that needed handling.)

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeFeb 21st 2011
    • (edited Feb 21st 2011)

    I briefly talked about cobordism hypotheses for B-Hqfts with Chris Schommer-Pries and others. There seems to be a good chance that much of the methodology would go through, but first we need EHQFTs etc. Some people (including Urs I think) mentioned TQFTs for manifolds with structure and that is in very much the same area but the HQFTs only handle topological structure, e.g. spin structures, and so on.

    I have added to cobordism hypothesis remarks and references on the following:

    • In On the Classification of TFTs there is the definition of Bord n (X,ξ)Bord_n^{(X,\xi)} of cobordisms "with (X,ξ)(X, \xi)-structure". If one takes here X=BSO(n)×YX = B SO(n) \times Y for any topological space YY, the result is close to being cobordisms in the sense of HQFT over YY.

    • In a recent PhD thesis by David Ayala he considers cobordisms categories (unextended) of cobordisms equipped with geometric structure given by maps into, more or less, an smooth \infty-groupoid XX.

    • CommentRowNumber6.
    • CommentAuthorTim_Porter
    • CommentTimeFeb 21st 2011

    Thanks. In fact I think I had looked at that and was surprised that Ayala had not seen the connection with Turaev’s work.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeFeb 21st 2011
    • (edited Feb 21st 2011)

    was surprised that Ayala had not seen the connection with Turaev’s work.

    Well, what Ayala considers goes in another direction, representations of his cobordisms are really not topological QFTs anymore.

    But I think Jacob Lurie would have had a chance to mention Turaev’s work around where he discusses cobordisms with (X,ξ)(X,\xi)-structure. I think this is a generalization of HQFTs and provides the extended case. Maybe there is some technical fine-tuning necessary concerning the emphasis of the base point in Turaev’s description, I haven’t checked that (but it should not matter, should it?)

    • CommentRowNumber8.
    • CommentAuthorarsmath
    • CommentTimeFeb 21st 2011
    Tim, I've been reading your Menagerie document, and it's pretty neat. Though it's pretty cruel to read passages like "All will be revealed later in Chapter ??" :-)
    • CommentRowNumber9.
    • CommentAuthorDavidRoberts
    • CommentTimeFeb 21st 2011

    @arsmath - see post #4 for the disclaimer. If you email Tim he will most likely send you a full copy.

    • CommentRowNumber10.
    • CommentAuthorTim_Porter
    • CommentTimeFeb 22nd 2011

    Yep! If you are looking at the Lisbon notes version or for that matter the ’short’ version on the nLab, and want to get a longer version, just ask me. It is work in progress and it becomes tedious to do a fresh delete and upload of the new version every few days.