# Questions tagged [heisenberg-groups]

The heisenberg-groups tag has no usage guidance.

28
questions

**2**

votes

**1**answer

100 views

### Semidirect product of metaplectic group and Heisenberg group

I know that Symplectic group has an action on Heisenberg group.
I am wondering how to extend this to non-trivial two fold metaplectic covering?
Thanks in advance!

**16**

votes

**1**answer

473 views

### Carnot-Carathéodory metric

The metric in sub-Riemannian geometry is often called the Carnot-Carathéodory metric.
Question 1. What is the origin of this name? Who was the first to introduce it?
I believe that the "...

**3**

votes

**1**answer

199 views

### Heisenberg groups, Carnot groups and contact forms

The horizontal distribution in the Heisenberg group is the kernel of the standard contact form:
$$
\alpha = dt + 2 \sum_{j=1}^n (x_j \, dy_j - y_j \, dx_j).
$$
Question. Can one describe ...

**1**

vote

**0**answers

40 views

### Explicit Quasisymmetric embedding into Euclidean space

It is known that every doubling metric space admits quasisymmetric map into Euclidean space. My question is, is there a known explicit (closed-form) quasisymmetry from the Heisenberg group into a ...

**8**

votes

**1**answer

255 views

### The extension class of a finite Heisenberg group

Let $\mathbb{K}$ be a field of characteristic $\neq 2$ and let $(V, \omega)$ be a symplectic vector space. Then the Heisenberg group $\mathsf{Heis}(V, \, \omega)$ is the central extension of the ...

**5**

votes

**0**answers

182 views

### Contact geometry: approximation of Legendrian mappings

Let $\alpha$ be a standard contact form on $\mathbb{R}^{2n+1}$. We say that a map $f:\mathbb{R}^k\to\mathbb{R}^{2n+1}$ contact if $f^*\alpha=0$.
Question 1. Is it true that a $C^1$-contact ...

**4**

votes

**1**answer

144 views

### Legendre's symbol in Schrödinger model for the Weil representation

