6533b853fe1ef96bd12ad522

RESEARCH PRODUCT

Expecting the unexpected: Quantifying the persistence of unexpected hypersurfaces

Juan C. MiglioreElena GuardoBrian HarbourneGiuseppe Favacchio

subject

Pure mathematicsGeneral MathematicsComplete intersectionVector bundleAlgebraic geometrysymbols.namesakeMathematics - Algebraic GeometryAV-sequence; Complete intersection; Generic initial ideal; Hilbert function; Partial elimination ideal; Unexpected hypersurfaceUnexpected hypersurfaceFOS: MathematicsAlgebraic numberAV-sequenceAlgebraic Geometry (math.AG)Complete intersectionGeneric initial idealMathematicsHilbert series and Hilbert polynomialSequencePartial elimination idealSettore MAT/02 - AlgebraHypersurfaceHyperplanePrimary: 14C20 13D40 14Q10 14M10 Secondary: 14M05 14M07 13E10Hilbert functionsymbolsSettore MAT/03 - GeometriaAV-sequence Complete intersection Generic initial ideal Hilbert function Partial elimination ideal Unexpected hypersurface

description

If $X \subset \mathbb P^n$ is a reduced subscheme, we say that $X$ admits an unexpected hypersurface of degree $t$ for multiplicity $m$ if the imposition of having multiplicity $m$ at a general point $P$ fails to impose the expected number of conditions on the linear system of hypersurfaces of degree $t$ containing $X$. Conditions which either guarantee the occurrence of unexpected hypersurfaces, or which ensure that they cannot occur, are not well understand. We introduce new methods for studying unexpectedness, such as the use of generic initial ideals and partial elimination ideals to clarify when it can and when it cannot occur. We also exhibit algebraic and geometric properties of $X$ which in some cases guarantee and in other cases preclude $X$ having certain kinds of unexpectedness. In addition, we formulate a new way of quantifying unexpectedness (our AV sequence), which allows us detect the extent to which unexpectedness persists as $t$ increases but $t-m$ remains constant. Finally, we study to what extent we can detect unexpectedness from the Hilbert function of $X$.

10.1016/j.aim.2021.107857http://hdl.handle.net/20.500.11769/516674