Related papers: On the formality problem for manifolds with specia…
Starting from the superconformal algebras associated with $G_2$ manifolds, I extend the algebra to the manifolds with spin(7) holonomy. I show how the mirror symmetry in manifolds with spin(7) holonomy arises as the automorphism in the…
This text proposes geometrical descriptions of all variational problems invariant by conformal transformations in two variables. First a characterisation in terms of C-Finsler manifolds, a suitable generalization of Finsler manifolds, is…
This volume contains the proceedings of the 2nd French Singaporean Workshop on Formal Methods and Applications (FSFMA'14). The workshop was held in Singapore on May 13th, 2014, as a satellite event of the 19th International Symposium on…
These are notes for a Ph.D.\ course I held at SISSA, Trieste, in the Winter 2025. We review well-known topics in Riemannian geometry where Lie groups play a fundamental role. Part of the theory of compact connected Lie groups, their…
A list of problems prepared for the proceedings of the Workshop on Exotic Homology Manifolds, Oberwolfach June 29-July 5 2003.
A torsion-free G_2 structure admitting an infinitesimal isometry is shown to give rise to a 4-manifold equipped with a complex symplectic structure and a 1-parameter family of functions and 2-forms linked by second order equations.…
This paper contributes to the theory of singularities of meromorphic linear ODEs in traceless $2\times2$ cases, focusing on their deformations and confluences. It is divided into two parts: The first part addresses individual singularities…
To any $\mathfrak{g}$-manifold $M$ are associated two dglas $\operatorname{tot}\big(\Lambda^{\bullet} \mathfrak{g}^\vee \otimes_{\Bbbk} T_{\operatorname{poly}}^{\bullet} \big)$ and $\operatorname{tot} \big(\Lambda^{\bullet}…
In this paper I survey some recent results on finite determination, convergence, and approximation of formal mappings between real submanifolds in complex spaces. A number of conjectures are also given.
Using the concept of s-formality we are able to extend the bounds of a Theorem of Miller and show that a compact k-connected 4k+3- or 4k+4-manifold with b_{k+1}=1 is formal. We study k connected n-manifolds, n= 4k+3, 4k+4, with a hard…
This paper investigates the geometric structures and properties of 8-dimensional manifolds with Spin(7)-holonomy. We focus on the characterization and implications of 4-planes within these manifolds, which are endowed with an almost…
We extend M. Kontsevich's formality morphism to a homotopy braces morphism and to a homotopy Gerstenhaber morphism. We show that this morphism is homotopic to D. Tamarkin's formality morphism, obtained using formality of the little disks…
In this paper we study singular riemannian foliations that have sections,i.e., totally geodesic complete immersed submanifolds that meet each leaf orthogonally and whose dimensions are the codimensions of the regular leaves. We prove here…
This is the second in a series of papers. Here we develop here an intersection theory for manifolds equipped with an action of a finite group. As in our previous paper, our approach will be homotopy theoretic, enabling us to circumvent the…
The purpose of this paper is to introduce a version of singular homology based on smooth mappings of manifolds with corners. Although variants of such a theory exists in the literature, we felt that certain points were not adequately…
These are notes of the lectures given during the Toric Topology Workshop at the Korea Advanced Institute of Science and Technology in February 2010. We describe several approaches to moment-angle manifolds and complexes, including the…
Context: The complexity of modern safety-critical systems in industries keep on increasing due to the rising number of features and functionalities. This calls for formal methods in order to entrust confidence in such systems. Nevertheless,…
We study geometry on real gerbes in the spirit of Cheeger-Simons theory. The concepts of adaptations and holonomy forms are introduced for flat connections on real gerbes. Their relations to complex gerbes with connections are presented, as…
Cloud solutions are increasingly used for a plethora of purposes, including solving memory-intensive and computation-intensive problems. Ensuring the reliability, availability, scalability, and security of cloud solutions, as networked…
We present a method to desingularize a compact G_2 manifold with isolated conical singularities by cutting out a neighbourhood of each singular point and glueing in an asymptotically conical G_2 manifold. Controlling the error on the…