Related papers: A tangent bundle on diffeological spaces

Previous work has shown that reverse differential categories give an abstract setting for gradient-based learning of functions between Euclidean spaces. However, reverse differential categories are not suited to handle gradient-based…

We introduce a category of 'rigid spaces with overconvergent structure sheaf' which we call dagger spaces --- this is the correct category in which de Rham cohomology in rigid analysis should be studied. We compare it with the (usual)…

Stiefel-Whitney classes are invariants of the tangent bundle of a smooth manifold, represented as cohomology classes of the base manifold. These classes are essential in obstruction theory, embedding problems, and cobordism theory. In this…

This paper studies the homotopy theory of parameterized spectrum objects in a model category from a global point of view. More precisely, for a model category $\mathcal{M}$ satisfying suitable conditions, we construct a relative model…

Tangent categories provide a categorical axiomatization of the tangent bundle. There are many interesting examples and applications of tangent categories in a variety of areas such as differential geometry, algebraic geometry, algebra, and…

We introduce the concept of fittings to symplectic fillings of the unit cotangent bundle of odd-dimensional spheres. Assuming symplectic asphericity we show that all fittings are diffeomorphic to the respective unit co-disc bundle.

We consider the notion of the De Rham operator on finite-dimensional diffeological spaces such that the diffeological counterpart \Lambda^1(X) of the cotangent bundle, the so-called pseudo-bundle of values of differential 1-forms, has…

Generalising a classical theorem by Ueno, we prove structure results for manifolds with nef or semiample cotangent bundle.

Drawing parallels with hyperplane arrangements, we develop the theory of arrangements of submanifolds. Given a smooth, finite dimensional, real manifold $X$ we consider a finite collection $\mathcal{A}$ of locally flat, codimension-1…

In this paper, we define locally convex vector spaces of weighted vector fields and use them as model spaces for Lie groups of weighted diffeomorphisms on Riemannian manifolds. We prove an easy condition on the weights that ensures that…

By studying the Higgs bundle equations with the gauge group replaced by the group of symplectic diffeomorphisms of the 2-sphere we encounter the notion of a folded hyperkaehler 4-manifold and conjecture the existence of a family of such…

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 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…

Let $M$ be a smooth manifold and $\Gamma$ a group acting on $M$ by diffeomorphisms; which means that there is a group morphism $\rho:\Gamma\rightarrow \mathrm{Diff}(M)$ from $\Gamma$ to the group of diffeomorphisms of $M$. For any such…

In this note, we survey our recent work concerning cohomologies of harmonic bundles on quasi-compact Kaehler manifolds.

In this paper, we prove that the ${\rm Ham}$-orbit space from a fiber of a large family of cotangent bundles, as a metric space with respect to the Floer-theoretic spectral metric, contains a quasi-isometric embedding of an…

Let $C_2$ denote the cyclic group of order two. Given a manifold with a $C_2$-action, we can consider its equivariant Bredon $RO(C_2)$-graded cohomology. In this paper, we develop a theory of fundamental classes for equivariant submanifolds…

This paper focuses on the study of a new category of vector bundles. The objects of this category, called chiral vector bundles, are pairs given by a complex vector bundle along with one of its automorphisms. We provide a classification for…

The cohomology of the Hilbert schemes of points on smooth projective surfaces can be approached both with vertex algebra tools and equivariant tools. Using the first tool, we study the existence and the structure of universal formulas for…

Motivated by applications to duality theorems for $p$-adic pro-\'etale cohomology of rigid analytic spaces, we study the category of Topological Vector Spaces in the setting of condensed mathematics. We prove that it contains, as full…