Lines on K3 quartic surfaces in characteristic 3

We investigate the number of straight lines contained in a K3 quartic surface X defined over an algebraically closed field of characteristic 3. We prove that if X contains 112 lines, then X is projectively equivalent to the Fermat quartic surface; otherwise, X contains at most 67 lines. We improve this bound to 58 if X contains a star (ie four distinct lines intersecting at a smooth point of X). Explicit equations of three 1-dimensional families of smooth quartic surfaces with 58 lines, and of a quartic surface with 8 singular points and 48 lines are provided.

Surface From Circle Rotation

Descriptive geometry, as the elementary one, studies the real world by its abstractions. But Euclid’s geometry of the real world is conjugated to pseudo-Euclidean geometry, and they make a conjugated pair. As a consequence, each real figure is conjugated with some imaginary pattern. This paper apart from some science facts demonstrates the presence of imaginary patterns in geometric constructions, where the imaginary patterns manifest themselves as singularities or as geometrically imaginary points (GIP) in “Real — Imaginary” conjugate pairs. The study is conducted, as a rule, from simple to complex, from particulars to generals. Rotation of a circle around an arbitrary axis generates, in the general case, a quartic surface. Among the quartic surfaces are a circular torus and a sphere as a special case of the torus. The torus is obtained from the circle rotation around an axis lying in the circle plane. If the axis does not intersect the generating circle, then the surface is called an open torus; when the axis intersects the generating circle, then the surface is called a closed torus; when the rotation axis passes through the center of the generating circle, then the surface is a sphere. The open torus is associated with a bagel, and the closed one — with an apple. The torus is a perfect example for the application of two well-known Guldin’s formulas. Next, the imaginary torus support is considered in this paper, at the end of which the sphere and its imaginary sup - port are considered. Imaginary patterns lead to the complex numbers, in regards to which grieved the great J. Steiner, calling them "hieroglyphs of analysis". But imaginary patterns exist apart from analysis formulas — they are the part of geometry. J.V. Poncelet was the first who understood the imaginary points in 1812, being in Russian captivity in Saratov and, what is important, without analysis formulas at all. Computational geometry often shows quantities, large numbers of real figures, because it takes into account the imaginary images too.