No Arabic abstract
In this paper, which is work in progress, the results in [Singular Hessians, J. Algebra 282 (2004), no. 1, 195--204], for polynomial Hessians with determinant zero in small dimensions $r+1$, are generalized to similar results in arbitrary dimension, for polynomial Hessians with rank r. All of this is over a field $K$ of characteristic zero. The results in [Singular Hessians, J. Algebra 282 (2004), no. 1, 195--204] are also reproved in a different perspective. One of these results is the classification by Gordan and Noether of homogeneous polynomials in $5$ variables, for which the Hessians determinant is zero. This result is generalized to homogeneous polynomials in general, for which the Hessian rank is 4. Up to a linear transformation, such a polynomial is either contained in $K[x_1,x_2,x_3,x_4]$, or contained in $$ K[x_1,x_2,p_3(x_1,x_2)x_3+p_4(x_1,x_2)x_4+cdots+p_n(x_1,x_2)x_n] $$ for certain $p_3,p_4,ldots,p_n in K[x_1,x_2]$ which are homogeneous of the same degree. Furthermore, a new result which is similar to those in [Singular Hessians, J. Algebra 282 (2004), no. 1, 195--204], is added, namely about polynomials $h in K[x_1,x_2,x_3,x_4,x_5]$, for which the last four rows of the Hessian matrix of $t h$ are dependent. Here, $t$ is a variable, which is not one of those with respect to which the Hessian is taken. This result is generalized to arbitrary dimension as well: the Hessian rank of $t h$ is $4$ and the last row of the Hessian matrix of $t h$ is independent of the other rows.
Let $K$ be any field with $textup{char}K eq 2,3$. We classify all cubic homogeneous polynomial maps $H$ over $K$ with $textup{rk} JHleq 2$. In particular, we show that, for such an $H$, if $F=x+H$ is a Keller map then $F$ is invertible, and furthermore $F$ is tame if the dimension $n eq 4$.
We introduce and study higher order Jacobian ideals, higher order and mixed Hessians, higher order polar maps, and higher order Milnor algebras associated to a reduced projective hypersurface. We relate these higher order objects to some standard graded Artinian Gorenstein algebras, and we study the corresponding Hilbert functions and Lefschetz properties.
We prove that a Shimura curve in the Siegel modular variety is not generically contained in the open Torelli locus as long as the rank of unitary part in its canonical Higgs bundle satisfies a numerical upper bound. As an application we show that the Coleman-Oort conjecture holds for Shimura curves associated to partial corestriction upon a suitable choice of parameters, which generalizes a construction due to Mumford.
Let $K$ be any field and $x = (x_1,x_2,ldots,x_n)$. We classify all matrices $M in {rm Mat}_{m,n}(K[x])$ whose entries are polynomials of degree at most 1, for which ${rm rk} M le 2$. As a special case, we describe all such matrices $M$, which are the Jacobian matrix $J H$ (the matrix of partial derivatives) of a polynomial map $H$ from $K^n$ to $K^m$. Among other things, we show that up to composition with linear maps over $K$, $M = J H$ has only two nonzero columns or only three nonzero rows in this case. In addition, we show that ${rm trdeg}_K K(H) = {rm rk} J H$ for quadratic polynomial maps $H$ over $K$ such that $frac12 in K$ and ${rm rk} J H le 2$. Furthermore, we prove that up to conjugation with linear maps over $K$, nilpotent Jacobian matrices $N$ of quadratic polynomial maps, for which ${rm rk} N le 2$, are triangular (with zeroes on the diagonal), regardless of the characteristic of $K$. This generalizes several results by others. In addition, we prove the same result for Jacobian matrices $N$ of quadratic polynomial maps, for which $N^2 = 0$. This generalizes a result by others, namely the case where $frac12 in K$ and $N(0) = 0$.
We investigate an extension of a lower bound on the Waring (cactus) rank of homogeneous forms due to Ranestad and Schreyer. We show that for particular classes of homogeneous forms, for which a generalization of this method applies, the lower bound extends to the level of border (cactus) rank. The approach is based on recent results on tensor asymptotic rank.