Английская Википедия:Harnack's curve theorem

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Short description Шаблон:Redirect

Файл:ECClines-3.svg
The elliptic curve (smooth degree 3) on the left is an M-curve, as it has the maximum (2) components, while the curve on the right has only 1 component.

In real algebraic geometry, Harnack's curve theorem, named after Axel Harnack, gives the possible numbers of connected components that an algebraic curve can have, in terms of the degree of the curve. For any algebraic curve of degree Шаблон:Mvar in the real projective plane, the number of components Шаблон:Mvar is bounded by

<math>\frac{1-(-1)^m}{2} \le c \le \frac{(m-1)(m-2)}{2}+1.\ </math>

The maximum number is one more than the maximum genus of a curve of degree Шаблон:Mvar, attained when the curve is nonsingular. Moreover, any number of components in this range of possible values can be attained.

Файл:Trott bitangents.png
The Trott curve, shown here with 7 of its bitangents, is a quartic (degree 4) M-curve, attaining the maximum (4) components for a curve of that degree.

A curve which attains the maximum number of real components is called an M-curve (from "maximum") – for example, an elliptic curve with two components, such as <math>y^2=x^3-x,</math> or the Trott curve, a quartic with four components, are examples of M-curves.

This theorem formed the background to Hilbert's sixteenth problem.

In a recent development a Harnack curve is shown to be a curve whose amoeba has area equal to the Newton polygon of the polynomial Шаблон:Mvar, which is called the characteristic curve of dimer models, and every Harnack curve is the spectral curve of some dimer model.Шаблон:Harv(Шаблон:Harvtxt)

References