Related papers: Decartes' Perfect Lens
Let $Y$ be the complement of a plane quartic curve $D$ defined over a number field. Our main theorem confirms the Lang-Vojta conjecture for $Y$ when $D$ is a generic smooth quartic curve, by showing that its integral points are confined in…
Let W -> X be a real smooth projective 3-fold fibred by rational curves. J. Koll\'ar proved that, if W(R) is orientable, then a connected component N of W(R) is essentially either a Seifert fibred manifold or a connected sum of lens spaces.…
A singular foliation on a complete riemannian manifold M is said to be riemannian if each geodesic that is perpendicular at one point to a leaf remains perpendicular to every leaf it meets. We prove that the regular leaves are equifocal,…
A k-arc in a Dearguesian projective plane whose secants meet some external line in k-1 points is said to be hyperfocused. Hyperfocused arcs are investigated in connection with a secret sharing scheme based on geometry due to Simmons. In…
We prove that the focal set generated by the reflection of a point source off a translation invariant surface consists of two sets: a curve and a surface. The focal curve lies in the plane orthogonal to the symmetry direction containing the…
Any two homologous surfaces of the same genus embedded in a smooth 4-manifold X with simply-connected complements are shown to be smoothly isotopic in the connected sum of X and the product of a 2-sphere with itself, if the surfaces are…
We classify the smooth projective symmetric G-varieties with Picard number one (and G semisimple). Moreover we prove a criterion for the smoothness of the simple (normal) symmetric varieties whose closed orbit is complete. In particular we…
We establish some relations between the perimeter, the area and the visual angle of a planar compact convex set. Our first result states that Crofton's formula is the unique universal formula relating the visual angle, length and area.…
In this paper, we characterize the class of {\em contraction perfect} graphs which are the graphs that remain perfect after the contraction of any edge set. We prove that a graph is contraction perfect if and only if it is perfect and the…
The {\em focal curve} of an immersed smooth curve $\gamma:s\mapsto \gamma(s)$, in Euclidean space $\R^{m+1}$, consists of the centres of its osculating hyperspheres. The focal curve may be parametrised in terms of the Frenet frame of…
We classify torsion-free real-analytic affine connections on compact oriented real-analytic surfaces which are locally homogeneous on a nontrivial open set, without being locally homogeneous on all of the surface. In particular, we prove…
Light rays incident on a transparent object of uniform refractive index undergo deflections, which uniquely characterize the surface geometry of the object. Associated with each point on the surface is a deflection map (or spectrum) which…
Based on the geodesic equation in a static spherically symmetric metric we discuss the rotation curve and gravitational lensing. The rotation curve determines one function in the metric without assuming Einstein's equations. Then lensing is…
Discrete conjugate systems are quadrilateral nets with all planar faces. Discrete orthogonal systems are defined by the additional property of all faces being concircular. Their geometric properties allow one to consider them as proper…
We apply a categorical lens to the study of betweenness relations by capturing them within a topological category, fibred in lattices, and study several subcategories of it. In particular, we show that its full subcategory of finite objects…
Let S be a Dedekind scheme with field of functions K. We show that if X_K is a smooth connected proper curve of positive genus over K, then it admits a N\'eron model over S, i.e., a smooth separated model of finite type satisfying the usual…
We present a singlet lens that behaves like a telescope, it expands light rays and at the incoming and outgoing the rays are collimated. Therefore we called singlet lens telescope. The analytical model adapts the second surface when the…
We prove that any smooth rational projective surface over the field of complex numbers has an open covering consisting of 3 subsets isomorphic to affine planes.
The main purpose of this paper is to prove the smooth local orbital linearization theorem for smooth vector fields which admit a complete set of first integrals near a nondegenerate singular point. The main tools used in the proof of this…
We consider the scattering and lens rigidity of compact surfaces with boundary that have a trapped geodesic. In particular we show that the flat cylinder and the flat M\"obius strip are determined by their lens data. We also see by example…