Comprendre les TQFTs orbifold et leur importance
Un aperçu des orbifolds et des TQFTs de défaut en maths et en physique.
― 8 min lire
Table des matières
- Les bases des TQFTs
- C'est quoi les Orbifolds ?
- Le rôle des défauts dans les TQFTs
- La complétion des orbifolds dans les TQFTs
- Construire des données d'orbifold
- Le rôle des Catégories dans les TQFTs
- Évaluer les TQFTs d'orbifold
- Applications des TQFTs d'orbifold
- Conclusion : L'avenir des TQFTs d'orbifold
- Source originale
- Liens de référence
Dans le monde des maths, surtout en topologie et en géométrie, les scientifiques explorent la structure et les propriétés des espaces. Un domaine important est de comprendre ce qui se passe quand les espaces montrent des symétries ou quand ils sont construits à partir de pièces plus simples. Un concept qui entre en jeu est celui de l'"orbifold", que l'on peut voir comme une sorte d'espace qui a certains types de singularités ou de "coins". Ces espaces peuvent apparaître naturellement quand on considère l'action d'un groupe sur une variété.
Les théories quantiques des champs topologiques avec Défauts (TQFTS) sont des cadres mathématiques utilisés pour étudier des théories des champs quantiques avec des défauts, comme des points ou des lignes où les règles habituelles de la théorie peuvent se casser ou changer. En gros, ces théories nous aident à comprendre comment les systèmes quantiques se comportent quand ils ont des imperfections ou des interruptions dans leur structure.
Les bases des TQFTs
Au cœur des TQFTs, on relie géométrie et physique. Elles assignent des structures algébriques à des espaces topologiques, ce qui peut aider à calculer des invariants-des propriétés qui restent inchangées sous des déformations continues. Par exemple, dans les TQFTs en deux dimensions, les surfaces peuvent être classées selon leurs formes et caractéristiques, menant à des idées puissantes sur la nature de ces surfaces.
On peut voir les TQFTs comme des foncteurs, qui sont des mappings mathématiques qui préservent certaines structures, d'une catégorie de variétés à une catégorie d'espaces vectoriels. En gros, elles traduisent des questions géométriques en questions algébriques, permettant des calculs qui peuvent révéler des vérités profondes sur le monde physique.
Orbifolds ?
C'est quoi lesLes orbifolds sont un type d'espace qui généralise le concept de variété. Alors qu'une variété est un espace qui a l'air "lisse" localement, un orbifold peut avoir des points qui ne sont pas lisses, comme un point de cône, où la structure ressemble à un cône autour de ce point. Ces points singuliers sont essentiels quand on considère les symétries et peuvent être utiles dans diverses applications, de la théorie des cordes à la géométrie algébrique.
Les orbifolds capturent l'idée de symétrie de manière structurée. Ils se forment en prenant une variété et en permettant à un groupe de symétries d'agir dessus, menant à une structure plus complexe qui conserve des infos sur ces symétries. Ça fait des orbifolds un outil précieux en maths et en physique modernes, surtout pour comprendre comment les espaces peuvent être construits à partir de parties plus simples.
Le rôle des défauts dans les TQFTs
Dans les TQFTs, les défauts représentent des interruptions ou des altérations dans une théorie des champs quantiques. Ils peuvent prendre diverses formes, comme des points (défauts ponctuels), des lignes (défauts linéaires) ou des surfaces (défauts de surface). Chaque type de défaut peut avoir un impact sur le fonctionnement de la théorie et donner de nouvelles idées sur les interactions et structures présentes dans le système quantique.
Les TQFTs avec défauts étendent le cadre classique des TQFT en incorporant ces défauts, fournissant une structure plus riche qui reflète les complexités des systèmes réels. En étudiant les TQFTs avec défauts, les chercheurs peuvent mieux comprendre comment les défauts influencent les systèmes physiques, surtout en physique des hautes énergies et dans les systèmes de matière condensée.
La complétion des orbifolds dans les TQFTs
Le processus de complétion des orbifolds peut être vu comme un moyen d'élever la structure d'une TQFT pour inclure des défauts. Cela implique d'incorporer la théorie originale dans un cadre plus large qui prend en compte la présence de défauts, menant à une nouvelle théorie améliorée.
Concrètement, cela signifie que les scientifiques peuvent prendre une TQFT avec défauts et la comprendre mieux en traduisant ses propriétés dans le langage des orbifolds. Cette correspondance entre orbifolds et TQFTs avec défauts permet une investigation plus profonde des structures mathématiques qui sous-tendent ces théories.
Construire des données d'orbifold
Pour étudier les orbifolds dans le contexte des TQFTs, on doit construire ce qu'on appelle des données d'orbifold. Cela implique de définir des structures algébriques qui encapsulent les propriétés de l'orbifold et les interactions qui résultent des défauts.
La construction des données d'orbifold nécessite généralement de comprendre comment différents objets mathématiques sont liés entre eux au sein de la structure de l'orbifold. Cela inclut la définition de Morphismes-des cartes entre objets-qui respectent les symétries et propriétés de l'orbifold.
Ces données d'orbifold servent de bâtis pour créer de nouvelles TQFTs, offrant un moyen systématique d'incorporer des défauts et d'explorer leurs conséquences. Quand ça réussit, ce processus mène à une meilleure compréhension de comment les systèmes quantiques se comportent en présence de différents types de défauts.
Catégories dans les TQFTs
Le rôle desLes catégories sont des structures de base en mathématiques qui aident à organiser systématiquement des objets et leurs relations. Dans les TQFTs et les études sur les orbifolds, les catégories jouent un rôle crucial, permettant de formuler des concepts avancés et des relations entre différentes entités mathématiques.
Le cadre catégorique permet une représentation claire de la façon dont les morphismes se comportent entre divers espaces, y compris les orbifolds et les défauts. Cette organisation est essentielle pour comprendre les interactions plus complexes qui se produisent dans les TQFTs, notamment en ce qui concerne les orbifolds.
Évaluer les TQFTs d'orbifold
Pour évaluer les TQFTs d'orbifold, le processus implique généralement de comprendre comment les théories interagissent avec différentes structures géométriques, y compris les variétés et les espaces stratifiés. Cette évaluation aide à déterminer comment des configurations spécifiques influencent les propriétés de la théorie de champ.
Une approche est d'utiliser des triangulations des espaces impliqués, en les décomposant en composants plus simples qui peuvent être analysés plus facilement. En étiquetant ces composants selon les données d'orbifold et en évaluant comment ils interagissent, les chercheurs peuvent déduire des propriétés importantes sur l'ensemble de la théorie.
Applications des TQFTs d'orbifold
Les TQFTs d'orbifold ont un large éventail d'applications en maths et en physique théorique. Elles peuvent aider les chercheurs à comprendre des phénomènes complexes en physique quantique, comme la gravité quantique et la théorie des cordes, en fournissant une manière structurée d'analyser les propriétés de différents systèmes.
De plus, ces théories peuvent offrir des aperçus sur la topologie, permettant aux mathématiciens de classer et de comprendre différents types d'espaces selon leurs caractéristiques structurelles. L'interaction entre la géométrie et l'algèbre dans les TQFTs d'orbifold mène à des innovations dans les deux domaines.
Conclusion : L'avenir des TQFTs d'orbifold
Alors que les domaines des maths et de la physique continuent d'évoluer, l'étude des orbifolds et des TQFTs avec défauts reste un domaine de recherche dynamique. L'interaction entre géométrie, algèbre et théorie quantique présente de nombreuses opportunités pour la découverte et l'exploration.
Les chercheurs vont probablement continuer à développer de nouvelles techniques pour comprendre ces structures complexes, menant à des avancées tant dans les cadres théoriques que dans les applications pratiques. L'avenir promet de dévoiler de nouvelles relations et idées qui peuvent surgir de l'interaction riche entre les orbifolds et les TQFTs avec défauts.
Alors qu'on continue à démêler les subtilités de ces sujets, on pourrait trouver de nouvelles façons d'appliquer leurs principes à des problèmes du monde réel et d'approfondir notre compréhension de la nature fondamentale de l'univers. Le parcours à travers le paysage fascinant des orbifolds et des TQFTs avec défauts ne fait que commencer, et leur plein potentiel n'a pas encore été réalisé.
Titre: Orbifold completion of 3-categories
Résumé: We develop a general theory of 3-dimensional ``orbifold completion'', to describe (generalised) orbifolds of topological quantum field theories as well as all their defects. Given a semistrict 3-category $\mathcal{T}$ with adjoints for all 1- and 2-morphisms (more precisely, a Gray category with duals), we construct the 3-category $\mathcal{T}_{\textrm{orb}}$ as a Morita category of certain $E_1$-algebras in $\mathcal{T}$ which encode triangulation invariance. We prove that in $\mathcal{T}_{\textrm{orb}}$ again all 1- and 2-morphisms have adjoints, that it contains $\mathcal{T}$ as a full subcategory, and we argue, but do not prove, that it satisfies a universal property which implies $(\mathcal{T}_{\textrm{orb}})_{\textrm{orb}} \cong \mathcal{T}_{\textrm{orb}}$. This is a categorification of the work in [CR]. Orbifold completion by design allows us to lift the orbifold construction from closed TQFT to the much richer world of defect TQFTs. We illustrate this by constructing a universal 3-dimensional state sum model with all defects from first principles, and we explain how recent work on defects between Witt equivalent Reshetikhin--Turaev theories naturally appears as a special case of orbifold completion.
Auteurs: Nils Carqueville, Lukas Müller
Dernière mise à jour: 2024-02-25 00:00:00
Langue: English
Source URL: https://arxiv.org/abs/2307.06485
Source PDF: https://arxiv.org/pdf/2307.06485
Licence: https://creativecommons.org/licenses/by/4.0/
Changements: Ce résumé a été créé avec l'aide de l'IA et peut contenir des inexactitudes. Pour obtenir des informations précises, veuillez vous référer aux documents sources originaux dont les liens figurent ici.
Merci à arxiv pour l'utilisation de son interopérabilité en libre accès.
Liens de référence
- https://arXiv.org/abs/#1
- https://dx.doi.org/#1
- https://tex.stackexchange.com/questions/41379/automatically-typeset-math-in-section-headings-in-bold-face
- https://arxiv.org/abs/q-alg/9712025
- https://www.numdam.org/item?id=PMIHES_1988__68__175_0
- https://arxiv.org/abs/1404.7497
- https://arxiv.org/abs/1804.07538
- https://arxiv.org/abs/2003.13812
- https://arxiv.org/abs/1211.0529
- https://arxiv.org/abs/1607.05747
- https://arxiv.org/abs/2205.09545
- https://arxiv.org/abs/2101.02482
- https://arxiv.org/abs/2109.04754
- https://arxiv.org/abs/1603.01171
- https://arxiv.org/abs/1910.02630
- https://arxiv.org/abs/1210.6363
- https://arxiv.org/abs/1311.3354
- https://arxiv.org/abs/1705.06085
- https://arxiv.org/abs/1710.10214
- https://www.tac.mta.ca/tac/volumes/35/15/35-15abs.html
- https://arxiv.org/abs/1809.01483
- https://arxiv.org/pdf/2012.15774
- https://arxiv.org/abs/2205.06453
- https://arxiv.org/abs/2208.08722
- https://www.arxiv.org/abs/1312.7188
- https://www.ams.org/bookstore?fn=20&arg1=pspumseries&ikey=PSPUM-83
- https://arxiv.org/abs/1107.0495
- https://arxiv.org/abs/1812.11933
- https://arxiv.org/abs/0909.5013
- https://nbn-resolving.de/urn/resolver.pl?urn:nbn:at:at-ubw:1-17977.14847.768365-2
- https://arxiv.org/abs/1203.4568
- https://arxiv.org/abs/1609.06475
- https://arxiv.org/abs/1502.06526
- https://arxiv.org/abs/2002.06055
- https://arxiv.org/abs/2105.04613
- https://arxiv.org/abs/1012.0911
- https://projecteuclid.org/euclid.cdm/1254748657
- https://arxiv.org/abs/2205.06874
- https://arxiv.org/abs/2002.00663
- https://arxiv.org/abs/2010.00932
- https://arxiv.org/abs/2206.02611
- https://arxiv.org/abs/1708.08359
- https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:29-opus4-37321
- https://arxiv.org/abs/1206.5716
- https://ncatlab.org/toddtrimble/published/Surface+diagrams