Related papers: Affine geometric spaces in tangent categories
The homotopy category of a model structure on a weakly idempotent complete additive category is proved to be equivalent to the additive quotient of the category of cofibrant-fibrant objects with respect to the subcategory of…
The classical concept of affine locally symmetric spaces allows a generalization for various geometric structures on a smooth manifold. We remind the notion of symmetry for parabolic geometries and we summarize the known facts for…
Affine structures on a Lie groupoid, including affine $k$-vector fields, $k$-forms and $(p,q)$-tensors are studied. We show that the space of affine structures is a 2-vector space over the space of multiplicative structures. Moreover, the…
Differential categories provide the categorical foundations for the algebraic approaches to differentiation. They have been successful in formalizing various important concepts related to differentiation, such as, in particular,…
We prove that the algebra of singular cochains on a smooth manifold, equipped with the cup product, is equivalent to the A-infinity structure on the Lagrangian Floer cochain group associated to the zero section in the cotangent bundle. More…
Tangent categories were introduced by Rosicky as a categorical setting for differential structures in algebra and geometry; in recent work of Cockett, Crutwell and others, they have also been applied to the study of differential structure…
Given a tensor triangulated category we investigate the geometry of the Balmer spectrum as a locally ringed space. Specifically we construct functors assigning to every object in the category a corresponding sheaf and a notion of support…
We study quotients of multi-graded bundles, including double vector bundles. Among other things, we show that any such quotient fits into a tower of affine bundles. Applications of the theory include a construction of normal bundles for…
We define a simplicial category called the category of derived manifolds. It contains the category of smooth manifolds as a full discrete subcategory, and it is closed under taking arbitrary intersections in a manifold. A derived manifold…
On a smooth projective threefold, we construct an essentially surjective functor $\mathcal{F}$ from a category of two-term complexes to a category of quotients of coherent sheaves, and describe the fibers of this functor. Under a coprime…
We construct a 2-category of differential graded schemes. The local affine models in this theory are differential graded algebras, which are graded commutative with unit over a field of characteristic zero, are concentrated in non-positive…
In classical field theory, the composite fibred manifolds Y -> Z -> X provides the adequate mathematical formulation of gauge models with broken symmetries, e.g., the gauge gravitation theory. This work is devoted to connections on…
This paper develops the tools of formal algebraic geometry in the setting of noncommutative manifolds, roughly ringed spaces locally modeled on the free associative algebra. We define a notion of noncommutative coordinate system, which is a…
Diffeological spaces are generalizations of smooth manifolds. In this paper, we study the homotopy theory of diffeological spaces. We begin by proving basic properties of the smooth homotopy groups that we will need later. Then we introduce…
We prove a characterization of profinite algebras, i.e., topological algebras that are isomorphic to a projective limit of finite discrete algebras. In general profiniteness concerns both the topological and algebraic characteristics of a…
We introduce Manifold tensor categories, which make precise the notion of a tensor category with a manifold of simple objects. A basic example is the category of vector spaces graded by a Lie group. Unlike classic tensor category theory,…
We make precise the analogy between Goodwillie's calculus of functors in homotopy theory and the differential calculus of smooth manifolds by introducing a higher-categorical framework of which both theories are examples. That framework is…
Connections are an important tool of differential geometry. This paper investigates their definition and structure in the abstract setting of tangent categories. At this level of abstraction we derive several classically important results…
We study affine maps between affine manifolds. Even when the fibers are compact and diffeomorphic, two of them can inherit different affine structures from the source space. This leads to a fixed linear holonomy deformation theory of the…
The results of the paper concern the topological structure of complete riemannian manifolds with cyclic holonomy groups and low-dimensional orientable complete flat manifolds. We also discuss related results such as the affine…