Related papers: Monads on projective space
Let $(X,L)$ be an $n$-dimensional polarized variety. Fujita's conjecture says that if $L^n>1$ then the adjoint bundle $K_X+nL$ is spanned and $K_X+(n+1)L$ is very ample. There are some examples such that $K_X+nL$ is not spanned or…
We show that instanton bundles of rank $r\le 2n-1$, defined as the cohomology of certain linear monads, on an $n$-dimensional projective variety with cyclic Picard group are semistable in the sense of Mumford-Takemoto. Furthermore, we show…
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…
We study the stratification of the space of monic polynomials with real coefficients according to the number and multiplicities of real zeros. In the first part, for each of these strata we provide a purely combinatorial chain complex…
Given a positive integer $k$, we investigate the $k$-redcibility of self-maps in the monoid $\AA^k(X\vee Y)$, consisting of self-maps that induce isomorphisms on homology groups up to degree $k$. In general, verifying $k$-reducibility is a…
We study structures of embedded projective manifolds swept out by cubic varieties. We show if an embedded projective manifold is swept out by high-dimensional smooth cubic hypersurfaces, then it admits an extremal contraction which is a…
Many examples of rank two bundles on ${\bf P}^4$ are constructed in positive characteristic. Construction depends on constructing certain special bundles on ${\bf P}^3$ which is shown to be equivalent to constructing bundles on ${\bf P}^4$…
Given a sheaf on a projective space P^n we define a sequence of canonical and easily computable Chow complexes on the Grassmannians of planes in P^n, generalizing the Beilinson monad on P^n. If the sheaf has dimension k, then the Chow form…
If T is a commutative monad on a cartesian closed category, then there exists a natural T-bilinear pairing from T(X) times the space of T(1)-valued functions on X ("integration"), as well as a natural T-bilinear action on T(X) by the space…
Let $S_{g}$ denote the genus $g$ closed orientable surface. For $k\in \mathbb{N}$, a $k$-system is a collection of pairwise non-homotopic simple closed curves such that no two intersect more than $k$ times. Juvan-Malni\v{c}-Mohar…
It is shown uniquely that quantized spaces are realised on four-dimensional compact manifolds. In the case of O(1,5) quantized space this are four independent parameters of O(5) unit vector; in the case of O(2,4) these are parameters of one…
We study codimension one holomorphic foliations on complex projective spaces and compact manifolds under the assumption that the foliation has a projective transverse structure in the complement of some invariant codimension one analytic…
The category of all monads over many-sorted sets (and over other "set-like" categories) is proved to have coequalizers and strong cointersections. And a general diagram has a colimit whenever all the monads involved preserve monomorphisms…
Consider a rational map from a projective space to a product of projective spaces, induced by a collection of linear projections. Motivated by the the theory of limit linear series and Abel-Jacobi maps, we study the basic properties of the…
We establish a full classification of degree $2$ codimension one distributions on $\mathbb{P}^3$ according to invariants of their tangent sheaves.
In the large rank limit, for any nonexceptional affine algebra, the graded branching multiplicities known as one-dimensional sums, are conjectured to have a simple relationship with those of type A, which are known as generalized Kostka…
We provide a splitting criterion for supervector bundles over the projective superspaces $\mathbb{P}^{n|m}$. More precisely, we prove that a rank $p|q$ supervector bundle on $\mathbb{P}^{n|m}$ with vanishing intermediate cohomology is…
The higher direct image complex of a coherent sheaf (or finite complex of coherent sheaves) under a projective morphism is a fundamental construction that can be defined via a Cech complex or an injective resolution, both inherently…
Given a vector bundle $A\to M$ we study the geometry of the graded manifolds $T^*[k]A[1]$, including their canonical symplectic structures, compatible Q-structures and Lagrangian Q-submanifolds. We relate these graded objects to classical…
A categorical formalism for directed graphs is introduced, featuring natural notions of morphisms and subgraphs, and leading to two elementary descriptions of the free-properad monad, first in terms of presheaves on elementary graphs,…