Related papers: Existence of a line without real points in quadric…
This is the third of a series of papers studying real algebraic threefolds, but the methods are mostly independent from the previous two. Let $f:X\to S$ be a map of a smooth projective real algebraic 3-fold to a surface $S$ whose general…
Four points ordered in the positive order on the unit circle determine the vertices of a quadrilateral, which is considered either as a euclidean or as a hyperbolic quadrilateral depending on whether the lines connecting the vertices are…
We demonstrate an infinite family of pseudoline arrangements, in which an arrangement of n pseudolines has no member incident to more than 4n/9 points of intersection. This shows the "Strong Dirac" conjecture to be false for pseudolines. We…
We apply the specialization technique based on the decomposition of the diagonal to find an explicit example over $\mathbb{Q}$ of a quadric and cubic hypersurface in $\mathbb{P}^6$ such that their intersection is a smooth stably irrational…
We study analytic surfaces in 3-dimensional Euclidean space containing two circular arcs through each point. The problem of finding such surfaces traces back to the works of Darboux from XIXth century. We reduce finding all such surfaces to…
We construct and study relations between Chern classes and Galois cohomology classes in the Gal(C/R)-equivariant cohomology of real algebraic varieties with no real points. We give applications to the topology of their sets of complex…
The purpose of this note is to report, in narrative rather than rigorous style, about the nice geometry of $6$-division points on the Fermat cubic $F$ and various conics naturally attached to them. Most facts presented here were derived by…
A venerable problem in combinatorics and geometry asks whether a given incidence relation may be realized by a configuration of points and lines. The classic version of this would ask for algebraic lines over some field or possibly real…
Given a finite set of non-collinear points in the plane, there exists a line that passes through exactly two points. Such a line is called an ordinary line. An efficient algorithm for computing such a line was proposed by Mukhopadhyay et…
In this, the first of three papers about $C_2$-equivariant complex quadrics, we calculate the equivariant ordinary cohomology of smooth antisymmetric quadrics. One of these quadrics coincides with a $C_2$-equivariant Grassmannian, and we…
In this work, we solve the problem of finding non-intersecting paths between points on a plane with a new approach by borrowing ideas from geometric topology, in particular, from the study of polygonal schema in mathematics. We use a…
Quasi-polar spaces are sets of points having the same intersection numbers with respect to hyperplanes as classical polar spaces. Non-classical examples of quasi-quadrics have been constructed using a technique called pivoting [5]. We…
In this paper, we study $6$-dimensional GKM manifolds with $4$ fixed points. We classify all possible GKM graphs, and for each type of graph we construct a manifold, proving the existence. We show that six types occur. (P1) complex…
We consider coverings of real algebraic curves to real rational algebraic curves. We show the existence of such coverings having prescribed topological degree on the real locus. From those existence results we prove some results on…
We prove that every elliptic curve defined over a totally real number field of degree 4 not containing $\sqrt{5}$ is modular. To this end, we study the quartic points on four modular curves.
We consider the following configuration. Let $ABCD$ be a cyclic quadrilateral with circumcenter $O$, and for each vertex $X$, let $H_X$ be the orthocenter of the triangle formed by the other three. Then…
We study the set of lines that meet a fixed line and are tangent to two spheres and classify the configurations consisting of a single line and three spheres for which there are infinitely many lines tangent to the three spheres that also…
We describe a method to show a plane quartic over a number field has no rational points. The method can be adapted to show that a curve does not have divisors of degree 1 or 2 and can be generalized to arbitrary smooth projective curves.…
We investigate point-line geometries whose singular subspaces correspond to binary equidistant codes. The main result is a description of automorphisms of these geometries. In some important cases, automorphisms induced by non-monomial…
With an explicit example, we confirm a conjecture by Neumann and Wahl that there exist cusps with no Galois cover by a complete intersection. Some computational techniques are reviewed, and a method for deciding whether a given cusp has a…