Related papers: Graded mapping cone theorem, multisecants and syzy…

Interpreting the syzygy theorem for tame modules over posets in the setting of derived categories of subanalytically constructible sheaves proves two conjectures due to Kashiwara and Schapira concerning the existence of stratifications of…

A projectively normal Calabi-Yau threefold $X \subseteq \mathbb{P}^n$ has an ideal $I_X$ which is arithmetically Gorenstein, of Castelnuovo-Mumford regularity four. Such ideals have been intensively studied when $I_X$ is a complete…

The geometric models for the module category and derived category of any gentle algebra were introduced to realize the objects in module category and derived category by permissible curves and admissible curves respectively. The present…

A map of fine log schemes $X \to Y$ induces a map from the scheme underlying $X$ to Olsson's algebraic stack of strict morphisms of fine log schemes over $Y$. A sheaf on $X$ is called \emph{log flat over} $Y$ iff it is flat over this…

We study the orchard problem on cubic surfaces. We classify possibly reducible cubic surfaces $X\subseteq \mathbb{P}^3(\C)$ with smooth components on which there exist families of finite sets (of unbounded size) with quadratically many…

In this article we introduce generalized projective spaces (Definitions $[2.1, 2.5]$) and prove three main theorems in two different contexts. In the first context we prove, in main Theorem $A$, the surjectivity of the Chinese remainder…

Given a normal projective irreducible stack $\mathscr X$ over an algebraically closed field of characteristic zero we consider framed sheaves on $\mathscr X$, i.e., pairs $(\mathcal E,\phi_{\mathcal E})$, where $\mathcal E$ is a coherent…

Fix a scheme $S$ of characteristic $p$. Let $\mathscr{M}$ be an $S$-algebraic stack and let $\mbox{Fdiv}(\mathscr{M})$ be the stack of $\mbox{F}$-divided objects, that is sequences of objects $x_i\in\mathscr{M}$ with isomorphisms…

The space of smooth genus 0 curves in projective space has a natural smooth compactification: the moduli space of stable maps, which may be seen as the generalization of the classical space of complete conics. In arbitrary genus, no such…

A version of the classical Klee-And\^o Theorem states the following: For every Banach space $X$, ordered by a closed generating cone $C\subseteq X$, there exists some $\alpha>0$ so that, for every $x\in X$, there exist $x^{\pm}\in C$ so…

We prove that every proper connective DG-algebra $A$ admits a geometric realization (as defined by Orlov) by a smooth projective scheme with a full exceptional collection. As a corollary we obtain that $A$ is quasi-isomorphic to a finite…

Let $(X,E)$ be a smooth log Calabi-Yau pair consisting of a smooth Fano surface $X$ and a smooth anticanonical divisor $E$. We obtain certain higher genus local Gromov-Witten invariants from the projectivization of the canonical bundle $Z…

Let $k$ be an infinite finitely generated field of characteristic $p>0$. Fix a separated scheme $X$ smooth, geometrically connected, and of finite type over $k$ and a smooth proper morphism $f:Y\rightarrow X$. The main result of this paper…

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…

For curved projective manifolds we introduce a notion of a normal tractor frame field, based around any point. This leads to canonical systems of (redundant) coordinates that generalise the usual homogeneous coordinates on projective space.…

It is proved, as was conjectured by Eisenbud-Koh-Stillman, that for a finitely generated graded module $M$ over the symmetric algebra $S(V)$, if the Koszul group ${\cal K}_{p,0}(M,V)\ne 0$, then the set of rank 1 relations in $M_0\otimes V$…

Let I be the defining ideal of a smooth irreducible complete intersection space curve C with defining equations of degrees a and b. We use the partial elimination ideals introduced by Mark Green to show that the lexicographic generic…

In recent years, the equations defining secant varieties and their syzygies have attracted considerable attention. The purpose of the present paper is to conduct a thorough study on secant varieties of curves by settling several conjectures…

The vanishing ideal of a set of points $X\subseteq \mathbb{R}^n$ is the set of polynomials that evaluate to $0$ over all points $\mathbf{x} \in X$ and admits an efficient representation by a finite set of polynomials called generators. To…

Orbifold and logarithmic structures provide independent routes to the virtual enumeration of curves with tangency orders for a simple normal crossings pair $(X|D)$. The theories do not coincide and their relationship has remained…