Related papers: A characterisation of Baer subplanes
David Hilbert proved that a non-negative real quartic form f(x,y,z) is the sum of three squares of quadratic forms. We give a new proof which shows that if the complex plane curve Q defined by f is smooth, then f has exactly 8 such…
In this article we consider a set C of points in PG(4,q), q even, satisfying certain combinatorial properties with respect to the planes of PG(4,q). We show that there is a regular spread in the hyperplane at infinity, such that in the…
We give examples of K3 surfaces over $\mathbb{Q}$ of degree $10$ whose geometric Picard group has rank~$1$. These K3 surfaces are intersections in $\mathbb{P}^9$ of three hyperplanes, one quadric and the image of the Pl\"ucker embedding of…
We classify 4-dimensional austere submanifolds in Euclidean space ruled by 2-planes. The algebraic possibilities for second fundamental forms of an austere 4-fold M were classified by Bryant, falling into three types which we label A, B,…
A Kauffman bracket on a surface is an invariant for framed links in the thickened surface, satisfying the Kauffman skein relation and multiplicative under superposition. This includes representations of the skein algebra of the surface. We…
For any finite field k of characteristic exceeding 3, the Hasse principle and weak approximation is established for non-singular cubic hypersurfaces X over the function field k(t), provided that X has dimension at least 6.
It is well-known that there exists a bijection between the set of lines of the projective 3-dimensional space $P^3$ and all real points of the so-called Pl\"ucker quadric $\Psi$. Moreover one can identify each point of the Pl\"ucker…
Let $K_0$ be a compact convex subset of the plane $\mathbb R^2$, and assume that $K_1\subseteq \mathbb R^2$ is similar to $K_0$, that is, $K_1$ is the image of $K_0$ with respect to a similarity transformation $\mathbb R^2\to\mathbb R^2$.…
A set of control points can determine a Bezier surface and a triangulated surface simultaneously. We prove that the triangulated surface becomes homeomorphic and ambient isotopic to the Bezier surface via subdivision. We also show that the…
A point P on a smooth hypersurface X of degree d in an N-dimensional projective space is called a star point if and only if the intersection of X with the embedded tangent space T_P(X) is a cone with vertex P. This notion is a…
A polynomial transformation of the real plane $\Bbb R^2$ is a mapping $\Bbb R^2\to\Bbb R^2$ given by two polynomials of two variables. Such a transformation is called cubic if the degrees of its polynomials are not greater than three. In…
One of the general problems in algebraic geometry is to determine algorithmically whether or not a given geometric object, defined by explicit polynomial equations (e.g. a curve or a surface), satisfies a given property (e.g. has…
A set $L$ of straight lines and a set $P$ of points in the Euclidean plane define an arrangement $\mathcal{A}$ = ($L$, $P$) of construction lines and registration marks, if and only if: (1) any point in $P$ is a point of intersection of at…
We establish that, over certain ground fields, the set of osculating tangents of Cayley's ruled cubic surface gives rise to a (maximal partial) spread which is also a dual (maximal partial) spread. It is precisely the Betten-Walker spreads…
In this note we prove two ellipsoid characterization theorems. The first one is that if $K$ is a convex body in a normed space with unit ball $M$, and for any point $p \notin K$ and in any 2-dimensional plane $P$ intersecting $\inter K$ and…
A closed subscheme of codimension two $T \subset P^2$ is a quasi complete intersection (q.c.i.) of type $(a,b,c)$ if there exists a surjective morphism $\mathcal{O} (-a) \oplus \mathcal{O} (-b) \oplus \mathcal{O} (-c) \to \mathcal{I} _T$.…
Let k be a commutative ring. We find and characterize a new family of twisted planes (i. e. associative unitary k-algebra structures on the k-module k[X,Y], having k[X] and and k[Y] as subalgebras).Similar results are obtained for the…
We give a complete description of the cone of Betti diagrams over a standard graded hypersurface ring of the form k[x,y]/<q>, where q is a homogeneous quadric. We also provide a finite algorithm for decomposing Betti diagrams, including…
A classical open problem in combinatorial geometry is to obtain tight asymptotic bounds on the maximum number of k-level vertices in an arrangement of n hyperplanes in d dimensions (vertices with exactly k of the hyperplanes passing below…
In this paper, we give a Zariski triple of the arrangements for a smooth quartic and its four bitangents. A key criterion to distinguish the topology of such curves is given by a matrix related to the height pairing of rational points…