相关论文: Non-adic formal schemes
A new mathematical theory, non-associative geometry, providing a unified algebraic description of continuous and discrete spacetime, is introduced.
We study the structure of seminoetherian modules. Seminoetherian modules over non-primitive hereditary noetherian prime rings are completely described.
Having in view some applications in nanophysics, in particular in nanophysics of materials, we develop new dynamical models of structured bodies with affine internal degrees of freedom. In particular, we construct some models where not only…
The goal is to construct three related "prismatization" functors from the category of p-adic formal schemes to that of formal stacks. This should provide a good category of coefficients for prismatic cohomology in the spirit of F-gauges. In…
The purpose of this informal article is to introduce the reader to some of the objects and methods of the theory of p-adic representations. My hope is that students and mathematicians who are new to the subject will find it useful as a…
We define an abstract framework called {\it discrete finite differences embedding} which can be used to obtain discrete analogue of formal functional relations in the spirit of category theory. For ordinary differential equations we exhibit…
A ringed finite space is a ringed space whose underlying topological space is finite. The category of ringed finite spaces contains, fully faithfully, the category of finite topological spaces and the category of affine schemes. Any ringed…
These lecture notes provide an informal introduction to the theory of nonnegative polynomials and sums of squares. We highlight the history and some recent developments, especially the new connections with classical (complex) algebraic…
How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may…
This paper is divided in four parts. In the introduction, we discuss the program and the motivations of this paper. In section 2, we introduce the non-Archimedean field of Euclidean numbers E and we present a summary of the theory of…
In the framework of nonassociative geometry (hep-th/0003238) a unified description of continuum and discrete spacetime is proposed. In our approach at the Planck scales the spacetime is described as a so-called "diodular discrete structure"…
We study a new proof principle in the context of constructive Zermelo-Fraenkel set theory based on what we will call "non-deterministic inductive definitions". We give applications to formal topology as well as a predicative justification…
Phase spaces with nontrivial geometry appear in different approaches to quantum gravity and can also play a role in e.g. condensed matter physics. However, so far such phase spaces have only been considered for particles or strings. We…
In this paper we will give a scheme-theoretic discussion on the unramified extensions of an arithmetic function field in several variables. The notion of unramified discussed here is parallel to that in algebraic number theory and for the…
The category of coherent sheaves over a noetherian scheme is very important for studying the properties of a given scheme. For noetherian schemes it is a well-known fact that the topology can be fully recovered from the corresponding…
The importance of transformations and normal forms in logic programming, and generally in computer science, is well documented. This paper investigates transformations and normal forms in the context of Defeasible Logic, a simple but…
This article focuses on three main contributions. Firstly, we provide an in-depth overview of the nonlocal Lagrangian formalism. Secondly, we introduce an extended version of the second Noether's theorem tailored for nonlocal Lagrangians.…
It is proposed the scheme of quantum mechanics, in which a Hilbert space and the linear operators are not primary elements of the theory. Instead of it certain variant of the algebraic approach is considered. The elements of noncommutative…
In recent years, researchers have discovered various large algebraic structures that have surprising finiteness properties, such as FI-modules and Delta-modules. In this paper, we add another example to the growing list: we show that…
In this paper, we introduce a mathematical structure called Euclidean Universe. This structure provides a basic framework for Non-Archimedean Mathematics and in particular for Nonstandard Analysis.