Related papers: Graded mapping cone theorem, multisecants and syzy…
Let $X$ be a locally Noetherian scheme with a closed subscheme $Z$. Let $\mathcal{X}$ be the completion of $X$ at $Z$, considered as a formal scheme. We show that a coherent sheaf on $X$ is equivalently given by a coherent sheaf on…
We generalize, for integral curves, a celebrated result of Max Noether on global sections of the n-dualizing sheaf of a smooth nonhyperelliptic curve. This is our main result. We also obtain an embedding of a non-Gorenstein curve in a way…
A projected Gromov-Witten variety is the union of all rational curves of fixed degree that meet two opposite Schubert varieties in a homogeneous space X = G/P. When X is cominuscule we prove that the map from a related Gromov-Witten variety…
We give a complete description of the cone of Betti diagrams over a standard graded hypersurface ring of the form k[x,y]/<q>, where q is a homogeneous quadric. We also provide a finite algorithm for decomposing Betti diagrams, including…
Maclagan and Smith \cite{MaclaganSmith} developed a multigraded version of Castelnuovo-Mumford regularity. Based on their definition we will prove in this paper that for a smooth curve $C\subseteq \P^a\times\P^b$ $(a, b\geq 2)$ of bidegree…
Let n > 2 and let d < (n+1)/2. We prove that for a general hypersurface X of degree d in P^n, all the genus 0 Kontsevich moduli spaces M_{0,n}(X,e) are irreducible, reduced, local complete intersection stacks of the expected dimension.
Let $X\subset \mathbb P^r$ be a projective factorial variety of dimension $3$, degree $n$, with at worst isolated singularities. Assume that the Picard group of $X$ is generated by the hyperplane section class. Let $C\subset X$ be a…
We study a natural question in the Iwasawa theory of algebraic curves of genus $>1$. Fix a prime number $p$. Let $X$ be a smooth, projective, geometrically irreducible curve defined over a number field $K$ of genus $g>1$, such that the…
Let $X \subset \mathbb{P}^n$ be a general Fano complete intersection of type $(d_1,\dots, d_k)$. If at least one $d_i$ is greater than $2$, we show that $X$ contains rational curves of degree $e \leq n$ with balanced normal bundle. If all…
If $E$ is a directed graph, $K$ is a field, and $I$ is a graded ideal of the Leavitt path algebra $L_K(E),$ $I$ is completely determined by an admissible pair $(H,S)$ of two sets of vertices of $E$. The ideal $I=I(H,S)$ is graded isomorphic…
We introduce graded $\mathbb{E}_{\infty}$-rings and graded modules over them, and study their properties. We construct projective schemes associated to connective $\mathbb{N}$-graded $\mathbb{E}_{\infty}$-rings in spectral algebraic…
Let $\mathbb{k}$ be a field of characteristic $p$. We introduce a formalism of mixed sheaves with coefficients in $\mathbb{k}$ and showcase its use in representation theory. More precisely, we construct for all quasi-projective schemes $X$…
The genus of projective curves discretely separates decidedly different two variable algebraic relations. So, we can focus on the connected moduli M_g of genus g curves. Yet, modern applications require a data variable (function) on such…
In this article we develop a new way of systematically constructing infinitely many families of smooth subvarieties $X$ of any given dimension $m$, $m \geq 3$, and any given codimension in $\mathbb P^N$, embedded by complete subcanonical…
We previously extended the Marsden-Ratiu reduction theorem in Poisson geometry by means of graded geometry (see Part I of Arxiv:1009.0948) . In this note we provide the background material about graded geometry necessary for the proof.…
Let S be a Noetherian scheme and f:X -> S a proper morphism. By SGA 4 XIV, for any constructible sheaf F of Z/nZ-modules on X, the sheaves of Z/nZ-modules R^if_*F obtained by direct image (for the etale topology) are also constructible:…
We prove that the multiplication of sections of globally generated line bundles on a model wonderful variety M of simply connected type is always surjective. This follows by a general argument which works for every wonderful variety and…
The aim of this paper is to show that classical geometric invariant theory (GIT) has an effective analogue for linear actions of a non-reductive algebraic group $H$ with graded unipotent radical on a projective scheme $X$. Here the linear…
We introduce three notion of tameness of the Nori fundamental group scheme for a normal quasiprojective variety $X$ over an algebraically closed field. It is proved that these three notions agree if $X$ admits a smooth completion with…
Let $X\subseteq \mathbb{P}^m$ be a totally real, non-degenerate, projective variety and let $\Gamma\subseteq X(\mathbb{R})$ be a generic set of points. Let $P$ be the cone of nonnegative quadratic forms on $X$ and let $\Sigma$ be the cone…