Expecting the unexpected: quantifying the persistence of unexpected hypersurfaces

Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series (13D40) Commutative Artinian rings and modules, finite-dimensional algebras (13E10) Divisors, linear systems, invertible sheaves (14C20) Hypersurfaces and algebraic geometry (14J70) Low codimension problems in algebraic geometry (14M07) Complete intersections (14M10) Projective techniques in algebraic geometry (14N05) Computational aspects of higher-dimensional varieties (14Q15)

Abstract: If

X s u b s e t m a t h b b 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

.

Review text

Let \(X \subset {\mathbb P}^n\) be a reduced subscheme of the projective space. It is said that \(X\) admits an unexpected hypersurface of degree \(t\) and multiplicity \(m\) if, for the linear system of hypersurfaces of degree \(t\) containing \(X\), the number of conditions imposed by requiring multiplicity \(m\) at a general point is smaller than the expected one. The main goal of this paper is to exhibit algebraic and geometric properties of \(X\) either to guarantee (certain kind of) unexpectedness or to exclude this possibility. New ingredients as generic initial ideals and partial elimination ideals are used to get these properties. In particular, given \(X\), one can associate a sequence, called AV-sequence in the paper, in the following way: consider \(t=m+j\) (\(j>0\) integer) and AV\(_{X,j}\) is defined as the difference between the actual and the expected dimension of the hypersurfaces of degree \(t\) containing \(X\) vanishing at a general point with multiplicity \(m\). This sequence is characterized (see Thm. 3.4) as a Hilbert function of an algebra constructed via the generic initial ideal (with respect to the lexicographic order) of \(X\), which has interesting consequences. On the other hand (see Section 4), partial elimination ideals are used to study the case of a general codimension \(2\) complete intersection. Particular descriptions of the AV-sequence are provided and some relations between the Hilbert function of \(X\) and unexpectedness are also explored.

Recommendations

Cites work

Cited in

(8)

Describes a project that uses

Uses Software

This page was built for publication: Expecting the unexpected: quantifying the persistence of unexpected hypersurfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2042013)