HOME





Vladimir Voevodsky
Vladimir Alexandrovich Voevodsky (, ; 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 expelled 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 even applying and without a formal college degree, following several independent p ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Moscow
Moscow is the Capital city, capital and List of cities and towns in Russia by population, largest city of Russia, standing on the Moskva (river), Moskva River in Central Russia. It has a population estimated at over 13 million residents within the city limits, over 19.1 million residents in the urban area, and over 21.5 million residents in Moscow metropolitan area, its metropolitan area. The city covers an area of , while the urban area covers , and the metropolitan area covers over . Moscow is among the world's List of largest cities, largest cities, being the List of European cities by population within city limits, most populous city entirely in Europe, the largest List of urban areas in Europe, urban and List of metropolitan areas in Europe, metropolitan area in Europe, and the largest city by land area on the European continent. First documented in 1147, Moscow became the capital of the Grand Principality of Moscow, which led the unification of the Russian lan ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Univalent Foundations
Univalent foundations are an approach to the foundations of mathematics in which mathematical Structuralism (philosophy of mathematics), 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 Philosophy of mathematics#Platonism, Platonic ideas of Hermann Grassmann and Georg Cantor and by "category theory, categorical" mathematics in the style of Alexander Grothendieck. Univalent foundations depart from (although are also compatible with) the use of classical predicate logic as the underlying formal Deductive reasoning, deduction system, replacing it, at the moment, with a version of Martin-Löf type theory. The development of univalent foundations is ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Milnor
John Willard Milnor (born February 20, 1931) is an American mathematician known for his work in differential topology, algebraic K-theory and low-dimensional holomorphic dynamical systems. Milnor is a distinguished professor at Stony Brook University and the only mathematician to have won the Fields Medal, the Wolf Prize, the Abel Prize and all three Steele prizes. Early life and career Milnor was born on February 20, 1931, in Orange, New Jersey. His father was J. Willard Milnor, an engineer, and his mother was Emily Cox Milnor. As an undergraduate at Princeton University he was named a Putnam Fellow in 1949 and 1950 and also proved the Fáry–Milnor theorem when he was only 19 years old. Milnor graduated with an A.B. in mathematics in 1951 after completing a senior thesis, titled "Link groups", under the supervision of Ralph Fox. He remained at Princeton to pursue graduate studies and received his Ph.D. in mathematics in 1954 after completing a doctoral dissertation, tit ...
[...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 V ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Scheme (mathematics)
In mathematics, specifically algebraic geometry, a scheme is a structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities (the equations and define the same algebraic variety but different schemes) and allowing "varieties" defined over any commutative ring (for example, Fermat curves are defined over the integers). Scheme theory was introduced by Alexander Grothendieck in 1960 in his treatise '' Éléments de géométrie algébrique'' (EGA); one of its aims was developing the formalism needed to solve deep problems of algebraic geometry, such as the Weil conjectures (the last of which was proved by Pierre Deligne). Strongly based on commutative algebra, scheme theory allows a systematic use of methods of topology and homological algebra. Scheme theory also unifies algebraic geometry with much of number theory, which eventually led to Wiles's proof of Fermat's Last Theorem. Schemes elaborate the fundamental idea that an a ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

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 a talk on ''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 Groupe Lactalis S.A. (doing business as Lactalis) is a French multinational dairy products corporatio ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

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 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 groups record information ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Algebraic Geometry
Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometry, geometrical problems. Classically, it studies zero of a function, zeros of multivariate polynomials; the modern approach generalizes this in a few different aspects. The fundamental objects of study in algebraic geometry are algebraic variety, algebraic varieties, which are geometric manifestations of solution set, solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are line (geometry), lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscate of Bernoulli, lemniscates and Cassini ovals. These are plane algebraic curves. A point of the plane lies on an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of points of special interest like singular point of a curve, singular p ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

French Language
French ( or ) is a Romance languages, Romance language of the Indo-European languages, Indo-European family. Like all other Romance languages, it descended from the Vulgar Latin of the Roman Empire. French evolved from Northern Old Gallo-Romance, a descendant of the Latin spoken in Northern Gaul. Its closest relatives are the other langues d'oïl—languages historically spoken in northern France and in southern Belgium, which French (Francien language, Francien) largely supplanted. It was also substratum (linguistics), influenced by native Celtic languages of Northern Roman Gaul and by the Germanic languages, Germanic Frankish language of the post-Roman Franks, Frankish invaders. As a result of French and Belgian colonialism from the 16th century onward, it was introduced to new territories in the Americas, Africa, and Asia, and numerous French-based creole languages, most notably Haitian Creole, were established. A French-speaking person or nation may be referred to as Fra ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




CNRS
The French National Centre for Scientific Research (, , CNRS) is the French state research organisation and is the largest fundamental science agency in Europe. In 2016, it employed 31,637 staff, including 11,137 tenured researchers, 13,415 engineers and technical staff, and 7,085 contractual workers. It is headquartered in Paris and has administrative offices in Brussels, Beijing, Tokyo, Singapore, Washington, D.C., Bonn, Moscow, Tunis, Johannesburg, Santiago de Chile, Israel, and New Delhi. Organization The CNRS operates on the basis of research units, which are of two kinds: "proper units" (UPRs) are operated solely by the CNRS, and Joint Research Units (UMRs – ) are run in association with other institutions, such as universities or INSERM. Members of Joint Research Units may be either CNRS researchers or university employees ( ''maîtres de conférences'' or ''professeurs''). Each research unit has a numeric code attached and is typically headed by a university profe ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Alexander Grothendieck
Alexander Grothendieck, later Alexandre Grothendieck in French (; ; ; 28 March 1928 – 13 November 2014), was a German-born French mathematician who became the leading figure in the creation of modern algebraic geometry. His research extended the scope of the field and added elements of commutative algebra, homological algebra, sheaf theory, and category theory to its foundations, while his so-called Grothendieck's relative point of view, "relative" perspective led to revolutionary advances in many areas of pure mathematics. He is considered by many to be the greatest mathematician of the twentieth century. Grothendieck began his productive and public career as a mathematician in 1949. In 1958, he was appointed a research professor at the Institut des Hautes Études Scientifiques, Institut des hautes études scientifiques (IHÉS) and remained there until 1970, when, driven by personal and political convictions, he left following a dispute over military funding. He receive ...
[...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. Brief history Submitted in 1984, the ''Esquisse d'un Programme'' was a proposal 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 teaching obligations. Grothendieck held this position from 1984 till 1988. Thi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]