arXiv research

Study validates Michor-Mumford conjecture in infinite dimensional Hilbertian H-type groups.

New Lie groups generalize H-type groups with nondegenerate centers.

The H-type deviation measures how close step two Carnot groups are to H-type groups.

New stability theorems for H-type Carnot groups established.

Study geodesic orbit property on pseudo-Riemannian H-type nilmanifolds.

We prove that H-type Carnot groups of rank $k$ and dimension $n$ satisfy the $\mathrm{MCP}(K,N)$ if and only if $K\leq 0$ and $N \geq k+3(n-k)$. The latter integer coincides with the geodesic dimension of the Carnot group. The same result holds true for the larger class of generalized H-type Carnot groups introduced in…

Paper proves a Liouville theorem for a generalized elliptic equation on H-type groups.

In this paper we prove that every H-type Lie algebra possesses a basis with respect to which the structure constants are integers. Existence of such an integral basis implies via the Mal'cev criterion that all simply connected H-type Lie groups contain cocompact lattices. Since the Campbell-Hausdorff formula is very si…

X-ray transform on H-type groups solved, revealing function injectivity.

We study the relations between the quaternion $H$-type group and the boundary of the unit ball on two dimensional quaternionic space. The orthogonal projection of the space of square integrable functions defined on quaternion $H$-type group into its subspace of boundary values of $q$-holomorphic functions is consider. …

We introduce a special class of nilpotent Lie groups of step 2, that generalizes the so called $H$(eisenberg)-type groups, defined by A. Kaplan in 1980. We change the presence of inner product to an arbitrary scalar product and relate the construction to the composition of quadratic forms. We present the geodesic equat…

It is known that all left-invariant pseudo-Riemannian metrics on $H_3$ are algebraic Ricci solitons. We consider generalizations of Riemannian $H$-type, namely pseudo$H$-type and $pH$-type. We study algebraic Ricci solitons of left-invariant Lorentzian metrics on 2-step nilpotent Lie groups of both types.

We study inequalities related to the heat kernel for the hypoelliptic sublaplacian on an H-type Lie group. Specifically, we obtain precise pointwise upper and lower bounds on the heat kernel function itself. We then apply these bounds to derive an estimate on the gradient of solutions of the heat equation, which is kno…

The aim of our paper is to construct pseudo $H$-type algebras from the covering free nilpotent two-step Lie algebra as the quotient algebra by an ideal. We propose an explicit algorithm of construction of such an ideal by making use of a non-degenerate scalar product. Moreover, as a bypass result, we recover the existe…

With a view toward sub-Riemannian geometry, we introduce and study H-type foliations. These structures are natural generalizations of K-contact geometries which encompass as special cases K-contact manifolds, twistor spaces, 3K contact manifolds and H-type groups. Under an horizontal Ricci curvature lower bound, we pro…

We establish precise upper and lower bounds for the subelliptic heat kernel on nilpotent Lie groups $G$ of H-type. Specifically, we show that there exist positive constants $C_1$, $C_2$ and a polynomial correction function $Q_t$ on $G$ such that $C_1 Q_t e^{-\frac{d^2}{4t}} \le p_t \le C_2 Q_t e^{-\frac{d^2}{4t}}$ wh…

In the present paper we give a proof of the fact that the sub-Riemannian cut locus of a wide class of nilpotent groups of step two, called $H$-type groups, starting from the origin corresponds to the center of the group. We obtain this result by completely describing the sub-Riemannian geodesics in the group, and using…

We consider examples of the $\mathbb H$-type groups with the natural horizontal distribution generated by the commutation relations of the group. In the contrast with the previous studies we furnish the horizontal distribution with the Lorentzian metric, which is nondegenerate metric of index 1 instead of a positive de…

We prove the following gradient inequality for the subelliptic heat kernel on nilpotent Lie groups $G$ of H-type: $|\nabla P_t f| \le K P_t(|\nabla f|)$ where $P_t$ is the heat semigroup corresponding to the sublaplacian on $G$, $\nabla$ is the subelliptic gradient, and $K$ is a constant. This extends a result of H.-…

Study local invariants and geometry of sub-Laplacian on H-type foliations.

Metric spaces with certain curvature properties are universally infinitesimally Hilbertian.

H-type Lie algebras were introduced by Kaplan as a class of real Lie algebras generalizing the familiar Heisenberg Lie algebra $\mathfrak{h}^3$. The H-type property depends on a choice of inner product on the Lie algebra $\mathfrak{g}$. Among the H-type Lie algebras are the complex Heisenberg Lie algebras $\mathfrak{h}…

We establish necessary and sufficient conditions for existence of isometric immersions of a simply connected Riemannian manifold into a two-step nilpotent Lie group. This comprises the case of immersions into $H$-type groups.

Certain solvable extensions of $H$-type groups provide noncompact counterexamples to the so-called Lichnerowicz conjecture, which asserted that ``harmonic'' Riemannian spaces must be rank 1 symmetric spaces.

We show that in any infinitesimally Hilbertian $CD^*(K,N)$-space at almost every point there exists a Euclidean weak tangent, i.e. there exists a sequence of dilations of the space that converges to a Euclidean space in the pointed measured Gromov-Hausdorff topology. The proof follows by considering iterated tangents a…

