The Novikov-Shubin invariants for a non-compact Riemannian manifold M can be defined in terms of the large time decay of the heat operator of the Laplacian on square integrable p-forms on M. For the (2n+1)-dimensional Heisenberg group H, the Laplacian can be decomposed into operators in the conjugate of the generalised Bargmann representations which, when restricted to the centre of H, are characters. The representation space is an anti-Fock space of anti-holomorphic functions on complex n-space which are square integrable with respect to a Gaussian measure. In this paper, the eigenvalues of decomposed operators are calculated, using operators which commute with the Laplacian; this information determines all the Novikov-Shubin invariants of H. Further, some eigenvalues of operators connected with nilpotent Lie groups of Heisenberg type are calculated in the later sections.
We study the Laplacian coflow and the modified Laplacian coflow of $G_2$-structures on the $7$-dimensional Heisenberg group. For the Laplacian coflow we show that the solution is always ancient, that is it is defined in some interval $(-\infty,T)$, with $0<T<+\infty$. However, for the modified Laplacian coflow, we prove that in some cases the solution is defined only on a finite interval while in other cases the solution is ancient or eternal, that is it is defined on $(-\infty, \infty)$.
For $1\leq q \leq n-2$, we provide explicit examples to demonstrate non-compactness of the Neumann operator for the Kohn Laplacian acting on $L^2$ $(0,q)$-forms on the unit ball in $(2n+1)$-dimensional Heisenberg space.
We examine the geometry of the level sets of particular horizontally $p$-harmonic functions in the Heisenberg group. We find sharp, natural geometric conditions ensuring that the level sets of the $p$-capacitary potential of a bounded annulus in the Heisenberg group are strictly starshaped.
We give an integral representaion of the zeta-reguralized determinant of Laplacians on three dimensional Heisenberg manifolds, and study a behaivior of the values when we deform the uniform discrete subgroups. Heiseberg manifolds are the total space of a fiber bundle with a torus as the base space and a circle as a typical fiber, then the deformation of the uniform discrete subgroups means that the "radius" of the fiber goes to zero. We explain the lines of the calculations precisely for three dimensional cases and state the corresponding results for five dimensional Heisenberg manifolds. We s…
In this paper, on the first, we prove $Δr=2H$ where $Δ$ is the Laplacian operator, $r=\left( r_{1},r_{2},r_{3}\right) $ the position vector field and $H$ is the mean curvature vector field of a surface $\mathcal{S}$ in the 3-dimensional Heisenberg group $H_{3}.$ In the second, we classify the ruled surfaces by straight geodesic lines, which are of finite type in $H_{3}.$ The straight geodesic lines belong to $\ker ω,$ where $ω$ is the Darboux form.
We consider different sub-Laplacians on a sub-Riemannian manifold $M$. Namely, we compare different natural choices for such operators, and give conditions under which they coincide. One of these operators is a sub-Laplacian we constructed previously in \cite{GordinaLaetsch2014a}. This operator is canonical with respect to the horizontal Brownian motion, we are able to define the sub-Laplacian without some a priori choice of measure. The other operator is $\operatorname{div}^ω \operatorname{grad}_{\mathcal{H}}$ for some volume form $ω$ on $M$. We illustrate our results by examples of three Lie…
In this paper we use the heat equation in a group of Heisenberg type $\mathbb{G}$ to provide a unified treatment of the two very different extension problems for the time independent pseudo-differential operators $\mathscr L^s$ and $\mathscr L_s$, $0< s\leq 1$. Here, $\mathscr L^s$ is the fractional power of the horizontal Laplacian, and $\mathscr L_s$ is the conformal fractional power of the horizontal Laplacian on $\mathbb{G}$. One of our main objective is compute explicitly the fundamental solutions of these nonlocal operators by a new approach exclusively based on partial differential equa…
We show that the conformally invariant fractional powers of the sub-Laplacian on the Heisenberg group are given in terms of the scattering operator for an extension problem to the Siegel upper halfspace. Remarkably, this extension problem is different from the one studied, among others, by Caffarelli and Silvestre.
We study the strong maximum principle for horizontal (p-) mean curvature operator and p-(sub)laplacian operator on subriemannian manifolds including, in particular, Heisenberg groups and Heisenberg cylinders. Under a certain Hormander type condition on vector fields, we show the strong maximum principle holds in higher dimensions for two cases: (a) the touching point is nonsingular; (b) the touching point is an isolated singular point for one of comparison functions. For a background subriemannian manifold with local symmetry of isometric translations, we have the strong maximum principle for …
This memoir deals with the hypoelliptic calculus on Heisenberg manifolds, or Heisenberg calculus. The Heisenberg manifolds generalize CR and contact manifolds and in this context the main differential operators at stake include the Hörmander's sum of squares, the Kohn Laplacian, the horizontal sublaplacian and its conformal powers and the contact Laplacian. These operators cannot be elliptic and the relevant pseudodifferential calculus to study them is provided by the Heisenberg calculus. The aim of this monograph is threefold. First, we give an intrinsic approach to the Heisenberg calculus by…
The aim of this paper is to study the qualitative behaviour of non-negative entire solutions of certain differential inequalities involving gradient terms on the Heisenberg group. We focus our investigation on the two classes of inequalities of the form $Δ^ϕu \ge f(u)l(|\nabla u|)$ and $Δ^ϕu \ge f(u) - h(u) g(|\nabla u|)$, where $f,l,h,g$ are non-negative continuous functions satisfying certain monotonicity properties. The operator $Δ^ϕ$, called the $ϕ$-Laplacian, can be viewed as a natural generalization of the $p$-Laplace operator recently considered by various authors in this setting. We pr…
We establish inequalities for the eigenvalues of the sub-Laplace operator associated with a pseudo-Hermitian structure on a strictly pseudoconvex CR manifold. Our inequalities extend those obtained by Niu and Zhang \cite{NiuZhang} for the Dirichlet eigenvalues of the sub-Laplacian on a bounded domain in the Heisenberg group and are in the spirit of the well known Payne-Pólya-Weinberger and Yang universal inequalities.
Take a riemanniann nilmanifold, lift its metric on its universal cover. In that way one obtains a metric invariant under the action of some co-compact subgroup. We use it to define metric balls and then study the spectrum of the laplacian for the dirichlet problem on them. We describe the asymptotic behaviour of the spectrum when the radius of these balls goes to infinity. Furthermore we show that the first macroscopic eigenvalue is bounded from above, by an uniform constant for the three dimensional heisenberg group, and by a constant depending on the Albanese's torus for the other nilmanifol…
This paper is part of a series papers devoted to geometric and spectral theoretic applications of the hypoelliptic calculus on Heisenberg manifolds. More specifically, in this paper we make use of the Heisenberg calculus of Beals-Greiner and Taylor to analyze the spectral theory of hypoelliptic operators on Heisenberg manifolds. The main results of this paper include: (i) Obtaining complex powers of hypoelliptic operators as holomorphic families of Psi_{H}DO's, which can be used to define a scale of weighted Sobolev spaces interpolating the weighted Sobolev spaces of Folland-Stein and providin…
By adapting a technique of Molchanov, we obtain the heat kernel asymptotics at the sub-Riemannian cut locus, when the cut points are reached by an $r$-dimensional parametric family of optimal geodesics. We apply these results to the bi-Heisenberg group, that is, a nilpotent left-invariant sub-Rieman\-nian structure on $\mathbb{R}^{5}$ depending on two real parameters $α_{1}$ and $α_{2}$. We develop some results about its geodesics and heat kernel associated to its sub-Laplacian and we illuminate some interesting geometric and analytic features appearing when one compares the isotropic ($α_{1}=…
This paper considers a classical question of approximation of Brownian motion by a random walk in the setting of a sub-Riemannian manifold $M$. To construct such a random walk we first address several issues related to the degeneracy of such a manifold. In particular, we define a family of sub-Laplacian operators naturally connected to the geometry of the underlining manifold. In the case when $M$ is a Riemannian (non-degenerate) manifold, we recover the Laplace-Beltrami operator. We then construct the corresponding random walk, and under standard assumptions on the sub-Laplacian and $M$ we sh…
Let $M$ be an $n$-dimensional closed orientable submanifold in an $N$-dimensional space form. When $1<p \le \frac n2 + 1$, we obtain an upper bound for the first nonzero eigenvalue of the $p$-Laplacian in terms of the mean curvature of $M$ and the curvature of the space form. This generalizes the Reilly inequality for the Laplacian [9, 15] to the $p$-Laplacian and extends the work of [8] for the $p$-Laplacian.
We give upper bounds on the eigenvalues of the differential form Laplacian on a compact Riemannian manifold. The proof uses Alexandrov spaces with curvature bounded below. We also construct differential form Laplacians on Alexandrov spaces. Under a local biLipschitz assumption on the Alexandrov space, which is conjecturally always satisfied, we show that the differential form Laplacian has a compact resolvent. We identify its kernel with an intersection homology group.
We analyze the limit of the p-form Laplacian under a collapse, with bounded sectional curvature and bounded diameter, to a smooth limit space. As an application, we characterize when the p-form Laplacian has small positive eigenvalues in a collapsing sequence.
In this paper, which is a sequel to math.DG/9902111, we analyze the limit of the p-form Laplacian under a collapse with bounded sectional curvature and bounded diameter to a singular limit space. As applications, we give results about upper and lower bounds on the j-th eigenvalue of the p-form Laplacian, in terms of sectional curvature and diameter.
We establish inequalities for the eigenvalues of Schrödinger operators on compact submanifolds (possibly with nonempty boundary) of Euclidean spaces, of spheres, and of real, complex and quaternionic projective spaces, which are related to inequalities for the Laplacian on Euclidean domains due to Payne, Pólya, and Weinberger and to Yang, but which depend in an explicit way on the mean curvature. In later sections, we prove similar results for Schrödinger operators on homogeneous Riemannian spaces and, more generally, on any Riemannian manifold that admits an eigenmap into a sphere, as well as…
In this paper, we compute the first two equivariant heat kernel coefficients of the Bochner Laplacian on differential forms. The first two equivariant heat kernel coefficients of the Bochner Laplacian with torsion are also given. We also study the equivariant heat kernel coefficients of nonmininmal operators on differential forms and get the equivariant Gilkey-Branson-Fulling formula.
In this article we prove that the spectrum of the Laplacian on $k$-forms over a noncompact flat manifold is always a connected closed interval of the nonnegative real line. The proof is based on a detailed decomposition of the structure of flat manifolds.
Accurate asymptotic expressions are given for the exponentially small eigenvalues of Witten Laplacians acting on p-forms. The key ingredient, which replaces explicit formulas for global quasimodes in the case p = 0, is Barannikov's presentation of Morse theory.
