Localizations of higher categories with applications

具有应用程序的更高类别的本地化

• 批准号: RGPIN-2015-04095
• 负责人: Pronk, Dorothea
• 金额: $ 1.02万
• 依托单位: Dalhousie University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2016
• 资助国家: 加拿大
• 起止时间: 2016-01-01 至 2017-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=612770
• 关键词: Localizations; higher; categories; applications

Manifolds are smooth objects like an inner tube or the surface of a ball, although they don't need to be 2-dimensional, and have been studied extensively in mathematics since the 19th century. The smoothness of a manifold is made precise by saying that locally the object looks just like the plane of like Euclidean n-space. In 1956 a generalization of manifolds called orbifolds was introduced. Orbifolds may have some sharp points. An example of an orbifold would be an ice cream cone which is obtained from a circular sheet by making a 2-fold or 3-fold covering and which has a sharp cone point at the place where the center of the circle was. We used the 2- or 3-fold symmetry of the circular area to make this object. In general, an orbifold can locally be described as a smooth object with a finite amount of symmetry which gives rise to some sharp features which we call singularities. The collection of all these local descriptions together with some information on how they fit together gives an atlas for the orbifold.   Moerdijk and I introduced a different way of describing orbifolds in 1995 and the corresponding notion of map between orbifolds (and of maps between these maps) has allowed us to introduce homotopy invariants for orbifolds (a characteristic of their shape rather than their geometry). They have proven very useful in topological quantum field theory (TQFT), a theory that describes the properties of a quantum field that only depend on its shape, not on its geometry.  In this research I want to give yet another representation of orbifolds which will clarify the deep connection between orbifolds and TQFTs and will enable us to translate results about orbifolds into results about TQFTs. The key insight for this is to put further structure on the maps between orbifolds and on the correspondences between atlas charts. This can be done in several ways, all based on existing constructions in (weak) higher category theory. As a further application of these new representations I plan to obtain new homotopy invariants for orbifolds; we also hope to further generalize the notion of orbifold so that we may be able to use the same techniques to study other situation with a concept of local symmetry. My second research direction is to study and develop a new model for weak higher categories. Higher dimensional category theory is useful in studying situations where we have structures and relationships between structures and then again relationships between those relationships, as is the case for orbifolds. There are a couple of models for weak higher categories, but they are very technical to work with. Our new model is made in such a way that it will be easier to inductively define higher dimensional analogues of constructions that we know and understand in low dimensions. Our model differs from others in that we introduce the weakness in a non-standard way. One of the areas where we hope to apply this is in the study of the duals occurring in TQFTs.

流形是光滑的物体，就像内管或球的表面一样，尽管它们不需要是二维的，自19世纪以来，流形就在数学中得到了广泛的研究。流形的平滑性是精确的通过说局部物体看起来就像欧几里得n空间的平面。1956年引入了流形的推广，称为轨道。轨道可能有一些尖锐的点。圆形的一个例子是冰淇淋甜筒，它是由一张圆形的纸做成的，用2层或3层的盖子盖住，在圆心的地方有一个尖锐的锥形点。我们使用圆形区域的2或3倍对称性来制作这个物体。一般来说，一个轨道可以局部地描述为一个光滑的物体，具有有限的对称性，从而产生一些我们称之为奇点的尖锐特征。所有这些局部描述的集合，加上它们如何组合在一起的一些信息，构成了一个轨道的地图集。