Related papers: Algebraic Geometry over $C^\infty$-rings

This is a survey of the author's paper arXiv:1001.0023 on "Algebraic Geometry over C-infinity rings". If X is a smooth manifold then the R-algebra C^\infty(X) of smooth functions c : X --> R is a "C-infinity ring". That is, for each smooth…

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…

It is often noted that many of the basic concepts of differential geometry, such as the definition of connection, are purely algebraic in nature. Here, we review and extend existing work on fully algebraic formulations of differential…

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…

Let $X$ be a smooth compact manifold and $v$ a vector field on $X$ which admits a smooth function $f: X \to \mathbf R$ such that $df(v) > 0$. Let $\partial X$ be the boundary of $X$. We denote by $C^\infty(X)$ the algebra of smooth…

Among all $C^\infty$-algebras we characterize those which are algebras of smooth functions on smooth separable Hausdorff manifolds.

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…

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…

The present paper is a continuation of our work on curved finitary spacetime sheaves of incidence algebras and treats the latter along Cech cohomological lines. In particular, we entertain the possibility of constructing a non-trivial de…

Through the subsequent discussion we consider a certain particular sort of (topological) algebras, which may substitute the `` structure sheaf algebras'' in many--in point of fact, in all--the situations of a geometrical character that…

We construct a complex of differential forms on a local $C^\infty$-ringed space. The two main classes of spaces we have in mind are differential spaces in the sense of Sikorski and $C^\infty$-schemes. Just as in the case of manifolds the…

Various algebraic structures in geometry and group theory have appeared to be governed by certain universal rings. Examples include: the cohomology rings of Hilbert schemes of points on projective surfaces and quasi-projective surfaces; the…

In our previous work, we have constructed explicit smooth real algebraic functions which may have both compact and non-compact preimages on smooth real algebraic manifolds. This paper presents its variant. Our result is new in obtaining…

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…

Since the time when the first optical instruments have been invented, an idea that the visible image of an object under observation depends on tools of observation became commonly assumed in physics. A way to formalize it in mathematics is…

It is shown that the differential geometry of space-time, can be expressed in terms of the algebra of operators on a bundle of Hilbert spaces. The price for this is that the algebra of smooth functions on space-time has to be made…

This paper introduces the concept of supermanifolds, viewed as the super-analogues of classical manifolds. Instead of treating supermanifolds as sets of points, we adopt an algebraic-geometric perspective, emphasizing the algebra of…

We develop basic notions and methods of algebraic geometry over the algebraic objects called hyperrings. Roughly speaking, hyperrings generalize rings in such a way that an addition is `multi-valued'. This paper largely consisits of two…

In this paper, we use homotopical algebra (or abstract homotopical methods) to study smooth homotopical problems of infinite-dimensional $C^\infty$-manifolds in convenient calculus. More precisely, we discuss the smoothing of maps,…

This is the first in a series of papers laying the foundations for a differential graded approach to derived differential geometry (and other geometries in characteristic zero). In this paper, we study theories of supercommutative algebras…