arXiv research

A metric is formal if all products of harmonic forms are again harmonic. The existence of a formal metric implies Sullivan formality of the manifold, and hence formal metrics can exist only in presence of a very restricted topology. We show that a warped product metric is formal if and only if the warping function is c…

Study on geometrically formal metrics on complex manifolds.

A Riemannian manifold is called geometrically formal if the wedge product of harmonic forms is again harmonic, which implies in the compact case that the manifold is topologically formal in the sense of rational homotopy theory. A manifold admitting a Riemannian metric of positive sectional curvature is conjectured to …

We investigate harmonic forms of geometrically formal metrics, which are defined as those having the exterior product of any two harmonic forms still harmonic. We prove that a formal Sasakian metric can exist only on a real cohomology sphere and that holomorphic forms of a formal Kähler metric are parallel w.r.t. the L…

Paper applies Newman-Penrose formalism to ACM manifolds.

Study geometric formal metrics and Massey products on Kähler manifolds with torsion.

Formal manifolds with non-negative Ricci curvature have formal covers.

The paper examines metrics on foliated manifolds that have special geometric properties.

Researchers develop weighted GJMS operators for smooth metric measure spaces.

Study on properties of special Kähler metrics and their interplay.

Generalizes embedding formalism for CFTs on curved backgrounds.

Necessary and sufficient conditions for some deformation algebras to provide formal Frobenius structures are given. Also, examples of formal Frobenius structures with fundamental tensor that is not of the deformation type and examples of symmetric non-metric connections are presented.

Develops Palatini formalism for pseudo-Finsler metrics, recovering classical results.

We study the boundary asymptotics of ACH metrics which are formally Einstein. In terms of the partially integrable almost CR structure induced on the boundary at infinity, existence and uniqueness of such formal asymptotic expansions are studied. It is shown that there always exist formal solutions to the Einstein equa…

Researchers found a new 8D Taub-NUT-like metric using harmonic superspace.

We provide examples of homogeneous spaces which are neither symmetric spaces nor real cohomology spheres, yet have the property that every invariant metric is geometrically formal. We also extend the known obstructions to geometric formality to some new classes of homogeneous spaces and of biquotients, and to certain s…

We show that for a Lie group $G=\R^{n}\ltimes_φ \R^{m}$ with a semisimple action $φ$ which has a cocompact discrete subgroup $Γ$, the solvmanifold $G/Γ$ admits a canonical invariant formal (i.e. all products of harmonic forms are again harmonic) metric. We show that a compact oriented aspherical manifold of dimension l…

Researchers solve a formally determined inverse problem in Lorentzian geometry.

This paper makes a formal study of asymptotically hyperbolic Einstein metrics given, as conformal infinity, a conformal manifold with boundary. The space on which such an Einstein metric exists thus has a finite boundary in addition to the usual infinite boundary and a corner where the two meet. On the finite boundary …

Researchers create new operators from Riemannian invariants.

We define a formal Riemannian metric on a given conformal class of metrics on a closed Riemann surface. We show interesting formal properties for this metric, in particular the curvature is nonpositive and the Liouville energy is geodesically convex. The geodesic equation for this metric corresponds to a degenerate ell…

Newtonian, Lagrangian, and Hamiltonian dynamical systems are well formalized mathematically. They give rise to geometric structures describing motion of a point in smooth manifolds. Riemannian metric is a different geometric structure formalizing concepts of length and angle. The interplay of Riemannian metric and its …

We prove that all generalised symmetric spaces of compact simple Lie groups are formal in the sense of Sullivan. Nevertheless, many of them, including all the non-symmetric flag manifolds, do not admit Riemannian metrics for which all products of harmonic forms are harmonic.

The paper studies geodesic completeness for Lie groups and their metrics.

In our previous work, we have defined a nonlinear connection of Finsler manifold which preserves the Finsler metric $L=L(x,dx)$. To make the method easier and more useful in applications, moving frame (vielbein) $θ^a={e^a}_μdx^μ$ formalism for the nonlinear connection is newly considered. We derive formulae to calculat…

