Related papers: From formal smoothings to geometric smoothings
We prove that any geometrically connected curve $X$ over a field $k$ is an algebraic $K(\pi,1)$, as soon as its geometric irreducible components have nonzero genus. This means that the cohomology of any locally constant constructible…
Using results by Donaldson and Auroux on pseudo-holomorphic curves as well as Duval's rational convexity construction, the paper investigates the existence of smooth Lagrangian surfaces representing 2-dimensional homology classes in complex…
Variational analysis presents a unified theory encompassing in particular both smoothness and convexity. In a Euclidean space, convex sets and smooth manifolds both have straightforward local geometry. However, in the most basic hybrid case…
We consider the pure spinor sigma model in an arbitrary curved background. The use of Hamiltonian formalism allows for a uniform description of the worldsheet fields where matter and ghosts enter the action on the same footing. This…
We consider differentiable maps in the setting of Abstract Differential Geometry and we study the conditions that ensure the uniqueness of differentials in this setting. In particular, we prove that smooth maps between smooth manifolds…
Topologies on algebraic and equational theories are used to define germ determined, near-point determined, and point determined rings of smooth functions, without requiring them to be finitely generated. It is proved, that any commutative…
This paper proposes a method for computing the visible occluding contours of subdivision surfaces. The paper first introduces new theory for contour visibility of smooth surfaces. Necessary and sufficient conditions are introduced for when…
Given an essentially finite type morphism of schemes f: X --> Y and a positive integer d, let f^{d}: X^{d} --> Y denote the natural map from the d-fold fiber product, X^{d}, of X over Y and \pi_i: X^{d} --> X the i'th canonical projection.…
This paper develops the basic theory of formal schemes over fields in the supersymmetric setting. We introduce the notion of a formal superscheme and investigate some of its fundamental properties. Particular emphasis is placed on the study…
We investigate conditions for "simultaneous normalizability" of a family of reduced schemes, i.e., the normalization of the total space normalizes, fiber by fiber, each member of the family. The main result (under more general conditions)…
Let $G$ be a complex connected reductive algebraic group that acts on a smooth complex algebraic variety $X$, and let $E$ be a $G$-equivariant algebraic vector bundle over $X$. A section of $E$ is regular if it is transversal to the zero…
In this article we prove a global result in the spirit of Basener's theorem regarding the relation between q-pseudoconvexity and q-holomorphic convexity: we prove that any smoothly bounded strictly q-pseudoconvex open subset of the complex…
This paper investigates the geometry of a smooth canonically polarized surface $X$ defined over an algebraically closed field of characteristic $p>0$ in the case when the automorphism scheme of $X$ is not smooth. This is a situation that…
Let F be a polystable sheaf on a smooth minimal projective surface of Kodaira dimension 0. Then the DG-Lie algebra RHom(F,F) of derived endomorphisms of F is formal. The proof is based on the study of equivariant $L_{\infty}$ minimal models…
We study existential theories of henselian valued fields of positive characteristic with parameters from a trivially valued subfield. Compared to previous work, we relax perfectness and separability assumptions, and instead work with the…
We study holomorphic supercurves, which are motivated by supergeometry as a natural generalisation of holomorphic curves. We prove that, upon perturbing the defining equations by making them depend on a connection, the corresponding…
The group PGL(3) of linear transformations of the projective plane acts naturally on the projective space parametrizing curves of a given degree. In this note we begin the study of the orbits of smooth curves under this action: we construct…
We study geometric properties of certain obstructed equisingular families of projective hypersurfaces with emphasis on smoothness, reducibility, being reduced, and having expected dimension. In the case of minimal obstructness, we give a…
We study the general fibre of a formal deformation over the formal disk of a projective variety from the view point of abelian and derived categories. The abelian category of coherent sheaves of the general fibre is constructed directly…
Let S be a Dedekind scheme with fraction field K. We study the following problem: given a Del Pezzo surface X, defined over K, construct a distinguished integral model of X, defined over all of S. We provide a satisfactory answer if S is a…