Determinant of complexes and higher Hessians (Q1359527): Difference between revisions

Let \(X\subset\mathbb{P}^r\) be a smooth algebraic curve in projective space, over an algebraically closed field of characteristic zero. For each \(m\in\mathbb{N}\), the \(m\)-flexes of \(X\) are defined as the points where the osculating hypersurface of degree \(m\) has higher contact than expected, and a hypersurface \(H\subset\mathbb{P}^r\) is called a \(m\)-hessian if it cuts \(X\) along its \(m\)-flexes. When \(X\) is a complete intersection, we give an expression for a (rational) \(m\)-hessian as the determinant of a complex of graded free modules naturally associated to \(X\).