Related papers: From formal smoothings to geometric smoothings
The present paper provides a general formula for the dimension of spline space over T-meshes using smoothing cofactor-conformality method. And we introduce a new notion, Diagonalizable T-mesh, over which the dimension formula is only…
We give a $\delta$-constant criterion for equinormalizability of deformations of isolated (not necessarily reduced) curve singularities over smooth base spaces of dimension $\geq 1$. For one-parametric families of isolated curve…
We define the notion of a formal connection for a smooth family of star products with fixed underlying symplectic structure. Such a formal connection allows one to relate star products at different points in the family. This generalizes the…
We define the appropriate homological setting to study deformation theory of complete locally convex (curved) dg-algebras based on Positselski's contraderived categories. We define the corresponding Hochschild complex controlling…
Geometric modeling by constraints, whose applications are of interest to communities from various fields such as mechanical engineering, computer aided design, symbolic computation or molecular chemistry, is now integrated into standard…
We construct a smooth family of Hamiltonian systems, together with a family of group symmetries and momentum maps, for the dynamics of point vortices on surfaces parametrized by the curvature of the surface. Equivariant bifurcations in this…
We study holomorphic foliations with an affine homogeneous transverse structure. We give a friendly characterization of the case of transversely affine foliations in terms of matrix valued pairs of differential forms. This leads naturally…
Computing occluding contours is a key building block of non-photorealistic rendering, but producing contours with consistent visibility has been notoriously challenging. This paper describes the first general-purpose smooth surface…
To a formally smooth algebra A we associate a quiver setting (Q,a) containing enough information to reconstruct all the local quiver settings determining the etale local structure of finite dimensional representation schemes of A, see…
Building on the concept of a smooth DG algebra we define the notion of a smooth derived category. We the propose the definition of a categorical resolution of singularities. Our main example is the derived category $D(X)$ of quasi-coherent…
The theorem of Greenberg-Kazhdan-Drinfeld describes the formal neighborhood of a closed arc. After giving a complete proof with examples, two possible versions for the relative case of the theorem are discussed. Each one is shown to hold…
Smooth axially symmetric Helfrich topological spheres are either round or else they must satisfy a second order equation known as the reduced membrane equation [17]. In this paper, we show that, conversely, axially symmetric closed genus…
Let X be a surface whose Cox ring has a single relation satisfying moreover a kind of linearity property. Under a simple assumption, we show that the geometric Manin's conjectures hold for some degrees lying in the dual of the effective…
We study moduli of semistable twisted sheaves on smooth proper morphisms of algebraic spaces. In the case of a relative curve or surface, we prove results on the structure of these spaces. For curves, they are essentially isomorphic to…
This paper describes a formal theory of smooth vector fields, Lie groups and the Lie algebra of a Lie group in the theorem prover Isabelle. Lie groups are abstract structures that are composable, invertible and differentiable. They are…
For a smooth proper scheme or formal scheme over an unramified, complete DVR of mixed characteristics we prove a comparison isomorphism relating etale cohomology of the generic fiber with values in a crystalline etale sheaf to the…
This article introduces and studies the tight approximation property, a property of algebraic varieties defined over the function field of a complex or real curve that refines the weak approximation property (and the known cohomological…
We prove a "purity implies formality" statement in the context of the rational homotopy theory of smooth complex algebraic varieties, and apply it to complements of hypersurface arrangements. In particular, we prove that the complement of a…
We introduce the notion of a zebra structure on a surface, which is a more general geometric structure than a translation structure or a dilation structure that still gives a directional foliation of every slope. We are concerned with the…
A fundamental theorem of Laman characterises when a bar-joint framework realised generically in the Euclidean plane admits a non-trivial continuous deformation of its vertices. This has recently been extended in two ways. Firstly to…