Related papers: From formal smoothings to geometric smoothings

We propose a conjecture that a general member of a bracket-generating family of rational curves in a complex manifold satisfies the formal principle with convergence, namely, any formal equivalence between such curves is convergent. If the…

We study relations between the quadraticity of the Kuranishi family of a coherent sheaf on a complex projective scheme and the formality of the DG-Lie algebra of its derived endomorphisms. In particular, we prove that for a polystable…

We recently introduced a notion of tilings of geometric realizations of finite relative simplicial complexes and related those tilings to the discrete Morse theory of R. Forman, especially when they have the property of being shellable, a…

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…

A central problem of geometry is the tiling of space with simple structures. The classical solutions, such as triangles, squares, and hexagons in the plane and cubes and other polyhedra in three-dimensional space are built with sharp…

We construct flat metrics in a given conformal class with prescribed singularities of real orders at marked points of a closed real surface. The singularities can be small conical, cylindrical, and large conical with possible translation…

Moving our hands smoothly is essential to execute ordinary tasks, such as carrying a glass of water without spilling. Past studies have revealed a natural tendency to generate smooth trajectories when moving the hand from one point to…

One of the major problems in the theory of the porous medium equation is the regularity of the solutions and the free boundaries. Here we assume flatness of the solution in space time cylinder and derive smoothness of the interface after a…

If $X$ is a variety with an additional structure $\xi$, such as a marked point, a divisor, a polarization, a group structure and so forth, then it is possible to study whether the pair $(X,\xi)$ is defined over the field of moduli. There…

In this article we investigate the algebra and geometry of dihedral covers of smooth algebraic varieties. To this aim we first describe the Weil divisors and the Picard group of divisorial sheaves on normal double covers. Then we provide a…

The main purpose of this paper is twofold. We first want to analyze in details the meaningful geometric aspect of the method introduced in the previous paper [12], concerning regularity of families of irreducible, nodal "curves" on a…

A smooth Hermitian surface $X$ is a projective surface isomorphic to the Fermat surface of degree $q+1$ in positive characteristic. We study incidence relations of the rational curves of degree $q+1$ contained in $X$, and show that such…

We prove that the dg category of perfect complexes on a smooth, proper Deligne-Mumford stack over a field of characteristic zero is geometric in the sense of Orlov, and in particular smooth and proper. On the level of triangulated…

Let $X/K$ be a variety over a field, and $A/K$ an abelian variety. A regular homomorphism to $A$ (in codimension $i$) induces, for every smooth geometrically connected pointed $K$-scheme $(T,t_0)$ and every cycle class $Z \in CH^i(T\times…

Let X be a projective surface, let \sigma be an automorphism of X, and let L be a \sigma-ample invertible sheaf on X. We study the properties of a family of subrings, parameterized by geometric data, of the twisted homogeneous coordinate…

We give an explicit combinatorial description of the deformation theory of the Abelian category of (quasi)coherent sheaves on any separated Noetherian scheme $X$ via the deformation theory of path algebras of quivers with relations, by…

We show that given a dominant morphism between two smooth varieties of the same dimension, the induced morphism between the formal neighborhoods of two arcs on these varieties is a closed embedding, of codimension given by the order of…

We study when the derived intersection of two smooth subvarieties of a smooth variety is formal. As a consequence we obtain a derived base change theorem for non-transversal intersections. We also obtain applications to the study of the…

We study the curvature of a manifold on which there can be defined a complex-valued submersive harmonic morphism with either, totally geodesic fibers or that is holomorphic with respect to a complex structure which is compatible with the…

Under mild hypotheses, given a scheme $U$ and an open subset $V$ whose complement has codimension at least two, the pushforward of a torsion-free coherent sheaf on $V$ is coherent on $U$. We prove an analog of this result in the context of…