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

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive constructive-mathematics cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality elliptic-cohomology enriched fibration finite foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory history homological homological-algebra homology homotopy homotopy-theory homotopy-type-theory index-theory infinity integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal-logic model model-category-theory monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories newpage noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar 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-theory subobject 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.
    • CommentAuthorUrs
    • CommentTimeJun 16th 2010
  1. what about vertical categorification of Frobenius algebras? they should be closely related to the notion of modular tensor category (if not exactly the same thing)

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeJun 16th 2010
    • (edited Jun 16th 2010)

    fRight, so the notion of Calabi-Yau A A_\infty-category is one aspect of vertical categorification. It yields “(,1)(\infty,1)-Frobenius algebroids” if you wish.

    But then next should come “2-Frobenius algebroids” which should be “modular bicategories” such that those with a single object are modular tensor categories.

    There must be literature on this, but I am not sure where the best place to go is.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJun 16th 2010

    inserted the full definition of A A_\infty CY-categories at Calabi-Yau category.

  2. created a very short stub for Calabi-Yau variety, essentially to address the links pointing there from Calabi-Yau category.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeJun 16th 2010

    Thanks!

    • CommentRowNumber7.
    • CommentAuthordomenico_fiorenza
    • CommentTimeJun 16th 2010
    • (edited Jun 16th 2010)

    “Calabi-Yau A A_\infty-categories classify TCFTs. This is where they get there name from, because these TCFTs in turn may be constructed from sigma-models whose targets ar Calabi-Yau spaces.”

    but is this true?? I would have bet this was some fields medal result! :) I would write “because nontrivial examples of TCFTs may be constructed in a natural way from.. but it could be me having missed a proof of every TCFT coming from a sigma-model :(

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeJun 16th 2010

    Oh, I didn’t mean to say that every one arises this way. Just that the motivating ones that made people invent the name “Calabi-Yau category” arose this way.

    If you could clarify that sentence in the entry for me I’d be grateful. have to run now…

  3. done.

    • CommentRowNumber10.
    • CommentAuthorzskoda
    • CommentTimeJun 16th 2010

    Calabi-Yau A ∞-categories classify TCFTs. This is where they get there name from, because these TCFTs in turn may be constructed from sigma-models whose targets ar Calabi-Yau spaces.” but is this true??

    Well it is, but really TCFT is of not crucial here. This came from community (Bondal, Orlov, Kontsevich…) which from late 1980-s studied (following early ideas of Beilinson) replacing varieties by their derived categories of coherent sheaves. Thus the derived category of coherent sheaves on Calabi Yau has some properties and generalizing those we come to Calabi Yau (triangulated or A-infinity) categories. Not each of them comes from a TCFT, there are Calabi Yau derived categories which are “noncommutative” and do not come from a TCFT on a commutative space, Calabi Yau or whatever. TCFTs are important for general motivation of the importance of the field but much further then the iommediate connection between derived categories of coherent sheaves on varieties and varieties themselves. So I would write THIS as a reason and TCFT as a benefit.

  4. Included Zoran’ remark in the Idea section at Calabi-Yau category and edited the Properties section.

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeJun 16th 2010

    By the way, as Costello emphasizes a lot: the derived category of coherent sheaves is not the Calabi-Yau category that encodes the corresponding TCFT, but an A A_\infty-refinement of it is. Apparently this A A_\infty-refinemnet is not entirely clarified. See the discussion on page 35 here.

    • CommentRowNumber13.
    • CommentAuthorzskoda
    • CommentTimeJun 16th 2010

    Costello emphasizes a lot: the derived category of coherent sheaves is not the Calabi-Yau category that encodes the corresponding TCFT, but an A ∞-refinement of it is

    You have to be methodologically honest. In A infinity you do not have Hilbert space. You get it from it for free if you want with lots of work. So, you chose to equate the A infinity data with the physical theory, what means you just care if you have sufficient data, not the traditional setting of Hilbert space explicitly. But then, it is now known that for a quasiprojective smooth variety each derived category has a unique enhancement. So there is no difference from the point of view of data if you do A infinity or you do triangulated, as long as you work with varieties. This was not known at the time Costello’s article was written and it is known now due Orlov and Lunts who emphasise its philosophical importance for physics.

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeJun 16th 2010
    • (edited Jun 16th 2010)

    You have to be methodologically honest. In A infinity you do not have Hilbert space.

    Don’t understand what you mean by this. If you mean the space of states associated to th circle by the TCFT: this is the Hochschild homology of the corresponding A A_\infty-category.

    But then, it is now known that for a quasiprojective smooth variety each derived category has a unique enhancement. So there is no difference from the point of view of data if you do A infinity or you do triangulated, as long as you work with varieties. This was not known at the time Costello’s article was written and it is known now due Orlov and Lunts who emphasise its philosophical importance for physics.

    Ah, do you have the precise reference?

    • CommentRowNumber15.
    • CommentAuthorzskoda
    • CommentTimeJun 16th 2010

    this is the Hochschild homology of the corresponding A ∞-category

    Of course. But it is not given. It is derived from the data. Similarly the Ainfinity category itself is derived from the derived category by Lunts-Orlov. For the reference look in nlab under enhanced triangulated category. I discussed this in several of our discussions on derived vs. A-infinity. It is important I think.

    • CommentRowNumber16.
    • CommentAuthorzskoda
    • CommentTimeJun 16th 2010

    Now I see there was only arxiv version there, and the final version is a bit optimised in J. AMS. This reference is under Valery Lunts. I will add the link to the journal in a bit.

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeJun 16th 2010

    Okay, thanks, Zoran. So you are saying that the open problem that Kevin Costello mentions on page 35 here has been solved?

    • CommentRowNumber18.
    • CommentAuthorzskoda
    • CommentTimeJun 16th 2010

    Yes, I think so.

    • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeJun 16th 2010

    Okay, could you add a remark to this extent in the Examples-section at Calabi-Yau category?

    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeJun 16th 2010

    But notice that the problem that Costello mentions is not the existence of the A A_\infty-structure, but the existence of the cyclically invariant form that gives the CY structure. It is clear that this follows from the result you have in mind?

    • CommentRowNumber21.
    • CommentAuthorzskoda
    • CommentTimeJun 17th 2010

    It is not clear to me, but the constructions in the paper of Lunts and Orlov are flexible enough to allow various extensions. Namely there are 3 versions of equivalences of enhancements considered, rouighly how natural/functorial the whole equivalence is. So with the strongest version it is probably possible, but I do not know.

    • CommentRowNumber22.
    • CommentAuthorKevin Lin
    • CommentTimeJun 25th 2010
    • (edited Jun 25th 2010)
    I think (but I'm not 100% sure) that the existence of a cyclically invariant form (on e.g. the dg derived category of a compact Calabi-Yau) follows from a theorem of Kontsevich-Soibelman. The theorem I have in mind can be found for example here http://arxiv.org/pdf/1002.3653v2
  5. I have added a question concerning the 1-categorical definition.

    Anonymous

    diff, v18, current

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)