Related papers: On the Pierce-Birkhoff Conjecture for Smooth Affin…

We consider the Zariski-Lipman Conjecture on free module of derivations for algebraic surfaces. Using the theory of non-complete algebraic surfaces, and some basic results about ruled surfaces, we will prove the conjecture for several…

We prove that the geometric Bogomolov conjecture for any abelian varieties is reduced to that for nowhere degenerate abelian varieties with trivial trace. In particular, the geometric Bogomolov conjecture holds for abelian varieties whose…

The $W_v$-Path Conjecture due to Klee and Wolfe states that any two vertices of a simple polytope can be joined by a path that does not revisit any facet. This is equivalent to the well-known Hirsch Conjecture. Klee proved that the…

Seymour conjectured that every oriented simple graph contains a vertex whose second neighborhood is at least as large as its first. Seymour's conjecture has been verified in several special cases, most notably for tournaments by Fisher. One…

This note has two purposes. First we establish that the map defined in [L, $\S 40.2.5$ (a)] is an isomorphism for certain admissible sequences. Second we show the map gives rise to a convex basis of Poincar\'e--Birkhoff--Witt (PBW) type for…

We prove that the $abc$-Conjecture implies upper bounds on Zsigmondy sets that are uniform over families of unicritical polynomials over number fields. As an application, we use the $abc$-Conjecture to prove that there exist uniform bounds…

Extending work of Chen, we prove the Weinstein conjecture in dimension three for strongly fillable contact structures with either non-vanishing first Chern class or with strong and exact filling having non-trivial canonical bundle. This…

This document provides a formal proof of Birkhoff's completeness theorem for multi-sorted algebras which states that any equational entailment valid in all models is also provable in the equational theory. More precisely, if a certain…

The concept of a skew root of a skew polynomial is used to introduce notions of algebraic closedness for $\sigma$-fields, that is, a field equipped with an endomorphism. It is shown that every $\sigma$-field can be embedded in algebraically…

A link in $S^3$ is called real algebraic if it is the link of an isolated singularity of a polynomial map from $\mathbb{R}^4$ to $\mathbb{R}^2$. It is known that every real algebraic link is fibered and it is conjectured that the converse…

Firstly we show a generalization of the (1,1)-Lefschetz theorem for projective toric orbifolds and secondly we prove that on 2k-dimensional quasi-smooth hypersurfaces coming from quasi-smooth intersection surfaces, under the Cayley trick,…

Counterparts of several classical results of number theory are proven for the ring of polynomials with coefficients in a number field. A theorem of Milnor that determines the Witt ring of a function field is applied to prove an analogue of…

A standard theorem in nonsmooth analysis states that a piecewise affine function $F:\mathbb R^n\rightarrow\mathbb R^n$ is surjective if it is coherently oriented in that the linear parts of its selection functions all have the same nonzero…

We prove that for fixed $r\ge k\ge 2$, every $k$-uniform hypergraph on $n$ vertices having minimum codegree at least $(1-(\binom{r-1}{k-1}+\binom{r-2}{k-2})^{-1})n+o(n)$ contains the $(r-k+1)$th power of a tight Hamilton cycle. This result…

In 2007, Dmytrenko, Lazebnik and Williford posed two related conjectures about polynomials over finite fields. Conjecture~1 is a claim about the uniqueness of certain monomial graphs. Conjecture~2, which implies Conjecture~1, deals with…

Inspired by the recent work of Chen-Sti\'enon-Xu on Atiyah classes associated to inclusions of Lie algebroids, we give a very simple criterium (in terms of those classes) for relative Poincar\'e-Birkhoff-Witt type results to hold. The tools…

The Milnor conjecture has been a driving force in the theory of quadratic forms over fields, guiding the development of the theory of cohomological invariants, ushering in the theory of motivic cohomology, and touching on questions ranging…

In this paper, we demonstrate a relation among Seiberg-Witten invariants which arises from embedded surfaces in four-manifolds whose self-intersection number is negative. These relations, together with Taubes' basic theorems on the…

We prove some Liouville-type theorems for positive harmonic functions on compact Riemannian manifolds with nonnegative Ricci curvature and strictly convex boundary, thereby confirming some cases of Wang's conjecture (J. Geom. Anal. 31,…

Various problems on integers lead to the class of congruence preserving functions on rings, i.e. functions verifying $a-b$ divides $f(a)-f(b)$ for all $a,b$. We characterized these classes of functions in terms of sums of rational…