Related papers: Kochen-Specker Theorem: Two Geometric Proofs

We prove an analogue in Arakelov geometry of the Grothendieck-Riemann-Roch theorem.

Grayson, developing ideas of Quillen, has made computations of the K-theory of "semi-linear endomorphisms". In the present text we develop a technique to compute these groups in the case of Frobenius semi-linear actions. The main idea is to…

We give a list of statements on the geometry of elliptic threefolds phrased only in the language of topology and homological algebra. Using only notions from topology and homological algebra, we recover existing results and prove new…

We apply geometric tools to study dynamics of two- and threepeakon solutions of the Camassa--Holm equation. New proofs of asymptotic behavior of the solutions are given. In particular we recover well-known collision conditions. Additionally…

Using the local bijectivity of Keller maps, we give a proof of two-dimensional Jacobian conjecture.

We prove the Poisson geometric version of the Local Reeb Stability (from foliation theory) and of the Slice Theorem (from equivariant geometry). The result is also a generalization of Conn's linearization theorem from one-point leaves to…

A direct proof of the Steiner-Lehmus theorem has eluded geometers for over 170 years. The challenge has been that a proof is only considered direct if it does not rely on reductio ad absurdum. Thus, any proof that claims to be direct must…

A new example of a saturated Kochen-Specker (KS) type configuration of 64 rays in 8-dimensional space (the Hilbert space of a triple of qubits) is constructed. It is proven that this configuration has a tropical dimension 6 and that it…

A theory of Clebsch-Gordan coefficients for $SL(2, C)$ is given using only rational numbers. Features include orthogonality relations, recurrence relations, and Regge's symmetry group. Results follow from elementary representation theory…

We give new proofs of some well-known results from Invariant Theorey using the Kempf-Ness theorem.

Eberhard-type theorems are statements about the realizability of a polytope (or more general polyhedral maps) given the valency of its vertices and sizes of its polygonal faces up to a linear linear degree of freedom. We present new…

We give a new proof of the fact that Milnor-Witt K-theory has geometric transfers. The proof yields to a simplification of Morel's conjecture about transfers on contracted homotopy sheaves.

In a 2013 paper, Gromov proves that if smooth Riemannian metrics $g_i$ converge to a smooth Riemannian metric $g$ uniformly, and $g_i$ have scalar curvature uniformly bounded below, then $g$ shares the same scalar curvature lower bound. In…

The main goal of this article is to provide a proof of the Pederson-Roy-Szpirglas theorem about counting common real zeros of real polynomial equations by using basic results from Linear algebra and Commutative algebra. The main tools are…

Geometric algebra is the natural outgrowth of the concept of a vector and the addition of vectors. After reviewing the properties of the addition of vectors, a multiplication of vectors is introduced in such a way that it encodes the famous…

This article presents a clear proof of the Riemann Mapping Theorem via Riemann's method, uncompromised by any appeals to topological intuition.

We provide an alternative unified approach for proving the Pythagorean theorem (in dimension $2$ and higher), the law of sines and the law of cosines, based on the concept of shape derivative. The idea behind the proofs is very simple: we…

The famous Conway--Gordon--Sachs theorem for the complete graph on six vertices was extended to the general complete graph on $n$ vertices by Kazakov--Korablev as a congruence modulo $2$, and its integral lift was given by…

We derive inequalities for $n$ spin-1/2 systems under the assumption that the hidden-variable theoretical joint probability distribution for any pair of commuting observables is equal to the quantum mechanical one. Fine showed that this…

We present a geometric proof for the duality theorem of linear programming. Besides being self-contained and simple, the present approach also provides a transparent way for understanding this fundamental result.