Related papers: Linear systems on irregular varieties
Let $k$ be \emph{any} algebraically closed field in any characteristic, let $R$ be any regular local ring such that $R$ contains $k$ as a subring, the residue field of $R$ is isomorphic to $k$ as $k$-algebras and $\dim R\geq 1$, let $P$ be…
We prove that the universal cover of a normal complex algebraic variety admitting a faithful complex representation of its fundamental group is an analytic Zariski open subset of a holomorphically convex complex space. This is a non-proper…
We give several results concerning the connected component ${\rm Aut}_X^0$ of the automorphism scheme of a proper variety $X$ over a field, such as its behaviour with respect to birational modifications, normalization, restrictions to…
We define a notion of morphism for quotient vector bundles that yields both a category $\textit{QVBun}$ and a contravariant global sections functor $C:\textit{QVBun}^{\textrm{op}}\to\textit{Vect}$ whose restriction to trivial vector bundles…
In this paper, we study the structure of Fano fibrations of varieties admitting an int-amplified endomorphism. We prove that if a normal $\mathbb{Q}$-factorial klt projective variety $X$ has an int-amplified endomorphism, then there exists…
We prove: Let $G$ be a finite abelian group acting faithfully on a complex smooth project variety $X$ of general type with numerically effective canonical divisor, of dimension $n$. Then $$|G| \le C(n)K_X^n ,$$ where $C(n)$ depends only on…
We use constructions of surfaces as abelian covers to write down exceptional collections of line bundles of maximal length for every surface $X$ in certain families of surfaces of general type with $p_g=0$ and $K_X^2=3,4,5,6,8$. We also…
We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal $\alpha$ for fixed points. Our main result is that provability in the system for some…
We describe all the schematic limits of families of divisors associated to a given family of rank-$r$ linear series on a one-dimensional family of projective varieties degenerating to a connected reduced projective scheme $X$ defined over…
We present a novel dependent linear type theory in which the multiplicity of some variable-i.e., the number of times the variable can be used in a program-can depend on other variables. This allows us to give precise resource annotations to…
Let $k$ be a field, $m$ a positive integer, $\mathbb{V}$ an affine subvariety of $\mathbb{A}^{m+3}$ defined by a linear relation of the form $x_{1}^{r_{1}}\cdots x_{m}^{r_{m}}y=F(x_{1}, \ldots , x_{m},z,t)$, $A$ the coordinate ring of…
We use tools of additive combinatorics for the study of subvarieties defined by {\it high rank} families of polynomials in high dimensional $\mathbb{F} _q$-vector spaces. In the first, analytic part of the paper we prove a number properties…
Let $X$ be any rational surface. We construct a tilting bundle $T$ on $X$. Moreover, we can choose $T$ in such way that its endomorphism algebra is quasi-hereditary. In particular, the bounded derived category of coherent sheaves on $X$ is…
The aim of this article is to make a first step towards the classification of complex normal affine $\mathbb G_a$-threefolds $X$. We consider the case where the restriction of the quotient morphism $\pi\colon X\to S$ to $\pi^{-1}(S_*)$,…
Generalizing the continuous rank function of Barja-Pardini-Stoppino, in this paper we consider cohomological rank functions of $\mathbb Q$-twisted (complexes of) coherent sheaves on abelian varieties. They satisfy a natural transformation…
We introduce the notion of a projectively simple ring, which is an infinite-dimensional graded k-algebra A such that every 2-sided ideal has finite codimension in A (over the base field k). Under some (relatively mild) additional…
Let $X^{(2)}$ denote the second symmetric product space of a partially ordered vector space $X$, endowed with the projective cone. A characterization of linear maps $T\colon X^{(2)}\to X^{(2)}$ which preserve the set of all positive…
We generalize methods to compute various kinds of rank to the case of a toric variety $X$ embedded into projective space using a very ample line bundle $\mathcal{L}$. We find an upper bound on the cactus rank. We use this to compute rank,…
Let $X$ be a germ of holomorphic vector field at the origin of ${\bf C}^n$ and vanishing there. We assume that $X$ is a "nondegenerate" good perturbation of a singular completely integrable system. The latter is associated to a family of…
We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…