|
∞-Chern–Weil Theory
In mathematics, ∞-Chern–Weil theory is a generalized formulation of Chern–Weil theory from differential geometry using the formalism of higher category theory. The theory is named after Shiing-Shen Chern and André Weil, who first constructed the Chern–Weil homomorphism in the 1940s, although the generalization was not developed by them. Generalization There are three equivalent ways to describe the k-th Chern class of complex vector bundles of rank n, which is as a: * (1-categorical) natural transformation ,\operatorname(n)Rightarrow ,K(\mathbb,2k)/math> * homotopy class of a continuous map \operatorname(n)\rightarrow K(\mathbb,2k) * singular cohomology class in H^(\operatorname(n),\mathbb) \operatorname(n) is the classifying space for the unitary group \operatorname(n) and K(\mathbb,2k) is an Eilenberg–MacLane space, which represent the set of complex vector bundles of rank n with ,\operatorname(n)cong\operatorname_\mathbb^n(-) and singular cohomology with ,K(\m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Yoneda Lemma
In mathematics, the Yoneda lemma is a fundamental result in category theory. It is an abstract result on functors of the type ''morphisms into a fixed object''. It is a vast generalisation of Cayley's theorem from group theory (viewing a group as a miniature category with just one object and only isomorphisms). It also generalizes the information-preserving relation between a term and its continuation-passing style transformation from programming language theory. It allows the embedding of any locally small category into a category of functors ( contravariant set-valued functors) defined on that category. It also clarifies how the embedded category, of representable functors and their natural transformations, relates to the other objects in the larger functor category. It is an important tool that underlies several modern developments in algebraic geometry and representation theory. It is named after Nobuo Yoneda. Generalities The Yoneda lemma suggests that instead of studyi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
∞-Chern–Simons Theory
In mathematics, ∞-Chern–Simons theory (not to be confused with infinite-dimensional Chern–Simons theory) is a generalized formulation of Chern–Simons theory from differential geometry using the formalism of higher category theory, which in particular studies ∞-categories. It is obtained by taking general abstract analogs of all involved concepts defined in any cohesive ∞-topos, for example that of smooth ∞-groupoids. Principal bundles on which Lie groups act are for example replaced by ∞-principal bundles on with group objects in ∞-topoi act.Definition in Schreiber 2013, 1.2.6.5.2 The theory is named after Shiing-Shen Chern and James Simons, who first described Chern–Simons forms in 1974, although the generalization was not developed by them. See also * ∞-Chern–Weil theory Literature * * * * {{cite book , arxiv=1301.2580 , author1=Domenico Fiorenza , author2=Hisham Sati , author3=Urs Schreiber Urs Schreiber (born 1974) is a mathematician sp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Forgetful Functor
In mathematics, more specifically in the area of category theory, a forgetful functor (also known as a stripping functor) "forgets" or drops some or all of the input's structure or properties mapping to the output. For an algebraic structure of a given signature, this may be expressed by curtailing the signature: the new signature is an edited form of the old one. If the signature is left as an empty list, the functor is simply to take the underlying set of a structure. Because many structures in mathematics consist of a set with an additional added structure, a forgetful functor that maps to the underlying set is the most common case. Overview As an example, there are several forgetful functors from the category of commutative rings. A ( unital) ring, described in the language of universal algebra, is an ordered tuple (R,+,\times,a,0,1) satisfying certain axioms, where + and \times are binary functions on the set R, a is a unary operation corresponding to additive inverse, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
De Rham Cohomology
In mathematics, de Rham cohomology (named after Georges de Rham) is a tool belonging both to algebraic topology and to differential topology, capable of expressing basic topological information about smooth manifolds in a form particularly adapted to computation and the concrete representation of cohomology classes. It is a cohomology theory based on the existence of differential forms with prescribed properties. On any smooth manifold, every Closed and exact differential forms, exact form is closed, but the converse may fail to hold. Roughly speaking, this failure is related to the possible existence of Hole#In mathematics, "holes" in the manifold, and the de Rham cohomology groups comprise a set of Topological invariant, topological invariants of smooth manifolds that precisely quantify this relationship. Definition The de Rham complex is the cochain complex of differential forms on some smooth manifold , with the exterior derivative as the differential: :0 \to \Omega^0(M)\ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Function Composition
In mathematics, the composition operator \circ takes two function (mathematics), functions, f and g, and returns a new function h(x) := (g \circ f) (x) = g(f(x)). Thus, the function is function application, applied after applying to . (g \circ f) is pronounced "the composition of and ". Reverse composition, sometimes denoted f \mapsto g , applies the operation in the opposite order, applying f first and g second. Intuitively, reverse composition is a chaining process in which the output of function feeds the input of function . The composition of functions is a special case of the composition of relations, sometimes also denoted by \circ. As a result, all properties of composition of relations are true of composition of functions, such as #Properties, associativity. Examples * Composition of functions on a finite set (mathematics), set: If , and , then , as shown in the figure. * Composition of functions on an infinite set: If (where is the set of all real numbers) is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Georges De Rham
Georges de Rham (; 10 September 1903 – 9 October 1990) was a Swiss mathematician, known for his contributions to differential topology. Biography Georges de Rham was born on 10 September 1903 in Roche, a small village in the canton of Vaud in Switzerland. He was the fifth born of the six children in the family of Léon de Rham, a constructions engineer. Georges de Rham grew up in Roche but went to school in nearby Aigle, the main town of the district, travelling daily by train. By his own account, he was not an extraordinary student in school, where he mainly enjoyed painting and dreamed of becoming a painter. In 1919 he moved with his family to Lausanne in a rented apartment in Beaulieu Castle, where he would live for the rest of his life. Georges de Rham started the Gymnasium in Lausanne with a focus on humanities, following his passion for literature and philosophy but learning little mathematics. On graduating from the Gymnasium in 1921 however, he decided not to continu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Fiber
In mathematics, especially homotopy theory, the homotopy fiber (sometimes called the mapping fiber)Joseph J. Rotman, ''An Introduction to Algebraic Topology'' (1988) Springer-Verlag ''(See Chapter 11 for construction.)'' is part of a construction that associates a fibration to an arbitrary continuous function of topological spaces f:A \to B. It acts as a homotopy theoretic kernel of a mapping of topological spaces due to the fact it yields a long exact sequence of homotopy groups\cdots \to \pi_(B) \to \pi_n(\text(f)) \to \pi_n(A) \to \pi_n(B) \to \cdotsMoreover, the homotopy fiber can be found in other contexts, such as homological algebra, where the distinguished triangleC(f)_\bullet 1\to A_\bullet \to B_\bullet \xrightarrowgives a long exact sequence analogous to the long exact sequence of homotopy groups. There is a dual construction called the homotopy cofiber. Construction The homotopy fiber has a simple description for a continuous map f:A \to B. If we replace f by a fibr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Counit (category Theory)
In mathematics, specifically category theory, adjunction is a relationship that two functors may exhibit, intuitively corresponding to a weak form of equivalence between two related category (mathematics), categories. Two functors that stand in this relationship are known as adjoint functors, one being the left adjoint and the other the right adjoint. Pairs of adjoint functors are ubiquitous in mathematics and often arise from constructions of "optimal solutions" to certain problems (i.e., constructions of objects having a certain universal property), such as the construction of a free group, free group on a set in algebra, or the construction of the Stone–Čech compactification of a topological space in topology. By definition, an adjunction between categories \mathcal and \mathcal is a pair of functors (assumed to be Covariant functor, covariant) :F: \mathcal \rightarrow \mathcal and G: \mathcal \rightarrow \mathcal and, for all objects c in \mathcal and d in \mathcal, a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
