Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

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 nlab noncommutative noncommutative-geometry number-theory object 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

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeJun 18th 2018
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded the statement (now [this prop](https://ncatlab.org/nlab/show/manifold+with+boundary#SmoothManifoldsWithBoundaryEmbedIntoDiffeologicalSpaces)) that smooth manifolds with boundary are fully faithful in diffeological spaces, with pointer to [Igresias-Zemmour 13, section 4.16](https://ncatlab.org/nlab/show/manifold+with+boundary#IgresiasZemmour13). Will add the same to _[[diffeological space]]_. <a href="https://ncatlab.org/nlab/revision/diff/manifold+with+boundary/7">diff</a>, <a href="https://ncatlab.org/nlab/revision/manifold+with+boundary/7">v7</a>, <a href="https://ncatlab.org/nlab/show/manifold+with+boundary">current</a>

   added the statement (now this prop) that smooth manifolds with boundary are fully faithful in diffeological spaces, with pointer to Igresias-Zemmour 13, section 4.16.

   Will add the same to diffeological space.

   diff, v7, current

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeJun 24th 2018
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to [Gurer & Iglesias-Zemmour 17](https://ncatlab.org/nlab/show/manifold+with+boundary#GurerIglesiasZemmour17) (differential forms on manifolds with corners in diffeology) <a href="https://ncatlab.org/nlab/revision/diff/manifold+with+boundary/8">diff</a>, <a href="https://ncatlab.org/nlab/revision/manifold+with+boundary/8">v8</a>, <a href="https://ncatlab.org/nlab/show/manifold+with+boundary">current</a>

   added pointer to Gurer & Iglesias-Zemmour 17 (differential forms on manifolds with corners in diffeology)

   diff, v8, current

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeSep 11th 2019
   • PermaLink
   Author: Urs
   Format: MarkdownItexgeneralized the statement of the theorem about embedding of manifolds with boundaries into diffeological spaces to manifolds with boundaries+corners and, for the proof, added pointer to * [[Serap Gürer]], [[Patrick Iglesias-Zemmour]], _Differential forms on manifolds with boundary and corners_, Indagationes Mathematicae, Volume 30, Issue 5, September 2019, Pages 920-929 ([arXiv:10.1016/j.indag.2019.07.004](https://doi.org/10.1016/j.indag.2019.07.004)) <a href="https://ncatlab.org/nlab/revision/diff/manifold+with+boundary/12">diff</a>, <a href="https://ncatlab.org/nlab/revision/manifold+with+boundary/12">v12</a>, <a href="https://ncatlab.org/nlab/show/manifold+with+boundary">current</a>

   generalized the statement of the theorem about embedding of manifolds with boundaries into diffeological spaces to manifolds with boundaries+corners and, for the proof, added pointer to

   • Serap Gürer, Patrick Iglesias-Zemmour, Differential forms on manifolds with boundary and corners, Indagationes Mathematicae, Volume 30, Issue 5, September 2019, Pages 920-929 (arXiv:10.1016/j.indag.2019.07.004)

   diff, v12, current

4. • CommentRowNumber4.
   • CommentAuthorUrs
   • CommentTimeDec 2nd 2020
   • (edited Jan 21st 2021)
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to * [[Klaus Jänich]], Section 1.2 of: _On the classification of $O(n)$-manifolds_, Math. Ann. 176, 53–76 (1968) ([doi:10.1007/BF02052956](https://doi.org/10.1007/BF02052956)) and to * Gerd Laures, _On cobordism of manifolds with corners_, Trans. Amer. Math. Soc. 352 (2000) ([doi:10.1090/S0002-9947-00-02676-3](https://doi.org/10.1090/S0002-9947-00-02676-3)) <a href="https://ncatlab.org/nlab/revision/diff/manifold+with+boundary/14">diff</a>, <a href="https://ncatlab.org/nlab/revision/manifold+with+boundary/14">v14</a>, <a href="https://ncatlab.org/nlab/show/manifold+with+boundary">current</a>

   added pointer to

   • Klaus Jänich, Section 1.2 of: On the classification of $O(n)$-manifolds, Math. Ann. 176, 53–76 (1968) (doi:10.1007/BF02052956)

   and to

   • Gerd Laures, On cobordism of manifolds with corners, Trans. Amer. Math. Soc. 352 (2000) (doi:10.1090/S0002-9947-00-02676-3)

   diff, v14, current

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeJan 21st 2021
   • PermaLink
   Author: Urs
   Format: MarkdownItexhave added pointer to: * Josh Genauer, _Cobordism categories of manifolds with corners_, Transactions of the American Mathematical Society Vol. 364, No. 1 (2012), pp. 519-550 ([arXiv:0810.0581](https://arxiv.org/abs/0810.0581), [jstor:41407770](https://www.jstor.org/stable/41407770), [doi:10.1090/S0002-9947-2011-05474-7](https://doi.org/10.1090/S0002-9947-2011-05474-7)) <a href="https://ncatlab.org/nlab/revision/diff/manifold+with+boundary/19">diff</a>, <a href="https://ncatlab.org/nlab/revision/manifold+with+boundary/19">v19</a>, <a href="https://ncatlab.org/nlab/show/manifold+with+boundary">current</a>

   have added pointer to:

   • Josh Genauer, Cobordism categories of manifolds with corners, Transactions of the American Mathematical Society Vol. 364, No. 1 (2012), pp. 519-550 (arXiv:0810.0581, jstor:41407770, doi:10.1090/S0002-9947-2011-05474-7)

   diff, v19, current

6. • CommentRowNumber6.
   • CommentAuthorperezl.alonso
   • CommentTimeJun 12th 2024
   • PermaLink
   Author: perezl.alonso
   Format: MarkdownItexadded pointer * Luca Ciambelli, Jerzy Kowalski-Glikman, Ludovic Varrin. *Quantum Corner Symmetry: Representations and Gluing* (2024). ([arXiv:2406.07101](https://arxiv.org/abs/2406.07101)). should eventually include some of the references therein in other pages, partly because they appear to be related to Hisham's paper(s) on corners in M-theory (which itself is only featured in [[QFT with defects]]). <a href="https://ncatlab.org/nlab/revision/diff/manifold+with+boundary/25">diff</a>, <a href="https://ncatlab.org/nlab/revision/manifold+with+boundary/25">v25</a>, <a href="https://ncatlab.org/nlab/show/manifold+with+boundary">current</a>

   added pointer

   • Luca Ciambelli, Jerzy Kowalski-Glikman, Ludovic Varrin. Quantum Corner Symmetry: Representations and Gluing (2024). (arXiv:2406.07101).

   should eventually include some of the references therein in other pages, partly because they appear to be related to Hisham’s paper(s) on corners in M-theory (which itself is only featured in QFT with defects).

   diff, v25, current

7. • CommentRowNumber7.
   • CommentAuthorUrs
   • CommentTimeJun 12th 2024
   • (edited Jun 12th 2024)
   • PermaLink
   Author: Urs
   Format: MarkdownItexThere would be a lot of literature to add for QFT on manifolds with corners (to a large extent the topic of [[extended field theory]]), which ultimately would better fit into a dedicated entry in its own right. While that does not exist yet, I have added a pointer also to [Canepa & Cattaneo 2024](https://ncatlab.org/nlab/show/manifold+with+boundary#CanepaCattaneo24).

   There would be a lot of literature to add for QFT on manifolds with corners (to a large extent the topic of extended field theory), which ultimately would better fit into a dedicated entry in its own right. While that does not exist yet, I have added a pointer also to Canepa & Cattaneo 2024.