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