Related papers: The Jacobian ideal of a hyperplane arrangement

Let $\mathcal{A}$ denote a central hyperplane arrangement of rank $n$ in affine space $\mathbb{K}^n$ over an infinite field $\mathbb{K}$ and let $l_1,\ldots, l_m\in R:= \mathbb K[x_1,\ldots,x_n]$ denote the linear forms defining the…

In this article we describe two new characterizations of freeness for hyperplane arrangements via the study of the generic initial ideal and of the sectional matrix of the Jacobian ideal of arrangements.

Let f_1,...,f_r be homogeneous polynomials in K[x_1,...,x_n], K a field. Put F=y_1f_1+...+y_rf_r in K[x,y] and let I be the ideal of K[x,y] generated by the partials of F relative to the x_i and y_j. The Jacobian ring of F is the quotient…

Let $ V $ a vector space of dimension $n$. A $V$ family $ \{H_1, \ldots, H_p \} $ of vectorial hyperplanes being distinct two by two defines an arrangement $ {\cal A}_p = {\cal A} ( H_1, \ldots ,H_p ) $ of $ V $. For $ i \in \{ 1, \ldots, p…

We study the classes of free and plus-one generated hyperplane arrangements. Specifically, we describe how to compute the associated prime ideals of the Jacobian ideal of such an arrangement from its lattice of intersection. Moreover, we…

We compute the multiplier ideals of hyperplane arrangements via the interpretation of these ideals in terms of spaces of arcs, due to Ein, Lazarsfeld and the author.

A hyperplane arrangement $\cA$ is said to be free if the corresponding Jacobian ideal $J_\cA$ is Cohen-Macaulay. If $\cA$ is free then $J_\cA$ is unmixed (i.e. equidimensional). Freeness is an important property, yet its presence is not…

Freeness is an important property of a hypersurface arrangement, although its presence is not well understood. A hypersurface arrangement in $\PP^n$ is free if $S/J$ is Cohen-Macaulay (CM), where $S = K[x_0,\ldots,x_n]$ and $J$ is the…

We study the Hadamard product of the linear forms defining a hyperplane arrangement with those of its dual, which we view as generating an ideal in a certain polynomial ring. We use this ideal, which we call the ideal of pairs, to study…

We investigate which homogeneous polynomials are determined by their Jacobian ideals, and extend and complete previous results due to J. Carlson and Ph. Griffiths, K. Ueda and M. Yoshinaga, and A. Dimca and E. Sernesi.

We consider polynomial maps, which we call degree $d$-linear maps, that satisfy the Jacobian condition. We prove that certain infinite families of elements, which appear in the coefficients of the formal inverse of such maps, are in the…

Steinberg showed that when a finite reflection group acts on a real or complex vector space of finite dimension, the Jacobian determinant of a set of basic invariants factors into linear forms which define the reflecting hyperplanes. This…

Let $k$ be a field of characteristic $p>0$ and $R$ be a subalgebra of $k[X]=k[x_1,...,x_n]$. Let $J(R)$ be the ideal in $k[X]$ defined by $J(R)\Omega_{k[X]/k}^n=k[X]\Omega_{R/k}^n$. It is shown that if it is a principal ideal then $J(R)^q$…

We prove that the ideal generated by the maximal minors of the higher-order Jacobian matrix of a weighted homogeneous polynomial is also weighted homogeneous. As an application, we give a partial answer to a conjecture concerning the…

We establish a series of results showing that the Jacobian ideal is contained in the test ideal. We first prove a new result in characteristic $p$ for complete rings over a field $K$. Then we prove some results showing that Jacobian ideals…

The Jacobian ideal provides the set of infinitesimally trivial deformations for a homogeneous polynomial, or for the corresponding complex projective hypersurface. In this article, we investigate whether the associated linear deformation is…

Let $ V $ a vector space of dimension $n$. A family $ \{H_1, \ldots, H_p \} $ of vectorial hyperplans $V$ defines an arrangement $ {\cal A} $ of $ V $. For $ i \in \{ 1, \ldots, p \} $, let $ l_i $ be a linear form on $V$ with $H_i$ as…

The Jacobian group of a graph is a finite abelian group through which we can study the graph in an algebraic way. When the graph is a finite abelian covering of another graph, the Jacobian group is equipped with the action of the Galois…

A topological hyperplane is a subspace of R^n (or a homeomorph of it) that is topologically equivalent to an ordinary straight hyperplane. An arrangement of topological hyperplanes in R^n is a finite set H such that k topological…

We show that every convergent power series with monomial extended Jacobian ideal is right equivalent to a Thom-Sebastiani polynomial. This solves a problem posed by Hauser and Schicho. On the combinatorial side, we introduce a notion of…