''Foundations of Differential Geometry'' is an influential 2-volume mathematics book on differential geometry written by

Shoshichi Kobayashi was a Japanese mathematician. He was the eldest brother of electrical engineer and computer scientist Hisashi Kobayashi. His research interests were in Riemannian and complex manifolds, transformation groups of geometric structures, and Lie al ...

and

Katsumi Nomizu was a Japanese-American mathematician known for his work in differential geometry. Life and career Nomizu was born in Osaka, Japan on the first day of December, 1924. He studied mathematics at Osaka University, graduating in 1947 with a Ma ...

. The first volume was published in 1963 and the second in 1969, by Interscience Publishers. Both were published again in 1996 as Wiley Classics Library. The first volume considers

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 ...

fiber bundle In mathematics, and particularly topology, a fiber bundle (or, in Commonwealth English: fibre bundle) is a space that is a product space, but may have a different topological structure. Specifically, the similarity between a space E and a ...

tensor analysis In mathematics and physics, a tensor field assigns a tensor to each point of a mathematical space (typically a Euclidean space or manifold). Tensor fields are used in differential geometry, algebraic geometry, general relativity, in the analys ...

, connections in bundles, and the role of

Lie group In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the addit ...

s. It also covers holonomy, the

de Rham decomposition theorem In differential geometry, the holonomy of a connection on a smooth manifold is a general geometrical consequence of the curvature of the connection measuring the extent to which parallel transport around closed loops fails to preserve the geome ...

and the Hopf–Rinow theorem. According to the review of James Eells, it has a "fine expositional style" and consists of a "special blend of algebraic, analytic, and

geometric Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is ca ...

concepts". Eells says it is "essentially a

textbook A textbook is a book containing a comprehensive compilation of content in a branch of study with the intention of explaining it. Textbooks are produced to meet the needs of educators, usually at educational institutions. Schoolbooks are textboo ...

(even though there are no

exercise Exercise is a body activity that enhances or maintains physical fitness and overall health and wellness. It is performed for various reasons, to aid growth and improve strength, develop muscles and the cardiovascular system, hone athletic s ...

s)". An advanced text, it has a "pace geared to a neterm graduate course". The second volume considers

submanifold In mathematics, a submanifold of a manifold ''M'' is a subset ''S'' which itself has the structure of a manifold, and for which the inclusion map satisfies certain properties. There are different types of submanifolds depending on exactly which ...

s of

Riemannian manifold In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real, smooth manifold ''M'' equipped with a positive-definite inner product ''g'p'' on the tangent spac ...

s, the

Gauss map In differential geometry, the Gauss map (named after Carl F. Gauss) maps a surface in Euclidean space R3 to the unit sphere ''S''2. Namely, given a surface ''X'' lying in R3, the Gauss map is a continuous map ''N'': ''X'' → ''S''2 such that ...

, and the second fundamental form. It continues with

geodesic In geometry, a geodesic () is a curve representing in some sense the shortest path ( arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connection. ...

s on Riemannian manifolds,

Jacobi field In Riemannian geometry, a Jacobi field is a vector field along a geodesic \gamma in a Riemannian manifold describing the difference between the geodesic and an "infinitesimally close" geodesic. In other words, the Jacobi fields along a geodesic for ...

s, the Morse index, the

Rauch comparison theorem In Riemannian geometry, the Rauch comparison theorem, named after Harry Rauch, who proved it in 1951, is a fundamental result which relates the sectional curvature of a Riemannian manifold to the rate at which geodesics spread apart. Intuitively, ...

s, and the Cartan–Hadamard theorem. Then it ascends to

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 ...

Kähler manifold In mathematics and especially differential geometry, a Kähler manifold is a manifold with three mutually compatible structures: a complex structure, a Riemannian structure, and a symplectic structure. The concept was first studied by Jan Ar ...

homogeneous space In mathematics, particularly in the theories of Lie groups, algebraic groups and topological groups, a homogeneous space for a group ''G'' is a non-empty manifold or topological space ''X'' on which ''G'' acts transitively. The elements of ...

s, and

symmetric space In mathematics, a symmetric space is a Riemannian manifold (or more generally, a pseudo-Riemannian manifold) whose group of symmetries contains an inversion symmetry about every point. This can be studied with the tools of Riemannian geometry, ...

s. In a discussion of

curvature In mathematics, curvature is any of several strongly related concepts in geometry. Intuitively, the curvature is the amount by which a curve deviates from being a straight line, or a surface deviates from being a plane. For curves, the can ...

representation of

characteristic class In mathematics, a characteristic class is a way of associating to each principal bundle of ''X'' a cohomology class of ''X''. The cohomology class measures the extent the bundle is "twisted" and whether it possesses sections. Characteristic class ...

es of

principal bundle In mathematics, a principal bundle is a mathematical object that formalizes some of the essential features of the Cartesian product X \times G of a space X with a group G. In the same way as with the Cartesian product, a principal bundle P is equ ...

s ( Chern–Weil theory), it covers

Euler class In mathematics, specifically in algebraic topology, the Euler class is a characteristic class of oriented, real vector bundles. Like other characteristic classes, it measures how "twisted" the vector bundle is. In the case of the tangent bundle ...

es,

Chern class In mathematics, in particular in algebraic topology, differential geometry and algebraic geometry, the Chern classes are characteristic classes associated with complex vector bundles. They have since found applications in physics, Calabi–Y ...

es, and Pontryagin classes. The second volume also received a favorable review by J. Eells in ''Mathematical Reviews''.

References

* * * * * {{refend Mathematics textbooks 1963 non-fiction books 1969 non-fiction books