Let $K$ be a local field of characteristic $p$, where $p$ is a prime number greater than 2. In particular, $(x+y)^p=x^p+y^p$ for $x,y\in K$.

The fake Heisenberg group is defined to be $$ G=\{\begin{pmatrix} 1&a&b\\ 0&1&a^p\\ 0&0&1\\ \end{pmatrix}: a,b\in K\}$$ It is a non-abelian, $K$-split connected algebraic group, which is also unipotent with nilpotent length two. Consider its Lie ring $$ \mathfrak{g}=\text{Log}(G)=\{\begin{pmatrix} 0&x&y\\ 0&0&x^p\\ 0&0&0\\ \end{pmatrix}: x,y\in K\}$$ Since $K$ is not perfect, $\mathfrak{g}$ is not stable under scalar multiplication. In particular, $\mathfrak{g}$ is not a vector Space and is different from Lie(G), the Lie algebra associated to G.

Q.1: Do we know the unitary dual $\hat{G}$ of $G$? Notice that $G$ is a central non-split extension of the additive group $K$: $$0\rightarrow K\rightarrow G \rightarrow K \rightarrow 0.$$ I can image to apply the Machey Machine to this group extension similar to the real Heisenberg groups.

Q.2: Is $G$ CCR? or type I?

Q.3: Let $\hat{\mathfrak{g}}$ be the Pontrjagin dual of the additive group $\mathfrak{g}$ and let $G$ act on $\hat{\mathfrak{g}}$ by the coadjoint action. Are all orbits closed or locally closed in $\hat{\mathfrak{g}}$? Recall that the adjoint action of $G$ on $\mathfrak{g}$ is defined by $Ad(g)(X)=gXg^{-1}$ for $g\in G$ and $X\in \mathfrak{g}$ and the coadjoint action of $G$ on $\hat{\mathfrak{g}}$ is defined by $Ad^*(g)(f)=f\circ Ad(g^{-1})$ for $f\in \hat{\mathfrak{g}}$.

Dear all, my motivation is about the Kirillov orbit method for unipotent Groups over a local field of positive characteristic (see Corollary 7.3 and Exapmple 8.3 in A general Kirillov Theory for locally compact nilpotent groups). It describes the unitary dual of $G$ by its coadjoint orbits. In order to do this, we need to know Q.3 has an affirmative answer according to Corollary 7.3 and Exapmple 8.3 in op. cit.

So if the associated Lie ring $\mathfrak{g}$ is a vector space (this is always the case if char(K)=0), then we can identify its Pontrygagin dual with its linear dual, on which the unipotent group $G$ acts algebraiclly by the coadjoint action. Since unipotent Groups act algebraiclly on an affine variety, all its orbits are closed. Then the orbit method (Corollary 7.3 in op. cit.) implies that the group $G$ is CCR and the Kirillov-orbit map is a homeomorphism. Hence, we have affirmative answers for all my questions.

For unipotent Groups over a local field $K$ with char(K)=p. I find the above obstruction. However, if we start with a Lie algebra $\mathfrak{g}$ (in particular, a vector space) with nilpotent length less that $p$ and consider the group $G=\exp(\mathfrak{g})$ obtained by exponentiating it, then we have affirmative answers for all my questions by exactly same argyments.

Remark that $\exp: \mathfrak{g}\rightarrow G, \exp(X)=\sum_{l=0}^{3}\frac{X^l}{l!}$ with the inverse $\text{Log}: G\rightarrow \mathfrak{g}: \text{Log}(g)=\sum_{l=1}^{3} \frac{(-1)^l}{l+1}(1-g)^l$.

smoothunipotent $K$-group using the BCH group law in a useful way, I think you need a torus action with very tightly controlled weights, but I see no such action for this example, so be clearer about this "exp" (definition, properties). $\endgroup$ – grghxy Jul 5 '15 at 14:04