Related papers: A colorful Goodman-Pollack-Wenger theorem
The generalized Lax conjecture asserts that each hyperbolicity cone is a linear slice of the cone of positive semidefinite matrices. We prove the conjecture for a multivariate generalization of the matching polynomial. This is further…
In memory of Marcos Moshinsky, who promoted the algebraic study of the harmonic oscillator, some results recently obtained on an infinite family of deformations of such a system are reviewed. This set, which was introduced by Tremblay,…
The forcing method is a powerful tool to prove the consistency of set-theoretic assertions relative to the consistency of the axioms of set theory. Laver's theorem and Bukovsk\'y's theorem assert that set-generic extensions of a given…
In this paper we show the validity, under certain geometric conditions, of Wheeler's thin sandwich conjecture for higher dimensional theories of gravity. We extend the results shown by R. Bartnik and G. Fodor for the 3-dimensional case in…
We study the congeniality property of algebras, as defined by Bao, He, and Zhang, in order to establish a version of Auslander's theorem for various families of filtered algebras. It is shown that the property is preserved under homomorphic…
The basic disentanglement theorem established by the present authors states that estimates on a weighted geometric mean over (convex) families of functions can be disentangled into quantitatively linked estimates on each family separately.…
We prove a general Russo-Seymour-Welsh result valid for any invariant planar percolation process satisfying positive association. This means that the probability of crossing a rectangle in the long direction is related by a homeomorphism to…
We prove Hadwiger's Conjecture for $\{\text{co-claw}, \text{co-gem}\}$-free graphs and $\{\text{fork}, \text{antifork}\}$-free graphs, where the co-claw is the disjoint union of a triangle and a vertex, the co-gem is the disjoint union of a…
Let $P$ be the image of a period map. We discuss progress towards a conjectural Hodge theoretic completion $\overline{P}$, an analogue of the Satake-Baily-Borel compactification in the classical case. The set $\overline{P}$ is defined and…
A well-known combinatorial theorem says that a set of n non-collinear points in the plane determines at least n distinct lines. Chen and Chv\'atal conjectured that this theorem extends to metric spaces, with an appropriated definition of…
We initiate the study of the asymptotic topology of groups that can be realized as fundamental groups of smooth complex projective varieties with holomorphically convex universal covers (these are called here as holomorphically convex…
The edge-of-the-wedge theorem in several complex variables gives the analytic continuation of functions defined on the poly upper half plane and the poly lower half plane, the set of points in $\mathbb{C}^d$ with all coordinates in the…
We prove an abstract compactness theorem for a family of generalized Seiberg-Witten equations in dimension three. This result recovers Taubes' compactness theorem for stable flat $\mathbf{P}\mathrm{SL}_2(\mathbf{C})$-connections as well as…
Consider a smooth, projective family of canonically polarized varieties over a smooth, quasi-projective base manifold Y, all defined over the complex numbers. It has been conjectured that the family is necessarily isotrivial if Y is special…
Hadwiger's Theorem states that Euclidean-invariant convex-continuous valuations of definable sets are linear combinations of intrinsic volumes. We lift this result from sets to data distributions over sets, specifically, to definable…
All upper semicontinuous and SL(n) invariant valuations on convex bodies containing the origin in their interiors are completely classified. Each such valuation is shown to be a linear combination of the Euler characteristic, the volume,…
Braverman, Finkelberg and Nakajima introduced the generalized affine Grassmannian slices $\overline{\mathcal W}^{\lambda}_{\mu}$ and showed that they are Coulomb branches of $3d$ $\mathcal N=4$ gauge theories. We prove a conjecture of…
The group of piecewise projective homeomorphisms of the line provides straightforward counter-examples to the so-called von Neumann conjecture. The examples are so simple that many additional properties can be established.
Multilinear varieties, defined as the sets of rational points of varieties cut out by multilinear functions, were first introduced and studied by Gowers and Mili\'{c}evi\'{c}[Proc. Edinb. Math. Soc., 2021] for finite $\mathbb{K}$. In this…
Ball's complex plank theorem states that if $v_1,\dots,v_n$ are unit vectors in $\mathbb{C}^d$, and $t_1,\dots,t_n$, non-negative numbers satisfying $\sum_{k=1}^nt_k^2 = 1,$ then there exists a unit vector $v$ in $\mathbb{C}^d$ for which…