Lions-type compactness and Rubik actions on the Heisenberg group

In this paper we prove a Lions-type compactness embedding result for symmetric unbounded domains of the Heisenberg group. The natural group action on the Heisenberg group TeX is provided by the unitary group U(n) × {1} and its appropriate subgroups, which will be used to construct subspaces with specific symmetry and compactness properties in the Folland-Stein’s horizontal Sobolev space TeX. As an application, we study the multiplicity of solutions for a singular subelliptic problem by exploiting a technique of solving the Rubik-cube applied to subgroups of U(n) × {1}. In our approach we employ concentration compactness, group-theoretical arguments, and variational methods.

Modulus method and radial stretch map in the Heisenberg group

We develop a modulus method for surface families inside a domain in the Heisenberg group and we prove that the stretch map between two Heisenberg spherical rings is a minimiser for the mean distortion among the class of contact quasiconformal maps between these rings which satisfy certain boundary conditions.

The effect of projections on dimension in the Heisenberg group

We prove analogs of classical almost sure dimension theorems for Euclidean projection mappings in the first Heisenberg group, equipped with a sub-Riemannian metric.

Sharp comparison and maximum principles via horizontal normal mapping in the Heisenberg group

In this paper we solve a problem raised by Gutiérrez and Montanari about comparison principles for H−convex functions on subdomains of Heisenberg groups. Our approach is based on the notion of the sub-Riemannian horizontal normal mapping and uses degree theory for set-valued maps. The statement of the comparison principle combined with a Harnack inequality is applied to prove the Aleksandrov-type maximum principle, describing the correct boundary behavior of continuous H−convex functions vanishing at the boundary of horizontally bounded subdomains of Heisenberg groups. This result answers a question by Garofalo and Tournier. The sharpness of our results are illustrated by examples.

Steiner’s formula in the Heisenberg group

Steiner’s tube formula states that the volume of an ϵ-neighborhood of a smooth regular domain in Rn is a polynomial of degree n in the variable ϵ whose coefficients are curvature integrals (also called quermassintegrals). We prove a similar result in the sub-Riemannian setting of the first Heisenberg group. In contrast to the Euclidean setting, we find that the volume of an ϵ-neighborhood with respect to the Heisenberg metric is an analytic function of ϵ that is generally not a polynomial. The coefficients of the series expansion can be explicitly written in terms of integrals of iteratively defined canonical polynomials of just five curvature terms.

Uniqueness of minimisers for a Grötzsch-Belinskiĭ type inequality in the Heisenberg group

The modulus method introduced by H. Grötzsch yields bounds for a mean distortion functional of quasiconformal maps between two annuli mapping the respective boundary components onto each other. P. P. Belinskiĭ studied these inequalities in the plane and identified the family of all minimisers. Beyond the Euclidean framework, a Grötzsch-Belinskiĭ-type inequality has been previously considered for quasiconformal maps between annuli in the Heisenberg group whose boundaries are Korányi spheres. In this note we show that--in contrast to the planar situation--the minimiser in this setting is essentially unique.

Harmonic Analysis On Heisenberg Nilmanifolds

In these lectures we plan to present a survey of certain aspects of harmonic analysis on a Heisenberg nilmanifold Gammakslash}H-n. Using Weil-Brezin-Zak transform we obtain an explicit decomposition of L-2 (Gammakslash}H-n) into irreducible subspaces invariant under the right regular representation of the Heisenberg group. We then study the Segal-Bargmann transform associated to the Laplacian on a nilmanifold and characterise the image of L-2 (GammakslashH-n) in terms of twisted Bergman and Hermite Bergman spaces.

Revisiting Riesz transforms on Heisenberg groups

We characterise higher order Riesz transforms on the Heisenberg group and also show that they satisfy dimension-free bounds under some assumptions on the multipliers. Using transference theorems, we deduce boundedness theorems for Riesz transforms on the reduced Heisenberg group and hence also for the Riesz transforms associated to multiple Hermite and Laguerre expansions.

Lipschitz extensions of maps between Heisenberg groups

Let $\H^n$ be the Heisenberg group of topological dimension 2n+1 . We prove that if n is odd, the pair of metric spaces $(\H^n, \H^n)$ does not have the Lipschitz extension property.

Nonexistence Results of Solutions of Semilinear Differential Inequalities with Temperal Fractional Derivative on the Heinsenberg Group

2000 Mathematics Subject Classification: 26A33, 33C60, 44A15, 35K55

Descriptions of operators in quantum mechanics

The problem of expressing a general dynamical variable in quantum mechanics as a function of a primitive set of operators is studied from several points of view. In the context of the Heisenberg commutation relation, the Weyl representation for operators and a new Fourier-Mellin representation are related to the Heisenberg group and the groupSL(2,R) respectively. The description of unitary transformations via generating functions is analysed in detail. The relation between functions and ordered functions of noncommuting operators is discussed, and results closely paralleling classical results are obtained.

On the structure of analytic vectors for the Schrodinger representation

This article deals with the structure of analytic and entire vectors for the Schrodinger representations of the Heisenberg group. Using refined versions of Hardy's theorem and their connection with Hermite expansions we obtain very precise representation theorems for analytic and entire vectors.

3-MANIFOLD GROUPS, KÄHLER GROUPS AND COMPLEX SURFACES

Let G be a Kahler group admitting a short exact sequence 1 -> N -> G -> Q -> 1 where N is finitely generated. (i) Then Q cannot be non-nilpotent solvable. (ii) Suppose in addition that Q satisfies one of the following: (a) Q admits a discrete faithful non-elementary action on H-n for some n >= 2. (b) Q admits a discrete faithful non-elementary minimal action on a simplicial tree with more than two ends. (c) Q admits a (strong-stable) cut R such that the intersection of all conjugates of R is trivial. Then G is virtually a surface group. It follows that if Q is infinite, not virtually cyclic, and is the fundamental group of some closed 3-manifold, then Q contains as a finite index subgroup either a finite index subgroup of the three-dimensional Heisenberg group or the fundamental group of the Cartesian product of a closed oriented surface of positive genus and the circle. As a corollary, we obtain a new proof of a theorem of Dimca and Suciu in Which 3-manifold groups are Kahler groups? J. Eur. Math. Soc. 11 (2009) 521-528] by taking N to be the trivial group. If instead, G is the fundamental group of a compact complex surface, and N is finitely presented, then we show that Q must contain the fundamental group of a Seifert-fibered 3-manifold as a finite index subgroup, and G contains as a finite index subgroup the fundamental group of an elliptic fibration. We also give an example showing that the relation of quasi-isometry does not preserve Kahler groups. This gives a negative answer to a question of Gromov which asks whether Kahler groups can be characterized by their asymptotic geometry.

UNIQUENESS OF SOLUTIONS TO SCHRODINGER EQUATIONS ON H-TYPE GROUPS

This paper deals with the Schrodinger equation i partial derivative(s)u(z, t; s) - Lu(z, t; s) = 0; where L is the sub-Laplacian on the Heisenberg group. Assume that the initial data f satisfies vertical bar f(z, t)vertical bar less than or similar to q(alpha)(z, t), where q(s) is the heat kernel associated to L. If in addition vertical bar u(z, t; s(0))vertical bar less than or similar to q(beta)(z, t), for some s(0) is an element of R \textbackslash {0}, then we prove that u(z, t; s) = 0 for all s is an element of R whenever alpha beta < s(0)(2). This result holds true in the more general context of H-type groups. We also prove an analogous result for the Grushin operator on Rn+1.