Luc Illusie
Luc Illusie (; born 1940) is a French mathematician, specializing in algebraic geometry. His most important work concerns the theory of the cotangent complex and deformations, crystalline cohomology and the De Rham–Witt complex, and logarithmic geometry. In 2012, he was awarded the Émile Picard Medal of the French Academy of Sciences. Biography Luc Illusie entered the École Normale Supérieure in 1959. At first a student of the mathematician Henri Cartan, he participated in the Cartan–Schwartz seminar of 1963–1964. In 1964, following Cartan's advice, he began to work with Alexandre Grothendieck, collaborating with him on two volumes of the latter's Séminaire de Géométrie Algébrique du Bois Marie. In 1970, Illusie introduced the concept of the cotangent complex. A researcher in the Centre national de la recherche scientifique from 1964 to 1976, Illusie then became a professor at the University of Paris-Sud, retiring as emeritus professor in 2005. Between 1984 and 19 ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Institut Des Hautes Études Scientifiques
The Institut des hautes études scientifiques (IHÉS; English: Institute of Advanced Scientific Studies) is a French research institute supporting advanced research in mathematics and theoretical physics. It is located in Bures-sur-Yvette, just south of Paris. It is an independent research institute in a partnership with the University of Paris-Saclay. History The IHÉS was founded in 1958 by businessman and mathematical physicist Léon Motchane with the help of Robert Oppenheimer and Jean Dieudonné as a research centre in France, modeled on the renowned Institute for Advanced Study in Princeton, United States. The strong personality of Alexander Grothendieck and the broad sweep of his revolutionizing theories were a dominating feature of the first ten years at the IHÉS. René Thom received an invitation from IHÉS in 1963 and after his appointment remained there until his death in 2002. Dennis Sullivan is remembered as one who had a special talent for encouraging fruitf ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Henri Paul Cartan
Henri Paul Cartan (; 8 July 1904 – 13 August 2008) was a French mathematician who made substantial contributions to algebraic topology. He was the son of the mathematician Élie Cartan, nephew of mathematician Anna Cartan, oldest brother of composer , physicist and mathematician , and the son-in-law of physicist Pierre Weiss. Life According to his own words, Henri Cartan was interested in mathematics at a very young age, without being influenced by his family. He moved to Paris with his family after his father's appointment at Sorbonne in 1909 and he attended secondary school at Lycée Hoche in Versailles. available also at In 1923 he started studying mathematics at École Normale Supérieure, receiving an agrégation in 1926 and a doctorate in 1928. His PhD thesis, entitled ''Sur les systèmes de fonctions holomorphes a variétés linéaires lacunaires et leurs applications'', was supervised by Paul Montel. Cartan taught at Lycée Malherbe in Caen from 1928 to 1929, at Uni ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mordell Conjecture
Louis Joel Mordell (28 January 1888 – 12 March 1972) was an American-born British mathematician, known for pioneering research in number theory. He was born in Philadelphia, United States, in a Jewish family of Lithuanian extraction. Education Mordell was educated at the University of Cambridge where he completed the Cambridge Mathematical Tripos as a student of St John's College, Cambridge, starting in 1906 after successfully passing the scholarship examination. He graduated as third wrangler in 1909. Research After graduating Mordell began independent research into particular diophantine equations: the question of integer points on the cubic curve, and special case of what is now called a Thue equation, the Mordell equation :''y''2 = ''x''3 + ''k''. He took an appointment at Birkbeck College, London in 1913. During World War I he was involved in war work, but also produced one of his major results, proving in 1917 the multiplicative property of Srinivasa Ramanujan's ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Gerd Faltings
Gerd Faltings (; born 28 July 1954) is a German mathematician known for his work in arithmetic geometry. Education From 1972 to 1978, Faltings studied mathematics and physics at the University of Münster. In 1978 he received his PhD in mathematics. Career and research In 1981 he obtained the ''venia legendi'' (Habilitation) in mathematics, from the University of Münster. During this time he was an assistant professor at the University of Münster. From 1982 to 1984, he was professor at the University of Wuppertal. From 1985 to 1994, he was professor at Princeton University. In the fall of 1988 and in the academic year 1992–1993 he was a visiting scholar at the Institute for Advanced Study. In 1986 he was awarded the Fields Medal at the ICM at Berkeley for proving the Tate conjecture for abelian varieties over number fields, the Shafarevich conjecture for abelian varieties over number fields and the Mordell conjecture, which states that any non-singular projective curve ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Barsotti–Tate Group
In algebraic geometry, Barsotti–Tate groups or ''p''-divisible groups are similar to the points of order a power of ''p'' on an abelian variety in characteristic ''p''. They were introduced by under the name equidimensional hyperdomain and by under the name p-divisible groups, and named Barsotti–Tate groups by . Definition defined a ''p''-divisible group of height ''h'' (over a scheme ''S'') to be an inductive system of groups ''G''''n'' for ''n''≥0, such that ''G''''n'' is a finite group scheme over ''S'' of order ''p''''hn'' and such that ''G''''n'' is (identified with) the group of elements of order divisible by ''p''''n'' in ''G''''n''+1. More generally, defined a Barsotti–Tate group ''G'' over a scheme ''S'' to be an fppf sheaf of commutative groups over ''S'' that is ''p''-divisible, ''p''-torsion, such that the points ''G''(1) of order ''p'' of ''G'' are (represented by) a finite locally free scheme. The group ''G''(1) has rank ''p''''h'' for some locally c ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Torsor (algebraic Geometry)
In algebraic geometry, a torsor or a principal bundle is an analog of a principal bundle in algebraic topology. Because there are few open sets in Zariski topology, it is more common to consider torsors in étale topology or some other flat topologies. The notion also generalizes a Galois extension in abstract algebra. The category of torsors over a fixed base forms a stack. Conversely, a prestack can be stackified by taking the category of torsors (over the prestack). Definition Given a smooth algebraic group ''G'', a ''G''-torsor (or a principal ''G''-bundle) ''P'' over a scheme ''X'' is a scheme (or even algebraic space) with an action of ''G'' that is locally trivial in the given Grothendieck topology in the sense that the base change Y \times_X P along some covering map Y \to X is isomorphic to the trivial torsor Y \times G \to Y (''G'' acts only on the second factor). Equivalently, a ''G''-torsor ''P'' on ''X'' is a principal homogeneous space for the group scheme G_X = ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Group Scheme
In mathematics, a group scheme is a type of object from Algebraic geometry, algebraic geometry equipped with a composition law. Group schemes arise naturally as symmetries of Scheme (mathematics), schemes, and they generalize algebraic groups, in the sense that all algebraic groups have group scheme structure, but group schemes are not necessarily connected, smooth, or defined over a field. This extra generality allows one to study richer infinitesimal structures, and this can help one to understand and answer questions of arithmetic significance. The Category (mathematics), category of group schemes is somewhat better behaved than that of Group variety, group varieties, since all homomorphisms have Kernel (category theory), kernels, and there is a well-behaved deformation theory. Group schemes that are not algebraic groups play a significant role in arithmetic geometry and algebraic topology, since they come up in contexts of Galois representations and moduli problems. The ini ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Morphism Of Schemes
In algebraic geometry, a morphism of schemes generalizes a morphism of algebraic varieties just as a scheme generalizes an algebraic variety. It is, by definition, a morphism in the category of schemes. A morphism of algebraic stacks generalizes a morphism of schemes. Definition By definition, a morphism of schemes is just a morphism of locally ringed spaces. A scheme, by definition, has open affine charts and thus a morphism of schemes can also be described in terms of such charts (compare the definition of morphism of varieties). Let ƒ:''X''→''Y'' be a morphism of schemes. If ''x'' is a point of ''X'', since ƒ is continuous, there are open affine subsets ''U'' = Spec ''A'' of ''X'' containing ''x'' and ''V'' = Spec ''B'' of ''Y'' such that ƒ(''U'') ⊆ ''V''. Then ƒ: ''U'' → ''V'' is a morphism of affine schemes and thus is induced by some ring homomorphism ''B'' → ''A'' (cf. #Affine case.) In fact, one can use this description to "define" a morphism of schemes; o ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Scheme (mathematics)
In mathematics, a scheme is a mathematical structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities (the equations ''x'' = 0 and ''x''2 = 0 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"; 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. Formally, a scheme is a topological space together with ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Deformation Theory
In mathematics, deformation theory is the study of infinitesimal conditions associated with varying a solution ''P'' of a problem to slightly different solutions ''P''ε, where ε is a small number, or a vector of small quantities. The infinitesimal conditions are the result of applying the approach of differential calculus to solving a problem with constraints. The name is an analogy to non-rigid structures that deform slightly to accommodate external forces. Some characteristic phenomena are: the derivation of first-order equations by treating the ε quantities as having negligible squares; the possibility of ''isolated solutions'', in that varying a solution may not be possible, ''or'' does not bring anything new; and the question of whether the infinitesimal constraints actually 'integrate', so that their solution does provide small variations. In some form these considerations have a history of centuries in mathematics, but also in physics and engineering. For example, in th ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Topos
In mathematics, a topos (, ; plural topoi or , or toposes) is a category that behaves like the category of sheaves of sets on a topological space (or more generally: on a site). Topoi behave much like the category of sets and possess a notion of localization; they are a direct generalization of point-set topology. The Grothendieck topoi find applications in algebraic geometry; the more general elementary topoi are used in logic. The mathematical field that studies topoi is called topos theory. Grothendieck topos (topos in geometry) Since the introduction of sheaves into mathematics in the 1940s, a major theme has been to study a space by studying sheaves on a space. This idea was expounded by Alexander Grothendieck by introducing the notion of a "topos". The main utility of this notion is in the abundance of situations in mathematics where topological heuristics are very effective, but an honest topological space is lacking; it is sometimes possible to find a topos formaliz ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Daniel Quillen
Daniel Gray "Dan" Quillen (June 22, 1940 – April 30, 2011) was an American mathematician. He is known for being the "prime architect" of higher algebraic ''K''-theory, for which he was awarded the Cole Prize in 1975 and the Fields Medal in 1978. From 1984 to 2006, he was the Waynflete Professor of Pure Mathematics at Magdalen College, Oxford. Education and career Quillen was born in Orange, New Jersey, and attended Newark Academy. He entered Harvard University, where he earned both his AB, in 1961, and his PhD in 1964; the latter completed under the supervision of Raoul Bott, with a thesis in partial differential equations. He was a Putnam Fellow in 1959. Quillen obtained a position at the Massachusetts Institute of Technology after completing his doctorate. He also spent a number of years at several other universities. He visited France twice: first as a Sloan Fellow in Paris, during the academic year 1968–69, where he was greatly influenced by Grothendieck, and the ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |