Related papers: Algebraization of absolute perfectoidization via s…

This is a survey article on real algebra and geometry, and in particular on its recent applications in optimization and convexity. We first introduce basic notions and results from the classical theory. We then explain how these relate to…

We prove a characterization of profinite algebras, i.e., topological algebras that are isomorphic to a projective limit of finite discrete algebras. In general profiniteness concerns both the topological and algebraic characteristics of a…

We extend the classical notion of standardly stratified $k$-algebra (stated for finite dimensional $k$-algebras) to the more general class of rings, possibly without $1,$ with enough idempotents. We show that many of the fundamental…

We introduce the notion of a prism, which may be regarded as a "deperfection" of the notion of a perfectoid ring. Using prisms, we attach a ringed site -- the prismatic site -- to a $p$-adic formal scheme. The resulting cohomology theory…

The authors of this article intend to present some results obtained in the study of biderivations of complete Lie algebras. Firstly they present a matricial approach to do this, which was a useful and explanatory tool not only in the study…

We establish various properties of the p-adic algebraic K-theory of smooth algebras over perfectoid rings living over perfectoid valuation rings. In particular, the p-adic K-theory of such rings is homotopy invariant, and coincides with the…

We study projective completions of affine algebraic varieties which are given by filtrations, or equivalently, 'degree like functions' on their rings of regular functions. For a quasifinite polynomial map P (i.e. with all fibers finite) of…

A procedure for the algebraization of a $CR$-manifold and its holomorphic automorphisms is described. Examples of the application of algebraization are considered. Questions arising in connection with the algebraization of a $CR$-manifold…

We prove that if $R$ is a G-ring then every fully dualizable $R$-linear cocomplete category is equivalent to a twist by a $\mathbb{G}_m$-gerbe of the category of modules over a finite \'etale $R$-algebra. We also show that this holds more…

A priori, the set of birational transformations of an algebraic variety is just a group. We survey the possible algebraic structures that we may add to it, using in particular parametrised family of birational transformations.

Let $(R,\mathfrak{m})$ be a Noetherian local ring and $\widehat{R}$ its $\mathfrak{m}$-adic completion. We study the problem of determining when a finitely generated $\widehat{R}$-module arises from an $R$-module, i.e., when it is…

Let X be an algebraic variety with an action of an algebraic group G. Suppose X has a full exceptional collection of sheaves, and these sheaves are invariant under the action of the group. We construct a semiorthogonal decomposition of…

This is the first in a series of three papers on Algebraic Set Theory. Its main purpose is to lay the necessary groundwork for the next two parts, one on Realisability and the other on Sheaf Models in Algebraic Set Theory.

We study the process of $\ell$-adic completion of motivic sheaves. We observe that, in equal characteristic, when restricted to constructible objets, it is compatible with the six operations. This implies that one can reconstruct…

We consider the algebraization problem for principal bundles with reductive structure group, defined on the complement of a closed subset Z in a proper formal scheme. We show that, when Z is of codimension at least 3, an algebraization…

We show that the symmetrization of a brace algebra structure yields the structure of a symmetric brace algebra.

This paper explores formalizing Geometric (or Clifford) algebras into the Lean 3 theorem prover, building upon the substantial body of work that is the Lean mathematics library, mathlib. As we use Lean source code to demonstrate many of our…

We develop an elementary theory of partially additive rings as a foundation of ${\mathbb F}_1$-geometry. Our approach is so concrete that an analog of classical algebraic geometry is established very straightforwardly. As applications, (1)…

We give a definition of associative schemes, schemes of associative rings, over a field $k,$ using the definition of completion of an associative $k$-algebra in a finite set of simple modules. We start by giving a weaker but sufficient…

Let $A$ and $B$ be two connected graded algebras finitely generated in degree one. If $A$ is isomorphic to $B$ as ungraded algebras, then they are also isomorphic to each other as graded algebras.