English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

We introduce the use of liaison addition to the study of hyperplane arrangements. For an arrangement, $\mathcal A$, of hyperplanes in $\mathbb P^n$, $\mathcal A$ is free if $R/J$ is Cohen-Macaulay, where $J$ is the Jacobian ideal of $\mathcal A$. Terao's conjecture says that freeness of $\mathcal A$ is determined by the combinatorics of the intersection lattice of $\mathcal A$. We study the Cohen-Macaulayness of three other ideals, all unmixed, that are closely related to $\mathcal A$. Let $\overline J = \mathfrak q_1 \cap \dots \cap \mathfrak q_s$ be the intersection of height two primary components of $J$ and $\sqrt{J} = \mathfrak p_1 \cap \dots \cap \mathfrak p_s$ be the radical of $J$. Our third ideal is $\mathfrak p_1^{b_1} \cap \dots \cap \mathfrak p_s^{b_s}$ for suitable $b_1,\dots, b_s$. With a mild hypothesis we use liaison addition to show that all of these ideals are Cohen-Macaulay. When our hypothesis does not hold, we show that these ideals are not necessarily Cohen-Macaulay, and that Cohen-Macaulayness of any of these ideals does not imply Cohen-Macaulayness of any of the others. While we do not study the freeness of $\mathcal A$, we show by example that the Betti diagrams can vary even for arrangements with the same combinatorics. We then study the situation when the hypothesis does not hold. For equidimensional curves in $\mathbb P^3$, the Hartshorne-Rao module from liaison theory measures the failure of an ideal to be Cohen-Macaulay, degree by degree, and also determines the even liaison class of such a curve. We show that for any positive integer $r$ there is an arrangement $\mathcal A$ for which $R/\overline J$ fails to be Cohen-Macaulay in only one degree, and this failure is by $r$; we also give an analogous result for $\sqrt{J}$. We draw consequences for the corresponding even liaison class of the curve defined by $\overline J$ or by $\sqrt{J}$.

Schemes Supported on the Singular Locus of a Hyperplane Arrangement in ℙn