Related papers: Kochen-Specker Theorem: Two Geometric Proofs

We give a short proof of the Morse index theorem for geodesics in semi-Riemannian manifolds by using K-theory. This makes the Morse index theorem reminiscent of the Atiyah-Singer index theorem for families of selfadjoint elliptic operators.

The assumptions needed to prove Cox's Theorem are discussed and examined. Various sets of assumptions under which a Cox-style theorem can be proved are provided, although all are rather strong and, arguably, not natural.

The purpose of this paper is to describe the basics of a dictionary between Chern-Simons levels in three-dimensional gauged linear sigma models (GLSMs) and the (coincidentally-named) Ruan-Zhang levels for twisted quantum K-theory in…

A proof based on the Chern-Gauss-Bonnet Theorem is given to Hopf Theorem concerning the degree of the Gauss map of a hypersurface in $\mathbb{R}^n$.

In their 2004 paper, Stretched Littlewood-Richardson and Kostka Coefficients, King, Tollu, and Toumazet conjectured that if a Littlewood-Richardson coefficient of value 2 is stretched by a factor of N, the resulting coefficient has value…

Hadwiger's transversal theorem gives necessary and sufficient conditions for the existence of a line transversal to a family of pairwise disjoint convex sets in the plane. These conditions were subsequently generalized to hyperplane…

Applying the classical Serre-Swan theorem, as this is extended to topological (non-normed) algebras, one attains a classification of elementary particles via their spin-structure. In this context, our argument is virtually based on a…

Two basic theorems of the theory of flexible polyhedra were proven by completely different methods: R. Alexander used analysis, namely, the Stokes theorem, to prove that the total mean curvature remains constant during the flex, while I.Kh.…

As a first application of a very old theorem, known as Herschel's theorem, we provide direct elementary proofs of several explicit expressions for some numbers and polynomials that are known in combinatorics. The second application deals…

Following and developing ideas of R. Karasev (Covering dimension using toric varieties, arXiv:1307.3437), we extend the Lebesgue theorem (on covers of cubes) and the Knaster-Kuratowski-Mazurkiewicz theorem (on covers of simplices) to…

We prove that (i) a generalization of the Steiner-Lehmus theorem due to A. Henderson holds in Bachmann's standard ordered metric planes, (ii) that a variant of Steiner-Lehmus holds in all metric planes, and (iii) that the fact that a…

In this article we investigate the notion and basic properties of Boolean algebras and prove the Stone's representation theorem. The relations of Boolean algebras to logic and to set theory will be studied and, in particular, a neat proof…

We study the differential properties of generalized arc schemes, and geometric versions of Kolchin's Irreducibility Theorem over arbitrary base fields. As an intermediate step, we prove an approximation result for arcs by algebraic curves.

We prove a generalization of a result of Peres and Schlag on the dimensions of certain exceptional sets of projections and then apply it to a geometric problem.

We give four new proofs of the directed version of Brook's Theorem and an NP-completeness result.

We present some new Stokes' type theorems on complete non-compact manifolds that extend, in different directions, previous work by Gaffney and Karp and also the so called Kelvin-Nevanlinna-Royden criterion for (p-)parabolicity. Applications…

The Riemann-Roch theorem is of utmost importance in the algebraic geometric theory of compact Riemann surfaces. It tells us how many linearly independent meromorphic functions there are having certain restrictions on their poles. The aim of…

We show that an experimental demonstration of quantum contextuality using 2 degrees of freedom of single neutrons based on a violation of an inequality derived from the Peres-Mermin proof of the Kochen-Specker theorem would be more…

We argue that a proof of the geometrical form of the Paley-Wiener theorems for the Dunkl transform in the literature is not correct.

Generalized tensor analysis in the sense of Colombeau's construction is employed to introduce a nonlinear distributional pseudo-Riemannian geometry. In particular, after deriving several characterizations of invertibility in the algebra of…