Главная » Просмотр файлов » Диссертация

Диссертация (1137470), страница 16

Файл №1137470 Диссертация (Расслоения Гротендика и гомотопическая алгебра) 16 страницаДиссертация (1137470) страница 162019-05-20СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 16)

Тогда есть естественный изоморфизм C C ∼= C FΠ функто­ров T( ) → Cop .′[][]Доказательство. Значение FΠ ((c[] , d[] ← d[] )) равно диаграмме 00...-- 0......?......?...? 0?...-- которую можно перерисовать как00-...- 0∼=...∼=...?......?∼=...0∼=??-...- так что все горизонтальные ряды изоморфны 0 → ...

→ в когерентном смысле. Значение[]′[]C ((c[] , d[] ← d[] )) равно 0 → ... → . В частности, после проекции в Cop , можновидеть, что ∼= естественным образом.Следствие 4.2.3. Пусть E → C — модельное опрасслоение и E → CΠ — индуцированноемодельное сигалово опрасслоение. Тогда имеем естественную эквивалентность (C )* E ∼=(FΠ )* E.Примем соглашение, что F без индекса обозначает Δ-индексированный функтор, и мыизучаем функтор обратного образа F* : DSect(C, E) → DSect(D, E).

Можно нарисовать следу­ющую диаграмму,DDΔ −→DΠ ←−T( ) −→CΔ .(4.2.1 )88Соответственно, получаем следующую последовательность функторов*D,*,!Sect(DΔ , E) −→ Sect(DΠ , E) −→Sect(T( ), E) −→ Sect(CΔ , E).Мы утверждаем, что композиция производных функторов,hF! := L,! ∘ h* ∘ RD,* ,даёт искомый функтор прямого образа, который становится эквивалентностью на локальнопостоянных производных сечениях.Лемма 4.2.4. Пусть — -локально постоянное производное сечение над D (Определение4.0.9). Тогда * RD,* — -локально постоянное сигалово сечение (Определение 4.1.30) накатегории T( ) башни : T( ) → C.Доказательство. Предложение 4.1.19 утверждает, что ограничение RD,* на DΔ×Δ —F-локально постоянно для подкатегории F морфизмов D, которые послойны по отношению к .

Композиция T( ) →TΔ×Δ ( ) → DΔ×Δ → DΠ равна , потому мы видим, что * RD,* — -локально постоянно, как и требовалось.Лемма 4.2.5. Пусть — резольвента, тогда hF! : Ho Sect(DΔ , E) → Ho Sect(CΔ , E) перево­дит -локально постоянные производные сечения над D в производные сечения над C.Доказательство. Следствие Леммы 4.2.4 и Предложения 4.1.31.Рассмотрим для начала тождественный функтор C и его башни, ¯C : FΔ×Δ (C ) →CΔ и C : F(C ) → CΔ .

Чтобы упростить происходящее, переопределим FΔ×Δ (C ) как[]категорию объектов c[] ∈ CΔ×Δ таких что F(c[] ) = F(c[] ) для всех , , с тождественнымивертикальными отображениями. Модифицируем F(C ) соответствующим образом.Лемма 4.2.6. Пусть E → C — модельное опрасслоение. Тогда существует естественноепреобразование *C → *C RC,* функторов из Ho PSect(C, E) в Ho Sect(T(C ), E). Это есте­ственное преобразование — изоморфизм, будучи ограниченным на производные сечения.Мы часто будем писать C вместо C .Доказательство. Построим отображение ¯*C → ¯*C RC,* для сечений полной симплициальнойбашни Sect(TΔ×Δ (C ), E), и затем возьмём композицию с функторомC* : Sect(TΔ×Δ (C ), E) → Sect(T(C ), E),89помня о том, что C* ¯*C = *C и C* ¯*C = *C .Заметим, что ¯C : TΔ×Δ (C ) → C — (постоянное) опрасслоение, допускающее выделен­ное сечение C : C → TΔ×Δ (C ), которое посылает c[] в ту же самую диаграмму, сконцентри­[]рованную в нуле в вертикальном направлении; таким образом, C ¯C (c[] ) = c0[] ∈ TΔ×Δ (C ).Тогда мы имеем равенство C = ¯C C .Оба функтора ¯C и C позволяют брать обратный образ сечений вдоль них, индуцируясопряжённую пару¯*C : Sect(C, E) Sect(TΔ×Δ (C ), E) : *C .а потому имеем отображение коединицы ¯*C *C → для всякого над TΔ×Δ (C ).

