Related papers: Conics in Baer subplanes
In this paper we develop the formalism of rational complex Bezier curves. This framework is a simple extension of the CAD paradigm, since it describes arc of curves in terms of control polygons and weights, which are extended to complex…
We classify nets of conics in Desarguesian projective planes over finite fields of odd order, namely, two-dimensional linear systems of conics containing a repeated line. Our proof is geometric in the sense that we solve the equivalent…
Pascal's Theorem gives a synthetic geometric condition for six points $a,\ldots,f$ in $\mathbb{P}^2$ to lie on a conic. Namely, that the intersection points $\overline{ab}\cap\overline{de}$, $\overline{af}\cap\overline{dc}$,…
We define basic notions in the category of conic representations of a topological group and prove elementary facts about them. We show that a conic representation determines an ordinary dynamical system of the group together with a…
In this paper results are proved with applications to the orbits of $(n-1)$-dimensional subspaces disjoint from a regulus $\cR$ of $(n-1)$-subspaces in $\PG(2n-1,q)$, with respect to the subgroup of $\PGL(2n,q)$ fixing $\cR$. Such results…
We study the normal map for plane projective curves, i.e., the map associating to every regular point of the curve the normal line at the point in the dual space. We first observe that the normal map is always birational and then we use…
Let $C_{n,g}$ be the number of rooted cubic maps with $2n$ vertices on the orientable surface of genus $g$. We show that the sequence $(C_{n,g}:g\ge 0)$ is asymptotically normal with mean and variance asymptotic to $(1/2)(n-\ln n)$ and…
We show that the normal points of a cubic hypersurface in projective space have canonical singularities unless the hypersurface is an iterated cone over an elliptic curve. As an application, we give a simple linear algebraic description of…
We give necessary and sufficient criteria for a smooth Enriques surface S in P^r to be scheme-theoretically an intersection of quadrics. Moreover we prove in many cases that, when S contains plane cubic curves, the intersection of the…
We study how to formalize in the Coq proof assistant the smallest projective space PG(3,2). We then describe formally the spreads and packings of PG(3,2), as well as some of their properties. The formalization is rather straightforward,…
A set without tangents in $\PG(2,q)$ is a set of points S such that no line meets S in exactly one point. An exterior set of a conic $\mathcal{C}$ is a set of points $\E$ such that all secant lines of $\E$ are external lines of…
The cage problem asks for the smallest number $c(k,g)$ of vertices in a $k$-regular graph of girth $g$ and graphs meeting this bound are known as cages. While cages are known to exist for all integers $k \ge 2$ and $g \ge 3$, the exact…
We consider $(1,1)$-surfaces, namely, minimal compact complex surfaces $S$ with $p_g (S) =K_S^2=1$: for these the bicanonical map is a covering of degree $4$ of the plane $\mathbb{P}^2$. And we answer a question posed by Meng Chen, whether…
Real quadric curves are often referred to as "conic sections," implying that they can be realized as plane sections of circular cones. However, it seems that the details of this equivalence have been partially forgotten by the mathematical…
In this paper, we study translation hyperovals in PG$(2,q^k)$. The main result of this paper characterises the point sets defined by translation hyperovals in the Andr\'e/Bruck-Bose representation. We show that the affine point sets of…
Let $p$ denote the characteristic of ${\mathbb F}_q$, the finite field with $q$ elements. We prove that if $q$ is odd then an arc of size $q+2-t$ in the projective plane over ${\mathbb F}_q$, which is not contained in a conic, is contained…
For a smooth plane cubic $B$, we count curves $C$ of degree $d$ such that the normalizations of $C\backslash B$ are isomorphic to $\Bbb A^1$, for $d\leq7$ (for $d=7$ under some assumption). We also count plane rational quartic curves…
We study some symplectic geometric aspects of rationally connected 4-folds. As a corollary, we prove that any smooth projective 4-fold symplectic deformation equivalent to a Fano 4-fold of pseudo-index at least 2 or a rationally connected…
Given a (2N - 1)-dimensional projective space over GF(2), PG(2N - 1, 2), and its geometric spread of lines, there exists a remarkable mapping of this space onto PG(N - 1, 4) where the lines of the spread correspond to the points and…
Let SU_C(2) be the moduli space of rank 2 semistable vector bundles with trivial de terminant on a smooth complex algebraic curve C of genus g > 1, we assume C non-hyperellptic if g > 2. In this paper we construct large families of pointed…