I have a question concerning the Schrödinger model for the Weil representation over a finite field $\mathbb{F}_q$.
The way to present the action of the Weil representation $\omega$ of $Sp(2n,\...

**9**

votes

**3**answers

520 views

### Non embedding of the Heisenberg group

It is well known that Heisenberg groups cannot be bi-Lipschitz embedded into Euclidean spaces. A standard proof uses the fact that a Lipschitz mapping from a Heisenberg group into a Euclidean space is ...

**7**

votes

**0**answers

240 views

### Lipschitz homotopy groups

There is an extensive literature on Lipschitz homotopies of Lipschitz maps. But I haven't seen anything about Lipschitz homotopy groups. We have introduced this notion in an article that you can find
...

**5**

votes

**0**answers

111 views

### Modules of algebras with idempotents and the Stone-von Neumann theorem

The Stone-von Neumann theorem tells us that all unitary irreducible representations of the integrated/exponentiated/Weyl form of the canonical commutation relations (CCR) algebra in finite dimensions ...

**1**

vote

**0**answers

75 views

### Factoring in discrete Heisenberg group $H_3(\mathbb{Z})$

Let $H_3(\mathbb{Z})$ be the discrete Heisenberg group generated by $x=\begin{pmatrix}
1 & 1 & 0\\
0 & 1 & 0\\
0 & 0 & 1\\
\end{pmatrix},\ \ y=\begin{pmatrix}
1 & 0 &...

**3**

votes

**0**answers

120 views

### About the purpose of introducing '“groups of Heisenberg type”

I would like to know, can we say that the "groups of Heisenberg type" where introduced by A. Kaplan in "Kaplan, A. (1980). Fundamental solutions for a class of hypoelliptic PDE generated by ...

**1**

vote

**0**answers

166 views

### Unitary dual of the Heisenberg group over non-archimedean local fields of characteristic two

What is the unitary dual of the Heisenberg group over non-archimedean local fields k of characteristic two? This is well-known for the real Heisenberg group and in fact, when local fields have ...

**10**

votes

**1**answer

506 views

### Non-isomorphic Heisenberg groups over rings

Suppose $R_1,R_2$ are finite unital commutative rings. Consider Heisenberg groups $H_3(R_1)$ and $H_3(R_2)$ (upper unitriangular marticies $3 \times 3$).
Proposition. If $R_1 \not\cong R_2$ (as ...

**1**

vote

**0**answers

130 views

### Why the sub-Laplacian $\Delta_{sub}$ on the Heisenberg group $H^3 $ is sub-elliptic but not elliptic?

I want to know why the sub-Laplacian $\Delta_{sub}= X^2 + Y^2$ on the Heisenberg group $H^3 = \mathbb C \times \mathbb R$ is sub-elliptic but not elliptic, where $X$ and $Y$ are the left-invariant ...

**-1**

votes

**1**answer

188 views

### Representations of the $3\times 3$ Heisenberg group [closed]

I am trying to understand how the Heisenberg group is defined because I would like to understand the (irreducible) representations.
Following this article given a symplectic bilinear form $\langle, \...

**6**

votes

**1**answer

1k views

### Difference between the Laplacian and the sub-Laplacian of a Lie group

Given a Lie group $G$, what is the difference between the Laplacian $\Delta$ and the sub-Laplacian $\Delta_{sub}$ of $G$. And what are the properties that we lose when going from sub-Laplace to ...

**6**

votes

**0**answers

208 views

### How to prove that the Laplace oparator of the Heisenberg group is sub-elliptic?

The Heisenberg group $H^3$ is the set $\mathbb C\times \mathbb R$ endowed with the group law
$$ (z,t)\cdot(w,s) =\left (z+w, \,t+s+\tfrac{1}{2}\Im m(z \bar{w})\right). $$
For $z=x+ i y \in \mathbb C$ ...

**5**

votes

**3**answers

416 views

### Show that the Laplacian operator on the Heisenberg group is negative

The Heisenberg group $H^3$ is the set $\mathbb C\times \mathbb R$ endowed with the group law
$$ (z,t)\cdot(w,s) =\left (z+w, \,t+s+\tfrac{1}{2}\Im m(z \bar{w})\right). $$
For $z=x+ i y \in \mathbb C$ ...

**3**

votes

**1**answer

173 views

### dirichlet problem in the heisenberg group

Good morning everybody.
I was looking just for a quick reference to know whether the Dirichlet problem has a solution in the Heisenberg group, that is $\mathbb R^3$ endowed with coordinates $(x,y,z)$ ...

**4**

votes

**1**answer

238 views

### Horizontal Sobolev space on Carnot group

This question is connected with my previous: Heisenberg group: function without vertical derivative.
Here I am trying to look from another side: what is a difference between Sobolev space and ...

**8**

votes

**0**answers

363 views

### Heisenberg group: function without vertical derivative

Let $\mathbb H$ be Heisenberg group with vector fields
$$
X=\partial_x - \frac12y\partial_t,\quad Y=\partial_y + \frac12x\partial_t,\quad T=\partial_t
$$
and $U\subset\mathbb H$ is an open set.
I am ...

**4**

votes

**1**answer

895 views

### Irreducible representation of Heisenberg group with characteristic 2?

As we all know that the irreducible representation for Heisenberg group can be classified easily when the group is over a finite field $\mathbb{F}_q$, where $q=p^n$ and $p$ is a prime greater than $2$....

**2**

votes

**1**answer

211 views

### totally geodesic submanifold of Heisenberg group

Let $G= \left\{ \begin{pmatrix} 1&a&c\\0&1&b\\0&0&0 \end{pmatrix} \mid a,b,c\in \mathbb{R} \right\}$ be the Heisenberg group. Is there a compact codimension one submanifold ...

**6**

votes

**0**answers

160 views

### Joint representation of the semi-direct product of the metaplectic group and Heisenberg group

Given a symplectic space $W$ over a local field $F$ and a additive character $\psi$ of $F$, we can construct the Weil representation $\omega_\psi$, which can be viewed as a representation of the semi-...

**3**

votes

**2**answers

315 views

### Hesse pencil and Schrodinger representation of Heisenberg group

Let $E$ be a smooth elliptic curve over an algebraically closed field of characteristic zero. Let $\mathcal{L}$ be a line bundle of degree $3$. Heisenberg group $H_3$ acts on global sections of $\...

**2**

votes

**0**answers

239 views

### Finite Heisenberg groups action on cohomology of line bundles

Let $E$ be a smooth elliptic curve over algebraically closed field $k$ of characteristic zero, $\mathcal{L}$ is a line bundle over $E$, $\operatorname{deg}(\mathcal{L})=n \geq 1$. Then I define the ...

**3**

votes

**0**answers

423 views

### Harmonic analysis on the Heisenberg group

It is well known that:
Theorem 1. For $f\in L^{2}(\mathbb H_{n}=\text{The Heisenberg group of dimesion } 2n+1)$ we have the expansion
$$f(z, s)= (2\pi)^{-n} \sum_{k=0}^{\infty} \int_{0}^{\infty} f \...