Related papers: Smooth scheme morphisms: a fresh view

Motivated by the definition of the smooth manifold structure on a suitable mapping space, we consider the general problem of how to transfer local properties from a smooth space to an associated mapping space. This leads to the notion of…

In this note we give simple symplecticity conditions for implicit schemes in the linear case. We consider implicit maps on generic symplectic manifold and we introduce the concept of consistent implicit maps, to generalize the symplecticity…

This paper shows some criteria for a scheme of finite type over an algebraically closed field to be non-singular in terms of jet schemes. For the base field of characteristic zero, the scheme is non-singular if and only if one of the…

In this paper we consider the question of smoothness of slowly varying functions satisfying the modern definition that, in the last two decades, gained prevalence in the applications concerning function spaces and interpolation. We show,…

We prove analogues of several well-known results concerning rational morphisms between quadrics for the class of so-called quasilinear $p$-hypersurfaces. These hypersurfaces are nowhere smooth over the base field, so many of the geometric…

We advocate an account of dualities between physical theories: the basic idea is that dual theories are isomorphic representations of a common core. We defend and illustrate this account, which we call a Schema, in relation to symmetries.…

Safety and assurance standards often rely on the principle that requirements errors can be minimised by expressing the requirements more formally. Although numerous case studies have shown that the act of formalising previously informal…

Formal explainability guarantees the rigor of computed explanations, and so it is paramount in domains where rigor is critical, including those deemed high-risk. Unfortunately, since its inception formal explainability has been hampered by…

We develop properties of unramified, \'etale and smooth morphisms between Berkovich spaces over $\mathbb{Z}$. We prove that they satisfy properties analogous to those of morphisms of schemes and we provide analytification criteria. Our…

We classify smooth surfaces whose higher cohomologies of i-forms for all i vanish. We show that if such a surface is not affine, then it has essentially two possibilities.

A skew-morphism $\varphi$ of a finite group $A$ is a permutation on $A$ such that $\varphi(1)=1$ and $\varphi(xy)=\varphi(x)\varphi^{\pi(x)}(y)$ for all $x,y\in A$ where $\pi:A\to\mathbb{Z}_{|\varphi|}$ is an integer function. A…

We give a sufficient condition under which the moduli space of morphisms between logarithmic schemes is quasifinite under the moduli space of morphisms between the underlying schemes. This implies that the moduli space of stable maps from…

We give criteria for the existence of geometric smoothings of a proper lci scheme or a DM stack $X$ as well as for a polarized lci scheme $(X,L)$, without assuming that $X$ is reduced. As applications, we give criteria for the smoothability…

For a smooth proper scheme over a local field of mixed characteristics which has semistable reduction we define the category of its semistable etale sheaves and under certain hypothesis we prove the appropriate semistable comparison…

We propose a novel 3D shape correspondence method based on the iterative alignment of so-called smooth shells. Smooth shells define a series of coarse-to-fine shape approximations designed to work well with multiscale algorithms. The main…

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.…

Using the methods of the theory of formal symmetries, we obtain new easily verifiable sufficient conditions for a recursion operator to produce a hierarchy of local generalized symmetries. An important advantage of our approach is that…

We give a short proof that any smooth (means formally smooth and finitely presented) homomorphism of rings can be obtained by base change from a smooth homomorphism of noetherian rings. Together with the elegant short proof by J. Conde-Lago…

This is a survey on the geometry of warped products, without, or essentially with only soft, calculation. Somewhere in the paper, the goal was to give a synthetic account since existing approaches are rather analytic. Somewhere else, we…

The aim of this note is to insert in the literature some easy but apparently not widely known facts about morphisms of locally compact groups, all of which are concerned with the openness of the morphism.