Related papers: Penrose's eight-conic theorem
The outlines of a "Galois theory" for bimeromorphic geometry is here developed, via the study of model-theoretic definable binding groups in the theory CCM of compact complex spaces. As an application, a structure theorem about principal…
We refer here to the surprising construction made by Giuseppe Peano in 1890. He gave an example of a continuous function (called now the Peano curve) from the unit interval to the whole unit square. We show here the existence of a more…
We study the Penrose inequality and its rigidity for metrics with singular sets. Our result could be viewed as a complement of Theorem 1.1 of Lu and Miao (J. Funct. Anal. 281, 2021) and Theorem 1.2 of Shi, Wang and Yu (Math. Z. 291, 2019),…
A. Girand has constructed an explicit two-parameter family of flat connections over the complex projective plane $\mathbb{P}^2$. These connections have dihedral monodromy and their polar locus is a prescribed quintic composed of a conic and…
These notes are focused on three recent results in discrete random geometry, namely: the proof by Duminil-Copin and Smirnov that the connective constant of the hexagonal lattice is \sqrt{2+\sqrt 2}; the proof by the author and Manolescu of…
In this note, we will explain the connection between the Seven Circles Theorem and hyperbolic geometry, then prove a stronger result about hyperbolic geometry hexagons which implies the Seven Circles Theorem as a special case.
Kadison's Pythagorean theorem (2002) provides a characterization of the diagonals of projections with a subtle integrality condition. Arveson (2007), Kaftal, Ng, Zhang (2009), and Argerami (2015) all provide different proofs of that…
We generalize a previous result by Fabricius-Bjerre from curves in $\mathbb R^2$ to curves in $\mathbb R P^2$. Applied to the case of real algebraic curves, this recovers the signed count of bitangents of quartics introduced by Larson-Vogt…
Paul Erdos asked if, among sufficiently many points in general position, there are always $k$ points such that all the circles through $3$ of these $k$ points have different radii. He later proved that this is indeed the case. However, he…
In 1888, Hilbert proved that every non-negative quartic form f=f(x,y,z) with real coefficients is a sum of three squares of quadratic forms. His proof was ahead of its time and used advanced methods from topology and algebraic geometry. Up…
This paper provides a new simple proof of Hesse's theorem in projective geometry for any dimension.
We show that the natural nc-space attached to an intersection of three quadrics in P^7 is truly non-commutative. In particular, its associated numerical K-lattice is not isomorphic to the K-lattice of any smooth projective surface, so the…
The celebrated Poncelet porism is usually studied for a pair of smooth conics that are in a general position. Here we discuss Poncelet porism in the real plane - affine or projective, when that is not the case, i.e. the conics have at least…
Every polygon with n vertices in the complex projective plane is naturally associated with its adjoint curve of degree n-3. Hence the adjoint of a heptagon is a plane quartic. We prove that a general plane quartic is the adjoint of exactly…
Lovasz and Plummer conjectured in the 1970's that cubic bridgeless graphs have exponentially many perfect matchings. This conjecture has been verified for bipartite graphs by Voorhoeve in 1979, and for planar graphs by Chudnovsky and…
A new mneumonic device is shown to emerge in connection with O(7) numerical tensors exhibiting duality and reflecting the natural 7=(4+3) splitting of 7-dimensional space. Then Desargues' and Pappus' theorems are shown to be connected…
Reynolds' theory of relational parametricity formalizes parametric polymorphism for System F, thus capturing the idea that polymorphically typed System F programs always map related inputs to related results. This paper shows that Reynolds'…
The tensor product of two ordered vector spaces can be ordered in more than one way, just as the tensor product of normed spaces can be normed in multiple ways. Two natural orderings have received considerable attention in the past, namely…
We present a direct proof of the second conjecture made by M. Atiyah and P. Sutcliffe for the case of convex quadrilaterals. Unlike previous work on this conjecture, our proof does not require any computer aided computations. The new proof…
The pentagram map takes a planar polygon $P$ to a polygon $P'$ whose vertices are the intersection points of consecutive shortest diagonals of $P$. This map is known to interact nicely with Poncelet polygons, i.e. polygons which are…