Related papers: Strongly Obtuse Rational Lattice Triangles

We describe an algorithm which has enabled us to give a complete list, without repetitions, of all closed oriented irreducible 3-manifolds of complexity up to 9. More interestingly, we have actually been able to give a "name" to each such…

A net $(x_\alpha)$ in a vector lattice $X$ is said to be {unbounded order convergent} (or uo-convergent, for short) to $x\in X$ if the net $(\abs{x_\alpha-x}\wedge y)$ converges to 0 in order for all $y\in X_+$. In this paper, we study…

Let $S$ be a smooth projective surface on a smooth threefold $X$ such that $X$ has Picard rank 1 and NS$(S)$ is generated by the restriction of divisors from X. We show that if $X$ satisfies the Bogomolov-Gieseker type inequality for tilt…

We study the unirationality of surface conic bundles $\pi\colon S\to\mathbb P^1$ over an arbitrary field $k$ with discriminant degree $d_S=8$, the first case beyond the del Pezzo range. We divide these surfaces in four families and produce…

Choice of an appropriate (3+1)-foliation of spacetime or a (2+1)-foliation of the Cauchy space, leads often to a substantial simplification of various mathematical problems in General Relativity Theory. We propose a new method to construct…

A finite graph is called a tricirculant if admits a cyclic group of automorphism which has precisely three orbits on the vertex-set of the graph, all of equal size. We classify all finite connected cubic vertex-transitive tricirculants. We…

The symmetry-rank of a riemannian manifold is by definition the rank of its isometry group. We determine precisely which smooth closed manifolds admit a positively curved metric with maximal symmetry-rank.

We consider arbitrary orderings of the edges entering each vertex of the (downward directed) Pascal graph. Each ordering determines an adic (Bratteli-Vershik) system, with a transformation that is defined on most of the space of infinite…

A rational triangle is a triangle with rational side lengths. We consider three different families of rational triangles having a fixed side and whose vertices are rational points in the plane. We display a one-to-one correspondence between…

Starting from any given rational-sided, right triangle, for example the $(3,4,5)$-triangle with area $6$, we use Euclidean geometry to show that there are infinitely many other rational-sided, right triangles of the same area. We show…

We show that the first order theory of the lattice of open sets in some natural topological spaces is $m$-equivalent to second order arithmetic. We also show that for many natural computable metric spaces and computable domains the first…

We focus on formulae $\exists X.\, \varphi(\vec{Y}, X)$ of monadic second-order logic over the full binary tree, such that the witness $X$ is a well-founded set. The ordinal rank $\mathrm{rank}(X) < \omega_1$ of such a set $X$ measures its…

A Riemannian manifold is a called a good rational expander in dimension $i$ if every $i$-cycle bounds a rational $i+1$-chain of comparatively small volume. We construct 3-manifolds which are good expanders in all dimensions. On the other…

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…

We prove two rigidity results for complete Riemannian three-manifolds of higher rank. Complete three-manifolds have higher spherical rank if an only if they are spherical space forms. Complete finite volume three-manifolds have higher…

The rank of a graph is defined to be the rank of its adjacency matrix. A graph is called reduced if it has no isolated vertices and no two vertices with the same set of neighbors. We determine the maximum order of reduced triangle-free…

We show that for those lattices of Voronoi's first kind with known obtuse superbasis, a closest lattice point can be computed in $O(n^4)$ operations where $n$ is the dimension of the lattice. To achieve this a series of relevant lattice…

We give a sufficient condition for a Brauer-Severi surface bundle over a rational 3-fold to not be stably rational. Additionally, we present an example that satisfies this condition and demonstrate the existence of families of Brauer-Severi…

Consider the d-dimensional lattice Z^d where each vertex is ``open'' or ``closed'' with probability p or 1-p, respectively. An open vertex v is connected by an edge to the closest open vertex w such that the dth co-ordinates of v and w…

Given an Archimedean vector lattice $E$, we present one elementary property of $E$ which is equivalent to the entire traditional list of axioms which makes $E$ a $\Phi$-algebra. We call a vector lattice with this property ``square closed".…