A general scheme for construction of flat pencils of contravariant metrics and Frobenius manifolds as well as related solutions to WDVV associativity equations is formulated. The advantage is taken from the Rota-Baxter identity and some relation being counterpart of the modified Yang-Baxter identity from the classical …

A new robust time series distance metric for k-NN classification.

The present article is devoted to the construction of a unified formalism for Palatini and unimodular gravity. The basic idea is to employ a relationship between unified formalism for a Griffiths variational problem and its classical Lepage-equivalent variational problem. As a way to understand from an intuitive viewpo…

Formally constructs metrics near timelike geodesics in vacuum spacetimes.

This thesis formalizes metric selection for machine learning applications.

We define a new formal Riemannian metric on a conformal classes of four-manifolds in the context of the $σ_2$-Yamabe problem. Exploiting this new variational structure we show that solutions are unique unless the manifold is conformally equivalent to the round sphere.

\emph{Scalable spaces} are simply connected compact manifolds or finite complexes whose real cohomology algebra embeds in their algebra of (flat) differential forms. This is a rational homotopy invariant property and all scalable spaces are formal; indeed, scalability can be thought of as a metric version of formality.…

Extends differential calculus to triole algebras.

Mean curvature flow is not a gradient flow on two nondegenerate metric spaces.

We present in this paper the formalism for the splitting of a four-dimensional Lorentzian manifold by a set of time-like integral curves. Introducing the geometrical tensors characterizing the local spatial frames induced by the congruence (namely, the spatial metric tensor, the extrinsic curvature tensor and the Riema…

We analyze sub-Riemannian and lightlike metrics from the point of view of their rigidity as geometric structures. Following Cartan's and Gromov's formal definitions, they are never rigid, yet, in generic cases, they naturally give rise to rigid geometric structures!?

Equations link metrics with tensors, revealing curvature constraints.

We sketch our recent application of a non-commutative version of the Cartan `moving-frame' formalism to the quantum Euclidean space $R^N_q$, the space which is covariant under the action of the quantum group $SO_q(N)$. For each of the two covariant differential calculi over $R^N_q$ based on the $R$-matrix formalism, we…

Motivated by understanding the limiting case of a certain systolic inequality we study compact Riemannian manifolds having all harmonic 1-forms of constant length. We give complete characterizations as far as Kähler and hyperbolic geometries are concerned. In the second part of the paper, we give algebraic and topologi…

This paper provides details of the construction, properties and some applications of the ambient metric associated to a conformal class of metrics on a smooth manifold. Existence and uniqueness of formal expansions defining such metrics are considered. Equivalence with the expansions of associated Poincare metrics is e…

This paper formalizes state similarity metrics for reinforcement learning.

We introduce the tractor formalism from conformal geometry to the study of smooth metric measure spaces. In particular, this gives rise to a correspondence between quasi-Einstein metrics and parallel sections of certain tractor bundles. We use this formulation to give a sharp upper bound on the dimension of the vector …

PeL separates sensory interface optimization from decision learning.

Study of Bondi-Sachs formalism for massless scalar field with zero cosmological constant.

We formalize the concept of a family of metric spaces satisfying a coarse property uniformly and we generalize finite decomposition complexity of Erik Guentner, Romain Tessera, and Guoliang Yu. Of particular interest are results determining sufficient conditions for a metric space to satisfy Property A of Guoliang Yu.

We classify manifolds of small dimension that admit both, a Riemannian metric of non-negative scalar curvature, and a -- a priori different -- metric for which all wedge products of harmonic forms are harmonic. For manifolds whose first Betti numbers are sufficiently large, this classification extends to higher dimensi…

Study of 3D trans-Sasakian manifolds using Newman--Penrose formalism.

We calculate a wall crossing formula for 4-dimensional Poincare-Einstein metrics, through a wall made of orbifold Poincare-Einstein metrics with A1 singularities. This is based on a formalism which enables to deal with higher order terms of the Einstein equation in this setting. Some other consequences are deduced.