Related papers: An introduction to C-infinity schemes and C-infini…
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…
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…
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…
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…
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 which is the first of a series of papers on smooth structures, the concepts of C-structures and smooth structures are introduced and studied. The notion of smooth structure on semi-integral domains is given. It is shown that…
A C-infinity ring is a set equipped with n-ary operations corresponding to smooth n-ary functions on the real line (satisfying natural axioms). We prove that the cosimplicial abelian group associated to the de Rham complex of Euclidean…
We develop a universal framework to study smooth higher orbifolds on the one hand and higher Deligne-Mumford stacks (as well as their derived and spectral variants) on the other, and use this framework to obtain a completely categorical…
In this paper we will first introduce the notion of affine structures on a ringed space and then obtain several properties. Affine structures on a ringed space, arising mainly from complex analytical spaces of algebraic schemes over number…
Among all $C^\infty$-algebras we characterize those which are algebras of smooth functions on smooth separable Hausdorff manifolds.
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…
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…
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…
We describe the E-infinity algebra structure on the complex of singular cochains of a topological space, in the context of sheaf theory. As a first application, for any algebraic variety we define a weight filtration compatible with its…
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…
Integral categories were recently developed as a counterpart to differential categories. In particular, integral categories come equipped with an integration operator, known as an integral transformation, whose axioms generalize the basic…
This is an introduction to noncommutative geometry, from an affine viewpoint, that is, by using coordinates. The spaces $\mathbb R^N,\mathbb C^N$ have no free analogues in the operator algebra sense, but the corresponding unit spheres…
We investigate conditions on a graph $C^*$-algebra for the existence of a faithful semifinite trace. Using such a trace and the natural gauge action of the circle on the graph algebra, we construct a smooth $(1,\infty)$-summable semfinite…