Related papers: Algebraic Smooth Structures 1

This is the second part of a series of papers devoted to develop Homotopical Algebraic Geometry. We start by defining and studying generalizations of standard notions of linear and commutative algebra in an abstract monoidal model category,…

Smooth K-functors are introduced and the smooth K-theory of locally convex algebras is developed. It is proved that the algebraic and smooth K-functors are isomorphic on the category of quasi stable real (or complex) Frechet algebras.

For each nonnegative integer m we show that any closed, oriented topological four-manifold with fundamental group Z_{4m+2} and odd intersection form, with possibly seven exceptions, either admits no smooth structure or admits infinitely…

In this paper we discuss the notion of smoothness in complex algebraic supergeometry and we prove that all affine complex algebraic supergroups are smooth. We then prove the stabilizer theorem in the algebraic context, providing some useful…

Divided into three parts, the first marks out enormous geometric issues with the notion of quasi-freenss of an algebra and seeks to replace this notion of formal smoothness with an approximation by means of a minimal unital commutative…

A function $f$ is arc-smooth if the composite $f\circ c$ with every smooth curve $c$ in its domain of definition is smooth. On open sets in smooth manifolds the arc-smooth functions are precisely the smooth functions by a classical theorem…

Let $G \subset {\mathbb R}^{n}$ be an open convex set which is either bounded or contains a translation of a convex cone with nonempty interior. It is known that then, for every modulus $\omega$, every function on $G$ which is both…

For a smooth function on a smooth manifold of a suitable class, the space of all connected components of preimages is the graph and called the {\it Reeb graph}. Reeb graphs are fundamental tools in the algebraic and differential topological…

We study the category $\mathcal{A}$ of smooth semilinear representations of the infinite symmetric group over the field of rational functions in infinitely many variables. We establish a number of results about the structure of…

We consider spaces for which there is a notion of harmonicity for complex valued functions defined on them. For instance, this is the case of Riemannian manifolds on one hand, and (metric) graphs on the other hand. We observe that it is…

This paper proposes a refinement of the usual concept of algebraic quantum field theories (AQFTs) to theories that are smooth in the sense that they assign to every smooth family of spacetimes a smooth family of observable algebras. Using…

Previously, we have investigated a natural smooth map onto the region surrounded by the graphs of two smooth real-valued functions in the plane converging to a same value or diverges to $+\infty$ or $-\infty$ simultaneously, at each…

This is the first part of a series of articles where we are going to develop theory of valuations on manifolds generalizing the classical theory of continuous valuations on convex subsets of a linear space. In this article we still work…

The purpose of this paper is to investigate the definition of symplectic structure on a smooth stratified pseudomanifold in the framework of local $\C^{\infty}$-ringed space theory. We introduce a sheaf-theoretic definition of symplectic…

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…

The paper is concerned with `geometrization' of smooth (i.e. with open stabilizers) representations of the automorphism group of universal domains, and with the properties of `geometric' representations of such groups. As an application, we…

Let $M$ be a smooth connected compact surface and $P$ be either a real line or a circle. This paper proceeds the study of the stabilizers and orbits of smooth functions on $M$ with respect to the right action of the group of diffeomorphisms…

Let M be a symplectic 4-manifold. A semitoric integrable system on M is a pair of real-valued smooth functions J, H on M for which J generates a Hamiltonian S^1-action and the Poisson brackets {J,H} vanish. We shall introduce new global…

We define a notion of smooth cohomology for $ C^* $-algebras which admit a faithful trace. We show that if $ \A\subseteq B(\h) $ is a $ C^* $-algebra with a faithful normal trace $ \tau $ on the ultra-weak closure $ \bar{\A} $ of $…

The theory of quaternionic slice regular functions was introduced in 2006 and successfully developed for about a decade over symmetric slice domains, which appeared to be the natural setting for their study. Some recent articles paved the…