
A moduletheoretic characterization of algebraic hypersurfaces
In this note we prove the following surprising characterization:
if
$X\subset {\mathbb A}^n$ is an (embedded, nonempty, proper)
algebraic variety defined over a
field $k$ of characteristic zero, then $X$ is a hypersurface
if and only if the module $T_{{\mathcal O}_{{\mathbb
A}^n}/k}(X)$ of logarithmic vector fields of
$X$ is a reflexive ${\mathcal
O}_{{\mathbb A}^n}$module. As a consequence of this result,
we derive that if $T_{{\mathcal O}_{{\mathbb A}^n}/k}(X)$ is a
free ${\mathcal
O}_{{\mathbb A}^n}$module, which is shown to be equivalent
to the freeness of the $t$th exterior power of $T_{{\mathcal O}_{{\mathbb
A}^n}/k}(X)$ for some (in fact, any) $t\leq n$, then necessarily
$X$ is a Saito free divisor.
Keywords:hypersurface, logarithmic vector field, logarithmic derivation, free divisor Categories:14J70, 13N15, 32S22, 13C05, 13C10, 14N20, , , , , 14C20, 32M25 