Related papers: Simple geodesics on a punctured surface

We construct two classes of singular Kobayashi hyperbolic surfaces in $P^3$. The first consists of generic projections of the cartesian square $V = C \times C$ of a generic genus $g \ge 2$ curve $C$ smoothly embedded in $P^5$. These…

Greg McShane introduced a remarkable identity for the lengths of simple closed geodesics on cusped hyperbolic surfaces. This was subsequently generalized by the authors to hyperbolic cone-surfaces, possibly with cusps and/or geodesic…

We study unions of fundamental domains of a Fuchsian group, especially those with hyperbolic plane metric realizing the metric of the corresponding hyperbolic surface. We call these unions the \textit{geodesic covers} of the Fuchsian group…

In this paper we are interested in a quasi-linear hyperbolic stochastic differential equation (HSPDE) when the vector field is merely bounded and measurable. Although the deterministic counterpart of such equation may be ill-posed (in the…

Let M be a Margulis spacetime whose associated complete hyperbolic surface S has compact convex core. Generalizing the correspondence between closed geodesics on M and closed geodesics on S, we establish an orbit equivalence between…

We assign some kind of invariant manifolds to a given integrable PDE (its discrete or semi-discrete variant). First, we linearize the equation around its arbitrary solution $u$. Then we construct a differential (respectively, difference)…

We prove that geodesic balls centered at some base point are isoperimetric in the real hyperbolic space $H_{\mathbb R}^n$ endowed with a smooth, radial, strictly log-convex density on the volume and perimeter. This is an analogue of the…

The Hessian of a general cubic surface is a nodal quartic surface, hence its desingularisation is a K3 surface. We determine the transcendental lattice of the Hessian K3 surface for various cubic surfaces (with nodes and/or Eckardt points…

We review previous results providing sufficient conditions to determine the global dynamics for equivariant maps of the plane with a unique fixed point which is also hyperbolic.

We construct explicit families of quasi-hyperbolic and hyperbolic surfaces. This is based on earlier work of Vojta, and the recent expansion and generalization of it by the first author. In this paper we further extend it to the singular…

The aim of this note is to give a quick algebraic proof of (the combinatorial part of) the classification theorem for compact real surfaces, whose classical proofs (as in the Massey book and in the Conway ZIP proof) are based on surgery…

We construct nontrivial homomorphisms from the quasi group of some cubic surfaces over $\bbF_{\!p}$ into a group. We show experimentally that the homomorphisms constructed are the only possible ones and that there are no nontrivial…

In this paper, we introduce canonical principal direction (CPD) submanifolds with higher codimension in Euclidean spaces. We obtain the complete classification of surfaces endowed with CPD in the Euclidean 4-space.

We classify weakly complete constant Gaussian curvature $-1<K<0$ surfaces in the hyperbolic three-space in terms of holomorphic quadratic differentials. For this purpose, we first establish a loop group method for constant Gaussian…

We develop a geometric version of the circle method and use it to compute the compactly supported cohomology of the space of rational curves through a point on a smooth affine hypersurface of sufficiently low degree.

This article presents a new way to classify geodesics on a cone in the Euclidean 3-space. This proof is obtained considering our main result, which establishes the necessary and sufficient conditions that a curve in space must satisfy: to…

The geometry of closed surfaces equipped with a Euclidean metric with finitely many conical points of arbitrary angle is studied. The main result is that the set of closed geodesics is dense in the space of geodesics.

We give a constructive proof of the Hodge conjecture for complex $K3$ surfaces that does not rely on Torelli-type results. Starting with an arbitrary rational $(1,1)$-class $\alpha\in H^{1,1}(X,\mathbb{Q})$, we algorithmically build a…

Constructive-deductive method for plane Euclidean geometry is proposed and formalized within Coq Proof Assistant. This method includes both postulates that describe elementary constructions by idealized geometric tools (pencil, straightedge…

We discover a simple construction of a four-dimensional family of smooth surfaces of general type with $p_g(S)=q(S)=0$, $K^2_S=3$ with cyclic fundamental group $C_{14}$. We use a degeneration of the surfaces in this family to find…