English

Logarithmic Derivations of Adjoint Discriminants

Algebraic Geometry 2023-12-22 v1

Abstract

We exhibit a relationship between projective duality and the sheaf of logarithmic vector fields along a reduced divisor DD of projective space, in that the push-forward of the ideal sheaf of the conormal variety in the point-hyperplane incidence, twisted by the tautological ample line bundle is isomorphic to logarithmic differentials along DD. Then we focus on the adjoint discriminant DD of a simple Lie group with Lie algebra g\mathfrak{g} over an algebraically closed field k\mathbf{k} of characteristic zero and study the logarithmic module DerU(log(D))_{\mathbf{U}}(-\log(D)) over U=k[g]\mathbf{U}=\mathbf{k}[\mathfrak{g}]. When g\mathfrak{g} is simply laced, we show that this module has two direct summands: the GG-invariant part, which is free with generators in degrees equal to the exponents of GG, and the GG-variant part, which is of projective dimension one, presented by the Jacobian matrix of the basic invariants of GG and isomorphic to the image of the map ad:gU(1)gU\mathbf{ad} : \mathfrak{g} \otimes \mathbf{U}(-1) \to \mathfrak{g} \otimes \mathbf{U} given by the Lie bracket. When g\mathfrak{g} is not simply laced, we give a length-one equivariant graded free resolution of DerU(log(D))_{\mathbf{U}}(-\log(D)) in terms of the exponents of GG and of the quasi-minuscule representation of GG.

Keywords

Cite

@article{arxiv.2312.13656,
  title  = {Logarithmic Derivations of Adjoint Discriminants},
  author = {Vladimiro Benedetti and Daniele Faenzi and Simone Marchesi},
  journal= {arXiv preprint arXiv:2312.13656},
  year   = {2023}
}