Related papers: The Specializations in a Scheme

In this paper, we prove that a class of regular sequences can be viewed as projections of fixed points of uniform morphisms on a countable alphabet, and also can be generated by countable states automata. Moreover, we prove that the…

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…

This paper shows that for certain local topological properties, given a locally quasi-finite, flat and locally finitely presented map of schemes $f\colon X\to Y$, if $Y$ has the property, then so does $X$. We also show that being locally…

We make a systematic study of the infinitesimal lifting conditions of a pseudo finite type map of noetherian formal schemes. We recover the usual general properties in this context, and, more importantly, we uncover some new phenomena. We…

An orientation preserving diffeomorphism over a surface embedded in a 4-manifold is called extendable, if this diffeomorphism is a restriction of an orientation preserving diffeomorphism on this 4-manifold. In this paper, we investigate…

Nested conditions are used, among other things, as a graphical way to express first order formulas ruling the applicability of a graph transformation rule to a given match. In this paper, we propose (for the first time) a notion of…

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 present an adaptation of the so-called structural method \cite{CMM23} for Hamiltonian systems, and redesign the method for this specific context, which involves two coupled differential systems. Structural schemes decompose the problem…

In addition to pre- and postconditions, program specifications in recent separation logics for concurrency have employed an algebraic structure of resources---a form of state transition system---to describe the state-based program…

Let $S$ be a base scheme, assumed separated and Noetherian. We define \emph{adequate classes} of morphisms of $S$-schemes by formalizing certain properties of homotopy equivalences of complex algebraic varieties. Other examples of adequate…

We introduce a notion of proper morphism for schematic finite spaces and prove the analogue of Grothendieck's finiteness theorem for it by means of the classic result for schemes and general descent arguments. This result also generalizes…

In the article Categorical Construction of Schemes, arXiv:2511.03433 we gave a natural definition of ordinary schemes based on the fact that the localization of a ring in a maximal ideal is a local representation of the corresponding…

This is a chiefly expository paper on the subject of the title which, in our view, has not received a detailed treatment in the literature which is commensurate with its importance. We expect the results presented here to be useful in a…

In this paper, we obtain some new results on closed subschemes. Specially, we define natural addition and multiplication on the closed subschemes of a scheme. It is shown that "the multiplication" precisely coincides with the well known…

Consistency properties of concurrent computations, e.g., sequential consistency, linearizability, or eventual consistency, are essential for devising correct concurrent algorithms. In this paper, we present a logical formalization of such…

In this paper we maximize a class of functionals under certain constraints. We find sufficient and necessary conditions for these maximizers to exist and be unique. Moreover, we characterize them and discuss the optimality of our results by…

In supersymmetric quantum mechanics, exact-solvability of one-dimensional quantum systems can be classified only with an additional assumption of integrability, the so-called shape invariance condition. In this paper we show that in the…

In this paper we will first introduce the notion of affine structures on a ringed space and then obtain several properties. Affine structures on a ringed space, arising mainly from complex analytical spaces of algebraic schemes over number…

Differential flatness serves as a powerful tool for controlling continuous time nonlinear systems in problems such as motion planning and trajectory tracking. A similar notion, called difference flatness, exists for discrete-time systems.…

We characterise when the log arc scheme of a fine log scheme $(X, M)$, with $X$ a variety over a field of characteristic zero, is irreducible. This generalises the theorem of Kolchin that the (ordinary) arc scheme of $X$ is irreducible…