On Lattice Coverings of Nil Space by Congruent Geodesic Balls

Nil geometry is one of the eight 3-dimensional Thurston geometries, it can be derived from W. Heisenberg’s famous real matrix group. The aim of this paper is to study lattice-like ball coverings in Nil space. We introduce the notion of the density of the considered coverings and give upper and lower estimates to it, moreover in Section 3, we formulate a conjecture for the ball arrangement of the least dense latticelike geodesic ball covering and give its covering density ${\triangle \approx 1.42900615}$ . The homogeneous 3-spaces have a unified interpretation in the projective 3-sphere and in our work we will use this projective model.     

Sur la cohomologie des variétés hyperboliques de dimension 7 trialitaires

In this paper we study the relation between two notions of largeness that apply to a set of positive integers, namely Nil _d –Bohr0 and SG* _k , as introduced by Host and Kra [HK11]. We prove that any Nil _d –Bohr₀ set is necessarily SG* _k where k is effectively bounded in terms of d. This partially resolves a conjecture of Host and Kra.     

GENERALIZED WAVELETS AND INVERSION OF THE RADON TRANSFORM ON THE LAGUERRE HYPERGROUP

Let X=R ₊ ⁿ ×R denote the underlying manifold of polyradial functions on the Heisenberg group H_n. We construct a generalized translation on X=R ₊ ⁿ ×R, and establish the Plancherel formula on L²(X, dμ). Using the Gelfand transform we give the condition of generalized wavelets on L²(X,dμ). Moreover, we show the reconstruction formulas for wavelet packet trnasforms and an inversion formula of the Radon transform on X.     

A note on nil power serieswise Armendariz rings

A ring R is called nil power serieswise Armendariz if $ \forall f = \sum\limits_{i = 0}^\infty {a_i X^i } $ \forall f = \sum\limits_{i = 0}^\infty {a_i X^i } and $ g = \sum\limits_{i = 0}^\infty {b_i X^i } $ g = \sum\limits_{i = 0}^\infty {b_i X^i } in R[[X]] such that f g ∈ Nil(R)[[X]], then a _i b _j ∈ Nil(R) for all i and j. In this note we characterize completely nil power serieswise Armendariz rings with their nilradical Nil(R) (where the nilradical is the set of nilpotent elements). We prove that a ring is nil power serieswise Armendariz if and only if Nil(R) is an ideal of R. We prove that each power serieswise Armendariz ring is nil power serieswise Armendariz and we give examples of nil power serieswise Armendariz rings.     

Contact quasiconformal immersions

Contact immersions of contact manifolds endowed with the associated Carnot-Carathéodory (CC) metric (for example, immersions of the Heisenberg group H ³ ～ ? _CC ³ in itself) are considered. It is assumed that the manifolds have the same dimension and the immersions are quasiconformal with respect to the CC metric. The main assertion is as follows: A quasiconformal immersion of the Heisenberg group in itself, just as a quasiconformal immersion of any contact manifold of conformally parabolic type in a simply connected contact manifold, is globally injective; i.e., such an immersion is an embedding, which, in addition, is surjective in the case of the Heisenberg group. Thus, the global homeomorphism theorem, which is well known in the space theory of quasiconformal mappings, also holds in the contact case.     

Lorentzian Geometry of the Heisenberg Group

In this work we prove the existence of totally geodesic two-dimensional foliation on the Lorentzian Heisenberg group H ₃. We determine the Killing vector fields and the Lorentzian geodesics on H ₃.     

Generalized wavelets and inversion of the radon transform on the laguerre hypergroup

Let X= Rn+ × R denote the underlying manifold of polyradial functions on the Heisenberg group Hn.We construct a generalized translation on X=Rn+ × R, and establish the Plancherel formula on L2(X,dμ).Using the Gelfand transform we give the condition of generalized wavelets on L2(X,dμ). Moreover, we show the reconstruction formulas for wavelet packet trnasforms and an inversion formula of the Radon transform on X.     

Higher order parallel surfaces in the Heisenberg group

We give a classification of k-parallel surfaces in the three-dimensional Heisenberg group. In particular, we prove that every k-parallel surface in the Heisenberg group is a vertical cylinder over a polynomial spiral of degree at most k−1.     

Distributional solutions of Burgers' equation and intrinsic regular graphs in Heisenberg groups

In the present paper we will characterize the continuous distributional solutions of Burgers' equation as those which induce intrinsic regular graphs in the first Heisenberg group H¹≡R³, endowed with a left-invariant metric d_∞ equivalent to its Carnot-Carathéodory metric. We will also extend the characterization to higher Heisenberg groups Hn≡R2n+1.     

3-manifold Groups and Nonpositive Curvature

We prove that the fundamental group of any compact Haken manifold of zero Euler characteristic, which is neither Nil nor Sol, is nonpositvely curved on the large scale. Submitted: August 1997, Revised version: January 1998     

The cohomology of the cotangent bundle of Heisenberg groups

Given a parabolic subalgebra g₁×n of a semisimple Lie algebra, Kostant (Ann. Math. 1963) and Griffiths (Acta Math. 1963) independently computed the g₁ invariants in the cohomology group of n with exterior adjoint coefficients. By a theorem of Bott (Ann. Math. 1957), this is the cohomology of the associated compact homogeneous space with coefficients in the sheaf of local holomorphic forms. In this paper we determine explicitly the full module structure, over the symplectic group, of the cohomology group of the Heisenberg Lie algebra with exterior adjoint coefficients. This is the cohomology of the cotangent bundle of the Heisenberg group.     

