Related papers: A Kleiman criterion for GIT stack quotients

We show boundedness for PT-semistable objects of any Chern classes on a smooth projective three-fold $X$. Then we show that the stack of objects in the heart $\langle \Coh_{\leq 1}(X), \Coh_{\geq 2}(X)[1] \rangle$ satisfies a version of the…

We prove that smooth, separated Deligne--Mumford stacks in mixed characteristic with quasi-projective coarse moduli space are global quotient stacks and satisfy the resolution property. This builds on work of Kresch and Vistoli and of…

Guarded Kleene Algebra with Tests (GKAT for short) is an efficient fragment of Kleene Algebra with Tests, suitable for reasoning about simple imperative while-programs. Following earlier work by Das and Pous on Kleene Algebra, we study GKAT…

The aim of this note is to announce some results on the GIT problem for the Hilbert and Chow scheme of curves of degree d and genus g in P^{d-g}, whose full details will appear in a subsequent paper. In particular, we extend the previous…

The twisted homogeneous coordinate ring is one of the basic constructions of the noncommutative projective geometry of Artin, Van den Bergh, and others. Chan generalized this construction to the multi-homogeneous case, using a concept of…

In this note we consider a quotient \pi: X-> X/G, with G a finite group and X a smooth projective scheme such that X/G is smooth. We compare the equivariant derived category D^G(X) and the derived category of the quotient D(X/G) by giving…

In this article, we define the notion of ample Cartier $b$-divisor classes by using the notion of Seshadri constants for Cartier $b$-divisor classes. In particular, we have shown that the set of all ample Cartier $b$-divisor classes forms a…

We show that if $f\colon X \to T$ is a surjective morphism between smooth projective varieties over an algebraically closed field $k$ of characteristic $p>0$ with geometrically integral and non-uniruled generic fiber, then $K_{X/T}$ is…

We show that an equivariant vector bundle on a complete toric variety is nef or ample if and only if its restriction to every invariant curve is nef or ample, respectively. Furthermore, we show that nef toric vector bundles have a…

Let X be a smooth complete intersection. Suppose p and q are general points of X, we consider conics in X passing through p and q. We show the moduli space of these conics is a smooth complete intersection. The main ingredients of the proof…

We consider all complex projective manifolds X that satisfy at least one of the following three conditions: 1. There exists a pair $(C ,\varphi)$, where $C$ is a compact connected Riemann surface and $\varphi : C\to X$ a holomorphic map,…

Motivated by the classical Theorems of Picard and Siegel and their generalizations, we define the notion of an {\it essentially large} effective divisor and derive some of its geometric and arithmetic consequences. We then prove that on a…

Let $X'$ be a complex projective manifold, $\dim X'>1$, $Z$ a connected analytic subset of codimension one which is the support of a nef effective Cartier divisor $D$ on $X'$, $X:=X'\setminus Z$. Let $\kappa(D)$ be the Iitaka dimension of…

A box in Euclidean $k$-space is the Cartesian product of $k$ closed intervals on the real line. The boxicity of a graph $G$, denoted by $\text{box}(G)$, is the minimum nonnegative integer $k$ such that $G$ can be isomorphic to the…

Let $X$ be a four-dimensional projective variety defined over the field of complex numbers with only terminal singularities. We prove that if the intersection number of the canonical divisor $K$ with every very general curve is positive…

We provide a structural generalization of a theorem by Kleiman--Piene, concerning the enumerative geometry of nodal curves in a complete linear system |L| on a smooth projective surface S. Provided that r, the number of nodes, is…

An internal or friendly partition of a vertex set $V(G)$ of a graph $G$ is a partition to two nonempty sets $A\cup B$ such that every vertex has at least as many neighbours in its own class as in the other one. Motivated by Diwan's…

In this paper we prove a generalization of a theorem of Schneider, which gives a criterion for a projective surface over the complex numbers to have an ample cotangent bundle. After reviewing different notions of positivity, we introduce a…

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…

Let $X$ be a quasi-compact and quasi-separated scheme. There are two fundamental and pervasive facts about the unbounded derived category of $X$: (1) $\mathsf{D}_{\mathrm{qc}}(X)$ is compactly generated by perfect complexes and (2) if $X$…