Related papers: A generalization of Pythagoras on a surface

We describe some theoretical results on triangulations of surfaces and we develop a theory on roots, decompositions and genus-surfaces. We apply this theory to describe an algorithm to list all triangulations of closed surfaces with at most…

A general local center manifold theorem around stationary trajectories is proved for nonlinear cocycles acting on measurable fields of Banach spaces.

Esnault-Viehweg developed the theory of cyclic branched coverings $\tilde X\to X$ of smooth surfaces providing a very explicit formula for the decomposition of $H^1(\tilde X,\mathbb{C})$ in terms of a resolution of the ramification locus.…

Let C be an ACM (projectively normal) nondegenerate smooth curve in projective 3-space, and suppose C is general in its Hilbert scheme - this is irreducible once the postulation is fixed. Answering a question posed by Peskine, we show the…

We generalise Bogomolov's inequality to all coherent torsion-free sheaves on a smooth projective surface.

We give a combinatorial proof, using the hyperbolicity of the curve graphs, of the bounded geodesic image theorem of Masur and Minsky. Recently it has been shown that curve graphs are uniformly hyperbolic, thus a universal bound can be…

In the paper, we give a Schur-Toponogov theorem in Riemannian geometry, which not only generalizes Schur's and Toponogov's theorem but also indicates their relation. Inspired by its proof, we also supply a new proof of Toponogov's theorem…

For a hyperbolic surface S of finite type we consider the set A(S) of angles between closed geodesics on S. Our main result is that there are only finitely many rational multiples of \pi in A(S).

We develop a theory of residues for arithmetic surfaces, establish the reciprocity law around a point, and use the residue maps to explicitly construct the dualizing sheaf of the surface. These are generalisations of known results for…

In this article we show a tecnique based on the Weierstrass product for the sine and cosine function and the bisection formula for the cotangent function that leads to a generalization of the classical Shafer-Fink inequality $ \frac{3…

We generalize the classical Ceva's and Menelaus's theorems to curvilinear triangles bounded by circular arcs. We introduce trilinear coordinates associated with such triangles and develop several geometric constructions. In particular, for…

We prove that the cosine law for spherical triangles and spherical tetrahedra defines integrable systems, both in the sense of multidimensional consistency and in the sense of dynamical systems.

We extend the Law of Sines to simplices in Euclidean spaces of any number of dimensions.

Solving a long-standing open question in convex geometry, we will show that typical convex surfaces contain points of infinite curvature in all tangent directions. To prove this, we use an easy curvature definition imitating the idea of…

A congruence is a surface in the Grassmannian ${\rm Gr}(2, 4)$. In this paper, we consider the normalization of congruence of bitangents to a hypersurface in $\mathbb P^3$. We call it the Fano congruence of bitangents. We give a criterion…

In this paper, we study the geometry of surfaces with the generalised simple lift property. This work generalises previous results by Bernstein and Tinaglia, and it is motivated by the fact that leaves of a minimal lamination obtained as a…

We formulate and prove a constant-curvature, holonomy-valued Lorentzian analogue of Minkowski theorem for generalized tetrahedra in the constant-curvature Lorentzian spaces ${\rm dS}^3$ and ${\rm AdS}^3$. Four non-trivial based ${\rm…

We study the interior angle sums of translation and geodesic triangles in the universal cover of Sl2(R) geometry. We prove that the angle sum is larger then pi for translation triangles and for geodesic triangles the angle sum can be…

An almost forgotten gem of Gauss tells us how to compute the area of a pentagon by just going around it and measuring areas of each vertex triangles (i.e. triangles whose vertices are three consecutive vertices of the pentagon). We give…

The Manin conjecture is established for Ch\^atelet surfaces over Q arising as minimal proper smooth models of the surface Y^2+Z^2=f(X) where f is a totally reducible polynomial of degree 3 without repeated roots. These surfaces do not…