Related papers: A Continuum Beck-type Theorem for Hyperplanes

In this paper, we prove well-posedness of the Fornberg-Whitham equation in Besov spaces $B_{2,r}^s$ in both the periodic and non-periodic cases. This will imply the existence and uniqueness of solutions in the aforementioned spaces along…

This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assisted by the Coq system. Fundamental properties are proven by…

Let $T$ be a countable complete first-order theory with a definable, infinite, discrete linear order. We prove that $T$ has continuum-many countable models. The proof is purely first-order, but raises the question of Borel completeness of…

We prove various results on the size and structure of subsets of vector spaces over finite fields which, in some sense, have too many mutually orthogonal pairs of vectors. In particular, we obtain sharp finite field variants of a theorem of…

We develop a family of simple rank one theories built over quite arbitrary sequences of finite hypergraphs. (This extends an idea from the recent proof that Keisler's order has continuum many classes, however, the construction does not…

We show that if an orientation-preserving homeomorphism of the plane has a topologically chain recurrent point, then it has a fixed point, generalizing the Brouwer plane translation theorem.

We prove a Horrocks-type splitting criterion for arbitrary smooth projective toric varieties under an additional hypothesis similar to the case of products of projective spaces by Eisenbud--Erman--Schreyer.

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…

We prove a new fixed point theorem of Schauder-type which applies to discontinuous operators in non-compact domains. In order to do so, we present a modification of a recent Schauder-type theorem due to Pouso. We apply our result to…

We study the question of finding smooth hyperplane sections to a pencil of hypersurfaces over finite fields.

We give a new proof of the Weyl-von Neumann-Berg theorem. Our proof improves Halmos' proof in 1972 by observing the fact that every compact set in the complex plane is the continuous image of a compact set in the real line.

Fixed point theorems are one of the many tools used to prove existence and uniqueness of differential equations. When the data involved contains products of distributions, some of these tools may not be useful. Thus rises the necessity to…

We give a short proof of the Gauss-Bonnet theorem for a real oriented Riemannian vector bundle $E$ of even rank over a closed compact orientable manifold $M$. This theorem reduces to the classical Gauss-Bonnet-Chern theorem in the special…

We extend the formula for the Chern classes of blow-ups of algebraic varieties due to Porteous and Lascu-Scott, and of symplectic and complex manifolds due to Geiges and Pasquotto, to the blow-ups of almost complex manifolds. Our approach…

Calabi and Cheng-Yau's Bernstein-type theorem asserts that an entire zero mean curvature graph in Lorentz-Minkowski $(n+1)$-space $\boldsymbol R^{n+1}_1$ which admits only space-like points is a hyperplane. Recently, the third and fourth…

The mirror theorem is generalized to any smooth projective variety X. That is, a fundamental relation between the Gromov-Witten invariants of X and Gromov-Witten invariants of complete intersections Y in X is established.

We prove an extension of the well-known combinatorial-topological lemma of E. Sperner to the case of infinite-dimensional cubes. It is obtained as a corollary to an infinitary extension of the Lebesgue Covering Dimension Theorem.

The purpose of this paper is to explain a method on the generalization of the Bertini-type theorem on standard graded rings to the non-standard graded case of certain type.

We reprove the strong Hanani-Tutte theorem on the projective plane. In contrast to the previous proof by Pelsmajer, Schaefer and Stasi, our method is constructive and does not rely on the characterization of forbidden minors, which gives…

We show that the hyperplane conjecture holds for the classes of $k$-intersection bodies with arbitrary measures in place of volume.