Related papers: Synthetic Differential Jet Bundles are Reduced

We investigate Atiyah algebroids, i.e. the infinitesimal objects of principal bundles, from the viewpoint of Lie algebraic approach to space. First we show that if the Lie algebras of smooth sections of two Atiyah algebroids are isomorphic,…

This short paper shows that a projective bundle over a smooth variety with a section can be uniquely recovered from the embedding of the section in its second infinitesimal neighborhood within the bundle.

A frame independent formulation of analytical mechanics in the Newtonian space-time is presented The differential geometry of affine values i.e., the differential geometry in which affine bundles replace vector bundles and sections of one…

We prove that isomorphism classes of principal bundles over a diffeological space are in bijection to certain maps on its free loop space, both in a setup with and without connections on the bundles. The maps on the loop space are smooth…

For a reductive group $G$, Harder-Narasimhan theory gives a structure theorem for principal $G$ bundles on a smooth projective curve $C$. A bundle is either semistable, or it admits a canonical parabolic reduction whose associated Levi…

For conic bundles on a smooth variety (over a field of characteristic $\ne 2$) which degenerate into pairs of distinct lines over geometric points of a smooth divisor, we prove a theorem which relates the Brauer class of the non-degenerate…

We study the higher secant varieties of a smooth projective variety embedded in projective space. We prove that when the variety is a surface and the embedding line bundle is sufficiently positive, these varieties are normal with Du Bois…

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 that the moduli spaces of parabolic symplectic/orthogonal bundles on a smooth curve are globally F regular type. As a consequence, all higher cohomology of theta line bundle vanish. During the proof, we develop a method to estimate…

We compute the cohomology of the right generalised projective Stiefel manifolds and use it to find bounds on the rank of the complementary bundle for certain vector bundles. Further the cohomology computations are also used to find bounds…

We study quasi-modular pseudometric spaces as asymmetric refinements of modular metric structures. To each such space we associate canonical forward and backward quasi-uniformities and the corresponding directional topologies. We introduce…

We first generalize the operation of formal exterior differential in the case of finite dimensional fibered manifolds and then we extend it to certain bundles of smooth maps. In order to characterize the operator order of some morphisms…

The present article presents a summarizing view at differential-algebraic equations (DAEs) and analyzes how new application fields and corresponding mathematical models lead to innovations both in theory and in numerical analysis for this…

We introduce a general definition of higher-form connections on principal $\infty$-bundles in differential geometry. This is achieved by developing the formal differentiation and integration of maps from smooth manifolds to derived stacks…

We assume given a smooth symplectic (in the algebraic sense) resolution $X$ of an affine algebraic variety $Y$, and we prove that, possibly after replacing $Y$ with an etale neighborhood of a point, the derived category of coherent sheaves…

We show that a wide class of geometrically defined overdetermined semilinear partial differential equations may be explicitly prolonged to obtain closed systems. As a consequence, in the case of linear equations we extract sharp bounds on…

Categorical resolutions of singularities are a replacement of resolution of singularities within the realm of triangulated categories. They allow the study of the derived category of a singular variety $X$ via a triangulated category that…

Quantum homogeneous vector bundles are introduced by a direct description of their sections in the context of Woronowicz type compact quantum groups. The bundles carry natural topologies inherited from the quantum groups, and their sections…

In this article, we study projective log smooth pairs with numerically flat normalized logarithmic tangent bundle. Generalizing works of Jahnke-Radloff and Greb-Kebekus-Peternell, we show that, passing to an appropriate finite cover and up…

We study moduli spaces of solutions of nonlinear Partial Differential Equations on manifolds in the framework of derived $C^{\infty}$-geometry. For an arbitrary smooth stack $S$, we define $S$-families of nonlinear PDEs acting between…