arXiv research

Study non-formal pseudo-differential operators over formal ones.

Explores local structure of morphisms and formal submanifolds in formal manifolds theory.

Deform quantization recovers scalar curvature in complex structures.

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.

This paper formalizes manifolds in positive characteristic varieties.

In this paper, we study the formal solution space of a nonlinear PDE in a fiber bundle. To this end, we start with foundational material and introduce the notion of a pfd structure to build up a new concept of profinite dimensional manifolds. We show that the infinite jet space of the fiber bundle is a profinite dimens…

We prove that no nilpotent Lie algebra admits an invariant generalized Kaehler structure. This is done by showing that a certain differential graded algebra associated to a generalized complex manifold is formal in the generalized Kaehler case, while it is never formal for a generalized complex structure on a nilpotent…

This paper shows hypercommutative algebras on Calabi-Yau manifolds are formal.

For a closed Kähler manifold with a Hamiltonian action of a connected compact Lie group by holomorphic isometries, we construct a formal Frobenius manifold structure on the equivariant cohomology by exploiting a natural DGBV algebra structure on the Cartan model.

New examples of non-formal Sasaki-Einstein 7-manifolds and their submanifolds found.

Generalizes Tulczyjew triples for contact manifolds in Hamiltonian and Lagrangian formalisms.

Let (M, π ) be a Poisson manifold. A Poisson submanifold $P \in M$ gives rise to an algebroid $AP \rightarrow P$, to which we associate certain chomology groups which control formal deformations of π around P . Assuming that these groups vanish, we prove that π is formally rigid around P , i.e. any other Poisson struct…

Paper constructs solutions for a class of overdetermined systems.

Compact non-formal $G_2$ manifold with $b_1=1$.

We extend the formality theorem of M. Kontsevich from deformations of the structure sheaf on a manifold to deformations of gerbes.

The covariant canonical formalism is a covariant extension of the traditional canonical formalism of fields. In contrast to the traditional canonical theory, it has a remarkable feature that canonical equations of gauge theories or gravity are not only manifestly Lorentz covariant but also gauge covariant or diffeomorp…

We use the supergeometric formalism, more precisely, the so-called "big bracket" (for which brackets and anchors are encoded by functions on some graded symplectic manifold) to address the theory of Jacobi algebroids and bialgebroids (following mainly Iglesias-Marrero and Grabowski-Marmo as a guideline). This formalism…

Formality of Dolbeault DGAs on complex nilmanifolds restricted to tori.

New findings on complex manifold properties under deformations.

Abstract study of HKT manifolds, proving Hodge theory and formality properties.

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

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 define the notion of a formal connection for a smooth family of star products with fixed underlying symplectic structure. Such a formal connection allows one to relate star products at different points in the family. This generalizes the formal Hitchin connection introduced by the first author. We establish a necess…

Resurgence of Joyce structures gauged to a standard form using gauge transformations.

Holomorphic bundles on complex manifolds with boundary are studied, extending results from Donaldson's work.

We describe some recent development on the theory of formal Frobenius manifolds via a construction from differential Gerstenhaber-Batalin-Vilkovisk (DGBV) algebras and formulate a version of mirror symmetry conjecture: the extended deformation problems of the complex structure and the Poisson structure are described by…

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.

We show that $\mathfrak{aff}(n)$, the Lie algebra of affine transformations of ${\mathbb R}^n,$ is formally and analytically nondegenerate in the sense of A. Weinstein. This means that every analytic (resp., formal) Poisson structure vanishing at a point with a linear part corresponding to $\mathfrak{aff}(n)$ is locall…

Introduces formal frames for manifolds and their properties.

Defines formal exponentials for graded manifolds and linearizes QP-manifolds.

A knot space in a manifold M is a space of oriented immersions from a circle S^1 to M up to Diff(S^1). Brylinski has shown that a knot space of a Riemannian threefold is formally Kahler. We prove that a space of knots in a holonomy G2 manifold is formally Kahler.

We prove that any simply connected compact 3-Sasakian manifold, of dimension seven, is formal if and only if its second Betti number is $b_2<2$. In the opposite, we show an example of a 7-dimensional Sasaki-Einstein manifold, with second Betti number $b_2\geq 2$, which is formal. Therefore, such an example does not adm…

The paper describes projective structures with torsion using formal frames and Thomas-Whitehead connections.

This article introduces the notion of a loose family of Engel structures and shows that two such families are Engel homotopic if and only if they are formally homotopic. This implies a complete h-principle when some auxiliary data is fixed. As a corollary, we show that Lorentz and orientable Cartan prolongations are cl…

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…

New configuration space integrals show nontrivial formal smooth structures on 4-manifold bundles.

Introduces internal Lagrangians for differential equations and connects them to presymplectic structures.

Develops calculus on Wasserstein spaces for Riemannian manifolds.

Engel manifolds show transverse tori can be made to have various formal invariants.

The paper defines and studies the category of Z-graded manifolds, including their intrinsic structure and formal properties.

In this paper we study some properties of almost abelian solvmanifolds using minimal models associated to a fibration. In particular we state a necessary and sufficient condition to formality and a method for finding symplectic strucures of this kind of solvmanifolds.

We prove the formality and the evenness of odd-degree Betti numbers for compact Kähler orbifolds, by adapting the classical proofs for Kähler manifolds. As a consequence, we obtain examples of symplectic orbifolds not admitting any Kähler orbifold structure. We also review the known examples of non-formal simply connec…

We show that formal isomorphism of intransitive linear Lie equations along transversal to the orbits can be extended to neighborhoods of these transversal. In analytic cases, the word formal is dropped from theorems. Also, we associate an intransitive Lie algebra with each intransitive linear Lie equation, and from the…

In this paper we present some approaches to classification of almost complex structures and to construction of local or formal pseudoholomorphic mapping from one almost complex manifold to another. The corresponding criteria are given in terms of Nijenhuis tensors and their generalizations. We deal with the prolongatio…

The abstract manifold cannot have uniformly quasiregular self-maps.

We provide models that are as close as possible to being formal for a large class of compact manifolds that admit a transversely Kaehler structure, including Vaisman and quasi-Sasakian manifolds. As an application we are able to classify the corresponding nilmanifolds.

New geometric structures that relate the lagrangian and hamiltonian formalisms defined upon a singular lagrangian are presented. Several vector fields are constructed in velocity space that give new and precise answers to several topics like the projectability of a vector field to a hamiltonian vector field, the comput…

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 …