Related papers: A simplicial foundation for differential and secto…
Affine schemes can be understood as objects of the opposite of the category of commutative and unital algebras. Similarly, $\mathscr{P}$-affine schemes can be defined as objects of the opposite of the category of algebras over an operad…
This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this paper, we lay the foundations for this study by introducing the…
Principal bundles have at least three different definitions, depending on the category of geometric objects studied. In Differential Geometry, they are defined as locally trivial projection map of smooth manifolds with an atlas whose…
We build a tangent structure on the category of divided power algebras using a particular notion of semidirect product. We show that this tangent structure admits an adjoint tangent structure, which involves a version of K\"ahler…
We introduce a system of axioms that uniquely defines an (infinity,d)-category of bordisms equipped with geometric data. The underlying manifolds of these bordisms may be smooth, complex, super, or formal smooth manifolds, as well as any…
In order to provide a good categorical setting to the many different spaces of fields arising in the description of physical theories, a pedagogical introduction to the categorical notion of smooth sets is provided and some simple…
We present bounds for the geometric degree of the tangent bundle and the tangential variety of a smooth affine algebraic variety $V$ in terms of the geometric degree of $V$. We first analyze the case of curves, showing an explicit relation…
We prove that smooth 1-dimensional topological field theories over a manifold are equivalent to vector bundles with connection. The main novelty is our definition of the smooth 1-dimensional bordism category, which encodes cutting laws…
This is a review of the basic concepts of the theory of real and complex smooth vector bundles with finite rank. Besides, the concept of a tensor field is studied within the general framework of a smooth vector bundle rather than a smooth…
We present necessary and sufficient conditions for a group homomorphism between spaces of smooth sections of Lie group bundles to be a weighted composition operator. These results provide new insights into a wide range of problems related…
Type families on higher inductive types such as pushouts can capture homotopical properties of differential geometric constructions including connections, curvature, and vector fields. We define a class of pushouts based on simplicial…
We prove uniqueness, up to diffeomorphism, of symplectically aspherical fillings of certain unit cotangent bundles, including those of higher-dimensional tori.
A new approach is suggested to quantum differential calculus on certain quantum varieties. It consists in replacing quantum de Rham complexes with differentials satisfying Leibniz rule by those which are in a sense close to Koszul complexes…
We consider one possible definition of a diffeological connection on a diffeological vector pseudo-bundle. It is different from the one proposed in [7] and is in fact simpler, since it is obtained by a straightforward adaption of the…
The geometric theory of pseudo-differential and Fourier Integral Operators relies on the symplectic structure of cotangent bundles. If one is to study calculi with some specific feature adapted to a geometric situation, the corresponding…
We develop a combinatorial theory of vector bundles with connection on locally ordered simplicial complexes. This is a first step towards a discrete exterior calculus for bundle-valued forms. The basic building block is the discrete…
In this paper we define and study pseudoholomorphic vector bundles structures, particular cases of which are tangent and normal bundle almost complex structures. These are intrinsically related to the Gromov D-operator. As an application we…
We show that given two smooth affine varieties over $\mathbb{C}$ such that their rings of differential operators are Morita equivalent, then corresponding cotangent bundles are isomorphic as symplectic varieties.
In the paper a Riemannian structure on the tangent bundle is defined by using a statistical structure $(g,\nabla)$ on the base manifold. Expressions for various curvatures of the structure are derived. Some rigidity results of the structure…
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…