Related papers: A Bertini-type theorem for free arithmetic linear …

We give a geometric proof of a well known theorem that describes splittings of a free group as an amalgamated product or HNN extension over the integers. The argument generalizes to give a similar description of splittings of a virtually…

We prove that every completely monotone function defined on a right-unbounded open interval admits a Newton series expansion at every point of that interval. This result can be viewed as an analog of Bernstein's little theorem for…

Herbrand's Theorem is a fundamental result in mathematical logic which provides a reduction of first-order formulas satisfied by a universal class to formulas free of existential quantifiers. In this work, a simpler and self-contained…

We prove a discrete analog of a certain four-vertex theorem for space curves. The smooth case goes back to the work of Beniamino Segre and states that a closed and smooth curve whose tangent indicatrix has no self-intersections admits at…

We study germs of smooth vector fields in a neighborhood of a fixed point having an hyperbolic linear part at this point. It is well known that the "small divisors" are invisible either for the smooth linearization or normal form problem.…

Fair termination is the property of programs that may diverge "in principle" but that terminate "in practice", i.e. under suitable fairness assumptions concerning the resolution of non-deterministic choices. We study a conservative…

We prove that cocompact arithmetic lattices in a simple Lie group are uniformly discrete if and only if the Salem numbers are uniformly bounded away from $1$. We also prove an analogous result for semisimple Lie groups. Finally, we shed…

We construct a nonminimal graded free resolution of Segre embeddings of $P^1\times P^1$, although we don't compute all maps. We use this to prove an explicit formula for certain nonzero entries in the graded Betti table, at the end of the…

We report a new result on the nice section construction used in the definition of rest frame systems in general relativity. This construction is needed in the study of non trivial gravitational radiating systems. We prove existence,…

A theorem of Wiegerinck asserts that the Bergman space of an open subset of the complex numbers is either infinite-dimensional or trivial. Recently, this has been generalized to holomorphic vector bundles over the projective line by the…

We prove a far-reaching strengthening of Szemer\'edi's regularity lemma for intersection graphs of pseudo-segments. It shows that the vertex set of such a graph can be partitioned into a bounded number of parts of roughly the same size such…

We prove the Lipman-Zariski conjecture for complex surface singularities with $p_g - g - b \le 2$. Here $p_g$ is the geometric genus, $g$ is the sum of the genera of the exceptional curves and $b$ is the first Betti number of the dual…

In this article, we construct a $\theta$-density for the global sections of ample Hermitian line bundles on a projective arithmetic variety. We show that this density has similar behaviour to the usual density in the Arakelov geometric…

The classical Theorem of Mumford states that a topologically regular complex algebraic surface in $\mathbb{C}^3$ with an isolated singular point is smooth. We proof that any Lipschitz regular complex algebraic set is smooth. No restriction…

In this paper, we study rational sections of the relative Picard variety of a linear system on a smooth projective variety. Specifically, we prove that if the linear system is basepoint-free and the locus of non-integral divisors has…

Given a linear equation $\mathcal{L}$, a set $A$ of integers is $\mathcal{L}$-free if $A$ does not contain any `non-trivial' solutions to $\mathcal{L}$. This notion incorporates many central topics in combinatorial number theory such as…

This note presents an analytic technique for proving the linear independence of certain small subsets of real numbers over the rational numbers. The applications of this test produce simple linear independence proofs for the subsets of…

In this paper we prove parts of a conjecture of Herzog giving lower bounds on the rank of the free modules appearing in the linear strand of a graded $k$-th syzygy module over the polynomial ring. If in addition the module is…

Let $G_n=\mathrm{GL}_n(F)$ be the general linear group over a non-Archimedean local field $F$. We formulate and prove a necessary and sufficient condition on determining when \[ \mathrm{Hom}_{G_n}(\pi, \pi') \neq 0 \] for irreducible smooth…

We prove a flat strip theorem for 2-dimensional ptolemaic spaces.