Related papers: Good formal structure for meromorphic flat connect…
In this paper, we study formal mappings between smooth generic submanifolds in multidimensional complex space and establish results on finite determination, convergence and local biholomorphic and algebraic equivalence. Our finite…
We show that if the Atiyah Jones conjecture holds for a surface $X,$ then it also holds for the blow-up of $X$ at a point. Since the conjecture is known to hold for ${\mathbb P}^2$ and for ruled surfaces, it follows that the conjecture is…
In this paper we study monomial multiple structures on a linear subspace of codimension two in projective space. We show that these structures determine smooth points in their respective Hilbert schemes, with (smooth) neighbourhoods of two…
Any counterexample to the two-dimensional Jacobian Conjecture gives a rational map from one projective plane to another. We use some ideas of the Minimal Model Program to study the combinatorial structure of a rational surface, that is…
We give an elementary explicit construction of cell decomposition of the moduli space of projective structures on a two dimensional surface analogous to the decomposition of Penner/Strebel for moduli space of complex structures. The…
We prove that affine invariant manifolds in strata of flat surfaces are algebraic varieties. The result is deduced from a generalization of a theorem of M\"oller. Namely, we prove that the image of a certain twisted Abel-Jacobi map lands in…
We extend the formality theorem of M. Kontsevich from deformations of the structure sheaf on a manifold to deformations of gerbes.
A notion known as smooth envelope, or superposition closure, appears naturally in several approaches to generalized smooth manifolds which were proposed in the last decades. Such an operation is indispensable in order to perform…
A conjecture of Morel asserts that the sheaf of $\mathbb A^1$-connected components of a space is $\mathbb A^1$-invariant. Using purely algebro-geometric methods, we determine the sheaf of $\mathbb A^1$-connected components of a smooth…
We prove that any $C^{1+BV}$ degree $d \geq 2$ circle covering $h$ having all periodic orbits weakly expanding, is conjugate in the same smoothness class to a metrically expanding map. We use this to connect the space of parabolic external…
An informal discussion of how the construction problem in algebraic geometry motivates the search for formal proof methods. Also includes a brief discussion of my own progress up to now, which concerns the formalization of category theory…
We find new examples of complex surfaces with countably many non-isomorphic algebraic structures. Here is one such example: take an elliptic curve $E$ in $\mathbb P^2$ and blow up nine general points on $E$. Then the complement $M$ of the…
It is shown the construction of a module structure [2] with universe over a set of a particular kind of mathematical proofs, the base ring of this module will be built on a maximal consistent extension of a set of propositions, this…
We prove that a meromorphic mapping, which sends a peace of a real analytic strictly pseudoconvex hypersurface in $\cc^2$ to a compact subset of $\cc^N$ which doesn't contain germs of non-constant complex curves is continuous from the…
We discuss the strong rational connectedness of smooth rationally connected surfaces. We prove in lots of cases, including the smooth locus of a log del Pezzo surface, the rational connectedness indeed implies the strong rational…
For a smooth function on a smooth manifold of a suitable class, the space of all connected components of preimages is the graph and called the {\it Reeb graph}. Reeb graphs are fundamental tools in the algebraic and differential topological…
We complete and precise the results of [B.13] and we prove a strong version of the semi-proper direct image theorem with values in the space C f n (M) of finite type closed n--cycles in a complex space M. We describe the strongly…
In this paper we study flat deformations of real subschemes of $\mathbb{P}^n$, hyperbolic with respect to a fixed linear subspace, i.e. admitting a finite surjective and real fibered linear projection. We show that the subset of the…
We introduce the notion of integrable connections for a sheaf of differential graded algebras on a topological space. We then describe them in the finite locally projective setting, when the sheaf is either the de Rham complex of a formal…
The authors give a complete classification of projective threefolds admitting a holomorphic normal projective connection. Moreover, they prove a general structure theorem on complex projective manifolds admitting a holomorphic normal…