✨ Группа Схема. Большой концерт в честь юбилея Виктора Цоя в Сочи, 18.07.2022 – информация о мероприятии
Рок-клуб Крылья
Россия, Краснодарский край, Сочи, Виноградная улица, 20А
UntitledCreated with Sketch.Электронный билет:
После оплаты на email
UntitledCreated with Sketch.Методы оплаты:
Visa, Mastercard, МИР
Untitled 2Created with Sketch.Тип билета:
Бумажные и электронные.
Возраст:
18+
Группа Схема. Большой концерт в честь юбилея Виктора Цоя
Группа Схема. Большой концерт в честь юбилея Виктора Цоя
Рок-клуб Крылья
Мероприятие относится к категории «рок» и состоится 18 июля в Рок-клубе Крылья.
На этой странице представлена афиша мероприятия. Продажа билетов онлайн на нашем официальном сайте осуществляется без посредников. Зачастую это единственная возможность достать билет на концерт.
Концерты рок-групп часто проходят в Сочи. Музыка этого жанра отличается лиричностью, гитарными партиями, выраженным звучанием ударных и вокалом рок-певцов.
Многие рок-хиты вошли в золотую коллекцию мировой музыки. Музыканты продолжают радовать своих поклонников новыми композициями, выпуская альбомы и синглы.
Если вы соскучились по старому доброму року, вам стоит сходить на это мероприятие, чтобы услышать кое-что из уже полюбившегося и познакомиться с новыми работами.
Билеты на Большой концерт в честь юбилея Виктора Цоя. Группа Схема
Portalbilet – удобный и надежный сервис для покупки и продажи билетов на мероприятия разного формата. Среднее время на покупку билета здесь начиная с выбора места завершая оформлением его в зрительном зале на ваше имя занимает не более двух минут.
Билеты на Большой концерт в честь юбилея Виктора Цоя. Группа Схема пользуются большой популярностью у зрителей. Спешите купить их, пока они есть в наличии.
Полезные ссылки
Подробнее о том, как вернуть, сдать или продать билет читайте в разделах:
- Продать билет
- Брокерам
- Организаторам
Рок-клуб Крылья
Россия, Краснодарский край, Сочи, Виноградная улица, 20А
Вопросы и ответы
Как купить билет?
Выберите из перечня на сайте интересующее вас мероприятие. Откройте страницу с ним, выберите дату, расположение мест в зале, время сеанса, заполните необходимые данные. Затем внесите оплату и на вашу электронную почту придут билеты. Если билетов на интересующее вас мероприятие нет, оставьте заказ и в течение суток мы проинформируем вас о том, появились ли свободные места.
Как работает электронный билет?
Вы можете предъявить электронный билет на входе на мероприятие с экрана телефона или планшета.
Как можно оплатить билет?
Оплата билетов онлайн производится банковской картой. Все платежные операции проходят через эквайринг CloudPayments и надежно защищены.
Как купить билеты юридическому лицу?
Чтобы приобрести билеты как юридическое лицо заполните на странице «Корпоративным клиентам» соответствующую форму.
Какие билеты можно купить на ПБ?
На Portalbilet можно купить билеты, реализуемые непосредственно организаторами мероприятий, а также приобрести билеты, предлагаемые брокерами. По специальной отметке вы легко узнаете, билеты с первичного или вторичного рынка реализуются на интересующее вас мероприятие.
Принципиальные схемы групп быстрого монтажа BRAVI
Типовые решения систем отопления с применением групп быстрого монтажа. Группы быстрого монтажа – это удобное, очень надежное и эстетичное техническое решение, несущее Вашему дому тепло и комфорт. Минимальное количество соединений, производство и проверка в заводских условиях обеспечивают предельно длительный срок службы!
- Типовые решения групп DN20
- Типовые решения групп DN25
Максимально компактная обвязка котельной для дома площадью от 100 до 350 м. кв.
Насосные группы DN20 позволяют произвести обвязку котельной на небольшой площади за разумные деньги. Благодаря использованию высокоэффективных насосов, по мощности группы не уступают DN25. Благодаря появлению в ассортименте коллектора со встроенным гидравлическим разделителем, можно без потери функциональности отказаться от гидравлического разделителя в схеме. Рассмотрим самые популярные примеры:
1) Одноконтурный или двухконтурный настенный котел. Группа быстрого монтажа на 2 контура, например, контур теплых полов для первого этажа и контур радиаторов для второго этажа. Контур теплых полов регулируется вручную. |
|
| 1 | Смесительная насосная группа DN20 с термостатическим клапаном 20-45 °C с насосом Wilo Para 15/6 SC Артикул – 101301 |
| 2 | Прямая насосная группа с насосом Wilo Para 15/6 SC |
| 3 | Распределительный коллектор с гидравлическим разделителем HVW90 Артикул – 151012 |
| 4 | Настенные крепления HV-HVW Артикул – 158010 |
2) Также используется одноконтурный или двухконтурный настенный котел и группа быстрого монтажа на 2 контура. Но на этот для управления теплым полом выбрана насосная группа с сервоприводом TRM. Что позволяет управлять ТП от котловой или дополнительной автоматики. | |
| 1 | Смесительная насосная группа DN20 с насосом Wilo Para 15/6 SC и с сервоприводом TRM Артикул – 101111 |
| 2 | Прямая насосная группа с насосом Wilo Para 15/6 SC Артикул – 101001 |
| 3 | Распределительный коллектор с гидравлическим разделителем HVW90 Артикул – 151012 |
| 4 | Настенные крепления HV-HVW Артикул – 158010 |
| 3) Аналогичный вариант 2), но вместо сервопривода TRM используем контроллер ACC30. Он автоматически будет поддерживать заданную температуру, без использования дополнительной автоматики. | |
| 1 | Смесительная насосная группа DN20 с насосом Wilo Para 15/6 SC Артикул – 101101 |
| 2 | Сервопривод со встроенным контроллером ACC30 Артикул – 100020 |
| 3 | Прямая насосная группа с насосом Wilo Para 15/6 SC Артикул – 101001 |
| 4 | Распределительный коллектор с гидравлическим разделителем HVW90 Артикул – 151012 |
| 5 | Настенные крепления HV-HVW Артикул – 158010 |
4) Хотелось бы отметить, что группы используются с котлом и с отдельно стоящим бойлером. Котловая или дополнительная автоматика должна управлять сервоприводом на ГВС и сервоприводом TRM. |
|
| 1 | Смесительная насосная группа DN20 с насосом Wilo Para 15/6 SC и с сервоприводом TRM Артикул – 101111 |
| 2 | Прямая насосная группа с насосом Wilo Para 15/6 SC Артикул – 101001 |
| Группа безопасности котла до 50 кВт Артикул – 152051 |
|
| 4 | Распределительный коллектор с гидравлическим разделителем HVW90 Артикул – 151012 |
| 5 | Настенные крепления HV-HVW Артикул – 158010 |
5) Вариант использования коллектора с гидравлическим разделителем на 3 контура. В качестве примера выбрано 2 контура теплых полов, в одном из которых используется более мощный насос, что позволяет отапливать ТП до 170 м. |
|
| 1 | Смесительная насосная группа DN20 с насосом Wilo Para 15/6 SC и с сервоприводом TRM Артикул – 101111 |
| 2 | Смесительная насосная группа DN20 с насосом Wilo Para 15/8 SC и с сервоприводом TRM Артикул – 101113 |
| 3 | Прямая насосная группа с насосом Wilo Para 15/6 SC Артикул – 101001 |
| 4 | Группа безопасности котла до 50 кВт Артикул – 152051 |
| 5 | Распределительный коллектор с гидравлическим разделителем HVW90 Артикул – 151013 |
| 6 | Гильза для датчика температуры с адаптером Артикул – 157006 |
| 7 | Настенные крепления HV-HVW Артикул – 158010 |
Самые популярные решения для обвязки котельных создаются именно на DN25. Они подходят для систем отопления загородного дома общей площадью до 800 м².
Большой выбор коллекторов позволяет распределить теплоноситель на систему, имеющую от 2 до 6 отопительных контуров. Монтаж групп на коллекторе возможен как сверху, так и снизу. Есть коллектор со встроенным гидравлическим разделителем.
| 6) Пример системы отопления частного дома, подойдет как для двухконтурного, так и для одноконтурного котла. Группа быстрого монтажа на 2 контура: например, для контура теплых полов первого этажа и контура радиаторного отопления второго этажа. | |
| 1 | Смесительная насосная группа DN25 с насосом Wilo Para 25/6 Артикул – 102105 |
| 2 | Сервопривод Esbe Ara661, управляется от дополнительной автоматики или автоматики котла Артикул – 100041 |
| 3 | Прямая насосная группа DN25 с насосом Wilo Para 25/6 |
| 4 | Распределительный коллектор с гидравлическим разделителем HVW125 Артикул – 151212 |
7) Система отопления с настенным одноконтурным или двухконтурным котлом. В данном примере установлено 4 контура: контур теплых полов для первого и второго этажа и контур радиаторного отопления для первого и второго этажа. Контур теплых полов второго этажа с погодозависимым сервоприводом AHC40 (работает без дополнительной автоматики). |
|
| 1 | Cмесительная насосная группа DN25 с фиксированной температурой смешивания с насосом Wilo Para 25/6 Артикул – 102305 |
| 2 | Cмесительная насосная группа DN25 с насосом Wilo Para 25/6 Артикул – 102105 |
| 3 | Сервопривод AHC40 с погодозависимой автоматикой Артикул – 100022 |
| 4 | Прямая насосная группа DN25 с насосом Wilo Para 25/6 Артикул – 1002005 |
| 5 | Распределительный коллектор HV125 на 4 контура, кронштейны в комплекте Артикул – 151204 |
| 6 | Компактный гидравлический разделитель HW125 Compact Артикул – 150131 |
8) Вариант обвязки котельной мощностью до 85 кВт. Используется компактный коллектор на 5 контуров: контур теплых полов для первого и второго этажа и контур радиаторного отопления для первого и второго этажа. Контур загрузки бойлера для приготовления ГВС. Установка на смесительных группах сервоприводов ACC30 позволяет управлять трехходовым смесительным клапаном без привлечения дополнительной автоматики. |
|
| 1 | Cмесительная насосная группа DN25 с насосом Wilo Para 25/6 Подающая и обратная линии заменены местами (см. инструкцию). Артикул – 102105 |
| 2 | Сервопривод AСС30 с фиксированной температурой смешивания Артикул – 100020 |
| 3 | Прямая насосная группа DN25 с насосом Wilo Para 25/6 Подающая и обратная линии заменены местами (см. инструкцию). Артикул – 102005 |
| 4 | Прямая насосная группа DN25 с насосом Wilo Para 25/6 Артикул – 102005 |
| 5 | Cмесительная насосная группа DN25 с насосом Wilo Para 25/6 Артикул – 102105 |
| 6 | Компактный распределительный коллектор HV125 Compact на 5 выходов, кронштейны в комплекте Артикул – 151245 |
| 7 | Компактный гидравлический разделитель HW125 Compact Артикул – 150131 |
Раздел 39.
4 (022R): Групповые схемы — проект The StacksНапомним, что группа — это пара $(G, m)$, где $G$ — множество, а $m : G \times G \to G$ — отображение множеств со следующими свойствами:
(ассоциативность) $m(g, m(g’, g»)) = m(m(g, g’), g»)$ для всех $g, g’, g» \in G$,
(тождество) существует уникальный элемент $e \in G$ (называемый тождеством , единицей или $1$ в $G$) такой, что $m(g, e) = m(e, g) = g$ для всех $g \in G$, и
(обратное) для всех $g \in G$ существует $i(g) \in G$ такое, что $m(g, i(g)) = m(i(g), g) = e$, где $e$ — это тождество.
Таким образом, мы получаем отображение $e : \{ *\} \to G$ и отображение $i : G \to G$ так, что четверка $(G, m, e, i)$ удовлетворяет перечисленным выше аксиомам.
Гомоморфизмом групп $\psi : (G, m) \to (G’, m’)$ называется такое отображение множеств $\psi : G \to G’$, что $m'(\psi (g ), \psi (g’)) = \psi (m(g, g’))$.
Это автоматически гарантирует, что $\psi (e) = e’$ и $i'(\psi (g)) = \psi (i(g))$. (Очевидное обозначение.) Мы будем использовать это ниже.
Определение 39.4.1. Пусть $S$ — схема.
Групповая схема над $S$ — это пара $(G, m)$, где $G$ — схема над $S$, а $m : G \times _ S G \to G$ — морфизм схем над $S$ со следующим свойством: для любой схемы $T$ над $S$ пара $(G(T), m)$ является группой.
Морфизм $\psi : (G, m) \to (G’, m’)$ групповых схем над $S$ — это морфизм $\psi : G \to G’$ схем над $S$, такой что для любого $T/S$ индуцированное отображение $\psi : G(T)\to G'(T)$ является гомоморфизмом групп.
Пусть $(G, m)$ — групповая схема над схемой $S$. В силу вышеизложенного (и обсуждения в разделе 39.2) мы получаем морфизмы схем над $S$: (тождественный) $e : S \to G$ и (обратный) $i : G \to G$ такие, что для каждого $ T$ четверка $(G(T), m, e, i)$ удовлетворяет аксиомам группы, перечисленным выше.
Пусть $(G, m)$, $(G’, m’)$ — групповые схемы над $S$. Пусть $f : G \to G’$ — морфизм схем над $S$. Из определения следует, что $f$ является морфизмом групповых схем над $S$ тогда и только тогда, когда коммутативна следующая диаграмма: 9f & G’ } \]
Лемма 39.4.2. Пусть $(G, m)$ — групповая схема над $S$. Пусть $S’ \to S$ — морфизм схем. Обратный образ $(G_{S’}, m_{S’})$ представляет собой групповую схему над $S’$.
Доказательство. Опущено. $\квадрат$
Определение 39.4.3. Пусть $S$ — схема. Пусть $(G, m)$ — групповая схема над $S$.
Схема замкнутых подгрупп схемы $G$ — это замкнутая подсхема $H \subset G$ такая, что $m|_{H \times _ S H}$ пропускается через $H$ и индуцирует структуру групповой схемы на $H$ над $S$.
Схема открытых подгрупп схемы $G$ — это открытая подсхема $G’ \subset G$ такая, что $m|_{G’ \times _ S G’}$ пропускается через $G’$ и индуцирует структуру групповой схемы на $G’$ над $S$.
В качестве альтернативы мы могли бы сказать, что $H$ является замкнутой схемой подгрупп $G$, если это групповая схема над $S$, снабженная морфизмом групповых схем $i : H \to G$ над $S$, который отождествляет $ H$ с замкнутой подсхемой в $G$.
Лемма 39.4.4. Пусть $S$ — схема. Пусть $(G, m, e, i)$ — групповая схема над $S$.
Замкнутая подсхема $H \subset G$ является схемой замкнутых подгрупп тогда и только тогда, когда $e : S \to G$, $m|_{H \times _ S H} : H \times _ S H \to G$ и $i|_ H : H \to G$ промножить через $H$.
Открытая подсхема $H \subset G$ является открытой схемой подгрупп тогда и только тогда, когда $e : S \to G$, $m|_{H \times _ S H} : H \times _ S H \to G$ и $i|_ H : H \to G$ промножить через $H$.
Доказательство. Глядя на точки со значениями $T$, это приводит к хорошо известным условиям, характеризующим подмножества групп как подгруппы.
$\квадрат$
Определение 39.4.5. Пусть $S$ — схема. Пусть $(G, m)$ — групповая схема над $S$.
Мы говорим, что $G$ является гладкой групповой схемой , если структурный морфизм $G\to S$ гладок.
Мы говорим, что $G$ является плоской групповой схемой , если структурный морфизм $G \to S$ плоский.
Мы говорим, что $G$ является разделенной групповой схемой , если структурный морфизм $G \to S$ является разделенным.
При необходимости добавьте больше.
Групповые схемы и аффинные групповые схемы
В этом посте мы мотивируем понятие аффинных групповых схем и обсуждаем различные эквивалентные способы их определения.
Групповые схемы — чрезвычайно мощный и красивый набор объектов. Почему-то их часто не обсуждают в базовых курсах алгебраической геометрии. Одна из причин, по которой это может произойти, заключается в том, что хотя определение групповых схем относительно простое, можно легко вывести их основные свойства.
Но быстро простые доказательства уступают место глубоким фактам и сложным механизмам (например, системам корней и представлениям), что делает их слишком большим отклонением от стандартного курса. Однако это позор, поскольку групповые схемы предлагают одни из самых ярких примеров многих естественных свойств схем.
Проще говоря, групповая схема — это групповой объект в категории схем (обычно по некоторой фиксированной схеме). Итак, это схема , снабженная морфизмами , и . Предполагается, что эти морфизмы представляют умножение группы, обратную функцию группы (т. е. ) и морфизм, выбирающий единичный элемент группы. Таким образом, групповые схемы — это схемы, как группы Ли для многообразий.
Сходство между групповыми схемами и группами Ли на этом не заканчивается. Место, которое групповые схемы занимают в алгебраической геометрии, во многом совпадает с положением групп Ли в дифференциальной геометрии. С одной стороны, они чрезвычайно просты. Свойства однородности, которыми они обладают благодаря своему просто транзитивному самодействию, вынуждают их быть чрезвычайно симметричными.
Это, в свою очередь, заставляет их автоматически обладать многими желаемыми свойствами. С другой стороны, групповые схемы включают одни из самых сложных схем, с которыми можно столкнуться, например, на первом курсе по схемам (будет определено позже).
Другим источником сходства между групповыми схемами и группами Ли является их полезность по отношению к другим объектам. Говоря менее загадочно, одно из наиболее полезных свойств групповых схем заключается в том, что они воздействуют на другие схемы. Обычно можно сформулировать некоторое важное отождествление между точками схемы, сказав, что они являются в точности объектами на орбитах некоторого действия групповой схемы на схеме. Или можно выразить алгебро-геометрическую симметрию через действие некоторой групповой схемы на схему.
Последнее сходство между группами Ли и групповыми схемами, которое сейчас особенно важно для нас, — это огромная разница между компактными и некомпактными. Любой, кто прошел курс по группам Ли, хорошо знает о огромной разнице в теории, с которой приходится сталкиваться при попытке перехода между некомпактными группами Ли и их компактными аналогами.
Это различие может быть еще больше в теории групповых схем, где два разных случая образуют два совершенно разных предмета.
А именно, пока не существует (полезного) топологического понятия компактности для схем, есть полезная замена — правильность. Таким образом, можно было бы ожидать, что мир групповых схем можно разделить на правильные и неправильные части. Но, в отличие от топологических пространств, которые существуют в бинарности, компактной и некомпактной, мир схем гораздо более нюансирован. А именно, неправильные схемы могут быть настолько несопоставимыми (очевидная нетривиальная дихотомия между разделенными и неразделенными) друг от друга, что мы хотим рассмотреть несколько более конкретный класс. А именно, схемы аффинных групп. Это два предмета, на которые обычно делится изучение групповых схем: аффинные групповые схемы (линейные групповые схемы) и собственно групповые схемы (абелевы многообразия).
Теперь, хотя абелевы многообразия (к которым относятся эллиптические кривые), несомненно, важны, в этом (и, надеюсь, в последующих) постах мы обсудим линейные групповые схемы.
Причина для модификатора «линейный» из-за важной теоремы (той, которую легко доказать [две строки], когда у нас есть механизм], которая говорит, что каждая схема аффинной группы (над полем) вкладывается в . Они включают многие из важные группы, которые появляются, например, в теории представлений, а также группы, которые наиболее эффективно действуют на естественные алгебро-геометрические объекты.0005
Групповые объекты
Одним из других аспектов теории групповых схем, которая сильно отличается от теории групп Ли, является огромное присутствие функториальной точки зрения. А именно, групповые схемы будут просто схемами вместе с факторизацией типа где — некоторый функтор и — забывающий функтор.
На самом деле это верно в более общем плане, поэтому мы быстро рассмотрим эту идею. Начнем с того, что вспомним, что если категория с конечными произведениями и конечным объектом , то групповой объект in является объектом вместе с морфизмами (где произведение берется в !), , и таким, что выполняются следующие тождества
- (ассоциативность)
- (Инверсия) (где )
- (Идентичность) (где уникальный изоморфизм).
Как следует из названий, эти условия просто говорят о том, что морфизмы, связанные с групповым объектом, должны удовлетворять обычным аксиомам, образующим группу. Следует отметить одну интересную вещь: в отличие от случая с группами, здесь мы фактически указываем обратную операцию, а также элемент идентичности, а не просто заявляем об их существовании. Это важно, потому что мы хотим, например, чтобы обратная операция действительно была морфизмом в категории.
Теперь групповые объекты в категории сами образуют категорию. В частности, если и два групповых объекта , то морфизм из в должен быть просто морфизмом в такой, что , где морфизм очевиден. Или, другими словами, морфизмы должны быть просто морфизмами базовых -объектов, которые коммутируют с соответствующими умножениями.
Краткое обсуждение леммы Йонеды
Теперь мы хотели бы переформулировать понятие групповых объектов в чисто функториальных терминах. Если вы считаете, что это кажется неприятной целью (что, на первый взгляд, не лишено смысла), вы быстро станете новообращенным.
На самом деле групповые объекты чаще всего представляются нам в функториальной форме — это определение, приведенное выше, менее естественно. Но давайте поставим телегу впереди лошади.
Чтобы сделать наше функториальное определение групповых объектов строгим, нам нужно вспомнить вездесущую лемму Йонеды. Для этого напомним, что если — категория и объект , то обозначает контравариантный функтор (т. е. предпучок on на современном языке), заданный (с очевидным действием на стрелки).
Обратите внимание, что если является морфизмом, то естественное преобразование получается следующим образом. Для объекта мы получаем морфизм, переходя к . Можно быстро проверить, что это действительно естественное преобразование.
Таким образом, мы получаем функтор , где – категория функтора (т.е. категория предпучков на ). Затем лемма Йонеды сообщает нам кое-что интересное об этом функторе.
Теорема 1 (лемма Йонеды): Позвольте быть объектом , и объектом .
Тогда карта, принимающая в, является биекцией.Почему это влияет на наш функтор? Затем это говорит о том, что карта, отправляемая на, является биекцией на .
Но если является элементом , и является естественным преобразованием , которое мы определили выше, то что такое ? Ну, карта принимает . Таким образом, . Таким образом, мы видим, что это правая обратная биекция к биекции, определенной в лемме Йонеды, и поэтому сама должна быть биекцией.
Это говорит нам о том, что наш функтор является вложением (т. е. полностью точным). Таким образом, дать морфизм — это то же самое, что дать естественное преобразование.
Групповые объекты как функторы
Теперь, когда мы вспомнили утверждение леммы Йонеды, мы можем эффективно обсудить, как категоризировать определение группового объекта.
Прежде всего обратите внимание, что если и являются объектами категории , то мы можем канонически идентифицировать функторы и . В самом деле, естественный изоморфизм , на объекте принимает как где и карты проекции, связанные с .
Итак, имея это в виду, давайте посмотрим, что говорит лемма Йонеды об определении группового объекта. Что ж, дать морфизм — это то же самое, что дать морфизм , или с идентификацией, которую мы обсуждали в последнем абзаце, . Точно так же дать морфизм — это то же самое, что дать морфизм . И, наконец, задание морфизма — это то же самое, что задание морфизма.
Но групповой объект был больше, чем объект, оснащенный некоторыми картами. Эти карты должны были удовлетворять определенным эквациональным свойствам. Например, требовалось, например, то (аксиомы ассоциативности). Но и оба являются элементами . Но согласно лемме Йонеды (часть об инъективности), чтобы проверить, что два морфизма одинаковы, нам нужно только проверить, что их связанные естественные преобразования одинаковы.
Но для этого нужно только проверить, что для любого объекта из двух наборов карты равны. Но равенство отображений множества и явно эквивалентно ассоциативности отображений множества . На самом деле, используя точно такие же наблюдения, можно увидеть, что отображения и выполнение аксиом группового объекта эквивалентно утверждению, что , являющееся бинарной функцией, определяет структуру группы на с обратным отображением, заданным как , и элементом идентичности (обратите внимание, что поскольку терминальный объект всегда является просто точкой, поэтому он является постоянным, поэтому просто выбирает элемент идентичности).
Кроме того, обратите внимание, что если является морфизмом в , то по определению мы получаем карту множества, определяемую формулой
. Обратите внимание, что
чисто потому, что это естественное преобразование . Но, поскольку это карта умножения для структуры группы на , и аналогично структура умножения на , мы находим, что это карта группы.
Таким образом, мы видим, что групповой объект на самом деле определяет функтор, базовый функтор множества которого (т.е. композиция этого функтора с забывчивым функтором как раз .
Прослеживание рассуждения в обратном порядке показывает, что верно и обратное, и, таким образом, мы получаем следующую теорему:
Теорема 2: Задать групповой объект в — это то же самое, что задать факторизацию функтора через забывающий функтор .
Обратите внимание, что различные факторизации через забывчивый функтор соответствуют размещению различных групповых структур на одном и том же объекте .
Более того, мы можем продвинуть теорему 2 еще на один шаг вперед. А именно, что означает дать морфизм от группового объекта к групповому объекту? Это означает дать морфизм в таком, что . Но, по лемме Йонеды и приведенному выше наблюдению, это эквивалентно требованию, чтобы индуцированное отображение удовлетворяло . Но это как раз и есть утверждение, что для каждого объекта индуцированного множества карта на самом деле является картой групп. Таким образом, мы фактически определили естественное преобразование (где это ассоциированные с группой функторы). Более того, опять-таки по Йонеде, все подобные морфизмы групповых объектов возникают таким образом:
Теорема 3: Если и являются групповыми объектами в , с соответствующей факторизацией и , то задать морфизм групповых объектов — это то же самое, что дать естественное преобразование .
Из-за этих теоремов мы часто будем злоупотреблять обозначениями (злоупотребление, которое, как правило, чрезвычайно полезно) и обозначать групповой объект в и связанный с ним функтор символом .
Так, например, вместо группы мы теперь будем писать .
Еще один способ сформулировать вышеизложенное состоит в том, что групповой объект в является представимым функтором (или, говоря более технически, представимым, если он состоит из забывчивого функтора to ), и to дать морфизм между групповыми объектами означает просто дать естественное преобразование между этими функторами.
Кроме того, с этого момента, как это принято, мы будем опускать любые ссылки на операции группового объекта и обращаться к нему только как , если не возникнет путаницы.
Групповые схемы
Теперь, когда мы настроили все эти обозначения, определить групповые схемы очень просто. А именно, для схемы мы определяем групповую схему над как групповой объект в . Мы почти всегда будем говорить только о групповых схемах над аффинной схемой (часто когда это поле), и в этом случае мы также будем ссылаться на групповые схемы «над».
Обратите внимание, что морфизмы группового объекта принимают форму -морфизмов , и (т.
е. часть структурного морфизма ).
Одно приятное свойство групповых схем заключается в том, что достаточно указать их значения на аффинах. Грубо говоря, это связано с тем, что аффинные схемы над «плотны» в . Чтобы сделать это строгим, определим для схемы категорией полную подкатегорию аффинных схем в . Тогда утверждение будет следующим:
Теорема 4: Следующие наборы данных эквивалентны для объекта в :
- Факторизация as для некоторого функтора .
- Факторизация as для некоторого функтора .
Доказательство: У нас явно есть отображение данных в 1. на данные в 2., просто взяв факторизацию и сопоставив ее с . Покажем, что это «инъективно» и «сюръективно».
Для инъективности докажем кое-что более сильное в виде следующей леммы:
Лемма 5: Пусть и будут пучками в топологии Зарисского (можно просто представить и как представимое, если так проще). Тогда любой естественный изоморфизм можно поднять до изоморфизма .
Более того, если и заданы факторизацией через , и является естественным изоморфизмом функторов к , то и .Доказательство: Нам нужно определить для произвольной -схемы . Для этого пусть – открытое покрытие аффинно открытых подсхем, а для каждой пары – открытое покрытие аффинно открытых подсхем. Тогда у нас есть следующая диаграмма
, где первая карта в верхнем ряду является очевидной, а вторая представляет собой композицию следующих стрелок
, где первая пара стрелок представляет собой обычные ограничения, а вторая стрелка является произведением обычных стрелок. Итак, по сути, он берет кортеж и отправляет его по первой стрелке к кортежу, который в записи имеет, а по второй стрелке отправляет его к кортежу, который в записи имеет . Карты для определяются аналогично. Вертикальные стрелки — это стрелки и .
Теперь, поскольку
является эквалайзером и является инъективным, мы видим, что
также является эквалайзером.
Аналогичное утверждение для также верно. Таким образом, мы получаем стрелку в силу универсального свойства эквалайзеров и того факта, что правые квадраты коммутируют (это как раз произведение квадратов естественности для ).
Уточнив оба открытых покрытия, можно проверить, что карта не зависит от открытого покрытия. И, конечно же, поскольку каждое И является изоморфизмом, то и отображение . Наконец, проверить естественность следует по определению, а естественность на аффинных схемах.
Наконец, если и были групповыми функторами и были естественным преобразованием групповых функторов, то ясно, что построенные отображения являются групповыми отображениями, и, таким образом, поднятое естественное преобразование на самом деле является желаемым изоморфизмом групповых функторов.
Теперь мы должны показать сюръективность этой карты. А именно, предположим, что мы создали групповую структуру для каждой аффинной схемы. Для произвольной -схемы определим структуру группы на to be , где множество всех аффинных открытых подсхем из , преобразованных в направленный набор путем определения to be (противоположность отображений включения).
Теперь мы должны показать, что эта групповая структура функториальна в том смысле, что для каждой стрелки карта является групповой картой, где каждой задана описанная выше групповая структура. Но для каждого аффинного открытия получаем отображение , где аффинно открытые подсхемы которого являются групповым отображением. Затем восстанавливается индуцированная карта
как обратный предел всему .
В заключение нам нужно проверить, что этот функтор согласуется с исходной структурой группы при ограничении до . Но это только потому, что это сноп. Таким образом,
для каждой аффинной схемы и что этот изоморфизм является изоморфизмом групп и функториален в .
Хотя этот пример не самый полезный на практике, он чрезвычайно привлекателен с философской точки зрения. Это действительно говорит нам о том, что групповые функторы действительно определяются своим действием на аффинных схемах.
Мы составим групповую схему аффинной групповой схемы , если базовая схема аффинна.
Некоторые ключевые примеры
Теперь, когда мы знаем, как определять групповые схемы, давайте приведем несколько хороших примеров, о которых следует помнить. Для простоты в дальнейшем будем считать, что для некоторого кольца . Тем не менее, все части, которые имеют смысл для общей базы (например, функториальные определения и ), работают над любой базой.
В качестве, возможно, самого простого примера, давайте рассмотрим функтор (или, если мы подчеркиваем базу), который отправляет объекты (то есть просто думая об аддитивной группе). На морфизмах посылает -морфизм к связанной карте абелевых групп. Ясно видеть, что это функториально.
Но, чтобы заключить, что на самом деле это аффинная групповая схема, нам нужно показать, что , состоящая из забывчивого функтора , представима. Для этого просто отметьте, что это то же самое, что и . Таким образом, является аффинной групповой схемой над , с представляющим объектом .
Для полноты картины следует упомянуть, что представляют собой явные операции над.
С этой целью нам нужно определить карты , , и (обратите внимание, что [или более технически] является терминальным объектом]. Что ж, дать такое — это то же самое, что дать карту -алгебры, это то же самое, что дать — алгебра map , и это то же самое, что задать -алгебра map Таким образом, пусть определяется как , as и . Можно легко проверить, что выполняются желаемые отношения, и что это действительно определяет ту же схему аффинной группы как
Мы добавим добавочную группу (или иногда просто «над»).
Следующий фундаментальный пример — следующий очевидный выбор после аддитивной группы. Определите функтор на объектах (с обычным произведением), а для -морфизма свяжите карту группы, приходящую из связанной карты кольца. Ясно видеть, что это действительно функтор.
Чтобы увидеть, что это схема аффинной группы, нам нужно показать, что ее композиция с забывающим функтором представима. Но можно быстро проверить, что это так, в частности, изоморфно (где точнее записывается как ).
Еще раз, давайте на самом деле скажем, что такое групповая операция. Еще раз, нам нужно определить карты , и . Как и прежде, это эквивалентно определению отображения -алгебры , и . Ну, определите, чтобы быть таким, что, как таковым, и как таковым, что. Еще раз быстро проверяется, что структура группы и отображения, которые затем определяют как функтор для , совпадают с .
Мы называем это мультипликативной группой над (или иногда просто над). Что вышеизложенное позволяет нам делать
В качестве обобщения последнего примера рассмотрим многомерные аналоги мультипликативной группы. А именно, пусть будет функтор, который ставит в соответствие каждой схеме группу , и который ставит в соответствие карте схемы связанную карту группы, предоставленную нам кольцевой картой . Быстро проверяется, что это функториально.
В третий раз, чтобы проверить, что действительно определяет аффинную групповую схему над , нам нужно показать, что композиция с забывчивым функтором представима.
Но, как можно быстро проверить, схема
представляет . Таким образом, действительно является аффинной групповой схемой над .
Теперь, как становится ясно, определим операции над , нам нужно определить -алгебраические отображения
, , и . Мы определяем их следующим образом:
, где — запись сопряженной матрицы (которая является многочленом от !), и
, как и ожидалось.
Используя ту же идею, что и в предыдущем примере, можно определить . Можно показать, что он представлен .
В качестве следующего примера мы можем рассмотреть функтор, определенный на объектах с помощью
и на морфизмах, отправив естественную карту, предоставленную нам кольцевой картой .
Можно легко проверить, что представимо, с помощью схемы представления .
Явные групповые операции над задаются числами
,
,
и
, как и следовало ожидать.
