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 bundle bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics 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 foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry graph graphs gravity 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 homology homotopy homotopy-theory homotopy-type-theory index-theory infinity integration integration-theory itex k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory 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 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 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.
    • CommentAuthorDexter Chua
    • CommentTimeAug 6th 2016
    • (edited Aug 6th 2016)

    Restructured the manifold entry to avoid duplication with pseudogroup, and moved the section on the tangent bundle to tangent bundle

    • CommentRowNumber2.
    • CommentAuthorJoshua Meyers
    • CommentTimeAug 31st 2019
    • (edited Aug 31st 2019)

    The definition via pseudogroups is supposed to have the following problem:

    There is in general no notion of morphisms between manifolds. At best, we can only talk about isomorphisms of manifolds.

    However, couldn’t this problem be solved by using a “pseudomonoid” instead of a pseudogroup? We can define a pseudomonoid MM on the topological space XX as a wide subcategory of Op(X)\text{Op}(X) such that for all U,V,U αU, V, U_\alpha open in XX, f:UVf: U\rightarrow V such that (U α)(U_\alpha) covers UU, we have the condition fM(α)f| U α:UU αVf(U α)Mf\in M \iff (\forall \alpha) f|_{U_\alpha}:U\cap U_\alpha\rightarrow V\cap f(U_\alpha) \in M.

    • CommentRowNumber3.
    • CommentAuthorTodd_Trimble
    • CommentTimeAug 31st 2019

    I’m not sure right away. I’d have to think about it.

    • CommentRowNumber4.
    • CommentAuthorJoshua Meyers
    • CommentTimeSep 2nd 2019
    • (edited Sep 2nd 2019)

    Here’s a new way of characterizing manifolds that I like better.

    Let XX be a topological space and let NN be the monoid of partial continuous functions XXX\rightarrow X (any element of NN has open domain by continuity), ordered by inclusion of graphs. Then define a pseudomonoid on XX to be a submonoid SS of NN such that

    • If f,f αNf, f_\alpha\in N and f= αf αf=\cup_\alpha f_\alpha, then fSf\in S iff (α)(f αS)(\forall \alpha) (f_\alpha\in S). (Equivalently, SS is a lower set of NN and the inclusion SNS\rightarrow N lifts joins.)

    (This condition implies that SS is closed under open restriction, and, being a submonoid of NN, SS contains the identity map id X\text{id}_X, so SS contains all coreflexive elements of NN.)

    Let GG be the inverse semigroup GG of all elements of SS that are bijective and whose opposite (as a relation) is also in SS.

    Now let MM be a set. A chart on MM is a partial bijection MXM\rightarrow X. Two charts a,ba,b are SS-compatible iff b opaGb^{\text{op}}a\in G (or equivalently, b opa,a opbSb^{\text{op}}a, a^{\text{op}}b \in S). (A chart is compatible with itself iff its image is open.)

    An SS-atlas on MM is a collection of pairwise SS-compatible maps whose domains cover MM.

    An SS-manifold is a set MM equipped with an SS-atlas. A map ff between SS-manifolds MM, NN with SS-atlases AA, BB is a morphism iff there exists a collection of pairs (ϕ α,ψ α)A×B(\phi_\alpha, \psi_\alpha)\in A\times B such that the collection {domϕ α×domψ α}\{\text{dom} \phi_\alpha \times \text\{dom} \psi_\alpha\} covers the graph of ff and for all α\alpha, ψ αfϕ α opS\psi_\alpha f \phi_\alpha^{\text{op}}\in S.

    By using partial functions we don’t need to worry about having all different domains involved and keeping track of restrictions and such.

    • CommentRowNumber5.
    • CommentAuthorTodd_Trimble
    • CommentTimeSep 2nd 2019

    Joshua, is this in the literature someplace?

    • CommentRowNumber6.
    • CommentAuthorJoshua Meyers
    • CommentTimeSep 2nd 2019
    • (edited Sep 3rd 2019)

    Not that I know of, but I haven’t looked very hard.

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)