Related papers: Korchagin's third conjecture
Let $G$ be a $d$-regular graph and let $F\subseteq\{0, 1, 2, \ldots, d\}$ be a list of forbidden out-degrees. Akbari, Dalirrooyfard, Ehsani, Ozeki, and Sherkati conjectured that if $|F|<\tfrac{1}{2}d$, then $G$ should admit an $F$-avoiding…
We use the Brill-Noether theory to prove the Green conjecture for exceptional curves on K3 surfaces. Such curves count among the few ones having Clifford dimension at least three. We obtain our result by adopting an infinitesimal approach…
The Second Neighborhood Conjecture of Seymour asserts that every oriented graph contains a vertex~$v$ satisfying $|\Npp(v)|\ge|\Np(v)|$. We introduce \emph{Pisa graphs} -- strongly connected oriented graphs~$D$ with $\Delta(D)=\max_{v\in…
Let C be a simple, closed, directed curve on the surface of a convex polyhedron P. We identify several classes of curves C that "live on a cone," in the sense that C and a neighborhood to one side may be isometrically embedded on the…
Associated with a prime homology class $\beta \in P_2(X,\Z)$ (i.e. $\beta=p\alpha$ and $\alpha \in H_2(X,\Z)$ imply $p=1$ or $p$ is an odd prime) on a symplectic three-manifold with vanishing first Chern class, we count the embedded…
We say that a graph $G$ has an {\em odd $K_4$-subdivision} if some subgraph of $G$ is isomorphic to a $K_4$-subdivision and whose faces are all odd holes of $G$. For a number $\ell\geq 2$, let $\mathcal{G}_{\ell}$ denote the family of…
Fix integers $r\geq 4$ and $i\geq 2$ (for $r=4$ assume $i\geq 3$). Assuming that the rational number $s$ defined by the equation $\binom{i+1}{2}s+(i+1)=\binom{r+i}{i}$ is an integer, we prove an upper bound for the genus of a reduced and…
We prove that if $D$ is a digraph of maximum outdegree and indegree at least $k$, and minimum semidegree at least $k/2$ that contains no oriented $4$-cycles, then $D$ contains each oriented tree $T$ with~$k$ arcs. This can be slightly…
We classify nonnegatively curved simply connected 4-manifolds with circle symmetry up to equivariant diffeomorphisms. The main problem is rule out knotted curves in the singular set of the orbit space. As an extension of this work we…
Let $E$ be an elliptic curve over $\Bbb{Q}$ with the given Weierstrass equation $ y^2=x^3+ax+b$. If $D$ is a squarefree integer, then let $E^{(D)}$ denote the $D$-quadratic twist of $E$ that is given by $E^{(D)}: y^2=x^3+aD^2x+bD^3$. Let…
Let $\mathbb{F}_q$ denote a finite field of order $q$. A rational function $r(x)\in \mathbb{Q}(x)$ is said to be arithmetically exceptional if it induces a permutation on $\mathbb{P}^1(\mathbb{F}_p)$ for infinitely many primes $p$. Based on…
If two closed Jordan curves in the plane have precisely one point in common, then it is called a {\em touching point}. All other intersection points are called {\em crossing points}. The main result of this paper is a Crossing Lemma for…
Let $M$ be a connected, closed, oriented three-manifold and $K$, $L$ two rationally null-homologous oriented simple closed curves in $M$. We give an explicit algorithm for computing the linking number between $K$ and $L$ in terms of a…
We prove that if a curve of a non-isotrivial family of abelian varieties over a curve contains infinitely many isogeny orbits of a finitely generated subgroup of a simple abelian variety then it is special.
We propose an Artinian version of Berger's Conjecture for curves, concerning the module of K\"ahler differentials of an algebra. Our version implies Berger's Conjecture in characteristic 0. We establish our Artinian Berger Conjecture in a…
A minimal counterexample to the Erd\H{o}s-Gy\'arf\'as conjecture is a graph of minimum possible order and size with minimum degree at least 3 that contains no cycle whose length is a power of 2. Markstr\"om observed that any such graph must…
We study elliptic curves of the form $x^3+y^3=2p$ and $x^3+y^3=2p^2$ where $p$ is any odd prime satisfying $p\equiv 2\bmod 9$ or $p\equiv 5\bmod 9$. We first show that the $3$-part of the Birch-Swinnerton-Dyer conjecture holds for these…
The convex hull of a set K in space consists of points which are, in a certain sense, "surrounded" by K. When K is a closed curve, we define its higher hulls, consisting of points which are "multiply surrounded" by the curve. Our main…
Menger's Edge Theorem asserts that there exist $k$ pairwise edge-disjoint paths between two vertices in an undirected graph if and only if a deletion of any $k-1$ or less edges does not disconnect these two vertices. Alternatively, there…
Let $M$ be a smooth $4k$-dimensional orientable closed manifold, and assume that $M$ has at most two non-zero Pontrjagin numbers which are associated to the top dimensional Pontrjagin class and the square of the middle dimensional…