Related papers: Dual tangent structures for infinity-toposes
We exhibit gluing properties of cluster tilting subcategories in exact $\infty$-categories within the framework of perverse schobers on surfaces with boundary. These results are based on a study of the restriction functors from global…
Every principal G-bundle is classified up to equivalence by a homotopy class of maps into the classifying space of G. On the other hand, for every nice topological space Milnor constructed a strict model of loop space, that is a group.…
In this paper, I construct noncompact analogs of the Chern classes of equivariant vector bundles over complex reductive groups. For the tangent bundle, these Chern classes yield an adjunction formula for the Euler characteristic of complete…
We introduce a collection of convex polytopes associated to a torus-equivariant vector bundle on a smooth complete toric variety. We show that the lattice points in these polytopes correspond to generators for the space of global sections…
We give a unifying description of all inequivalent vector bundles over the 2-dimensional sphere $S^2$ by constructing suitable global projectors $p$ via equivariant maps. Each projector determines the projective module of finite type of…
An approach to defining quadratic implicit curves is to prescribe two tangent lines and a secant line going through the points of tangency. This paper will show that this method can be generalized to a higher number of tangents, resulting…
In this paper, we show a strange duality isomorphism at level one for the space of generalized theta functions on the moduli spaces of alternating anti-invariant vector bundles in the ramified case. These anti-invariant vector bundles…
Courant algebroids are structures which include as examples the doubles of Lie bialgebras and the direct sum of tangent and cotangent bundles with the bracket introduced by T. Courant for the study of Dirac structures. Within the category…
We give a geometric model for a tube category in terms of homotopy classes of oriented arcs in an annulus with marked points on its boundary. In particular, we interpret the dimensions of extension groups of degree 1 between indecomposable…
In the framework of Category Theory, we study the association between finite--dimensional representations of a compact quantum group and quantum vector bundles with linear connections for a given quantum principal bundle with a principal…
In this article we prove, in a simple way, that for any complete toric variety, and for any Cartier divisor, the ring of global sections of multiples of the line bundle associated to the divisor is finitely generated.
Graduated locally finitely presentable categories are introduced, examples include categories of sets, vector spaces, posets, presheaves and Boolean algebras. A finitary functor between graduated locally finitely presentable categories is…
We study the link between a compact hypersurface in $\P^{n+1}$ and the set of all its tangent planes. In this context, we identify $\P^{n+1}$ to the set of linear subspaces of codimension one by orthogonal complementarity. This gives rise…
A subvariety of a complex projective space has a well-known dual variety, which is the set of its tangent hyperplanes. The purpose of this paper is to generalise this notion for a subvariety of a quite general partial flag variety. A…
We compute the limit of tangents of an arbitrary surface. We obtain as a byproduct an embedded version of Jung's desingularization theorem for surface singularities with finite limits of tangents.
There is an abstract notion of connection in any tangent category. In this paper, we show that when applied to the tangent category of affine schemes, this recreates the classical notion of a connection on a module (and similarly, in the…
A theorem of the first author states that the cotangent bundle of the type $A$ Grassmannian variety can be embedded as an open subset of a smooth Schubert variety in a two-step affine partial flag variety. We extend this result to cotangent…
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})$.
We extend Bourke and Garner's idempotent adjunction between monads and pretheories to the framework of $\infty$-categories and we use this to prove many classical results about monads in the $\infty$-categorical framework. Amongst other…
The structure of quantum principal bundles is studied, from the viewpoint of Tannaka-Krein duality theory. It is shown that if the structure quantum group is compact, principal G-bundles over a quantum space M are in a natural…