Related papers: On the formality problem for manifolds with specia…
We study mirror symmetry of type II strings on manifolds with the exceptional holonomy groups $G_2$ and Spin(7). Our central result is a construction of mirrors of Spin(7) manifolds realized as generalized connected sums. In parallel to…
We develop a unifed theory to study geometry of manifolds with different holonomy groups. They are classified by (1) real, complex, quaternion or octonion number they are defined over and (2) being special or not. Specialty is an…
Formality is a topological property, defined in terms of Sullivan's model for a space. In the simply-connected setting, a space is formal if its rational homotopy type is determined by the rational cohomology ring. In the general setting,…
We explore various formality and finiteness properties in the differential graded algebra models for the Sullivan algebra of piecewise polynomial rational forms on a space. The 1-formality property of the space may be reinterpreted in terms…
We consider some infinitesmal and global deformations of G_2 structures on 7-manifolds. We discover a canonical way to deform a G_2 structure by a vector field in which the associated metric gets "twisted" in some way by the vector cross…
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…
We show that hyperplane sections of strongly formal manifolds inherit strong formality. In particular, this property holds for generalized complete intersections defined by positive line bundles with trivial first de Rham cohomology group.…
This volume contains the proceedings of F-IDE 2021, the sixth international workshop on Formal Integrated Development Environment, which was held online on May 24-25, 2021, as part of NFM'21, the 13th NASA Formal Methods Symposium. High…
In order to understand the linearization problem around a leaf of a singular foliation, we extend the familiar holonomy map from the case of regular foliations to the case of singular foliations. To this aim we introduce the notion of…
We describe a procedure for constructing formal normal forms of holomorphic maps with a hypersurface of fixed points, and we apply it to obtain a complete list of formal normal forms for 2-dimensional holomorphic maps tangential to a curve…
This note is based on a lecture delivered by the author at the Second Conference on Differential Geometry, held in Fez in October 2024. It offers an accessible introduction to biharmonic and biconservative submanifolds, exploring the…
We present a construction of closed 7-manifolds of holonomy G_2, which generalises Kovalev's twisted connected sums by taking quotients of the pieces in the construction before gluing. This makes it possible to realise a wider range of…
We show that the $G_{2}$ holonomy equation on a manifold with boundary, with prescribed 3-form on the boundary, is elliptic. The main point is to set up a suitable linear elliptic boundary value problem. This result leads to a deformation…
If a closed orientable manifold (resp. rational Poincar\'e duality space) $X$ receives a map $Y \to X$ from a formal manifold (resp. space) $Y$ that hits a fundamental class, then $X$ is formal. The main technical ingredient in the proof…
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…
We give a proof of Kontsevich's formality theorem for a general manifold using Fedosov resolutions of algebras of polydifferential operators and polyvector fields. The main advantage of our construction of the formality quasi-isomorphism is…
In the study of holomorphic maps, the term "rigidity" refers to certain types of results that give us very specific information about a general class of holomorphic maps owing to the geometry of their domains or target spaces. Under this…
This volume contains the proceedings of MARS 2017, the second workshop on Models for Formal Analysis of Real Systems, held on April 29, 2017 in Uppala, Sweden, as an affiliated workshop of ETAPS 2017, the European Joint Conferences on…
We review recent results concerning closed G$_2$-structures on seven-dimensional manifolds. In particular, we discuss the construction of examples and some related problems.
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…