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
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; th ...
and the theory of
complex
Complex commonly refers to:
* Complexity, the behaviour of a system whose components interact in multiple ways so possible interactions are difficult to describe
** Complex system, a system composed of many components which may interact with each ...
manifold
In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a N ...
s, and as the founder of the Japanese school of algebraic geometers.
He was awarded a
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 Mathematicians, International Congress of the International Mathematical Union (IMU), a meeting that takes place e ...
in 1954, being the first Japanese national to receive this honour.
Early life and education
Kodaira was born in
Tokyo
Tokyo, officially the Tokyo Metropolis, is the capital of Japan, capital and List of cities in Japan, most populous city in Japan. With a population of over 14 million in the city proper in 2023, it is List of largest cities, one of the most ...
. He graduated from the
University of Tokyo
The University of Tokyo (, abbreviated as in Japanese and UTokyo in English) is a public research university in Bunkyō, Tokyo, Japan. Founded in 1877 as the nation's first modern university by the merger of several pre-westernisation era ins ...
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 coho ...
as it then stood. He obtained his
PhD
A Doctor of Philosophy (PhD, DPhil; or ) is a terminal degree that usually denotes the highest level of academic achievement in a given discipline and is awarded following a course of graduate study and original research. The name of the deg ...
from the
University of Tokyo
The University of Tokyo (, abbreviated as in Japanese and UTokyo in English) is a public research university in Bunkyō, Tokyo, Japan. Founded in 1877 as the nation's first modern university by the merger of several pre-westernisation era ins ...
in 1949, with a thesis entitled ''Harmonic fields in Riemannian manifolds''.
He was involved in
cryptographic
Cryptography, or cryptology (from "hidden, secret"; and ''graphein'', "to write", or '' -logia'', "study", respectively), is the practice and study of techniques for secure communication in the presence of adversarial behavior. More gen ...
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) is an independent center for theoretical research and intellectual inquiry located in Princeton, New Jersey. It has served as the academic home of internationally preeminent scholars, including Albert Ein ...
in
Princeton, New Jersey
The Municipality of Princeton is a Borough (New Jersey), borough in Mercer County, New Jersey, United States. It was established on January 1, 2013, through the consolidation of the Borough of Princeton, New Jersey, Borough of Princeton and Pri ...
at the invitation of
Hermann Weyl
Hermann Klaus Hugo Weyl (; ; 9 November 1885 – 8 December 1955) was a German mathematician, theoretical physicist, logician and philosopher. Although much of his working life was spent in Zürich, Switzerland, and then Princeton, New Jersey, ...
. He was subsequently also appointed Associate Professor at
Princeton University
Princeton University is a private university, private Ivy League research university in Princeton, New Jersey, United States. Founded in 1746 in Elizabeth, New Jersey, Elizabeth as the College of New Jersey, Princeton is the List of Colonial ...
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
In mathematics, operator theory is the study of linear operators on function spaces, beginning with differential operators and integral operators. The operators may be presented abstractly by their characteristics, such as bounded linear operato ...
. Kodaira rapidly became involved in exploiting the tools it opened up in algebraic geometry, adding
sheaf theory
In mathematics, a sheaf (: sheaves) 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 d ...
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 infinitesima ...
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 (mathematics), scheme or an algebraic stack) whose points represent algebro-geometric objects of some fixed kind, or isomorphism classes of suc ...
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, 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 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 from the point of view of
birational geometry
In mathematics, birational geometry is a field of algebraic geometry in which the goal is to determine when two algebraic varieties are isomorphic outside lower-dimensional subsets. This amounts to studying Map (mathematics), mappings that are gi ...
of complex manifolds. This resulted in a typology of seven kinds of two-dimensional
compact
Compact as used in politics may refer broadly to a pact or treaty; in more specific cases it may refer to:
* Interstate compact, a type of agreement used by U.S. states
* Blood compact, an ancient ritual of the Philippines
* Compact government, a t ...
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 curve
In mathematics, an elliptic curve is a smooth, projective, algebraic curve of genus one, on which there is a specified point . An elliptic curve is defined over a field and describes points in , the Cartesian product of with itself. If the ...
s over
algebraic function fields, a theory whose arithmetic analogue proved important soon afterwards. This work also included a characterisation of
K3 surface
In mathematics, a complex analytic K3 surface is a compact connected complex manifold of dimension 2 with а trivial canonical bundle and irregularity of a surface, irregularity zero. An (algebraic) K3 surface over any field (mathematics), field ...
s as deformations of
quartic surfaces in ''P''
3, and the theorem that they form a single
diffeomorphism
In mathematics, a diffeomorphism is an isomorphism of differentiable manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are continuously differentiable.
Definit ...
class. Again, this work has proved foundational. (The K3 surfaces were named after
Ernst Kummer,
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
The Johns Hopkins University (often abbreviated as Johns Hopkins, Hopkins, or JHU) is a private university, private research university in Baltimore, Maryland, United States. Founded in 1876 based on the European research institution model, J ...
and
Stanford University
Leland Stanford Junior University, commonly referred to as Stanford University, is a Private university, private research university in Stanford, California, United States. It was founded in 1885 by railroad magnate Leland Stanford (the eighth ...
. In 1967, he returned to the
University of Tokyo
The University of Tokyo (, abbreviated as in Japanese and UTokyo in English) is a public research university in Bunkyō, Tokyo, Japan. Founded in 1877 as the nation's first modern university by the merger of several pre-westernisation era ins ...
. 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 and the
American Academy of Arts and Sciences
The American Academy of Arts and Sciences (The Academy) 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, and other ...
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, NGO, 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 ...
in 1975, member of the
Göttingen
Gö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. According to the 2022 German census, 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 society, learned societies for mathematics (the others being the Royal Statistical Society (RSS), the Institute of Mathematics and its Applications (IMA), the Edinburgh ...
in 1979. He received the Order of Culture and the
Japan Academy Prize in 1957 and the Fujiwara Prize in 1975.
Bibliography
*
*
*
*
*
*
See also
*
Baire set
*
Kodaira vanishing theorem
*
Kodaira–Spencer mapping
*
Kodaira dimension
*
Kodaira surface
*
Kodaira embedding theorem
*
Kodaira's classification of singular fibers
*
Bochner–Kodaira–Nakano identity
*
Enriques–Kodaira classification
*
Weyl–Titchmarsh–Kodaira theory
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
Academic staff of the University of Tokyo
Princeton University faculty
Johns Hopkins University faculty
Stanford University Department of Mathematics faculty
Institute for Advanced Study visiting scholars
University of Tokyo alumni
Mathematicians from Tokyo
People from Nagano Prefecture
Recipients of the Order of Culture