Namespaces
Variants
Actions

Difference between revisions of "Arc (projective geometry)"

From Encyclopedia of Mathematics
Jump to: navigation, search
(→‎-arcs in projective space.: tex on the title (at least))
(→‎-arcs in .: tex on the title (at least))
Line 12: Line 12:
 
.png" /> and in a number of further cases. It is also of great interest to characterize the largest-size <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025069.png" />-arcs, and to determine the size of the second-largest complete <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025070.png" />-arcs in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025071.png" />, where a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025072.png" />-arc of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025073.png" /> is complete if it is contained in no <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025075.png" />-arc of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025076.png" />.
 
.png" /> and in a number of further cases. It is also of great interest to characterize the largest-size <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025069.png" />-arcs, and to determine the size of the second-largest complete <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025070.png" />-arcs in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025071.png" />, where a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025072.png" />-arc of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025073.png" /> is complete if it is contained in no <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025075.png" />-arc of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025076.png" />.
  
==<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025077.png" />-arcs in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025078.png" />.==
+
==$(k,n)$-arcs in $\mathrm{PG}(2,q)$==
 
For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025079.png" />, a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025081.png" />-arc (or arc of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025083.png" />) in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025084.png" /> is a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025085.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025086.png" /> points such that each line meets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025087.png" /> in at most <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025088.png" /> points and there is a line meeting <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025089.png" /> in exactly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025090.png" /> points. It is immediate that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025091.png" /> with equality if and only if each line meets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025092.png" /> in 0 or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025093.png" /> points. Equality also implies that either <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025094.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025095.png" /> divides <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025096.png" />. A <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025097.png" />-arc with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025098.png" /> is called a maximal arc of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a120250100.png" />, and is non-trivial if <img align="absmiddle" bor
 
For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025079.png" />, a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025081.png" />-arc (or arc of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025083.png" />) in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025084.png" /> is a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025085.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025086.png" /> points such that each line meets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025087.png" /> in at most <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025088.png" /> points and there is a line meeting <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025089.png" /> in exactly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025090.png" /> points. It is immediate that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025091.png" /> with equality if and only if each line meets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025092.png" /> in 0 or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025093.png" /> points. Equality also implies that either <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025094.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025095.png" /> divides <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025096.png" />. A <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025097.png" />-arc with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a12025098.png" /> is called a maximal arc of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a120250100.png" />, and is non-trivial if <img align="absmiddle" bor
 
der="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a120250101.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a120250102.png" /> is even, there are examples of non-trivial maximal arcs of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a120250103.png" /> for every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a120250104.png" /> dividing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a120250105.png" /> (due to R.H.F. Denniston and J.A. Thas). On the other hand, S. Ball, A. Blokhuis and F. Mazzocca have shown that non-trivial maximal arcs in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a120250106.png" /> where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a120250107.png" /> is odd, do not exist. (The proof appears in [[#References|[a2]]].)
 
der="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a120250101.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a120250102.png" /> is even, there are examples of non-trivial maximal arcs of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a120250103.png" /> for every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a120250104.png" /> dividing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a120250105.png" /> (due to R.H.F. Denniston and J.A. Thas). On the other hand, S. Ball, A. Blokhuis and F. Mazzocca have shown that non-trivial maximal arcs in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a120250106.png" /> where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a120/a120250/a120250107.png" /> is odd, do not exist. (The proof appears in [[#References|[a2]]].)

Revision as of 10:48, 25 April 2012

$k$-arcs in projective planes

A -arc in the Desarguesian projective plane over the Galois field of order is a set of points, no three of which are collinear. It is immediate that , but if is odd, then . The classical example of a -arc is a conic, that is, a set of points projectively equivalent to . If is even, then all the tangents to the conic pass through a common point, called the nucleus; hence the set of points of a conic together with the nucleus is a -arc. A -arc in is called an oval and a -arc in , even, is called a hyperoval (cf. also Oval).

In his celebrated 1955 theorem, B. Segre proved that in , odd, every -arc is a conic. This important result, linking combinatorial and algebraic properties of sets of points, was of great importance in the early development of the field of finite geometry, and many results in the same spirit have been proved.

The situation when is even is quite different. Apart from the "classical" examples provided by a conic together with its nucleus mentioned above, there are currently (1998) seven infinite families of hyperovals known, and several examples which do not at present fit into any known infinite family. The classification of hyperovals is known only for ; the case still relies on a computer search.

$k$-arcs in projective space

A -arc in the -dimensional projective space is a set of points with and at most in each hyperplane. (This definition coincides with the definition of -arc in given above.) Further, a -arc of , and , exists if and only if a -arc of exists. A linear maximum distance separable code is a linear code of length , dimension and minimum distance (cf. also Coding and decoding). It is well-known that for these notions are equivalent; as each can be viewed as a set of vectors in an -dimensional vector space over with each vectors being linearly independent.

The classical example of a -arc in is a normal rational curve, that is, a set of points projectively equivalent to . The only known (1998) non-classical examples are examples in , for even, constructed by L.R.A. Casse and D.G. Glynn, and a -arc in constructed by Glynn. The main open (1998) problem in the area is the resolution of the so-called main conjecture for -arcs and maximum distance separable codes, which is that if , then the size of a largest -arc in is if is even and or , and is in all other cases. The main conjecture has been settled for and in a number of further cases. It is also of great interest to characterize the largest-size -arcs, and to determine the size of the second-largest complete -arcs in , where a -arc of is complete if it is contained in no -arc of .

$(k,n)$-arcs in $\mathrm{PG}(2,q)$

For , a -arc (or arc of degree ) in is a set of points such that each line meets in at most points and there is a line meeting in exactly points. It is immediate that with equality if and only if each line meets in 0 or points. Equality also implies that either or divides . A -arc with is called a maximal arc of degree , and is non-trivial if . If is even, there are examples of non-trivial maximal arcs of degree for every dividing (due to R.H.F. Denniston and J.A. Thas). On the other hand, S. Ball, A. Blokhuis and F. Mazzocca have shown that non-trivial maximal arcs in where is odd, do not exist. (The proof appears in [a2].)

See [a3] for a survey on each topic mentioned above; for a comprehensive account including more details, results and the references, see [a2], Chaps. 8, 9.

The definitions of -arc, -arc, oval, hyperoval and maximal arc in a non–Desarguesian projective plane are the combinatorial definitions given above, but in this case there are relatively few examples and the theory is not so well-developed.

References

[a1] J.W.P. Hirschfeld, J.A. Thas, "General Galois geometries" , Oxford Univ. Press (1991)
[a2] J.W.P. Hirschfeld, "Projective geometries over finite fields" , Oxford Univ. Press (1998) (Edition: Second)
[a3] J.A. Thas, "Projective geometry over a finite field" F. Buekenhout (ed.) , Handbook of Incidence Geometry, Buildings and Foundations , Elsevier (1995) pp. Chap. 7; 295–348
How to Cite This Entry:
Arc (projective geometry). Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Arc_(projective_geometry)&oldid=25357