在20世纪的数学殿堂中，小平邦彦（Kodaira Kunihiko）无疑是一位站在巅峰的巨人。作为首位获得菲尔兹奖（Fields Medal）的日本数学家，他的工作不仅重塑了复几何（Complex Geometry）的版图，更深刻地影响了代数几何与代数拓扑的发展轨迹。他最大的成就在于成功地将拓扑学的强力工具引入复流形理论，使得原本孤立分析的复几何问题获得了全局性的视角。
小平邦彦几何不仅仅是一个特定的数学分支，它代表了一种方法论的革新：即通过研究复流形上的全纯函数、全纯向量丛以及相关的微分形式，来揭示流形的拓扑性质和几何结构。这种“拓扑决定几何”的思想，至今仍是现代数学研究的核心范式之一。
小平邦彦的贡献是多方面的，但以下三大定理构成了小平邦彦几何的骨架。为了更清晰地展示，我们采用选项卡形式分别解析。
这是小平邦彦几何中最著名的结果之一。它回答了这样一个根本问题：什么样的紧复流形可以嵌入到复射影空间 中？
定理内容： 一个紧复流形 可以嵌入到复射影空间 中（即 是一个射影代数簇），当且仅当 上存在一个正性线丛（Positive Line Bundle）。
意义解析：
1. 代数性与解析性的桥梁： 它证明了满足特定正性条件的复流形实际上是代数簇。这意味着复杂的分析结构可以被有限的代数方程所描述。
2. 正性的概念： “正性”在这里指的是线丛的曲率形式是一个正定的 -形式。这为后来的卡拉比-丘流形研究奠定了基调。
3. 分类的意义： 在复流形的分类中，嵌入性是一个极其重要的性质，它允许数学家使用代数几何的强大工具来处理复分析问题。
这一理论主要关注复结构的变形（Deformation of Complex Structures）。小平邦彦与嘉当亨利（Henri Cartan）合作，建立了形变理论的基础。
核心思想：
1. 形变参数空间： 对于一个给定的复流形，我们可以研究其复结构如何连续变化。小平证明了这些变化的空间（形变空间）本身也是一个复空间。
2. K-结构： 他引入了K-结构的概念，用于描述无穷小形变。形变的上同调类由 给出，其中 是切丛。
3. 应用： 这一理论在模空间（Moduli Space）的研究中至关重要，也是弦论中紧致化理论的重要数学基础。
这是关于向量丛上同调群的消没定理，是计算复流形上全纯截面维数的强大工具。
定理表述： 设 是紧复流形 上的一个正性线丛，则对于所有 ，有 ，其中 是典范丛。
深远影响：
1. 黎曼-罗赫定理的推广： 它为高维复流形上的黎曼-罗赫定理提供了关键的上同调消没条件。
2. 代数几何计算： 在计算代数簇的不变量（如几何亏格、截面空间维数）时，消没定理往往能简化计算，使得许多难以直接求解的问题变得可解。
小平邦彦对Hodge理论的发展做出了奠基性的贡献。他证明了紧凯勒流形的上同调群具有自然的Hodge分解结构。
对于紧凯勒流形 ，其复上同调群 可以分解为： 其中 由 -型调和形式组成。这一分解揭示了流形拓扑与复几何结构之间的深刻联系。
小平进一步研究了带有系数束的上同调，特别是与全纯向量丛相关的上同调。他证明了对于正性线丛，高阶上同调群消没，这被称为小平消没定理。
Hodge数 是刻画复流形拓扑和几何性质的基本不变量。对于紧凯勒流形，。
典范丛 是 上所有 -型形式构成的线丛。小平邦彦几何中，典范丛的正性与流形的分类密切相关。
小平证明了紧复曲面若具有偶数第一贝蒂数，则存在凯勒度量。这一结果推广到了更高维度的凯勒几何研究。
20世纪50年代，卡拉比（Eugenio Calabi）猜想：在具有零第一陈类的紧凯勒流形上，存在唯一的里奇平坦凯勒度量。这一猜想由小平邦彦深入参与并推广，后由丘成桐于1978年完全证明。
给定一个紧凯勒流形 和一个表示 的 -形式 ，是否存在一个与 共形的凯勒形式 ，使得其里奇曲率形式等于 ？
这等价于求解一个非线性椭圆型偏微分方程——复 Monge-Ampère 方程：
满足 的紧凯勒流形被称为卡拉比-丘流形（Calabi-Yau Manifold）。在超弦理论中，额外维度的紧致化空间通常被假设为卡拉比-丘流形。这是因为只有在这种流形上，超对称性才能部分保留，从而与我们的四维物理世界相容。
小平邦彦几何在这里提供了关键的数学框架，使得物理学家能够利用代数几何工具来研究弦论的紧致化方案，进而探索粒子物理的标准模型。
随着数学的发展，小平邦彦几何的思想已经渗透到多个前沿领域。以下是网友们普遍关心的几个热点方向。
在双有理几何中，小平的消没定理和嵌入定理是最小模型纲领（Minimal Model Program, MMP）的基础工具。通过研究典范丛的正性，数学家试图将任意代数簇双有理等价于一个“最小模型”或“Fano簇”。
小平邦彦与希茨布鲁赫合作，推广了黎曼-罗赫定理，得到了希茨布鲁赫-小平公式。这一公式在指标定理中扮演核心角色，连接了拓扑不变量（如陈类）和分析不变量（如指标）。
镜像对称猜想认为，一对卡拉比-丘流形 和 在辛几何和复几何性质上是对偶的。小平邦彦几何中的Hodge数交换（）是镜像对称的最初证据之一。
| 概念 | 数学对象 | 主要作用 | 应用领域 |
|---|---|---|---|
| 小平嵌入定理 | 正性线丛 | 判断复流形是否为代数簇 | 代数几何、复几何 |
| 形变理论 | K-结构, | 研究复结构的连续变化 | 模空间理论、弦论 |
| 消没定理 | 上同调群 | 简化上同调计算，证明存在性 | 黎曼-罗赫定理、向量丛分类 |
| Hodge分解 | 揭示拓扑与复结构的联系 | 代数拓扑、镜像对称 |
小平邦彦出生于日本岩手县。
在东京大学获得博士学位，论文涉及复流形的上同调理论，初步展现了其将拓扑引入复几何的天才思想。
前往美国普林斯顿高等研究院工作，与嘉当、韦伊等大师交流，奠定了其国际学术地位。
发表了关于紧复流形嵌入射影空间的研究，提出了著名的小平嵌入定理。
与卡拉比合作，提出了关于里奇平坦度量的猜想，即后来的卡拉比-丘流形理论基础。
在斯德哥尔摩的国际数学家大会上，因对复流形理论的杰出贡献，成为首位获得菲尔兹奖的日本数学家。
回到东京大学任教，致力于培养新一代日本数学家，并继续研究几何分析。
A: 主要应用在弦论和M理论中。卡拉比-丘流形（小平邦彦几何的重要对象）被用作额外维度的紧致化空间。通过研究这些流形的拓扑性质（如Hodge数），物理学家可以推导出四维世界中的粒子谱和相互作用，从而尝试统一基本力。
A: 小平最初使用解析方法，依赖于椭圆偏微分方程的估计。后来，Kodaira-Spencer利用形变理论，而Nakano等人也给出了不同视角的证明。现代证明常借助于L²估计（Hörmander's L² estimates），这是一种更通用且强大的技术。
A: 他证明了紧复流形在满足正性条件时是代数的，这使得代数几何学家可以使用代数工具（如相交理论、上同调）来研究复分析问题。这种“复几何代数化”的思想深刻影响了后来的双有理几何和模空间理论。