Related papers: Affine geometric spaces in tangent categories
In differential geometry, the existence of pullbacks is a delicate matter, since the category of smooth manifolds does not admit all of them. When pullbacks are required, often submersions are employed as an ideal class of maps which…
Smooth manifolds have been always understood intuitively as spaces with an affine geometry on the infinitesimal scale. In Synthetic Differential Geometry this can be made precise by showing that a smooth manifold carries a natural structure…
We review the basic definitions and properties concerning smooth structures, convenient spaces, diffeological spaces and tangent structures. The relation betwen them is described. A tangent structure is constructed for each pre-convenient…
I extend the framework of rigid analytic geometry to the setting of algebraic geometry relative to monoids, and study the associated notions of separated, proper, and overconvergent morphisms. The category of affine manifolds embeds as a…
We will introduce formal frames of manifolds, which are a generalization of ordinary frames. Their fundamental properties are discussed. In particular, canonical forms are introduced, and torsions are defined in terms of them as a…
This paper explores a new perspective on the universality of the vertical lift in tangent categories by presenting a categorification of the dimension of smooth manifolds. The universality of the vertical lift is a key part of the axioms of…
We establish a relation between smooth 2-functors defined on the path 2-groupoid of a smooth manifold and differential forms on this manifold. This relation can be understood as a part of a dictionary between fundamental notions from…
We define a subcategory of the category of diffeological spaces, which contains smooth manifolds, the diffeomorphism subgroups and its coadjoint orbits. In these spaces we construct a tangent bundle, vector fields and a de Rham cohomology.
Manifolds with boundary and with corners form categories ${\bf Man}\subset{\bf Man^b}\subset{\bf Man^c}$. A manifold with corners $X$ has two notions of tangent bundle: the tangent bundle $TX$, and the b-tangent bundle ${}^bTX$. The usual…
We introduce an alternative formalization of curved spaces in which the concept of a pointwise affine space, as defined here, replaces that of a manifold. New or modified definitions of familiar notions from differential geometry such as…
Congruences, or $2$-parameter families of lines in $3$-space are of interest in many situations, in particular in geometric optics. In this paper we consider elements of their geometry which are invariant under affine changes of…
In this note, we show that the category of Latin (resp. commutative) medial quandles is equivalent to the category of affine modules over a certain Laurent polynomial ring (resp. the dyadic rationals). As applications, we describe free…
The goal of this paper is to introduce the lifting theory that has an important role in geometry. Therefore, using the lifts of differential geometric structures we show that tangent bundle TM of paracomplex manifold M admits para-complex…
Just as knots and links can be algebraically described as certain morphisms in the category of tangles in 3 dimensions, compact surfaces smoothly embedded in R^4 can be described as certain 2-morphisms in the 2-category of `2-tangles in 4…
Tannaka duality and its extensions by Lurie, Sch\"appi et al. reveal that many schemes as well as algebraic stacks may be identified with their tensor categories of quasi-coherent sheaves. In this thesis we study constructions of cocomplete…
Every smooth manifold contains particles which propagate. These form objects and morphisms of a category equipped with a functor to the category of Abelian groups, turning this into a 0+1 topological field theory. We investigate the…
Geodesically complete affine manifolds are quotients of the Euclidean space through a properly discontinuous action of a subgroup of affine Euclidean transformations. An equivalent definition is that the tangent bundle of such a manifold…
Main ideas of the differential geometry on affine bundles are presented. Affine counterparts of Lie algebroid and Poisson structures are introduced and discussed. The developed concepts are applied in a frame-independent formulation of the…
We classify complex compact parallelizable manifolds which admit flat torsion free holomorphic affine connections. We exhibit complex compact manifolds admitting holomorphic affine connections, but no flat torsion free holomorphic affine…
It was recently shown that under mild assumptions second-order conformally superintegrable systems can be encoded in a $(0,3)$-tensor, called structure tensor. For abundant systems, this approach led to algebraic integrability conditions…