Related papers: The free tangent structure
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…
A method to define the complex structure and separate the conformal mode is proposed for a surface constructed by two-dimensional dynamical triangulation. Applications are made for surfaces coupled to matter fields such as $n$ scalar fields…
We consider generalized gradients in the general context of $G$-structures. They are natural first order differential operators acting on sections of vector bundles associated to irreducible $G$-representations. We study their geometric…
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 introduce structured decompositions, category-theoretic structures which simultaneously generalize notions from graph theory (including treewidth, layered treewidth, co-treewidth, graph decomposition width, tree independence number,…
A careful treatment of closed string BRST cohomology shows that there are more discrete states and associated symmetries in $D=2$ string theory than has been recognized hitherto. The full structure, at the $SU(2)$ radius, has a natural…
The derivation $d_T$ on the exterior algebra of forms on a manifold $M$ with values in the exterior algebra of forms on the tangent bundle $TM$ is extended to multivector fields. These tangent lifts are studied with applications to the…
A construction of the tangent dg Lie algebra of a sheaf of operad algebras on a site is presented. The requirements on the site are very mild; the requirements on the algebra are more substantial. A few applications including the…
We equip the direct limit of tangent bundles of paracompact finite dimensional manifolds with a structure of convenient vector bundle with structural group $GL(\infty,\mathbb{R}) =\underrightarrow{\lim}GL(\mathbb{R}^{n})$.
Natural metric structures on the tangent bundle and tangent sphere bundles $S_rM$ of a Riemannian manifold $M$ with radius function $r$ enclose many important unsolved problems. Admitting metric connections on $M$ with torsion, we deduce…
These are expanded notes from some talks given during the fall 2002, about ``homotopical algebraic geometry'' (HAG) with special emphasis on its applications to ``derived algebraic geometry'' (DAG) and ``derived deformation theory''. We use…
We investigate when the tangent bundle of a projective manifold has a non-trivial first order (or positive-dimensional) deformation. This leads to a new conjectural characterization of the complex projective space.
Discrete tomography is concerned with the reconstruction of images that are defined on a discrete set of lattice points from their projections in several directions. The range of values that can be assigned to each lattice point is…
We consider some natural (functorial) lifts of geometric objects associated with statistical manifolds (metric tensor, dual connections, skewness tensor, etc.) to higher tangent bundles. It turns out that the lifted objects form again a…
In this paper we consider two types of dimension that can be defined for products of one-dimensional topologically totally transcendental (t.t.t) structures. The first is topological and considers the interior of projections of the set onto…
The demand to know the structure of functionally independent invariants of tensor fields arises in many problems of theoretical and mathematical physics, for instance for the construction of interacting higher-order tensor field actions. In…
We present SAGNet, a structure-aware generative model for 3D shapes. Given a set of segmented objects of a certain class, the geometry of their parts and the pairwise relationships between them (the structure) are jointly learned and…
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.
We develop the theory of derived differential geometry in terms of bundles of curved $L_\infty[1]$-algebras, i.e. dg manifolds of positive amplitudes. We prove the category of derived manifolds is a category of fibrant objects. Therefore,…
The contact geometric structure of the thermodynamic phase space is used to introduce a novel symplectic structure on the tangent bundle of the equilibrium space. Moreover, it turns out that the equilibrium space can be interpreted as a…