Related papers: A Restriction Theorem for M\'etivier Groups

We show that there exists an algorithm to decide any single equation in the Heisenberg group in finite time. The method works for all two-step nilpotent groups with rank-one commutator, which includes the higher Heisenberg groups. We also…

We generalize a result of Tao which extends Freiman's theorem to the Heisenberg group. We extend it to simply connected nilpotent Lie groups of arbitrary step.

A local limit theorem is proven on connected, simply connected nilpotent Lie groups, for a class of generating measures satisfying a moment condition and a condition on the characteristic function of the abelianization. The result extends…

We formulate and establish the central limit theorem for products of i.i.d. random variables on arbitrary simply connected nilpotent Lie groups, allowing a possible bias. Two new phenomena arise in the presence of a bias: (a) the walk…

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…

A version of Paley-Wiener like theorem for connected, simply connected nilpotent Lie groups is proven.

We prove that the Heisenberg groups can be distinguished from the other connected and simply connected Lie groups via their group $C^*$-algebras. The main step of the proof is a characterization of the nilpotent Lie groups among the…

In this article, we get the spectral solution $\mathcal{P}_{\mu}^{m}$ of operators $m(\mathcal{L}, -\Delta_\mathfrak{z})$, the joint functional calculus of the sub-Laplacian and Laplacian on the centre of M\'etivier group. Then, we give…

This article presents the $L^p$-Heisenberg--Pauli--Weyl uncertainty inequality for the group Fourier transform on a class of two-step nilpotent Lie groups, specifically the M\'etivier groups. This inequality quantitatively demonstrates that…

The Addition Theorem for the algebraic entropy of group endomorphisms of torsion abelian groups was proved in [4]. Later, this result was extended to all abelian groups [3] and, recently, to all torsion finitely quasihamiltonian groups [7].…

Strichartz characterized eigenfunctions of the Laplacian on Euclidean spaces by boundedness conditions which generalized a result of Roe for the one-dimensional case. He also proved an analogous statement for the sublaplacian on the…

We prove Beurling's theorem and $L^p-L^q$ Morgan's theorem for step two nilpotent Lie groups

We give an algorithm that decides whether a single equation in a group that is virtually a class $2$ nilpotent group with a virtually cyclic commutator subgroup, such as the Heisenberg group, admits a solution. This generalises the work of…

We establish necessary and sufficient conditions for existence of isometric immersions of a simply connected Riemannian manifold into a two-step nilpotent Lie group. This comprises the case of immersions into $H$-type groups.

Given $0\leq\alpha<1$, we define \[\begin{array}{lr} \mathbf{M}_\alpha f(u,v,t) = \sup_{ \mathbf{R} \ni (0,0,0)} {\rm vol} \{\mathbf{R}\}^{\alpha-1} \iiint_\mathbf{R}\left|f [(u,v,t)\odot(\xi,\eta,\tau)^{-1}]\right|d\xi d\eta d\tau…

We introduce and study the notion of $C^1_\mathbb{H}$-regular submanifold with boundary in sub-Riemannian Heisenberg groups. As an application, we prove a version of Stokes' Theorem for $C^1_\mathbb{H}$-regular submanifolds with boundary…

We first show that every group-theoretical category is graded by a certain double coset ring. As a consequence, we obtain a necessary and sufficient condition for a group-theoretical category to be nilpotent. We then give an explicit…

In this paper, we prove a spectral restriction theorem on the three-dimensional Heisenberg nilmanifold. Since this manifold is an $\mathbb S^1$-bundle over the flat torus $\mathbb T^2$, the result provides a sub-elliptic counterpart of…

We obtain an entire Liouville type theorem to the classical semilinear subcritical elliptic equation on Heisenberg group. A pointwise estimate near the isolated singularity was also proved. The soul of the proofs is an a priori integral…

We study the Grushin operators acting on $\mathbb{R}^{d_1}_x \times \mathbb{R}^{d_2}_t$ and defined by the formula \begin{equation*}…