Формулы Плюккера
Фо́рмулы Плю́ккера, формулы, связывающие внешние, т. е. отвечающие проективным вложениям, и внутренние характеристики алгебраических многообразий. Наиболее старыми и известными среди численных формул алгебраической геометрии являются формулы Плюккера для плоской приведённой и неприводимой кривой , которая имеет лишь обыкновенные двойные и каспидальные особые точки. Пусть – степень кривой , т. е. число точек из на прямой общего положения в , а – класс кривой , т. е. число прямых, касательных к в неособых точках и проходящих через одну и ту же фиксированную точку общего положения в . Основные две формулы Плюккера таковы:
где – род разрешения кривой , – число обыкновенных двойных точек, а – число каспидальных точек. Формула сводится к виду , если кривая неособа.
Другие классические формулы Плюккера следуют из и по двойственности. Если – не прямая, тогда двойственная кривая к определяется как замыкание множества касательных к , рассматриваемых как точки двойственной плоскости . Теорема, принадлежащая Ю. Плюккеру (J. Plücker, 1980), состоит в том, что дважды двойственная кривая совпадает с . Предполагая, что имеет лишь обыкновенных двойных и каспидальных особых точек, получают формулы
Число можно интерпретировать также как число бикасательных к , т. е. прямых, которые касаются ровно в двух различных и неособых точках, с порядком касания , а – как число точек перегиба.
Четыре формулы , , , не независимы: из любых трёх следует четвёртая. Однако любые три из них независимы. Из них вытекают также следующие соотношения:
Именно эти формулы были получены Ю. Плюккером вместе с формулами и в 1834–1839 гг.
В случае основного поля конечной характеристики формулы Плюккера и теорема двойственности не всегда справедливы. Например, в характеристике все касательные к конике проходят через одну определённую точку, называемую странной точкой коники, поэтому двойственная кривая есть прямая. В характеристике имеется неособая кубика только с тремя точками перегиба и даже с одной (по формулам Плюккера их должно было бы быть девять). При правильной интерпретации формулы , остаются справедливыми во всех характеристиках ; в характеристике их нужно заменить на
Известно обобщение формул Плюккера на случай кривых в с произвольными особенностями (Гриффитс. 1982), а также на случай гиперповерхностей в .