Related papers: On the formality problem for manifolds with specia…
These proceedings contain the papers that were presented at the 7th Workshop on Models for Formal Analysis of Real Systems (MARS 2026), which took place on 12 April 2026 in Turin, Italy, as a satellite event of the 29th International Joint…
The problem of splitting a homotopy equivalence along a submanifold is closely related to the surgery exact sequence and to the problem of surgery of manifold pairs. In classical surgery theory there exist two approaches to surgery in the…
We exhibit examples of closed Riemannian 7-manifolds with holonomy G_2 such that the underlying manifolds are diffeomorphic but whose associated G_2-structures are not homotopic. This is achieved by defining two invariants of certain…
These are the notes of a series of lectures delivered by the author at the Graduate School of Mathematics of the University of Tokyo, during the month of October 2015. They were meant to be as self-contained as possible, taking into account…
We study some formality criteria for differential graded algebras over differential graded operads. This unifies and generalizes other known approaches like the ones by Manetti and Kaledin. In particular, we construct general operadic…
Iterated Segre mappings of real analytic generic submanifolds in complex space have been an essential tool in the study of holomorphic, formal, and CR mappings between such manifolds. In this paper we present a theory of iterated Segre…
Enterprise modeling deals with the increasing complexity of processes and systems by operationalizing model content and by linking complementary models and languages, thus amplifying the model-value beyond mere comprehensible pictures. To…
We give a complete list of formal invariants for a large class of formal differential 1-forms $\w \in \Bbb C [[ x, y]]dx + \Bbb C [[ x, y]]dy$. \indent A $\hat{SL}$-equisingular deformation is an equireducible deformation which leaves…
This is the second part of a series of two papers dedicated to a systematic study of holomorphic Jacobi structures. In the first part, we introduced and study the concept of a holomorphic Jacobi manifold in a very natural way as well as…
Web Services provide interoperable mechanisms for describing, locating and invoking services over the Internet; composition further enables to build complex services out of simpler ones for complex B2B applications. While current studies on…
In this manuscript, an original numerical procedure for the nonlinear peridynamics on arbitrarily--shaped two-dimensional (2D) closed manifolds is proposed. When dealing with non parameterized 2D manifolds at the discrete scale, the problem…
These proceedings discuss some of the highlights of recent research in Formal Theory. The topics covered range from recent progress in scattering amplitudes, quantum gravity constraints on effective field theories, AdS/CFT, flat space…
We attack the question of E_2-formality of differential graded algebras over prime fields via obstruction theory. We are able to prove that E_2-algebras whose cohomology ring is a polynomial algebra on even degree classes are intrinsically…
This is an extended abstract for a talk given at the mini-workshop "Cohomology rings and fundamental groups of hyperplane arrangements, wonderful compactifications, and real toric varieties", held in Oberwolfach, September 30-October 6,…
The exceptional holonomy groups are G2 in 7 dimensions, and Spin(7) in 8 dimensions. Riemannian manifolds with these holonomy groups are Ricci-flat. This is a survey paper on constructions for compact 7- and 8-manifolds with holonomy G2 and…
A so-called special generic map is by definition a map of smooth manifolds all of whose singularities are definite fold points. It is in general an open problem posed by Saeki in 1993 to determine the set of integers $p$ for which a given…
This volume contains the proceedings of the 1st International Workshop on Applicable Formal Methods (AppFM 2021), 23 November 2021, held online as part of the 24th International Symposium on Formal Methods (FM). The aim of the AppFM…
This volume contains the proceedings of MARS 2015, the first workshop on Models for Formal Analysis of Real Systems, held on November 23, 2015 in Suva, Fiji, as an affiliated workshop of LPAR 2015, the 20th International Conference on Logic…
We study how a gluing construction, which produces compact manifolds with holonomy G_2 from matching pairs of asymptotically cylindrical G_2-manifolds, behaves under deformations. We show that the gluing construction defines a smooth map…
This paper is based on a course given by the author at the University of Rome ``La Sapienza'' in the Academic year 2000/2001. The intended aim of the course was to rapidly introduce, although not in an exhaustive way, the non-expert PhD…