Questions tagged [heisenberg-groups]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2
votes
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
3answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
3answers
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
2answers
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
0answers
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
0answers
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 \...