\documentclass{slides} \usepackage{amssymb, amsmath, amscd, color, epsfig, russcorr, russlh} %,wasysym} \newcommand{\arrow}{{\:\rightarrow\:}} \newcommand{\restrict}[1]{{\left|_{{\phantom{|}\!\!}_{#1}}\right.}} \def\endproof{$\blacksquare$} \def\ендпрооф{\endproof} \def\goth{\mathfrak} \renewcommand{\leq}{\leqslant} \renewcommand{\geq}{\geqslant} \renewcommand{\epsilon}{\varepsilon} \renewcommand{\phi}{\varphi} %\newcommand{\green}{} %\newcommand{\purple}{} %\newcommand{\red}{} %\newcommand{\blue}{} \newcommand{\green}{\color[rgb]{0,0.4,0}} \newcommand{\purple}{\color[rgb]{0.4,0,0.4}} \newcommand{\red}{\color[rgb]{0.7,0,0}} \newcommand{\blue}{\color{blue}} \def\бф{\bf} \def\ем{\em} \def\ит{\it} \def\смалл{\small} \def\блуе{\blue} \def\пурпле{\purple} \def\ред{\red} \def\греен{\green} \def\невпаге{\newpage} \def\1{\sqrt{-1}} \def\rad{\operatorname{\sf rad}} \def\Alt{\operatorname{\sf Alt}} \def\Sym{\operatorname{\sf Sym}} \def\Id{\operatorname{\sf Id}} \def\Hom{\operatorname{Hom}} \def\Tot{\operatorname{Tot}} \def\Tr{\operatorname{Tr}} \def\Ric{\operatorname{Ric}} \def\Vol{\operatorname{Vol}} \def\Lie{\operatorname{Lie}} \def\Map{\operatorname{Map}} \newcommand{\End}{\operatorname{End}} \newcommand{\Mat}{\operatorname{Mat}} \def\Z{{\mathbb Z}} \def\R{{\mathbb R}} \def\C{{\mathbb C}} \def\Q{{\mathbb Q}} \def\N{{\mathbb N}} \newcommand{\cntrct} % contraction with a vector field {\raisebox{0.1em}{\text{$\lrcorner$}}} \setlength\paperheight {10in}% \setlength\paperwidth {13.5in} \setlength{\textwidth}{0.8\paperwidth} \setlength{\textheight}{0.8\paperheight} \setlength{\pdfpageheight}{\paperheight} \setlength{\pdfpagewidth}{\paperwidth} \addtolength{\topmargin}{-20mm} \addtolength{\leftmargin}{-25mm} \addtolength{\rightmargin}{-25mm} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Lemma, sublemma, corollary, proposition, theorem, % % definition,example defined there: % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \newcommand{\лемма}{% {\bf \green ЛЕММА:\ }} \newcommand{\утверждение}{% {\bf \green УТВЕРЖДЕНИЕ:\ }} \newcommand{\следствие}{% {\bf \green СЛЕДСТВИЕ:\ }} \newcommand{\теорема}{% {\bf \green ТЕОРЕМА:\ }} \newcommand{\гипотеза}{% {\bf \green ГИПОТЕЗА:\ }} \newcommand{\предложение}{% {\bf \green ПРЕДЛОЖЕНИЕ:\ }} \newcommand{\определение}{% {\bf \green ОПРЕДЕЛЕНИЕ:\ }} \newcommand{\пример}{% {\bf \green ПРИМЕР:\ }} \newcommand{\замечание}{% {\bf \green ЗАМЕЧАНИЕ:\ }} \newcommand{\вопрос}{% {\bf \green ВОПРОС:\ }} \newcommand{\упражнение}{% {\bf \green УПРАЖНЕНИЕ:\ }} \newcommand{\указание}{% {\bf \green УКАЗАНИЕ:\ }} \newcommand{\задача}{% {\bf \green ЗАДАЧА:\ }} \newcommand{\доказательство}{% {\bf \green ДОКАЗАТЕЛЬСТВО:\ }} \newcommand{\дшаг}{% {\bf \green Доказательство. Шаг 1:\ }} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Pagestyle % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \makeatletter \newcommand{\ps@verbit}{% \renewcommand{\@oddhead}{% \tiny {\it Дифф. геометрия и векторные расслоения\scriptsize \hfil \tiny М. Вербицкий}} \renewcommand{\@evenhead}{\@oddhead} \renewcommand{\@oddfoot}{\hfil\small\thepage\hfil} \renewcommand{\@evenfoot}{\@oddfoot}} \pagestyle{verbit} \makeatother \begin{document} \setcounter{page}{1} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{center} {\Large\bf Векторные расслоения, лекция 5:\\[2mm] кривизна} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \\[14mm] {\small Миша Вербицкий} \\[8mm] {\tiny \bf 14 октября, 2013\\ матфак ВШЭ и НМУ}\\ \end{center} \newpage {\бф \блуе Связность на расслоении (повторение)} \замечание {\бф \пурпле Пространство сечений расслоения $B$ на гладком многообразии обозначается $B$.} \определение {\бф \блуе Связность} на векторном расслоении $B$ есть отображение $B \stackrel \nabla \arrow \Lambda^1 M \otimes B$, удовлетворяющее $\nabla(fb) = df \otimes b + f \nabla b$ для любых $b\in B$, $f\in C^\infty M$. \замечание Если $X\in TM$ -- векторное поле, $b\in B$, обозначим за {\бф \пурпле $\nabla_X b$ сечение $B$, полученное как $\langle\nabla b, X\rangle$.} Оператор $\nabla_X$ удовлетворяет правилу Лейбница: $\nabla_X(fb) = f\nabla_X b + \Lie_X f b$, где $\Lie_X$ -- производная вдоль $X$. Оператор $\nabla_X$ называется {\бф \блуе оператором ковариантной производной} по $X$. \замечание {\бф \пурпле Разность двух связностей $C^\infty(M)$ линейна,} и задает $C^\infty(M)$-линейное отображение $B \arrow \Lambda^1 M \otimes B$. И наоборот, {\бф \пурпле если добавить к связности $A\in \Lambda^1 M \otimes \End B$, получится снова связность} \newpage {\бф \блуе Параллельный перенос вдоль связности (повторение)} \определение Пусть $B$ -- расслоение со связностью. Сечение $B$, которое удовлетворяет $\nabla b=0$, называется {\бф\блуе параллельным}. \утверждение Пусть $B$ -- расслоение со связностью над $\R$. Тогда для каждой $x\in \R$, $b_x \in B\restrict x$, {\бф \ред существует и единственно сечение $b\in B$ такое, что $\nabla b=0$, $b\restrict x= b_x$.} \дшаг {\бф \пурпле Расслоение $B$ тривиально} (все расслоения на $\R$ тривиальны). {\бф\греен Шаг 2:} {\бф \пурпле Решение уравнения $\sum_i (f_i \nabla a_i +\frac{df_i}{dt} a_i)=0$ всегда существует и однозначно задается начальным условием $b\restrict x= b_x$} (теорема о существовании и единственности решений ОДЕ). \ендпрооф \newpage {\bf \blue Кривизна связности} \определение Пусть $\nabla:\; B \arrow B \otimes \Lambda^1 M$ связность на гладком расслоении. Продолжим $\nabla$ до оператора на формах \[ B \stackrel{\nabla}\arrow \Lambda^{1}(M)\otimes B \stackrel{\nabla}\arrow \Lambda^{2}(M)\otimes B \stackrel{\nabla}\arrow \Lambda^{3}(M)\otimes B \stackrel{\nabla}\arrow ... \] по формуле $\nabla(\eta \otimes b) = d\eta + (-1)^{\tilde \eta} \eta \wedge \nabla b$. Тогда оператор $\nabla^2:\; B \arrow B\otimes \Lambda^{2}(M)$ называется {\бф\блуе кривизной} $\nabla$. \замечание $\nabla^2(fb) = d^2 f b + df \wedge \nabla b - df \wedge \nabla b + f \nabla^2 b$, то есть {\бф \пурпле кривизна линейна над $C^\infty M$}. {\бф \ред Мы будем рассматривать кривизну $B$ как 2-форму со значениями в $\End B$: \[ \Theta_B \in \Lambda^2 M \otimes \End(B).\]} \невпаге {\бф \блуе Кривизна и коммутаторы} \утверждение Пусть $X,Y\in TM$ -- векторные поля, $(B,\nabla)$ -- расслоение со связностью, а $b\in B$ -- сечение. Рассмотрим \[ \Theta_B^* (X, Y, b):= \nabla_X\nabla_Yb-\nabla_Y\nabla_Xb-\nabla_{[X,Y]}b \] {\бф \ред Тогда оператор $\Theta_B^*$ $C^\infty M$-линеен по всем трем аргументам.} \дшаг Разобьем $\Theta_B^* (X, Y, fb)$ на три компоненты: линейную, первую производную и вторую производную. Компонента с первой производной имеет вид \[ \Lie_Yf\nabla_X b+ \Lie_Xf\nabla_Y b-\Lie_Yf\nabla_X b-\Lie_Xf\nabla_Y b- \Lie_{[X,Y]}f b=\Lie_{[X,Y]}f b,\] компонента со второй производной имеет вид $\Lie_X\Lie_Y fb- \Lie_Y\Lie_X fb$, они сокращаются. {\бф \пурпле Поэтому $\Theta_B^* (X, Y, b)$ линеен по $b$.} {\бф \греен Шаг 2:} Поскольку $[X, fY]= \Lie_X fY + f[X,Y]$, имеем $\nabla_{[X,fY]}b=f\nabla_{[X,Y]}b + \Lie_X f\nabla_Y b$. {\бф \греен Шаг 3:} Выражение $\Theta_B^* (X, fY, b)$ имеет две компоненты, $f$-линейную и компоненту с производными первого порядка по $f$; в силу шага 2, {\бф \пурпле компонента первого порядка равна $\Lie_X f\nabla_Y b- \Lie_X f\nabla_Y b=0$.} \ендпрооф \невпаге {\бф \блуе Кривизна и коммутаторы (продолжение)} \замечание {\бф \ред \[ \Theta_B^* (X, Y, b):= \nabla_X\nabla_Yb-\nabla_Y\nabla_Xb-\nabla_{[X,Y]}b \] Это другое определение кривизны, равносильное обычному.} \теорема Рассмотрим $\Theta_B^*:\; TM \otimes TM \otimes B \arrow B$ как 2-форму с коэффициентами в $B$. Тогда $\Theta^*_B=\Theta_B$ {\бф \блуе (определения кривизны через коммутатор и через дифференциал де Рама совпадают).} \дшаг Поскольку $\Theta^*_B(X,Y)$, $\Theta_B(X,Y)$ линейны по $X,Y$, достаточно проверять это равенство, когда $X$, $Y$ коммутируют. {\бф \греен Шаг 2:} Обозначим за $i_X:\; \Lambda^iM \otimes B \arrow \Lambda^{i-1}M \otimes B$ подстановку векторного поля $X$. Записав $\nabla= d+ A$, где $A\in \Lambda^1 M \otimes \End B$, мы получим $\nabla_X = \Lie_X + A(X)$, что дает $[\nabla_X, i_Y]= [\Lie_X, i_Y]= i_{[X,Y]}=0$. {\бф \греен Шаг 3:} \[ \nabla^2(b)(X,Y)= (i_Xi_Y -i_Xi_Y) \nabla^2(b)= i_Y\nabla_X \nabla b- i_X\nabla_Y \nabla b= \nabla_X\nabla_Y b- \nabla_Y \nabla_X b. \] \endproof \невпаге {\бф \блуе Векторные поля и их экспоненты} \замечание Пусть $X$ -- векторное поле на многообразии, а $\Psi_t:\; \R \times M \arrow M$ соотвествующий поток диффеоморфизмов, который удовлетворяет $\frac{d\Psi_t}{dt}= X$. Тогда для каждой функции $f\in C^\infty M$, для которой ряд $e^{t\Lie_X}f$ сходится, имеем $\Psi_t f= e^{t\Lie_X}f$ Действительно, \[ \frac{de^{t\Lie_X}f}{dt}=\Lie_X e^{t\Lie_X}f= \Lie_X\Psi_t f \frac{d\Psi_t}{dt}f. \] Другими словами, {\бф \ред диффеоморфизм $\Psi_t$ записывается в виде $\Psi_t=e^{t\Lie_X}$.} \следствие Если $X, Y$ -- коммутирующие векторные поля, то {\бф \пурпле траектория, полученная переносом вдоль $\epsilon X, \epsilon Y, -\epsilon X, -\epsilon Y$, замкнута.} Действительно, в этом случае $e^{\epsilon X}e^{\epsilon Y}e^{-\epsilon X}e^{-\epsilon Y}=1$. \упражнение Докажите, что {\бф \ред $[X,Y]=0$ тогда и только тогда, когда все такие траектории замкнуты.} \невпаге {\бф \блуе Кривизна и голономия} \замечание Рассмотрим $(B, \nabla)$ -- расслоение со связностью. Пусть $X$ -- векторное поле на многообразии, $\Psi_t:\; \R \times M \arrow M$ соотвествующий поток диффеоморфизмов, а $\Phi_t$ -- параллельный перенос сечения вдоль кривой $\Psi_t(x)$. Тогда $\Phi_t(b)=e^{t\nabla_X}(b)$. Действительно, $\frac {d\Phi_t(b)}{dt}= \nabla_X \Phi_t(b)$, и $\frac {e^{t\nabla_X}(b)}{dt}=\nabla_X e^{t\nabla_X}(b)$. \утверждение Пусть $X,Y$ -- коммутирующие векторные поля, а $e^{\epsilon \nabla_X}e^{\epsilon \nabla_Y}e^{-\epsilon \nabla_X}e^{-\epsilon \nabla_Y}$ -- оператор параллельного переноса сечения вдоль ромба $\epsilon X, \epsilon Y, -\epsilon X, -\epsilon Y$. {\бф \ред Тогда соответствующее преобразование голономии удовлетворяет \[ e^{\epsilon \nabla_X}e^{\epsilon \nabla_Y}e^{-\epsilon \nabla_X}e^{-\epsilon \nabla_Y}= 1+ \epsilon^2 \Theta(X,Y)+ o(\epsilon^3), \] где $\Theta$ -- кривизна расслоения.} \доказательство \begin{multline*} e^{\epsilon a} e^{\epsilon b} e^{-\epsilon a}e^{-\epsilon b}=\\= \epsilon^2\left[ab -a^2 -ab -ba -b^2 + ab + \frac{a^2 + b^2 +a^2 + b^2}{2!}\right] + o(\epsilon^3)= \\= \epsilon^2(ab-ba)+o(\epsilon^3). \ \ \ \text{\endproof} \end{multline*} \невпаге {\бф \блуе Кривизна и голономия (продолжение)} {\бф \греен Следствие 1:} {\бф \ред Голономия вдоль ромба $\epsilon X, \epsilon Y, -\epsilon X, -\epsilon Y$ тривиальна для всех $\epsilon$ тогда и только тогда, когда $\Theta(X,Y)=0$.} \доказательство Если голономия тривиальна, то $\Theta(X,Y)=0$ в силу вышеприведенного утверждения. Если же $\nabla_X, \nabla_Y$ коммутируют, то голономия вдоль ромба тривиальна, потому что она равна \\ $e^{\epsilon \nabla_X}e^{\epsilon \nabla_Y}e^{-\epsilon \nabla_X}e^{-\epsilon \nabla_Y}$. \ендпрооф {\бф \греен Следствие 2:} Пусть $M$ -- открытое подмножество в $\R^n$, для любых $X, Y \in TM$ с $|X|\leq 1, |Y|\leq 1$ норма оператора $\Theta(X,Y)$ удовлетворяет $\|\Theta(X,Y)\| \leq C$, а $\gamma$ -- путь, который можно затянуть гладким контуром площади не больше $A_\gamma$. {\бф \ред Тогда голономия $h_\gamma$ вдоль этого пути имеет норму $|\log\|h_\gamma\||\leq C A_\gamma $.} \дшаг Для прямоугольного ромба $\gamma$ со сторонами $\epsilon X, \epsilon Y,$ $ -\epsilon X, \epsilon Y$, голономия $h_\gamma$ равна $1+ \epsilon^2\Theta(X,Y)+o(\epsilon^3)\leq 1+C A_\gamma+o(\epsilon^3)$. Разбивая прямоугольник на меньшие прямоугольники, получаем \[ |\log\|h_\gamma\||\leq \sum_i |\log\|h_{\gamma_i}\|| + o(\epsilon^3) \leq\sum_i CA_{\gamma_i}+ o(\epsilon^3). \] Переходя к пределу по $\epsilon$, получаем $|\log \|h_\gamma\||\leq C A_\gamma $. \невпаге {\бф \блуе Кривизна и голономия (окончание)} {\бф \греен Следствие 2:} Пусть $M$ -- открытое подмножество в $\R^n$, для любых $X, Y \in TM$ с $|X|\leq 1, |Y|\leq 1$ норма оператора $\Theta(X,Y)$ удовлетворяет $|\Theta(X,Y)| \leq C$, а $\gamma$ -- путь, который можно затянуть гладким контуром площади не больше $A_\gamma$. {\бф \ред Тогда голономия $h_\gamma$ вдоль этого пути имеет норму $|\log\|h_\gamma\||\leq C A_\gamma $.} {\бф \греен Шаг 2:} Для общего контура, затянутого пленкой, нужная оценка получается, если разбить эту пленку на контуры $\gamma_i$, которые приближены прямоугольниками, и устремить $\epsilon$ к нулю: \[ |h_\gamma|\leq \prod_i |h_{\gamma_i}| \leq\prod_i (1+CA_{\gamma_i}), \] что дает $\log |h_\gamma|\leq\sum_i CA_{\gamma_i}\leq C A_\gamma+\epsilon$. \ендпрооф \begin{center} \epsfig{file=kontur.png,width=0.30\linewidth} \end{center} \невпаге {\бф \блуе Плоские расслоения} \определение Расслоение $(B, \nabla)$ называется {\бф \блуе плоским}, если кривизна $\nabla$ равна 0. \теорема {\бф \ред Расслоение плоско тогда и только тогда, когда голономия вдоль любого стягиваемого пути тривиальна.} \доказательство Из тривиальности голономии следует зануление кривизны в силу Следствия 1. Из зануления кривизны следует тривиальность голономии в силу Следствия 2: $\log|h_\gamma|\leq C A_\gamma $, где $C=0$. \ендпрооф \определение\\ Сечение $b\in B$ называется {\бф \блуе параллельным}, если $\nabla b=0$. \следствие Пусть $(B,\nabla)$ -- плоское расслоение над $M$ Для каждого открытого, связного, односвязного подмножества $U\subset M$, {\бф \ред пространство параллельных сечений $B\restrict U$ отождествлено со слоем $B\restrict x$,} для любой точки $x\in U$. \невпаге {\бф \блуе Плоские расслоения (продолжение)} \следствие Пусть $(B,\nabla)$ -- плоское расслоение над $M$ Для каждого открытого, связного, односвязного подмножества $U\subset M$, {\бф \ред пространство параллельных сечений $B\restrict U$ отождествлено со слоем $B\restrict x$,} для любой точки $x\in U$. \доказательство Возьмем $b_0\in B\restrict x$. Для любого $y\in U$, соединим $x$ с $y$ путем $\gamma$, и рассмотрим решение $\nabla b\restrict \gamma=0$. Это задает вектор в $B\restrict y$, который не зависит от выбора пути в силу тривиальности голономии. {\бф \пурпле Варьируя $y$, мы получаем сечение $b\in B\restrict U$, которое удовлетворяет $\nabla b\restrict \gamma=0$ для любого пути.} Выбрав путь, который касается векторного поля $X$, мы также получим $\nabla_X b=0$. \ендпрооф \невпаге {\бф \блуе Локальные системы} \определение {\бф\блуе Локально постоянный пучок} есть пучок ${\cal F}$ такой, что для любых связных открытых множеств $U\supset V$, ограничение \\ ${\cal F}(U) \arrow {\cal F}(V)$ есть изоморфизм. \определение {\бф\блуе Локальная система} на топологическом пространстве есть локально постоянный пучок векторных пространств. \упражнение Докажите, что {\бф \ред категория локальных систем на связном многообразии $M$ эквивалентна категории представлений фундаментальной группы.} \утверждение Пусть $(B,\nabla)$ -- плоское расслоение, а $U \arrow {\cal B}(U)$ пучок, сопоставляющий $U$ пространство параллельных сечений $B$. Тогда ${\cal B}$ -- локальная система {\бф \пурпле (проверьте это).} \замечание Пусть ${\cal F}$ -- локальная система на многообразии $M$, где поле $k=\R$. Тогда ${\cal F}\otimes_\R C^\infty M$ есть локально свободный пучок $C^\infty M$-модулей, то есть {\бф \пурпле векторное расслоение} {\бф \ред (проверьте это)}. \невпаге {\бф \блуе Локальные системы и плоские связности} \упражнение Пусть ${\cal B}$ -- локальная система на многообразии $M$, а $B:={\cal B}\otimes C^\infty M$ соответствующее расслоение. Определим $\nabla:\; B\arrow \Lambda^1 M \otimes B$ формулой $\nabla(\sum f_i\otimes b_i)= \sum df_i \otimes b_i$, где $b_i \in {\cal B}(U)$ -- сечения ${\cal B}$. {\бф \ред Докажите, что $\nabla$ это связность.} \утверждение Связность, построенная таким образом - плоская. \доказательство \[ \nabla^2 (\sum f_i\otimes b_i)= \nabla( \sum df_i \otimes b_i)= \sum_i d^2 f_i \otimes b_i =0. \] \endproof Мы доказали такую теорему. \теорема Рассмотрим функтор $\xi$, переводящий расслоение с плоской связностью $(B, \nabla)$ в локальную систему ${\cal B}=\ker \nabla$, и $\zeta$, переводящий локальную систему ${\cal B}$ в \[ (B:={\cal B}\otimes C^\infty M,\ \ \nabla(\sum f_i\otimes b_i):= \sum df_i \otimes b_i. \] {\бф \ред Такие функторы $\xi$ и $\zeta$ взаимно обратны и задают эквивалентность категорий.} \newpage {\бф \блуе Пространство алгебраических тензоров кривизны} \утверждение Имеет место разложение $V\otimes V\otimes V\otimes V$ как представления $GL(V)$: $V\otimes V\otimes V\otimes V= \Lambda^4 V \oplus \Sym^4 V\oplus V_{3,1} \oplus V_{2,1,1} \oplus V_{2,2}$, где $V_{3,1}=\ker\Sym_{34}\restrict { \Lambda^3 V \otimes V}$, $V_{2,1,1}= \ker\Alt_{34}\restrict { \Sym^3 V \otimes V}$, a {\bf \blue $V_{2,2}$ -- пространство тензоров, которые антисимметричны по перестановкам 1 и 2, а также 3 и 4 множителя, симметризованные по одновременным перестановкам 1 и 4, а также 2 и 3.} \упражнение Докажите, что {\бф \red $V_{2,2}$ есть ядро умножения $V_{2,2}=\ker \left( \Sym^2(\Lambda^2V)\arrow \Lambda^4V\right).$} \определение Пространство $V_{2,2}\subset V\otimes V\otimes V\otimes V$ называется {\бф \блуе пространством алгебраических тензоров кривизны}. \теорема Рассмотрим тензор кривизны связности Леви-Чивита, $R^l_{ijk} \in \Lambda^2 M \otimes \goth{so}(TM)$. Отождествляя $\goth{so}(TM)$ и $\Lambda^2(TM)$, получим тензор кривизны $R_{ijkl} \in \Lambda^2 M \otimes \Lambda^2 M$. {\бф \ред Тогда $R_{ijkl}\in V_{2,2}$.} \доказательство См. следующий слайд. \следствие {\бф \ред Кривизна связности Леви-Чивита симметрична:\\ $R_{ijkl}\in \Sym^2(\Lambda^2 TM)$.} \newpage {\бф \блуе Симметрии тензора кривизны} \утверждение {\бф \блуе (алгебраическое тождество Бьянки)}\\ Пусть $ \Theta_\nabla\in \Lambda^2 M \otimes \goth{so}(TM)$ -- кривизна связности Леви-Чивита. {\бф \ред Тогда \[ \mathop{\rm Cycl}{}_{1,2,3}(\Theta_\nabla):= \Theta_\nabla(X,Y,Z, \cdot) +\Theta_\nabla(Y,Z,X, \cdot)+ \Theta_\nabla(Z,X,Y, \cdot)=0. \]} \доказательство Выберем $X,Y,Z$, которые коммутируют. Тогда $\nabla_XY=\nabla_Y X$, etc., потому что $\nabla$ без кручения. Значит, \begin{multline*} \mathop{\rm Cycl}{}_{1,2,3}(\Theta_\nabla(X,Y,Z))\\ = (\nabla_X\nabla_Y Z-\nabla_X\nabla_Z Y)+ (\nabla_Y\nabla_Z X -\nabla_Y\nabla_X Y) + (\nabla_Z\nabla_X Y -\nabla_Z\nabla_Y X) =0 \end{multline*} \endproof \замечание Тождество открыл Риччи через несколько лет после того, как Бьянки доказал "дифференциальное тождество Бьянки" \следствие {\bf \red Тензор римановой кривизны лежит в $V_{2,2}$.} \доказательство Проекция ядра $\mathop{\rm Cycl}{}_{1,2,3}\restrict {\Lambda^2 M \otimes \Lambda^2 M}$ на все остальные компоненты $V\otimes V \otimes V \otimes V$ зануляется. \endproof \невпаге {\бф \блуе Разложение Риччи} \определение Пусть $V$ -- вещественное пространство с положительно определенным скалярным произведением, $\dim V >4$, a $V_{2,2}$ -- пространство алгебраических тензоров кривизны. Рассмотрим отображение следа $\Tr_{1,3}:\; V_{2,2}\arrow \Sym^2 V$. Оно обозначается $\Ric$ и называется {\бф \блуе кривизной Риччи}, а его след называется {\бф \блуе скалярной кривизной}. \утверждение Рассмотрим $V_{2,2}$ как представление ортогональной группы $O(V)$. {\бф \ред Тогда $V_{2,2}$ имеет следующие неприводимые компоненты:} \[ V_{2,2}=W \oplus \Sym^2_0 V \oplus \R, \] где $W=\ker \Ric$, a $\Sym^2_0 V$ -- симметрические формы с нулевым следом, причем $\Sym^2_0 V \oplus \R=\Sym ^2 V$ вкладывается в $V_{2,2}$ как $\Ric^*\; \Sym ^2 V\arrow V_{2,2}$. {\бф \греен Доказательство:} Howe, Roger, {\em Remarks on classical invariant theory} Trans. Amer. Math. Soc. 313 (1989), no. 2, 539--570. \endproof \определение Пусть $M$ -- риманово многообразие, $\Theta$ его кривизна, а $\Theta= W + \Ric$ разложение тензора кривизны по компонентам $V_{2,2}=W \oplus \Sym ^2 V$. Тензор $W$ называется {\бф \блуе тензором Вейля}, или {\бф \блуе тензором конформной кривизны}, а $\Ric= \Ric(\Theta)$ -- {\бф \блуе кривизной Риччи} многообразия. След кривизны Риччи называется {\бф \блуе скалярной кривизной}. \невпаге {\бф \блуе Словарь римановой геометрии} {\бф \греен Римановы многообразия классифицируются в соответствии с их разложением кривизны:} $\Theta= W + \Ric_0+S$. \определение Риманово многообразие называется {\бф \блуе конформно плоским}, если $W=0$. \замечание Такие многообразия {\бф \пурпле конформно эквивалентны плоским}, то есть их метрика делается плоской после умножения на функцию; это нетривиальная теорема, доказанная Г. Вейлем. \определение Если бесследовая кривизна Риччи равна нулю, многообразие называется {\бф \блуе Эйнштейновым}. Для такого многообразия, имеет место $\Ric=\lambda g$, где $g$ это метрика, а $\lambda$ -- функция. В такой ситуации, {\бф \пурпле можно доказать, что функция $\lambda$ постоянна.} Она называется {\бф \блуе константой Эйнштейна}. \определение Если $W=\Ric_0=0$, а $\Theta=S$, многообразие $(M,g)$ называется {\бф \блуе многообразием постоянной секционной кривизны} или {\бф \блуе пространственной формой} (space form). {\бф \пурпле Такие многообразия локально изометричны римановой сфере, пространству Лобачевского, или $\R^n$.} \end{document}