Peter Kronheimer
Peter Benedict Kronheimer (born 1963) is a British mathematician, known for his work on gauge theory and its applications to 3- and 4-dimensional topology. He is William Caspar Graustein Professor of Mathematics at Harvard University and former chair of the mathematics department. Kronheimer's early work was on gravitational instantons, in particular the classification of hyperkähler 4-manifolds with asymptotical locally Euclidean geometry (ALE spaces), leading to the papers "The construction of ALE spaces as hyper-Kähler quotients" and "A Torelli-type theorem for gravitational instantons." He and Hiraku Nakajima gave a construction of instantons on ALE spaces generalizing the Atiyah–Hitchin–Drinfeld– Manin construction. This constructions identified these moduli spaces as moduli spaces for certain quivers (see "Yang-Mills instantons on ALE gravitational instantons.") He was the initial recipient of the Oberwolfach prize in 1998 on the basis of some of this work. Kr ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Euclidean Geometry
Euclidean geometry is a mathematical system attributed to ancient Greek mathematics, Greek mathematician Euclid, which he described in his textbook on geometry: the ''Euclid's Elements, Elements''. Euclid's approach consists in assuming a small set of intuitively appealing axioms (postulates) and deducing many other propositions (theorems) from these. Although many of Euclid's results had been stated earlier,. Euclid was the first to organize these propositions into a logic, logical system in which each result is ''mathematical proof, proved'' from axioms and previously proved theorems. The ''Elements'' begins with plane geometry, still taught in secondary school (high school) as the first axiomatic system and the first examples of mathematical proofs. It goes on to the solid geometry of three dimensions. Much of the ''Elements'' states results of what are now called algebra and number theory, explained in geometrical language. For more than two thousand years, the adjective " ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Kronheimer–Mrowka Basic Class
In mathematics, the Kronheimer–Mrowka basic classes are elements of the second cohomology H2(''X'') of a simple smooth 4-manifold ''X'' that determine its Donaldson polynomial In mathematics, and especially gauge theory, Donaldson theory is the study of the topology of smooth 4-manifolds using moduli spaces of anti-self-dual instantons. It was started by Simon Donaldson (1983) who proved Donaldson's theorem restricti ...s. They were introduced by . References * * {{DEFAULTSORT:Kronheimer-Mrowka basic class Differential geometry ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Donaldson's Polynomial Invariants
In mathematics, and especially gauge theory, Donaldson theory is the study of the topology of smooth 4-manifolds using moduli spaces of anti-self-dual instantons. It was started by Simon Donaldson (1983) who proved Donaldson's theorem restricting the possible quadratic forms on the second cohomology group of a compact simply connected 4-manifold. Important consequences of this theorem include the existence of an Exotic R4 and the failure of the smooth h-cobordism theorem in 4 dimensions. The results of Donaldson theory depend therefore on the manifold having a differential structure, and are largely false for topological 4-manifolds. Many of the theorems in Donaldson theory can now be proved more easily using Seiberg–Witten theory, though there are a number of open problems remaining in Donaldson theory, such as the Witten conjecture and the Atiyah–Floer conjecture. See also * Kronheimer–Mrowka basic class * Instanton * Floer homology * Yang–Mills equations In ph ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
John 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 one of the five mathematicians to have won the Fields Medal, the Wolf Prize, and the Abel Prize (the others being Serre, Thompson, Deligne, and Margulis.) Early life and career Milnor was born on February 20, 1931, in Orange, New Jersey. His father was J. Willard Milnor 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 Robert H. Fox. He remained at Princeton to pursue graduate studies and received his Ph.D. in mathematics in 1954 after completi ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Simon Donaldson
Sir Simon Kirwan Donaldson (born 20 August 1957) is an English mathematician known for his work on the topology of smooth (differentiable) four-dimensional manifolds, Donaldson–Thomas theory, and his contributions to Kähler geometry. He is currently a permanent member of the Simons Center for Geometry and Physics at Stony Brook University in New York, and a Professor in Pure Mathematics at Imperial College London. Biography Donaldson's father was an electrical engineer in the physiology department at the University of Cambridge, and his mother earned a science degree there. Donaldson gained a BA degree in mathematics from Pembroke College, Cambridge, in 1979, and in 1980 began postgraduate work at Worcester College, Oxford, at first under Nigel Hitchin and later under Michael Atiyah's supervision. Still a postgraduate student, Donaldson proved in 1982 a result that would establish his fame. He published the result in a paper "Self-dual connections and the topology of sm ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Massachusetts Institute Of Technology
The Massachusetts Institute of Technology (MIT) is a private land-grant research university in Cambridge, Massachusetts. Established in 1861, MIT has played a key role in the development of modern technology and science, and is one of the most prestigious and highly ranked academic institutions in the world. Founded in response to the increasing industrialization of the United States, MIT adopted a European polytechnic university model and stressed laboratory instruction in applied science and engineering. MIT is one of three private land grant universities in the United States, the others being Cornell University and Tuskegee University. The institute has an urban campus that extends more than a mile (1.6 km) alongside the Charles River, and encompasses a number of major off-campus facilities such as the MIT Lincoln Laboratory, the Bates Center, and the Haystack Observatory, as well as affiliated laboratories such as the Broad and Whitehead Institutes. , 98 ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Tomasz Mrowka
Tomasz Mrowka (born September 8, 1961) is an American mathematician specializing in differential geometry and gauge theory. He is the Singer Professor of Mathematics and former head of the Department of Mathematics at the Massachusetts Institute of Technology. Mrowka is the son of Polish mathematician and is married to MIT mathematics professor Gigliola Staffilani. Career A 1983 graduate of the Massachusetts Institute of Technology, he received the PhD from the University of California, Berkeley in 1988 under the direction of Clifford Taubes and Robion Kirby. He joined the MIT mathematics faculty as professor in 1996, following faculty appointments at Stanford University and at the California Institute of Technology (professor 1994–96). At MIT, he was the Simons Professor of Mathematics from 2007–2010. Upon Isadore Singer's retirement in 2010 the name of the chair became the Singer Professor of Mathematics which Mrowka held until 2017. He was named head of the Departm ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Quiver (mathematics)
In graph theory, a quiver is a directed graph where Loop (graph theory), loops and multiple arrows between two vertex (graph theory), vertices are allowed, i.e. a multidigraph. They are commonly used in representation theory: a representation of a quiver assigns a vector space to each vertex of the quiver and a linear map to each arrow . In category theory, a quiver can be understood to be the underlying structure of a category (mathematics), category, but without composition or a designation of identity morphisms. That is, there is a forgetful functor from to . Its left adjoint is a free functor which, from a quiver, makes the corresponding free category. Definition A quiver Γ consists of: * The set ''V'' of vertices of Γ * The set ''E'' of edges of Γ * Two functions: ''s'': ''E'' → ''V'' giving the ''start'' or ''source'' of the edge, and another function, ''t'': ''E'' → ''V'' giving the ''target'' of the edge. This definition is identica ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Moduli Space
In mathematics, in particular algebraic geometry, a moduli space is a geometric space (usually a scheme or an algebraic stack) whose points represent algebro-geometric objects of some fixed kind, or isomorphism classes of such objects. Such spaces frequently arise as solutions to classification problems: If one can show that a collection of interesting objects (e.g., the smooth algebraic curves of a fixed genus) can be given the structure of a geometric space, then one can parametrize such objects by introducing coordinates on the resulting space. In this context, the term "modulus" is used synonymously with "parameter"; moduli spaces were first understood as spaces of parameters rather than as spaces of objects. A variant of moduli spaces is formal moduli. Motivation Moduli spaces are spaces of solutions of geometric classification problems. That is, the points of a moduli space correspond to solutions of geometric problems. Here different solutions are identified if they a ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Yuri Manin
Yuri Ivanovich Manin (russian: Ю́рий Ива́нович Ма́нин; born 16 February 1937) is a Russian mathematician, known for work in algebraic geometry and diophantine geometry, and many expository works ranging from mathematical logic to theoretical physics. Moreover, Manin was one of the first to propose the idea of a quantum computer in 1980 with his book ''Computable and Uncomputable''. Life and career Manin gained a doctorate in 1960 at the Steklov Mathematics Institute as a student of Igor Shafarevich. He is now a Professor at the Max-Planck-Institut für Mathematik in Bonn, and a professor emeritus at Northwestern University. Manin's early work included papers on the arithmetic and formal groups of abelian varieties, the Mordell conjecture in the function field case, and algebraic differential equations. The Gauss–Manin connection is a basic ingredient of the study of cohomology in families of algebraic varieties. He wrote a book on cubic surfaces and cubic ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Vladimir Drinfeld
Vladimir Gershonovich Drinfeld ( uk, Володи́мир Ге́ршонович Дрінфельд; russian: Влади́мир Ге́ршонович Дри́нфельд; born February 14, 1954), surname also romanized as Drinfel'd, is a renowned mathematician from the former USSR, who emigrated to the United States and is currently working at the University of Chicago. Drinfeld's work connected algebraic geometry over finite fields with number theory, especially the theory of automorphic forms, through the notions of elliptic module and the theory of the geometric Langlands correspondence. Drinfeld introduced the notion of a quantum group (independently discovered by Michio Jimbo at the same time) and made important contributions to mathematical physics, including the ADHM construction of instantons, algebraic formalism of the quantum inverse scattering method, and the Drinfeld–Sokolov reduction in the theory of solitons. He was awarded the Fields Medal in 1990. In 2016, ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |