On the Lipman-Zariski conjecture for logarithmic vector fields on log canonical pairs (Q2034721)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the Lipman-Zariski conjecture for logarithmic vector fields on log canonical pairs |
scientific article |
Statements
On the Lipman-Zariski conjecture for logarithmic vector fields on log canonical pairs (English)
0 references
22 June 2021
0 references
From the introduction: ``The Lipman-Zariski conjecture posed in [\textit{J. Lipman}, Am. J. Math. 87, 874--898 (1965; Zbl 0146.17301)] states that every normal complex space with locally free tangent sheaf is smooth. In this paper, we consider a version of this conjecture for the logarithmic tangent sheaf \(\mathcal{T}_X(- \log D)\), or equivalently the dual sheaf \(\Omega^{[1]}_X (\log D)\) of reflexive logarithmic 1-forms, on a pair \((X, D)\), where \(X\) is a normal complex quasiprojective variety and D a reduced Weil divisor.'' The main result is the following: Theorem. Let \((X, D)\) be a pair consisting of a normal quasi-projective variety \(X\) and a divisor \(D = \sum_i a_iD_i\), where \(D_i\) are distinct prime divisors, \(a_i \in \mathbb{Q}\) and \(0 \leq a_i \leq 1\). Assume that \(\Omega^{[1]}_X (\log \lfloor D \rfloor)\) is locally free. Then the following holds: \begin{itemize} \item[(a)] If the sheaf \(\Omega^{[1]}_X (\log \lfloor D \rfloor)\) of reflexive logarithmic 1-forms is locally generated by closed forms, then \((X, \lfloor D \rfloor)\) is toroidal. \item[(b)] If the pair \((X, D)\) is dlt, then \(X\) is smooth and \(\lfloor D \rfloor\) is an snc divisor. If \((X, D)\) is lc, then \((X, \lfloor D \rfloor)\) is toroidal. \end{itemize}
0 references
logarithmic vector fields
0 references
Lipman-Zariski conjecture
0 references
toroidal varieties
0 references
logarithmic 1-forms
0 references
0 references