The C*-algebras of the Heisenberg group and of thread-like Lie groups

We describe the C*-algebras of the Heisenberg group H _n , n??? 1, and the thread-like Lie groups G _N , N??? 3, in terms of C*-algebras of operator fields.     

Best Constants for Moser-Trudinger Inequalities, Fundamental Solutions and One-Parameter Representation Formulas on Groups of Heisenberg Type

We derive the explicit fundamental solutions for a class of degenerate (or singular) one-parameter subelliptic differential operators on groups of Heisenberg (H) type. This extends the results of Kaplan of the sub-Laplacian on H-type groups, which in turn generalizes Folland's result on the Heisenberg group. As an application, we obtain a one-parameter representation formula for Sobolev functions of compact support on H-type groups. By choosing the parameter equal to the homogeneous dimension Q and using the Moser-Trudinger inequality for the convolutional type operator on stratified groups obtained in [18], we get the following theorem which gives the best constant for the Moser-Trudinger inequality for Sobolev functions in H-type groups. Let ${\Bbb G}We derive the explicit fundamental solutions for a class of degenerate (or singular) one-parameter subelliptic differential operators on groups of Heisenberg (H) type. This extends the results of Kaplan of the sub-Laplacian on H-type groups, which in turn generalizes Folland's result on the Heisenberg group. As an application, we obtain a one-parameter representation formula for Sobolev functions of compact support on H-type groups. By choosing the parameter equal to the homogeneous dimension Q and using the Moser-Trudinger inequality for the convolutional type operator on stratified groups obtained in [18], we get the following theorem which gives the best constant for the Moser-Trudinger inequality for Sobolev functions in H-type groups. Let ? be any group of Heisenberg type whose Lie algebra is g enerated by m left invariant vector fields and with a q-dimensional center. Let and Then, with A _Q as the sharp constant, where ∇_? denotes the subellitpic gradient on ? This continues the research originated in our earlier study of the best constants in Moser-Trudinger inequalities and fundamental solutions for one-parameter subelliptic operators on the Heisenberg group [18]. Received March 15, 2001, Accepted September 21, 2001     

Optimal mass transportation in the Heisenberg group

In this paper we consider the problem of optimal transportation of absolutely continuous masses in the Heisenberg group H_n, in the case when the cost function is either the square of the Carnot-Carathéodory distance or the square of the Korányi norm. In both cases we show existence and uniqueness of an optimal transport map. In the former case the proof requires a delicate analysis of minimizing geodesics of the group and of the differentiability properties of the squared distance function. In the latter case the proof requires some fine properties of BV functions in the Heisenberg group.     

Rational and transcendental growth series for the higher Heisenberg groups

This paper considers growth series of 2-step nilpotent groups with infinite cyclic derived subgroup. Every such group G has a subgroup of finite index of the form H _n ×ℤ ^m , where H _n is the discrete Heisenberg group of length 2n+1. We call n the Heisenberg rank of G. We show that every group of this type has some finite generating set such that the corresponding growth series is rational. On the other hand, we prove that if G has Heisenberg rank n ≧ 2, then G possesses a finite generating set such that the corresponding growth series is a transcendental power series. Oblatum 1-III-1995 & 28-XII-1995     

Flat translation invariant surfaces in the 3-dimensional Heisenberg group

Flat translation invariant surfaces in 3-dimensional Heisenberg group are classified.     

Recurrence in unipotent groups and ergodic nonabelian group extensions

LetT be a measure-preserving and ergodic transformation of a standard probability space (X,S, μ) and letf:X → SUT _d (ℝ) be a Borel map into the group of unipotent upper triangulard ×d matrices. We modify an argument in [12] to obtain a sufficient condition for the recurrence of the random walk defined byf, in terms of the asymptotic behaviour of the distributions of the suitably scaled mapsf(n,x)=(fT ⁿ⁻¹·fT ⁿ⁻²…fT·f). We give examples of recurrent cocycles with values in the continuous Heisenberg group H₁(ℝ)=SUT₃(ℝ), and we use a recurrent cocycle to construct an ergodic skew-product extension of an irrational rotation by the discrete Heisenberg group H₁(ℤ)=SUT₃(ℤ). The author was partially supported by the FWF research project P16004-MAT.     

Analyse Harmonique sur les groupes de Heisenberg généralisés

LetG=(X ₁,X ₂,X ₃) _B be the generalized Heisenberg group as defined in Commen. Math. Helv. 1974 byH. Reiter. Under some natural conditions onG involving not the separability, we classify the unitary irreducible representations ofG, and prove a Fourier inversion formula.     

The class of mappings with bounded specific oscillation,and integrability of mappings with bounded distortion on Carnot groups

This paper is the first of the author’s three articles on stability in the Liouville theorem on the Heisenberg group. The aim is to prove that each mapping with bounded distortion of a John domain on the Heisenberg group is close to a conformal mapping with order of closeness \(\sqrt {K - 1} \) in the uniform norm and order of closeness K ? 1 in the Sobolev norm L _p ¹ for all \(p < \tfrac{C}{{K - 1}}\).In the present article we study integrability of mappings with bounded specific oscillation on spaces of homogeneous type. As an example, we consider mappings with bounded distortion on the Heisenberg group. We prove that a mapping with bounded distortion belongs to the Sobolev class W _p,loc ¹ , where p → ∞ as the distortion coefficient tends to 1.