Logarithmic vector fields for curve configurations in \(\mathbb{P}^2\) with quasihomogeneous singularities (Q2424330)

In the paper under review, the authors construct an addition-deletion type theorem for a special class of plane curve arrangements having only quasihomogeneous singularities. Let us recall basic definitions. Let $Y$ be a divisor in a complex manifold $X$, then we define \[ \text{Der}(-\text{log} \, Y )_{p}= \{ \theta \in \text{Der}_{\mathbb{C}}(X) : \theta(f) \in \langle f \rangle\}, \] where $f \in \mathcal{O}_{X,p}$ is a local defining equation for $Y$ at $p$. This object plays an important role in the theory of hyperplane arrangements, especially in the context of the freeness of arrangements. In the paper under review, the authors focus on the case of quasihomogeneous triples, namely triples of the form $(\mathcal{A};C; \mathcal{A} \cap C)$ consisting of $\mathcal{A} = \bigcup_{i} C_{i}$ with $C_i$ and $C = V (f)$ reduced, irreducible plane curves such that all singulartities of $\mathcal{A}$, $C$, and $\mathcal{A} \cap C$ are quasihomogeneous, and $\mathcal{A} \cap C \subset C_{\text{smooth}}$. There are two main results. \par Theorem 1. A quasihomogeneous triple with $k = |C \cap \mathcal{A}|$ and $\text{deg} \, C = n$ gives rise to a short exact sequence \[ 0 \rightarrow \text{Der}(-\text{log} \, \mathcal{A} )(-n) \stackrel{\cdot f}{\longrightarrow} \text{Der}(- \text{log}\, \mathcal{A} \cup C) \rightarrow \mathcal{O}_{C}(D) \rightarrow 0, \] with $\mathcal{O}_{D}(C)$ torsion free and $\text{deg} \, D = \chi(C) - k$. \par Theorem 2. Suppose $0 \rightarrow A \rightarrow B \rightarrow C \rightarrow 0$ is an exact sequence of graded $S = \mathbb{K}[x_{0}, x_{1}, x_{2}]$ modules, with $A$ and $B$ rank two reflexive modules of projective dimension at most one. Then any two of the following imply the third: \par 1) $A$ is free with generators in degrees $\{a,b\}$. \par 2) $B$ is free with generators in degrees $\{c, d\}$. \par 3) $C$ has Hilbert series $\frac{t^{c} + t^{d} - t^{a} - t^{b}}{(1-t)^{3}}$. \par Combining together these two results one obtains an inductive tool for studying the splitting of $\text{Der}(- \text{log}\, \mathcal{A})$ and $\text{Der}(- \text{log} \, \mathcal{A} \cap C)$, depending on the geometry of the divisor $\mathcal{A}|_{C}$ on $C$.