|
Voevodsky
Vladimir Alexandrovich Voevodsky (, russian: Влади́мир Алекса́ндрович Воево́дский; 4 June 1966 – 30 September 2017) was a Russian-American mathematician. His work in developing a homotopy theory for algebraic varieties and formulating motivic cohomology led to the award of a Fields Medal in 2002. He is also known for the proof of the Milnor conjecture and motivic Bloch–Kato conjectures and for the univalent foundations of mathematics and homotopy type theory. Early life and education Vladimir Voevodsky's father, Aleksander Voevodsky, was head of the Laboratory of High Energy Leptons in the Institute for Nuclear Research at the Russian Academy of Sciences. His mother Tatyana was a chemist. Voevodsky attended Moscow State University for a while, but was forced to leave without a diploma for refusing to attend classes and failing academically. He received his Ph.D. in mathematics from Harvard University in 1992 after being recommended without e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Type Theory
In mathematical logic and computer science, homotopy type theory (HoTT ) refers to various lines of development of intuitionistic type theory, based on the interpretation of types as objects to which the intuition of (abstract) homotopy theory applies. This includes, among other lines of work, the construction of homotopical and higher-categorical models for such type theories; the use of type theory as a logic (or internal language) for abstract homotopy theory and higher category theory; the development of mathematics within a type-theoretic foundation (including both previously existing mathematics and new mathematics that homotopical types make possible); and the formalization of each of these in computer proof assistants. There is a large overlap between the work referred to as homotopy type theory, and as the univalent foundations project. Although neither is precisely delineated, and the terms are sometimes used interchangeably, the choice of usage also sometimes ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Motivic Cohomology
Motivic cohomology is an invariant of algebraic varieties and of more general schemes. It is a type of cohomology related to motives and includes the Chow ring of algebraic cycles as a special case. Some of the deepest problems in algebraic geometry and number theory are attempts to understand motivic cohomology. Motivic homology and cohomology Let ''X'' be a scheme of finite type over a field ''k''. A key goal of algebraic geometry is to compute the Chow groups of ''X'', because they give strong information about all subvarieties of ''X''. The Chow groups of ''X'' have some of the formal properties of Borel–Moore homology in topology, but some things are missing. For example, for a closed subscheme ''Z'' of ''X'', there is an exact sequence of Chow groups, the localization sequence :CH_i(Z) \rightarrow CH_i(X) \rightarrow CH_i(X-Z) \rightarrow 0, whereas in topology this would be part of a long exact sequence. This problem was resolved by generalizing Chow groups to a bigrad ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Univalent Foundations
Univalent foundations are an approach to the foundations of mathematics in which mathematical structures are built out of objects called ''types''. Types in univalent foundations do not correspond exactly to anything in set-theoretic foundations, but they may be thought of as spaces, with equal types corresponding to homotopy equivalent spaces and with equal elements of a type corresponding to points of a space connected by a path. Univalent foundations are inspired both by the old Platonic ideas of Hermann Grassmann and Georg Cantor and by " categorical" mathematics in the style of Alexander Grothendieck. Univalent foundations depart from the use of classical predicate logic as the underlying formal deduction system, replacing it, at the moment, with a version of Martin-Löf type theory. The development of univalent foundations is closely related to the development of homotopy type theory. Univalent foundations are compatible with structuralism, if an appropriate (i.e., categorica ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Milnor Conjecture
In mathematics, the Milnor conjecture was a proposal by of a description of the Milnor K-theory (mod 2) of a general field ''F'' with characteristic different from 2, by means of the Galois (or equivalently étale) cohomology of ''F'' with coefficients in Z/2Z. It was proved by . Statement Let ''F'' be a field of characteristic different from 2. Then there is an isomorphism :K_n^M(F)/2 \cong H_^n(F, \mathbb/2\mathbb) for all ''n'' ≥ 0, where ''KM'' denotes the Milnor ring. About the proof The proof of this theorem by Vladimir Voevodsky uses several ideas developed by Voevodsky, Alexander Merkurjev, Andrei Suslin, Markus Rost, Fabien Morel, Eric Friedlander, and others, including the newly minted theory of motivic cohomology (a kind of substitute for singular cohomology for algebraic varieties) and the motivic Steenrod algebra. Generalizations The analogue of this result for primes other than 2 was known as the Bloch–Kato conjecture. Work of Voe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Milnor's Conjecture
In mathematics, the Milnor conjecture was a proposal by of a description of the Milnor K-theory (mod 2) of a general field ''F'' with characteristic different from 2, by means of the Galois (or equivalently étale) cohomology of ''F'' with coefficients in Z/2Z. It was proved by . Statement Let ''F'' be a field of characteristic different from 2. Then there is an isomorphism :K_n^M(F)/2 \cong H_^n(F, \mathbb/2\mathbb) for all ''n'' ≥ 0, where ''KM'' denotes the Milnor ring. About the proof The proof of this theorem by Vladimir Voevodsky uses several ideas developed by Voevodsky, Alexander Merkurjev, Andrei Suslin, Markus Rost, Fabien Morel, Eric Friedlander, and others, including the newly minted theory of motivic cohomology (a kind of substitute for singular cohomology for algebraic varieties) and the motivic Steenrod algebra. Generalizations The analogue of this result for primes other than 2 was known as the Bloch–Kato conjecture. Work of Voev ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fabien Morel
Fabien Morel (born 22 January 1965, in Reims) is a French algebraic geometer and key developer of A¹ homotopy theory with Vladimir Voevodsky. Among his accomplishments is the proof of the Friedlander conjecture, and the proof of the complex case of the Milnor conjecture stated in Milnor's 1983 paper 'On the homology of Lie groups made discrete'. This result was presented at the Second Abel Conference, held in January–February 2012. In 2006 he was an invited speaker with talk ''A1-algebraic topology'' at the International Congress of Mathematicians in Madrid. Selected publications ''A1-algebraic topology over a field.''(= Lecture Notes in Mathematics. 2052). Springer, 2012, . * with Marc Levine''Algebraic Cobordism.''Springer, 2007, . ''Homotopy theory of Schemes.''American Mathematical Society, 2006 (French original published by Société Mathématique de France Lactalis is a French multinational dairy products corporation, owned by the Besnier family and based in Laval ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fields Medal
The Fields Medal is a prize awarded to two, three, or four mathematicians under 40 years of age at the International Congress of the International Mathematical Union (IMU), a meeting that takes place every four years. The name of the award honours the Canadian mathematician John Charles Fields. The Fields Medal is regarded as one of the highest honors a mathematician can receive, and has been described as the Nobel Prize of Mathematics, although there are several major differences, including frequency of award, number of awards, age limits, monetary value, and award criteria. According to the annual Academic Excellence Survey by ARWU, the Fields Medal is consistently regarded as the top award in the field of mathematics worldwide, and in another reputation survey conducted by IREG in 2013–14, the Fields Medal came closely after the Abel Prize as the second most prestigious international award in mathematics. The prize includes a monetary award which, since 2006, has bee ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
David Kazhdan
David Kazhdan ( he, דוד קשדן), born Dmitry Aleksandrovich Kazhdan (russian: Дми́трий Александро́вич Кажда́н), is a Soviet and Israeli mathematician known for work in representation theory. Kazhdan is a 1990 MacArthur Fellow. Biography Kazhdan was born on 20 June 1946 in Moscow, USSR. His father is Alexander Kazhdan. He earned a doctorate under Alexandre Kirillov in 1969 and was a member of Israel Gelfand's school of mathematics. He is Jewish, and emigrated from the Soviet Union to take a position at Harvard University in 1975. He changed his name from Dmitri Aleksandrovich to David and became an Orthodox Jew around that time. In 2002, he immigrated to Israel and is now a professor at the Hebrew University of Jerusalem as well as a professor emeritus at Harvard. On October 6, 2013, Kazhdan was critically injured in a car accident while riding a bicycle in Jerusalem. Kazhdan has four children. His son, Eli Kazhdan, was general director of N ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Institute For Advanced Study
The Institute for Advanced Study (IAS), located in Princeton, New Jersey, in the United States, is an independent center for theoretical research and intellectual inquiry. It has served as the academic home of internationally preeminent scholars, including J. Robert Oppenheimer, Albert Einstein, Hermann Weyl, John von Neumann, and Kurt Gödel, many of whom had emigrated from Europe to the United States. It was founded in 1930 by American educator Abraham Flexner, together with philanthropists Louis Bamberger and Caroline Bamberger Fuld. Despite collaborative ties and neighboring geographic location, the institute, being independent, has "no formal links" with Princeton University. The institute does not charge tuition or fees. Flexner's guiding principle in founding the institute was the pursuit of knowledge for its own sake.Jogalekar. The faculty have no classes to teach. There are no degree programs or experimental facilities at the institute. Research is never contracted or ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Field (mathematics)
In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined and behave as the corresponding operations on rational and real numbers do. A field is thus a fundamental algebraic structure which is widely used in algebra, number theory, and many other areas of mathematics. The best known fields are the field of rational numbers, the field of real numbers and the field of complex numbers. Many other fields, such as fields of rational functions, algebraic function fields, algebraic number fields, and ''p''-adic fields are commonly used and studied in mathematics, particularly in number theory and algebraic geometry. Most cryptographic protocols rely on finite fields, i.e., fields with finitely many elements. The relation of two fields is expressed by the notion of a field extension. Galois theory, initiated by Évariste Galois in the 1830s, is devoted to understanding the symmetries of field extensions. Among other results, thi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Topology
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariant (mathematics), invariants that classification theorem, classify topological spaces up to homeomorphism, though usually most classify up to Homotopy#Homotopy equivalence and null-homotopy, homotopy equivalence. Although algebraic topology primarily uses algebra to study topological problems, using topology to solve algebraic problems is sometimes also possible. Algebraic topology, for example, allows for a convenient proof that any subgroup of a free group is again a free group. Main branches of algebraic topology Below are some of the main areas studied in algebraic topology: Homotopy groups In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, which records information about loops in a space. Intuitively, homotopy gro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Esquisse D'un Programme
"Esquisse d'un Programme" (Sketch of a Programme) is a famous proposal for long-term mathematical research made by the German-born, French mathematician Alexander Grothendieck in 1984. He pursued the sequence of logically linked ideas in his important project proposal from 1984 until 1988, but his proposed research continues to date to be of major interest in several branches of advanced mathematics. Grothendieck's vision provides inspiration today for several developments in mathematics such as the extension and generalization of Galois theory, which is currently being extended based on his original proposal. Brief history Submitted in 1984, the ''Esquisse d'un Programme'' was a proposal submitted by Alexander Grothendieck for a position at the Centre National de la Recherche Scientifique. The proposal was not successful, but Grothendieck obtained a special position where, while keeping his affiliation at the University of Montpellier, he was paid by the CNRS and released of his t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
