Related papers: A geometric proof of the Kochen-Specker no-go theo…
The Ax-Kochen Theorem is a purely algebraic statement about the zeros of homogeneous polynomials over the p-adic numbers, but it was originally proved using techniques from mathematical logic. This document, the author's undergraduate…
Let M be a compact locally conformal hyperkaehler manifold. We prove a version of Kodaira-Nakano vanishing theorem for M. This is used to show that M admits no holomorphic differential forms, and the cohomology of the structure sheaf…
Compatibility between the realist tenants of value-definiteness and causality is called into question by several realism impossibility proofs in which their formal elements are shown to conflict. We review how this comes about in the…
We provide a permutation-invariant version of the Koml\'os' theorem for non-negative random variables. The proof is quite elementary in the sense that it did not use the Axiom of Choice, and was based on a recent result in [3].
In a recent paper [Carcassi, Oldofredi and Aidala, Found Phys 54, 14 (2024)] it is claimed that the whole Harrigan--Spekkens framework of ontological models is inconsistent with quantum theory. They show this by showing that all pure…
A simple analytic proof of the formula known as the non-Abelian Stokes theorem is given. It is explicitly shown that the consistency of the formula is guaranteed by the Bianchi identity for the gauge field. An attempt is made to construct…
Menger's theorem tells us that if $S,T$ are sets of vertices in a graph $G$, then (for $k\ge0$) either there are $k+1$ vertex-disjoint paths between $S$ and $T$, or there is a set of $k$ vertices separating $S$ and $T$. But what if we want…
We present a K-theoritic approach to the Guillemin-Sternberg conjecture, about the commutativity of geometric quantization and symplectic reduction, which was proved by Meinrenken and Tian-Zhang. Besides providing a new proof of this…
In this expository note we give proof of the Weierstrass gap theorem in Cohomology terminology. We analyze gap sequence for finding possible gaps and non-gaps on X.
We prove a general embedding theorem for Cohen--Macaulay curves (possibly nonreduced), and deduce a cheap proof of the standard results on pluricanonical embeddings of surfaces, assuming vanishing H^1(2K_X)=0.
Recently Hod proved a no-go theorem that static scalar fields cannot form spherically symmetric boson stars in the asymptotically flat background. On the other side, scalar fields can be coupled to the gradient according to next-to-leading…
We prove that for any reductive group $G$ of adjoint type cuspidal automorphic twisted D-modules have non-vanishing quantum Whittaker coefficients. The argument provides a microlocal interpretation of quantum Whittaker coefficients for any…
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.
We construct the geometric Langlands functor in one direction (from the automorphic to the spectral side) in characteristic zero settings (i.e., de Rham and Betti). We prove that various forms of the conjecture (de Rham vs Betti, restricted…
No-Signalling is a fundamental constraint on the probabilistic predictions made by physical theories. It is usually justified in terms of the constraints imposed by special relativity. However, this justification is not as clear-cut as is…
In this paper we give a geometric proof of the Karpelevich's theorem that asserts that a semisimple Lie subgroup of isometries, of a symmetric space of non compact type, has a totally geodesic orbit. In fact, this is equivalent to a…
We prove a noncommutative variant of Saskin's classical theorem -- on the connection between Choquet boundaries for function spaces and Korovkin sets -- for operator systems generating separable Type I C*-algebras. The main result implies…
In a previous paper with Adam Brandenburger, we used sheaf theory to analyze the structure of non-locality and contextuality. Moreover, on the basis of this formulation, we showed that the phenomena of non-locality and contextuality can be…
John Horton Conway's Cosmological Theorem, about Audioactive sequences, for which no extant proof existed, is given a computer-generated proof, hopefully for good.
Specker's principle, the condition that pairwise orthogonal propositions must be jointly orthogonal, has been much investigated recently within the programme of finding physical principles to characterise quantum mechanics. It largely…