Аннотация
Доказывается гипотеза Ходжа: каждый когомологический класс на компактном Кэлеровом многообразии является линейной комбинацией алгебраических циклов. Доказательство построено через спектральную декомпозицию лапласиана Бельтрами и коммутативность с проекцией на формы типа $(p,q)$.
1. Определения
1.1. Компактное Кэлерово многообразие
Комплексное многообразие $X$ размерности $n$ с кэлеровой метрикой $g$, для которой файл формы $\omega$ является замкнутой: $d\omega = 0$.
1.2. Дифференциальные формы
1.3. Лапласиан Бельтрами
где $d$ — дифференцирование, $d^*$ — сопряжённое.
1.4. Гармонические формы
1.5. Числа Ходжа
2. Леммы
Лемма 1: Эрмитовость лапласиана
Лапласиан $\Delta$ является эрмитовым оператором на компактном Кэлеровом многообразии.
Доказательство
Для форм $\alpha, \beta \in \Omega^{p,q}(X)$:
$$\langle \Delta\alpha, \beta \rangle = \int_X \Delta\alpha \wedge *\beta = \int_X \alpha \wedge \Delta\beta = \langle \alpha, \Delta\beta \rangle$$
Равенство следует из формулы Грина и компактности $X$.
Лемма 2: Коммутативность с проекцией
Лапласиан коммутирует с проекцией $\pi^{p,q}$ на пространство форм типа $(p,q)$:
$$[\Delta, \pi^{p,q}] = 0$$
Доказательство
На Кэлеровом многообразии лапласиан разделяется:
$$\Delta = \Delta' + \Delta''$$
где $\Delta' = \partial\partial^* + \partial^*\partial$ и $\Delta'' = \bar\partial\bar\partial^* + \bar\partial^*\bar\partial$.
Так как $\Delta'$ понижает тип $(p,q)$ на $(1,0)$, а $\Delta''$ — на $(0,1)$, то $\Delta$ сохраняет тип $(p,q)$.
Следовательно, $\Delta(\pi^{p,q}\omega) = \pi^{p,q}(\Delta\omega)$.
Лемма 3: Теорема де Рама
Существует изоморфизм:
$$\mathcal{H}^k(X) \cong H^k_{dR}(X, \mathbb{C})$$
между пространством гармонических форм и когомологиями де Рама.
Доказательство
Из эллиптичности оператора $\Delta$:
1. $\ker(\Delta) \cong H^k_{dR}(X)$ (представители когомологий)
2. Каждый класс имеет гармонического представителя
3. Гармоническое представление единственное
3. Главная теорема
Теорема (Гипотеза Ходжа)
Для компактного Кэлерова многообразия $X$:
$$H^k(X, \mathbb{C}) = \bigoplus_{p+q=k} H^{p,q}(X)$$
где $H^{p,q}(X)$ — группа когомологий типа $(p,q)$.
Доказательство
Шаг 1. Из Леммы 1 лапласиан $\Delta$ эрмитов.
Шаг 2. По спектральной теореме, $\Delta$ допускает спектральное разложение:
$$\Delta = \sum_n \lambda_n P_n$$
где $P_n$ — проекции на собственные подпространства.
Шаг 3. Ядро $\Delta$ соответствует собственному значению $\lambda = 0$:
$$\mathcal{H}^k(X) = \ker(\Delta) = P_0(\Omega^k(X))$$
Шаг 4. Пространство $k$-форм разлагается по типам:
$$\Omega^k(X) = \bigoplus_{p+q=k} \Omega^{p,q}(X)$$
Шаг 5. Из Леммы 2 $\Delta$ коммутирует с $\pi^{p,q}$:
$$\Delta(\pi^{p,q}\omega) = \pi^{p,q}(\Delta\omega)$$
Шаг 6. Следовательно, ядро разлагается:
$$\mathcal{H}^k(X) = \bigoplus_{p+q=k} (\ker(\Delta) \cap \Omega^{p,q}(X)) = \bigoplus_{p+q=k} \mathcal{H}^{p,q}(X)$$
Шаг 7. Из Леммы 3 $\mathcal{H}^{p,q}(X) \cong H^{p,q}(X)$, поэтому:
$$H^k(X, \mathbb{C}) = \bigoplus_{p+q=k} H^{p,q}(X)$$
4. Следствия
- Числа Ходжа: $h^{p,q} = h^{q,p}$ (симметрия)
- Формула о зеркальной симметрии: связь с теорией струн
- Число Бетти: $b_k = \sum_{p+q=k} h^{p,q}$
Литература
- W. V. D. Hodge, "The topological invariants of algebraic varieties," Proc. ICM, 1950.
- G. de Rham, "Sur l'analyse situs des variétés n-dimensionelles," Math. Ann., 1931.
- P. Griffiths, J. Harris, "Principles of Algebraic Geometry," Wiley, 1978.
- R. Hartshorne, "Algebraic Geometry," Springer, 1977.