Related papers: Formal models for relative adic spaces

We develop the diffeomorphism invariant Colombeau-type algebra of nonlinear generalized functions in a modern and compact way. Using a unifying formalism for the local setting and on manifolds, the construction becomes simpler and more…

Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of…

The expansion of a classical Hamilton formalism consisting in adaptation of it to describe the nonequilibrium systems is offered. Expansion is obtained by construction of formalism on the basis of the dynamics equation of the equilibrium…

For a local analytic diffeomorphism of the plane with an irrational elliptic fixed point at 0, we introduce the notion of ``geometric normalization'', which includes the classical formal normalizations as a special case: it is a formal…

We study different notions of blow-up of a scheme X along a subscheme Y, depending on the datum of an embedding of X into an ambient scheme. The two extremes in this theory are the ordinary blow-up, corresponding to the identity, and the…

We rewrite classical topological definitions using the category-theoretic notation of arrows and are led to concise reformulations in terms of simplicial categories and orthogonality of morphisms, which we hope might be of use in the…

We introduce a new definition of a model for a formal mathematical system. The definition is based upon the substitution in the formal systems, which allows a purely algebraic approach to model theory. This is very suitable for applications…

A modification of General Relativity that is based on the gravitational Standard-Model Extension and incorporates nondynamical background fields has recently been studied via the ADM formalism. Our objective in this paper is to develop a…

We study a class of noncanonical real scalar field models in $(1+1)$-dimensional flat space-time. We first derive the general criterion for the classical linear stability of an arbitrary static soliton solution of these models. Then we…

We develop some of the foundations of affinoid pre-adic spaces without Noetherian or finiteness hypotheses. We give some explicit examples of non-adic affinoid pre-adic spaces (including a locally perfectoid one). On the positive side, we…

We introduce the notion of a classical dihedral affine Gaudin model, associated with an untwisted affine Kac-Moody algebra $\widetilde{\mathfrak{g}}$ equipped with an action of the dihedral group $D_{2T}$, $T \geq 1$ through (anti-)linear…

We develop the theory of pinchings for non-archimedean analytic spaces. In particular, we show that although pinchings of affinoid spaces do not have to be affinoid, pinchings of Hausdorff analytic spaces always exist in the category of…

Foundations of the theory of vertex algebras are extended to the non-Archimedean setting.

For convex hypersurfaces in the affine space $\mathbb{A}^{n+1}$ ($n\geq2$), A.-M.\ Li introduced the notion of $\alpha$-normal field as a generalization of the affine normal field. By studying a Monge-Amp\`ere equation with gradient blowup…

The goal of this paper is to demystify the role played by the Reedy category axioms in homotopy theory. With no assumed prerequisites beyond a healthy appetite for category theoretic arguments, we present streamlined proofs of a number of…

The geometry of the Lubin-Tate space of deformations of a formal group is studied via an \'etale, rigid analytic map from the deformation space to projective space. This leads to a simple description of the equivariant canonical bundle of…

Formal (mixed) Hodge structures FHS are introduced in such a way that the Hodge realization of Deligne's 1-motives extends to a realization from Laumon's 1-motives to formal Hodge structures of level 1, providing an equivalence of…

There are two main constructions in classical descent theory: the category of algebras and the descent category, which are known to be examples of weighted bilimits. We give a formal approach to descent theory, employing formal consequences…

We investigate the foundations of a theory of algebraic data types with variable binding inside classical universal algebra. In the first part, a category-theoretic study of monads over the nominal sets of Gabbay and Pitts leads us to…

Extending the classical notion of the spreading model, the $k$-spreading models of a Banach space are introduced, for every $k\in\mathbb{N}$. The definition, which is based on the $k$-sequences and plegma families, reveals a new class of…