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 complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration 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 nforum 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).
  1. I am planning to write a few things about Picard groupoids. For this purpose, I have removed a couple of redirects from Picard 2-group, added a new one which is a bit more precise, and tweaked the beginning of this page slightly. Feel free to edit further; I basically just wished to free up the page Picard groupoid.

  2. I am also attempting to tweak all existing links to Picard groupoid appropriately.

  3. Hopefully now done: Deligne’s theorem on tensor categories, Picard scheme, geometry of physics – superalgebra, super vector space, invertible object. At the latter, I removed the reference to Picard groupoid, as I wish to reserve this for a slightly different notion. If someone objects, just raise it, I am sure we can find some solution; for now, I am just clearing the way to actually write something at Picard groupoid which does not contradict an earlier reference.

  4. Made a beginning at Picard groupoid now.

  5. Added a mention that they model stable homotopy 1-types. Obviously references and a proof could be given. I would be interested to know if the invertibility criterion can be taken to be strict (it is known that everything else can be).

  6. Added a paragraph to symmetric monoidal 2-category to give the strictest possible definition (which is very easy, of course).

    • CommentRowNumber7.
    • CommentAuthorRichard Williamson
    • CommentTimeMay 22nd 2017
    • (edited May 22nd 2017)

    At Picard groupoid, I have now added a few 2-categorical considerations which show that the homotopy category of the category of Picard groupoids is additive. I have written this part rather concisely. In particular, the facts that I use, which are very basic 2-category theory, do not appear as far as I know on the nLab; it would be nice if someone would like to add them. Anyone is very welcome to elaborate on what I have written.

    What I am actually interested in here is outlining a proof that the homotopy category of Picard groupoids is triangulated, and in fact moreover ’4-angulated’, in the sense of the higher triangulated categories of Maltsiniotis. These observations are, as far as I know, new. I will probably transfer them to some kind of paper if they hold up, but for now I’ll probably work here, off and on.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeMay 22nd 2017

    Could you say again which changes you are referring to in #3? I checked super vector space and some others, and the system does not show any changes to the text. Did you change redirects at these entries?

  7. Ah, sorry, I thought that it would show up in the diff. Basically nothing should be changed at all from a reader’s point of view: no text should be changed, and the page which ’Picard groupoid’ links to at super vector space etc should still be the same. Because I removed a redirect for ’Picard groupoid’ from Picard 2-group, and replaced it by a redirect for ’Picard groupoid of a monoidal category’, it was necessary for me to change ’Picard groupoid” with square brackets around it to ’Picard groupoid of a monoidal category|Picard groupoid’ with square brackets around it at some pages.

    The only case where I have changed a little content is at invertible object and Picard 2-group.

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeMay 22nd 2017
    • (edited May 22nd 2017)

    Thanks, now I understand what you are doing. That’s good. But so I have added a disambiguation line at the beginning of the new Picard groupoid, saying

    This page considers Picard groupoids in themselves. For the concept of Picard groupoid in a monoidal category, see there.

    Also I added at the bottom a “Related concept” seciton with a pointer to 2-group

  8. Nice, thanks!

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeMay 22nd 2017

    I suppose we should still comment on the fact that some people take “Picard groupoid” to imply symmetry (as on your page) and others do not (as on mine).

    This inconsistncy seems to pervade the literature. For instance in this MO discussion the first answer takes it without symmetry, the second with symmetry.

    That’s okay, we can’t change this. But let’s add comments to the pages highlighting the issue.

    (I won’t do any further editing right now. I need to call it quits.)

  9. I also will not do further editing tonight. Yes, adding remarks sounds like a good plan. I am fine with attempting to establish some terminology; say ’abelian Picard groupoid’ or ’symmetric Picard groupoid’ for the notion I am writing of. Just let me know (or feel free to edit it in).

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeMay 23rd 2017

    Yes, please add some remarks like this. Also regarding the strictness that you impose.

    • CommentRowNumber15.
    • CommentAuthorDavid_Corfield
    • CommentTimeMay 23rd 2017

    Formally, we can obtain it by truncating? the 2-category of Picard groupoids, namely identifying all 1-arrows which are 2-isomorphic, and throwing away the 2-arrows.

    I changed truncating to decategorifying.

  10. Thanks David! I have added a couple of small sections at decategorification. There were are a couple of typos in redirects at Ho(Top), which I corrected; I hope that this does not break anything (I am assuming that nobody has used these redirects, since presumably they would in that case have corrected them).

    I have not yet found time to add the remarks that you ask for, Urs. If anyone wishes to do so in the meantime, they are welcome.

    • CommentRowNumber17.
    • CommentAuthorJanPulmann
    • CommentTimeSep 27th 2019
    Hi,
    is the Picard 2-group really a full subcategory? A weak 2-group, seen as a monoidal category, should only have invertible morphisms, as we discussed at https://ncatlab.org/nlab/show/2-group#weak_groups
    Thanks!
    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeSep 28th 2019
    • (edited Sep 28th 2019)

    Thanks for catching this, I have fixed it now to “…core of its full subcategory…”.

    It is true that a category with groupal monoidal structure is automatically a groupoid. But if we pass to the full subcategory on the tensor-invertible objects in any monoidal category, the result is not yet a groupal monoidal category, and we need to further restrict to the invertible morphisms to make it one.