We prove that an infinitesimally Hilbertian CD(0,N) space containing a line splits as the product of $R$ and an infinitesimally Hilbertian CD(0,N-1) space. By `infinitesimally Hilbertian' we mean that the Sobolev space $W^{1,2}(X,d,m)$, which in general is a Banach space, is an Hilbert space. When coupled with a curvat…

Given a holomorphic Hilbertian bundle on a compact complex manifold, we introduce the notion of holomorphic $L^2$ torsion, which lies in the determinant line of the twisted $L^2$ Dolbeault cohomology and represents a volume element there. Here we utilise the theory of determinant lines of Hilbertian modules over finite…

PseudoH-type is a natural generalization of H-type to geometries with indefinite metric tensors. We give a complete determination of the conjugate locus including multiplicities. We also obtain a partial characterization in terms of the abundance of totally geodesic, 3-dimensional submanifolds.

We consider $H$(eisenberg)-type groups whose law of left translation gives rise to a bracket generating distribution of step 2. In the contrast with sub-Riemannian studies we furnish the horizontal distribution with a nondegenerate indefinite metric of arbitrary index and investigate the problem concerning causal geode…

Abstract: Generalizes SGMs to infinite-dimensional Hilbertian setting.

On H-type sub-Riemannian manifolds we establish sub-Hessian and sub-Laplacian comparison theorems which are uniform for a family of approximating Riemannian metrics converging to the sub-Riemannian one. We also prove a sharp sub-Riemannian Bonnet-Myers theorem that extends to this general setting results previously pro…

New tensorization theorem for Sobolev spaces on product spaces.

This work deals with the structure of the isometry group of pseudo-Riemannian 2-step nilmanifolds. We study the action by isometries of several groups and we construct examples showing substantial differences with the Riemannain situation; for instance the action of the nilradical of the isometry group does not need to…

We explore the connection between Hilbertian metrics and positive definite kernels on the real line. In particular, we look at a well-known characterization of translation invariant Hilbertian metrics on the real line by von Neumann and Schoenberg (1941). Using this result we are able to give an alternate proof of Boch…

We study possible cases of complex simple graded Lie algebras of depth 2, which are the Tanaka prolongations of pseudo $H$-type Lie algebras arising through representation of Clifford algebras. We show that the complex simple Lie algebras of type $B_n$ with $|2|$-grading do not contain non-Heisenberg pseudo $H$-type Li…

Almost perimeter-minimizing boundaries in plentiful groups can be approximated by Lipschitz graphs.

A pseudo $H$-type Lie algebra naturally gives rise to a conformal pseudo-subriemannian fundamental graded Lie algebras. In this paper we investigate the prolongations of the associated fundamental graded Lie algebra and the associated conformal pseudo-subriemannian fundamental graded Lie algebra. In particular, we show…

Pseudo $H$-type Lie groups $G_{r,s}$ of signature $(r,s)$ are defined via a module action of the Clifford algebra $C\ell_{r,s}$ on a vector space $V \cong \mathbb{R}^{2n}$. They form a subclass of all 2-step nilpotent Lie groups and based on their algebraic structure they can be equipped with a left-invariant pseudo-Ri…

The study examines non-continuous Riemannian metrics on manifolds and their infinitesimal properties.

We prove that sub-Riemannian manifolds are infinitesimally Hilbertian (i.e., the associated Sobolev space is Hilbert) when equipped with an arbitrary Radon measure. The result follows from an embedding of metric derivations into the space of square-integrable sections of the horizontal bundle, which we obtain on all we…

We begin a systematic study of these spaces, initially following along the lines of Eberlein's comprehensive study of the Riemannian case. In particular, we integrate the geodesic equation, discuss the structure of the isometry group, and make a study of lattices and periodic geodesics. Some major differences from the …

In this paper, we suggest a construction of determinant lines of finitely generated Hilbertian modules over finite von Neumann algebras. Nonzero elements of the determinant lines can be viewed as volume forms on the Hilbertian modules. Using this, we study both $L^2$ combinatorial and $L^2$ analytic torsion invariants …

The main result of this paper is the following: any `weighted' Riemannian manifold $(M,g,μ)$ - i.e. endowed with a generic non-negative Radon measure $μ$ - is `infinitesimally Hilbertian', which means that its associated Sobolev space $W^{1,2}(M,g,μ)$ is a Hilbert space. We actually prove a stronger result: the abstrac…

In the present paper we study the rigidity of 2-step Carnot groups, or equivalently, of graded 2-step nilpotent Lie algebras. We prove the alternative that depending on bi-dimensions of the algebra, the Lie algebra structure makes it either always of infinite type or generically rigid, and we specify the bi-dimensions …

Study recovers C*-algebra from fields of Toeplitz algebras on specific groups.

We obtain the best known quantitative estimates for the $L^p$-Poincaré and log-Sobolev inequalities on domains in various sub-Riemannian manifolds, including ideal Carnot groups and in particular ideal generalized H-type Carnot groups and the Heisenberg groups, corank $1$ Carnot groups, the Grushin plane, and various H…

Improved learning theory for kernel distribution regression with two-stage sampling.

We prove that the Abresch-Gromoll inequality holds on infinitesimally Hilbertian CD(K,N) spaces in the same form as the one available on smooth Riemannian manifolds.