Related papers: On the Gromov non-embedding theorem

We show that there is a sequence of subsets of each discrete Heisenberg group for which the non-singular ergodic theorem holds. The sequence depends only on the group; it works for any of its non-singular actions. To do this we use a metric…

In this note we describe the embeddings of the Heisenberg group into the Cremona group.

In this paper we establish some subnormal embeddings of groups into groups with additional properties; in particular embeddings of countable groups into 2-generated groups with some extra properties. The results obtained are generalizations…

We consider the decision problem of whether a particular Gromov--Witten invariant on a partial flag variety is zero. We prove that for the $3$-pointed, genus zero invariants, this problem is in the complexity class ${\sf AM}$ assuming the…

We introduce an embedding of the free magma on a set A into the direct product of the free magma on a singleton set and the free semigroup on A. This embedding is then used to prove several theorems related to algebraic independence of…

We characterize group compactifications of discrete groups for which there exists an equivariant retraction onto the boundary. In particular, we prove an equivariant analogue of Brouwer's No-Retraction theorem for large classes of group…

This article provides an exposition of Emmy Murphy's work on loose Legendrian embeddings. After a brief review of the rudiments of contact topology, we state and discuss some foundational results from the theory of h-principles, providing…

We present a new and direct proof of Grothendieck's generic freeness lemma in its general form. Unlike the previously published proofs, it does not proceed in a series of reduction steps and is fully constructive, not using the axiom of…

In this paper, we study some basic geometric properties of pseudohermitian submanifolds of the Heisenberg groups. In particular, we obtain the uniqueness and existence theorems, and some rigidity theorems.

We discuss generalizations of the well-known theorem of Hilbert that there is no complete isometric immersion of the hyperbolic plane into Euclidean 3-space. We show that this problem is expressed very naturally as the question of the…

In this paper, we prove a Liouville theorem for the $2$-Hessian equation on the Heisenberg group $\mathbb{H}^n$. The result is obtained by choosing a suitable test function and using integration by parts to derive the necessary integral…

We provide new examples of $\mathrm{C}^*$-selfless groups and inclusions. In particular, we prove that the commensurator group ${\rm Comm}(H)$ of a torsion-free hyperbolic group $H$ is $\mathrm{C}^*$-selfless. Our approach involves showing…

The Heisenberg group, here denoted $H$, is the group of all $3\times 3$ upper unitriangular matrices with entries in the ring $\mathbb{Z}$ of integers. A.G. Myasnikov posed the question of whether or not the universal theory of $H$, in the…

It is a folk conjecture that for alpha > 1/2 there is no alpha-Hoelder surface in the subRiemannian Heisenberg group. Namely, it is expected that there is no embedding from an open subset of R^2 into the Heisenberg group that is Hoelder…

We prove a generalized version of the no-broadcasting theorem, applicable to essentially \emph{any} nonclassical finite-dimensional probabilistic model satisfying a no-signaling criterion, including ones with ``super-quantum'' correlations.…

We prove that a family of entire intrinsic minimal graphs in the Heisenberg group are not perimeter minimizing.

We present a short new proof of Cobham's theorem without using Kronecker's approximation theorem, making it suitable for generalization beyond automatic sequences.

We introduce a method for constructing J-complex discs. The method only uses the standard scheme for solving the Beltrami equation and the Schauder principle. As an application, we give a short self-contained proof of Gromov's Non-Squeezing…

We prove an exact analogue of Ingham's uncertainty principle for the group Fourier transform on the Heisenberg group. This is accomplished by explicitly constructing compactly supported functions on the Heisenberg group whose…

We introduce a broader class of nonassociative Ore extensions that unifies and generalizes several earlier constructions. We prove generalizations of Hilbert's Basis Theorem for this class, showing that they arise immediately from the…