Related papers: A solution to de Groot's absolute cone conjecture
Let an n-algebra mean an algebra over the chain complex of the little n-cubes operad. We give a proof of Kontsevich's conjecture, which states that for a suitable notion of Hochschild cohomology in the category of n-algebras, the Hochschild…
We identify a universal group $U$ and show that $\Bbb H^3/G$ is $S^3$ when $G$ is a finite index subgroup of $U$ generated by elements of finite order.
We construct the universal central extension of the Lie algebra of exact divergence-free vector fields, proving a conjecture by Claude Roger from 1995. The proof relies on the analysis of a Leibniz algebra that underlies these vector…
A famous conjecture of Erd\H os and Straus is that for every integer $n\ge2$, $4/n$ can be represented as $1/x+1/y+1/z$, where $x,y,z$ are positive integers. This conjecture was generalized to $5/n$ by Sierpi\'nski, and then Schinzel…
The Jacobian Conjecture states that any locally invertible polynomial system in C^n is globally invertible with polynomial inverse. C. W. Bass et al. (1982) proved a reduction theorem stating that the conjecture is true for any degree of…
The Cannon Conjecture from the geometric group theory asserts that a word hyperbolic group that acts effectively on its boundary, and whose boundary is homeomorphic to the 2-sphere, is isomorphic to a Kleinian group. We prove the following…
In 1998 the physicist Andre Trautman conjectured that a three-dimensional CR manifold is locally realizable if and only if its canonical bundle admits a closed nowhere zero section. We review the relevant definitions, give the physical…
We show that if $d\ge 4$ is even, then one can find two essentially different convex bodies such that the volumes of their maximal sections, central sections, and projections coincide for all directions.
The real Jacobian conjecture was posed by Randall in 1983. This conjecture asserts that if $F=\left(f_1,\ldots ,f_n\right):\mathbb{R}^n\rightarrow\mathbb{R}^n$ is a polynomial map such that $\det DF\left(\mathbf{x}\right)\neq0$ for all…
Let $K$ be a proper (i.e., closed, pointed, full convex) cone in ${\Bbb R}^n$. An $n\times n$ matrix $A$ is said to be $K$-primitive if there exists a positive integer $k$ such that $A^k(K \setminus \{0 \}) \subseteq$ int $K$; the least…
In 1963, Anton Kotzig famously conjectured that $K_{n}$, the complete graph of order $n$, where $n$ is even, can be decomposed into $n-1$ perfect matchings such that every pair of these matchings forms a Hamilton cycle. The problem is still…
In accordance with the Bing-Borsuk conjecture \cite{bb}, we show that if $X$ is an $n$-dimensional homogeneous metric $ANR$ compactum and $x\in X$, then there is a local basis at x consisting of connected open sets U such that the…
Let $X\rightarrow S$ be a fibration of relative dimension at most two and let $(X,\Delta)$ be a klt pair for which $K_X+\Delta \equiv_S 0$. We show that there are only finitely many Mori chambers and Mori faces in the movable effective cone…
A folklore conjecture asserts the existence of a constant $c_n > 0$ such that $\#\mathcal{F}_n(X) \sim c_n X$ as $X\to \infty$, where $\mathcal{F}_n(X)$ is the set of degree $n$ extensions $K/\mathbb{Q}$ with discriminant bounded by $X$.…
The dimensional-deconstruction prescription of Arkani-Hamed, Cohen, Kaplan, Karch and Motl provides a mechanism for recovering the $A$-type (2,0) theories on $T^2$, starting from a four-dimensional $\mathcal N=2$ circular-quiver theory. We…
A double disk bundle is any smooth closed manifold obtained as the union of the total spaces of two disk bundles, glued together along their common boundary. The Double Soul Conjecture asserts that a closed simply connected manifold…
Let $\left( 1\to N_m\to G_m\to Q_m\to 1 \right)_{m\in \mathbb{N}}$ be a sequence of extensions of finite groups such that their coarse disjoint unions have bounded geometry. In this paper, we show that if the coarse disjoint unions of…
In the town of Saratov where he was prisonner, Poncelet, continuing the work of Euler and Steiner on polygons simultaneously inscribed in a circle and circumscribed around an other circle, proved the following generalization : "Let C and D…
The Kepler conjecture asserts that no packing of congruent balls in three-dimensional Euclidean space has density greater than that of the face-centered cubic packing. In 1998, Sam Ferguson and I announced a computer-assisted proof of this…
Let f:X -> Y be an onto map between compact spaces such that all point-inverses of f are zero-dimensional. Let A be the set of all functions u:X -> I=[0,1] such that $u[f^\leftarrow(y)]$ is zero-dimensional for all y in Y. Do almost all…