Related papers: Linear structures on locales

We define the notion of a hypercube structure on a functor between two strictly commutative Picard categories which generalizes the notion of a cube structure on a $G_m$-torsor over an abelian scheme. We use this notion to define the…

The spectral localizer is a predictive framework for the computation of topological invariants of natural and artificial materials. Here, three crucial improvements on the criterion for the validity of the framework are reported: first,…

Let $C$ be an arrangement of affine hyperplanes in a complex affine space $X$, $D$ the ring of algebraic differential operators on $X$. We define a category of quivers associated with $C$. A quiver is a collection of vector spaces, attached…

Graded vector bundles over a given $\mathbb{Z}$-graded manifold can be defined in three different ways: certain sheaves of graded modules over the structure sheaf of the base graded manifold, finitely generated projective graded modules…

Given a vector bundle $F$ on a variety $X$ and $W\subset H^0(F)$ such that the evaluation map $W\otimes \mathcal{O}_X\to F$ is surjective, its kernel $S_{F,W}$ is called generalized syzygy bundle. Under mild assumptions, we construct a…

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…

We present old and new characterizations of core spaces, alias worldwide web spaces, originally defined by the existence of supercompact neighborhood bases. The patch spaces of core spaces, obtained by joining the original topology with a…

We define and explore the notion of linear weightings for vector bundles, extending the recent work by Loizides and Meinrenken. We construct weighted normal bundles and deformation spaces in the category of vector bundles. We explain how a…

For a weighted projective line X, a wide subcategory of the category coh-X of coherent sheaves over X is called c-invariant if it is closed under the grading shift of the canonical element c. We proved that a c-invariant wide subcategory of…

I relate contextuality to line bundles. Line bundles are important in algebraic geometry, they determine through their global sections rational maps to projective spaces. I explain how such maps, if they exist, relate rationally the input…

In this article we deduce criteria for the splitting and the triviality of vector bundles, by restricting them to partially ample divisors. This allows to study the problem of splitting on the total space of fibre bundles. The statements…

Assuming Hartshorne's conjecture on complete intersections, we classify projective bundles over projective spaces which has a smooth blow up structure over another projective space. Under some assumptions, we also classify projective…

A diffeological connection on a diffeological vector pseudo-bundle is defined just the usual one on a smooth vector bundle; this is possible to do, because there is a standard diffeological counterpart of the cotangent bundle. On the other…

A linear section of a double vector bundle is a parallel pair of sections which form a vector bundle morphism; examples include the complete lifts of vector fields to tangent bundles and the horizontal lifts arising from a connection in a…

We define an invariant for the existence of r pointwise linearly independent sections in the tangent bundle of a closed manifold. For low values of r, explicit computations of the homotopy groups of certain Thom spectra combined with…

The main objective of the present paper is to set up the theoretical basis and the language needed to deal with the problem of direct images of hermitian vector bundles for projective non-necessarily smooth morphisms. To this end, we first…

A tangent category is a category equipped with an endofunctor that satisfies certain axioms which capture the abstract properties of the tangent bundle functor from classical differential geometry. Cockett and Cruttwell introduced…

A Q-manifold is a graded manifold endowed with a vector field of degree one squaring to zero. We consider the notion of a Q-bundle, that is, a fiber bundle in the category of Q-manifolds. To each homotopy class of ``gauge fields'' (sections…

We define a quantum generalization of the algebra of functions over an associated vector bundle of a principal bundle. Here the role of a quantum principal bundle is played by a Hopf-Galois extension. Smash products of an algebra times a…

In this paper we explore algebraic and geometric structures that arise on parallelizable manifolds. Given a parallelizable manifold $\mathbb{L}$, there exists a global trivialization of the tangent bundle, which defines a map…