arXiv research

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 …

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

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

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…

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…

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

Paper applies Newman-Penrose formalism to ACM manifolds.

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.

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 …

Generalizes embedding formalism for CFTs on curved backgrounds.

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!?

Researchers solve a formally determined inverse problem in Lorentzian geometry.

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…

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…

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…

The geometric constructions are elaborated on (semi) Riemannian manifolds and vector bundles provided with nonintegrable distributions defining nonlinear connection structures induced canonically by metric tensors. Such spaces are called nonholonomic manifolds and described by two equivalent linear connections also ind…

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…

We study logarithmic K-stability for pairs by extending the formula for Donaldson-Futaki invariants to log setting. We also provide algebro-geometric counterparts of recent results of existence of Kahler-Einstein metrics with cone singularities.

We discuss the question of geometric formality for rationally elliptic manifolds of dimension $6$ and $7$. We prove that a geometrically formal six-dimensional biquotient with $b_{2}=3$ has the real cohomology of a symmetric space. We also show that a rationally hyperbolic six-dimensional manifold with $b_2\leq 2$ and …

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…

Developed a new formalism to describe Riemannian geometries using geodesic flow bundles.

We show how certain diffeomorphism-invariant functionals on differential forms in dimensions 6,7 and 8 generate in a natural way special geometrical structures in these dimensions: metrics of holonomy G2 and Spin(7), metrics with weak holonomy SU(3) and G2, and a new and unexplored example in dimension 8. The general f…

In this paper, we study how the notions of geometric formality according to Kotschick and other geometric formalities adapted to the Hermitian setting evolve under the action of the Chern-Ricci flow on class VII surfaces, including Hopf and Inoue surfaces, and on Kodaira surfaces.

Paper formalizes multi-dimensional FSD using geometric methods.

New friction model for geometric locomotion systems.

A notion of geometric formality in the context of Bott-Chern and Aeppli cohomologies on a complex manifold is discussed. In particular, by using Aeppli-Bott-Chern-Massey triple products, it is proved that geometric Aeppli-Bott-Chern formality is not stable under small deformations of the complex structure.

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 outline a new geometric method of constructing exact solutions of gravitational field equations parametrized by generic off-diagonal metrics, anholonomic frames and possessing, in general, nontrivial torsion and nonmetricity. The formalism of nonlinear connections is elaborated for (pseudo) Riemannian and Einstein-C…

For singular metrics, there is no Quillen metric formalism on cohomology determinant. In this paper, we develop an admissible theory, with which the arithmetic Deligne-Riemann-Roch isometry can be established for singular metrics. As an application, we first study Weil-Petersson metrics and Takhtajan-Zograf metrics on …

We characterise simply-connected biquotients which potentially admit metrics of holonomy G_2. We prove that there are at most three real homotopy types of rationally elliptic such manifolds---all of them being formal. In the course of this examination we classify rationally elliptic homotopy types and characterise 7-di…

This work proposes a geometric approach to equivariant message passing on Riemannian manifolds.

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…

A Riemannian manifold is called geometrically formal if the wedge product of any two harmonic forms is again harmonic. We classify geometrically formal compact 4-manifolds with nonnegative sectional curvature. If the sectional curvature is strictly positive, the manifold must be homeomorphic to S^4 or diffeomorphic to …

In this paper, we prove a functorial aspect of the formal geometric quantization procedure of non-compact spin-c manifolds.

Consider a formally self-adjoint first order linear differential operator acting on pairs (2-columns) of complex-valued scalar fields over a 4-manifold without boundary. We examine the geometric content of such an operator and show that it implicitly contains a Lorentzian metric, Pauli matrices, connection coefficients…

Introduces optimization geometrodynamics for dynamic geometric optimization.

Given a binary prediction problem, which performance metric should the classifier optimize? We address this question by formalizing the problem of Metric Elicitation. The goal of metric elicitation is to discover the performance metric of a practitioner, which reflects her innate rewards (costs) for correct (incorrect)…

The formal structure of geometrical thermodynamics is reviewed with particular emphasis on the geometry of equilibria submanifolds. On these submanifolds thermodynamic metrics are defined as the Hessian of thermodynamic potentials. Links between geometry and thermodynamics are explored for single and multiple component…

This thesis formalizes metric selection for machine learning applications.

Geometrically reformulates GENERIC stochastic dynamics.

Constructs a moduli space for PDEs, linking stability to geometric metrics.

Introduces new metric for Riemannian metrics, extending unbalanced optimal transport.

Paper studies geometric properties of nonlinear Lebesgue spaces.

We study a geometric notion related to formality for Bott-Chern cohomology on complex manifolds.

In this paper we pursue the study of formal geometric quantization of non-compact Hamiltonian manifolds. Our main result is the proof that two quantization process coincide. This fact was obtained by Ma and Zhang in the preprint arXiv:0812.3989 by completely different means.

In this paper we show how Einstein metrics are naturally described using the quantization of the algebra of functions on a Kahler manifold M. In this setup one interprets M as the phase space itself, equipped with the Poisson brackets inherited from the Kahler 2-form. We compare the geometric quantization framework wit…

We classify simply connected rationally elliptic manifolds of dimension five and those of dimension six with small Betti numbers from the point of view of their rational cohomology structure. We also prove that a geometrically formal rationally elliptic six dimensional manifold, whose second Betti number is two, is rat…