Related papers: On the order theory for $\mathcal{C}^\infty$-reduc…
We present, in the same vein as in [20] and [21], some results of the so-called "Smooth (or $\mathcal{C}^\infty$) Commutative Algebra", a version of Commutative Algebra of $\mathcal{C}^{\infty}-$rings instead of ordinary commutative unital…
In this paper we state and prove ad hoc "Separation Theorems" of the so-called Smooth Commutative Algebra, the Commutative Algebra of \(\mathcal{C}^{\infty}-\)rings. These results are formally similar to the ones we find in (ordinary)…
In this paper we present some basic results of the Universal Algebra of $\mathcal{C}^\infty$-rings which were nowhere to be found in the current literature. The outstanding book of I. Moerdijk and G. Reyes,[24], presents the basic (and…
If $X$ is a manifold then the set $C^\infty(X)$ of smooth functions $f:X\to\mathbb R$ is a $C^\infty$-ring, a rich algebraic structure with many operations. $C^\infty$-schemes are schemes over $C^\infty$-rings, a way of using…
In this paper we present the notion of a von Neumann regular $\mathcal{C}^{\infty}-$ring, we prove some results about them and we describe some of their properties. We prove, using two different methods, that the category of von Neumann…
We introduce Poisson $C^\infty$-rings and Poisson local $C^\infty$-ringed spaces. We show that the spectrum of a Poisson $C^\infty$-ring is an affine Poisson $C^\infty$-scheme. We then discuss applications that include singular symplectic…
We associate reduced and full C*-algebras to arbitrary rings and study the inner structure of these ring C*-algebras. As a result, we obtain conditions for them to be purely infinite and simple. We also discuss several examples.…
In this paper we present classifying toposes for the following theories: the theory of $\mathcal{C}^{\infty}-$rings, the theory of local $\mathcal{C}^{\infty}-$rings and the theory of von Neumann regular $\mathcal{C}^{\infty}-$rings. The…
This paper develops a theory of $C^\infty$-superrings and their associated $C^\infty$-superschemes. We prove a key equivalence between the category of fair affine $C^\infty$-superschemes and the category of fair $C^\infty$-superrings. We…
This work is the first in a series laying the foundations of derived geometry in the $C^{\infty}$ setting, and providing tools for the construction and study of moduli spaces of solutions of Partial Differential Equations that arise in…
For a number field $K$, we extend the notion of the ring class field of an order in $K$ [C. Lv and Y. Deng, SciChina. Math., 2015] to that of an arbitrary number ring in $K$. We give both ideal-theoretic and idele-theoretic description of…
In this paper, we introduce the concept of a "von Neumann regular $\mathcal{C}^{\infty}$-ring", which is a model for a specific equational theory. We delve into the characteristics of these rings and demonstrate that each Boolean space can…
If $X$ is a smooth manifold then the $\mathbb R$-algebra $C^\infty(X)$ of smooth functions $c:X\to\mathbb R$ is a $C^\infty$-$ring$. That is, for each smooth function $f:{\mathbb R}^n\to\mathbb R$ there is an $n$-fold operation…
We compute K-theory for ring C*-algebras in the case of higher roots of unity and thereby completely determine the K-theory for ring C*-algebras attached to rings of integers in arbitrary number fields.
In this work we attempt to generalize our result in [6] [7] for real rings (not just von Neumann regular real rings). In other words we attempt to characterize and construct real closure * of commutative unitary rings that are real. We also…
We study discrete orderings in the real spectrum of a commutative ring by defining discrete prime cones and give an algebro-geometric meaning to some kind of diophantine problems over discretely ordered rings. Also for a discretely ordered…
The reduced ring order (rr-order) is a natural partial order on a reduced ring $R$ given by $r\le_{\text{rr}} s$ if $r^2=rs$. It can be studied algebraically or topologically in rings of the form $\text{C}(X)$. The focus here is on those…
We introduce and investigate a class of ring ideals, termed ring $\mathrm{M}$-ideals, inspired by the Alfsen--Effros theory of $\mathrm{M}$-ideals in Banach spaces. We show that $\mathrm{M}$-ideals extend the classical notion of essential…
We compute the K-theory of ring C*-algebras for polynomial rings over finite fields. The key ingredient is a duality theorem which we had obtained in a previous paper. It allows us to show that the K-theory of these algebras has a ring…
We study the K-theory of ring C*-algebras associated to rings of integers in global function fields with only one single infinite place. First, we compute the torsion-free part of the K-groups of these ring C*-algebras. Secondly, we show…