|
Homotopical Algebra
In mathematics, homotopical algebra is a collection of concepts comprising the ''nonabelian'' aspects of homological algebra, and possibly the abelian aspects as special cases. The ''homotopical'' nomenclature stems from the fact that a common approach to such generalizations is via abstract homotopy theory, as in nonabelian algebraic topology, and in particular the theory of closed model categories. This subject has received much attention in recent years due to new foundational work of Vladimir Voevodsky, Eric Friedlander, Andrei Suslin, and others resulting in the A1 homotopy theory for quasiprojective varieties over a field. Voevodsky has used this new algebraic homotopy theory to prove the Milnor conjecture (for which he was awarded the Fields Medal) and later, in collaboration with Markus Rost, the full Bloch–Kato conjecture. See also *Derived algebraic geometry *Derivator *Cotangent complex In mathematics, the cotangent complex is a common generalisation o ... [...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] |
Markus Rost
Markus Rost is a German mathematician who works at the intersection of topology and algebra. He was an invited speaker at the International Congress of Mathematicians in 2002 in Beijing, China. He is a professor at the University of Bielefeld. He is known for his work on norm varieties (a key part in the proof of the Bloch–Kato conjecture) and for the Rost invariant (a cohomological invariant with values in Galois cohomology of degree 3). Together with J.-P. Serre he is one of the cofounders of the theory of cohomological invariants of linear algebraic groups. He has also made numerous contributions to the theory of torsors, quadratic forms, central simple algebras, Jordan algebras (the Rost-Serre invariant), exceptional groups, and essential dimension. In 2012 he became a fellow of the American Mathematical Society The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopical Algebra
In mathematics, homotopical algebra is a collection of concepts comprising the ''nonabelian'' aspects of homological algebra, and possibly the abelian aspects as special cases. The ''homotopical'' nomenclature stems from the fact that a common approach to such generalizations is via abstract homotopy theory, as in nonabelian algebraic topology, and in particular the theory of closed model categories. This subject has received much attention in recent years due to new foundational work of Vladimir Voevodsky, Eric Friedlander, Andrei Suslin, and others resulting in the A1 homotopy theory for quasiprojective varieties over a field. Voevodsky has used this new algebraic homotopy theory to prove the Milnor conjecture (for which he was awarded the Fields Medal) and later, in collaboration with Markus Rost, the full Bloch–Kato conjecture. See also *Derived algebraic geometry *Derivator *Cotangent complex In mathematics, the cotangent complex is a common generalisation o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer-Verlag
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second-largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationally, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
American Mathematical Society
The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, advocacy and other programs. The society is one of the four parts of the Joint Policy Board for Mathematics and a member of the Conference Board of the Mathematical Sciences. History The AMS was founded in 1888 as the New York Mathematical Society, the brainchild of Thomas Fiske, who was impressed by the London Mathematical Society on a visit to England. John Howard Van Amringe became the first president while Fiske became secretary. The society soon decided to publish a journal, but ran into some resistance over concerns about competing with the '' American Journal of Mathematics''. The result was the ''Bulletin of the American Mathematical Society'', with Fiske as editor-in-chief. The de facto journal, as intended, was influentia ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nonabelian Homological Algebra
Non-abelian or nonabelian may refer to: * Non-abelian group, in mathematics, a group that is not abelian (commutative) * Non-abelian gauge theory, in physics, a gauge group that is non-abelian See also * Non-abelian gauge transformation, a gauge transformation * Non-abelian class field theory In mathematics, non-abelian class field theory is a catchphrase, meaning the extension of the results of class field theory, the relatively complete and classical set of results on abelian extensions of any number field ''K'', to the general Galois ..., in class field theory * Nonabelian cohomology, a cohomology * Abelian (other) * {{Mathdab ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Categorical Algebra
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. Higher-dimensional categories A first step towards defining higher dimensional algebras is the concept of 2-category of higher category theory, followed by the more 'geometric' concept of double category. A higher level concept is thus defined as a category of categories, or super-category, which generalises to higher dimensions the notion of category – regarded as any structure which is an interpretation of Lawvere's axioms of the elementary theory of abstract categories (ETAC). Thus, a supercategory and also a super-category, can be regarded as natural extensions of the concepts of meta-category, multicategory, and multi-graph, ''k''-partite graph, or colored graph (see a color figure, and also its definition in graph theory). Supercategories were first int ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Associative Algebra
In topology, two continuous functions from one topological space to another are called homotopic (from and ) if one can be "continuously deformed" into the other, such a deformation being called a homotopy ( ; ) between the two functions. A notable use of homotopy is the definition of homotopy groups and cohomotopy groups, important invariants in algebraic topology. In practice, there are technical difficulties in using homotopies with certain spaces. Algebraic topologists work with compactly generated spaces, CW complexes, or spectra. Formal definition Formally, a homotopy between two continuous functions ''f'' and ''g'' from a topological space ''X'' to a topological space ''Y'' is defined to be a continuous function H: X \times ,1\to Y from the product of the space ''X'' with the unit interval , 1to ''Y'' such that H(x,0) = f(x) and H(x,1) = g(x) for all x \in X. If we think of the second parameter of ''H'' as time then ''H'' describes a ''continuous def ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Lie Algebra
In mathematics, in particular abstract algebra and topology, a homotopy Lie algebra (or L_\infty-algebra) is a generalisation of the concept of a differential graded Lie algebra. To be a little more specific, the Jacobi identity only holds up to homotopy. Therefore, a differential graded Lie algebra can be seen as a homotopy Lie algebra where the Jacobi identity holds on the nose. These homotopy algebras are useful in classifying deformation problems over characteristic 0 in deformation theory because deformation functors are classified by quasi-isomorphism classes of L_\infty-algebras. This was later extended to all characteristics by Jonathan Pridham. Homotopy Lie algebras have applications within mathematics and mathematical physics; they are linked, for instance, to the Batalin–Vilkovisky formalism much like differential graded Lie algebras are. Definition There exists several different definitions of a homotopy Lie algebra, some particularly suited to certain situations m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cotangent Complex
In mathematics, the cotangent complex is a common generalisation of the cotangent sheaf, normal bundle and virtual tangent bundle of a map of geometric spaces such as manifolds or schemes. If f: X \to Y is a morphism of geometric or algebraic objects, the corresponding cotangent complex \mathbf_^\bullet can be thought of as a universal "linearization" of it, which serves to control the deformation theory of f. It is constructed as an object in a certain derived category of sheaves on X using the methods of homotopical algebra. Restricted versions of cotangent complexes were first defined in various cases by a number of authors in the early 1960s. In the late 1960s, Michel André and Daniel Quillen independently came up with the correct definition for a morphism of commutative rings, using simplicial methods to make precise the idea of the cotangent complex as given by taking the (non-abelian) left derived functor of Kähler differentials. Luc Illusie then globalized this d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Derivator
In mathematics, derivators are a proposed frameworkpg 190-195 for homological algebra giving a foundation for both Abelian group, abelian and non-abelian group, non-abelian homological algebra and various generalizations of it. They were introduced to address the deficiencies of derived category, derived categories (such as the non-functoriality of the cone construction) and provide at the same time a language for homotopical algebra. Derivators were first introduced by Alexander Grothendieck in his long unpublished 1983 manuscript ''Pursuing Stacks''. They were then further developed by him in the huge unpublished 1991 manuscript ''Les Dérivateurs'' of almost 2000 pages. Essentially the same concept was introduced (apparently independently) by Alex Heller. The manuscript has been edited for on-line publication by Georges Maltsiniotis. The theory has been further developed by several other people, including Heller, Jens Franke, Franke, Keller and Groth. Motivations One of the m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Derived Algebraic Geometry
Derived algebraic geometry is a branch of mathematics that generalizes algebraic geometry to a situation where commutative rings, which provide local charts, are replaced by either differential graded algebras (over \mathbb), simplicial commutative rings or E_-ring spectra from algebraic topology, whose higher homotopy groups account for the non-discreteness (e.g., Tor) of the structure sheaf. Grothendieck's scheme theory allows the structure sheaf to carry nilpotent elements. Derived algebraic geometry can be thought of as an extension of this idea, and provides natural settings for intersection theory (or motivic homotopy theory) of singular algebraic varieties and cotangent complexes in deformation theory (cf. J. Francis), among the other applications. Introduction Basic objects of study in the field are derived schemes and derived stacks. The oft-cited motivation is Serre's intersection formula. In the usual formulation, the formula involves the Tor functor and thus, un ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
