Related papers: The tie theorems

In this paper, we compute the number of general points through which a general Brill-Noether curve in $\mathbb{P}^4$ passes. We also prove an analogous theorem when some points are constrained to lie in a transverse hyperplane. As explained…

Two sets $A$ and $B$ of points in the plane are \emph{mutually avoiding} if no line generated by any two points in $A$ intersects the convex hull of $B$, and vice versa. In 1994, Aronov, Erd\H os, Goddard, Kleitman, Klugerman, Pach, and…

In this paper, we develop an Isabelle/HOL library of order-theoretic fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results about complete orders, often with only antisymmetry or…

We formulate a theory of shape valid for objects of arbitrary dimension whose contours are path connected. We apply this theory to the design and modeling of viable trajectories of complex dynamical systems. Infinite families of…

In this paper, we establish a common fixed point theorem for two pairs of occasionally weakly compatible single and set-valued maps satisfying a strict contractive condition in a metric space. Our result extends many results existing in the…

Let $T: A\to B$ be a (not necessarily surjective) linear isometry between two real JB$^*$-triples. Then for each $a\in A$ there exists a tripotent $u_a$ in the bidual, $B'',$ of $B$ such that \begin{enumerate}[$(a)$] \item…

We prove configuration theorems that generalize the Desargues, Pascal, and Pappus theorems. Our generalization of the Desargues theorem allows us to introduce the structure of an Abelian group on the (properly extended) set of triangles…

We consider the ring of invariants of n points on the projective line. The space (P^1)^n // PGL_2 is perhaps the first nontrivial example of a Geometry Invariant Theory quotient. The construction depends on the weighting of the n points.…

In this paper, we study a point-hyper plane incidence theorem in matrix rings, which generalizes all previous works in literature of this direction.

We consider shifts of a set $A\subseteq\mathbb{N}$ by elements from another set $B\subseteq\mathbb{N}$, and prove intersection properties according to the relative asymptotic size of $A$ and $B$. A consequence of our main theorem is the…

Given a small category C, we show that there is a universal way of expanding C into a model category, essentially by formally adjoining homotopy colimits. The technique of localization becomes a method for imposing `relations' into these…

Bezout's theorem gives us the degree of intersection of two properly intersecting projective varieties. As two curves in P^3 never intersect properly, Bezout's theorem cannot be directly used to bound the number of intersection points of…

Let $(C,p_1,\ldots,p_n)$ be a general curve. We consider the problem of enumerating covers of the projective line by $C$ subject to incidence conditions at the marked points. These counts have been obtained by the first named author with…

We develop the theory of CW(A)-complexes, which generalizes the classical theory of CW-complexes, keeping the geometric intuition of J.H.C. Whitehead's original theory. We obtain this way generalizations of classical results, such as…

We establish improved finite field Szemeredi-Trotter and Beck type theorems. First we show that if P and L are a set of points and lines respectively in the plane F_p^2, with |P|,|L| \leq N and N<p, then there are at most C_1…

Using Morse theory and a new relative homological linking of pairs, we prove a ``homological linking principle'', thereby generalizing many well known results in critical point theory.

In this article we explain the Buium--Coleman approach to the Manin--Mumford conjecture, and outline its generalisations. As an illustration, we give a $p$-adic proof of a theorem of Bombieri, Masser and Zannier on curves in tori.

We consider first-passage percolation on the edges of $\mathbb{Z}^2 \times k,$ namely the slab of width $k$. Each edge is assigned independently a passage time of either 0 (with probability $1-p_c(\mathbb{S}_k)$) or 1 ((with probability…

The first part of this note contains a review of basic properties of the variety of lines contained in an embedded projective variety and passing through a general point. In particular we provide a detailed proof that for varieties defined…

The theory of Lie point symmetries is applied to study the generalized Zakharov system with two unknown parameters. The system reduces into a three-dimensional real value functions system, where we find that admits five Lie point…