Related papers: On the Gromov non-embedding theorem

A categorification of the Heisenberg algebra is constructed in by Khovanov using graphical calculus, and left with a conjecture on the isomorphism between the Heisenberg algebra and Grothendieck ring of the constructed category. We give a…

We prove general a priori estimates of solutions of a class of quasilinear elliptic system on Carnot groups. As a consequence, we obtain several non existence theorems. The results are new even in the Euclidean setting.

We establish a noncommutative generalisation of the Borel-Weil theorem for the Heckenberger-Kolb calculi of the quantum Grassmannians. The result is formulated in the framework of quantum principal bundles and noncommutative complex…

We compute the Markov convexity invariant of the continuous infinite dimensional Heisenberg group $\mathbb{H}_\infty$ to show that it is Markov 4-convex and cannot be Markov $p$-convex for any $p < 4$. As Markov convexity is a biLipschitz…

We investigate some of the effects of the lack of compactness in the critical Folland-Stein-Sobolev embedding in very general (possible non-smooth) domains, by proving via De Giorgi's $\Gamma$-convergence techniques that optimal functions…

We generalize the Embedding Theorem of Eisenbud-Harris from classical Brill-Noether theory to the setting of Hurwitz-Brill-Noether theory. More precisely, in classical Brill-Noether theory, the embedding theorem states that a general linear…

We give a simple proof of Dorronsoro's theorem and use similar ideas to establish an equivalence for embeddings of vector fields.

We give a new proof of the Krohn-Rhodes Theorem using local divisors. The proof provides nearly as good a decomposition in terms of size as the holonomy decomposition of Eilenberg, avoids induction on the size of the state set, and works…

In this paper, we develop a new index theory for manifolds with polyhedral boundary. As an application, we prove Gromov's dihedral extremality conjecture regarding comparisons of scalar curvatures, mean curvatures and dihedral angles…

In this note, we generalize Gromov's reduction \cite{Gro20} from the aspherical conjecture to the generalized filling radius conjecture to the smooth $\mathbb Q$-homology vanishing conjecture for hypersurface. In particular, we can show…

For any intrinsic Gromov hyperbolic space we establish a Gehring-Hayman type theorem for conformally deformed spaces. As an application, we prove that any complete intrinsic hyperbolic space with atleast two points in the Gromov boundary…

In this paper, by using Gr\"obner-Shirshov bases, we show that in the following classes, each (resp. countably generated) algebra can be embedded into a simple (resp. two-generated) algebra: associative differential algebras, associative…

We prove a homotopy theorem for sheaves. Its application shortens and simplifies the proof of many Oka principles such as Gromov's Oka principle for elliptic submersions.

We demonstrate how a generic automated theorem prover can be applied to establish the non-orderability of groups. Our approach incorporates various tools such as positive cones, torsions, generalised torsions and cofinal elements.

In the theory of combinatorial algebras, there is a sequence of embeddings between Kleene's second model, van Oosten's model, and Scott's graph model. We prove that none of these embeddings can be reversed. We also prove nonembedding…

The purpose of this note is to show in an accessible and self-contained way the existence of an isometric algebra embedding from $H^\infty(\D)$ into $L^\infty(\T)$, without appealing to Fatou's classical theorem on non-tangential limits of…

We prove the No Invariant Line Fields conjecture for a class of generalized postcritically-finite branched covers on higher-dimensional Riemannian manifolds. Moreover, we establish a quasisymmetric uniformization theorem for this class of…

We investigate some effects of the lack of compactness in the critical Sobolev embedding in the Heisenberg group.

Let $\mathbb{K}=\mathbb{R}$ or $\mathbb{C}$. For all but finitely many $m\in \mathbb{N}$, we exhibit the first examples of non-locally rigid, Zariski dense, robust quasi-isometric embeddings of hyperbolic groups in…

We study irreducible specializations, in particular when group-preserving specializations may not exist. We obtain a criterion in terms of embedding problems. We include several applications to analogs of Schinzel's hypothesis H and to the…