Теорема Кэли – Бахараха - Cayley–Bacharach theorem - Wikipedia

Изображение для теоремы о 9 точках, частный случай, когда оба C1 и C2 союзы 3-х линий

В математика, то Теорема Кэли – Бахараха это заявление о кубические кривые (плоские кривые третьей степени) в проективная плоскость п2. Исходная форма гласит:

Предположим, что две кубики C1 и C2 в проективной плоскости встречаются в девяти (разных) точках, как и в общем над алгебраически замкнутое поле. Тогда каждый кубик, который проходит через любые восемь точек, также проходит через девятую точку.

Более внутренняя форма теоремы Кэли – Бахараха выглядит следующим образом:

Каждая кубическая кривая C1 на алгебраически замкнутое поле который проходит через заданный набор из восьми точек п1, ..., п8 также проходит через некую (фиксированную) девятую точку п9, считая кратности.

Соответствующий результат о кониках был впервые доказан французским геометром. Мишель Часлес и позже обобщен на кубики Артур Кэли и Исаак Бахарах  (1886 ).

Подробности

Если семь баллов п1, ..., п8 лежать на конический, то на этой конике можно выбрать девятую точку, так как C всегда будет содержать всю конику из-за Теорема Безу. В остальных случаях имеем следующее.

Если нет семи баллов из п1, ..., п8 коконические, то векторное пространство кубических однородных многочленов, обращающихся в нуль на ( аффинные конусы из) п1, ..., п8 (с кратностью для двойных очков) имеет измерение два.

В этом случае каждый кубик через п1, ..., п8 также проходит через пересечение любых двух различных кубиков через п1, ..., п8, имеющая не менее девяти точек (по алгебраическое замыкание ) за счет Теорема Безу. Эти вопросы не могут быть покрыты п1, ..., п8 только, что дает нам п9.

Поскольку вырожденные коники представляют собой объединение не более двух прямых, всегда есть четыре из семи точек на вырожденной конике, которые лежат на одной прямой. Как следствие:

Если нет семи баллов из п1, ..., п8 лежат на невырожденной конике, и никакие четыре точки из п1, ..., п8 лежать на линии, затем векторное пространство кубических однородные многочлены которые исчезают на (аффинных конусах) п1, ..., п8 имеет измерение два.

С другой стороны, предположим п1, п2, п3, п4 коллинеарны и нет семи точек из п1, ..., п8 со-конические. Тогда нет пяти пунктов п1, ..., п8 и нет трех точек п5, п6, п7, п8 коллинеарны. С C всегда будет содержать всю строку через п1, п2, п3, п4 из-за Теорема Безу, векторное пространство кубических однородных многочленов, обращающихся в нуль на (аффинных конусах) п1, ..., п8 изоморфно векторному пространству квадратичные однородные многочлены которые исчезают (аффинные конусы) п5, п6, п7, п8, имеющий размерность два.

Хотя наборы условий для обоих измерение два результаты разные, они оба строго слабее чем полные общие положения: три точки могут быть коллинеарны, а шесть точек могут лежать на конике (как правило, две точки определяют линию и пять точек определяют конус ). Для теоремы Кэли – Бахараха необходимо иметь семейство кубик, проходящих через девять точек, а не одну.

В соответствии с Теорема Безу, две разные кубические кривые над алгебраически замкнутое поле которые не имеют общей неприводимой компоненты, пересекаются ровно в девяти точках (с учетом кратности). Таким образом, теорема Кэли – Бахараха утверждает, что последняя точка пересечения любых двух членов семейства кривых не перемещается, если восемь точек пересечения (без семи ко-конических) уже предписаны.

Приложения

Особый случай Теорема Паскаля, и в этом случае две рассматриваемые кубики вырождены: учитывая шесть точек на конике (шестиугольнике), рассмотрите прямые, полученные путем продолжения противоположных сторон - это дает две кубики по три прямые в каждой, которые пересекаются в 9 точках - 6 точки на конической и 3 других. Эти 3 дополнительные точки лежат на прямой, так как коника плюс прямая, проходящая через любые две точки, является кубикой, проходящей через 8 точек.

Второе приложение Теорема Паппа о шестиугольнике, аналогично предыдущему, но шесть точек находятся на двух прямых, а не на конической.

Наконец, третий случай связан с ассоциативностью группы эллиптические кривые. Пусть первая кубика содержит три прямые BC, O (A + B) и A (B + C); и вторая кубика, содержащая три прямые AB, O (B + C) и C (A + B). Следующие восемь точек являются общими для обеих кубиков: A, B, C, A + B, -AB, B + C, -BC, O. Следовательно, их девятые точки должны быть одинаковыми -A- (B + C) = - (A + B) -C, придающий ассоциативность.

