was a Japanese
mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems.
Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematica ...
known for distinguished work in
algebraic geometry and the theory of
complex manifold
In differential geometry and complex geometry, a complex manifold is a manifold with an atlas of charts to the open unit disc in \mathbb^n, such that the transition maps are holomorphic.
The term complex manifold is variously used to mean a ...
s, and as the founder of the Japanese school of algebraic geometers.
He was awarded a
Fields Medal in 1954, being the first Japanese national to receive this honour.
Early years
Kodaira was born in
Tokyo
Tokyo (; ja, 東京, , ), officially the Tokyo Metropolis ( ja, 東京都, label=none, ), is the capital and List of cities in Japan, largest city of Japan. Formerly known as Edo, its metropolitan area () is the most populous in the world, ...
. He graduated from the
University of Tokyo
, abbreviated as or UTokyo, is a public research university located in Bunkyō, Tokyo, Japan. Established in 1877, the university was the first Imperial University and is currently a Top Type university of the Top Global University Project by ...
in 1938 with a degree in mathematics and also graduated from the physics department at the University of Tokyo in 1941. During the
war years he worked in isolation, but was able to master
Hodge theory
In mathematics, Hodge theory, named after W. V. D. Hodge, is a method for studying the cohomology groups of a smooth manifold ''M'' using partial differential equations. The key observation is that, given a Riemannian metric on ''M'', every coh ...
as it then stood. He obtained his
PhD PHD or PhD may refer to:
* Doctor of Philosophy (PhD), an academic qualification
Entertainment
* '' PhD: Phantasy Degree'', a Korean comic series
* ''Piled Higher and Deeper'', a web comic
* Ph.D. (band), a 1980s British group
** Ph.D. (Ph.D. albu ...
from the
University of Tokyo
, abbreviated as or UTokyo, is a public research university located in Bunkyō, Tokyo, Japan. Established in 1877, the university was the first Imperial University and is currently a Top Type university of the Top Global University Project by ...
in 1949, with a thesis entitled ''Harmonic fields in Riemannian manifolds''.
He was involved in cryptographic work from about 1944, while holding an academic post in Tokyo.
Institute for Advanced Study and Princeton University
In 1949 he travelled to the
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 scholar ...
in
Princeton, New Jersey
Princeton is a municipality with a borough form of government in Mercer County, in the U.S. state of New Jersey. It was established on January 1, 2013, through the consolidation of the Borough of Princeton and Princeton Township, both of whi ...
at the invitation of
Hermann Weyl
Hermann Klaus Hugo Weyl, (; 9 November 1885 – 8 December 1955) was a German mathematician, theoretical physicist and philosopher. Although much of his working life was spent in Zürich, Switzerland, and then Princeton, New Jersey, he is ass ...
. He was subsequently also appointed Associate Professor at
Princeton University
Princeton University is a private research university in Princeton, New Jersey. Founded in 1746 in Elizabeth as the College of New Jersey, Princeton is the fourth-oldest institution of higher education in the United States and one of the n ...
in 1952 and promoted to Professor in 1955. At this time the foundations of Hodge theory were being brought in line with contemporary technique in operator theory. Kodaira rapidly became involved in exploiting the tools it opened up in algebraic geometry, adding
sheaf theory
In mathematics, a sheaf is a tool for systematically tracking data (such as sets, abelian groups, rings) attached to the open sets of a topological space and defined locally with regard to them. For example, for each open set, the data could ...
as it became available. This work was particularly influential, for example on
Friedrich Hirzebruch.
In a second research phase, Kodaira wrote a long series of papers in collaboration with
Donald C. Spencer, founding the
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 infinitesi ...
of complex structures on manifolds. This gave the possibility of constructions of
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 ...
s, since in general such structures depend continuously on parameters. It also identified the sheaf cohomology groups, for the sheaf associated with the
holomorphic tangent bundle, that carried the basic data about the dimension of the moduli space, and obstructions to deformations. This theory is still foundational, and also had an influence on the (technically very different)
scheme theory
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 s ...
of
Grothendieck. Spencer then continued this work, applying the techniques to structures other than complex ones, such as
G-structures.
In a third major part of his work, Kodaira worked again from around 1960 through the
classification of algebraic surfaces Classification is a process related to categorization, the process in which ideas and objects are recognized, differentiated and understood.
Classification is the grouping of related facts into classes.
It may also refer to:
Business, organizat ...
from the point of view of
birational geometry of complex manifolds. This resulted in a typology of seven kinds of two-dimensional compact complex manifolds, recovering the five algebraic types known classically; the other two being non-algebraic. He provided also detailed studies of
elliptic fibrations of surfaces over a curve, or in other language
elliptic curves over
algebraic function fields, a theory whose arithmetic analogue proved important soon afterwards. This work also included a characterisation of
K3 surfaces as deformations of
quartic surface
In mathematics, especially in algebraic geometry, a quartic surface is a surface defined by an equation of degree 4.
More specifically there are two closely related types of quartic surface: affine and projective. An ''affine'' quartic surface ...
s in ''P''
4, and the theorem that they form a single
diffeomorphism
In mathematics, a diffeomorphism is an isomorphism of smooth manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are differentiable.
Definition
Given tw ...
class. Again, this work has proved foundational. (The K3 surfaces were named after
Ernst Kummer
Ernst Eduard Kummer (29 January 1810 – 14 May 1893) was a German mathematician. Skilled in applied mathematics, Kummer trained German army officers in ballistics; afterwards, he taught for 10 years in a '' gymnasium'', the German equivalent of ...
,
Erich Kähler, and Kodaira).
Later years
Kodaira left Princeton University and the Institute for Advanced Study in 1961, and briefly served as chair at the
Johns Hopkins University
Johns Hopkins University (Johns Hopkins, Hopkins, or JHU) is a private research university in Baltimore, Maryland. Founded in 1876, Johns Hopkins is the oldest research university in the United States and in the western hemisphere. It consiste ...
and
Stanford University. In 1967, returned to the
University of Tokyo
, abbreviated as or UTokyo, is a public research university located in Bunkyō, Tokyo, Japan. Established in 1877, the university was the first Imperial University and is currently a Top Type university of the Top Global University Project by ...
. He was awarded a
Wolf Prize
The Wolf Prize is an international award granted in Israel, that has been presented most years since 1978 to living scientists and artists for ''"achievements in the interest of mankind and friendly relations among people ... irrespective of natio ...
in 1984/5. He died in
Kofu on 26 July 1997.
He was honoured with the membership of the
Japan Academy
The Japan Academy ( Japanese: 日本学士院, ''Nihon Gakushiin'') is an honorary organisation and science academy founded in 1879 to bring together leading Japanese scholars with distinguished records of scientific achievements. The Academy is ...
, the
Mathematical Society of Japan
The Mathematical Society of Japan (MSJ, ja, 日本数学会) is a learned society for mathematics in Japan.
In 1877, the organization was established as the ''Tokyo Sugaku Kaisha'' and was the first academic society in Japan. It was re-organized ...
and the
American Academy of Arts and Sciences
The American Academy of Arts and Sciences (abbreviation: AAA&S) is one of the oldest learned societies in the United States. It was founded in 1780 during the American Revolution by John Adams, John Hancock, James Bowdoin, Andrew Oliver, ...
in 1978. He was the foreign associate of the US
National Academy of Sciences
The National Academy of Sciences (NAS) is a United States nonprofit, non-governmental organization. NAS is part of the National Academies of Sciences, Engineering, and Medicine, along with the National Academy of Engineering (NAE) and the Nat ...
in 1975, member of the
Göttingen
Göttingen (, , ; nds, Chöttingen) is a college town, university city in Lower Saxony, central Germany, the Capital (political), capital of Göttingen (district), the eponymous district. The River Leine runs through it. At the end of 2019, t ...
Academy of Sciences in 1974 and honorary member of the
London Mathematical Society
The London Mathematical Society (LMS) is one of the United Kingdom's learned societies for mathematics (the others being the Royal Statistical Society (RSS), the Institute of Mathematics and its Applications (IMA), the Edinburgh Mathematical S ...
in 1979. He received the Order of Culture and the
Japan Academy Prize in 1957 and the Fujiwara Prize in 1975.
Bibliography
*
*
*
*
*
*
See also
*
Bochner–Kodaira–Nakano identity
In 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 mod ...
*
Spectral theory of ordinary differential equations
*
Kodaira vanishing theorem
*
Kodaira–Spencer mapping
*
Kodaira dimension In algebraic geometry, the Kodaira dimension ''κ''(''X'') measures the size of the canonical model of a projective variety ''X''.
Igor Shafarevich, in a seminar introduced an important numerical invariant of surfaces with the notation ''� ...
*
Kodaira surface
*
Kodaira embedding theorem
*
Enriques–Kodaira classification
*
Kodaira's classification of singular fibers
*
Baire set
In mathematics, more specifically in measure theory, the Baire sets form a σ-algebra of a topological space that avoids some of the pathological properties of Borel sets.
There are several inequivalent definitions of Baire sets, but in the m ...
References
External links
*
*
*
*
{{DEFAULTSORT:Kodaira, Kunihiko
1915 births
1997 deaths
20th-century Japanese mathematicians
Algebraic geometers
Fields Medalists
Wolf Prize in Mathematics laureates
Foreign associates of the National Academy of Sciences
University of Tokyo faculty
Princeton University faculty
Johns Hopkins University faculty
Stanford University Department of Mathematics faculty
Institute for Advanced Study visiting scholars
University of Tokyo alumni
People from Tokyo
People from Nagano Prefecture
Recipients of the Order of Culture