A variant of Petri's analysis of the canonical ideal of an algebraic curve (Q1112898)

The authors reprove Petri's theorems with a few improvements. K. Petri studied the equations defining a canonical curve in projective space and proved that they are in general defined by quadratic equations [\textit{K. Petri}, Math. Ann. 88, 242-289 (1923). For a modern explanation, see: \textit{B. Saint-Donat}, Math. Ann. 206, 157-175 (1973; Zbl 0315.14010)]. The theorems in this paper are more or less the same, except for some pleasant improvements. For instance, the authors give a basis for the pluri-canonical bundles, certain \textit{monomials} in a well chosen basis of 1-forms. A similar result was obtained by Petri, but he had binomial expressions and not monomials. This, one feels, might be useful. The authors give more or less explicit generators for the ideal of a canonical curve and its first syzygy.