On trigonal non-Gorenstein curves with zero Maroni invariant
type: Item
instance of: scholarly article
title: On trigonal non-Gorenstein curves with zero Maroni invariant
zbMATH Open document ID: 1060.14036
author: Renato Vidal Martins
published in: Journal of Algebra
publication date: 2004-10-01T00:00:00Z
review text: Let \(C\) be a curve i.e. an integral one-dimensional scheme of finite type and complete over an algebraically closed field \(k\). \(C\) is called trigonal if it admits a pencil \(g_{3}^{1}\) and \(3\) is the smallest such degree. If \(C\) is nonhyperelliptic of genus \(g\) and \(\omega\) is a canonical divisor of \(C\) then the curve \(C^{\prime}= \varphi_{\omega} (\widetilde{C})\subset\mathbb{P}^{g-1}\) is called the canonical model of \(C\) (\(\widetilde{C}\) is the nonsingular model of \(C\) and \(\varphi_{\omega}\) is the canonical morphism associated to the linear series \(\left| \omega\right| \)). Using canonical models the author answer some questions concerning trigonal non-Gorenstein curves with zero Maroni invariant. The latter invariant is defined as the smallest Maroni invariants among all pencils \(g_{3}^{1}\) on \(C.\) This, in turn, is defined as \(m\) such that there exists \(n\geq m,\) \(m+n=g-2,\) for which \[ H^{0}(C,\omega)=\langle1,x,\ldots,x^{n},y,xy,\ldots,x^{m}y\rangle \] for \(x\in H^{0}(C,\mathfrak{a})\setminus k\) and \(y\in H^{0}(C,\omega).\) Among results we have for \(g\geq4\): 1. every trigonal curve with zero Maroni invariant is almost Gorenstein with at most one non-Gorenstein point, 2. if \(C\) is a Kunz curve of genus \(g\geq5\) then \(C\) is trigonal curves with zero Maroni invariant if and only if the canonical model \(C^{\prime}\) lies on a cone \(S\subset\mathbb{P}^{g-1},\) 3. a curve \(C,\) unibranch in all of its points, is trigonal with basic hyperelliptic canonical model if and only if there exists a point \(P\in C\) with a semigroup of values \(S_{P}=\{0,g,g+1,\ldots,2g-\eta-2,2g-\eta ,\rightarrow\}\) for some integer \(\eta\) such that \(1\leq\eta\leq g-3.\)
Mathematics Subject Classification ID: 14H20
Mathematics Subject Classification ID: 14H51
zbMATH DE Number: 2105378
zbMATH Keywords: trigonal curve
zbMATH Keywords: Gorenstein curve
zbMATH Keywords: canonical model
zbMATH Keywords: base point
reviewed by: Tadeusz Krasiński
MaRDI profile type: Publication
full work available at URL: j.jalgebra.2003.10.033
OpenAlex ID: W1988522532
cites work: Maximal degree subsheaves of torsion free sheaves on singular projective curves
cites work: On the reflexivity of canonical models of non-Gorenstein curves
cites work: Trigonal Gorenstein curves and Weierstrass points.
cites work: Analytically unramified one-dimensional semilocal rings and their value semigroups
cites work: The semigroup of values of a one-dimensional local ring with two minimal primes
cites work: One-dimensional almost Gorenstein rings
cites work: Q5602063
cites work: Determinantal Equations for Curves of High Degree
cites work: Equivalence relations on algebraic curves
cites work: Non-classical trigonal curves
cites work: Trigonal Gorenstein curves
cites work: Q3277020
cites work: On the poles of regular differentials of singular curves
cites work: Hyperelliptic Gorenstein curves
cites work: Local and global zeta-functions of singular algebraic curves
cites work: Weierstrass gap sequences and moduli varieties of trigonal curves
DOI: 10.1016/J.JALGEBRA.2003.10.033
description: scientific article; zbMATH DE number 2105378