В ком­[]понентах, это отображение имеет вид (c0[] ) → (c[] ), что в конечном счёте отвечает отоб­ражению из 0-части симплициального объекта в весь объект. Это отображение — слабаяэквивалентность, если — обратный образ вдоль ¯ сигалова сечения на CΠ .Подставим теперь = ¯*C C,* для ∈ Sect(C, E) и получим¯*C C,* ←− ¯*C *C ¯*C C,* ∼= ¯*C C* C,* ∼= ¯*C ,(4.2.2 )где мы также помним, что C* C,* ∼= , поскольку C,* строго полон (Предложение 4.1.14).Заметим, что если — фибрантное производное сечение над C, то самое левое отображе­ние в (4.2.2 ) — слабая эквивалентность, поскольку C,* переводит фибрантные производныесечения в сигаловы сечения над CΠ .Наконец, применим * и получим искомое отображение *C → *C C,* , являющееся экви­валентностью на фибрантных производных сечениях.

Взятие фибрантных замен в исходнойкатегории заканчивает доказательство.Обозначим через : T( ) → T(C ) функтор, индуцированный отображением объекта′[]′[]′′[](c[] , d[] ← d[] ) в c[] ← c[] с каждым c′[] = c′′[] = c[] и тождественными вертикальными[]стрелками. Этот функтор коммутирует с проекциями в C, C = .Следствие 4.2.7. Пусть E → C — модельное опрасслоение и : D → C — функтор.Рассмотрим диаграмму (4.2.1). Тогда существует естественный изоморфизм функторовR* ∼= * RD,* hF*где hF* — функтор обратного образа.Доказательство.

Заметим, что FΠ = C и что C = . Поскольку мы ограниченыдо производных сечений, Предложение 4.1.14 и предыдущая Лемма 4.2.6 дают следующую90цепочку эквивалентностей на фибрантных сечениях:* RD,* F* ∼= * F*Π RC,* ∼= * *C RC,* ∼= * *C ∼= R* ,— а при взятии производных мы также берём и фибрантную замену.Выделенное сечение C Леммы 4.2.6 допускает обобщение. С функтором : D → C мысвязываем как симплициальную замену F : DΔ → CΔ — дискретное расслоение со слоями,обозначаемыми D0 (c), — и его башню T( ) → CΔ , а связаны они следующим образом.Лемма 4.2.8.

Существует функтор : DΔ → T( ), такой что = F и = D :DΔ → DΠ .Доказательство. Отображение отправляет d[] , F(d[] ) = c[] , в d[] ←− d[] над объектом[0] ˓→ [0] категории K.Предложение 4.2.9. Пусть E → C — модельное опрасслоение и : D → C — резоль­вента. Предположим, что сопряжённая пара L,! ⊣ R* сохраняет сигаловы сечения иявляется строго полным сопряжением при ограничении на них. Тогда функторы hF* иhF! = L,! * RD,* сопряжены,hF! : Ho DSect(D, E) Ho DSect(C, E) : hF*так что вдобавок hF* строго полон.Доказательство. Забывая про h, соберём тождества, необходимые для доказательства:R* ∼= * RD,* F* , F* ∼= * R* , * * ∼= LD* ,— а также необходимые сопряжённые пары,∼L,! ⊣ R* , L,! R* → ,∼LD* ⊣ RD,* , LD* RD,* → ,Для построения коединицы, заметим, чтоF! F* = L,! * RD,* F* ∼= L,! R* ∼= .Для построения единицы, заметим, чтоF* F! = F* L,! * RD,* ∼= * R* L,! * RD,* ← * * RD,* ∼= LD* RD,* ∼= .(4.2.3 )91Таким образом, (ко)единица происходит из таковой для L,! ⊣ R* .

Мы докажем треуголь­ные тождества и увидим, что F* автоматически будет строго полным. Записывая композициюF* → F* F! F* → F* ,F* → F* F! F* = F* L,! * RD,* F* ∼= F* ,= F* L,! R* ∼мы видим, что достаточно проверить, что F* → F* F! F* — изоморфизм. Однако, из (4.2.3 )мы видим, что это эквивалентно тому, что отображение* RD,* F* ∼= R* → R* L,! R*— изоморфизм, а это действительно так, поскольку R* строго полон.Другое треугольное тождество, F! → F! F* F! → F! , можно разобрать подобным же обра­зом, и мы видим, что нужно проверить, чтоL,! * RD,* → L,! * RD,* F* L,! * RD,* ∼= L,! R* L,! * RD,*— изоморфизм.

Однако, это отображение получается применением L,! → L,! R* L,!к * RD,* . Отображение L,! → L,! R* L,! является, в свою очередь, изоморфизмом,потому что R* строго полон.Предложение 4.2.10. Пусть E → C — модельное опрасслоение и : D → C — резольвен­та. Тогда функторы hF* и hF! = L,! * RD,* — сопряжённая эквивалентность:∼hF! : Ho DSect * (C) (D, E) Ho DSect(C, E) : hF* .Доказательство.

