相关论文: The Specializations in a Scheme

This a first step to develop a theory of smooth, etale and unramified morphisms between noetherian formal schemes. Our main tool is the complete module of differentials, that is a coherent sheaf whenever the map of formal schemes is of…

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…

Regularization is used in many different areas of optimization when solutions are sought which not only minimize a given function, but also possess a certain degree of regularity. Popular applications are image denoising, sparse regression…

Boundary problem for linear partial differential algebraic equations system with multiple characteristic curves is considered. It is supposed that matrix-functions pencil of the system under consideration is smoothly equivalent to special…

In some particular cases we give criteria for morphic sequences to be almost periodic (=uniformly recurrent). Namely, we deal with fixed points of non-erasing morphisms and with automatic sequences. In both cases a polynomial-time algorithm…

Finding necessary and sufficient conditions for isomorphism between two semigroups of order-preserving transformations over an infinite domain with restricted range was an open problem in \cite{FHQS}. In this paper, we show a proof strategy…

In algebraic geometry specialisations and valuations play and important role. In this paper we start investigating analogous structures for Zariski structures. Specifically, we look into the existence and uniqueness properties of extensions…

We propose to extend ``invertibility'' to ``regularity'' for categories in general abstract algebraic manner. Higher regularity conditions and ``semicommutative'' diagrams are introduced. Distinction between commutative and…

We prove that under some extra hypothesis, given an \'etale endomorphism of a normal irreducible Noetherian and simply connected scheme, if the endomorphism is surjective then it is injective. The additional assumption concerns the…

Symmetry preserving difference schemes approximating second and third order ordinary differential equations are presented. They have the same three or four-dimensional symmetry groups as the original differential equations. The new…

Datatype specialization is a form of subtyping that captures program invariants on data structures that are expressed using the convenient and intuitive datatype notation. Of particular interest are structural invariants such as…

We introduce perfect resolving algebras and study their fundamental properties. These algebras are basic for our theory of differential graded schemes, as they give rise to affine differential graded schemes. We also introduce etale…

The generalisation of the well-known (Hilbert polynomial) criterion for flatness of a projective morphism of Noetherian schemes is given for the case of nonreduced base of the morphism.

In this paper we prove a characterization of continuity for polynomials on a normed space. Namely, we prove that a polynomial is continuous if and only if it maps compact sets into compact sets. We also provide a partial answer to the…

We introduce the notion of a relative log scheme with boundary: a morphism of log schemes together with a (log schematically) dense open immersion of its source into a third log scheme. The sheaf of relative log differentials naturally…

We think about what the subscheme of the formal scheme is. Differently form the ordinary scheme, the formal scheme has different notions of ``subscheme''. We lay a foundation for these notions and compare them. We also relate them to…

The main focus of this paper is to show that the gluing of formal schemes is also a formal scheme. The algebraic approach established here also leads us to conclude when the gluing of $k$-formal schemes is a $k$-formal scheme. In addition,…

We show that any of a large class of schemes receives a universal homeomorphism from a reduced scheme that in turn receives no nontrivial universal homeomorphism from any other reduced scheme. This construction serves as a categorical input…

In this paper we introduce congruence spaces, which are topological spaces that are canonically attached to monoid schemes and that reflect closed topological properties. This leads to satisfactory topological characterizations of closed…

In this paper, we investigate the structure of the most general kind of substitution shifts, including non-minimal ones, and allowing erasing morphisms. We prove the decidability of many properties of these morphisms with respect to the…