Related papers: Generation by sections and $k$-ampleness
For a locally presentable abelian category $\mathsf B$ with a projective generator, we construct the projective derived and contraderived model structures on the category of complexes, proving in particular the existence of enough homotopy…
We discuss algebraic vector bundles on smooth k-schemes X contractible from the standpoint of A^1-homotopy theory; when k = C, the smooth manifolds X(C) are contractible as topological spaces. The integral algebraic K-theory and integral…
We prove that if two abelian varieties have equivalent derived categories then the derived categories of the smooth stacks associated to the corresponding Kummer varieties are equivalent as well. The second main result establishes necessary…
The basic theme of this paper is the fact that if $A$ is a finite set of integers, then the sum and product sets cannot both be small. A precise formulation of this fact is Conjecture 1 below due to Erd\H os-Szemer\'edi [E-S]. (see also…
We classify principal bundles over anti-affine schemes with affine and commutative structural group. We show that this yields the classification of quasi-abelian varieties over a field k (i.e., group k-schemes with no non constant global…
We prove an elementary but somewhat unexpected result about projective embeddings of smooth varieties X whose cotangent bundles are numerically effective. Specifically, we show that the degree of X in any projective embedding must grow…
We prove that smooth, projective, $K$-trivial, weakly ordinary varieties over a perfect field of characteristic $p>0$ are not geometrically uniruled. We also show a singular version of our theorem, which is sharp in multiple aspects. Our…
We give a moduli-theoretic treatment of the existence and properties of moduli spaces of semistable quiver representations, avoiding methods from geometric invariant theory. Using the existence criteria of Alper--Halpern-Leistner--Heinloth,…
The classical Serre-Swan theorem asserts that any finitely generated projective module over the algebra $C^\infty(M)$ of smooth functions of a manifold $M$ can be realized as the sections of a vector bundle over $M$. In this article, we…
Let $G$ be a linear algebraic group over an infinite field $k$. Loosely speaking, a $G$-torsor over $k$-variety is said to be versal if it specializes to every $G$-torsor over any $k$-field. The existence of versal torsors is well-known. We…
In 1932 F. Severi claimed, with an incorrect proof, that every smooth minimal projective surface $S$ such that the bundle $\Omega^1_S$ is generically generated by global sections satisfies the topological inequality $2c_1^2(S)\ge c_2(S)$.…
We give a construction of the second Chern number of a vector bundle over a smooth projective surface by means of adelic transition matrices for the vector bundle. The construction does not use an algebraic $K$-theory and depends on the…
We investigate compact projective generators in the category of equivariant $D$-modules on a smooth affine variety. For a reductive group $G$ acting on a smooth affine variety $X$, there is a natural countable set of compact projective…
Let E be a locally free, rank n bimodule over a smooth projective scheme X, and let A be the non-commutative symmetric algebra generated by E. We construct an internal Hom functor on the category of graded right A-modules. When E has rank…
Morelli's computation of the K-theory of a toric variety X associates a polyhedrally constructible function on a real vector space to every equivariant vector bundle E on X. The coherent-constructible correspondence lifts Morelli's…
We develop the global moduli theory of symplectic varieties in the sense of Beauville. We prove a number of analogs of classical results from the smooth case, including a global Torelli theorem. In particular, this yields a new proof of…
We prove the existence of extremal, non-csc, K\"ahler metrics on certain unstable projectivised vector bundles $\P (E) \to M$ over a cscK-manifold $M$ with discrete holomorphic automorphism group, in certain adiabatic K\"ahler classes. In…
In this paper, we provide an alternative proof of Donaldson's almost-holomorphic section theorem and symplectic Lefschetz pencil theorem, through constructions of certain special kind of Donaldson-type sections of the line bundle based on…
The classical Mordell-Weil theorem implies that an abelian variety $A$ over a number field $K$ has only finitely many $K$-rational torsion points. This finitude of torsion still holds even over the cyclotomic extension $K^{\rm…
Let Y be a subvariety of a smooth projective variety X, and V a vector bundle on X. Given that the restriction of V to Y splits into a direct sum of line bundles, we ask whether V splits on X. I answer this question in affirmative if holds:…