Related papers: Differential forms on $C^\infty$-ringed spaces
An action of a Lie algebra $\frak g$ on a manifold $M$ is just a Lie algebra homomorphism $\zeta:\frak g\to \frak X(M)$. We define orbits for such an action. In general the space of orbits $M/\frak g$ is not a manifold and even has a bad…
Duality transformations within the quantum mechanics of a finite number of degrees of freedom can be regarded as the dependence of the notion of a quantum, i.e., an elementary excitation of the vacuum, on the observer on classical phase…
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…
We prove the Derived Mapping Space Lemma, which generalizes the central theorem of Cisinski's work on calculus of fractions for $\infty$-categories, and allows us to provide a unified framework for analyzing mapping spaces in localizations…
Chiral differential operators (CDOs) are closely related to string geometry and the quantum theory of two-dimensional sigma models. This paper investigates two topics about CDOs on smooth manifolds. In the first half, we study how a Lie…
Double coverings of the orthogonal groups of the real and complex spaces are considered. The relation between discrete transformations of these spaces and fundamental automorphisms of Clifford algebras is established, where an isomorphism…
A Riemannian metric on a manifold M induces a family of Riemannian metrics on the loop space LM depending on a Sobolev space parameter s. The connection and curvature forms of these metrics take values in pseudodifferential operators. We…
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…
The moduli space of regular stable maps with values in a complex manifold admits naturally the structure of a complex orbifold. Our proof uses the methods of differential geometry rather than algebraic geometry. It is based on Hardy…
This paper aims to describe the behavior of diffeological differential forms under the operation of gluing of diffeological spaces along a smooth map. In the diffeological context, two ways of looking at diffeological forms are available,…
Various complexes of differential operators are constructed on complex projective space via the Penrose transform, which also computes their cohomology.
We construct algorithms and topological invariants that allow us to distinguish the topological type of a surface, as well as functions and vector fields for their topological equivalence. In the first part we discus the main structures…
A `discrete differential manifold' we call a countable set together with an algebraic differential calculus on it. This structure has already been explored in previous work and provides us with a convenient framework for the formulation of…
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 finite-dimensional spaces of rational one-forms on a projective manifold by means of their integrable locus.
We construct algorithms and topological invariants that allow us to distinguish the topological type of a surface, as well as functions and vector fields for their topological equivalence. In the first part (arXiv:2501.15657), we discused…
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…
Rationally convex topological embeddings of compact surfaces (closed or with boundary) into $\mathbb{C}^2$ are constructed.
Let M be a meromorphic connection with poles along a smooth divisor D in a smooth algebraic variety. Let Sol M be the solution complex of M. We prove that the good formal decomposition locus of M coincides with the locus where the…
The construction of a C*-algebra of a differential groupoid is presented. It is shown that it defines a covariant functor from the category of differential groupoids in a sense of S. Zakrzewski to the category of C*-algebras.