Что-то у меня неправдоподобно сильное утверждение получается. Ну, посмотрим.
Пусть B -- нетерова (для простоты) квазикогерентная CDG-алгебра над нетеровой отделимой схемой X с достаточным числом векторных расслоений. Тогда естественный функтор из абсолютной производной категории плоских когерентных CDG-модулей над B в абсолютную производную категорию произвольных когерентных CDG-модулей -- вполне строгий.
Мы покажем, что любой морфизм из плоского когерентного CDG-модуля F в абсолютно ацикличный когерентный CDG-модуль A в гомотопической категории CDG-модулей факторизуется через CDG-модуль, абсолютно ацикличный по отношению к категории плоских CDG-модулей. CDG-модуль A можно считать полученным из тотализаций точных троек когерентных CDG-модулей с помощью итерирования операции конуса замкнутого морфизма. Доказательство проводится индукцией по числу операций взятия конуса в таком итеративном процессе. Таким образом, мы предполагаем, что имеется выделенный треугольник B → A → C → в гомотопической категории CDG-модулей, где C -- тотализация точной тройки CDG-модулей X → Y → Z, а абсолютно ацикличный CDG-модуль B обладает нужным нам свойством по отношению ко всем плоским CDG-модулям P.
Замкнутый морфизм из какого-то CDG-модуля P в тотализацию точной тройки X → Y → Z -- это набор (не обязательно замкнутых) морфизмов из X в (соответствующие сдвиги) CDG-модулей X, Y, Z. Замкнутость этого морфизма выражается тройкой линейных уравнений, куда входят дифференциалы компонент и их композиции с морфизмами между X, Y, и Z. Чтобы стянуть такой замкнутый морфизм, (не необходимо, но) достаточно поднять его компоненту P → Z до (не обязательно замкнутого) морфизма P → Y.
Пусть Q -- плоский градуированный B-модуль, сюръективно отображающийся на расслоенное произведение F и Y над Z, так что отображение Q → F тоже сюрьективно и композицию Q → F → Z можно поднять до отображения Q → Y. CDG-модуль G+(Q), свободно порожденный градуированным модулем Q, тоже отображается в F, и соответственно в Y. Соотношение между компонентами F → Y и F → Z нашего замкнутого морфизма F → C позволяет естественным образом продолжить поднятие Q → Y морфизма Q → Z до поднятия G+(Q) → Y морфизма G+(Q) → Z.
Пусть P -- ядро морфизма G+(Q) → F; тогда из конуса R морфизма P → G+(Q) имеется замкнутый морфизм в F с конусом, абсолютно ацикличным по отношению к категории плоских CDG-модулей. Отображение R → Z факторизуется через G+(Q), и следовательно, поднимается до отображения в Y. Таким образом, композиция R → F → A → C стягиваема, и следовательно, композиция R → F → A факторизуется через B в гомотопической категории. Дальше -- индукция.
Пусть B -- нетерова (для простоты) квазикогерентная CDG-алгебра над нетеровой отделимой схемой X с достаточным числом векторных расслоений. Тогда естественный функтор из абсолютной производной категории плоских когерентных CDG-модулей над B в абсолютную производную категорию произвольных когерентных CDG-модулей -- вполне строгий.
Мы покажем, что любой морфизм из плоского когерентного CDG-модуля F в абсолютно ацикличный когерентный CDG-модуль A в гомотопической категории CDG-модулей факторизуется через CDG-модуль, абсолютно ацикличный по отношению к категории плоских CDG-модулей. CDG-модуль A можно считать полученным из тотализаций точных троек когерентных CDG-модулей с помощью итерирования операции конуса замкнутого морфизма. Доказательство проводится индукцией по числу операций взятия конуса в таком итеративном процессе. Таким образом, мы предполагаем, что имеется выделенный треугольник B → A → C → в гомотопической категории CDG-модулей, где C -- тотализация точной тройки CDG-модулей X → Y → Z, а абсолютно ацикличный CDG-модуль B обладает нужным нам свойством по отношению ко всем плоским CDG-модулям P.
Замкнутый морфизм из какого-то CDG-модуля P в тотализацию точной тройки X → Y → Z -- это набор (не обязательно замкнутых) морфизмов из X в (соответствующие сдвиги) CDG-модулей X, Y, Z. Замкнутость этого морфизма выражается тройкой линейных уравнений, куда входят дифференциалы компонент и их композиции с морфизмами между X, Y, и Z. Чтобы стянуть такой замкнутый морфизм, (не необходимо, но) достаточно поднять его компоненту P → Z до (не обязательно замкнутого) морфизма P → Y.
Пусть Q -- плоский градуированный B-модуль, сюръективно отображающийся на расслоенное произведение F и Y над Z, так что отображение Q → F тоже сюрьективно и композицию Q → F → Z можно поднять до отображения Q → Y. CDG-модуль G+(Q), свободно порожденный градуированным модулем Q, тоже отображается в F, и соответственно в Y. Соотношение между компонентами F → Y и F → Z нашего замкнутого морфизма F → C позволяет естественным образом продолжить поднятие Q → Y морфизма Q → Z до поднятия G+(Q) → Y морфизма G+(Q) → Z.
Пусть P -- ядро морфизма G+(Q) → F; тогда из конуса R морфизма P → G+(Q) имеется замкнутый морфизм в F с конусом, абсолютно ацикличным по отношению к категории плоских CDG-модулей. Отображение R → Z факторизуется через G+(Q), и следовательно, поднимается до отображения в Y. Таким образом, композиция R → F → A → C стягиваема, и следовательно, композиция R → F → A факторизуется через B в гомотопической категории. Дальше -- индукция.
средняя стоимость ремонта квартиры ремонт квартир под
Date: 2011-07-12 02:45 am (UTC)Однако наша компания является приятным исключением из этого неприятного правила. Мы вот уже долгое время занимается улучшением офисов, квартир, загородных домов и еще ни разу нам не поступало от наших клиентов ни неприятных отзывов, ни каких-либо жалоб. [url=http://remroom.ru]качественный ремонт квартир[/url] Богатый опыт наших специалистов, а также высокий профессионализм всех без исключения наших работников, поможет сделать хорошо, качественно и – главное - доступно как косметический, так и капитальный ремонт. [url=http://remroom.ru]черновая отделка квартиры[/url] Современное оборудование, новые технологии планировки и дизайна, а также индивидуальный подход к каждому клиенту и гибкая система скидок сделали нашу компанию самой успешной на сегодня компанией, оказывающей услуги улучшению и отделке помещений, квартир или домов. [url=http://remroom.ru]отделка квартиры[/url]
Привет юзеры posic.livejournal.com
Date: 2011-07-13 04:49 pm (UTC)Найдено [url=http://1gav.com/pornokanal/]здесь[/url]
Привет пользователи posic.livejournal.com
Date: 2011-07-16 10:59 pm (UTC)Взято с [url=http://xxxrutube.com]источника[/url]
Предлагаю собирать афоризмы коллективно
Date: 2011-07-22 10:09 pm (UTC)Я думала, что моя карьера идет в гору, а сегодня моя начальница назвала меня Ракель! А к концу дня курьеры стали звать меня Рокки!
[url=http://www.ecopress.by/poleznoe/otnosheniya_rossii_i_ssha_2.htm]найдено [/url]
Предлагаю писать цитаты сообща
Date: 2011-08-02 03:30 am (UTC)Женщины — это лакмусовые бумажки джентльменов. Они проявляют в них все самое лучшее или все самое "скрытое. Рядом с дамой своего сердца мужчина готов бриться чаще, приносить деньги в семью и поздравлять тещу на день рождения.
http://www.kkyba.org/forums/member.php?62744-Immowlelf
Выкладывайте демотиваторы дня
Date: 2011-08-14 04:10 pm (UTC)_________________
Мода в целом является фарсом. Люди, стоящие за ней извращенной, создающие пугающий людей стиль, это только натуральные чудаки. Я знаю это, потому что я работала со всеми ними, когда была моделью.
Создаем де мотиваторы дня
Date: 2011-08-17 10:43 am (UTC)_________________
Мои критерии женской красоты просты. Это как при покупке лошади: мне не нравятся тонкие шеи и короткие ноги. ТАНЕЦ ЖИВОТНЕ