Можно дословно повторить вычисления из Предложения 4.2.9, теперьработая с -локально постоянными производными сечениями и -локально постояннымисигаловыми сечениями на башне. Как мы видели, как единица, так и коединица индуциру­ются с одноимённых отображений для L,! и R* . Последние — эквивалентность, а потомуто же верно и про hF! и hF* .Наконец,Теорема 4.2.11. Пусть : D → C — резольвента, S ⊂ C — изо-подкатегория, а E → C —модельное опрасслоение. Тогда имеет место быть эквивалентность категорий:∼hF! : Ho DSect * S (D, E) Ho DSectS (C, E) : hF* .92Доказательство.Покажем для начала, что эквивалентность Предложения 4.1.31 даёт нам функторL,! : Ho SectS S (T( ), E) → Ho DSectS (C, E).*Здесь SectS S (T( ), E) — подкатегория тех сигаловых сечений : T( ) → E которые пере­*водят в слабую эквивалентность всякое отображение : → башни T( ), чей образ DΔ×Δ— * S-стирающий (Определение 4.1.17).Пусть : c[] → c′[] — анти-сигалов морфизм с −1 → принадлежащими к S для1 ≤ ≤ − .

Поскольку функтор — резольвента, мы видим, что в Ho E(c[] ), значение[]′[]L,! (c[] ) ∼= ((c[] , d[] ← d[] ))[]′[]для некоторого d[] ← d[] в T( ) над c[] . Образ L,! () тогда изоморфен (в катего­рии морфизмов Ho E(c[] )) морфизму () → (! ), где → ! — опдекартов мор­физм в опрасслоении T( ) → C. Можно проверить, что образ → ! в DΔ×Δ является[] * S-стирающим.

Это происходит потому, что всякий объект d[] над c[] имеет вертикаль­ные отображения, которые отправляются в (C); также, для всякого значения и для1 ≤ ≤ −, отображение −1 → принадлежит к * S. Тогда отображение () → (! )— слабая эквивалентность по предположению. То есть, L,! действительно попадает вHo DSectS (C, E), как и хотелось.Наконец, пусть — * S-локально постоянное производное сечение над D. Его расши­рение на башню , вычисляемое как * RD,* , принадлежит категории Ho SectS S (T( ), E).*Это — следствие Предложения 4.1.19 и того факта, что композиция T( ) → TΔ×Δ ( ) →DΔ×Δ → DΠ равна .

Всё это говорит нам о том, что эквивалентность категорий можноограничить желаемым образом.Следствие 4.2.12. Пусть : D → C — эквивалентность категорий. Тогдаh * : Ho DSect(C, E) → Ho DSect(D, E)— эквивалентность.Доказательство. — резольвента, и, вдобавок, * ((C)) = (D).4.3. Резольвенты факторизационных категорийДопустим, что дан факторизационный функтор : D → C, который является резоль­вентой при ограничении на правые классы. В этой секции мы покажем, что в некоторых93случаях (выполненных в наших примерах) функтор F* — эквивалентность на производныхсечениях, которые локально постоянны вдоль L ⊂ C и её прообраза.Напомним, что Γ обозначает категорию конечных множеств.

Обозначим через ⊂ Γopкатегорию, противоположную к категории конечных множеств и инъективных отображений.Определение 4.3.1. Пусть C — категория. Её сплетённое произведение C ≀ — категория∙ с объектами, даваемыми парами из ∈ и семейства { }∈ объектов ∈ C∙ морфизмами из (, { }∈ ) в (, {′ }∈ ), даваемыми парами (, { }∈ ), где ← —морфизм в и : () → ′ — семейство отображений в C.Естественный функторC ≀ → , (, { }∈ ) ↦→ , — опрасслоение. Слой над — про­изведение C из || копий C. Имеем функтор тавтологического вложения : C → C ≀ с() = (1, {}) для одноэлементного множества 1.Лемма 4.3.2. Для всякого модельного опрасслоения : E → C, его сплетённое произведение ≀ : E ≀ → C ≀ — модельное опрасслоение, чьё ограничение вдоль : C → C ≀ изоморфно .Доказательство.

Характеристики

Тип файла
PDF-файл
Размер
836,6 Kb
Высшее учебное заведение

Список файлов диссертации

Свежие статьи
Популярно сейчас
Почему делать на заказ в разы дороже, чем купить готовую учебную работу на СтудИзбе? Наши учебные работы продаются каждый год, тогда как большинство заказов выполняются с нуля. Найдите подходящий учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6390
Авторов
на СтудИзбе
307
Средний доход
с одного платного файла
Обучение Подробнее