Related papers: Formal models for relative adic spaces
Let $k$ be a discretely valued non-Archimedean field. We give an explicit description of analytic functions whose norm is bounded by a given real number $r$ on tubes of reduced $k$-analytic spaces associated to special formal schemes (those…
We prove Banach, Newton-Raphson and Brouwer fixed point theorems in the framework of generalized smooth functions, a minimal extension of Colombeau's theory (and hence of classical distribution theory) which makes it possible to model…
This work presents a generalization of derived blow-ups and of the derived deformation to the normal bundle from derived algebraic geometry to any geometric context. The latter is our proposed globalization of a derived algebraic context,…
We construct proper pushforwards for partially proper morphisms of analytic adic spaces. This generalises the theory due to van der Put in the case of rigid analytic varieties over a non-Archimedean field. For morphisms which are smooth and…
In the present paper we extend the construction of the formal (affine) Demazure algebra due to Hoffnung, Malag\'on-L\'opez, Savage and Zainoulline in two directions. First, we introduce and study the notion of an extendable weight lattice…
In this article, we present a formalization of spherically complete spaces, which is a fundamental notion in non-archimedean functional analysis. This work includes the equivalent definitions of spherically complete spaces, their basic…
We present several results on the compactness of the space of morphisms between analytic spaces in the sense of Berkovich. We show that under certain conditions on the source, every sequence of analytic maps having an affinoid target has a…
The aim of this paper is to present a survey of some recent results obtained in the study of spaces with asymmetric norm. The presentation follows the ideas from the theory of normed spaces (topology, continuous linear operators, continuous…
We define normalized versions of Berkovich spaces over a trivially valued field $k$, obtained as quotients by the action of $\mathbb R_{>0}$ defined by rescaling semivaluations. We associate such a normalized space to any special formal…
Taking an algebraic perspective on the basic structures of Rough Concept Analysis as the starting point, in this paper we introduce some varieties of lattices expanded with normal modal operators which can be regarded as the natural rough…
We propose a new formalism for specifying and reasoning about problems that involve heterogeneous "pieces of information" -- large collections of data, decision procedures of any kind and complexity and connections between them. The essence…
Let X be a singular real rational surface obtained from a smooth real rational surface by performing weighted blow-ups. Denote by Aut(X) the group of algebraic automorphisms of X into itself. Let n be a natural integer and let…
We develop a general obstruction theory to the formality of algebraic structures over any commutative ground ring. It relies on the construction of Kaledin obstruction classes that faithfully detect the formality of differential graded…
Approaching limitations of digital computing technologies have spurred research in neuromorphic and other unconventional approaches to computing. Here we argue that if we want to systematically engineer computing systems that are based on…
For an algebraically closed non-archimedean extension $C/\mathbb{Q}_p$, we define a Tannakian category of $p$-adic Hodge structures over $C$ that is a local, $p$-adic analog of the global, archimedean category of $\mathbb{Q}$-Hodge…
We show how to extend the theory of generalized Reynolds ideals, as introduced by B. K"ulshammer, from symmetric algebras to arbitrary finite-dimensional algebras (in positive characteristic). This provides new invariants of the derived…
In the context of algebraic renormalization, the extended antifield formalism is used to derive the general forms of the anomaly consistency condition and of the Callan-Symanzik equation for generic gauge theories. A local version of the…
In this paper, we extend a theorem of To\"en and Vaqui\'e to the non-Archimedean and formal settings. More precisely, we prove that a smooth and proper rigid analytic variety is algebraizable if and only if its category of perfect complexes…
We extend the functional analytic approach to Colombeau-type spaces of nonlinear generalized functions in order to study algebras of tempered generalized functions. We obtain a definition of Fourier transform of nonlinear generalized…
In this paper we construct the category of birational spaces as the category in which Temkin's relative Riemann-Zariski spaces are naturally included. Furthermore we develop an analogue of Raynaud's theory. We prove that the category of…