Подсчет размеров

Можно понять теорему Кэли – Бахараха и почему она возникает для степени 3, если подсчет размеров. Проще говоря, девять точек определяют кубику, но в целом определяют уникальный кубический. Таким образом, если девять точек лежат более чем на одной кубике, что эквивалентно пересечению двух кубик (как 3 × 3 = 9), их нет в общая позиция - они есть сверхопределенный на одно измерение - и, таким образом, кубики, проходящие через них, удовлетворяют одному дополнительному ограничению, как это отражено в свойстве «восемь означает девять». Общее явление называется изобилие; видеть Теорема Римана – Роха для поверхностей..

Подробности

Формально сначала напомним, что для данных двух кривых степени d, они определяют карандаш (однопараметрический линейная система ) степени d кривые, взяв проективные линейные комбинации определяющих уравнений; это соответствует двум точкам, определяющим проективную линию в пространство параметров кривых, которое является просто проективным пространством.

Теорема Кэли – Бахараха возникает для высокой степени, потому что количество точек пересечения двух кривых степени d, а именно d 2Теорема Безу ), растет быстрее, чем количество точек, необходимых для определения кривой степени d, который задается

Они сначала соглашаются на d = 3, поэтому теорема Кэли – Бахараха имеет место для кубиков, а для более высоких степеней d 2 больше, следовательно, и обобщения более высокой степени.

Подробно количество точек, необходимых для определения кривой градуса d это количество мономы степени d, минус 1 от проективизации. Для первых нескольких d эти выходят:

  • d = 1: 2 и 1: две точки определяют линию, две прямые пересекаются в точке,
  • d = 2: 5 и 4: пять точек определяют конус, две коники пересекаются в четырех точках,
  • d = 3: 9 и 9: девять точек определяют кубику, две кубики пересекаются в девяти точках,
  • d = 4: 14 и 16.

Таким образом, они сначала соглашаются для 3, и количество пересечений больше, когда d > 3.

Смысл этого состоит в том, что 9 точек пересечения двух кубиков находятся в особом положении по отношению к кубикам, a fortiori для более высокой степени, но В отличие от для более низкой степени: две прямые пересекаются в точке, которая тривиально находится в общем линейном положении, и две квадратичные точки пересекаются в четырех точках, которые (при условии, что квадратичные диаграммы неприводимы, поэтому никакие три точки не коллинеарны) находятся в общем квадратичном положении, потому что пять точек определяют квадратичная, и любые четыре точки (в общем линейном положении) имеют пучок квадратиков, проходящих через них, поскольку система недоопределена. Для кубики девять точек определяют кубику, но в целом они определяют уникальный кубический - таким образом, через них проходят две разные кубики (и, следовательно, карандаш), является особенным - пространство решений на одно измерение выше ожидаемого, и, таким образом, решения удовлетворяют дополнительному ограничению, а именно свойству «8 подразумевает 9».

Более конкретно, потому что векторное пространство из однородные многочлены п(Икс, у, z) степени три от трех переменных Икс, у, z имеет размер 10, система кубических кривых, проходящих через восемь (разных) точек, параметризуется векторным пространством размерности ≥ 2 (обращение в нуль полинома в одной точке накладывает одно линейное условие). Можно показать, что размерность точно два, если никакие четыре точки не лежат на одной прямой и никакие семь точек не лежат на конике. Теорема Кэли – Бахараха может быть выведена из этого факта (Hartshorne ).

Рекомендации

  • Мишель Часлес, Traité des section coniques, Готье-Виллар, Париж, 1885 г.
  • Бахарах, Исаак (1886), "Ueber den Cayley'schen Schnittpunktsatz", Mathematische Annalen, Берлин / Гейдельберг: Springer, 26 (2): 275–299, Дои:10.1007 / BF01444338, ISSN  0025-5831
  • Кэли, Артур (1889), На пересечении кривых, Кембридж: Издательство Кембриджского университета
  • Эдвард Д. Дэвис, Энтони В. Герамита и Ферруччо Ореккья, Алгебры Горенштейна и теорема Кэли – Бахараха, Труды Американского математического общества 93 (1985), 593–597.
  • Дэвид Эйзенбуд, Марк Грин, и Джо Харрис, Теоремы и гипотезы Кэли – Бахараха, Бюллетень Американского математического общества 33 (1996), нет. 3, 295–324. МИСТЕР1376653
  • Робин Хартшорн, Алгебраическая геометрия, глава 5, раздел 4 (Кубическая поверхность в ), Следствие 4.5.
  • Кац, Габриэль (2005). «Кривые в клетках: алгебро-геометрический зоопарк». arXiv:математика / 0508076.