\documentclass{slides}

\usepackage{amssymb, amsmath, amscd, color, epsfig, russcorr, russlh}
%\usepackage[matrix,arrow]{xy}

\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\блуе{\blue}
\def\пурпле{\purple}
\def\ред{\red}
\def\греен{\green}
\def\невпаге{\newpage}

\def\eqref#1{(\ref{#1})}
\newcommand{\goth}{\mathfrak}
\newcommand{\g}{{\frak g}}
\newcommand{\arrow}{{\:\longrightarrow\:}}
\newcommand{\Z}{{\Bbb Z}}
\def\C{{\Bbb C}}
\newcommand{\R}{{\Bbb R}}
\newcommand{\Q}{{\Bbb Q}}
\renewcommand{\H}{{\Bbb H}}
\newcommand{\6}{\partial}
\def\1{\sqrt{-1}\:}
\newcommand{\restrict}[1]{{\left|_{{#1}}\right.}}
\newcommand{\cntrct}                % contraction with a vector field
{\hspace{2pt}\raisebox{1pt}{\text{$\lrcorner$}}\hspace{2pt}}


\def\Bbb#1{\mathbb #1}


\newcommand{\calo}{{\cal O}}
\newcommand{\cac}{{\cal C}}

% Correcting TeX...
%\let\oldtilde=\tilde
%\renewcommand{\tilde}{\widetilde}
\renewcommand{\bar}{\overline}
\renewcommand{\phi}{\varphi}
\renewcommand{\epsilon}{\varepsilon}
\renewcommand{\geq}{\geqslant}
\renewcommand{\leq}{\leqslant}

% Operatornames
\newcommand{\even}{{\rm even}}
\newcommand{\ev}{{\rm even}}
\newcommand{\odd}{{\rm odd}}
\newcommand{\const}{{\it const}}
\newcommand{\sing}{{\text{\sf sing}}}
\newcommand{\fl}{{\rm fl}}
\newcommand{\im}{\operatorname{im}}
\newcommand{\End}{\operatorname{End}}
\newcommand{\Sym}{\operatorname{Sym}}
\newcommand{\Hol}{\operatorname{{\cal H}ol}}
\newcommand{\Tot}{\operatorname{Tot}}
\newcommand{\Id}{\operatorname{Id}}
\newcommand{\id}{\operatorname{\text{\sf id}}}
\newcommand{\dist}{\operatorname{\text{\sf dist}}}
\newcommand{\Vol}{\operatorname{Vol}}
\newcommand{\Hom}{\operatorname{Hom}}
\newcommand{\Aut}{\operatorname{Aut}}
\newcommand{\Alt}{\operatorname{Alt}}
\newcommand{\Ann}{\operatorname{Ann}}
\newcommand{\Iso}{\operatorname{Iso}}
\newcommand{\Sec}{\operatorname{Sec}}
\newcommand{\Can}{\operatorname{Can}}
\newcommand{\Sing}{\operatorname{Sing}}
\newcommand{\Spin}{\operatorname{Spin}}
\newcommand{\codim}{\operatorname{codim}}
\newcommand{\coim}{\operatorname{coim}}

\newcommand{\coker}{\operatorname{coker}}
\newcommand{\slope}{\operatorname{slope}}
\newcommand{\rk}{\operatorname{rk}}
\newcommand{\Def}{\operatorname{Def}}
\newcommand{\Lie}{\operatorname{Lie}}
\newcommand{\Tw}{\operatorname{Tw}}
\newcommand{\Tr}{\operatorname{Tr}}
\newcommand{\Spec}{\operatorname{Spec}}
\newcommand{\Diff}{\operatorname{Diff}}

\renewcommand{\Re}{\operatorname{Re}}
\renewcommand{\Im}{\operatorname{Im}}



\newcommand{\inbfpare}[1]{{%
  \mbox{\tt (}\hspace{-5pt}\mbox{\tt (} #1 % 
  \mbox{\tt )}\hspace{-5pt}\mbox{\tt )}%
}}
\newcommand{\comment}[1]{{}}

\def\blacksquare{\hbox{\vrule width 10pt height 10pt depth 0pt}}
\def\endproof{\blacksquare}
\def\ендпрооф{\blacksquare}




\makeatletter

%\@ifundefined{Bbb}
%     {\newcommand{\Bbb}[1]{{\mathbb #1}}}%
%{}%     {\edef\Bbb#1{{\Bbb #1}}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%       Pagestyle                                %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 
\newcommand{\ps@verbit}{%
  \renewcommand{\@oddhead}{%
          \scriptsize {\it \small Комплексные аналитические пространства,
          лекция 9\hfil
  \tiny Миша Вербицкий}}
  \renewcommand{\@evenhead}{\@oddhead}
  \renewcommand{\@oddfoot}{\hfil\thepage\hfil}
  \renewcommand{\@evenfoot}{\@oddfoot}}
 
\pagestyle{verbit}


   \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 Доказательство. Шаг 1:\ }}


\begin{document}
\setcounter{page}{1}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{center}
{\Large\bf Комплексная аналитические пространства, \\[15mm]
\small лекция 9: теорема о ранге}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\\[14mm]

{\small Миша Вербицкий } 
\\[20mm]

{\tiny\bf НМУ/ВШЭ, Москва
\\[2mm] 29 апреля 2017
}
\end{center}


\невпаге

{\бф \блуе Регулярная система координат для идеала (повторение)}

Обозначим за $\calo_k$ кольцо ростков голоморфных
функций в 0, зависящих только от первых $d$ координат.

\теорема
Пусть $J$ -- идеал в $\calo_n$.
{\бф \ред Тогда найдется система координат $z_1, ..., z_d, z_{d+1}, ..., z_n$
в окрестности 0, такая, что}\\
\phantom{А} 1.  $J_d=0$, где
$J_k:= \calo_k\cap J$. \\
\phantom{А} 2. {\бф \ред Идеал $J$ порожден набором 
полиномов Вейерштрасса \\ \phantom{АА} $P_i \in \calo_{i-1}[z_i]$, $i=d+1, ..., n$.} 


\замечание
Регулярная система координат $z_1, ..., z_d, z_{d+1}, ..., z_n$
для идеала может быть выбрана таким образом, что {\бф \пурпле
векторы $\frac d {dz_i}\restrict 0$
будут сколь угодно близки к любому заданному базису в $T_0 \C^n$.}

\невпаге

{\бф \блуе Конечные расширения (повторение)}


\следствие
Пусть $P_{d+1}, ..., P_{n}$ -- полиномы Вейерштрасса, построенные
в теореме о регулярной системе координат. 
{\бф \ред Тогда каждая голоморфная функция
$F\in \calo_n$ по модулю $P_{d+1}, ..., P_{n}$
равна линейной комбинации мономов от $z_{d+1}, ..., z_n$
степени меньше $(s_{d+1}, ..., s_n)$ с коэффициентами из $\calo_d$.}


\следствие
{\бф \блуе (Tеорема о конечности)}\\
Пусть $z_1, ..., z_n$ -- регулярная система координат для
идеала $J\subset \calo_n$,
а $\calo_d$ -- голоморфные функции, зависящие только от
$z_1, ..., z_d$. Тогда
{\бф \ред кольцо $\calo_n/J$ конечно порождено как $\calo_d$-модуль.}

\доказательство
Оно порождено конечным числом координатных мономов. \ендпрооф


\теорема
{\бф \блуе (теорема о примитивном элементе)}
Пусть $J\subset \calo_n$ -- простой идеал,
такой, что $\calo_n/J$ конечно порождено над $\calo_d$.
{\бф \ред Тогда для почти всех линейных
комбинаций $u=\sum_{i=d+1}^n \lambda_i z_i\in \calo_n/J$, 
функция $u$ порождает
поле частных $k(\calo_n/J)$ над полем частных $k(\calo_d)$.}

\доказательство
Следует из теоремы Артина о примитивном элементе,
примененной к $K=k(\calo_n/J)$.
\ендпрооф


\невпаге

{\бф \блуе Реализация ростка гиперповерхностью (повторение)}

\теорема
Пусть $J$ -- простой идеал в $\calo_n$, а $z_1, ..., z_d, ..., z_n$
регулярная система координат.
Рассмотрим отображение ${\goth u}:\; \C^n \arrow \C^{d+1}$,
заданное формулой $(z_1, ..., z_n) \stackrel{\goth u}\arrow (z_1, ..., z_d, 
u=\sum_{i=d+1}^n \lambda_i z_i)$.
{\бф \ред Оно задает голоморфное отображение из множества $Z$ общих нулей $J$ 
на гиперповерхность $Z_u\subset\C^{d+1}$}. К тому же, проекция $Z_u$
на первые $d$ координат конечна (то есть $Z_u$ есть
график многозначной функции), а на полях
частных ${\goth u}$ действует как изоморфизм
$k(\calo_n/J)\tilde \arrow k(\calo_{d+1}/(P_u))$.

{\бф\греен Доказательство. Шаг 1:}
Возьмем регулярную систему координат, и
рассмотрим проекцию $\Pi_d:\; Z \arrow \C^d$ на первые $d$
координат. Пусть $u=\sum_{i=d+1}^n \lambda_i z_i$ -- 
примитивный элемент, порождающий поле частных 
$k(\calo_n/J)$ над $k(\calo_d)$, а ${\cal P}_u(t)\in \calo_d[t]$ -- его
минимальный полином. Поскольку $u$ целый, ${\cal P}_u(t)$ унитарный
(имеет старшим коэффициентом 1). {\bf \purple Обозначим за $Z_u$ множество нулей
${\cal P}_u(t)$ в $(z_1, ..., z_d, t)$.}

{\бф \греен Шаг 2:}
 Отображение ${\goth u}:\; \C^n \arrow \C^{d+1}$,
$(z_1, ..., z_n) \stackrel{\goth u}\arrow \left(z_1, ..., z_d, 
u=\sum_{i=d+1}^n \lambda_i z_i\right)$ \\
{\бф \пурпле переводит
$Z$ в множество $Z_{u}$ общих нулей ${\cal P}_u(u)$. }
Действительно, если в точке $(z_1, ..., z_n)$ зануляются
все элементы $J$, то ${\cal P}_u(u)\in J$ тоже
зануляется в $(z_1, ..., z_n)$.

{\бф \греен Шаг 3:} Изоморфизм полей частных следует
из того, что $k(\calo_n/J)= k(\calo_{d}[t]/(P_u(t)))$
и теоремы Вейерштрасса о делении.
\ендпрооф


\невпаге

{\бф \блуе Теорема Гильберта о нулях (общая форма)}

\определение
Пусть $J$ -- идеал.
Определим {\бф \блуе радикал} $\sqrt J$ как пересечение
всех простых идеалов, содержащих $J$.

\упражнение
Докажите, что {\бф \пурпле $a\in \sqrt J$ тогда и только тогда, когда
$a^n \in J$ для какого-то $n>0$.}

\теорема {\bf \блуе (R\"uckert's Nullstellensatz)}\\
Пусть $J\subset \calo_n$ -- идеал,
а $Z_J$ множество общих нулей $J$. Тогда 
{\бф \ред $f$ зануляется на $Z_J$ тогда и только тогда,
когда $f\in \sqrt J$.}

{\бф \греен Доказательство. Шаг 1:}
В силу предыдущего упражнения, $Z_J=Z_{\sqrt J}$.

{\бф \греен Шаг 2:}
Пусть ${\goth P}$ -- множество простых идеалов,
содержащих $J$. В силу шага 1, имеем
 $Z_J =Z_{\sqrt J}=\bigcup_{J'\in \goth P}Z_{J'}$, так как
$\sqrt J= \bigcap_{J'\in \goth P}J'$.


{\бф \греен Шаг 3:} Если функция зануляется на
$Z_J$, она лежит во всех $Z_{J'}$, и в силу
``теоремы Гильберта о нулях для простых идеалов''
принадлежит $\bigcap_{J'\in \goth P} J'$. \ендпрооф

{\green \it Walther R\"uckert,
  "Zum Eliminationsproblem der Potenzreihenideale", Math.
Ann. 107 (1932), p. 259-281.}


\невпаге

{\бф \блуе Неособые точки и размерность (повторение)}

\определение
Пусть $Z\subset \C^n$ -- комплексно-аналитическое
подмножество. Назовем точку $z\in Z$ {\бф \блуе гладкой},
если в окрестности $z$, $Z$ -- гладкое подмногообразие,
и {\бф \блуе особой} в противном случае

\теорема
Пусть $Z\subset \C^n$ -- комплексно-аналитическое
подмножество, а $Z_{sing}\subset Z$ -- множество
особых точек $Z$. {\бф \ред Тогда $Z_{sing}$ --
комплексно-аналитическое подмножество,
а его дополнение плотно и открыто в $Z$.}

\определение
Определим {\бф \блуе размерность} ростка неприводимого комплексного
множества как размерность его множества неособых точек.

\замечание Через пару лекций будет доказана такая теорема.
{\бф \ред Пусть $M$ неприводимо, а $Z\subsetneq M$ -- собственное подмногообразие.
Тогда $M\backslash Z$ связно}.

\упражнение 
Выведите из этого, 
что {\бф \пурпле размерность неприводимого подмногообразия постоянна.}

\невпаге

{\бф \блуе Свойства размерности (повторение)}

\утверждение
    Пусть $\phi:\; X \arrow X_1$
      конечно и доминантно. {\бф \ред Тогда $\dim X=\dim X_1$.}

\определение
Многообразие называется {\бф \блуе равноразмерным}, если
размерность всех его неприводимых компонент одинакова.

\теорема
Пусть $Z$ -- росток неприводимого многообразия,
а $Z_f\subset Z$ -- росток дивизора нулей какой-то функции $f$.
{\бф \ред Тогда $\dim Z_f= \dim Z-1$.}

\следствие
{\bf \red Если $X \subset Y$ комплексно-аналитические множества,
то $\dim X \leq Y$}

\следствие
{\бф \ред $\dim X > \dim X_{\sing}$.}

\замечание
Пусть $\delta$ -- $\Z^{\geq 0}$-значная
функция на неприводимых многообразиях, которая 
удовлетворяет $\delta(Z)= \delta(Z_f)+1$ и $\delta(Z)=0$
когда $Z$ -- объединение точек. Тогда $\delta=\dim$.
Иначе говоря, {\бф \пурпле размерность можно определить
аксиоматически}.

\невпаге

{\бф \блуе ``Принцип максимума''}

\теорема {\бф \блуе (``Принцип максимума для голоморфных функций'')}
Пусть $f$ -- голоморфная функция на компактном, неприводимом
комплексном многообразии $Z$, причем $|f|$ достигает
максимума в какой-то точке $Z$. {\бф \ред Тогда  $f$ постоянна.}

Немедленно вытекает из следующего утверждения.

\утверждение
Пусть $f$ -- непостоянная голоморфная функция на неприводимом
комплексном многообразии $Z$. {\бф \ред Тогда $f$ открыто,}
то есть переводит открытые множества в открытые.

\доказательство
Пусть $x \in Z$.
Воспользовавшись регулярными координатами, найдем
неприводимый росток гладкой кривой $C\arrow Z_x$, на которой $f$
непостоянно. {\bf \purple Тогда $f\restrict C$ содержит окрестность $f(x)$.}
\ендпрооф

\следствие
Пусть $Z\subset \C^n$ -- компактное комплексное
подмногообразие. {\бф \ред Тогда $Z$ -- конечное множество.}

\доказательство
Голоморфные функции разделяют точки $Z$. \ендпрооф



\невпаге

{\бф \блуе Теорема о постоянном ранге}


\теорема {\бф \блуе ("теорема о постоянном ранге")}
Пусть $F:\; X \arrow Y$ -- голоморфное отображение,
причем $X$ гладко, а ранг $\rk F:= \dim \im dF$ постоянный. Тогда {\bf \red у каждой
точки $x\in X$ есть окрестность $U\ni x$, такая, что $F(U)$ -
гладкое многообразие размерности $\rk F$, а слои $F^{-1}(z)$ --
гладкие подмногообразия размерности $\ker dF$.}

\дшаг
Если $\rk F=\dim X$ в $x\in X$, то $F$  задает гладкое вложение
окрестности $x$ в $Y$, по теореме о неявной функции.

{\бф \греен Шаг 2:} Если же $\rk F=k$,
заменим $Y$ на $Y\times \C^k$, а $F$ на $F\times f$, где
$f:\; X \arrow \C^k$ выбрано таким образом, что
ранк $F\times f$ равен $\dim X$. Затем применим к $F\times f$ 
утверждение шага 1. \ендпрооф


\невпаге

{\бф \блуе Отображения с конечными слоями}


\лемма
Пусть $F:\; X \arrow Y$ -- голоморфное отображение
комплексных многообразий, которое 
собственно и имеет конечные слои. {\бф \ред Тогда
$\dim X \leq \dim Y$.}

\доказательство
Воспользовавшись теоремой о конечности,
найдем конечное отображение из $Y$ в диск $D$ той же размерности.
Заменив $Y$ на $D$, можно считать, что $Y$ это диск.
Пусть $x\in X$ -- гладкая точка, в которой $dF$ имеет
максимальный ранг. 
Тогда {\бф \пурпле слой $F$ в $x$ имеет ту же размерность,
что и $\ker dF\restrict x$, по теореме об обратной функции.} 
Следовательно, $\ker dF=0$. \ендпрооф


{\бф \греен Лемма 1:}
Пусть $Z\subset \C^n$ -- подмногообразие, которое пересекается
с каким-то $k$-мерным подпространством $V \subset \C^n$ 
по непустому комплексно-аналитическому
пространству размерности 0. {\бф \ред Тогда $\dim Z \leq n-k$.}

\доказательство Используя индукцию и теорему
о размерности дивизора, мы получаем, что
$\dim (Z\cap V) \geq \dim Z - \codim V$.
\ендпрооф


\невпаге

{\бф \блуе Отображения с конечными слоями (продолжение)}

(*) \утверждение
Пусть $F:\; \C^n \arrow \C^m$ -- субмерсивное
голоморфное отображение, сохраняющее 0, 
а $Z\subset \C^n$ -- росток
комплексно-аналитического подмножества в нуле, такой, что
$F^{-1}(0)\cap Z=0$. {\бф \red Тогда $F$ собственно в окрестности нуля и
имеет конечные слои.}

\доказательство
Произведя локальную 
замену координат, можно считать, что $F$ есть линейная проекция. 
Возьмем окрестность 0 в $\C^n$ в виде полидиска
$D \times D'$, где $F$ проектирует $D \times D'$
на $D'$ вдоль $D$. Выбрав $D'$ достаточно маленьким,
можно считать, что $Z\cap \6 D \times D'=\emptyset$.
Действительно, $Z \cap \6 D\times D'$ замкнуто, 
а его пересечение с $F^{-1}(0)$ пусто. Поскольку слой
$F^{-1}(t) \cap Z$ -- замкнутое подмножество,
не пересекающее границы диска, оно компактно в $D\times \{t\}$. 
Из этого следует, что 
$F\restrict {Z\cap  D \times D'}:\;Z\cap  D \times D\arrow D'$ --
собственное отображение. {\bf \purple Конечность слоев 
$F\restrict {Z\cap  D \times D'}$
следует из принципа максимума} (компактное
подмногообразие диска конечно). \endproof


\невпаге

{\бф \блуе Ранг Реммерта}


\определение
Пусть $F:\; X \arrow Y$ -- голоморфное отображение
комплексных многообразий. Определим {\бф \блуе ранг Реммерта $F$ в $x$}
 как $\rk_x F:=\dim (X,x) - \dim (F^{-1}(F(x)),x)$.

{\бф \греен Теорема 1:}
{\бф \ред Ранг $\rk_x F$ полунепрерывен сверху как функция $x$}.


\дшаг
Пусть $F:\; (X,x) \arrow (Y,y)$ -- росток голоморфного
отображения, причем $F^{-1}(y)$ имеет размерность $k$.
Будем считать, что $(X,x)$ вложено в $(\C^n,0)$.
Рассмотрим общее подпространство $V\subset \C^n$ размерности
$n-k$, которое проходит через $x$ и пересекается с $F^{-1}(y)$ по конечному
множеству. {\бф \пурпле Тогда $F\restrict V\cap X$ имеет
конечные слои в некоторой
окрестности $x$, в силу  Утверждения (*), поэтому $F^{-1}(F(x'))$
пересекается с $V$ по конечному множеству для
любого $x'$ в окрестности $x$.} 

{\бф \греен Шаг 2:}
Из Леммы 1 получаем, что: $\dim (F^{-1}(F(x'))\cap V)=0$ влечет
$\dim F^{-1}(F(x')\leq k$. 
Следовательно, $\dim F^{-1}(F(x'))\leq  \dim (F^{-1}(F(x)),x)$.
\endproof


\невпаге

{\бф \блуе Теорема Реммерта о ранге}

\теорема
Пусть $F:\; X \arrow Y$ -- морфизм 
комплексных многообразий, причем 
$k = \sup_{x\in X} \rk_x F.$
{\bf \red Тогда $\im F$ лежит в объединение
комплексных многообразий размерности $\leq k$,
одно из которых $k$-мерно.}

\дшаг Воспользовавшись индукцией, можно считать, что
теорема Реммерта справедлива для любого отображения
$F_1:\; X_1 \arrow Y_1$, для которого $\dim X_1 < \dim X$.

{\бф \греен Шаг 2:} 
Ранг Реммерта $\rk(F, x)$ полунепрерывен по $x$, и 
достигает максимума на открытом, плотном множестве. По теореме
о постоянном ранге, $F$ есть гладкая субмерсия
на множестве $X_0$ гладких точек $x\in X$, на которых $\rk d
F\restrict{T_x X}$ максимален. По теореме о постоянном
ранге $F(X_0)$ есть комплексное 
многообразие размерности $k$.


{\бф \греен Шаг 3:} Дополнение $A:=X \backslash X_0$ 
комплексно-аналитично и имеет размерность
меньше, чем $\dim X$. По предположению индукции,
теорема Реммерта справедлива для $A$. Значит,
$F(A)$ лежит в многообразии размерности $\leq k$.
\endproof


\следствие {\бф \блуе ("теорема Реммерта о ранге")}
Пусть $F:\; X \arrow Y$ -- голоморфное, сюрьективное
отображение комплексных многообразий. {\bf \red Тогда
$\dim Y = \sup_{x\in X} \rk_x F.$}
\ендпрооф

\невпаге

\begin{center}
\epsfig{file=Remmert-OW-1983.jpg,width=0.80\linewidth}\\[10mm]
{ \it \small\green 
Reinhold Remmert (22 June 1930 - 9 March 2016)\\
August 1983, Oberwolfach, photo by Paul Halmos.
} 
\end{center}

\невпаге

{\бф \блуе Теорема Реммерта и Реммерта-Штейна (схема доказательства)}

\определение
{\бф \блуе Собственное отображение} есть такое отображение,
что прообраз любого компакта компактен.

\теорема {\бф \блуе ("Теорема Реммерта-Штейна")}
Пусть $X$ -- комплексное многообразие, 
$A\subset X$ -- комплексно-аналитическое
подмножество, а $Z$ -- неприводимое 
комплексно-аналитическое подмножество
в $X\backslash A$. Предположим, что 
$\dim Z> \dim A$. {\бф \ред Тогда замыкание $\bar Z$
комплексно-аналитично в $X$.}

\теорема {\бф \блуе ("Теорема Реммерта о собственном отображении")}
Пусть $F:\; X \arrow Y$ -- собственный морфизм
комплексных многообразий. {\бф \ред Тогда $F(X)$ комплексно-аналитично
в $Y$.}

Доказательство этих теорем ведется индуктивно.\\
{\бф \блуе (РШ$_m$):}  утверждение теоремы Реммерта-Штейна
верно для  $\dim X\leq m$.\\
{\бф \блуе (Р$_m$):} утверждение теоремы Реммерта
верно для  $\dim X\leq m$.

Мы доказываем два утверждения:

{\бф \греен А.} (РШ$_m$) и (Р$_{m-1}$) влечет
(Р$_m$). \\
{\бф \греен Б.} (Р$_{m-1}$) влечет (РШ$_m$).

\невпаге

\begin{center}
\epsfig{file=Karl_Stein.jpeg,width=0.30\linewidth}\\[10mm]
{ \it \small\green 
Karl Stein (1913-2000) \\
Eichst\"att, 1968
} 
\end{center}

\невпаге

{\бф \блуе Теорема Реммерта и Реммерта-Штейна: утверждение А.}

{\бф \греен Доказательство импликации А:
(РШ$_m$) и (Р$_{m-1}$) $\Rightarrow$ (Р$_m$):}

{\бф \греен Шаг 1:}
Пусть $X_1$ -- множество всех точек $x\in X$, где ранг Реммерта $\rk_x(F)$ не максимальный,
а $X':= X \backslash (X_\sing\cup X_1)$.
По теореме о постоянном ранге, 
{\бф \пурпле $F(X')$ аналитическое в окрестности каждой точки, которая
не принадлежит $F(X_1) \cup F(X_\sing)$.}

{\бф \греен Шаг 2:} Воспользовавшись (Р$_{m-1}$),
можно считать, что {\бф \пурпле $F(X_1)$ и $F(X_\sing)$ комплексно-аналитические.}

{\бф \греен Шаг 3:} По теореме Реммерта о ранге,
\begin{multline*} 
  \dim F(X_\sing) = \sup_{x\in X_\sing} \rk (F\restrict {X_\sing},x)=\\
  \dim X_\sing - \inf_{x\in X_\sing } \dim F^{-1}(F(x)) < 
  \rk\sup_{x\in X} \rk (F,x)= \dim F(X').
\end{multline*}
Аналогично, $\dim F(X_1) = \sup_{x\in X_1} 
\rk (F\restrict {X_1},x)< \sup_{x\in X}\rk (F,x)=\dim F(X')$.

{\бф \греен Шаг 4:} Теперь утверждение А
{\бф \пурпле 
получается применением РШ$_{m}$ к $Z=F(X')$ и $A=F(X_1) \cup F(X_\sing)$.}

{\бф \греен Утверждение Б: (Р$_{m-1}$) влечет (РШ$_m$), 
следующая лекция.}


\end{document}
