

\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}
