Not signed in (Sign In)

Start a new discussion

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

Discussion Tag Cloud

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.
    • CommentAuthorUrs
    • CommentTimeNov 20th 2012

    added at cobordism hypothesis a pointer to

    where the case for (,1)(\infty,1)-categories is spelled out and proven in detail.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeFeb 17th 2014

    At cobordism hypothesis the section titled For noncompact cobordisms used to contain nothing but a link to Calabi-Yau object. I have now added a few lines of text at least, trying to convey the rough idea.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeFeb 17th 2014
    • (edited Feb 17th 2014)

    added also a section For cobordisms with singuarities (boundaries/branes and defects/domain walls) with just a few lines on the idea for the moment, just enough to highlight theorem 4.3.11.

    (Which is easily missed; much of the best magic happens on the last 10 pages of 111…)

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeFeb 17th 2014
    • (edited Feb 17th 2014)

    What would be the established term for these “diagrams indicating types of singularities” on which the cobordism-with-singularities hypothesis/theorem says that the cobordism-with-singularities (,n)(\infty,n)-category is freely generated from as a symmetric monoidal (,n)(\infty,n)-category with all duals?

    So I mean for instance the simple diagram

    0* 0 \longrightarrow \ast

    indicating a domain wall separating the left phase (“0”) from the right (“\ast”). The archetypical path in a fundamental category crossing a stratum.

    May these be called “catastrophe diagrams”? Is there any half-way established term available?

    • CommentRowNumber5.
    • CommentAuthorDavid_Corfield
    • CommentTimeFeb 17th 2014

    So paths which go up and down through the strata, like we discussed once? I wonder if there’s a term in a paper like Diagrammatics, Singularities, and their Algebraic Interpretations.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeFeb 17th 2014

    Yes, paths, and then higher dimensional paths.

    Thanks for pointing out that reference again. I skimmed through it, but I am not sure if it has the kind of term I am looking for (maybe it doesn’t exist).

    In any case, I have added a pointer to the reference to 3d TQFT and to 4d TQFT.

    • CommentRowNumber7.
    • CommentAuthorDavid_Corfield
    • CommentTimeFeb 18th 2014

    Taking a look at the workshop you’re attending, I see Catherine Meusburger is speaking on ’Diagrams for Gray categories with duals’, which is based on Gray categories with duals and their diagrams. Todd gets a mention:

    The definition of a diagrammatic calculus for Gray categories follows the pattern for categories and 2-categories. The diagrams are a three-dimensional generalisation of the two-dimensional diagrams defined above, and were previously studied informally by Trimble [31].

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeSep 2nd 2014
    • (edited Sep 2nd 2014)

    added to cobordism hypothesis in the section on the framed version a brief paragraph Implications – The canonical O(n)-action on fully dualizable objects

    (this statement used to be referred to further below in the entry, but wasn’t actually stated)

    Added corresponding cross-pointers to dual object (n=1n = 1) and to orthogonal spectrum (n=n = \infty). Somebody needs to create an entry for Serre automorphism (n=2n =2).

    • CommentRowNumber9.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 4th 2014

    How does that result fit with the ( 2) n(\mathbb{Z}_2)^n automorphism \infty-group of (,n)(\infty, n)-Cat? What are the fully dualizable objects of the latter?

    On the other hand, what would happen if we opted instead for a profunctor or span-like approach? Objects there are generally fully dualizable?

    I see just out there is Rune Haugseng’s Iterated spans and “classical” topological field theories. Urs and Joost get cited.

    In §6 we then prove that Span n(C)Span_n(C) is symmetric monoidal and that all its objects are fully dualizable

    Oh, but

    Conjecture 1.3 (Lurie). The O(k)O(k)-action on the underlying ∞-groupoid of Span k(C)Span_k(C) is trivial, for all ∞-categories CC with finite limits.

    Anyway, I’m more interested with my first question.

    • CommentRowNumber10.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 4th 2014

    Christopher Schommer-Pries has some useful notes – Dualizability in Low-Dimensional Higher Category Theory.

    • CommentRowNumber11.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 4th 2014

    I guess it’ll only be the terminal object which is dualizable.

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeSep 4th 2014

    Thanks for highlighting Haugseng’s article! Would have missed that otherwise.

    Have added pointers to his results to (infinity,n)-category of correspondences and elsewhere.

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeOct 13th 2014

    added a tad more on the definition of cobordisms with (X,xi)-structure and then added in particular the proof idea of how the cobordism hypothesis for (X,ξ)(X,\xi)-structure follows from the framed case

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeOct 13th 2014

    added now also the proof of 2.4.26 from the (X,ξ)(X,\xi)-version, i.e. the reduction to the special case that X=BGX = B G. This is of course just a straightforward corollary, but I have added a line discussing how the result is really the correct concept of homotopy invariants in the sense defined/discussed at infinity-action.

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeOct 13th 2014

    added now also the proof of 2.4.26 from the (X,ξ)(X,\xi)-version, i.e. the reduction to the special case that X=BGX = B G. This is of course just a straightforward corollary, but I have added a line discussing how the result is really the correct concept of homotopy invariants in the sense defined/discussed at infinity-action.

    • CommentRowNumber16.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 13th 2014

    What’s the status of the generalized tangle hypothesis?

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeOct 13th 2014

    This appears as theorem 4.4.4 in Lurie’s writeup.

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeOct 18th 2014

    Started a section on the case of (un-)oriented field theories.

    After recalling some of the statements from Lurie’s article, I am after making explicit the following corollary. While being a simple corollary, this way of stating it explicitly is immensely useful for the study of unoriented local prequantum field theories. I wonder if this has been made explicit “in print” elsewhere before:

    Let Phases Ab (H)Phases^\otimes \in Ab_\infty(\mathbf{H}) be an abelian ∞-group object, regarded as a (∞,n)-category with duals internal to H\mathbf{H}.

    At least if H=\mathbf{H} = ∞Grpd, then local unoriented-topological field theories of the form

    Bord n Corr n(H /Phases) phased Bord_n^\sqcup \longrightarrow Corr_n(\mathbf{H}_{/Phases})^{\otimes_{phased}}

    are equivalent to a choice

    1. of XHX \in \mathbf{H} equipped with an O(n)O(n)-∞-action

    2. a homomorphism of O(n)O(n)-∞-actions L:XPhasesL \colon X \to Phases (where Phases Phases^\otimes is equipped with the canonical \infty-action induced from the framed cobordism hypothesis), hence to morphisms

    X//O(n) L//O(n) Phases//O(n) BO(n). \array{ X//O(n) && \stackrel{L//O(n)}{\longrightarrow} && Phases//O(n) \\ & \searrow && \swarrow \\ && B O(n) } \,.
    • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeOct 18th 2014

    started disucssion of some simple but interesting examples at local prequantum field theory – Higher CS theory – Levels.

    But I am being interrupted now…

    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeOct 24th 2014

    I followed up that proposition Exchanging fields for structure with a remark amplifying its relevance/meaning.

    • CommentRowNumber21.
    • CommentAuthorUrs
    • CommentTimeOct 24th 2014
    • (edited Oct 24th 2014)

    Given a “structure”, i.e. an (X,ζ)(X,\zeta)-structure in the terminology of Lurie’s writeup, and hence given Bord n (X,ζ)Bord_n^{(X,\zeta)}, what is actually a direct way (i.e. not via the full cobordism hypothesis) to define the “(X,ζ)(X,\zeta)-diffemorphism group” of an nn-dimensional manifold Σ\Sigma, i.e.

    Π(Diff (X,ζ)(Σ))Ω Σ nBord n (X,ζ) \Pi(Diff_{(X,\zeta)}(\Sigma)) \coloneqq \Omega^n_{\Sigma} Bord_n^{(X,\zeta)}

    ?

    (Notice: no geometric realization on the right.)

    I think I know what it is, but I am a little vague on how to formally derive this from the “definition” of Bord n (X,ζ)Bord_n^{(X,\zeta)}.

    I think the right answer is to form the homotopy pullback along the canonical map

    Diff(Σ)Aut /BO(n)(Σ) Diff(\Sigma) \longrightarrow \mathbf{Aut}_{/BO(n)}(\Sigma)

    of automorphisms in the “slice of the slice” over the classifying map XBO(n)X \to BO(n) of ζ\zeta.

    I have spelled this out now as def. 3.2.9 on page 34 at Local prequantum field theory (schreiber). After that definition there are spelled out proofs that with this defintion we do get the expected higher extensions of BDiff(Σ)B Diff(\Sigma).

    So this looks right. But if anyone cares to give me a sanity check, that would be appreciated.

    • CommentRowNumber22.
    • CommentAuthorUrs
    • CommentTimeOct 26th 2014

    I have forwarded that question to MO

    • CommentRowNumber23.
    • CommentAuthorTobias Fritz
    • CommentTimeJul 15th 2017

    Shouldn’t the statement of the cobordism theorem either assume that 𝒞\mathcal{C} has duals, or alternatively have the map pt *\mathrm{pt}^* land in the core of 𝒞 fd\mathcal{C}^\mathrm{fd} rather than in the core of 𝒞\mathcal{C} itself?

    (I would have fixed this myself if I was absolutely sure about it.)

    • CommentRowNumber24.
    • CommentAuthorUrs
    • CommentTimeJul 16th 2017
    • (edited Jul 16th 2017)

    Woops. Yes, you are absolutely right. I have added the qualifier “with duals” at the beginning of the Statement.

    But the entry would deserve some further polishing. If you feel energetic about this at the moment, you should edit it.

  1. Added the reference

    This claims to have the proof modulo conjecture 1.2, which is to appear shortly. Has it appeared?

    Is there as yet a published complete proof of the cobordism hypothesis. The page says

    This is almost complete, except for one step that is not discussed in detail. But a new (unpublished) result by Søren Galatius bridges that step in particular and drastically simplifies the whole proof in general.

    Do we know if the status has changed?

    diff, v66, current

    • CommentRowNumber26.
    • CommentAuthorDavidRoberts
    • CommentTime6 days ago
    • (edited 6 days ago)

    Yes, it’s time this was sorted. Lurie having proved it but then not supplying all details I’m sure killed off other people’s incentive to work on it, since the credit had already been claimed.

    • CommentRowNumber27.
    • CommentAuthorUrs
    • CommentTime5 days ago

    Last I checked, the proof of that conjecture by Ayala-Francis has not appeared. That was a few months back and I should check again. But clearly there is no evident public announcement of the proof.

    On the culture of announcing conjectures in homotopy theory as theorems, see also Clark Barwicks’s The future of homotopy theory (pdf)

    The politically efficient way to proceed is shown by number theory: Huge excitement built up by conjectures, even if their actual content doesn’t mean much to most researchers.

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)