Related Research Articles
Noncommutative geometry (NCG) is a branch of mathematics concerned with a geometric approach to noncommutative algebras, and with the construction of spaces that are locally presented by noncommutative algebras of functions. A noncommutative algebra is an associative algebra in which the multiplication is not commutative, that is, for which does not always equal ; or more generally an algebraic structure in which one of the principal binary operations is not commutative; one also allows additional structures, e.g. topology or norm, to be possibly carried by the noncommutative algebra of functions.
In mathematics, combinatorial topology was an older name for algebraic topology, dating from the time when topological invariants of spaces were regarded as derived from combinatorial decompositions of spaces, such as decomposition into simplicial complexes. After the proof of the simplicial approximation theorem this approach provided rigour.
In mathematics, a 3-manifold is a space that locally looks like Euclidean 3-dimensional space. A 3-manifold can be thought of as a possible shape of the universe. Just as a sphere looks like a plane to a small enough observer, all 3-manifolds look like our universe does to a small enough observer. This is made more precise in the definition below.
Algorithmic topology, or computational topology, is a subfield of topology with an overlap with areas of computer science, in particular, computational geometry and computational complexity theory.
The mathematical term perverse sheaves refers to a certain abelian category associated to a topological space X, which may be a real or complex manifold, or a more general topologically stratified space, usually singular. This concept was introduced in the thesis of Zoghman Mebkhout, gaining more popularity after the (independent) work of Joseph Bernstein, Alexander Beilinson, and Pierre Deligne (1982) as a formalisation of the Riemann-Hilbert correspondence, which related the topology of singular spaces and the algebraic theory of differential equations. It was clear from the outset that perverse sheaves are fundamental mathematical objects at the crossroads of algebraic geometry, topology, analysis and differential equations. They also play an important role in number theory, algebra, and representation theory. The properties characterizing perverse sheaves already appeared in the 75's paper of Kashiwara on the constructibility of solutions of holonomic D-modules.
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, Khovanov homology is an oriented link invariant that arises as the homology of a chain complex. It may be regarded as a categorification of the Jones polynomial.
In mathematics, Floer homology is a tool for studying symplectic geometry and low-dimensional topology. Floer homology is a novel invariant that arises as an infinite-dimensional analogue of finite-dimensional Morse homology. Andreas Floer introduced the first version of Floer homology, now called Lagrangian Floer homology, in his proof of the Arnold conjecture in symplectic geometry. Floer also developed a closely related theory for Lagrangian submanifolds of a symplectic manifold. A third construction, also due to Floer, associates homology groups to closed three-dimensional manifolds using the Yang–Mills functional. These constructions and their descendants play a fundamental role in current investigations into the topology of symplectic and contact manifolds as well as (smooth) three- and four-dimensional manifolds.
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 physics, topological order is a kind of order in the zero-temperature phase of matter. Macroscopically, topological order is defined and described by robust ground state degeneracy and quantized non-Abelian geometric phases of degenerate ground states. Microscopically, topological orders correspond to patterns of long-range quantum entanglement. States with different topological orders cannot change into each other without a phase transition.
In applied mathematics, topological data analysis (TDA) is an approach to the analysis of datasets using techniques from topology. Extraction of information from datasets that are high-dimensional, incomplete and noisy is generally challenging. TDA provides a general framework to analyze such data in a manner that is insensitive to the particular metric chosen and provides dimensionality reduction and robustness to noise. Beyond this, it inherits functoriality, a fundamental concept of modern mathematics, from its topological nature, which allows it to adapt to new mathematical tools.
In mathematics, a weak equivalence is a notion from homotopy theory that in some sense identifies objects that have the same "shape". This notion is formalized in the axiomatic definition of a model category.
In mathematics, the Atiyah–Jones conjecture is a conjecture about the homology of the moduli spaces of instantons. The original form of the conjecture considered instantons over a 4 dimensional sphere. It was introduced by Michael Francis Atiyah and John D. S. Jones (1978) and proved by Charles P. Boyer, Jacques C. Hurtubise, and Benjamin M. Mann et al.. The more general version of the Atiyah–Jones conjecture is a question about the homology of the moduli spaces of instantons on any 4 dimensional real manifold, or on a complex surface. The Atiyah–Jones conjecture has been proved for Ruled Surfaces by R. J. Milgram and J. Hurtubise, and for Rational Surfaces by Elizabeth Gasparim. The conjecture remains unproved for other types of 4 manifolds.
In mathematics, the cobordism hypothesis, due to John C. Baez and James Dolan, concerns the classification of extended topological quantum field theories (TQFTs). In 2008, Jacob Lurie proposed a broadly-accepted solution.
In mathematics, the Suslin homology is a homology theory attached to algebraic varieties. It was proposed by Suslin in 1987, and developed by Suslin and Voevodsky (1996). It is sometimes called singular homology as it is analogous to the singular homology of topological spaces.
In algebraic K-theory, the K-theory of a categoryC is a sequence of abelian groups Ki(C) associated to it. If C is an abelian category, there is no need for extra data, but in general it only makes sense to speak of K-theory after specifying on C a structure of an exact category, or of a Waldhausen category, or of a dg-category, or possibly some other variants. Thus, there are several constructions of those groups, corresponding to various kinds of structures put on C. Traditionally, the K-theory of C is defined to be the result of a suitable construction, but in some contexts there are more conceptual definitions. For instance, the K-theory is a 'universal additive invariant' of dg-categories and small stable ∞-categories.
In mathematics, the Hodge–de Rham spectral sequence is an alternative term sometimes used to describe the Frölicher spectral sequence. This spectral sequence describes the precise relationship between the Dolbeault cohomology and the de Rham cohomology of a general complex manifold. On a compact Kähler manifold, the sequence degenerates, thereby leading to the Hodge decomposition of the de Rham cohomology.
In mathematics, rigidity of K-theory encompasses results relating algebraic K-theory of different rings.
In mathematics, particularly algebraic topology, the Kan-Thurston theorem associates a discrete group to every path connected topological space in such a way that the group cohomology of is the same as the cohomology of the space . The group might then be regarded as a good approximation to the space , and consequently the theorem is sometimes interpreted to mean that homotopy theory can be viewed as part of group theory.
Dan Burghelea is a Romanian-American mathematician, academic, and researcher. He is an Emeritus Professor of Mathematics at Ohio State University.
References
- ↑ Ayala, David; Francis, John; Rozenblyum, Nick (2018). "Factorization homology I: Higher categories". Advances in Mathematics . 333: 1042–1177. arXiv: 1504.04007 . doi:10.1016/j.aim.2018.05.031. MR 3818096.
- Ayala, David; Francis, John; Tanaka, Hiro Lee (2016). "Factorization homology of stratified spaces". Selecta Mathematica. 23 (1): 293–362. arXiv: 1409.0848 . doi: 10.1007/s00029-016-0242-1 . MR 3595895.
