相关论文: The canonical ring of a 3-connected curve

Let C be a curve (possibly non reduced or reducible) lying on a smooth algebraic surface. We show that the canonical ring R(C, \omega_C) is generated in degree 1 if C is numerically 4-connected, not hyperelliptic and even (i.e. with K_C of…

For a projective curve $C$ and the canonical divisor $K_C$ on $C$, it is classically known that the canonical ring $R(C) = \oplus_{m=0}^\infty H^0(C, m K_C)$ is finitely generated in degree at most three. In this article, we study whether…

It is shown that the canonical ring of a minimal surface of general type with $p_g=0, K^2\geq 2$ is generated by its elements of degree lesser or equal to 5, provided $|2K|$ has no fixed components, and that this bound can be lowered to 4…

Let $C$ be a smooth curve which is complete intersection of a quadric and a degree $k>2$ surface in $\mathbb{P}^3$ and let $C^{(2)}$ be its second symmetric power. In this paper we study the finite generation of the extended canonical ring…

If A is a strongly noetherian graded algebra generated in degree one, then there is a canonically constructed graded ring homomorphism from A to a twisted homogeneous coordinate ring B(X, L, sigma), which is surjective in large degree. This…

Let C be a 2-connected Gorenstein curve either reduced or contained in a smooth algebraic surface and let S be a subcanonical cluster (i.e. a 0-dim scheme such that the space H^0(C, I_S K_C) contains a generically invertible section). Under…

The canonical degree $C.K_X$ of an integral curve on a smooth projective surface $X$ is conjecturally bounded from above by an expression of the form $A(g-1)+B$, where $g$ is the geometric genus of $C$ and $A$, $B$ are constants depending…

Let $C: y^2=f(x)$ be a hyperelliptic curve of genus $g\geq 1$, defined over a complete discretely valued field $K$, with ring of integers $O_K$. Under certain conditions on $C$, mild when residue characteristic is not $2$, we explicitly…

We give refined statements and modern proofs of Rosenlicht's results about the canonical model C' of an arbitrary complete integral curve C. Notably, we prove that C and C' are birationally equivalent if and only if C is nonhyperelliptic,…

Let f be a generically finite morphism from X to Y. The purpose of this paper is to show how the O_Y algebra structure on the push forward of O_X controls algebro-geometric aspects of X like the ring generation of graded rings associated to…

Let $C$ be an integral and projective curve whose canonical model $C'$ lies on a rational normal scroll $S$ of dimension $n$. We mainly study some properties on $C$, such as gonality and the kind of singularities, in the case where $n=2$…

A good canonical projection of a surface $S$ of general type is a morphism to the 3-dimensional projective space P^3 given by 4 sections of the canonical line bundle. To such a projection one associates the direct image sheaf F of the…

Let $\mathcal{C}$ be a decomposable plane curve over an algebraically closed field $k$ of characteristic 0. That is, $\mathcal{C}$ is defined in $k^2$ by an equation of the form $g(x) = f(y)$, where $g$ and $f$ are polynomials of degree at…

In this paper we show that the relative canonical sheaf of a relatively minimal fibration of curves over a curve is semi-ample ; in fact, its m-tensored product is base point free for any m > 1. We use Koszul cohomology with it to prove…

The canonical ring $S_D = \bigoplus_{d \geq 0} H^0(X, \lfloor dD \rfloor)$ of a divisor D on a curve X is a natural object of study; when D is a Q-divisor, it has connections to projective embeddings of stacky curves and rings of modular…

A canonically-embedded curve of genus $g$ is a pure 1-dimensional, non-degenerate subscheme $C$ of ${\bf P}^{g-1}$ over an algebraically closed field $k$, for which ${\cal O}_C(1) \cong \omega_C$, (the dualizing sheaf)$ and $h^0(C, {\cal…

The \emph{canonical structures of the plane} are those that result, up to isomorphism, from the rings that have the form $\mathds{R}[x]/(ax^2+bx+c)$ with $a\neq 0$.That ring is isomorphic to $\mathds{R}[\theta]$, where $\theta$ is the…

If $C$ is a smooth projective curve over an algebraically closed field $\mathbb{F}$ and $G$ is a subgroup of automorphisms of $C$, then $G$ acts linearly on the $\mathbb{F}$-vector space of holomorphic differentials…

Let $p>3$ be a prime and $E$ be a supersingular elliptic curve defined over $\mathbb{F}_{p^2}$. Let $c$ be a prime with $c < 3p/16$ and $G$ be a subgroup of $E[c]$ of order $c$. The pair $(E,G)$ is called a supersingular elliptic curve with…

Strata of $k$-differentials on smooth curves parameterize sections of the $k$-th power of the canonical bundle with prescribed orders of zeros and poles. Define the tautological ring of the projectivized strata using the $\kappa$ and $\psi$…