Related papers: $C^\infty$-algebraic geometry with corners
The author has been interested in regions surrounded by cylinders of real algebraic hypersurfaces and their shapes and polynomials associated to them. Here, we formulate and investigate natural decompositions into such cylinders of real…
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 paper builds a general framework in which to study cohomology theories of strongly homotopy algebras, namely $A_\infty, C_\infty$ and $L_\infty$-algebras. This framework is based on noncommutative geometry as expounded by Connes and…
We give criteria for which a principal curvature becomes a bounded $C^\infty$-function at non-degenerate singular points of wave fronts by using geometric invariants. As applications, we study singularities of parallel surfaces and extended…
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…
We describe two constructions giving rise to curved $A_{\infty}$-algebras. The first consists of deforming $A_{\infty}$-algebras, while the second involves transferring curved dg structures that are deformations of (ordinary) dg structures…
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 text, we outline a theory of schemes associated with a site, which generalizes a variety of geometries, such as manifolds, schemes, analytic spaces, simplicial complexes, and more. We present an abstract process of gluing model…
Combining the Batchelor theorem and the Serre-Swan theorem, we come to that, given a smooth manifold $X$, a graded commutative $C^\infty(X)$-algebra $\cA$ is isomorphic to the structure ring of a graded manifold with a body $X$ iff it is…
Whereas for a substantial part, Finite Geometry during the past 50 years has focussed on geometries over finite fields, geometries over finite rings that are not division rings have got less attention. Nevertheless, several important…
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 consider, for each smooth manifold $M$, the set $\mathbb{M}$ comprised by all the primary ideals of $\mathcal{C}^\infty(M)$ which are closed and whose radical is maximal. The classical Lie theory of jets (jets of submanifolds) must be…
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…
A new field of discrete differential geometry is presently emerging on the border between differential and discrete geometry. Whereas classical differential geometry investigates smooth geometric shapes (such as surfaces), and discrete…
The aim of these notes is to present an accessible overview of some topics in classical algebraic geometry which have applications to aspects of discrete integrable systems. Precisely, we focus on surface theory on the algebraic geometry…
We introduce finitely $C^\infty$-generated algebras, which can be treated as `algebras of functions' on non-commutative $C^\infty$-differentiable spaces. Our approach uses the category of projective limits of real Banach algebras of…
Let $M$ be a smooth connected orientable closed surface and $f_0\in C^\infty(M)$ a function having only critical points of the $A_\mu$-types, $\mu\in\mathbb N$. Let ${\mathcal F}={\mathcal F}(f_0)$ be the set of functions $f\in C^\infty(M)$…
Shape analysis and compuational anatomy both make use of sophisticated tools from infinite-dimensional differential manifolds and Riemannian geometry on spaces of functions. While comprehensive references for the mathematical foundations…
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…
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…