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

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
    • CommentTimeJul 15th 2014

    I have given pseudogroup an entry of its own, for the moment just copying there the definition from manifold. This is so as to be able to add references for the concepts, which I did.

    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeJul 15th 2014
    • (edited Jul 15th 2014)

    It seems that you meant a pseudogroup of transformations, the entry wanted in inverse semigroup, rather than more general notions (when more general partial/local automorphisms Iso(X) replace the selfhomeomorphisms Homeo(X)Iso(X)Homeo(X)\subset Iso(X) or diffeomorphism of manifolds). The latter case is the classical case, the semigroup specialists now consider analogues in formal sense…

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeJul 15th 2014

    Please add redirects as you like. Our entry manifold has always called them just “pseudogroups”, as does Wikipedia (here). But of course, while standard, it’s not a particularly well-chosen term at all, I agree.

    • CommentRowNumber4.
    • CommentAuthorzskoda
    • CommentTimeJul 15th 2014
    • (edited Jul 15th 2014)

    general pseudogroup of transformations is a sub-inverse-semigroup of Homeo(X)Homeo(X).

    General pseudogroup in modern sense is just a sub-inverse semigroup of some group of “partial automorphisms” (in some concrete geometries often itself sub-inverse semigroups of partial bijections of underlying sets).

    This is now quite standard among specialists on pseudogroup theory, wikipedia being mostly written by readers of old books. Very like sheaves are not nowdays necessarily on topological spaces but on sites etc.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeJul 15th 2014

    You know where the edit button is.

    • CommentRowNumber6.
    • CommentAuthorzskoda
    • CommentTimeJul 15th 2014

    I updated the page.

    • CommentRowNumber7.
    • CommentAuthorzskoda
    • CommentTimeJul 15th 2014

    Golab whom you cite was a Polish mathematician, born in Bosnia, with quite an interesting biography which can be found online.

    • CommentRowNumber8.
    • CommentAuthorTodd_Trimble
    • CommentTimeJul 15th 2014

    Glad to hear Zoran’s remarks on inverse semigroups.

    In my unpublished web there was an article on “cartologies” which is based on Carboni’s notion of bicategories of partial maps and has to do with abstract notions of manifold, especially categories of such (as opposed to groupoids of manifolds). It’s still a bit of a mess, but I decided to put a copy on my published web for what interest it might have. (Putting it there might also spur me to do a little more on this.)

    • CommentRowNumber9.
    • CommentAuthorzskoda
    • CommentTimeJul 15th 2014
    • (edited Jul 15th 2014)

    Interesting context, Todd! BTW some dollar signs starting formulas missing just above your Proposition 2 – in points labelled 2 and 3.

    • CommentRowNumber10.
    • CommentAuthorDexter Chua
    • CommentTimeAug 5th 2016

    Added a short ideas section, simplified the definition and reformatted the example to give more information. Some clean-up of pseudogroup and manifold can/should be done to reduce redundancy.

    • CommentRowNumber11.
    • CommentAuthorzskoda
    • CommentTimeAug 7th 2016
    • (edited Aug 7th 2016)

    A table in pseudogroup has strange terminology like complex plane for n\mathbb{C}^n and half-plane for upper half-space in the real nn-dimensional space n\mathbb{R}^n. I suggest using more standard complex nn-dimensional space n\mathbb{C}^n, real nn-dimensional space n\mathbb{R}^n, (real) nn-dimensional upper half-space (notation discuttable as n\mathbb{H}^n is as a rule used for the hyperbolic nn-dimensional space and the upper half-space can be for n=2n=2 used as a model for the hyperbolic space).

    • CommentRowNumber12.
    • CommentAuthorDexter Chua
    • CommentTimeAug 7th 2016
    • (edited Aug 7th 2016)

    The terminology was copied from the original passage, but I agree it is rather werid. Urs’ comment at #5 still applies.

    • CommentRowNumber13.
    • CommentAuthorJoshua Meyers
    • CommentTimeAug 31st 2019
    Definition 2.3 seems not to enforce the sheaf property --- shouldn't it?
    • CommentRowNumber14.
    • CommentAuthorTodd_Trimble
    • CommentTimeSep 1st 2019

    Re #13: clearly, yes.