Spherical category

Last updated

In category theory, a branch of mathematics, a spherical category is a pivotal category (a monoidal category with traces) in which left and right traces coincide. [1] Spherical fusion categories give rise to a family of three-dimensional topological state sum models (a particular formulation of a topological quantum field theory), the Turaev-Viro model, or rather Turaev-Viro-Barrett-Westbury model. [2]

Related Research Articles

<span class="mw-page-title-main">Topology</span> Branch of mathematics

In mathematics, topology is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself.

<span class="mw-page-title-main">Edward Witten</span> American theoretical physicist

Edward Witten is an American mathematical and theoretical physicist. He is a professor emeritus in the school of natural sciences at the Institute for Advanced Study in Princeton. Witten is a researcher in string theory, quantum gravity, supersymmetric quantum field theories, and other areas of mathematical physics. Witten's work has also significantly impacted pure mathematics. In 1990, he became the first physicist to be awarded a Fields Medal by the International Mathematical Union, for his mathematical insights in physics, such as his 1981 proof of the positive energy theorem in general relativity, and his interpretation of the Jones invariants of knots as Feynman integrals. He is considered the practical founder of M-theory.

In gauge theory and mathematical physics, a topological quantum field theory is a quantum field theory which computes topological invariants.

In the mathematical field of knot theory, the Jones polynomial is a knot polynomial discovered by Vaughan Jones in 1984. Specifically, it is an invariant of an oriented knot or link which assigns to each oriented knot or link a Laurent polynomial in the variable with integer coefficients.

Homological mirror symmetry is a mathematical conjecture made by Maxim Kontsevich. It seeks a systematic mathematical explanation for a phenomenon called mirror symmetry first observed by physicists studying string theory.

In mathematics, Tannaka–Krein duality theory concerns the interaction of a compact topological group and its category of linear representations. It is a natural extension of Pontryagin duality, between compact and discrete commutative topological groups, to groups that are compact but noncommutative. The theory is named after Tadao Tannaka and Mark Grigorievich Krein. In contrast to the case of commutative groups considered by Lev Pontryagin, the notion dual to a noncommutative compact group is not a group, but a category of representations Π(G) with some additional structure, formed by the finite-dimensional representations of G.

In mathematics, particularly in homotopy theory, a model category is a category with distinguished classes of morphisms ('arrows') called 'weak equivalences', 'fibrations' and 'cofibrations' satisfying certain axioms relating them. These abstract from the category of topological spaces or of chain complexes. The concept was introduced by Daniel G. Quillen (1967).

In mathematics, convex geometry is the branch of geometry studying convex sets, mainly in Euclidean space. Convex sets occur naturally in many areas: computational geometry, convex analysis, discrete geometry, functional analysis, geometry of numbers, integral geometry, linear programming, probability theory, game theory, etc.

In mathematics, higher category theory is the part of category theory at a higher order, which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities. Higher category theory is often applied in algebraic topology, where one studies algebraic invariants of spaces, such as their fundamental weak ∞-groupoid.
In higher category theory, the concept of higher categorical structures, such as (∞-categories), allows for a more robust treatment of homotopy theory, enabling one to capture finer homotopical distinctions, such as differentiating two topological spaces that have the same fundamental group, but differ in their higher homotopy groups. This approach is particularly valuable when dealing with spaces with intricate topological features, such as the Eilenberg-MacLane space.

<span class="mw-page-title-main">Vladimir Abramovich Rokhlin</span> Soviet mathematician

Vladimir Abramovich Rokhlin was a Soviet mathematician, who made numerous contributions in algebraic topology, geometry, measure theory, probability theory, ergodic theory and entropy theory.

<span class="mw-page-title-main">Oleg Viro</span>

Oleg Yanovich Viro is a Russian mathematician in the fields of topology and algebraic geometry, most notably real algebraic geometry, tropical geometry and knot theory.

<span class="mw-page-title-main">History of knot theory</span>

Knots have been used for basic purposes such as recording information, fastening and tying objects together, for thousands of years. The early, significant stimulus in knot theory would arrive later with Sir William Thomson and his vortex theory of the atom.

In mathematics, especially (higher) category theory, higher-dimensional algebra is the study of categorified structures. It has applications in nonabelian algebraic topology, and generalizes abstract algebra.

In the mathematical field of knot theory, a quantum knot invariant or quantum invariant of a knot or link is a linear sum of colored Jones polynomial of surgery presentations of the knot complement.

In mathematics, directed algebraic topology is a refinement of algebraic topology for directed spaces, topological spaces and their combinatorial counterparts equipped with some notion of direction. Some common examples of directed spaces are spacetimes and simplicial sets. The basic goal is to find algebraic invariants that classify directed spaces up to directed analogues of homotopy equivalence. For example, homotopy groups and fundamental n-groupoids of spaces generalize to homotopy monoids and fundamental n-categories of directed spaces. Directed algebraic topology, like algebraic topology, is motivated by the need to describe qualitative properties of complex systems in terms of algebraic properties of state spaces, which are often directed by time. Thus directed algebraic topology finds applications in concurrency, network traffic control, general relativity, noncommutative geometry, rewriting theory, and biological systems.

In string theory and related theories such as supergravity theories, a brane is a physical object that generalizes the notion of a point particle to higher dimensions. Branes are dynamical objects which can propagate through spacetime according to the rules of quantum mechanics. They have mass and can have other attributes such as charge.

Quantum topology is a branch of mathematics that connects quantum mechanics with low-dimensional topology.

Mathematics is a broad subject that is commonly divided in many areas that may be defined by their objects of study, by the used methods, or by both. For example, analytic number theory is a subarea of number theory devoted to the use of methods of analysis for the study of natural numbers.

Vladimir Georgievich Turaev is a Russian mathematician, specializing in topology.

In the mathematical field of quantum topology, the Reshetikhin–Turaev invariants (RT-invariants) are a family of quantum invariants of framed links. Such invariants of framed links also give rise to invariants of 3-manifolds via the Dehn surgery construction. These invariants were discovered by Nicolai Reshetikhin and Vladimir Turaev in 1991, and were meant to be a mathematical realization of Witten's proposed invariants of links and 3-manifolds using quantum field theory.

References

  1. John W. Barrett; Bruce W. Westbury (1999). "Spherical Categories". Advances in Mathematics . 143 (2): 357–375. arXiv: hep-th/9310164 . doi: 10.1006/aima.1998.1800 .
  2. "Turaev-Viro model". nLab. Retrieved 7 August 2017.