Related papers: On the formality problem for manifolds with specia…
We know from previous work with Italiano and Migliorini that there exists some hyperbolic 5-manifold that fibers over the circle. Here we build one example where the monodromy is a "pseudo-Anosov homeomorphism" of the 4-dimensional fiber,…
We generalize here our general procedure for constructing constant curvature maps of 2-spheres into Grassmannian manifolds G(m,n) this time concentrating our attention on maps which are non-holomorphic. We present some expressions…
We construct a finite-dimensional higher Lie groupoid integrating a singular foliation $\mathcal{F}$, under the mild assumption that the latter admits a geometric resolution. More precisely, a recursive use of bi-submersions, a tool coming…
The goal of the paper is to give characterization of closed connected manifolds which admit a global multisympletic 3-form of some algebraic type. A generic type of such 3-form is equivalent to a G2-structure. This is the most interesting…
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…
A major determinant of the quality of software systems is the quality of their requirements, which should be both understandable and precise. Most requirements are written in natural language, good for understandability but lacking in…
We consider topology-changing transitions between 7-manifolds of holonomy G_2 constructed as a quotient of CY x S^1 by an antiholomorphic involution. We classify involutions for Complete Intersection CY threefolds, focussing primarily on…
The trace of $n$-framed surgery on a knot in $S^3$ is a 4-manifold homotopy equivalent to the 2-sphere. We characterise when a generator of the second homotopy group of such a manifold can be realised by a locally flat embedded 2-sphere…
We establish shape holomorphy results for general weakly- and hyper-singular boundary integral operators arising from second-order partial differential equations in unbounded two-dimensional domains with multiple finite-length open arcs.…
Bryant and Salamon gave a construction of metrics of G2 holonomy on the total space of the bundle of anti-self-dual (ASD) 2-forms over a 4-dimensional self-dual Einstein manifold. We generalise it by considering the total space of an SO(3)…
We give an overview of invariants of algebraic singularities over perfect fields. We then show how they lead to a synthetic proof of embedded resolution of singularities of 2-dimensional schemes.
This paper addresses two questions related to mapping problems. In the first part of the paper, we discuss some recent results regarding the $2$-jet determination for biholomorphisms between smooth (weakly) pseudoconvex hypersurfaces; in…
These notes are based on the course given at the School of Geometry, University Kasdi Merbah (Ouargla) 2012. The aim of the course was the deformation quantization of Poisson Lie groups. In these notes we only review Kontsevich's formality…
In this paper we develop an intrinsic formalism to study the topology, smooth structure, and Riemannian geometry of the Wasserstein space of a closed Riemannian manifold. Our formalism allows for a new characterisation of the Weak topology…
We provide a significant extension of the twisted connected sum construction of G_2-manifolds, i.e. Riemannian 7-manifolds with holonomy group G_2, first developed by Kovalev; along the way we address some foundational questions at the…
There are solved standard problems related to Formal (Holomorphic) Segre preserving Mappings of non-trivial Real-Formal Hypersurfaces in $\mathbb{C}^{2}$.
In this paper we study the formal classication of two-dimensional neighborhoods of genus g $\ge$ 2 curves with trivial normal bundle. We first construct formal foliations on such neighborhoods with holonomy vanishing along many loops, then…
We describe our ongoing project of formalization of algebraic methods for geometry theorem proving (Wu's method and the Groebner bases method), their implementation and integration in educational tools. The project includes formal…
We show that in every codimension greater than one there exists a mod 2 homology class in some closed manifold (of sufficiently high dimension) which cannot be realized by an immersion of closed manifolds. The proof gives explicit…
The author has been interested in regions surrounded by cylinders of real algebraic hypersurfaces and their shapes and polynomials associated to them. Here, we formulate and investigate natural decompositions into such cylinders of real…