Related papers: Projective embeddings of projective schemes blown …

We study different notions of blow-up of a scheme X along a subscheme Y, depending on the datum of an embedding of X into an ambient scheme. The two extremes in this theory are the ordinary blow-up, corresponding to the identity, and the…

We prove embeddings of adelic groups on an excellent scheme of special type and a flat quasicoherent sheaf on it. For a normal excellent scheme of special type we establish the equality…

In an earlier paper (D. S. Keeler, D. Rogalski, and J. T. Stafford, ``Naive noncommutative blowing up,'' Duke Math. J., 126 (2005), 491-546), we defined and investigated the properties of the naive blowup of an integral projective scheme X…

Let $X$ be a reduced closed subscheme in $\mathbb P^n$. As a slight generalization of property $\textbf{N}_p$ due to Green-Lazarsfeld, we can say that $X$ satisfies property $\textbf{N}_{2,p}$ scheme-theoretically if there is an ideal $I$…

A primitive multiple scheme is a Cohen-Macaulay scheme $\bf X$ such that the associated reduced scheme $X={\bf X}_{red}$ is smooth, irreducible, and that $\bf X$ can be locally embedded in a smooth variety of dimension $\dim(X)+1$. If ${\bf…

We develop a ring-theoretic approach for blowing up many noncommutative projective surfaces. Let T be an elliptic algebra (meaning that, for some central element g of degree 1, T/gT is a twisted homogeneous coordinate ring of an elliptic…

This paper presents a technique for viewing quasi-coherent sheaves of ideals of a given blowup as regular ideals of a ring. In the paper, we first describe (Zariski) models as integral schemes that are separated and of finite type over an…

We apply the recent results of Galkin et al. [GKMS15] to study some geometrical features of Keum's fake projective planes. Among other things, we show that the bicanonical map of Keum's fake projective planes is always an embedding.…

We define very proper intersections of modules and projective subschemes. It turns out that equidimensional locally Cohen-Macaulay modules intersect very properly if and only if they intersect properly. We prove a Bezout theorem for modules…

The main goal of this paper is to give a general method to compute (via computer algebra systems) an explicit set of generators of the ideals of the projective embeddings of some ruled surfaces, namely projective line bundles over curves…

Let $X$ be a fixed projective scheme which is flat over a base scheme $S$. The association taking a quasi-projective $S$-scheme $Y$ to the scheme parametrizing $S$-morphisms from $X$ to $Y$ is functorial. We prove that this functor…

We study the arithmetic structure of the exceptional set of projections. For any bounded subset $E\subset \mathbb{R}^d$, let $$ \Omega=\{\xi\in \mathbb{R}: \dim_B(E+\xi E)=\dim_B E\}. $$ We prove that either $\Omega=\{0\}$ or $\Omega$ is a…

A long standing conjecture, known to us as the Eisenbud Goto conjecture, states that an n-dimensional variety embedded with degree $d$ in the $N$- dimensional projective space is $(d-(N-n)+1)$-regular in the sense of Castelnuovo-Mumford. In…

We study the blow-ups X of P3 along a proj. normal curve C. We look for very ample divisor classes on X of low degree, and we study the ideal of the embedding of X. Some result is generalized to higher dimensions.

Van den Bergh has defined the blowup of a noncommutative surface at a point lying on a commutative divisor. We study one aspect of the construction, with an eventual aim of defining more general kinds of noncommutative blowups. Our basic…

We associate a {\it skew tableau ideal} to each filling of a skew Ferrers diagram with positive integers. We classify all unmixed and sequentially Cohen-Macaulay skew tableau ideals. Consequently, we classify all Cohen-Macaulay, Buchsbaum,…

Let X be a smooth projective variety and let K be the canonical divisor of X. In this paper, we study embeddings of X given by adjoint line bundles of the form K+L, where L is an ample line bundle. When X is a regular surface (i.e. H^1(X,…

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…

A Pfaff field on a projective space is a map from the sheaf of differential s-forms, for a certain s, to an invertible sheaf. The interesting ones are those arising from a Pfaff system, as they give rise to a distribution away from their…

Given an embedded smooth projective variety Y in CP^n, we show how the existence of a hypersurface with high multiplicity along Y, but of relatively low degree and log canonical near Y implies vanishing of higher cohomology for certain…